-
Notifications
You must be signed in to change notification settings - Fork 1.9k
/
Copy pathArrayChannel.kt
258 lines (245 loc) · 10.6 KB
/
ArrayChannel.kt
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
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
/*
* Copyright 2016-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license.
*/
package kotlinx.coroutines.channels
import kotlinx.coroutines.*
import kotlinx.coroutines.internal.*
import kotlinx.coroutines.selects.*
import kotlin.jvm.*
import kotlin.math.*
/**
* Channel with array buffer of a fixed [capacity].
* Sender suspends only when buffer is full and receiver suspends only when buffer is empty.
*
* This channel is created by `Channel(capacity)` factory function invocation.
*
* This implementation uses lock to protect the buffer, which is held only during very short buffer-update operations.
* The lists of suspended senders or receivers are lock-free.
**/
internal open class ArrayChannel<E>(
/**
* Buffer capacity.
*/
val capacity: Int
) : AbstractChannel<E>() {
init {
require(capacity >= 1) { "ArrayChannel capacity must be at least 1, but $capacity was specified" }
}
private val lock = ReentrantLock()
/*
* Guarded by lock.
* Allocate minimum of capacity and 16 to avoid excess memory pressure for large channels when it's not necessary.
*/
private var buffer: Array<Any?> = arrayOfNulls<Any?>(min(capacity, 16))
private var head: Int = 0
@Volatile
private var size: Int = 0 // Invariant: size <= capacity
protected final override val isBufferAlwaysEmpty: Boolean get() = false
protected final override val isBufferEmpty: Boolean get() = size == 0
protected final override val isBufferAlwaysFull: Boolean get() = false
protected final override val isBufferFull: Boolean get() = size == capacity
// result is `OFFER_SUCCESS | OFFER_FAILED | Closed`
protected override fun offerInternal(element: E): Any {
var receive: ReceiveOrClosed<E>? = null
var token: Any? = null
lock.withLock {
val size = this.size
closedForSend?.let { return it }
if (size < capacity) {
// tentatively put element to buffer
this.size = size + 1 // update size before checking queue (!!!)
// check for receivers that were waiting on empty queue
if (size == 0) {
loop@ while (true) {
receive = takeFirstReceiveOrPeekClosed() ?: break@loop // break when no receivers queued
if (receive is Closed) {
this.size = size // restore size
return receive!!
}
token = receive!!.tryResumeReceive(element, idempotent = null)
if (token != null) {
this.size = size // restore size
return@withLock
}
}
}
ensureCapacity(size)
buffer[(head + size) % capacity] = element // actually queue element
return OFFER_SUCCESS
}
// size == capacity: full
return OFFER_FAILED
}
// breaks here if offer meets receiver
receive!!.completeResumeReceive(token!!)
return receive!!.offerResult
}
// result is `ALREADY_SELECTED | OFFER_SUCCESS | OFFER_FAILED | Closed`
protected override fun offerSelectInternal(element: E, select: SelectInstance<*>): Any {
var receive: ReceiveOrClosed<E>? = null
var token: Any? = null
lock.withLock {
val size = this.size
closedForSend?.let { return it }
if (size < capacity) {
// tentatively put element to buffer
this.size = size + 1 // update size before checking queue (!!!)
// check for receivers that were waiting on empty queue
if (size == 0) {
loop@ while (true) {
val offerOp = describeTryOffer(element)
val failure = select.performAtomicTrySelect(offerOp)
when {
failure == null -> { // offered successfully
this.size = size // restore size
receive = offerOp.result
token = offerOp.resumeToken
assert { token != null }
return@withLock
}
failure === OFFER_FAILED -> break@loop // cannot offer -> Ok to queue to buffer
failure === ALREADY_SELECTED || failure is Closed<*> -> {
this.size = size // restore size
return failure
}
else -> error("performAtomicTrySelect(describeTryOffer) returned $failure")
}
}
}
// let's try to select sending this element to buffer
if (!select.trySelect(null)) { // :todo: move trySelect completion outside of lock
this.size = size // restore size
return ALREADY_SELECTED
}
ensureCapacity(size)
buffer[(head + size) % capacity] = element // actually queue element
return OFFER_SUCCESS
}
// size == capacity: full
return OFFER_FAILED
}
// breaks here if offer meets receiver
receive!!.completeResumeReceive(token!!)
return receive!!.offerResult
}
// Guarded by lock
private fun ensureCapacity(currentSize: Int) {
if (currentSize == buffer.size) {
val newSize = min(buffer.size * 2, capacity)
val newBuffer = arrayOfNulls<Any?>(newSize)
buffer.copyInto(newBuffer)
buffer = newBuffer
}
}
// result is `E | POLL_FAILED | Closed`
protected override fun pollInternal(): Any? {
var send: Send? = null
var token: Any? = null
var result: Any? = null
lock.withLock {
val size = this.size
if (size == 0) return closedForSend ?: POLL_FAILED // when nothing can be read from buffer
// size > 0: not empty -- retrieve element
result = buffer[head]
buffer[head] = null
this.size = size - 1 // update size before checking queue (!!!)
// check for senders that were waiting on full queue
var replacement: Any? = POLL_FAILED
if (size == capacity) {
loop@ while (true) {
send = takeFirstSendOrPeekClosed() ?: break
token = send!!.tryResumeSend(idempotent = null)
if (token != null) {
replacement = send!!.pollResult
break@loop
}
}
}
if (replacement !== POLL_FAILED && replacement !is Closed<*>) {
this.size = size // restore size
buffer[(head + size) % capacity] = replacement
}
head = (head + 1) % capacity
}
// complete send the we're taken replacement from
if (token != null)
send!!.completeResumeSend(token!!)
return result
}
// result is `ALREADY_SELECTED | E | POLL_FAILED | Closed`
protected override fun pollSelectInternal(select: SelectInstance<*>): Any? {
var send: Send? = null
var token: Any? = null
var result: Any? = null
lock.withLock {
val size = this.size
if (size == 0) return closedForSend ?: POLL_FAILED
// size > 0: not empty -- retrieve element
result = buffer[head]
buffer[head] = null
this.size = size - 1 // update size before checking queue (!!!)
// check for senders that were waiting on full queue
var replacement: Any? = POLL_FAILED
if (size == capacity) {
loop@ while (true) {
val pollOp = describeTryPoll()
val failure = select.performAtomicTrySelect(pollOp)
when {
failure == null -> { // polled successfully
send = pollOp.result
token = pollOp.resumeToken
assert { token != null }
replacement = send!!.pollResult
break@loop
}
failure === POLL_FAILED -> break@loop // cannot poll -> Ok to take from buffer
failure === ALREADY_SELECTED -> {
this.size = size // restore size
buffer[head] = result // restore head
return failure
}
failure is Closed<*> -> {
send = failure
token = failure.tryResumeSend(idempotent = null)
replacement = failure
break@loop
}
else -> error("performAtomicTrySelect(describeTryOffer) returned $failure")
}
}
}
if (replacement !== POLL_FAILED && replacement !is Closed<*>) {
this.size = size // restore size
buffer[(head + size) % capacity] = replacement
} else {
// failed to poll or is already closed --> let's try to select receiving this element from buffer
if (!select.trySelect(null)) { // :todo: move trySelect completion outside of lock
this.size = size // restore size
buffer[head] = result // restore head
return ALREADY_SELECTED
}
}
head = (head + 1) % capacity
}
// complete send the we're taken replacement from
if (token != null)
send!!.completeResumeSend(token!!)
return result
}
// Note: this function is invoked when channel is already closed
override fun cleanupSendQueueOnCancel() {
// clear buffer first
lock.withLock {
repeat(size) {
buffer[head] = 0
head = (head + 1) % capacity
}
size = 0
}
// then clean all queued senders
super.cleanupSendQueueOnCancel()
}
// ------ debug ------
override val bufferDebugString: String
get() = "(buffer:capacity=${buffer.size},size=$size)"
}