Lock能保证先发生后发生的关系吗？

Question

我有一个关于Java中代码重新排序和竞争条件的问题。

假设我有以下代码，有2个或多个线程同时执行workForThread（）：

public class Job {
   private Lock lock = new ReentrantLock();
   private int sharedObject = 1;
   public void workForThread() {
       lock.lock();
       try {
           sharedObject++;
       } finally {
           lock.unlock();
       }
   }
}

JVM是否可能以错误的顺序执行此操作？例如，以下重新排序是否可能？：

sharedObject++;
lock.lock();
lock.unlock();

还是保证锁不会被重新排序？

Answer 1

让我们来看看Java文档对Lock接口的看法：

所有的锁实现都必须执行与内置监控锁所提供的相同的内存同步语义，如Java语言规范的第17.4节所述:

成功的锁定操作与成功的锁定动作具有相同的内存同步效果。

成功的解锁操作与成功的解锁操作具有相同的内存同步效果。

所以你的问题的答案是肯定的。< code>Lock为您提供了与常规< code>synchronized块/方法相同的重新排序保证。