Pudu programming language
Menu
API reference

Std.Concurrent.Pool.Pool

1 declaration

type

Pool

A fixed set of workers draining a bounded queue.

The bound is the back-pressure: submit waits while the queue is full, so producers run at the workers' pace. A worker never runs a job on its own thread; it runs each inside Concurrent.contain, so a crashing job ends only itself and the worker takes the next one.

Back to Std.Concurrent.PoolSearch related declarations