Understanding the linux 2.6.8.1 cpu scheduler, 2015. ,
Cogent : Verifying high-assurance file system implementations, ASPLOS, pp.175-188, 2016. ,
Scheduling algorithms with bus bandwidth considerations for smps, ICPP, pp.547-554, 2003. ,
Using crash hoare logic for certifying the fscq file system, SOSP, pp.18-37, 2015. ,
Scheduling domains, 2004. ,
Certikos : an extensible architecture for building certified concurrent os kernels, OSDI, 2016. ,
Michael Norrish, et al. sel4 : Formal verification of an os kernel, SOSP, pp.207-220, 2009. ,
Multiple run-queues for bfs, 2012. ,
Efficient and scalable multiprocessor fair scheduling using distributed weighted round-robin, PPoPP, pp.65-74, 2009. ,
DOI : 10.1145/1504176.1504188
The linux scheduler : a decade of wasted cores, EuroSys, p.1, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01295194
Bfs vs. mainline scheduler benchmarks and measurements, 2009. ,
A framework for simplifying the development of kernel schedulers : Design and performance evaluation, HASE, pp.56-65, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00457120
Addressing shared resource contention in multicore processors via scheduling, ASPLOS, vol.45, pp.129-142, 2010. ,