Golang

Memory visibility shown as shared-state tables and synchronization edges: what becomes safe, what stays racy, and why publication needs a real happens-before path.

Go: Memory Model

Pick a mode to inspect shared variables, visibility, and the synchronization primitive that does or does not make the state safe.
write -> synchronize -> observe