| // Copyright 2009 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| package sync |
| |
| import ( |
| "internal/race" |
| "sync/atomic" |
| "unsafe" |
| ) |
| |
| // There is a modified copy of this file in runtime/rwmutex.go. |
| // If you make any changes here, see if you should make them there. |
| |
| // A RWMutex is a reader/writer mutual exclusion lock. |
| // The lock can be held by an arbitrary number of readers or a single writer. |
| // The zero value for a RWMutex is an unlocked mutex. |
| // |
| // A RWMutex must not be copied after first use. |
| // |
| // If any goroutine calls [RWMutex.Lock] while the lock is already held by |
| // one or more readers, concurrent calls to [RWMutex.RLock] will block until |
| // the writer has acquired (and released) the lock, to ensure that |
| // the lock eventually becomes available to the writer. |
| // Note that this prohibits recursive read-locking. |
| // |
| // In the terminology of the Go memory model, |
| // the n'th call to [RWMutex.Unlock] “synchronizes before” the m'th call to Lock |
| // for any n < m, just as for [Mutex]. |
| // For any call to RLock, there exists an n such that |
| // the n'th call to Unlock “synchronizes before” that call to RLock, |
| // and the corresponding call to [RWMutex.RUnlock] “synchronizes before” |
| // the n+1'th call to Lock. |
| type RWMutex struct { |
| w Mutex // held if there are pending writers |
| writerSem uint32 // semaphore for writers to wait for completing readers |
| readerSem uint32 // semaphore for readers to wait for completing writers |
| readerCount atomic.Int32 // number of pending readers |
| readerWait atomic.Int32 // number of departing readers |
| } |
| |
| const rwmutexMaxReaders = 1 << 30 |
| |
| // Happens-before relationships are indicated to the race detector via: |
| // - Unlock -> Lock: readerSem |
| // - Unlock -> RLock: readerSem |
| // - RUnlock -> Lock: writerSem |
| // |
| // The methods below temporarily disable handling of race synchronization |
| // events in order to provide the more precise model above to the race |
| // detector. |
| // |
| // For example, atomic.AddInt32 in RLock should not appear to provide |
| // acquire-release semantics, which would incorrectly synchronize racing |
| // readers, thus potentially missing races. |
| |
| // RLock locks rw for reading. |
| // |
| // It should not be used for recursive read locking; a blocked Lock |
| // call excludes new readers from acquiring the lock. See the |
| // documentation on the [RWMutex] type. |
| func (rw *RWMutex) RLock() { |
| if race.Enabled { |
| _ = rw.w.state |
| race.Disable() |
| } |
| if rw.readerCount.Add(1) < 0 { |
| // A writer is pending, wait for it. |
| runtime_SemacquireRWMutexR(&rw.readerSem, false, 0) |
| } |
| if race.Enabled { |
| race.Enable() |
| race.Acquire(unsafe.Pointer(&rw.readerSem)) |
| } |
| } |
| |
| // TryRLock tries to lock rw for reading and reports whether it succeeded. |
| // |
| // Note that while correct uses of TryRLock do exist, they are rare, |
| // and use of TryRLock is often a sign of a deeper problem |
| // in a particular use of mutexes. |
| func (rw *RWMutex) TryRLock() bool { |
| if race.Enabled { |
| _ = rw.w.state |
| race.Disable() |
| } |
| for { |
| c := rw.readerCount.Load() |
| if c < 0 { |
| if race.Enabled { |
| race.Enable() |
| } |
| return false |
| } |
| if rw.readerCount.CompareAndSwap(c, c+1) { |
| if race.Enabled { |
| race.Enable() |
| race.Acquire(unsafe.Pointer(&rw.readerSem)) |
| } |
| return true |
| } |
| } |
| } |
| |
| // RUnlock undoes a single [RWMutex.RLock] call; |
| // it does not affect other simultaneous readers. |
| // It is a run-time error if rw is not locked for reading |
| // on entry to RUnlock. |
| func (rw *RWMutex) RUnlock() { |
| if race.Enabled { |
| _ = rw.w.state |
| race.ReleaseMerge(unsafe.Pointer(&rw.writerSem)) |
| race.Disable() |
| } |
| if r := rw.readerCount.Add(-1); r < 0 { |
| // Outlined slow-path to allow the fast-path to be inlined |
| rw.rUnlockSlow(r) |
| } |
| if race.Enabled { |
| race.Enable() |
| } |
| } |
| |
| func (rw *RWMutex) rUnlockSlow(r int32) { |
| if r+1 == 0 || r+1 == -rwmutexMaxReaders { |
| race.Enable() |
| fatal("sync: RUnlock of unlocked RWMutex") |
| } |
| // A writer is pending. |
| if rw.readerWait.Add(-1) == 0 { |
| // The last reader unblocks the writer. |
| runtime_Semrelease(&rw.writerSem, false, 1) |
| } |
| } |
| |
| // Lock locks rw for writing. |
| // If the lock is already locked for reading or writing, |
| // Lock blocks until the lock is available. |
| func (rw *RWMutex) Lock() { |
| if race.Enabled { |
| _ = rw.w.state |
| race.Disable() |
| } |
| // First, resolve competition with other writers. |
| rw.w.Lock() |
| // Announce to readers there is a pending writer. |
| r := rw.readerCount.Add(-rwmutexMaxReaders) + rwmutexMaxReaders |
| // Wait for active readers. |
| if r != 0 && rw.readerWait.Add(r) != 0 { |
| runtime_SemacquireRWMutex(&rw.writerSem, false, 0) |
| } |
| if race.Enabled { |
| race.Enable() |
| race.Acquire(unsafe.Pointer(&rw.readerSem)) |
| race.Acquire(unsafe.Pointer(&rw.writerSem)) |
| } |
| } |
| |
| // TryLock tries to lock rw for writing and reports whether it succeeded. |
| // |
| // Note that while correct uses of TryLock do exist, they are rare, |
| // and use of TryLock is often a sign of a deeper problem |
| // in a particular use of mutexes. |
| func (rw *RWMutex) TryLock() bool { |
| if race.Enabled { |
| _ = rw.w.state |
| race.Disable() |
| } |
| if !rw.w.TryLock() { |
| if race.Enabled { |
| race.Enable() |
| } |
| return false |
| } |
| if !rw.readerCount.CompareAndSwap(0, -rwmutexMaxReaders) { |
| rw.w.Unlock() |
| if race.Enabled { |
| race.Enable() |
| } |
| return false |
| } |
| if race.Enabled { |
| race.Enable() |
| race.Acquire(unsafe.Pointer(&rw.readerSem)) |
| race.Acquire(unsafe.Pointer(&rw.writerSem)) |
| } |
| return true |
| } |
| |
| // Unlock unlocks rw for writing. It is a run-time error if rw is |
| // not locked for writing on entry to Unlock. |
| // |
| // As with Mutexes, a locked [RWMutex] is not associated with a particular |
| // goroutine. One goroutine may [RWMutex.RLock] ([RWMutex.Lock]) a RWMutex and then |
| // arrange for another goroutine to [RWMutex.RUnlock] ([RWMutex.Unlock]) it. |
| func (rw *RWMutex) Unlock() { |
| if race.Enabled { |
| _ = rw.w.state |
| race.Release(unsafe.Pointer(&rw.readerSem)) |
| race.Disable() |
| } |
| |
| // Announce to readers there is no active writer. |
| r := rw.readerCount.Add(rwmutexMaxReaders) |
| if r >= rwmutexMaxReaders { |
| race.Enable() |
| fatal("sync: Unlock of unlocked RWMutex") |
| } |
| // Unblock blocked readers, if any. |
| for i := 0; i < int(r); i++ { |
| runtime_Semrelease(&rw.readerSem, false, 0) |
| } |
| // Allow other writers to proceed. |
| rw.w.Unlock() |
| if race.Enabled { |
| race.Enable() |
| } |
| } |
| |
| // syscall_hasWaitingReaders reports whether any goroutine is waiting |
| // to acquire a read lock on rw. This exists because syscall.ForkLock |
| // is an RWMutex, and we can't change that without breaking compatibility. |
| // We don't need or want RWMutex semantics for ForkLock, and we use |
| // this private API to avoid having to change the type of ForkLock. |
| // For more details see the syscall package. |
| // |
| //go:linkname syscall_hasWaitingReaders syscall.hasWaitingReaders |
| func syscall_hasWaitingReaders(rw *RWMutex) bool { |
| r := rw.readerCount.Load() |
| return r < 0 && r+rwmutexMaxReaders > 0 |
| } |
| |
| // RLocker returns a [Locker] interface that implements |
| // the [RWMutex.Lock] and [RWMutex.Unlock] methods by calling rw.RLock and rw.RUnlock. |
| func (rw *RWMutex) RLocker() Locker { |
| return (*rlocker)(rw) |
| } |
| |
| type rlocker RWMutex |
| |
| func (r *rlocker) Lock() { (*RWMutex)(r).RLock() } |
| func (r *rlocker) Unlock() { (*RWMutex)(r).RUnlock() } |