Sun Jan 12 08:42:01 CET 2020

Task switch efficiency

Currently I have a fairly dumb search, but it seems in general that it
is not simple to create good datastructures.

The case is complicated by select.  In practice, multiple listeners on
the same channel will be fairly rare, but the possibility does make
direct mapping from channel to waiters a bit awkward.