for循环的每个循环都是原子操作吗？

Question

下面AtomicBigInteger实现的incrementandget方法是原子操作吗？我特别想知道for（；；）部分。JVM是否以某种方式保证for循环中的每个循环都是原子式执行的？

public final class AtomicBigInteger {

    private final AtomicReference<BigInteger> valueHolder = new AtomicReference<>();

    public AtomicBigInteger(BigInteger bigInteger) {
        valueHolder.set(bigInteger);
    }

    public BigInteger incrementAndGet() {
        for (; ; ) {
            BigInteger current = valueHolder.get();
            BigInteger next = current.add(BigInteger.ONE);
            if (valueHolder.compareAndSet(current, next)) {
                return next;
            }
        }
    }
}

我从这里得到了这段代码：是否可以以线程安全的方式安全地递增BigInteger，也许可以使用AtomicReference,W/O锁定？然而，这个实现正在进行中，您可以在Internet上的许多不同地方找到它。

Answer 1

不，它不是原子的，但是如果另一个线程修改了AtomicReference，那么compareAndSet调用将失败，它将再次循环，获取值，递增它，并尝试再次设置它。它迟早（可能）会成功，并将AtomicReference持有的BigInteger更新为下一个数字。