Я читал эту страницу на Go Модель памяти . В подразделе Locks в разделе Synchronization есть предложение о свойстве RWMutex:
Для любого вызова l.RLock для переменной syn c .RWMutex l существует n таких что l.RLock происходит (возвращается) после вызова n для l.Unlock, и сопоставление l.RUnlock происходит до вызова n + 1 для l.Lock.
Я понимаю, для чего нужен RWMutex, но не могу связать это свойство с функциональностью RWMutex. Не могли бы вы помочь мне понять это свойство RWMutex?