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

大致实现过程
2.1 volatile应用
2.1.1 volatile是轻量级锁的synchronized保证了共享变量的可见性（可见性就是当一个线程修改一个共享变量时，另外一个线程能读到这个修改的值）
2.1.2 volatile定义和实现原理
a 定义：为了确保共享变量能被准确和一致性的更新，线程应该确保通过排他锁单独的获得这个变量
b CPU术语的定义： 1）内存屏障（memory barriers） 处理指令 用于实现内存操作的顺序限制 2）缓冲行（cache line）缓存中可以分配的最小储存单位 3）缓存行填充（cache line fill）不可中断的一个或一系列操作 4）缓存命中（cache hit）进行高速缓存行填充的内存位置任然是下次处理器访问的地址时，处理器从缓存行中读取操作数，而不是内存
5）写命中（write hit）判断是否在缓存行中 如果有写会到缓存而不是内存 6）写缺失 （write misses the cache）一个有效的缓存行被写入到不存在的内存区域
2.1.3 volatile 如何保证可见性？
Lock前缀指令在多核处理器下会引发的两件事情：a 将当前处理器缓存行的数据写回到系统内存 b 写回内存的操作会使在其他CPU里缓存了该地址的数据无效 为了提高处理速度处理器并不直接和内存进行通信
volatile的两条实现原则：a Lock前缀指令会引起处理器缓存回写到内存： 并且使用缓存一致性机制来确保修改的原子性，这个操作被称为缓存锁定，缓存一致性会阻止同时修改由两个以上的处理器缓存的内存区域数据 b 一个处理器的缓存回写到内存会导致其他处理器的缓存无效 ：处理器会使用MESI（修改 独占 共享 无效）控制协议去维护内部缓存和其他处理器缓存一致性
2.1.4 volatile优化：a 追加字节能优化性能 （追加64字节）
2.2 synchronized实现原理和应用（重量级锁）
2.2.1 具体表现的三中形式 ：a 普通方法，锁是当前的实例对象 b 静态同步方法：锁是当前的class对象 c 同步方法块 ：锁是synchronized括号里的配置对象
代码块的同步（monitorenter和monitorexit指令实现，方法同步在jvm规范里详细说明）
2.2.2 Java对象头
synchronized用的锁存在java对象头里面。
java对象头的Mark Word（64bit）里默认存储对象的HashCode，分代年龄，锁标记位。Mark Word里的存储数据会随锁标志位的变化而变化。
2.3 锁的升级和对比
2.3.1锁一共有四种状态：无锁状态 偏向锁状态 轻量级锁状态 重量级锁状态
锁可以升级但不能降级
2.3.2 偏向锁
a 让线程获得锁的代价更低引入偏向锁，如果有其他锁来竞争偏向锁时才会释放
2.3.3 轻量级锁
a 线程尝试使用CAS将对象头中的Mark Word替换为指向锁的指针 成功 获得当前线程的锁 失败 表示有其他线程竞争 当前线程使用自选来获得锁
b 解锁：使用原子的CAS将Displaced Mark Word替换回对象头 成功：没竞争发生 失败：存在竞争 锁膨胀 形成重量级锁

2.4原子操作实现原理(不可被中断的一个或者一系列操作）
2.4.1 处理器实现原子操作
a 使用总线锁保证原子性（提供一个Lock信号）
b 使用缓存机制保证锁的原子性
两种不能使用缓存锁定的情况：1）操作的数据不在处理器内部或者跨多个缓存行 2）有些处理器不支持缓存锁定
java中可以使用锁和循环CAS来实现原子操作
CAS操作的三大问题：1）ABA问题（使用版本号解决）2）循环时间长开销大 （pause指令：延迟流水线指令 避免退出循环的时候因为内存的冲突）3）保证一个共享变量的原子操作（多个不可以保证原子性）