乐观锁与悲观锁
独占锁是一种悲观锁,synchronized就是一种独占锁,它假设坏的情况,并且只有在确保其它线程不会造成干扰 的情况下执行,会导致其它所有需要锁的线程挂起,等待持有锁的线程释放锁。而另一个更加有效的锁就 是乐观 锁。 所谓乐观锁就是,每次不加锁而是假设没有冲突而去完成某项操作,如果因为冲突失败就重试,直 到成功为 止。 CAS无锁算法
要实现无锁(lock-free)的非阻塞算法有多种实现方法,其中 CAS(比较与交换,Compare and swap) 是 一种有 名的无锁算法。CAS, CPU指令,在大多数处理器架构中都支持调用。 CAS的语义是“我认为V的值应该 为A,如果 是,那么将V的值更新为B,否则不修改并告诉V的值实际为多少” 。
CAS是项乐观锁技术,当多个线程尝试使用CAS同时更新同一个变量时,只有其中一个线程能更新变量的值, 而其 它线程都失败,失败的线程并不会被挂起,而是被告知这次竞争中失败,并可以再次尝试。 CAS有3个操作 数,内 存值V,旧的预期值A,要修改的新值B。当且仅当预期值A和内存值V相同时,将内存值V修改为B,否 则什么都不 做。 CAS无锁算法的C实现如下:
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; }
以上翻译过来就是指当两者进行比较时,如果相等,则证明共享数据没有被修改,替换成新值,然后继续往下 运 行;如果不相等,说明共享数据已经被修改,放弃已经所做的操作,然后重新执行刚才的操作。