普通成员（非易失性成员）仍然具有易失性读写的内存语义

Question

当我在jdk1.8中阅读AbstractQueuedSynChronizer时，我看到compareAndSetState方法具有易失性读写的内存语义学的注释。

注释和代码如下：

/**
 * Atomically sets synchronization state to the given updated
 * value if the current state value equals the expected value.
 * This operation has memory semantics of a {@code volatile} read
 * and write.
 */
protected final boolean compareAndSetState(int expect, int update) {
    return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
}

在AbstractQueuedSynchronizer类中，stateOffset是一个名为state

只是想知道如果state是一个非易失性成员，记忆语义学是什么。

Answer 1

compareAndSetState（）的语义学仍然是易失性读写-这是Unsafe.compareAndSwapInt（）存在的主要原因。

但是通常代码不仅仅调用Unsafe.compareAndSwapInt（）。通常代码读取当前值，计算一个新值，然后尝试用新值替换它读取的值。这种读取也必须使用易失性读语义学来完成。

例如，在CountDownLatch中。同步#tryReleaseShared（）：

   protected boolean tryReleaseShared(int releases) {
       // Decrement count; signal when transition to zero
       for (;;) {
           int c = getState();
           if (c == 0)
               return false;
           int nextc = c-1;
           if (compareAndSetState(c, nextc))
               return nextc == 0;
       }
   }

使用getState（）读取状态必须使用volatile读取语义，以确保使用最新的值