私はちょうどJAVAのBNF文法に出くわしました。その中で、「modifier」には「threadsafe」と呼ばれる終端記号があります。ただし、これまでに見たことがなく、Java Language Specification、Java SE 7 Edition(docs.oracle.com/javase/specs/jls/se7/jls7.pdf)でその修飾子を見つけることができませんでした。それでも、私はここでそれを見つけ、箇条書き16で次のように説明しています。
このコードを同時に実行する別のスレッドが変数の値を変更できない場合、その変数はスレッドセーフであり、コンパイラーはコードを高速化または小型化するために巧妙な処理を行う場合があります。
これは本当の修飾子ですか?これは、JAVAの今後のバージョンで導入されることになっていますか?