Java并发机制知识点（volatile、synchronized、CAS）

1.volatile关键字
volatile是轻量级的synchronized，它在多线程开发中保证了共享变量的“可见性”，可见性就是说当一个线程修改一个共享变量时，另外的一个线程能立刻读到这个修改的值。它不会引起线程上下文切换（线程上下文切换指的是线程在切换的时候会先保存当前执行的状态，以便下次切换回来继续执行，所以从保存到下次切换回来的过程就是一次上下文切换）。

对volatile修改的变量进行写操作会做两件事情
（1）将当前处理器缓存行的数据写回到系统内存。
（2）这个写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效。
为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改了，就会讲当前处理器的缓存行设置为无效状态，当处理器对这个数据进行修改操作的时候，会重新从系统内存中把数据读到缓存行中。

2.synchronized的实现原理
synchronized相当于一种重量级锁，它用的锁是存在java的对象头里（Mark Word中）的。
java中的对象都可以作为锁

• 对于普通方法，锁的是当前实例对象。
• 对于静态方法，锁的是当前class对象。
• 对于代码块，锁的是括号里的对象。

线程执行到同步代码块的时候，会首先尝试获取到对象的锁，如果获取到了就可以执行代码块内容，执行完或者抛出异常后必须要释放锁。JVM基于进入和退出Monitor对象来实现方法同步和代码块同步，代码块同步是使用monitorenter和monitorexit指令实现的。monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处，JVM要保证每个monitorenter必须有对应的monitorexit与之配对。任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态。线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获取对象的锁。

锁的升级与对比
从java 1.6后，锁一共有四种状态：无锁、偏向锁、轻量级锁、重量级锁，这几个状态会随着竞争情况逐渐升级，锁可以升级但是不能降级，目的是为了提高获得锁和释放锁的效率。
（1）偏向锁：为了让线程获得锁的代价更低而引入了偏向锁。当一个线程访问同步块并获取锁时，会在对象头和栈帧中的锁记录里存储锁偏向的线程ID，以后该线程的进入和退出同步块时不需要进行CAS操作来加锁和解锁，只需简单的测试一下对象头的Mark Word中是否存储着指向当前线程的偏向锁。如果测试成功，表示线程已经获得了锁，如果测试失败，就需要在测试下Mark Word中偏向锁的标识时否设置为1，如果没有，则使用CAS的方式竞争锁；如果设置了，则尝试使用CAS将对象头的偏向锁指向当前线程。等到有锁竞争的时候会释放偏向锁，膨胀成轻量级锁。
（2）轻量级锁：线程在执行同步代码块之前，JVM会先在当前线程的栈帧中创建用于存储锁记录的空间，并将对象头的Mark Word复制到锁记录中，然后线程尝试使用CAS将对象头中的Mark Word替换为指向锁记录的指针。如果成功，当前线程获得锁，如果失败，表示其他线程竞争锁，当前线程便尝试使用自旋来获取锁。轻量级锁解锁时，会使用原子的CAS操作将Displaced Mark Word替换回到对象头，如果成功，则表示没有竞争发送。如果失败，表示当前锁存在竞争，锁就会膨胀成重量级锁。

锁总结：偏向锁在加锁和解锁的过程中不需要额外的消耗，适用于只有一个线程访问同步块的场景，如果存在锁竞争的行为，则偏向锁会升级为轻量级锁，轻量级锁的竞争的线程不会阻塞，提高了程序的响应速度，不过如果竞争的线程始终得不到锁，会自旋消耗CPU，所以适用追求响应速度，且锁竞争不严重的情况，如果线程一直自旋到一定程度后还是没有获取到锁，则会升级为重量级锁，线程竞争不使用自旋，会直接阻塞等待，响应时间慢，但不会再消耗CPU，适用于同步块内容执行较慢，竞争压力大的情况。

3.原子操作的实现原理
原子操作意为”不可被中断的一个或一系列操作“。Java可以通过锁和循环CAS的方式来实现原子操作。
CAS：Compare and Swap，比较和交换，CAS操作需要输入两个值，一个旧值（期望操作前的值）和一个新值，在操作期间先比较旧值有没有发生变化，如果没有发生变化，才交换成新值，如果发生了改变，则自旋重新读内存中的值尝试再次更新。
CAS实现原子操作的三个问题：
（1）ABA问题，因为CAS需要在操作值的时候，检查值有么有发生变化，如果没有发生变化则进行更新，如果另一个线程在这之前把A改成了B，又从B改成了A，则不会认为发生改变，其实已经发生变化了，此时的A不是之前的A了，于是解决思路就是使用版本号，每次变量更新就版本号+1，首先检查当前引用是否等于预期引用，并检查当前标识是否等于预期标识，如果全部相等，就进行更新。
（2）在自旋的过程中对CPU的消耗大。
（3）只能保证一个共享变量的原子操作。
除了偏向锁，JVM实现锁的方式都用了循环CAS，即当一个线程想进入同步块的时候使用循环CAS的方式来获取锁，当它退出同步块的时候使用循环CAS释放锁。