java CAS原语

java 中的synchronized关键字是悲观锁 也叫独占锁
所谓悲观锁就是某一线程独占资源，其他线程只能干等着，这种锁在高并发中性能很差

还有一种实现锁的方式是乐观锁
乐观锁实际上并不加锁，当计算遇到冲突或者说前后不一致时会重试 直到成功

乐观锁采用的机制叫CAS compare and swap
CAS有3个操作数 内存值V 要跟内存值做比较的值A 和 新值 B
其操作逻辑为

while(true){
if(V == A){
   V = B;
   return ;
}else{
   A ＝ V;
}
}

CAS的操作对象为volatile类型
volatile类型变量是：CPU直接读写变量所在的内存 而不是把变量copy到寄存器操作
这样对变量的操作所有线程都是可见的
这样做的结果是减少了并发时冲突的概率 但不能完全避免

评论

3 楼 it_like 2014-04-20  

CAS有3个操作数，内存值V，旧的预期值A，要修改的新值B。

内存值是什么时候的内存值
旧的预期值：这个词理解不动，没有头绪
要修改的新值：举例

搞不懂啊

2 楼 XIAOLINJAVA 2011-07-20  

volatile类型：
根据Java Language Specification中的说明, jvm系统中存在一个主内存(Main Memory或Java Heap Memory)，Java中所有变量都储存在主存中，对于所有线程都是共享的。

每条线程都有自己的工作内存(Working Memory)，工作内存中保存的是主存中某些变量的拷贝，线程对所有变量的操作都是在工作内存中进行，线程之间无法相互直接访问，变量传递均需要通过主存完成。

所以，同一变量的值在工作内存和主存中可能不一致。volatile其实是告诉处理器, 不要将我放入工作内存, 请直接在主存操作我。

1 楼 mercyblitz 2010-07-10  

CAS 保证Happens-before了。这个需要硬件架构支持Memory fence(barrier).