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インタフェースについて述べているものを見てみましょう：内蔵のモニターロックによって提供されるように説明したよう

すべてのLock実装は、 セマンティクス同じメモリ同期を強制する必要がありますロックの操作が成功した場合、同じメモリ同期 のロック操作が成功したとみなされます。

成功したロック解除操作には、 ロック解除操作の成功と同じメモリ同期効果があります。

あなたの質問に対する答えははいです。 Lockは、通常の​​ブロック/メソッドと同じ並べ替え順序を与えます。