线程安全-2 乐观锁悲观锁&CAS操作

一.说一下乐观锁和悲观锁的区别

1.乐观锁：

（1）是一种乐观的锁思想。线程每次去操作共享变量的时候，总是假设最好的情况——线程在操作此变量期间，没有其他线程也来操作此变量，不会造成冲突，因此无需对要操作的变量加锁。即乐观锁可以理解为一种不加锁的思想。

（2）虽然不加锁，但线程在去更新共享变量的时候，还是会检测在此期间有没有其他线程来修改此变量。

（3）乐观锁多用于读多写少的情况，CAS操作就是基于乐观锁的思想实现的。

2.悲观锁：

（1）是一种悲观的锁思想。线程每次去操作共享变量的时候，总是假设最坏的情况——线程在操作此变量期间，一定会有其他线程也来操作此变量，造成冲突，因此必须对要操作的变量加锁，让其他要访问此变量的线程都陷入阻塞，直到当前线程操作并更新完数据，才释放锁，让其他线程去访问。即悲观锁可以理解为一种必须加锁的思想。

（2）悲观锁多用于写多读少的情况，synchronized和Lock就是基于悲观锁的思想实现的。

二.说一下CAS操作

1.CAS，CompareAndSwap，比较再交换，是一种无锁的原子操作。CAS包含三个操作数：

（1）V：要更新的变量在内存中的位置。线程从内存的位置V中读取该变量到自己的工作区进行操作，操作完后再将变量更新到内存的位置V。

（2）A：线程将变量读取到自己工作区时的初始值，也就是V的原值。

（3）B：线程对变量进行操作后得到的新值，需要将V的值更新为B。

2.CAS操作由三部分组成

（1）Compare：线程要将V的值更新为B之前，先比较V的当前值是否等于A。

（2）Swap：如果V当前值为A，说明在线程修改变量期间没有其他线程去更新V的值。因此线程直接将V的值修改为B。

（3）自旋：如果V当前值不为A，说明在线程修改变量期间有其他线程去更新V的值。此时当前线程会不断重复以下操作直到成功：将A更新为V的新值——执行对变量的操作逻辑得到B——执行CAS操作。

3.在Java中CAS操作都是通过一些原子包装类来实现的，这些类都是通过Unsafe类提供的硬件级别的原子操作，来实现操作的原子性。通过CAS操作可以实现多线程在无锁状态下，访问共享变量的原子性。

CAS关键词：不加锁、自旋、原子性。

三.CAS操作有哪些问题？

1.ABA问题：

（1）问题：一个值原来为A，变成了B，又变回了A。如果使用CAS检查，由于首尾相同，只会得到值未发生变化的结果。但实际上该值被更新了两次。

（2）解决：在变量前面追加版本号或时间戳。例如1A——2B——3C。使用AtomicStampedReference类可以解决ABA问题，其compareAndSet()方法在执行compare操作时，会同时比较当前引用是否为预期引用、当前标记是否为预期标记，只有相同才执行更新操作。

2.长时间自旋：

（1）问题：CAS如果长时间不成功会一直自旋循环，会产生不少的执行开销。并且为了自旋结束时避免内存顺序冲突，CPU会对流水线进行重排，这样会严重影响cpu性能。

（2）解决：使用cpu的pause指令。pause指令能让自旋失败时cpu睡眠一小段时间再继续自旋，从而使得读操作的频率低很多,为解决内存顺序冲突而导致的流水线重排的代价也会小很多。

3.只能保证一个共享变量的原子操作

（1）问题：使用CAS操作可以保证线程操作一个共享变量的原子性，但对于多个共享变量的操作，CAS就无法保证其原子性。

（2）解决：使用AtomicReference类，把多个共享变量放到一个对象里面，对这个对象进行CAS操作。