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