C++ローカル変数とスレッド（thread_localではない）

Question

ローカル配列とスレッドとのやりとりのためのC++ 98とC++ 11のメモリモデルは何ですか？

私はグローバル変数と静的変数に関連するC++ 11 thread_localキーワードを参照ないよ。

代わりに、コンパイル時に割り当てられた配列のスレッドの動作が保証されているかどうかを調べたいと思います。コンパイル時には、私は "int array [100]"を意味します。これはnew []キーワードを使った割り当てとは異なります。私はの静的な変数を意味しません。

たとえば、のは、私は、次の構造体/クラスを持っているとしましょう：

struct xyz { int array[100]; }; 

と、次の関数：

void fn(int x) { 
    xyz dog; 
    for(int i=0; i<100; ++i) { dog.array[i] = x; } 
    // do something else with dog.array, eg. call another function with dog as parameter 
    } 

は、複数のスレッドからFN（）を呼び出すことは安全ですか？ C++メモリモデルは、すべてのローカル非静的変数と配列がスタックに割り当てられ、各スレッドに独自のスタックが割り当てられているようです。これは本当ですか（つまり、これは公式に標準の一部ですか）？

Answer 1

このような変数はスタックに割り当てられ、各スレッドには独自のスタックがあるため、ローカル配列を使用することは完全に安全です。それらは、例えば、ローカルint s。

Answer 2

C++ 98はスレッドについて何も言わなかった。 C++ 98に書き込まれているがスレッドを使用するプログラムは、C++ 98で定義された意味を持ちません。もちろん、スレッド拡張でスレッドに安定したプライベートなローカル変数を提供することは賢明です。通常はそうしています。しかし、vforkによって作成されたプロセス（例えば、vforkのvは、アドレス空間を複製しないことを意味するため、一部のUnixシステムでは親と子が同じスタックフレームで実行されるプロセス） vforkは、新しいプロセスを別の機能にリダイレクトしません。

C++ 11では、スレッドのサポートがあります。独立したC++ 11スレッドの別個のアクティベーションチェーン内のローカル変数は干渉しません。しかし、あなたが言語の外に出てvforkまたはそれに似ているものを外したら、すべてのベットは前と同じようにオフになります。

しかし、ここに何かがあります。 C++にはクロージャがあります。 2つのスレッドがどちらも同じクロージャを呼び出すとどうなりますか？次に、同じローカル変数を共有する2つのスレッドがあります。クロージャーはオブジェクトのようなもので、キャプチャされたローカル変数はメンバに似ています。 2つ以上のスレッドが同じクロージャを呼び出す場合、メンバ（つまり、キャプチャされたレキシカル変数）が共有される事実上のマルチスレッドオブジェクトが存在します。

スレッドは、ローカル変数のアドレスを別のスレッドに渡して共有することもできます。