>> Always fun to know about non-determinism at the hardware level.
Strictly speaking, the non-determinism isn't actually in the hardware, because the OS schedules thread context switches ;-)
Assuming the CPU is running a completely single-threaded program or uses a deterministic way to schedule thread context switches, the result should always be perfectly identical.
