Linux Kernelのsched_clock()バグの件ですが、Ubuntuに関して言えば、linux (3.0.0-15.24)で修正されるようですね。まだ該当のKernelはリポジトリからは拾えませんが、すぐ対応したい場合はこのページからソースをダウンロード出来るようです。■関連 http://…