Some lines worth a chuckle:
Scheduling, as in dividing CPU cycles among threads was thought to be a solved problem. We show that this is not the case.
I wonder how Con Kolivas' BFS (Brain Fuck Scheduler) fairs on these tests and benchmarks.
Does anyone know if there’s a test tool to validate the behaviour?
Tools: [Available soon]
Anyone have any comments on the applicability of formal verification to scheduling algorithms?