1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
package mm
import (
"reflect"
"gvisor.dev/gvisor/pkg/sync"
"gvisor.dev/gvisor/pkg/sync/locking"
)
// RWMutex is sync.RWMutex with the correctness validator.
type activeRWMutex struct {
mu sync.RWMutex
}
// lockNames is a list of user-friendly lock names.
// Populated in init.
var activelockNames []string
// lockNameIndex is used as an index passed to NestedLock and NestedUnlock,
// refering to an index within lockNames.
// Values are specified using the "consts" field of go_template_instance.
type activelockNameIndex int
// DO NOT REMOVE: The following function automatically replaced with lock index constants.
const (
activeLockForked = activelockNameIndex(0)
)
const ()
// Lock locks m.
// +checklocksignore
func (m *activeRWMutex) Lock() {
locking.AddGLock(activeprefixIndex, -1)
m.mu.Lock()
}
// NestedLock locks m knowing that another lock of the same type is held.
// +checklocksignore
func (m *activeRWMutex) NestedLock(i activelockNameIndex) {
locking.AddGLock(activeprefixIndex, int(i))
m.mu.Lock()
}
// Unlock unlocks m.
// +checklocksignore
func (m *activeRWMutex) Unlock() {
m.mu.Unlock()
locking.DelGLock(activeprefixIndex, -1)
}
// NestedUnlock unlocks m knowing that another lock of the same type is held.
// +checklocksignore
func (m *activeRWMutex) NestedUnlock(i activelockNameIndex) {
m.mu.Unlock()
locking.DelGLock(activeprefixIndex, int(i))
}
// RLock locks m for reading.
// +checklocksignore
func (m *activeRWMutex) RLock() {
locking.AddGLock(activeprefixIndex, -1)
m.mu.RLock()
}
// RUnlock undoes a single RLock call.
// +checklocksignore
func (m *activeRWMutex) RUnlock() {
m.mu.RUnlock()
locking.DelGLock(activeprefixIndex, -1)
}
// RLockBypass locks m for reading without executing the validator.
// +checklocksignore
func (m *activeRWMutex) RLockBypass() {
m.mu.RLock()
}
// RUnlockBypass undoes a single RLockBypass call.
// +checklocksignore
func (m *activeRWMutex) RUnlockBypass() {
m.mu.RUnlock()
}
// DowngradeLock atomically unlocks rw for writing and locks it for reading.
// +checklocksignore
func (m *activeRWMutex) DowngradeLock() {
m.mu.DowngradeLock()
}
var activeprefixIndex *locking.MutexClass
// DO NOT REMOVE: The following function is automatically replaced.
func activeinitLockNames() { activelockNames = []string{"forked"} }
func init() {
activeinitLockNames()
activeprefixIndex = locking.NewMutexClass(reflect.TypeOf(activeRWMutex{}), activelockNames)
}
|
