1. 20

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.

  1.  

  2. 8

    I wonder how Con Kolivas' BFS (Brain Fuck Scheduler) fairs on these tests and benchmarks.

    1. 6

      Does anyone know if there’s a test tool to validate the behaviour?

      EDIT: http://www.i3s.unice.fr/~jplozi/wastedcores/

      Tools: [Available soon]

      1. 5

        Anyone have any comments on the applicability of formal verification to scheduling algorithms?