java - 同期ブロック内での並べ替え

Question

同期ブロック内での命令の並べ替えは可能ですか？例えば、

synchronized(lock) { 
    statement1; 
    statement2; 
} 

ここで、statement1とstatement2は互いに依存しません。プロセッサーまたはコンパイラーはこれらのステートメントの順序を変更できますか？

ありがとうございます。

Answer 1

はいこれらの文は、オプティマイザがブロックを決定する場合、​​ブロック内で並べ替えることができます。しかし、彼らは​​から取り出すことはできません。

Answer 2

コンパイラ（実際にはオプティマイザ）は、物事を並べ替えるか、スコープ外に出る前に参照されない変数に割り当てるなどのコードを排除することもできます。それはスピードアップにつながります。これは同期ブロック内でのみ発生します。

Answer 3

JSR-133によると、同期ブロック内のステートメントを並べ替えることができません。 http://www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html、セクション

を「「同期が何をするのか」スレッドの各アクションは、後で来るそのスレッド内のすべてのアクションの前に起こりますプログラムの順序で。