カーネルスレッドってどうやって測定するの？
gettimeofdayなんか使える？