The current implementation is as simple as it can be. But because of this, it is #prettybad.
Should use some combination of:
- scalable lock implementation,
- FIFO ordering, and
- cancellable with configuration for when to cancel so that intelligent policies for preemption can be reasonably implemented.