$ cat /sys/devices/system/clocksource/clocksource0/current_clocksource tsc $ cat /sys/devices/system/clocksource/clocksource0/avaival_clocksource tsc hpet acpi_pm jiffers
http://tiki.is.os-omicron.org/tiki.cgi?c=v&p=Linux%2F%A5%BF%A5%A4%A5%DE%B4%C9%CD%FD
利用可能なクロックソースはいろいろあるし、アーキテクチャごとに異なる。
/sys/devices/system/clocksource/clocksource0/available_clocksource
x86だとtsc hpet acpi_pm picとか。全アーキテクチャで有効なのはjiffiesで、それ以外が使えない場合はjiffiesにfallbackする。
NOHZ=onだとjiffiesは選択できない
/sys/devices/system/clocksource/clocksource0/current_clocksource
tscが使えればデフォルト
カーネルコマンドラインclocksource=で指定することもできる。
めも
T42@Debian squeeze
$ cat /sys/devices/system/clocksource/clocksource0/current_clocksource acpi_pm $ cat /sys/devices/system/clocksource/clocksource0/available_clocksource acpi_pm $ cat /proc/cpuinfo model name : Intel(R) Pentium(R) M processor 1500MHz
ふむ
$ cat /sys/devices/system/clocksource/clocksource0/current_clocksource tsc $ cat /sys/devices/system/clocksource/clocksource0/available_clocksource tsc hpet acpi_pm $ cat /proc/sys/kernel/softlockup_panic 0
ほう。