kthread and tsc and benchmark