No two workers, one task: how rdq claims work — and the UNIQUE collision redrive taught us
rdq spreads work across a fleet of stateless workers with no leader and no membership protocol. The entire correctness argument rests on two primitives — an atomic claim and a lease. This is how they work, and the story of a UNIQUE collision that only appeared when a redriven task’s lease expired.