Java的CAS原理

Java的CAS原理

 一、CAS原理

    CAS是compare and swap,意思是比较并交换  

    java.util.concurrent包中借助CAS实现。

   CAS操作包含三个操作数——内存位置V、预期原值A、新值B。如果内存位置和预期原值相同,那么处理器会自动的将该位置

的值更新为新值,否则处理器不做生命和操作。无论那种情况,都会在CAS指令之前返回该位置的值。

   悲观锁:如:synchronized。当一个线程获得锁时,其他线程只能挂起,只能等待持有锁的线程释放锁。

 乐观锁:每次不加锁,默认没有冲突而去完成某项操作,如果因为冲突失败就重试,知道成功为止。机制就是CAS。

二、CAS的目的

   非阻塞算法:一个线程的失败或者挂起不应该其他线程的失败和挂起的算法。

三、问题

 CAS存在三大问题。ABA问题,循环时间长开销大,只能保证一个共享变量的原子操作。

 1.ABA问题。因为CAS需要在操作值得时候检查值有没有发生变化。如果没有发生变化则更新。但是一个值A变为B,又变成A,那么CAS进行检查的时候并没有发现它的变化,但实际已经发生了变化。ABA问题解决的思路是时候版本号。在变量前面加上版本号。每次变量的更新都把版本号加一。A-B-A会变成1A-2B-3A。

2.循环时间常开销大。自旋CAS如果长时间不成功,会给CPU带来非常大的执行开销。如果JVM能支持处理器提供的pause指令那么效率会有一定的提升,pause指令有两个作用,第一它可以延迟流水线执行指令(de-pipeline),使CPU不会消耗过多的执行资源,延迟的时间取决于具体实现的版本,在一些处理器上延迟时间是零。第二它可以避免在退出循环的时候因内存顺序冲突(memory order violation)而引起CPU流水线被清空(CPU pipeline flush),从而提高CPU的执行效率。

3.只能保证一个共享变量的院子操作。当对一个共享变量执行操作时,我们可以使用循环CAS的方式来保证原子操作,但是对多个共享变量操作时,循环CAS就无法保证操作的原子性,这个时候就可以用锁,或者有一个取巧的办法,就是把多个共享变量合并成一个共享变量来操作。比如有两个共享变量i=2,j=a,合并一下ij=2a,然后用CAS来操作ij。从Java1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性,你可以把多个变量放在一个对象里来进行CAS操作。

四、concurrent包的实现

concurrent根据CAS实现的模式:

    1.将共享变量声明为volatile;

    2.使用CASd的原子条件更新来实现线程之间的同步;

    3.同时,配合volatile的读/写和CAS所具有的volatile读和写的内存语义实现线程间的通信

由于java的CAS同时具有 volatile 读和volatile写的内存语义,因此Java线程之间的通信现在有了下面四种方式:

  1. A线程写volatile变量,随后B线程读这个volatile变量。
  2. A线程写volatile变量,随后B线程用CAS更新这个volatile变量。
  3. A线程用CAS更新一个volatile变量,随后B线程用CAS更新这个volatile变量。
  4. A线程用CAS更新一个volatile变量,随后B线程读这个volatile变量。

猜你喜欢

转载自blog.csdn.net/qq_28126793/article/details/79633402