kernel schedtool can be used to query or alter a process' scheduling policy under linux