对compareAndSet方法的一点小见解

最新推荐文章于 2025-05-17 19:08:00 发布

原创最新推荐文章于 2025-05-17 19:08:00 发布 · 4.4k 阅读

3 ·

CC 4.0 BY-SA版权

文章标签：

#Java #多线程

Java多线程专栏收录该内容

1 篇文章

订阅专栏

本文探讨了JavaSE8中使用AtomicLong进行线程安全数值更新的方法，指出了直接设置值的方式存在的竞争条件问题，并提供了两种解决方案：利用compareAndSet方法确保原子性和使用updateAndGet方法简化操作。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

今天在看《写给大忙人的看的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)):