polynomial-c@gentoo.org Lars Wendler schedtool can be used to query or alter a process' scheduling policy under linux