今天在看《写给大忙人的看的Java SE 8》第6章的时候,在开头看到:
public static AtomicLong largest = new AtomicLong();
//在某些线程中
largest.set(Math.max(!largest.get(),observed));//错误--竞争条件
上面这段代码是错误的,理由是这个更新过程不是原子性的。不是原子性,也就意味着在多线程并发的情况下,有可能这个变量会被修改。对于上面那个操作,并不能说要么一次就执行成功,或者要么就不执行。
下面是对上面那段代码的修改:
do {
oldValue = largest.get();
newValue = Math.max(oldValue, observed);
} while (!largest.compareAndSet(oldValue, newValue));
在这个循环条件下,假设有多个线程在同时执行这段代码,即使有一个线程在产生了新值之后,它还需要让它自己产生的新值与旧值比较之后才能决定要不要这个新值。也就是说,如果oldValue是10,而产生的新值是20,然后程序还没到while的时候,有其他线程修改了newValue值,那当这个线程到while判断的时候,会出现comparAndSet方法的预期值不跟实际值一样,导致方法返回false,直到没有其他线程干扰。这时就确定了新产生的值。
另外,这Java 8中,可以直接通过与lambda表达式的配合达到此目的:
largest.updateAndGet(x -> Math.max(x, observed)):