From 4efd95180166e602402142eb64d77f97b48ddb3c Mon Sep 17 00:00:00 2001
From: naeu <36885263+naeu@users.noreply.github.com>
Date: Sat, 29 Jan 2022 19:17:13 +0000
Subject: std: add test for Thread.Condition

---
 lib/std/Thread/Condition.zig | 45 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)

(limited to 'lib/std/Thread')

diff --git a/lib/std/Thread/Condition.zig b/lib/std/Thread/Condition.zig
index 848e17ddce..7a479e5540 100644
--- a/lib/std/Thread/Condition.zig
+++ b/lib/std/Thread/Condition.zig
@@ -11,6 +11,7 @@ const windows = std.os.windows;
 const linux = std.os.linux;
 const Mutex = std.Thread.Mutex;
 const assert = std.debug.assert;
+const testing = std.testing;
 
 pub fn wait(cond: *Condition, mutex: *Mutex) void {
     cond.impl.wait(mutex);
@@ -193,3 +194,47 @@ pub const AtomicCondition = struct {
             waiter.data.notify();
     }
 };
+
+test "Thread.Condition" {
+    if (builtin.single_threaded) {
+        return error.SkipZigTest;
+    }
+
+    const TestContext = struct {
+        cond: *Condition,
+        cond_main: *Condition,
+        mutex: *Mutex,
+        n: *i32,
+        fn worker(ctx: *@This()) void {
+            ctx.mutex.lock();
+            ctx.n.* += 1;
+            ctx.cond_main.signal();
+            ctx.cond.wait(ctx.mutex);
+            ctx.n.* -= 1;
+            ctx.cond_main.signal();
+            ctx.mutex.unlock();
+        }
+    };
+    const num_threads = 3;
+    var threads: [num_threads]std.Thread = undefined;
+    var cond = Condition{};
+    var cond_main = Condition{};
+    var mut = Mutex{};
+    var n: i32 = 0;
+    var ctx = TestContext{ .cond = &cond, .cond_main = &cond_main, .mutex = &mut, .n = &n };
+
+    mut.lock();
+    for (threads) |*t| t.* = try std.Thread.spawn(.{}, TestContext.worker, .{&ctx});
+    cond_main.wait(&mut);
+    while (n < num_threads) cond_main.wait(&mut);
+
+    cond.signal();
+    cond_main.wait(&mut);
+    try testing.expect(n == (num_threads - 1));
+
+    cond.broadcast();
+    while (n > 0) cond_main.wait(&mut);
+    try testing.expect(n == 0);
+
+    for (threads) |t| t.join();
+}
-- 
cgit v1.2.3


From bdd1a9e48c7a1a09cf0a3b7c0d5be6547f8ef1aa Mon Sep 17 00:00:00 2001
From: naeu <36885263+naeu@users.noreply.github.com>
Date: Sat, 29 Jan 2022 19:17:37 +0000
Subject: std: add test for Thread.Semaphore

---
 lib/std/Thread/Semaphore.zig | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

(limited to 'lib/std/Thread')

diff --git a/lib/std/Thread/Semaphore.zig b/lib/std/Thread/Semaphore.zig
index 30d16037bc..72191ffd6f 100644
--- a/lib/std/Thread/Semaphore.zig
+++ b/lib/std/Thread/Semaphore.zig
@@ -11,6 +11,8 @@ const Semaphore = @This();
 const std = @import("../std.zig");
 const Mutex = std.Thread.Mutex;
 const Condition = std.Thread.Condition;
+const builtin = @import("builtin");
+const testing = std.testing;
 
 pub fn wait(sem: *Semaphore) void {
     sem.mutex.lock();
@@ -31,3 +33,29 @@ pub fn post(sem: *Semaphore) void {
     sem.permits += 1;
     sem.cond.signal();
 }
+
+test "Thread.Semaphore" {
+    if (builtin.single_threaded) {
+        return error.SkipZigTest;
+    }
+
+    const TestContext = struct {
+        sem: *Semaphore,
+        n: *i32,
+        fn worker(ctx: *@This()) void {
+            ctx.sem.wait();
+            ctx.n.* += 1;
+            ctx.sem.post();
+        }
+    };
+    const num_threads = 3;
+    var sem = Semaphore{ .permits = 1 };
+    var threads: [num_threads]std.Thread = undefined;
+    var n: i32 = 0;
+    var ctx = TestContext{ .sem = &sem, .n = &n };
+
+    for (threads) |*t| t.* = try std.Thread.spawn(.{}, TestContext.worker, .{&ctx});
+    for (threads) |t| t.join();
+    sem.wait();
+    try testing.expect(n == num_threads);
+}
-- 
cgit v1.2.3