Yeap!

Also - all modern systems in active use have invariant tsc. So even for migrating threads - one is ok.

You could still have a receiving thread and a sending thread for example, so it’s not as simple.

But googling suggests that if the CPU has the invariant_tsc flag then it’s not a problem, as foobar mentions.