This #operating systems paper on #FreeBSD v #Linux process #schedulers is really good but both seem really over complex. For example, why rely on heuristics to distinguish between interactive and batch processes instead of having the executor just label them?

https://www.usenix.org/system/files/conference/atc18/atc18-bouron.pdf