java volatile 堆内存,JVM内存结构和Java内存模型

一、内存结构

JVM = 类加载器 + 执行引擎 + 运行时数据区。

根据JVM规范，JVM内存主要分为 JVM栈、堆、方法区、程序计数器、本地方法栈。

其中程序计数器、JVM栈、本地方法栈都是线程私有；堆和方法区是线程共享的。

二、内存模型

数据的安全，需要满足以下上个条件：原子性、可见性、有序。

Java内存模型规定了所有的变量都存储在主内存中，每条线程还有自己的工作内存，线程的工作内存中保存了该线程中是用到的变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存。不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量的传递均需要自己的工作内存和主存之间进行数据同步进行。

Java内存模型是如何保证原子性、可见性、有序性的？

1. 原子性：指一个操作在CPU中不可暂停然后在调度，不能被中断，要么执行完成，要么不执行。

为了保证原子性，JMM提供了两个高级指令monitorenter和monitorexit，即对应Java代码中的synchronized关键字，因此在Java中可以通过synchronized来保证被加锁的代码块的原子性。

2. 可见性：指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。

为了保证可见性，Java内存模型是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值的这种依赖主内存作为传递媒介的方式来实现的。在Java代码中即对应volatile关键字。Java中的synchronized和final也可以实现可见性。

3. 有序性：指程序按照代码的先后顺序执行。

在Java中，使用synchronized保证同一时刻只能有一个线程执行代码片段，volatile关键字会禁止重排序。

三、synchronized和volatile关键字

1. synchronized保证原子性和可见性：

在Java内存模型中，synchronized规定，线程在加锁时，先清空工作内存→在主内存中拷贝最新变量的副本到工作内存→执行完代码→将更改后的共享变量的值刷新到主内存中→释放互斥锁。

monitorenter指令为加锁，monitorexit指令为释放锁，每个对象维护着一个被锁次数的计数器，未被锁定的对象计数器为0，monitorenter每执行一次，计数器加1，monitorexit每执行一次，计数器减1，当计数器次数为0时，即释放了锁，其他线程就可以获得锁。

对同步代码块，JVM通过monitorenter和monitorexit指令实现，JVM采用ACC_SYNCHRONIZED标记符来实现同步。

2. volatile保证可见性，但不保证原子性

通过store和load指令实现，volatile修饰的变量，在写操作之后会执行store指令强制刷新主存；在读操作之前会执行load指令强制从主存中读取值。