我们知道 Java内存模型为了保证多线程安全访问有三个特征：

1.原子性（Atomicity）:

JMM保证单个变量读写操作的原子性

但是在多CPU环境引入多级缓存后，写操作的原子性意义扩大了，对一个变量的写，不能实时刷新至主内存，导致别的CPU缓存内的数据是旧的，

volatile修饰的变量保证多CPU下读写操作的原子性

注：与synchronized的原子性不同，因为volatile只修饰变量，volatile的原子性是受限制的，只代表一次读写指令的原子性

像i++，new Object() 这种多个读写外的指令操作无法保证其原子性

对于更大范围的原子应用场景，提供了更高层次的字节码指令monitorenter和monitorexit来隐式地使用这两个操作，即synchronized关键字

2.可见性（Visibility）：

当一个线程修改了共享变量的值，其他线程能够立即得知这个修改

Java内存模型是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值这种依赖主内存作为传递媒介的方式来实现可见性的，无论是普通变量还是volatile变量都是如此，普通变量与volatile变量的区别是，volatile的特殊规则保证了新值能立即同步到主内存，以及每次使用前立即从主内存刷新

还有两个关键字能实现可见性，即synchronized和final

同步块的可见性

线程加锁时，必须清空工作内存中共享变量的值，从而使用共享变量时需要从主内存重新读取；线程在解锁时，需要把工作内存中最新的共享变量的值写入到主存，以此来保证共享变量的可见性

3.有序性（Ordering）：

volatile的有序指禁止指令重排序，

synchronized的有序是指线程互斥

final域也可禁止指令重排

synchronised

互斥同步是常见的并发正确性保障方式。Java中的每一个对象都可以作为锁。具体表现为以下3种形式。

对于普通同步方法，锁是当前实例对象。

对于静态同步方法，锁是当前类的Class对象。

对于同步方法块，锁是Synchonized括号里配置的对象。

方法级的同步是隐式的，无须通过字节码指令来控制，虚拟机可以从方法常量池的方法表结构中的ACC_SYNCHRONIZED访问标志得知一个方法是否声明为同步方法

代码块的同步，在编译时会插入monitorenter和monitorexit两条指令，实现synchronized关键字需要Javac编译器与Java虚拟机两者共同协作支持，如图：

为了保证在方法异常完成时monitorenter和monitorexit指令依然可以正确配对执行，编译器会自动产生一个异常处理器，这个异常处理器声明可处理所有的异常，它的目的就是用来执行monitorexit指令

monitor
每个对象都关联着一个monitor，只能被唯一获取monitor权限的线程锁定。锁定后，其他线程请求会失败，进入等待集合，线程随之被阻塞。

monitor是用c++实现的

ObjectMonitor