編集履歴

質問編集履歴

問題の解釈をそもそも間違っていたため，コードを修正しました。

2021/01/15 13:10

投稿

Timosy

スコア3

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -50,9 +50,9 @@
 //関数のプリ宣言
-void ThreadProcessA();
+void ThreadProcessP1();
-void ThreadProcessB();
+void ThreadProcessP2();
@@ -66,6 +66,8 @@
 int B = 0;
+int C = 0;
 boolean i = false;
@@ -76,25 +78,25 @@
 	//マルチスレッドスタート
-	std::thread thA(ThreadProcessA);
+	std::thread thP1(ThreadProcessP1);
-	std::thread thB(ThreadProcessB);
+	std::thread thP2(ThreadProcessP2);
 	//マルチスレッド終了
-	thA.join();
+	thP1.join();
-	thB.join();
+	thP2.join();
 }
-//スレッドA
+//スレッドP1
-void ThreadProcessA()
+void ThreadProcessP1()
 {
@@ -102,266 +104,168 @@
 	{
+		{
+			std::lock_guard<std::mutex> lock(mutex);
-		A -= 1;
+			A -= 1;
+			Sleep(1);// このスリープを重い処理と見立てる
+			B += 1;
+		}
+	}
+}
+//スレッドP2
+void ThreadProcessP2()
+{
+	while (B < 100)
+	{
 		std::lock_guard<std::mutex> lock(mutex);
-		if (i)
-		{
-			printf("A=%d, B=%d, A+B=%d\n", A, B, A+B);
+		printf("A=%d,  B=%d,  A+B=%d\n", A, B, A+B);
-			i = false;
-		}
-		else i = true;
 	}
 }
-//スレッドB
-void ThreadProcessB()
-{
-	while (B < 100)
-	{
-		B += 1;
-		std::lock_guard<std::mutex> lock(mutex);
-		if (i)
-		{
-			printf("A=%d, B=%d, A+B=%d\n", A, B, A + B);
-			i = false;
-		}
-		else i = true;
-	}
-}
 ```
+このとき排他制御を用いない場合に，A+Bの値が100にならないときがあることは確認できましたが，排他制御を行う時（上記コード）を実行すると上手くいきません。
+排他制御にはセマフォが良いと聞きましたが使い方がいまいち理解できないのでどなたかご教授ください
 #実行結果
-このときA+Bが常に100にならなければならないので，何も上手くいっていない状況です．
+このときAとBが1ずつずれていき，A+Bが常に100にならなければならないのですが，最後の最後で一気に値が変わっている状況です．
 ```Result
-A=99, B=2, A+B=101
-A=99, B=4, A+B=103
-A=99, B=6, A+B=105
-A=99, B=8, A+B=107
-A=99, B=10, A+B=109
-A=99, B=12, A+B=111
-A=99, B=14, A+B=113
-A=99, B=16, A+B=115
-A=99, B=18, A+B=117
-A=99, B=20, A+B=119
-A=99, B=22, A+B=121
-A=99, B=24, A+B=123
-A=99, B=26, A+B=125
-A=99, B=28, A+B=127
-A=99, B=30, A+B=129
-A=99, B=32, A+B=131
-A=99, B=34, A+B=133
-A=99, B=36, A+B=135
-A=99, B=38, A+B=137
-A=98, B=38, A+B=136
-A=96, B=39, A+B=135
-A=94, B=39, A+B=133
-A=92, B=39, A+B=131
-A=90, B=39, A+B=129
-A=88, B=39, A+B=127
-A=86, B=39, A+B=125
-A=84, B=39, A+B=123
-A=82, B=39, A+B=121
-A=80, B=39, A+B=119
-A=78, B=39, A+B=117
-A=76, B=39, A+B=115
-A=76, B=40, A+B=116
-A=75, B=42, A+B=117
-A=75, B=44, A+B=119
-A=75, B=46, A+B=121
-A=75, B=48, A+B=123
-A=75, B=50, A+B=125
-A=75, B=52, A+B=127
-A=75, B=54, A+B=129
-A=74, B=54, A+B=128
-A=72, B=55, A+B=127
-A=70, B=55, A+B=125
-A=68, B=55, A+B=123
-A=66, B=55, A+B=121
-A=64, B=55, A+B=119
-A=62, B=55, A+B=117
-A=62, B=56, A+B=118
-A=61, B=58, A+B=119
-A=61, B=60, A+B=121
-A=61, B=62, A+B=123
-A=60, B=62, A+B=122
-A=60, B=64, A+B=124
-A=59, B=66, A+B=125
-A=59, B=68, A+B=127
-A=59, B=70, A+B=129
-A=59, B=72, A+B=131
-A=59, B=74, A+B=133
-A=58, B=74, A+B=132
-A=58, B=76, A+B=134
-A=57, B=78, A+B=135
-A=57, B=80, A+B=137
-A=56, B=80, A+B=136
-A=55, B=82, A+B=137
-A=55, B=84, A+B=139
-A=55, B=86, A+B=141
-A=55, B=88, A+B=143
-A=54, B=88, A+B=142
-A=52, B=89, A+B=141
-A=50, B=89, A+B=139
-A=48, B=89, A+B=137
-A=48, B=90, A+B=138
-A=48, B=92, A+B=140
-A=46, B=92, A+B=138
-A=45, B=94, A+B=139
-A=45, B=95, A+B=140
-A=44, B=97, A+B=141
-A=44, B=99, A+B=143
-A=44, B=100, A+B=144
-A=42, B=100, A+B=142
-A=40, B=100, A+B=140
-A=38, B=100, A+B=138
-A=36, B=100, A+B=136
-A=34, B=100, A+B=134
-A=32, B=100, A+B=132
-A=30, B=100, A+B=130
-A=28, B=100, A+B=128
-A=26, B=100, A+B=126
-A=24, B=100, A+B=124
-A=22, B=100, A+B=122
-A=20, B=100, A+B=120
-A=18, B=100, A+B=118
-A=16, B=100, A+B=116
-A=14, B=100, A+B=114
-A=12, B=100, A+B=112
-A=10, B=100, A+B=110
-A=8, B=100, A+B=108
-A=6, B=100, A+B=106
-A=4, B=100, A+B=104
-A=2, B=100, A+B=102
-A=0, B=100, A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=100,  B=0,  A+B=100
+A=0,  B=100,  A+B=100
 ```