# ML に届いていないようなので再送。重複したらすみません。
> 流れを見ていますとカーネルの時間計測に問題がありそうな気がするのですが、
> sysctl kern.timecounter.choice
> 及び
> sysctl kern.timecounter.hardware
> はどうなっていますでしょうか?
手元に G33-DS3R と G33m-DS2R で FreeBSD 7.1-RELEASE が動いていたので、
見てみました。

kern.timecounter.choice: TSC(-100) HPET(900) ACPI-fast(1000) i8254(0) 
dummy(-1000000)
kern.timecounter.hardware: ACPI-fast

date +%s ; sleep 1000 ; date +%s
とすると、date の差が 1019 から 1021 秒になります。

稼働中に
sysctl kern.timecounter.hardware=HPET
や
sysctl kern.timecounter.hardware=i8254
として試してみましたが、変化なし、でした。


試しに、G33m-DS2R に Ubuntu 8.10 amd64 desktop の livecd と
NetBSD livecd 2007 で同じことをやってみたところ、どちらも正しく
1000 秒の差になりました。

ということで、FreeBSD がおかしい気がします。


吉田 充@横浜チーム.情報基盤センター.理化学研究所 (mits...@zebu.riken.go.jp)

メールによる返信