Are observable behaviors the same as those when the lock protects the modification to the atomic object?

Part of

Rust SeqLock And Concurrency Issues