java - 并发 api 的 AbstractQueuedSynchronizer 构建 block 如何没有任何同步？

Question

我试图从较高的层次理解 java 的并发 API 是如何使用 AbstractQueuedSynchronizer 作为构建 block 构建的。我在这个类中没有看到任何synchronized、wait() + notify() 的使用。那么如何实现线程安全的代码呢？

虽然我看到不安全 CAS 操作实现了一些原子性，但这还不足以拥有完全线程安全的代码。

Answer 1

Unsafe类没有像 JDK 公开公开的类那样详细记录，因此并非所有其方法所做的保证都是显而易见的。

但是，如果您查看 latest source code of AbstractQueuedSynchronizer ，您会看到它现在使用 VarHandle，其方法有详细记录。对于 compareAndSet，文档 says :

Atomically sets the value of a variable to the newValue with the memory semantics of setVolatile(java.lang.Object...) if the variable's current value, referred to as the witness value, == the expectedValue, as accessed with the memory semantics of getVolatile(java.lang.Object...).

这意味着不会出现竞争条件，因为对于两个并发线程，只有一个线程会更新值，另一个线程会失败。您将获得所需的内存可见性保证。