For the official implementation of Go 1.15, the order between the variables of Load/Store using atomic can be guaranteed.

Package atomic provides low-level atomic memory primitives useful for implementing synchronization algorithms.

The load and store operations, implemented by the LoadT and StoreT functions, are the atomic equivalents of "return *addr" and "*addr = val".

func main() {
	var a, b int32 = 0, 0

	go func() {
		atomic.StoreInt32(&a, 1)
		atomic.StoreInt32(&b, 1)
	}()

	for atomic.LoadInt32(&b) == 0 {
		runtime.Gosched()
	}
	fmt.Println(atomic.LoadInt32(&a))

}

The printed result of a is always 1, but it is not reflected in the document.