[yuye]

People forget what determinism is.

Non-deterministic systems produce different output states given identical input states.

Even if a compiler's memory gets a one-in-a-million bitflip that produces a different output, it doesn't mean it's non-deterministic. It just means that the output state is different due to an external force changing the internal state.

An infinite loop will halt when the processor is powered off.