I was responding to your larger question. User space schedulers would be quite cool, don't know of a language that offers anything over and above a priority que

I was responding to your larger question. User space schedulers would be quite cool, don't know of a language that offers anything over and above a priority queue or timers.