sync.Once.Do () с использованием CompareAndSwapInt32

Question

Go реализует sync.Once следующим образом:

type Once struct {
    m    Mutex
    done uint32
}

func (o *Once) Do(f func()) {
    if atomic.LoadUint32(&o.done) == 1 {
        return
    }
    // Slow-path.
    o.m.Lock()
    defer o.m.Unlock()
    if o.done == 0 {
        defer atomic.StoreUint32(&o.done, 1)
        f()
    }
}

Я пытаюсь понять необходимость мьютекса, что может быть проблемой с его реализацией следующим образом?

func (o *Once) Do(f func()) {
  if atomic.CompareAndSwapUInt32(&o.done, 0, 1) {
    f()
  }
}

Answer 1

Удаление мьютекса нарушает одно из задокументированных действий :

ни один вызов Do не возвращается, пока один вызов f не вернет