コレクション初期化子を使用すると、別のスレッドが部分的に作成したコレクションを参照できますか？

Question

は、いくつかの方法で、このC＃コードを想像してみて：

SomeClass.SomeGlobalStaticDictionary = new Dictionary<int, string>() 
{ 
    {0, "value"}, 
}; 

はのは、誰も明示的なメモリバリアを使用していないか、辞書にアクセスするためにロックしているとしましょう。

最適化が行われない場合、グローバル辞書はnull（初期値）または1つのエントリを持つ適切に構成された辞書である必要があります。

質問ですが：（？またはその他の無効な部分的に構築された辞書）の追加コールの効果とSomeGlobalStaticDictionaryへの割り当ては、いくつかの他のスレッドが空のnull以外SomeGlobalStaticDictionaryを見ることになるよう並べ替えることができます

がしますSomeGlobalStaticDictionaryがvolatileであれば答えを返しますか？

http://msdn.microsoft.com/en-us/magazine/jj863136.aspx（およびその2番目の部分）を読んだ後、理論的には1つの変数がソースコードに割り当てられているという理由だけで、他のスレッドはさまざまな理由でそれを別々に見るかもしれません。 ILコードを調べましたが、問題は、SomGlobalStaticDictionaryの割り当ての前に、JITコンパイラおよび/またはCPUがAdd呼び出しの効果を他のスレッドに "フラッシュ"できないかどうかです。ローカル変数で

Answer 1

私はあなたの質問への答えを知っていないと言ってみましょうが、私はあなたがその本質にそれを簡素化することができます

unsafe class C 
{ 
    static int x; // Assumed to be initialized to zero 
    static int *p; // Assumed to be initialized to null 
    static void M() 
    { 
     int* t = &C.x; 
     *t = 1; 
     C.p = t; 
    } 
    ... 

ここint辞書用で立っている、pがあります辞書を参照しているフィールドには、tが一時的に作成され、辞書に要素を追加することは、フィールドxの値を変更してモデル化されます。したがって、ここでの一連のイベントは、辞書の格納場所を取得して一時的に保存し、次に参照したものを変更してから結果をパブリッシュします。

質問は、C＃メモリモデルの下で、別のスレッドのオブザーバがxを指しており、xがまだゼロであることを見ることが許可されているかどうかです。

私が言ったように、私は確かにその答えを知らない。私は調べることに興味があるだろう。

なぜ私の頭の上から外れているのですか：なぜそれはではなく、が可能でしょうか？ pとxは完全に異なるメモリページに置くことができます。あるプロセッサ上でxの値がプリフェッチされているが、pの値がプリフェッチされていないとします。そのプロセッサはpがヌルではなく、xがまだゼロであることを観察できますか？それを止めるのは何ですか？

Answer 2

最適化がオンで、コンパイラは、（少なくとも時々）を（オブジェクト初期化子のために、またはプロパティを設定する）Addを呼び出し、最初の変数に割り当てるコードにコンパイルされます。

あなたは、静的またはインスタンス変数を使用する場合は、異なる動作が表示されます：

class Test 
{ 
    static List<int> StaticList = new List<int> { 1 }; 
    List<int> InstanceList = new List<int> { 2 }; 
} 

は、次のタイプ初期化子のILを与える：

.method private hidebysig specialname rtspecialname static 
     void .cctor() cil managed 
{ 
    // Code size  21 (0x15) 
    .maxstack 2 
    .locals init (class [mscorlib]System.Collections.Generic.List`1<int32> V_0) 
    IL_0000: newobj  instance void class [mscorlib]System.Collections.Generic.List`1<int32>::.ctor() 
    IL_0005: stloc.0 
    IL_0006: ldloc.0 
    IL_0007: ldc.i4.1 
    IL_0008: callvirt instance void class [mscorlib]System.Collections.Generic.List`1<int32>::Add(!0) 
    IL_000d: nop 
    IL_000e: ldloc.0 
    IL_000f: stsfld  class [mscorlib]System.Collections.Generic.List`1<int32> Test::StaticList 
    IL_0014: ret 
} // end of method Test::.cctor 

そして、次のコンストラクタのIL：

.method public hidebysig specialname rtspecialname 
     instance void .ctor() cil managed 
{ 
    // Code size  29 (0x1d) 
    .maxstack 3 
    .locals init (class [mscorlib]System.Collections.Generic.List`1<int32> V_0) 
    IL_0000: ldarg.0 
    IL_0001: newobj  instance void class [mscorlib]System.Collections.Generic.List`1<int32>::.ctor() 
    IL_0006: stloc.0 
    IL_0007: ldloc.0 
    IL_0008: ldc.i4.2 
    IL_0009: callvirt instance void class [mscorlib]System.Collections.Generic.List`1<int32>::Add(!0) 
    IL_000e: nop 
    IL_000f: ldloc.0 
    IL_0010: stfld  class [mscorlib]System.Collections.Generic.List`1<int32> Test::InstanceList 
    IL_0015: ldarg.0 
    IL_0016: call  instance void [mscorlib]System.Object::.ctor() 
    IL_001b: nop 
    IL_001c: ret 
} // end of method Test::.ctor 

どちらの場合でも、コレクションには前にが設定されていますフィールドが設定されています。今ではメモリモデルの問題はまだないかもしれないが、ではなくというフィールドは、空のコレクションを参照するように設定されているフィールドと同じで、Addコールが行われていると同じです。割り当てスレッドの観点から、割り当てはAddの後に行われます。前にあなたが割り当てにそれを使用する場合には、プロパティのセッターがすべてと呼ばれているように、割り当てが行われる - 一般的には、オブジェクト初期化子とコレクションの両方の初期化子式は一時的な変数を使用してオブジェクトを構築するための等価です

。

オブジェクト/コレクションイニシャライザの他のスレッドの可視性については、特別な保証が与えられています。私はあなたが、仕様に従って「長距離」と書かれた場合にコードがどのように見えるかを想像し、そこから理由を推測することをお勧めします。

はです。静的イニシャライザとコンストラクタには保証がありますが、主にMicrosoftの「一般」保証（例：C＃仕様またはECMA仕様内）。