CAS操作的硬件指令

 

 

1 cas操作是为了避免阻塞式同步，阻塞式同步需要OS对线程进行挂起、唤醒，比较耗费资源。所以cas阻塞本质上非阻塞式同步

2 cas如何实现非阻塞式同步：

（1）将线程变量累加，然后与堆中的变量值进行比较，如果符合预期则更新堆中的变量值

（2）如果不符合预期，将堆中变量赋值到线程变量

（3）重复（1）

3 cas是依托于硬件指令：jvm定义了8个原子操作，用于堆中变量和线程变量的赋值，我的猜测是CAS指令就是组合了8个原子操作其中4个。

备注：cas操作这里面有个很重要的步骤大部分文章没有说到，那就是如果和预期值不符合时，要将主内存（堆）的变量值赋值到线程变量。