For the state of the art in scheduling, and for highest performance in context s... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		snvzz on July 4, 2022 \| parent \| context \| favorite \| on: A Journey into the Linux Scheduler 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/

maxgio92 on July 4, 2022 [–]

Thank you, it seems very interesting. I leave here links also for other people. - https://docs.sel4.systems/projects/sel4/documentation.html

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact