并发编程艺术之2.java并发机制的底层实现原理

2.1 volatile的应用

在多处理器的情况下，为了保证数据一致性，实现缓存一致性协议，处理器通过嗅探在总线上传播数据来检查自己缓存的值是否还有效

volatile的两条实现原则：
（1）Lock前缀指令会引起处理器缓存回写到内存
lock指令可以让处理器独占内存,锁定这块内存区域的缓存并回写到内存，（它会锁住总线，导致其他cpu不能访问总线）
缓存一致性协议会保证原子性，会阻止同时修改由两个以上处理器缓存的内存区域数据
Lock前缀指令+缓存一致性协议

（2）一个处理器的缓存回写会导致其他处理器的缓存无效
这个主要是通过处理器的嗅探机制 嗅探一个处理器来检测其他处理打算写内存地址，而这个地址处于共享状态，那么正在嗅探的处理器将使它的缓存行无效，
在下次访问相同内存地址时，强制执行缓存行填充

2.volatile的使用优化

追加字节能优化性能

为什么追加字节能优化volatile？
因为对于很多处理器的L1，L2，L3缓存的高速缓存行是64个字节宽，不支持部分填充缓存行，这意味着，如果队列的头节点和尾节点都不足64字节的话，处理器会将它们读到同一个高速缓存行中，在多处理器下每个处理器都会采取同样的操作，但是如果当一个处理器试图去修改头节点时，会将整个缓存行锁定，那么在缓存一致性机制的作用下，会导致其他处理器不能访问自己高速缓存行中的尾节点，而队列的入队和出队需要不停的修改头节点和尾节点，所以在多处理器的情况下，将会严重到队列的入队和出队效率。
追加到64字节的话，避免头节点和尾节点在一个缓存行中，使头，尾节点在修改时不会互相锁定。

那么是不是在使用volatile变量时都应有追加到64字节呢？
不是的
（1）有的处理器不是64字节的，是32字节的，比如奔腾
（2）共享变量不会被频繁的写，锁的几率也非常小，就没必要通过追加字节的方式来避免相互锁定。

2.2 synchronized的实现原理与应用

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

2.2.1 java对象头
synchronized使用的锁是存在Java对象头里的。
如果对象是数组类型，则虚拟机使用3个字节宽存储对象头，
如果对象是非数组类型的，则虚拟机使用2个字节宽存储对象头。

32位虚拟机中java对象头里的mark word里默认存储对象的hashcode，分代年龄 和 锁标记位，
但是在64虚拟机中，多了一个偏向锁
00 - > 轻量级锁
01 0 - >无锁
01 1 -> 偏向锁
10 - > 重量级锁
11 - > GC标记

2.2.2 锁升级与对比

1.偏向锁
当一个线程访问同步块并获取锁时，会在对象头和栈帧中的锁记录里存储锁偏向的线程ID，以后该线程在进入和退出同步块时不需要进行cas操作来加锁和解锁，只需要简单的（1）测试一下对象头的Mark word里是否存储着指向当前线程的偏向锁。
（2）如果测试成功的话，表示线程已经获得锁
（3）如果测试失败的话，则需要再测试一下mark word中偏向锁的标识是否设置成1（表示当前是偏向锁），如果没有设置，则使用cas竞争锁，如果设置了，则尝试使用cas将对象头的偏向锁指向当前线程。

2.3 原子操作的实现原理

2.处理器如何实现原子操作？
使用缓存加锁和总线加锁的方式实现多处理器之间的原子操作
（1）缓存加锁：只需要保证对某个内存地址的操作是原子性即可
（2）总线加锁：把cpu和内存之间的通信锁住了，这使得锁定期间，其他处理器不能操作其他内存地址的数据，所以总线锁定的开销比较大。

但是有的情况是不能使用缓存锁定的？
（1）操作的数据不能被缓存在处理器内部，或操作的数据跨多个缓存行时，则处理器会采取总线锁定。
（2）有的处理器不支持缓存锁定

3.java如何实现原子操作

使用锁+cas的方式实现原子操作

注意使用cas存在的问题
（1）ABA问题，可以使用AtomicStampedReference解决ABA问题。
（2）循环时间长开销大，使用pause指令提高效率。
（3）只能保证一个共享变量的原子操作，使用锁可以解决多个共享变量的问题。

使用锁存在的问题
可以结合Synchronized锁升级的过程中涉及的几种锁，但是要注意在我们熟悉的几种锁中，除了偏向锁之外，其他的基本上都使用循环cas的方式获取锁，当它退出同步块的时候使用循环cas释放锁。