pub fn wait(s: *Semaphore, io: Io) Io.Cancelable!voidBlocks until a permit is available and consumes a single one. Unblocks without consuming a permit when canceled.
See also:
pub fn waitTimeout(s: *Semaphore, io: Io, timeout: Io.Timeout) WaitTimeoutError!voidBlocks until a permit is available and consumes a single one. Unblocks without consuming a permit when canceled or when the provided timeout expires before a permit is available.
See also:
pub fn waitUncancelable(s: *Semaphore, io: Io) voidBlocks until a permit is available and consumes a single one.
See also:
pub fn post(s: *Semaphore, io: Io) voidMakes an additional permit available.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159//! An unsigned integer that blocks the kernel thread if the number would
//! become negative.
//!
//! This API supports static initialization and does not require deinitialization.
const Semaphore = @This();
const std = @import("../std.zig");
const Io = std.Io;
const testing = std.testing;
mutex: Io.Mutex = .init,
cond: Io.Condition = .init,
/// It is OK to initialize this field to any value.
permits: usize = 0,
/// Blocks until a `permit` is available and consumes a single one.
/// Unblocks without consuming a `permit` when canceled.
///
/// See also:
/// * `waitTimeout`
/// * `waitUncancelable`
pub fn wait(s: *Semaphore, io: Io) Io.Cancelable!void {
s.waitTimeout(io, .none) catch |err| switch (err) {
error.Timeout => unreachable,
error.Canceled => |e| return e,
};
}
pub const WaitTimeoutError = Io.Cancelable || Io.Timeout.Error;
/// Blocks until a `permit` is available and consumes a single one.
/// Unblocks without consuming a `permit` when canceled or when the provided
/// timeout expires before a `permit` is available.
///
/// See also:
/// * `wait`
/// * `waitUncancelable`
pub fn waitTimeout(s: *Semaphore, io: Io, timeout: Io.Timeout) WaitTimeoutError!void {
const deadline = timeout.toDeadline(io);
try s.mutex.lock(io);
defer s.mutex.unlock(io);
while (s.permits == 0) try s.cond.waitTimeout(io, &s.mutex, deadline);
s.permits -= 1;
if (s.permits > 0) s.cond.signal(io);
}
/// Blocks until a `permit` is available and consumes a single one.
///
/// See also:
/// * `wait`
/// * `waitTimeout`
pub fn waitUncancelable(s: *Semaphore, io: Io) void {
s.mutex.lockUncancelable(io);
defer s.mutex.unlock(io);
while (s.permits == 0) s.cond.waitUncancelable(io, &s.mutex);
s.permits -= 1;
if (s.permits > 0) s.cond.signal(io);
}
/// Makes an additional `permit` available.
pub fn post(s: *Semaphore, io: Io) void {
s.mutex.lockUncancelable(io);
defer s.mutex.unlock(io);
s.permits += 1;
s.cond.signal(io);
}
test wait {
const io = testing.io;
const Context = struct {
sem: Semaphore = .{ .permits = 1 },
n: u32 = 0,
fn worker(ctx: *@This()) !void {
try ctx.sem.wait(io);
ctx.n += 1;
ctx.sem.post(io);
}
};
var ctx: Context = .{};
var group: Io.Group = .init;
defer group.cancel(io);
const num_workers = 3;
for (0..num_workers) |_| group.async(io, Context.worker, .{&ctx});
try group.await(io);
try testing.expectEqual(num_workers, ctx.n);
}
test waitTimeout {
const io = testing.io;
const Context = struct {
ready: Io.Event = .unset,
sem: Semaphore = .{ .permits = 0 },
value: u32 = 0,
fn worker(ctx: *@This()) !void {
defer ctx.ready.set(io);
try testing.expectError(error.Timeout, ctx.sem.waitTimeout(io, .{ .duration = .{
.raw = .fromMilliseconds(1),
.clock = .awake,
} }));
try testing.expectEqual(0, ctx.value);
ctx.ready.set(io);
while (ctx.value == 0) try ctx.sem.wait(io);
try testing.expectEqual(1, ctx.value);
}
};
var ctx: Context = .{};
var future = io.concurrent(Context.worker, .{&ctx}) catch |err| switch (err) {
error.ConcurrencyUnavailable => return error.SkipZigTest,
};
defer future.cancel(io) catch {};
try ctx.ready.wait(io);
ctx.value = 1;
ctx.sem.post(io);
try future.await(io);
}
test waitUncancelable {
const io = testing.io;
const Context = struct {
sem: Semaphore = .{ .permits = 1 },
n: u32 = 0,
fn worker(ctx: *@This()) !void {
ctx.sem.waitUncancelable(io);
ctx.n += 1;
ctx.sem.post(io);
}
};
var ctx: Context = .{};
var group: Io.Group = .init;
defer group.cancel(io);
const num_workers = 3;
for (0..num_workers) |_| group.async(io, Context.worker, .{&ctx});
try group.await(io);
try testing.expectEqual(num_workers, ctx.n);
}
An unsigned integer that blocks the kernel thread if the number would become negative.
This API supports static initialization and does not require deinitialization.