Multiple event source types in one Select
Description
Multiple event source types in one Select.
- Inbox uses mailbox.receiveResult, job pool uses pool.getWaitResult, timer uses Io.sleep.
- All three are event sources with uniform result handling in one switch.
- Loop re-spawns each source after handling it, exits once both targets are met.
- Timer just counts ticks; it drives no work in this example.
Diagram
mailbox (Event items) pool (Sensor items) timer
│ receiveResult │ getWaitResult │ sleepFn
└──────────────────┬──────┘ │
▼ │
Select(MasterEvent) ◄───────────────────┘
│ sel.await() loop
▼
.inbox .item ──► freeSlot (count inbox)
.pool_ev .item──► pool.put (count pool)
.timer ──► re-spawn timer (count ticks)
exit when inbox_target + pool_target reached ──► sel.cancelDiscard()
Source
pub fn multiple_event_source_types_in_one_select(allocator: std.mem.Allocator, io: std.Io) !void {
const mbh: MailboxHandle = try mailbox.new(io, allocator);
defer {
var rem: std.DoublyLinkedList = mailbox.close(mbh);
items.freeList(&rem, allocator);
mailbox.destroy(mbh, allocator);
}
const ph: PoolHandle = try pool.new(io, allocator);
var pool_ctx: hooks.AlwaysCreateHooks = .{ .alloc = allocator };
const tags = [_]*const anyopaque{items.Sensor.SensorPolyHelper.TAG};
try pool.init(ph, pool_ctx.poolHooks(&tags));
defer {
pool.close(ph);
pool.destroy(ph, allocator);
}
try seedMailbox(mbh, allocator, INBOX_TARGET);
try seedPool(ph, POOL_TARGET);
var buf: [8]MasterEvent = undefined;
var sel: std.Io.Select(MasterEvent) = std.Io.Select(MasterEvent).init(io, &buf);
var ctx: Ctx = .{ .mbh = mbh, .ph = ph, .alloc = allocator, .io = io };
try ctx.setupSelect(&sel);
try ctx.runEventLoop(&sel);
try helpers.expect(error.SelectMixedSourcesFailed, ctx.inbox_count == INBOX_TARGET, "inbox count mismatch");
try helpers.expect(error.SelectMixedSourcesFailed, ctx.pool_count == POOL_TARGET, "pool count mismatch");
std.log.info("done: inbox={d}, pool={d}, ticks={d}", .{ ctx.inbox_count, ctx.pool_count, ctx.ticks });
}
const TIMER_NS: i96 = 25_000_000; // 25 ms
const INBOX_TARGET: usize = 2;
const POOL_TARGET: usize = 2;
const MasterEvent = union(enum) {
inbox: mailbox.ReceiveResult,
pool_ev: pool.PoolResult,
timer: void,
};
fn sleepFn(sleep_t: std.Io.Timeout, io: std.Io) void {
std.Io.Timeout.sleep(sleep_t, io) catch {};
}
fn seedMailbox(mbh: MailboxHandle, alloc: std.mem.Allocator, count: usize) !void {
for (0..count) |i| {
var slot: Slot = null;
defer items.Event.EventPolyHelper.destroy(alloc, &slot);
try items.Event.EventPolyHelper.create(alloc, &slot);
items.Event.EventPolyHelper.mustIdentifySlotAs(&slot).code = @intCast(i + 1);
try mailbox.send(mbh, &slot);
}
}
fn seedPool(ph: PoolHandle, count: usize) !void {
for (0..count) |i| {
var slot: Slot = null;
try pool.get(ph, items.Sensor.SensorPolyHelper.TAG, .new_only, &slot);
items.Sensor.SensorPolyHelper.mustIdentifySlotAs(&slot).value = @floatFromInt(i + 10);
pool.put(ph, &slot);
}
}
const Ctx = struct {
mbh: MailboxHandle,
ph: PoolHandle,
alloc: std.mem.Allocator,
io: std.Io,
inbox_count: usize = 0,
pool_count: usize = 0,
ticks: usize = 0,
fn setupSelect(self: *Ctx, sel: *std.Io.Select(MasterEvent)) !void {
const sleep_t: std.Io.Timeout = .{
.duration = .{ .raw = .{ .nanoseconds = TIMER_NS }, .clock = .real },
};
try sel.concurrent(.inbox, mailbox.receiveResult, .{ self.mbh, null });
try sel.concurrent(.pool_ev, pool.getWaitResult, .{ self.ph, items.Sensor.SensorPolyHelper.TAG, null });
try sel.concurrent(.timer, sleepFn, .{ sleep_t, self.io });
}
fn runEventLoop(self: *Ctx, sel: *std.Io.Select(MasterEvent)) !void {
while (self.inbox_count < INBOX_TARGET or self.pool_count < POOL_TARGET) {
const event: MasterEvent = try sel.await();
switch (event) {
.inbox => |r| switch (r) {
.item => |handle| {
var slot: Slot = handle;
defer items.freeSlot(&slot, self.alloc);
self.inbox_count += 1;
std.log.info("inbox: Event code={d} ({d}/{d})", .{
items.Event.EventPolyHelper.mustIdentifySlotAs(&slot).code,
self.inbox_count,
INBOX_TARGET,
});
if (self.inbox_count < INBOX_TARGET) {
try sel.concurrent(.inbox, mailbox.receiveResult, .{ self.mbh, null });
}
},
.closed, .canceled, .timeout, .wakeup => break,
},
.pool_ev => |r| switch (r) {
.item => |handle| {
var slot: Slot = handle;
defer pool.put(self.ph, &slot);
self.pool_count += 1;
std.log.info("pool_ev: Sensor value={d} ({d}/{d})", .{
items.Sensor.SensorPolyHelper.mustIdentifySlotAs(&slot).value,
self.pool_count,
POOL_TARGET,
});
if (self.pool_count < POOL_TARGET) {
try sel.concurrent(.pool_ev, pool.getWaitResult, .{ self.ph, items.Sensor.SensorPolyHelper.TAG, null });
}
},
.closed, .canceled, .timeout, .not_created => break,
},
.timer => {
self.ticks += 1;
std.log.info("timer: tick {d}", .{self.ticks});
const sleep_t: std.Io.Timeout = .{
.duration = .{ .raw = .{ .nanoseconds = TIMER_NS }, .clock = .real },
};
try sel.concurrent(.timer, sleepFn, .{ sleep_t, self.io });
},
}
}
sel.cancelDiscard();
}
};
const items = @import("../items/items.zig");
const hooks = @import("../hooks/hooks.zig");
const helpers = @import("../helpers/helpers.zig");
const matryoshka = @import("matryoshka");
const std = @import("std");
const mailbox = matryoshka.mailbox;
const pool = matryoshka.pool;
const polynode = matryoshka.polynode;
const Slot = polynode.Slot;
const MailboxHandle = mailbox.MailboxHandle;
const PoolHandle = pool.PoolHandle;