CAS（compare and swap 比较与交换）

CAS（compare and swap 比较与交换）

流程：

start -> 读值 -> 修改值 -> 判断原读取值与现值是否一致 -> 一致则更新为修改值后结束，不一致则继续读值修改比较......

 

CAS依赖汇编指令实现 ： lock cmpxchg

 

CAS存在ABA问题：

A线程读值为0 -> 修改值为1 ->

B线程与A线程同时读取值为0 -> B线程修改值为2 -> 比较判断更新为2 -> 结束

C线程在B线程结束之后读值为2 -> 修改值为0 -> 比较判断更新为0 -> 结束

A线程此时修改完值为1 -> 比较判断发现与原读取的值相同，都是0 -> 更新为1

 

ABA：即在比较交换的过程中，虽然原值相同，但不能保证该值是否已经被修改过。

 

解决ABA问题：

加版本号方式或者加布尔类型的方式，即在读值时同时读取该值的版本号，修改后与原值比较时同时比较两版本号是否相同，相同即为未被其他线程修改过，反之则已发生ABA。