unsafe.compareAndSwapInt 第一个参数含义

Question

我正在调查java.util.concurrent.locks.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.
 *
 * @param expect the expected value
 * @param update the new value
 * @return {@code true} if successful. False return indicates that the actual
 *         value was not equal to the expected value.
 */
protected final boolean compareAndSetState(int expect, int update) {
    // See below for intrinsics setup to support this
    return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
}

参数expect和update很明显，对应原子参数。但是this 是对象（而不是int）。
这与expect相比如何？

Answer 1

它的字段state 将被CAS-ed 的实例。该值存储在该字段中。实例偏移对是一种将字段描述符转换为内存地址的方法，就像您在使用 Field::set、Field::get 或 Method::invoke 时需要提供实例一样。

顺便说一句，这些 sun 课程的源代码可在 openjdk's mercury repository 在线获取。