The fact
Model guarantees depend on subtle happens-before orderings not always intuitive to Go developers.
Understanding is critical for writing reliable concurrent code without depending on luck or system load.
Click the link to read an article on the topic: