News for hackers. Stuff that matters.
Re:A Journey into the Linux Scheduler by snvzz on Monday July 04, 2022 @11:35AM (#31978182)
For the state of the art in scheduling, and for highest performance in context switching, look into seL4[0].

Lots of cool papers to read.

0. https://sel4.systems/

Re:A Journey into the Linux Scheduler by maxgio92 on Monday July 04, 2022 @02:29PM (#31980326)
Thank you, it seems very interesting. I leave here links also for other people. - https://docs.sel4.systems/projects/sel4/documentation.html