スレッド間のグローバル変数の共有

前提

c++/CLIを用いて、マルチスレッド処理を行うアプリを作成しています。
環境はVisual Studio 2019です。

質問

以下のようなdllを作成して、スレッド1とスレッド2でそれぞれでクラスをnewした後、
スレッド1でProc1をコールし、
スレッド2でProc2をコールした場合、
グローバル変数iRequest はスレッド間で共有されますか？

c++
1int iRequest = 0;
2
3namespace Wrapper
4{
5    public ref class WrapperClass
6    {
7		//スレッド1で呼ぶ
8		int Wrapper::WrapperClass::Proc1()
9		{
10		    return iRequest;
11		}
12
13		//スレッド2で呼ぶ
14		int Wrapper::WrapperClass::Proc2()
15		{
16		    iRequest++;
17		    return iRequest;
18		}
19	}
20}

上記のコードを動かしたときに、スレッド1ではiRequestは0のままで、スレッド2ではインクリメントされた値が帰ってくると考えていたのですが、予想に反してスレッド1でもインクリメントされた値が返ってきました。
自分はスレッド毎に別のアドレス空間だと思っていたのですが、そうではないでしょうか？

行動規範の内容に同意します

回答4件

ベストアンサー

既出の通り、メモリ空間を共有するのがスレッド、共有しないのがプロセスとなります
(他にもハンドルを基本的に共有しませんが)

共有したくないグローバル変数ならばthread_localにするという手があります。

c++11
c++/cli
msvc

投稿2021/05/13 16:56

asm

総合スコア15149

tkym_1231

2021/05/14 01:22

各言語の仕様のページを教えていただき、ありがとうございます。勉強になりました。

行動規範の内容に同意します

読み取るタイミングによって結果が変わりますから、それを保証したい場合は性能を犠牲にロックを取る必要があります。C++/CLIのようなので、SemaphoreSlimとかを使います。また、今回変数の型がintだからいいですが、long型とかクラス型とかだと、いわゆるアトミック性の問題が出てきますので何かしらのロックは必要です(Interlocked::IncrementとかSemaphoreSlimとか)

以下はSemaphoreSlimをとりあえず使ってみる用例です。C++らしいRAIIをかんたんにするライブラリとかはlambda式のcaptureにC++/CLIのハンドルを渡せないという問題から古典的な全手動でRAIIクラスを作る必要があります(C++/CLIのベストプラクティスに詳しくないのでもうちょいまともな解決策ありそう)

cpp
1//RAII class
2ref class SemaphoreSlimGuard
3{
4    SemaphoreSlim^ sem;
5    SemaphoreSlimGuard(SemaphoreSlimGuard^ sem, int maxCount)
6        : sem(nullptr)
7    {
8        if (sem->CurrentCount != maxCount) return;
9        this->sem = sem;
10        this->sem->Wait();
11    }
12    ~SemaphoreSlimGuard()
13    {
14        try
15        {
16            sem->Release();
17        }
18        catch(Exception^ e){}
19    }
20    !SemaphoreSlimGuard()
21    {
22        this->~SemaphoreSlimGuard();
23    }
24    explicit operator bool() { return this->sem != nullptr; }
25}
26

cpp
1static const int max_count = 1;
2static SemaphoreSlim^ sem = gcnew SemaphoreSlim(1, max_count);
3...
4
5{
6    SemaphoreSlimGuard guard(sem, max_count);
7    //なにかのグローバル変数に対する操作
8}
9// C++/CLIのデストラクタはC#でいうところのIDisposableなので、スコープを抜けるとデストラクタが呼ばれ、セマフォのカウントが戻る