*linux-rtは2.6.31-11.154止まりになっているので
ここを参考にLowLatencyカーネルかRealtimeカーネルを導入してみる手もある
*Ubuntu10.10での動作は未確認(linux-rtでは起動せず)
1)リアルタイムカーネルをインストールする
「システム」>「システム管理」>「Synapticパッケージ・マネージャ」でlinux-rtを検索しインストール指定を付け「適用」
「アクセサリ」>「端末」>カーソル点滅位置に次を貼り付け実行
sudo gedit /etc/security/limits.conf
開いたファイルの最後に次の3行を追加して保存
* - rtprio 99
* - nice -19
* - memlock unlimited
↓こうなる
パソコンを再起動しメーカーロゴが消えたら即Shiftキーを押し「rt」を選択
*「Synapticパッケージ・マネージャ」でstartupmanagerをインストールすれば「システム」>「システム管理」>「StartUp-Manager」でrt優先に設定できる(通常のgenericカーネルも生きている)
*genericカーネルのアップデートがあるとrt優先が崩れるので注意(それで何度目かのかUbuntu再インストール時、アップデートの前にlinux-rtを入れ再起動後にgeneric5項目を削除した→たぶん大丈夫)
*確認のため「端末」に次を入れて実行
uname -a
rtと64bitになっている(rtだけなら「システム・モニタ」で確認できる)
2)高精度タイマーHPETを導入する
「端末」に次を入れて実行
cat /sys/devices/system/clocksource/clocksource0/available_clocksource
tsc hpet acpi_pm と出ればHPETが使えるので次のようにして設定ファイルを編集
「端末」に次を入れて実行しパスワードを入れて実行
sudo gedit /etc/default/grub
grub - geditが開いたらGRUB_CMDLINE_LINUX_DEFAULT="quiet splash" の行を
"quiet splash clocksource=hpet"
と書き換えて保存終了
「端末」に次を入れて実行
sudo update-grub2
パソコンを再起動
*現在のタイマーの種類を調べるには「端末」に次を入れて実行
cat /sys/devices/system/clocksource/clocksource0/current_clocksource