并发机制底层实现原理（二）

Java代码在编译后会变成java字节码，字节码类加载器被加载到JVM， JVM执行字节码，最终转化为汇编指令在CPU上执行，所以JAVA的并发编程依赖于JVM的实现和CPU的指令。

volatile的应用

在多线程并发编程中synchronized，volatile是并发编程的扛把子，但是两者的区别是volatile是轻量级的synchronized,在多线程中保证共享变量的“可见性”，可见性的意思是当一个线程修改一个共享变量时，另外一个线程能读到这个修改的值。volatile比synchronized的使用和执行成本低，因为她不会引起线程上下文的切换和调度。

volatile的定义与原理

两条实现原则：

1. Lock前缀指令会引起处理器缓存回写到内存。
   Lock前缀指令导致在执行期间，声言处理的Lock#信号，在多处理器环境中，Lock#信号确保在声言该信号期间，处理器可以独占任何共享内存。但是在最近的处理器中，Lock#信号一般不锁住总线，而是锁住缓存。锁住缓存并且会写到内存，使用缓存一致性确保修改的原子性，缓存一致性会阻止同时修改两个及以上处理器缓存的内存区域数据
2. 一个处理器的缓存回写到内存会导致其它处理器的缓存无效
   处理器用嗅探技术保证内部缓存，系统内存和其他处理器缓存的数据在总线上保持一致。

volatile优化

• 追加字节能优化性能
  追加字节使用场景：
• 缓存行非64字节宽的处理器
• 共享变量不会被频繁地写

Synchronized实现原理与应用

JVM基于进入和退出monitor对象来实现方法同步和代码块同步，两者都可以使用monitorenter 和monitorexit来实现

锁的升级和对比

锁可以升级但不能降级

无锁状态

无锁没有对资源进行锁定，所有的线程都能访问并修改同一个资源，但同时只有一个线程能修改成功。

无锁的特点就是修改操作在循环内进行，线程会不断的尝试修改共享资源。如果没有冲突就修改成功并退出，否则就会继续循环尝试。如果有多个线程修改同一个值，必定会有一个线程能修改成功，而其他修改失败的线程会不断重试直到修改成功。下面我们介绍的CAS原理及应用即是无锁的实现。无锁无法全面代替有锁，但无锁在某些场合下的性能是非常高的。

偏向锁状态

偏向锁是指一段同步代码一直被一个线程所访问，那么该线程会自动获取锁，降低获取锁的代价。

• 优点：加锁，解锁不需要额外消耗
• 缺点：如果线程间存在锁竞争，会带来额外的锁撤销的消耗
• 使用场景：只有一个线程访问同步代码块

轻量级锁状态

是指当锁是偏向锁的时候，被另外的线程所访问，偏向锁就会升级为轻量级锁，其他线程会通过自旋的形式尝试获取锁，不会阻塞，从而提高性能。

• 优点：竞争的线程不会阻塞，提高程序响应速度
• 缺点：自旋会消耗CPU
• 使用场景：追求响应时间，同步块执行速度非常快

重量级锁状态

升级为重量级锁时，锁标志的状态值变为“10”，此时Mark Word中存储的是指向重量级锁的指针，此时等待锁的线程都会进入阻塞状态。

• 优点：线程竞争不适用自旋，不会消耗CPU
• 缺点：线程阻塞，响应时间缓慢
• 使用场景：追求同步块执行速度较长

原子操作实现原理

处理器如何实现原子操作

• 使用总线锁保证原子性
• 使用缓存锁保证原子性

Java如何实现原子操作

使用循环CAS实现原子操作

CAS实现原子操作三大问题

• ABA问题
  CAS需要在操作值的时候检查内存值是否发生变化，没有发生变化才会更新内存值。但是如果内存值原来是A，后来变成了B，然后又变成了A，那么CAS进行检查时会发现值没有发生变化，但是实际上是有变化的。ABA问题的解决思路就是在变量前面添加版本号，每次变量更新的时候都把版本号加一，这样变化过程就从“A－B－A”变成了“1A－2B－3A”。
• 循环时间长，开销大
  CAS操作如果长时间不成功，会导致其一直自旋，给CPU带来非常大的开销。
• 只能保证一个共享变量的原子操作
  对一个共享变量执行操作时，CAS能够保证原子操作，但是对多个共享变量操作时，CAS是无法保证操作的原子性的。
  Java从1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性，可以把多个变量放在一个对象里来进行CAS操作。

链接：
不可不说的Java“锁”事