プロセススケジューラ

http://www.itmedia.co.jp/enterprise/articles/0406/10/news002.html
興味深いはなしです。
LinuxではこうしたOSのカーネルまでソースコードでもって検証できるという楽しさがありますね。
ただし、Cが読めればのはなしですが……もてあそぶほどの暇があればのはなしですが……。