Add sections on the Go memory model and happens-before relations
Add example of a buggy program showing race detector in use