In lock-free atomic C/C++ programming, can memory reordering affect the intended result?

Part of

Rust SeqLock And Concurrency Issues