How to... Pool

Get, put, seed, and tear a pool down; fan work in and out across workers.

• Basic recycler
• Backpressure pool
• Pool seeding
• Pool teardown
• Pool fan-in: many workers return
• Pool fan-out: many workers acquire
• Producer → consumer with recycling
• Job pool circular flow
• Worker finish signal via mailbox return
• Pool holds pools at teardown