Closed
Description
Right now it is a list, and scheduling a task involves using a the rng to pick a task and blocking involves removing it from the middle of the list. It would be more efficient (and probably more fair) as a queue. Sort of depends on #1189 and on #2027 in that it would be nice to get rid of the blocked_tasks list as well.