> Luckily, it doesn’t seem to matter in practice. Programs just seem to run ok even though there is the potential for unpredictable behavior.

No, we take locks or use other memory fence primitives. You introduced Alice to multithreaded programming without teaching her about locks?