/
taskset_mutex.go
96 lines (78 loc) · 2.39 KB
/
taskset_mutex.go
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
package kernel
import (
"reflect"
"github.com/nicocha30/gvisor-ligolo/pkg/sync"
"github.com/nicocha30/gvisor-ligolo/pkg/sync/locking"
)
// RWMutex is sync.RWMutex with the correctness validator.
type taskSetRWMutex struct {
mu sync.RWMutex
}
// lockNames is a list of user-friendly lock names.
// Populated in init.
var taskSetlockNames []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 taskSetlockNameIndex int
// DO NOT REMOVE: The following function automatically replaced with lock index constants.
// LOCK_NAME_INDEX_CONSTANTS
const ()
// Lock locks m.
// +checklocksignore
func (m *taskSetRWMutex) Lock() {
locking.AddGLock(taskSetprefixIndex, -1)
m.mu.Lock()
}
// NestedLock locks m knowing that another lock of the same type is held.
// +checklocksignore
func (m *taskSetRWMutex) NestedLock(i taskSetlockNameIndex) {
locking.AddGLock(taskSetprefixIndex, int(i))
m.mu.Lock()
}
// Unlock unlocks m.
// +checklocksignore
func (m *taskSetRWMutex) Unlock() {
m.mu.Unlock()
locking.DelGLock(taskSetprefixIndex, -1)
}
// NestedUnlock unlocks m knowing that another lock of the same type is held.
// +checklocksignore
func (m *taskSetRWMutex) NestedUnlock(i taskSetlockNameIndex) {
m.mu.Unlock()
locking.DelGLock(taskSetprefixIndex, int(i))
}
// RLock locks m for reading.
// +checklocksignore
func (m *taskSetRWMutex) RLock() {
locking.AddGLock(taskSetprefixIndex, -1)
m.mu.RLock()
}
// RUnlock undoes a single RLock call.
// +checklocksignore
func (m *taskSetRWMutex) RUnlock() {
m.mu.RUnlock()
locking.DelGLock(taskSetprefixIndex, -1)
}
// RLockBypass locks m for reading without executing the validator.
// +checklocksignore
func (m *taskSetRWMutex) RLockBypass() {
m.mu.RLock()
}
// RUnlockBypass undoes a single RLockBypass call.
// +checklocksignore
func (m *taskSetRWMutex) RUnlockBypass() {
m.mu.RUnlock()
}
// DowngradeLock atomically unlocks rw for writing and locks it for reading.
// +checklocksignore
func (m *taskSetRWMutex) DowngradeLock() {
m.mu.DowngradeLock()
}
var taskSetprefixIndex *locking.MutexClass
// DO NOT REMOVE: The following function is automatically replaced.
func taskSetinitLockNames() {}
func init() {
taskSetinitLockNames()
taskSetprefixIndex = locking.NewMutexClass(reflect.TypeOf(taskSetRWMutex{}), taskSetlockNames)
}