JAVA中的「threadsafe」修飾符？

Question

我剛碰到一個BNF Grammar for JAVA。其中「修飾符」有一個稱爲「線程安全」的終端符號。但是，我從來沒有見過它，並且無法在Java語言規範Java SE 7 Edition（docs.oracle.com/javase/specs/jls/se7/jls7.pdf）中找到該修飾符。然而，我發現它here，描述它在子彈16：

如果另一個線程在同一時間excuting此代碼不能改變一個變量的值，那麼變量是線程安全的，而編譯器可以做聰明事用它來使代碼更快或更小。

這是一個真正的修飾符？它應該在JAVA的upcomming版本中引入嗎？

Answer 1

試試在Java的官方源代碼BNF找到它here。

Answer 2

不，它不是在同一個列表中被private_protected。

Answer 3

Java和Groovy在編譯器中都有「線程安全」和「goto」等關鍵字作爲「保留標記」，但它們現在在語言中沒有任何意義。