Linux Kernelのsched_clock()バグの件ですが、Ubuntuに関して言えば、linux (3.0.0-15.24)で修正されるようですね。まだ該当のKernelはリポジトリからは拾えませんが、すぐ対応したい場合はこのページからソースをダウンロード出来るようです。
■関連
- http://www.sssg.org/blogs/naoya/archives/2164
- http://www.st.ryukoku.ac.jp/~kjm/security/memo/2012/01.html#20120106_Linux
■Linux Kernel 3.0.15にしてしまう手も
私はKernel-ppaに新しいKernelが公開されているので、3.0系のLinux Kernel 3.0.15を拾って、dpkg -iでインストールすることにしました。
以下、導入手順を貼り付けておきます。
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.0.15-oneiric/linux-headers-3.0.15-030015-generic_3.0.15-030015.201201031443_amd64.deb
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.0.15-oneiric/linux-headers-3.0.15-030015_3.0.15-030015.201201031443_all.deb
$ wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.0.15-oneiric/linux-image-3.0.15-030015-generic_3.0.15-030015.201201031443_amd64.deb
$ ls
linux-headers-3.0.15-030015-generic_3.0.15-030015.201201031443_amd64.deb
linux-headers-3.0.15-030015_3.0.15-030015.201201031443_all.deb
linux-image-3.0.15-030015-generic_3.0.15-030015.201201031443_amd64.deb$ sudo dpkg -i linux-image-3.0.15-030015-generic_3.0.15-030015.201201031443_amd64.deb
$ sudo dpkg -i linux-headers-3.0.15-030015_3.0.15-030015.201201031443_all.deb
$ sudo dpkg -i linux-headers-3.0.15-030015-generic_3.0.15-030015.201201031443_amd64.deb
作業が終わったら再起動。
