CAS compare and set
是一个乐观锁的技术
每个CAS是一个 原子 操作
操作系统lock指令通过锁总线保证CAS的原子
CAS(内存地址,旧值,新值)
{
if( *(内存地址) == 旧值){
*(内存地址) = 新值;
return success
}
return fail
}
ABA问题
通过控制变量值的版本来保证CAS的正确性
ABA问题举例说明
栈顶 HEAD - A-B-C 栈底
线程A TEMP = B ; (此时线程B获取了运行时间片) HEAD.NEXT = TEMP;
线程B POP(); POP(); PUSH(A) -> HEAD - A - C
线程A 继续执行 HEAD.NEXT = TEMP; -> HEAD- B;
此时 栈就出现了错误,不是预期的 HEAD - B -C 而是 HEAD- B;
