java - JMM 和 trylock 的不良使用

Question

对 trylock 的不当使用

T1                                   T2
x = 42;                              while (lock.trylock())
lock.lock();                               lock.unlock();
                                     assert(x == 42);

在 java 和 c++ 内存模型中都允许 x=42 在 lock(1) 之后移动。因此断言可能会在 T2 线程中失败。因此在 C++ 内存模型中他们定义 trylock 失败的行为可能是虚假的。但是我没有找到 java 内存模型中 trylock 的规范。Can assert in thread 2 保证在Java中通过。引用会有帮助!

引用: http://rsim.cs.illinois.edu/Pubs/08PLDI.pdf

Answer 1

来自 Lock 的 javadoc :

Unsuccessful locking and unlocking operations, and reentrant locking/unlocking operations, do not require any memory synchronization effects.