Pool fan-out: many workers acquire
Description
Pool fan-out: many workers acquire.
- Seed the pool with 3 items.
- Spawn 3 workers, each calls pool.get(available_only) — no item is shared.
- Verify all 3 workers got a distinct item, then all 3 put it back.
Diagram
master: pool.get (×3, new_only) ──► pool (3 items seeded)
│
worker1 ──pool.get (.available_only)──► slot ──► verify ──► pool.put
worker2 ──pool.get (.available_only)──► slot ──► verify ──► pool.put
worker3 ──pool.get (.available_only)──► slot ──► verify ──► pool.put
│
fut1.await + fut2.await + fut3.await
pool.close ──► on_close ──► freeList
Source
pub fn pool_fan_out_many_workers_acquire(allocator: std.mem.Allocator, io: std.Io) !void {
const ph: PoolHandle = try pool.new(io, allocator);
var pool_ctx: hooks.AlwaysCreateHooks = .{ .alloc = allocator };
const tags = [_]*const anyopaque{items.Event.EventPolyHelper.TAG};
try pool.init(ph, pool_ctx.poolHooks(&tags));
defer {
pool.close(ph);
pool.destroy(ph, allocator);
}
try seedPool(ph);
try spawnAndAwaitWorkers(ph, allocator, io);
std.log.info("fan-out: 1 pool seeded with 3 items → 3 workers each got 1", .{});
}
const WorkerCtx = struct {
ph: PoolHandle,
alloc: std.mem.Allocator,
got: bool = false,
};
fn workerFn(ctx: *WorkerCtx) anyerror!void {
var slot: Slot = null;
defer pool.put(ctx.ph, &slot);
try pool.get(ctx.ph, items.Event.EventPolyHelper.TAG, .available_only, &slot);
const ev: *items.Event = items.Event.EventPolyHelper.mustIdentifySlotAs(&slot);
std.log.info("worker: got Event code={d}", .{ev.code});
ctx.got = true;
}
fn seedPool(ph: PoolHandle) !void {
for (0..3) |i| {
var slot: Slot = null;
try pool.get(ph, items.Event.EventPolyHelper.TAG, .new_only, &slot);
items.Event.EventPolyHelper.mustIdentifySlotAs(&slot).code = @intCast(i + 10);
pool.put(ph, &slot);
}
}
fn spawnAndAwaitWorkers(ph: PoolHandle, alloc: std.mem.Allocator, io: std.Io) !void {
var ctx1: WorkerCtx = .{ .ph = ph, .alloc = alloc };
var ctx2: WorkerCtx = .{ .ph = ph, .alloc = alloc };
var ctx3: WorkerCtx = .{ .ph = ph, .alloc = alloc };
var fut1 = try io.concurrent(workerFn, .{&ctx1});
var fut2 = try io.concurrent(workerFn, .{&ctx2});
var fut3 = try io.concurrent(workerFn, .{&ctx3});
try fut1.await(io);
try fut2.await(io);
try fut3.await(io);
const all_got = ctx1.got and ctx2.got and ctx3.got;
try helpers.expect(error.PoolFanOutFailed, all_got, "not all workers got an item");
}
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 pool = matryoshka.pool;
const polynode = matryoshka.polynode;
const Slot = polynode.Slot;
const PoolHandle = pool.PoolHandle;