-
Notifications
You must be signed in to change notification settings - Fork 51
Expand file tree
/
Copy pathring.go
More file actions
151 lines (138 loc) · 3.17 KB
/
ring.go
File metadata and controls
151 lines (138 loc) · 3.17 KB
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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
package valkey
import (
"context"
"sync"
"sync/atomic"
"golang.org/x/sys/cpu"
)
type queue interface {
PutOne(ctx context.Context, m Completed) (chan ValkeyResult, error)
PutMulti(ctx context.Context, m []Completed, resps []ValkeyResult) (chan ValkeyResult, error)
NextWriteCmd() (Completed, []Completed, chan ValkeyResult)
WaitForWrite() (Completed, []Completed, chan ValkeyResult)
NextResultCh() (Completed, []Completed, chan ValkeyResult, []ValkeyResult)
FinishResult()
}
var _ queue = (*ring)(nil)
func newRing(factor int) *ring {
if factor <= 0 {
factor = DefaultRingScale
}
r := &ring{store: make([]node, 2<<(factor-1))}
r.mask = uint32(len(r.store) - 1)
for i := range r.store {
m := &sync.Mutex{}
r.store[i].c1 = sync.NewCond(m)
r.store[i].c2 = sync.NewCond(m)
r.store[i].ch = make(chan ValkeyResult) // this channel can't be buffered
}
return r
}
type ring struct {
resc *sync.Cond
store []node // store's size must be 2^N to work with the mask
_ cpu.CacheLinePad
write uint32
_ cpu.CacheLinePad
read1 uint32
read2 uint32
mask uint32
}
type node struct {
c1 *sync.Cond
c2 *sync.Cond
ch chan ValkeyResult
one Completed
multi []Completed
resps []ValkeyResult
mark uint32
slept bool
}
func (r *ring) PutOne(_ context.Context, m Completed) (chan ValkeyResult, error) {
n := &r.store[atomic.AddUint32(&r.write, 1)&r.mask]
n.c1.L.Lock()
for n.mark != 0 {
n.c1.Wait()
}
n.one = m
n.mark = 1
s := n.slept
n.c1.L.Unlock()
if s {
n.c2.Broadcast()
}
return n.ch, nil
}
func (r *ring) PutMulti(_ context.Context, m []Completed, resps []ValkeyResult) (chan ValkeyResult, error) {
n := &r.store[atomic.AddUint32(&r.write, 1)&r.mask]
n.c1.L.Lock()
for n.mark != 0 {
n.c1.Wait()
}
n.multi = m
n.resps = resps
n.mark = 1
s := n.slept
n.c1.L.Unlock()
if s {
n.c2.Broadcast()
}
return n.ch, nil
}
// NextWriteCmd should be only called by one dedicated thread
func (r *ring) NextWriteCmd() (one Completed, multi []Completed, ch chan ValkeyResult) {
r.read1++
p := r.read1 & r.mask
n := &r.store[p]
n.c1.L.Lock()
if n.mark == 1 {
one, multi, ch = n.one, n.multi, n.ch
n.mark = 2
} else {
r.read1--
}
n.c1.L.Unlock()
return
}
// WaitForWrite should be only called by one dedicated thread
func (r *ring) WaitForWrite() (one Completed, multi []Completed, ch chan ValkeyResult) {
r.read1++
p := r.read1 & r.mask
n := &r.store[p]
n.c1.L.Lock()
for n.mark != 1 {
n.slept = true
n.c2.Wait() // c1 and c2 share the same mutex
n.slept = false
}
one, multi, ch = n.one, n.multi, n.ch
n.mark = 2
n.c1.L.Unlock()
return
}
// NextResultCh should be only called by one dedicated thread
func (r *ring) NextResultCh() (one Completed, multi []Completed, ch chan ValkeyResult, resps []ValkeyResult) {
r.read2++
p := r.read2 & r.mask
n := &r.store[p]
r.resc = n.c1
n.c1.L.Lock()
if n.mark == 2 {
one, multi, ch, resps = n.one, n.multi, n.ch, n.resps
n.mark = 0
n.one = Completed{}
n.multi = nil
n.resps = nil
} else {
r.read2--
}
return
}
// FinishResult should be only called by one dedicated thread
func (r *ring) FinishResult() {
if r.resc != nil {
r.resc.L.Unlock()
r.resc.Signal()
r.resc = nil
}
}