forked from MetaCubeX/gvisor
-
Notifications
You must be signed in to change notification settings - Fork 0
/
pipe_mutex.go
66 lines (53 loc) · 1.63 KB
/
pipe_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
package pipe
import (
"reflect"
"github.com/MerlinKodo/gvisor/pkg/sync"
"github.com/MerlinKodo/gvisor/pkg/sync/locking"
)
// Mutex is sync.Mutex with the correctness validator.
type pipeMutex struct {
mu sync.Mutex
}
var pipeprefixIndex *locking.MutexClass
// lockNames is a list of user-friendly lock names.
// Populated in init.
var pipelockNames []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 pipelockNameIndex int
// DO NOT REMOVE: The following function automatically replaced with lock index constants.
const (
pipeLockPipe = pipelockNameIndex(0)
)
const ()
// Lock locks m.
// +checklocksignore
func (m *pipeMutex) Lock() {
locking.AddGLock(pipeprefixIndex, -1)
m.mu.Lock()
}
// NestedLock locks m knowing that another lock of the same type is held.
// +checklocksignore
func (m *pipeMutex) NestedLock(i pipelockNameIndex) {
locking.AddGLock(pipeprefixIndex, int(i))
m.mu.Lock()
}
// Unlock unlocks m.
// +checklocksignore
func (m *pipeMutex) Unlock() {
locking.DelGLock(pipeprefixIndex, -1)
m.mu.Unlock()
}
// NestedUnlock unlocks m knowing that another lock of the same type is held.
// +checklocksignore
func (m *pipeMutex) NestedUnlock(i pipelockNameIndex) {
locking.DelGLock(pipeprefixIndex, int(i))
m.mu.Unlock()
}
// DO NOT REMOVE: The following function is automatically replaced.
func pipeinitLockNames() { pipelockNames = []string{"pipe"} }
func init() {
pipeinitLockNames()
pipeprefixIndex = locking.NewMutexClass(reflect.TypeOf(pipeMutex{}), pipelockNames)
}