【Java并发编程的艺术】读书笔记——Java并发机制的实现原理（volatile和synchronized）

学习参考资料：《Java并发编程的艺术》

在多线程并发编程中synchronized和volatile都扮演着重要的角色，volatile是轻量级的synchronized，它在多处理器开发中保证了共享变量的“可见性”。

1.volatile

如果volatile变量修饰符使用恰当的话，它比synchronized的使用和执行成本更低，因为它不会引起上下文切换和调度

1.1volatile定义

• 定义：Java编程语言允许线程访问共享变量，为了确保共享变量能被准确和一致地更新，线程应该确保通过排它锁单独获得这个变量。
• 与并发机制相关CPU术语（了解）：

1.2volatile实现原理

在了解原理之前，我们先来看被volatile修饰的变量进行写操作时，CPU会做什么事情：

Java代码如下。

instance = new instance();		//instance是volatile变量

转为汇编代码。

0x01a3de1d: movb $0x0,0x1104800(%esi);
0x01a3de24: lock addl $0x0,(%esp);

在汇编代码中可以看见，在进行写操作时会多出第二行汇编代码。Lock前缀的指令在多核处理器下会引发两件事情，如下：

volatile的两件实现原则

• Lock前缀指令会引起处理器缓存写回到内存

  Lock前缀指令导致在执行指令期间，声言处理器的LOCK#信号。在多处理器环境当中，LOCK#信号确保在声言该信号期间，处理器可以独占任何共享内存。但是，在最近的处理器里，LOCK#信号一般不锁总线，而是锁缓存，毕竟锁总线的开销比较大。对于Intel486和Pentium处理器，在锁操作时，总是在总线上声言LOCK#信号。但在P6和目前的处理器中，如果访问的内存区域已经缓存在处理器内部，则不会声言LOCK#信号。相反，它会锁定这块内存区域的缓存并写到内存，并使用缓存一致性机制来确保修改的原子性，此操作被称为“缓存锁定”，缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区数据。

• 一个处理器的缓存回写到内存会导致其他处理器的缓存无效

  ​ IA-32处理器和Intel64处理器使用MESI（修改、独占、共享、无效）控制协议去维护内部缓存和其他处理器缓存的一致性。在多核处理器系统中进行操作的时候，IA-32和Intel64处理器能嗅探其他处理器访问系统内存和它们的内部缓存。处理器使用嗅探技术保证它的内部缓存、系统内存和其他处理器的缓存的数据在总线上保持一致。例如，在Pentium和P6 family处理器中，如果通过嗅探一个处理器来检测其他处理器打算写内存地址，而这个地址当前处于共享状态，那么正在嗅探的处理器将使它的缓存行无效，在下次访问相同内存地址时，强制执行缓存行填充。

2.synchronized

synchronized经常被称为重量级锁。

但是Java SE 1.6后为了减少获得锁和释放锁开销，进而引入了偏向锁和轻量级锁，以及锁的存储结构和升级过程，有些情况也就并不显得那么重了

2.1synchronized简介

当一个线程试图访问同步代码块时，它首先必须获得到锁，退出或抛出异常时必须释放锁。那么锁到底存在哪里呢？锁里面会存储什么信息呢？
从JVM规范中可以看到Synchonized在JVM里的实现原理，JVM基于进入和退出Monitor对象来实现方法同步和代码块同步。

monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处，JVM要保证每个monitorenter必须有对应的monitorexit与之配对。

任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态。线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获得对象的锁。

2.2对象头

synchronized用的锁是存在Java对象头里的。

如果对象是数组类型，则虚拟机用3个字宽（Word）存储对象头；

如果对象是非数组类型，则用2字宽存储对象头。

在32位虚拟机中，1字宽等于4字节，即32bit。

• Java对象头里的Mark Word里默认存储对象的HashCode、分代年龄和锁标记位。32位JVM的Mark Word的默认存储结构如表2-3所示。

• 在运行期间，Mark Word里存储的数据会随着锁标志位的变化而变化。Mark Word可能变化为存储以下4种数据，如表2-4所示。

• 在64位虚拟机下，Mark Word是64bit大小的，其存储结构如表2-5所示。

2.3锁的升级

在 Java SE 1.6 中，锁一共有四种状态，级别从低到高依次是：无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态，这几个状态会随着竞争情况逐渐升级。

• 偏向锁

  偏向锁的获取和撤销

  1. 当一个线程访问同步代码块并获取偏向锁时，会首先检查这个对象头的Mark Word里是否存在指向当前线程；

  2. 如果指向自己则直接访问。

     如果指向其他线程，若这个其他线程不处于活动状态，将设置为无锁状态，通过CAS操作将偏向锁指向当前线程，否则进行锁升级；

  3. 当前线程退出同步块后并不会释放锁，而是当其他线程尝试竞争偏向锁时，持有偏向锁的线程才会有可能释放锁；

  流程图

  

• 轻量级锁

  获取轻量级锁

  线程在执行同步块之前，JVM会先在当前线程的栈桢中创建用于存储锁记录的空间，并将对象头中的Mark Word复制到锁记录中，官方称为Displaced Mark Word。然后线程尝试使用CAS将对象头中的Mark Word替换为指向锁记录的指针。如果成功，当前线程获得锁，如果失败，表示其他线程竞争锁，当前线程便尝试使用自旋来获取锁。

  释放轻量级锁

  轻量级解锁时，会使用原子的CAS操作将Displaced Mark Word替换回到对象头，如果成功，则表示没有竞争发生。如果失败，表示当前锁存在竞争，锁就会膨胀成重量级锁。图2-2是两个线程同时争夺锁，导致锁膨胀的流程图。

  流程图

  

2.4锁的对比

3.原子操作的实现原理

3.1什么是原子操作？

原子操作意为"不可被中断的一个或一系列操作”。

3.2Java如何实现原子操作

1）循环CAS操作

循环CAS实现的基本思路就是循环进行CAS操作直到成功为止。

2）锁机制

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

CAS操作引起的问题

ABA问题：因为CAS需要在操作值的时候，检查值有没有发生变化，如果没有发生变化则更新，但是如果一个值原来是A，变成了B，又变成了A，那么使用CAS进行检查时会发现它的值没有发生变化，但是实际上却变化了。ABA问题的解决思路就是使用版本号。

循环时间长开销大：自旋CAS如果长时间不成功，会给CPU带来非常大的执行开销。

只能保证一个共享变量的原子操作：当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁。还有一个取巧的办法，就是把多个共享变量合并成一个共享变量来操作。

---

后面还会陆陆续续更新这系列的读书笔记，期待您的关注~~