读书笔记-Java并发机制的底层实现原理

1. volatile的应用

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

1.1 定义与实现原理

Java编程语言允许线程访问共享变量，为了确保共享变量能被准确和一致地更新，线程应该确保通过排他锁单独获得这个变量。某些情况下，volatile比锁更加方便，如果一个字段被声明成volatile，Java线程内存模型确保所有线程看到这个变量的值是一致的。
写操作：
1）将当前处理器缓存行的数据写回到系统内存。
2）这个写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效。

在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器对这个数据进行修改操作的时候，会重新从系统内存中把数据读到处理器缓存里。（LOCK）

1.2 使用优化

Doug lea在JDK 7的并发包里新增一个队列集合类LinkedTransferQueue，它在使用volatile变量时，用一种追加字节的方式来优化队列出队和入队的性能。

因为目前大部分处理器的高速缓存行是64个字节宽，不支持部分填充缓存行，意思就是说如果队列的头结点和尾结点都不足64字节的话，处理器会将它们都读到同一个高速缓存行中，在多处理器下每个处理器都会缓存同样的头、尾节点，当一个处理器试图修改头节点时，会将整个缓存行锁定，那么在缓存一致性机制的作用下，会导致其他处理器不能访问自己高速缓存中的尾节点，而队列的入队和出队操作则需要不停修改头节点和尾节点，所以在多处理器的情况下将会严重影响到队列的入队和出队效率。

所以这种方式不适用于高速缓存行为32字节宽的处理器，还有共享变量不会被频繁的写，锁的几率非常小，就没必要通过这种方式来避免相互锁定。因为使用追加字节的方式需要处理器读取更多的字节到高速缓冲区，这本身就会带来一定的性能消耗

2. synchronized的实现原理与应用

Java中的每一个对象都可以作为锁：
·对于普通同步方法，锁是当前实例对象。
·对于静态同步方法，锁是当前类的Class对象。
·对于同步方法块，锁是Synchonized括号里配置的对象。

当一个线程试图访问同步代码块时，它首先必须得到锁，退出或抛出异常时必须释放锁。

2.1 锁的存放位置以及锁存储的信息

任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态。线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获得对象的锁。使用monitorexit指令释放锁，即不在是monitor的持有者，此时该对象可以被其他线程获取。

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

2.1.1 Java对象头

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

Java对象头的长度

Java对象头的存储结构
1）32位

2）64位

运行期间，Mark Word存储的数据会随着锁标志位的变化而变化，如下四种

2.1.2 锁的升级与对比

Java SE 1.6中，锁一共有4种状态，级别从低到高依次是：无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态，会升级不会降级，目的是为了提高获得锁和释放锁的效率。

1）偏向锁

大多数情况下，锁不仅不存在多线程竞争，而且总是由同一线程多次获得，为了让线程获得锁的代价更低而引入了偏向锁。
偏向锁使用了一种等到竞争出现才释放锁的机制，所以当其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁。

线程1演示了偏向锁初始化的流程，线程2演示了偏向锁撤销的流程

关闭偏向锁

偏向锁在Java 6和Java 7里是默认启用的，但是它在应用程序启动几秒钟之后才激活，如有必要可以使用JVM参数来关闭延迟：-XX:BiasedLockingStartupDelay=0。如果你确定应用程序里所有的锁通常情况下处于竞争状态，可以通过JVM参数关闭偏向锁：-XX:-UseBiasedLocking = false，那么程序默认会进入轻量级锁状态。

2）轻量级锁

轻量级锁加解锁及锁膨胀

因为自旋会消耗CPU，为了避免无用的自旋（比如获得锁的线程被阻塞住了），一旦锁升级成重量级锁，就不会再恢复到轻量级锁状态。当锁处于这个状态下，其他线程试图获取锁时，都会被阻塞住，当持有锁的线程释放锁之后会唤醒这些线程，被唤醒的线程就会进行新一轮的夺锁之争。

3）锁的优缺点

3. 原子操作的实现原理

原子操作（atomic operation）意为“不可被中断的一个或一系列操作”。

3.1 处理器实现原子操作

使用基于对缓存加锁或总线加锁的方式来实现多处理器之间的原子操作。处理器会自动保证基本的内存操作的原子性。但是复杂的内存操作处理器是不能自动保证其原子性的，比如跨总线宽度、跨多个缓存行和跨页表的访问。但是，处理器提供总线锁定和缓存锁定两个机制来保证复杂内存操作的原子性。

1） 使用总线锁保证原子性
总线锁就是使用处理器提供的一个LOCK＃信号，当一个处理器在总线上输出此信号时，其他处理器的请求将被阻塞住，那么该处理器可以独占共享内存。

2）使用缓存锁保证原子性
总线锁定会把CPU和内存之间的通信锁住，其他处理器不能操作其他内存地址的数据，所以总线锁定的开销比较大。某些场合使用缓存锁定代替总线锁定来进行优化。

“缓存锁定”是指内存区域如果被缓存在处理器的缓存行中，并且在Lock操作期间被锁定，那么当它执行锁操作回写到内存时，处理器不在总线上声言LOCK＃信号，而是修改内部的内存地址，并允许它的缓存一致性机制来保证操作的原子性，因为缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据，当其他处理器回写已被锁定的缓存行的数据时，会使缓存行无效。

有两者情况处理器不会使用缓存锁定：
第一种情况是：当操作的数据不能被缓存在处理器内部，或操作的数据跨多个缓存行（cache line）时，则处理器会调用总线锁定。
第二种情况是：有些处理器不支持缓存锁定。对于Intel 486和Pentium处理器，就算锁定的内存区域在处理器的缓存行中也会调用总线锁定。

3.2 Java实现原子操作

1）使用循环CAS实现原子操作
自旋CAS实现的基本思路就是循环进行CAS操作直到成功为止。

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

1. ABA问题
   CAS在操作值得时候会检查值有没有变化，如果没有发生变化则更新（经典的转账问题）
2. 循环时间长开销大
   自旋CAS如果长时间不成功，会给CPU带来非常大的执行开销。
3. 只能保证一个共享变量的原子操作

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