多线程理解（五） 线程安全性CAS和原子类

一、锁的策略：多线程编程中，我们有时候会认为共享资源大部分时间只会被一个线程所独占，这是一种乐观的想法；有时候我们会认为共享资源在很长一段时间会被多个线程争夺，这是一种悲观的想法。这两种派系映射到并发编程中就如同加锁与无锁的策略，即加锁是一种悲观策略，无锁是一种乐观策略。而无锁总是假设对共享资源的访问没有冲突，线程可以不停执行，无需加锁，无需等待，一旦发生冲突，无锁策略可以采用一种名为CAS的技术来保证线程执行的安全性，这项CAS技术就是无锁策略实现的关键。

二、CAS是什么：

CAS，Compare And Swap即比较并交换。执行函数：CAS(V,E,N)。

CAS有三个参数，V表示要更新的变量，E表示预期值，N表示新值。当且仅当V=E时，更新V的值为N，否则什么都不做。

CAS由于是在硬件方面保证的原子性，不会锁住当前线程，所以执行效率是很高的。

三、CAS的优缺点：

1. 优点： CAS由于是在硬件层面保证的原子性，不会锁住当前线程，它的效率是很高的。 
2. 缺点：

• ABA问题。CAS在操作值的时候检查值是否已经变化，没有变化的情况下才会进行更新。但是如果一个值原来是A，变成B，又变成A，那么CAS进行检查时会认为这个值没有变化，但是实际上却变化了。ABA问题的解决方法是使用版本号。在变量前面追加上版本号，每次变量更新的时候把版本号加一，那么A－B－A 就变成1A-2B－3A。从Java1.5开始JDK的atomic包里提供了一个类AtomicStampedReference来解决ABA问题。
• 并发越高，失败的次数会越多，CAS如果长时间不成功，会极大的增加CPU的开销。因此CAS不适合竞争十分频繁的场景。
• 只能保证一个共享变量的原子操作。当对多个共享变量操作时，CAS就无法保证操作的原子性，这时就可以用锁，或者把多个共享变量合并成一个共享变量来操作。比如有两个共享变量i＝2,j=a，合并一下ij=2a，然后用CAS来操作ij。从Java1.5开始JDK提供了AtomicReference类来保证引用对象的原子性，你可以把多个变量放在一个对象里来进行CAS操作。

 

四、unsafe类：unsafe类存在于sun.misc包中,从其名称就可以看出是不安全的类，Java官方也不支持直接使用unsafe类。但是JAVA中CAS操作的执行是依赖于unsafe类的。unsafe类中的所有方法都是用native修饰的，说明unsafe类中的方法都直接调用操作系统底层的资源执行相应任务。

五、原子类：java.util.concurrent.atomic包：原子