sync / atomic.once.go中的两个原子样式代码是否必要？

Question

sync / atomic.once.go中的代码是：

func (o *Once) Do(f func()) {

        if atomic.LoadUint32(&o.done) == 1 { //A

        //if o.done == 1 {

            return

        }

        // Slow-path.

        o.m.Lock()

        defer o.m.Unlock()

        if o.done == 0 {

            f()

            atomic.CompareAndSwapUint32(&o.done, 0, 1) //B

            //o.done = 1

        }

    }

我不认为上面两个“原子样式”代码A，B是必要或有用的。我认为锁就足够了，如果A，B不是原子样式也可以。我必须错过一些事情，请好心告诉我代码A，B的目的。谢谢你。

Answer 1

在原来是正确的。原因是Go内存模型说，如果没有同步（if o.done == 1），可能根本不会观察到对o.done的更改。