java - AtomicInteger 的 getAndIncrement 实现

Question

AtomicInteger 的 getAndIncrement 实现执行以下操作:

public final int getAndIncrement() {
    for (;;) {
        int current = get(); // Step 1 , get returns the volatile variable
        int next = current + 1;
        if (compareAndSet(current, next))
            return current;
    } }

它不是等同于aVolatileVariable++吗？ (我们知道这不是正确的用法)。没有同步，我们如何确保这个完整的操作是原子的？如果在步骤 1 中读取变量 'current' 后 volatile 变量的值发生变化怎么办？

Answer 1

“秘方”就在这个调用中:

compareAndSet(current, next)

compareAndSet如果原始 volatile 值在读取后 被同时更改，操作将失败(并返回 false)，迫使代码继续循环。