compareAndSet()方法的使用

问题导入

public static AtomicLong largest = new AtomicLong();
//在某些线程中
largest.set(Math.max(!largest.get(),observed));//错误--竞争条件

上述代码在多线程环境下是不正确的,更新过程不是原子性的。不是原子性,也就意味着在多线程并发的情况下,有可能这个变量会被修改。对于上面那么操作,并不能说要么一次就执行成功,或者要么就不执行。

使用 compareAndSet

利用compareAndSet, CAS+自旋锁 解决上述问题:

do{
	oldValue = largest.get();
	newValue = Math.max(oldValue, observed);
}while(!largest.compareAndSet(oldValue, newValue);

compare的使用:CAS有3个操作数,内存值V,旧的预期值A,要修改的新值B。当且仅当预期值A和内存值V相同时,将内存值V修改为B,否则什么都不做。

在这个循环条件下,假设有多个线程在同时执行这段代码,即使有一个线程在产生了新值之后,它还需要让它自己产生的新值与旧址比较之后才能决定要不要这个新值。也就是说,如果oldValue是10, 而产生的新值是20, 然后程序还没到while的时候,有其他程序修改了newValue的值,那当这个线程到while判断的时候,会出现 compareAndSet方法的预期值不跟实际值一样,导致方法返回false,直到没有其他线程干扰。这时就确定了新产生的值。

另外,在Java8中,可以直接通过与lamda表达式的配合达到此目的:

largest.updateAndGet(x -> Math.max(x, observed);

你可能感兴趣的:(compareAndSet()方法的使用)