本文的主要目的是让大家对于并发程序中的重排序、内存可见性以及原子性有一定的了解，同时要能准确理解 synchronized、volatile、final 几个关键字的作用。 另外，本文还对双重检查形式的单例模式为什么需要使用 volatile 做了深入的解释。 并发三问题 这节将介绍重排序、内存可见性以及原子性相关的知识，这些也是并发程序为什么难写的原因。 1. 重排序 请读者先在自己的电脑上运行一下以下程序：public class Test {private stat...
网上有很多关于Java内存模型的文章，在《深入理解Java虚拟机》和《Java并发编程的艺术》等书中也都有关于这个知识点的介绍。但是，很多人读完之后还是搞不清楚，甚至有的人说自己更懵了。本文，就来整体的介绍一下Java内存模型，目的很简单，让你读完本文以后，就知道到底Java内存模型是什么，为什么要有Java内存模型，Java内存模型解决了什么问题等。 本文中，有很多定义和说法，都是笔者自己理解后定义出来的。希望能够让读者可以...
JAVA虚拟机规范中定义使用一种JAVA内存模型来屏蔽掉各种硬件及操作系统的内存访问差异. 内核线程实现 内核线程（Kernel-Level Thread,KLT）就是直接由操作系统内核（Kernel，下称内核）支持的线程，这种线程由内核来完成线程切换，内核通过操纵调度器（Scheduler）对线程进行调度，并负责将线程的任务映射到各个处理器上。每个内核线程可以视为内核的一个分身，这样操作系统就有能力同时处理多件事情，支持多线程的内核就叫做多线程...
线程独占部分 1、你了解Java的内存模型吗？ 内存简介 有内核空间、用户空间（java是运行在用户空间上） 32位系统---》最大的访问内存大小是4G 62位系统---》最大的访问内存大小是512G 背景： 我都知道C语言下，通常将内存划分位数据段和代码段 数据段包括堆、栈、以及静态数据区 JVM内存模型--JDK8 从线程的角度去看 线程私有：程序计数器、虚拟机栈、本地方法栈（问虚拟机栈和本地方法栈的区别） 线程共享的：元空间（metaSpace...
JVM内存模型对于Java开发者来说，我们不必关注内存的使用和释放问题，而是统一的交由Java虚拟机去统一的管理，这样一方面大大减轻了开发者的负担，同时也降低的开发的门槛，所以现在Java的广泛使用，Java虚拟机功不可没。虽然我们在开发过程中不必关注虚拟机的运行状况，但如果我们比了解虚拟机的运行原理，一旦出现虚拟机内存溢出的问题或者虚拟机成为整个项目的瓶颈时，我们就没有办法快速的定位和解决问题。所以JVM运行原理是每...
有个小伙伴提了一个问题： 有一个关于JVM名词定义的问题，说”JVM内存模型“，有人会说是关于JVM内存分布（堆栈，方法区等）这些介绍，也有地方说（深入理解JVM虚拟机）上说Java内存模型是JVM的抽象模型（主内存，本地内存）。这两个到底怎么区分啊？有必然关系吗？比如主内存就是堆，本地内存就是栈，这种说法对吗？ 时间久了，我也把内存模型和内存结构给搞混了，所以抽了时间把JSR133规范中关于内存模型的部分重新看了下。 后来...
Java内存模型 想要理解volatile为什么能确保可见性，就要先理解Java中的内存模型是什么样的。Java内存模型规定了所有的变量都存储在主内存中。每条线程中还有自己的工作内存，线程的工作内存中保存了被该线程所使用到的变量（这些变量是从主内存中拷贝而来）。线程对变量的所有操作（读取，赋值）都必须在工作内存中进行。不同线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成。 基于此种内...
? 在并发编程中，多个线程之间采取什么机制进行通信（信息交换），什么机制进行数据的同步？在Java语言中，采用的是共享内存模型来实现多线程之间的信息交换和数据同步的。线程之间通过共享程序公共的状态，通过读-写内存中公共状态的方式来进行隐式的通信。同步指的是程序在控制多个线程之间执行程序的相对顺序的机制，在共享内存模型中，同步是显式的，程序员必须显式指定某个方法/代码块需要在多线程之间互斥执行。 在说Jav...
一、概述 本篇博客是基于《深入理解Java虚拟机》一书的读书笔记，是对笔者所学知识点的一个记录，本篇博客所包含的知识点如下：JVM 内存区域的划分 划分区域各自的功能和职责 对象的创建、内存布局和访问定位 JDK1.8 中的虚拟机二、内存区域的划分 JVM 在执行 Java 程序的过程中会把它所管理的内存划分为若干个不同的数据区域，如下图所示：其中方法区（Method Area）和堆（Heap）是线程共享的，而虚拟机栈（VM Stack）、本地方法栈...
java内存模型（JMM）是一种规范，定义了程序中变量的访问规则，目的是解决由于多线程通过共享内存进行通信时，由工作内存数据不一致、编译器指令重排序、处理器优化等带来的原子性、有序性和缓存一致性等问题。 在多核CPU的环境下，多线程分别在不同的核心上执行，当多个线程访问进程中的某个共享内存时，每个核心都会在各自的CPU缓存中保留一份共享内存的拷贝，由于多核是可以并行的，可能会出现多个线程同时写各自的缓存的情况，...
1. JVM内存模型 Java虚拟机在程序执行过程会把jvm的内存分为若干个不同的数据区域来管理，这些区域有自己的用途，以及创建和销毁时间。 先来看一下Java程序具体执行的过程上图中的运行数据区（Runtime Data Areas)即为JVM内存区域，其结构如下图： ? 各区域存储的具体信息：1.1 程序计数器 ? ? ? ?程序计数器（Program Counter Register），也有称作为PC寄存器。JVM中的程序计数器跟汇编语言中的程序计数器在功能上是相同的，即指...
Java内存模型 共享内存模型指的就是Java内存模型(简称JMM)，JMM决定一个线程对共享变量的写入时,能对另一个线程可见。从抽象的角度来看，JMM定义了线程和主内存之间的抽象关系：线程之间的共享变量存储在主内存（main memory）中，每个线程都有一个私有的本地内存（local memory），本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念，并不真实存在。它涵盖了缓存，写缓冲区，寄存器以及其他的硬件和编译...
锁的释放-获取建立的happens before 关系 锁是java并发编程中最重要的同步机制。锁除了让临界区互斥执行外，还可以让释放锁的线程向获取同一个锁的线程发送消息。下面是锁释放-获取的示例代码： class MonitorExample {int a = 0;public synchronized void writer() { //1a++; //2} //3public synchronized void reader() { //4int i = a; ...
与前面介绍的锁和volatile相比较，对final域的读和写更像是普通的变量访问。对于final域，编译器和处理器要遵守两个重排序规则：在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。 初次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间不能重排序。下面，我们通过一些示例性的代码来分别说明这两个规则： public class FinalExample {int i;...
在并发编程中，多个线程之间采取什么机制进行通信（信息交换），什么机制进行数据的同步？ 在Java语言中，采用的是共享内存模型来实现多线程之间的信息交换和数据同步的。 线程之间通过共享程序公共的状态，通过读-写内存中公共状态的方式来进行隐式的通信。同步指的是程序在控制多个线程之间执行程序的相对顺序的机制，在共享内存模型中，同步是显式的，程序员必须显式指定某个方法/代码块需要在多线程之间互斥执行。 在说Java内存...