| // Copyright 2017 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 runtime |
| |
| import ( |
| "runtime/internal/atomic" |
| ) |
| |
| // This is a copy of sync/rwmutex.go rewritten to work in the runtime. |
| |
| // A rwmutex is a reader/writer mutual exclusion lock. |
| // The lock can be held by an arbitrary number of readers or a single writer. |
| // This is a variant of sync.RWMutex, for the runtime package. |
| // Like mutex, rwmutex blocks the calling M. |
| // It does not interact with the goroutine scheduler. |
| type rwmutex struct { |
| rLock mutex // protects readers, readerPass, writer |
| readers muintptr // list of pending readers |
| readerPass uint32 // number of pending readers to skip readers list |
| |
| wLock mutex // serializes writers |
| writer muintptr // pending writer waiting for completing readers |
| |
| readerCount uint32 // number of pending readers |
| readerWait uint32 // number of departing readers |
| } |
| |
| const rwmutexMaxReaders = 1 << 30 |
| |
| // rlock locks rw for reading. |
| func (rw *rwmutex) rlock() { |
| // The reader must not be allowed to lose its P or else other |
| // things blocking on the lock may consume all of the Ps and |
| // deadlock (issue #20903). Alternatively, we could drop the P |
| // while sleeping. |
| acquirem() |
| if int32(atomic.Xadd(&rw.readerCount, 1)) < 0 { |
| // A writer is pending. Park on the reader queue. |
| systemstack(func() { |
| lockWithRank(&rw.rLock, lockRankRwmutexR) |
| if rw.readerPass > 0 { |
| // Writer finished. |
| rw.readerPass -= 1 |
| unlock(&rw.rLock) |
| } else { |
| // Queue this reader to be woken by |
| // the writer. |
| m := getg().m |
| m.schedlink = rw.readers |
| rw.readers.set(m) |
| unlock(&rw.rLock) |
| notesleep(&m.park) |
| noteclear(&m.park) |
| } |
| }) |
| } |
| } |
| |
| // runlock undoes a single rlock call on rw. |
| func (rw *rwmutex) runlock() { |
| if r := int32(atomic.Xadd(&rw.readerCount, -1)); r < 0 { |
| if r+1 == 0 || r+1 == -rwmutexMaxReaders { |
| throw("runlock of unlocked rwmutex") |
| } |
| // A writer is pending. |
| if atomic.Xadd(&rw.readerWait, -1) == 0 { |
| // The last reader unblocks the writer. |
| lockWithRank(&rw.rLock, lockRankRwmutexR) |
| w := rw.writer.ptr() |
| if w != nil { |
| notewakeup(&w.park) |
| } |
| unlock(&rw.rLock) |
| } |
| } |
| releasem(getg().m) |
| } |
| |
| // lock locks rw for writing. |
| func (rw *rwmutex) lock() { |
| // Resolve competition with other writers and stick to our P. |
| lockWithRank(&rw.wLock, lockRankRwmutexW) |
| m := getg().m |
| // Announce that there is a pending writer. |
| r := int32(atomic.Xadd(&rw.readerCount, -rwmutexMaxReaders)) + rwmutexMaxReaders |
| // Wait for any active readers to complete. |
| lockWithRank(&rw.rLock, lockRankRwmutexR) |
| if r != 0 && atomic.Xadd(&rw.readerWait, r) != 0 { |
| // Wait for reader to wake us up. |
| systemstack(func() { |
| rw.writer.set(m) |
| unlock(&rw.rLock) |
| notesleep(&m.park) |
| noteclear(&m.park) |
| }) |
| } else { |
| unlock(&rw.rLock) |
| } |
| } |
| |
| // unlock unlocks rw for writing. |
| func (rw *rwmutex) unlock() { |
| // Announce to readers that there is no active writer. |
| r := int32(atomic.Xadd(&rw.readerCount, rwmutexMaxReaders)) |
| if r >= rwmutexMaxReaders { |
| throw("unlock of unlocked rwmutex") |
| } |
| // Unblock blocked readers. |
| lockWithRank(&rw.rLock, lockRankRwmutexR) |
| for rw.readers.ptr() != nil { |
| reader := rw.readers.ptr() |
| rw.readers = reader.schedlink |
| reader.schedlink.set(nil) |
| notewakeup(&reader.park) |
| r -= 1 |
| } |
| // If r > 0, there are pending readers that aren't on the |
| // queue. Tell them to skip waiting. |
| rw.readerPass += uint32(r) |
| unlock(&rw.rLock) |
| // Allow other writers to proceed. |
| unlock(&rw.wLock) |
| } |