1. 20
    The Linux Scheduler: a Decade of Wasted Cores ☶ pdf debugging linux ece.ubc.ca
    friendlysock avatar via friendlysock 2 years ago | cached | 2 comments

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
    stefantalpalaru avatar stefantalpalaru 2 years ago | link

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

    1. 6
      fsaintjacques avatar fsaintjacques edited 2 years ago | link

      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
        ac avatar ac 2 years ago | link

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