ch3-05-out-of-thin-air.rs - still don't understand 😓 about rust-atomics-and-locks HOT 2 OPEN

@blandger Thank you very much for the response!

Chapter 3: Out-of-Thin-Air Values

Due to the lack of ordering guarantees, the load operations of these two threads might both see the result of the store operation of the other thread, allowing for a cycle in the order of operations: we store 37 in Y because we loaded 37 from X, which was stored to X because we loaded 37 from Y, which is the value we stored in Y.

Am I correct in understanding that the essence of the note 'Out-of-Thin-Air Values' is exactly what Jon Gjengset explains in this moment of the video: Crust of Rust: Atomics and Memory Ordering?

from rust-atomics-and-locks.

no matter how many times you transfer 0 from one variable to another, you won't get anything other than zero

Your are correct. That is not possible to fail on assert.
The comment can be a bit confusing I suppose it could be rewritten as 'is that possible to fail here'? The obvious answer is no.

from rust-atomics-and-locks.