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

JAVA代码在编译后会变成字节码，字节码被类加载器加载到JVM中，JVM执行字节码，最终需要转化为汇编指令在CPU上执行，JAVA中所使用的并发机制依赖于JVM的实现和CPU的指令。

->参考《JAVA并发编程的艺术》

1.volatile的应用

volatile是轻量级的synchronized，它只是用来保证共享变量的可见性，不能保证操纵的原子性。

【引申】–>volatile如何实现内存可见性？

• 深入的说，通过加入内存屏障和禁止重排序优化实现的。
• 对volatile变量执行写操作时，会在写操作后加入一条store屏障指令。
• 对volatile变量执行读操作时，会在读操作前加入一条load屏障指令。

1.1—volatile保证共享变量可见性

有volatile修饰的变量进行写操作的时候会多出一行汇编代码，该行代码会有一个lock指令。

volatile的两条实现原则：

①： Lock前缀指令会引起处理器缓存会写到内存（使处理器独占任何共享内存）。

②：一个处理器的缓存回写会导致其他处理器的缓存无效。

2.synchronized的实现原理和应用

⑴ synchronized实现同步的基础：

①:对于普通方法，锁是当前实例对象。

②：对于静态同步方法，锁是class对象。

③：同步方法块，锁是synchronized后面括号里的对象。

⑵ JVM规范中的实现原理

JVM基于进入和退出Monitor对象实现方法同步和代码块的同步。

⑶Mark Word标记位

synchronized用到的锁是放在JAVA对象头里面的，其中有个Mark Word来存储对象的hashcode、分代年龄和锁标记位，其中锁标记位会产生变化，对应的不同的标记，我们的锁有3种：轻量级锁、重量级锁、偏向锁。

⑷锁的升级与对比

从SE 1.6开始，锁一共有四种状态：无锁状态、偏向锁状态、轻量级锁状态、重量级锁状态。

①：偏向锁

引入原因：大多数情况下，锁仅有某一线程多次获得，为了使获得锁的代价更低而引入偏向锁。

偏向锁的设置：当某一线程访问同步块时，会在对象头和栈帧中的琐记录里存储锁偏向的线程ID，以后该线程在进入该同步块的时候，不需要再次使用CAS原子操作进行加锁和解锁，只需要简单的测试一下对象头中的Mark Word是否存在指向当前线程的偏向锁。如果测试成功，则表示获得锁，否则检测是否设置有偏向锁，如果没有，则使用CAS竞争锁，否则偏向锁指向该线程。

偏向锁的关闭：在6和7中是默认采用的，可以通过JVM参数关闭：UseBiaseLocking=false，此时程序进入轻量级锁的状态。

②：轻量级锁

加锁：线程执行同步块之前，会在线程私有的栈帧中开辟用于存储锁记录的空间，称为Displaced Mark Word。然后线程尝试将对象Mark Word的替换为指向Displaced Mark Word记录的指针，如果成功，那么当前线程获得锁，如果失败，那么使用自旋获得锁。

何为自旋？

轻量级锁解锁： 使用原子的CAS操作将Displaced Mark Word 替换回对象头，如果成功，表示没有竞争发生，否则，说明当前锁存在竞争（从上图可以看出，竞争锁的线程一直在尝试修改Mark Word，这肯定存在竞争），锁就会膨胀成重量级的锁。

因为自旋会消耗CPU，为了避免太多无用的自旋，一旦锁膨胀成重量级的锁，便不会再恢复到轻量级的锁的状态。当锁处于这个状态下，其他线程试图获取锁时就被阻塞住。当锁释放时再唤醒这些线程。此时醒来的线程就会进行一轮新的竞争。

三种锁的比较：

锁	优点	缺点	使用场景
偏向锁	加锁和解锁不需要额外的消耗，和执行非同步方法之间存在纳秒级的差距	线程间存在锁的竞争，会带来额外的锁撤销的消耗	适用于只有一个线程访问同步块的场景
轻量级锁	竞争的线程不会阻塞，提高程序的响应速度	自旋消耗CPU	追求响应时间，同步块执行速度快
重量级锁	线程竞争不使用自旋，不消耗CPU	线程阻塞，响应时间慢	追求吞吐量，同步块执行速度较长

3.原子操作的实现原理

⑴处理器实现原子操作的机制：

第一机制：总线锁（声言Lock信号）

第二机制共享缓存锁（修改内存地址，缓存一致性机制：阻止同时修改由2个以上的处理器缓存的内存区域数据）。

⑵JAVA实现原子操作的机制

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

⑶使用锁机制实现原子操作

锁机制保证只有获得锁的线程才能够操作锁定的内存区域。注意：除了偏向锁，JVM实现锁的方式都用了循环CAS操作（使用循环CAS获取锁，使用循环CAS释放锁）。