The Linux Scheduler: A Decade of Wasted Cores [pdf] (2016) | Hacker News Reader