From 0380cd595ee05773f78751aa7f2952b6ea105f7c Mon Sep 17 00:00:00 2001
From: crupest <crupest@outlook.com>
Date: Fri, 11 Jun 2021 10:43:00 +0800
Subject: import(life): ...

---
 .../SemaphoreAvoidDataRaceDemo.cpp                 | 36 ++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 works/life/operating-system-experiment/SemaphoreAvoidDataRaceDemo.cpp

(limited to 'works/life/operating-system-experiment/SemaphoreAvoidDataRaceDemo.cpp')

diff --git a/works/life/operating-system-experiment/SemaphoreAvoidDataRaceDemo.cpp b/works/life/operating-system-experiment/SemaphoreAvoidDataRaceDemo.cpp
new file mode 100644
index 0000000..0068082
--- /dev/null
+++ b/works/life/operating-system-experiment/SemaphoreAvoidDataRaceDemo.cpp
@@ -0,0 +1,36 @@
+#include "Semaphore.h"
+#include "Thread.h"
+
+#include <iostream>
+
+int main() {
+  unsigned data = 0;
+
+  cru::Semaphore semaphore;
+
+  cru::Thread t1([&data, &semaphore] {
+    for (int i = 0; i < 100000; i++) {
+      semaphore.P();
+      data += 10;
+      semaphore.V();
+    }
+  });
+
+  cru::Thread t2([&data, &semaphore] {
+    for (int i = 0; i < 100000; i++) {
+      semaphore.P();
+      data += 10;
+      semaphore.V();
+    }
+  });
+
+  std::cout << "Created thread: " << t1.GetNativeID() << '\n';
+  std::cout << "Created thread: " << t2.GetNativeID() << '\n';
+
+  t1.Join();
+  t2.Join();
+  std::cout << "Answer is " << data << ", which is "
+            << (data == 2000000 ? "correct" : "false") << '\n';
+
+  return 0;
+}
-- 
cgit v1.2.3