Java并发机制的底层实现原理

Java并发机制的底层实现原理

1.volatile的应用

volatile是轻量级的synchronized，它在多处理器开发中保证了共享变量的“可见性”。可见性是指当一个线程修改一个共享变量，另外一个线程能读到这个修改的值。如果使用volatile变量修饰符比synchronized的使用执行成本更低，因为它不会引起线程上下文的切换和调度。

1.1 volatile的定义和实现原理

volatile定义：Java编程语言允许线程访问共享变量，为了保证共享变量能被准确和一致地更新，线程应该确保通过排他锁单独获取这个变量。
如果一个变量被声明为volatile，Java线程内存模型确保所有线程看到这个变量的值是一致的。
volatile变量修饰的共享变量进行写操作时在转化为汇编会多出一行lock命令，
Lock前缀的指令在多核处理器会发生两件事

1. 将当前处理缓存行的数据写回到系统内存
2. 这个写回内存的操作会使其他cpu里缓存了该内存地址的数据失效

2.synchronized实现原理与应用

利用synchronized实现同步的基础：Java中的每一个对象都可以作为锁。
锁表现形式有3种：

1. 对于普通同步方法，锁是当前实例对象
2. 对于静态同步方法，锁是当前类的Class对象
3. 对于同步代码块，锁是synchronized括号里配置的对象

synchronized在JVM里的实现原理，JVM基于进入和退出Monitor对象来实现方法同步和代码块同步。代码块同步是使用monitorenter和monitorexit指令实现的。
monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处，JVM要保证每个monitorenter必须有对应的monitorexit与之配对。
任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态。
线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获取对象的锁

2.1Java对象头

synchronized用的锁是存储在Java对象头里的，如果对象是数组类型，则虚拟机用3个字宽存储对象头，如果对象是非数组类型，则用2字宽存储对象头，32位虚拟机中，1字宽等于4字节
java对象头长度

长度	内容	说明
32/64bit	Mark Word	存储对象的hashcode或锁信息等
32/64bit	Class Metadata Address	存储到对象类型数据的指针
32/64bit	Array length	数组的长度

java对象头里面Mark Word里默认存储对象的HashCode，分代年龄和锁标记位。

32位JVM的Mark Word的存储结构如下图所示

2.2锁的升级与对比

锁一共有4种状态，级别从低到高依次是：无锁状态，偏向锁状态，轻量级锁状态和重量级锁状态。锁可以升级但是不能降级，这种锁升级而不降级的策略目的是为了提高获取锁和释放锁的效率。

2.2.1偏向锁

大多说情况下，锁不仅不存在多线程竞争，而且总是由同一个线程多次获得，为了让线程获取锁的代价更低而引入了偏向锁。当一个线程访问同步代码块并获取锁时，会在对象头和栈帧中的锁记录里存储偏向的线程id，以后该线程在进入和退出同步代码块时不需要进行CAS操作来加锁和解锁，只需简单测试下对象头的Mark Word里是否存储着指向当前线程的偏向锁，如果测试成功，表示线程已经获取到了锁，如果测试失败，则需要再测试一下Mark Word中偏向锁的标识是否设置成1，如果没有设置，则使用CAS竞争锁；如果设置了，则尝试使用CAS将对象头的偏向锁指向当前线程。
偏向锁的撤销
偏向锁使用了一种等到竞争出现才释放锁的机制，所以当其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁。

2.2.2轻量级锁

轻量级锁加锁
线程在执行同步代码块之前，JVM会先在当前线程的栈帧中创建用于存储锁记录的空间，并将对象头中的Mark Word复制到锁记录中，然后尝试使用CAS将对象头中的Mark Word替换为指向锁记录的指针。如果成功，当前线程获取锁；如果失败，表示其他线程竞争锁，当前线程便尝试使用自旋来获取锁。
轻量级锁解锁
轻量级解锁时，会使用原子的CAS操作将替换回到Mark Word，如果成功，则表示没有竞争发生，如果失败，锁存在竞争将会膨胀为重量级锁

3.原子操作的实现原理

原子操作时指不可被中断的一个或一系列操作。

3.1处理器如何实现原子操作

首先处理器会自动保证基本的内存操作时原子性的
处理器提供总线锁定和缓存锁定来保证复杂内存操作的原子性

1. 使用总线锁保证原子性
   问题：多个处理器同时对共享变量进行修改时，各自从缓存中读取进行修改，然后分别写入内存中。
   解决方案：处理器通过总线锁来解决这个问题，总线锁就是使用处理器提供一个LOCK#信号，当一个处理器在总线上输出信号时，其他处理器的请求会被阻塞住，那么处理器可以独占共享内存。
2. 使用缓存锁保证原子性
   总线锁把CPU和内存之间通信锁住了，锁定期间，其他处理器不能操作其他内存数据，所以总线锁定开销比较大
   内存会缓存在处理器的L1，L2，L3高速缓存中，那么原子操作就可以直接在处理器内部缓存中进行，并不需要总线锁。
   缓存锁定是指内存区域如果被缓存在处理器的缓存行中，并且在Lock操作期间被锁定，那么当他执行锁操作回写到内存时，处理器不在总线上声明LOCK#信号，而是修改内部的内存地址，并允许它的缓存一致性机制来保存操作的原子性，因为缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据，其他处理器回写已被锁定的缓存行的数据时，会使缓存行失效。

计算机硬件缓存模型

3.2 Java如何实现原子操作

在Java中可以通过锁和循环CAS的方式来实现原子操作

3.2.1使用循环CAS实现原子操作

JVM中的CAS操作正是利用了处理器提供的CMPXXCHG指令实现的，自旋CAS实现的基本思路是循环进行CAS操作直到成功为止。

3.2.2 CAS实现原子操作的三大问题

1. ABA问题
   因为CAS需要操作值的时候，检查值是否发生变化，如果A变成B在变成A，那么CAS进行检查时会发现它的值没有发生变化，但是实际上发生了变化。
   ABA问题解决思路就是使用版本号
   在变量前面追加版本号，每次变量更新的时候把版本号+1，那么A->B->A就变成了1A->2B->3A.
   JDK的Atomic包中提供了一个类AtomaicStampedReference来解决ABA问题，这个类的compareAndSet的方法的作用是首先检查当前引用是否等于预期引用，并且检查当前标志是否等于预期标志，如果全部相等，则以原子方式将该引用和该标志的值设置为给定的更新值。
2. 循环时间长开销大
   自旋如果不成功，会给cpu带来很大的执行开销，如果JVM能支持处理器提供的pause指令，那么效率会有一定的提升。
   pause有两个作用：（1）可以延迟流水线执行指令，（2）可以避免在退出循环的时候因内存顺序冲突而引起CPU流水线被清空
3. 只能保证一个共享变量的原子操作
   对于一个变量我们可以使用CAS来保证原子性，多个共享变量，CAS无法满足，可以使用锁。
   还有一种方式可以把多个共享变量合并成一个共享变量来操作。
   JDK提供了AtomicReference类来保证引用对象之间的原子性，就可以把多个变量放在一个对象里进行CAS操作

3.2.3 使用锁机制来实现原子性

锁机制保证了只有获得锁的线程才能够操作锁定的内存区域。JVM内部实现了很多种锁机制，有偏向锁、轻量级锁和互斥锁。除了偏向锁，JVM实现锁的方式都用了循环CAS，即当一个线程想进入同步块的时候使用循环CAS的方式来获取锁，当它退出同步块的时候使用循环CAS释放锁