[<<][sm][>>][..]
Fri Jan 17 14:56:16 CET 2020

priorities

Implementing priorities requires some extra machinery:

- Push hot tasks by priority

- For each channel, push cold tasks by priority

However, without pre-emption, this doesn't seem to be very useful.




[Reply][About]
[<<][sm][>>][..]