Javaオブジェクト構造のスレッドセーフパブリッシング？私は次のコードを持っていると仮定すると

Question

：「カタログ」

final Catalog catalog = createCatalog(); 

for (int i = 0; i< 100; i++{ 
    new Thread(new CatalogWorker(catalog)).start(); 
} 

は、オブジェクト構造、および方法createCatalog（）であり、「カタログ」オブジェクトの構造は、念頭に置いて並行処理で書かれていません。製品カタログ内のいくつかの非ファイナル、非揮発性の参照がありますが、そこでも変更可能な状態であってもよい（それがを処理する必要がありになるだろう）

私はメモリモデルを理解する方法、このコードではありませんスレッドセーフです。それを安全にする簡単な方法はありますか？ （スレッドが行動に爆発する前に、この問題の一般化バージョンはに作成された共有構造のシングルスレッドの建設については本当にある）

Answer 1

いいえ、シンプル安全にする方法はありません。変更可能なデータ型の同時使用は常に難しいです。 いくつかのの状況では、Catalogの同期化された（できれば非公開のロックで）同期が行われるかもしれませんが、スレッドは実際にはの操作を実行したいことがあります。 。

変数へのすべてのアクセスを同期するだけで、Javaメモリモデルの問題の関連性が低くなります。たとえば、常に最新の値が表示されますが、大きな問題自体は依然として重大です。

Catalogでどれ不変状態はすでに問題ないはずです：「事前発生」Catalogの構築と開始される新しいスレッドの間があります。スペックのsection 17.4.5から：

コールは が起こる-前 のいずれかのアクションがスレッドを開始したスレッド上で（）を開始します。あなたがいないのであれば「同期」の

（と建設の仕上げがstart()への呼び出しの前に起こるので、工事が始まったスレッドのいずれかのアクションの前に発生します。）

Answer 2

は、あなたがそれを作るためにCatalogの状態を変更するすべてのメソッドを同期する必要があるスレッド安全。 （おそらくこれらのスレッドが実行されている間、実際には何を変異しないことによって）あなたが扱うと仮定すると、「非ファイナル、非揮発性の参照を[と]可変状態」

public synchronized <return type> method(<parameter list>){ 
... 
} 

Answer 3

その後、私は、これはスレッドセーフであると信じています。 the JSR-133 FAQから一のアクションが 別の前に発生する場合

、最初は 前に順序付け及び 第二に見えることが保証されます。次のようにこの順序付けのルールは です：

• スレッド内の各アクションは、プログラムの ために、後に来るそのスレッド にある全てのアクションの前に起こります。
• モニターのロック解除は、同じモニターの のそれ以降のロックの前に行われます。
• 揮発性フィールドへの書き込みは、その後のすべての読み出しの前に発生します。その同じvolatileの読み出し 。
• スレッドの開始（）の呼び出しは、開始されたスレッドの のアクションの前に発生します。
• スレッド内のすべてのアクションは、他のスレッドが正常に実行される前に実行されます。 は、そのスレッドのjoin（）から戻ります。

スレッドがcreateCatalogへの呼び出し後に開始されているので、createCatalogの結果は何の問題もなく、これらのスレッドに表示されるはずです。これは、問題を引き起こすスレッドでstart（）が呼び出された後に発生するカタログオブジェクトの変更のみです。