forked from MetaCubeX/gvisor
-
Notifications
You must be signed in to change notification settings - Fork 0
/
task_mutex.go
96 lines (78 loc) · 2.31 KB
/
task_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 cgroupfs
import (
"reflect"
"github.com/MerlinKodo/gvisor/pkg/sync"
"github.com/MerlinKodo/gvisor/pkg/sync/locking"
)
// RWMutex is sync.RWMutex with the correctness validator.
type taskRWMutex struct {
mu sync.RWMutex
}
// lockNames is a list of user-friendly lock names.
// Populated in init.
var tasklockNames []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 tasklockNameIndex int
// DO NOT REMOVE: The following function automatically replaced with lock index constants.
// LOCK_NAME_INDEX_CONSTANTS
const ()
// Lock locks m.
// +checklocksignore
func (m *taskRWMutex) Lock() {
locking.AddGLock(taskprefixIndex, -1)
m.mu.Lock()
}
// NestedLock locks m knowing that another lock of the same type is held.
// +checklocksignore
func (m *taskRWMutex) NestedLock(i tasklockNameIndex) {
locking.AddGLock(taskprefixIndex, int(i))
m.mu.Lock()
}
// Unlock unlocks m.
// +checklocksignore
func (m *taskRWMutex) Unlock() {
m.mu.Unlock()
locking.DelGLock(taskprefixIndex, -1)
}
// NestedUnlock unlocks m knowing that another lock of the same type is held.
// +checklocksignore
func (m *taskRWMutex) NestedUnlock(i tasklockNameIndex) {
m.mu.Unlock()
locking.DelGLock(taskprefixIndex, int(i))
}
// RLock locks m for reading.
// +checklocksignore
func (m *taskRWMutex) RLock() {
locking.AddGLock(taskprefixIndex, -1)
m.mu.RLock()
}
// RUnlock undoes a single RLock call.
// +checklocksignore
func (m *taskRWMutex) RUnlock() {
m.mu.RUnlock()
locking.DelGLock(taskprefixIndex, -1)
}
// RLockBypass locks m for reading without executing the validator.
// +checklocksignore
func (m *taskRWMutex) RLockBypass() {
m.mu.RLock()
}
// RUnlockBypass undoes a single RLockBypass call.
// +checklocksignore
func (m *taskRWMutex) RUnlockBypass() {
m.mu.RUnlock()
}
// DowngradeLock atomically unlocks rw for writing and locks it for reading.
// +checklocksignore
func (m *taskRWMutex) DowngradeLock() {
m.mu.DowngradeLock()
}
var taskprefixIndex *locking.MutexClass
// DO NOT REMOVE: The following function is automatically replaced.
func taskinitLockNames() {}
func init() {
taskinitLockNames()
taskprefixIndex = locking.NewMutexClass(reflect.TypeOf(taskRWMutex{}), tasklockNames)
}