并发编程中,一个很重要的包时concurrent包,concurrent包实现并发控制核心原理之一是CAS算法,相比起锁/volatile/synchronized/屏蔽/栅栏这些方式,CAS的实现机制到底有什么优势。
CAS (Compare And Swap)
原子操作实现多线程同步 需要传入1.目标指针reg;2.被比较值oldval;3.更新值newval 执行过程如下 Created with Raphaël 2.1.0开始int* reg, int oldval, int newval根据reg获取目标值目标值==被比较值?目标值更新为更新值结束yesno
附源码如下,可以将 目标值与被比较值比较之后设置循环,直到更新成功为止实现乐观锁控制
int compare_and_swap(int* reg, int oldval, int newval){ ATOMIC(); int old_reg_val = *reg; if (old_reg_val == oldval) *reg = newval; END_ATOMIC(); return old_reg_val;}