Java 并发编程的艺术笔记——第2章 Java并发机制的底层实现原理

2.1 volatile

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

volatile的两条实现原则：

1. Lock前缀指令会引起处理器缓存回写到内存。
2. 一个处理器的缓存回写到内存会导致其他处理器的缓存无效。

volatile的使用优化

1. 追加64字节能够提高并发编程。
2. 在两种场景下不应该使用这种方式：
   缓存行非64字节宽的处理器；
   共享变量不会被频繁地写；

2.2　synchronized的实现原理与应用

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

2.3　原子操作的实现原理

处理器如何实现原子操作

（1）使用总线锁保证原子性
所谓总线锁就是使用处理器提供的一个LOCK＃信号，当一个处理器在总线上输出此信号时，其他处理器的请求将被阻塞住，那么该处理器可以独占共享内存。
（2）使用缓存锁保证原子性
内存区域如果被缓存在处理器的缓存行中，并且在Lock操作期间被锁定，那么当它执行锁操作回写到内存时，处理器不在总线上声言LOCK＃信号，而是修改内部的内存地址，并允许它的缓存一致性机制来保证操作的原子性。
但是有两种情况下处理器不会使用缓存锁定：
第一种情况是：当操作的数据不能被缓存在处理器内部，或操作的数据跨多个缓存行（cache line）时，则处理器会调用总线锁定。
第二种情况是：有些处理器不支持缓存锁定。对于Intel 486和Pentium处理器，就算锁定的内存区域在处理器的缓存行中也会调用总线锁定。

Java如何实现原子操作

（1）使用循环CAS实现原子操作
（2）CAS实现原子操作的三大问题
1）ABA问题。
2）循环时间长开销大。
3）只能保证一个共享变量的原子操作。
（3）使用锁机制实现原子操作