Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
freebsd
GitHub Repository: freebsd/freebsd-src
Path: blob/main/crypto/openssl/ssl/quic/quic_stream_map.c
101184 views
1
/*
2
* Copyright 2022-2024 The OpenSSL Project Authors. All Rights Reserved.
3
*
4
* Licensed under the Apache License 2.0 (the "License"). You may not use
5
* this file except in compliance with the License. You can obtain a copy
6
* in the file LICENSE in the source distribution or at
7
* https://www.openssl.org/source/license.html
8
*/
9
10
#include "internal/quic_stream_map.h"
11
#include "internal/nelem.h"
12
13
/*
14
* QUIC Stream Map
15
* ===============
16
*/
17
DEFINE_LHASH_OF_EX(QUIC_STREAM);
18
19
static void shutdown_flush_done(QUIC_STREAM_MAP *qsm, QUIC_STREAM *qs);
20
21
/* Circular list management. */
22
static void list_insert_tail(QUIC_STREAM_LIST_NODE *l,
23
QUIC_STREAM_LIST_NODE *n)
24
{
25
/* Must not be in list. */
26
assert(n->prev == NULL && n->next == NULL
27
&& l->prev != NULL && l->next != NULL);
28
29
n->prev = l->prev;
30
n->prev->next = n;
31
l->prev = n;
32
n->next = l;
33
}
34
35
static void list_remove(QUIC_STREAM_LIST_NODE *l,
36
QUIC_STREAM_LIST_NODE *n)
37
{
38
assert(n->prev != NULL && n->next != NULL
39
&& n->prev != n && n->next != n);
40
41
n->prev->next = n->next;
42
n->next->prev = n->prev;
43
n->next = n->prev = NULL;
44
}
45
46
static QUIC_STREAM *list_next(QUIC_STREAM_LIST_NODE *l, QUIC_STREAM_LIST_NODE *n,
47
size_t off)
48
{
49
assert(n->prev != NULL && n->next != NULL
50
&& (n == l || (n->prev != n && n->next != n))
51
&& l->prev != NULL && l->next != NULL);
52
53
n = n->next;
54
55
if (n == l)
56
n = n->next;
57
if (n == l)
58
return NULL;
59
60
assert(n != NULL);
61
62
return (QUIC_STREAM *)(((char *)n) - off);
63
}
64
65
#define active_next(l, s) list_next((l), &(s)->active_node, \
66
offsetof(QUIC_STREAM, active_node))
67
#define accept_next(l, s) list_next((l), &(s)->accept_node, \
68
offsetof(QUIC_STREAM, accept_node))
69
#define accept_head(l) list_next((l), (l), \
70
offsetof(QUIC_STREAM, accept_node))
71
#define ready_for_gc_head(l) list_next((l), (l), \
72
offsetof(QUIC_STREAM, ready_for_gc_node))
73
74
static unsigned long hash_stream(const QUIC_STREAM *s)
75
{
76
return (unsigned long)s->id;
77
}
78
79
static int cmp_stream(const QUIC_STREAM *a, const QUIC_STREAM *b)
80
{
81
if (a->id < b->id)
82
return -1;
83
if (a->id > b->id)
84
return 1;
85
return 0;
86
}
87
88
int ossl_quic_stream_map_init(QUIC_STREAM_MAP *qsm,
89
uint64_t (*get_stream_limit_cb)(int uni, void *arg),
90
void *get_stream_limit_cb_arg,
91
QUIC_RXFC *max_streams_bidi_rxfc,
92
QUIC_RXFC *max_streams_uni_rxfc,
93
int is_server)
94
{
95
qsm->map = lh_QUIC_STREAM_new(hash_stream, cmp_stream);
96
qsm->active_list.prev = qsm->active_list.next = &qsm->active_list;
97
qsm->accept_list.prev = qsm->accept_list.next = &qsm->accept_list;
98
qsm->ready_for_gc_list.prev = qsm->ready_for_gc_list.next
99
= &qsm->ready_for_gc_list;
100
qsm->rr_stepping = 1;
101
qsm->rr_counter = 0;
102
qsm->rr_cur = NULL;
103
104
qsm->num_accept_bidi = 0;
105
qsm->num_accept_uni = 0;
106
qsm->num_shutdown_flush = 0;
107
108
qsm->get_stream_limit_cb = get_stream_limit_cb;
109
qsm->get_stream_limit_cb_arg = get_stream_limit_cb_arg;
110
qsm->max_streams_bidi_rxfc = max_streams_bidi_rxfc;
111
qsm->max_streams_uni_rxfc = max_streams_uni_rxfc;
112
qsm->is_server = is_server;
113
return 1;
114
}
115
116
static void release_each(QUIC_STREAM *stream, void *arg)
117
{
118
QUIC_STREAM_MAP *qsm = arg;
119
120
ossl_quic_stream_map_release(qsm, stream);
121
}
122
123
void ossl_quic_stream_map_cleanup(QUIC_STREAM_MAP *qsm)
124
{
125
ossl_quic_stream_map_visit(qsm, release_each, qsm);
126
127
lh_QUIC_STREAM_free(qsm->map);
128
qsm->map = NULL;
129
}
130
131
void ossl_quic_stream_map_visit(QUIC_STREAM_MAP *qsm,
132
void (*visit_cb)(QUIC_STREAM *stream, void *arg),
133
void *visit_cb_arg)
134
{
135
lh_QUIC_STREAM_doall_arg(qsm->map, visit_cb, visit_cb_arg);
136
}
137
138
QUIC_STREAM *ossl_quic_stream_map_alloc(QUIC_STREAM_MAP *qsm,
139
uint64_t stream_id,
140
int type)
141
{
142
QUIC_STREAM *s;
143
QUIC_STREAM key;
144
145
key.id = stream_id;
146
147
s = lh_QUIC_STREAM_retrieve(qsm->map, &key);
148
if (s != NULL)
149
return NULL;
150
151
s = OPENSSL_zalloc(sizeof(*s));
152
if (s == NULL)
153
return NULL;
154
155
s->id = stream_id;
156
s->type = type;
157
s->as_server = qsm->is_server;
158
s->send_state = (ossl_quic_stream_is_local_init(s)
159
|| ossl_quic_stream_is_bidi(s))
160
? QUIC_SSTREAM_STATE_READY
161
: QUIC_SSTREAM_STATE_NONE;
162
s->recv_state = (!ossl_quic_stream_is_local_init(s)
163
|| ossl_quic_stream_is_bidi(s))
164
? QUIC_RSTREAM_STATE_RECV
165
: QUIC_RSTREAM_STATE_NONE;
166
167
s->send_final_size = UINT64_MAX;
168
169
lh_QUIC_STREAM_insert(qsm->map, s);
170
return s;
171
}
172
173
void ossl_quic_stream_map_release(QUIC_STREAM_MAP *qsm, QUIC_STREAM *stream)
174
{
175
if (stream == NULL)
176
return;
177
178
if (stream->active_node.next != NULL)
179
list_remove(&qsm->active_list, &stream->active_node);
180
if (stream->accept_node.next != NULL)
181
list_remove(&qsm->accept_list, &stream->accept_node);
182
if (stream->ready_for_gc_node.next != NULL)
183
list_remove(&qsm->ready_for_gc_list, &stream->ready_for_gc_node);
184
185
ossl_quic_sstream_free(stream->sstream);
186
stream->sstream = NULL;
187
188
ossl_quic_rstream_free(stream->rstream);
189
stream->rstream = NULL;
190
191
lh_QUIC_STREAM_delete(qsm->map, stream);
192
OPENSSL_free(stream);
193
}
194
195
QUIC_STREAM *ossl_quic_stream_map_get_by_id(QUIC_STREAM_MAP *qsm,
196
uint64_t stream_id)
197
{
198
QUIC_STREAM key;
199
200
key.id = stream_id;
201
202
return lh_QUIC_STREAM_retrieve(qsm->map, &key);
203
}
204
205
static void stream_map_mark_active(QUIC_STREAM_MAP *qsm, QUIC_STREAM *s)
206
{
207
if (s->active)
208
return;
209
210
list_insert_tail(&qsm->active_list, &s->active_node);
211
212
if (qsm->rr_cur == NULL)
213
qsm->rr_cur = s;
214
215
s->active = 1;
216
}
217
218
static void stream_map_mark_inactive(QUIC_STREAM_MAP *qsm, QUIC_STREAM *s)
219
{
220
if (!s->active)
221
return;
222
223
if (qsm->rr_cur == s)
224
qsm->rr_cur = active_next(&qsm->active_list, s);
225
if (qsm->rr_cur == s)
226
qsm->rr_cur = NULL;
227
228
list_remove(&qsm->active_list, &s->active_node);
229
230
s->active = 0;
231
}
232
233
void ossl_quic_stream_map_set_rr_stepping(QUIC_STREAM_MAP *qsm, size_t stepping)
234
{
235
qsm->rr_stepping = stepping;
236
qsm->rr_counter = 0;
237
}
238
239
static int stream_has_data_to_send(QUIC_STREAM *s)
240
{
241
OSSL_QUIC_FRAME_STREAM shdr;
242
OSSL_QTX_IOVEC iov[2];
243
size_t num_iov;
244
uint64_t fc_credit, fc_swm, fc_limit;
245
246
switch (s->send_state) {
247
case QUIC_SSTREAM_STATE_READY:
248
case QUIC_SSTREAM_STATE_SEND:
249
case QUIC_SSTREAM_STATE_DATA_SENT:
250
/*
251
* We can still have data to send in DATA_SENT due to retransmissions,
252
* etc.
253
*/
254
break;
255
default:
256
return 0; /* Nothing to send. */
257
}
258
259
/*
260
* We cannot determine if we have data to send simply by checking if
261
* ossl_quic_txfc_get_credit() is zero, because we may also have older
262
* stream data we need to retransmit. The SSTREAM returns older data first,
263
* so we do a simple comparison of the next chunk the SSTREAM wants to send
264
* against the TXFC CWM.
265
*/
266
num_iov = OSSL_NELEM(iov);
267
if (!ossl_quic_sstream_get_stream_frame(s->sstream, 0, &shdr, iov,
268
&num_iov))
269
return 0;
270
271
fc_credit = ossl_quic_txfc_get_credit(&s->txfc, 0);
272
fc_swm = ossl_quic_txfc_get_swm(&s->txfc);
273
fc_limit = fc_swm + fc_credit;
274
275
return (shdr.is_fin && shdr.len == 0) || shdr.offset < fc_limit;
276
}
277
278
static ossl_unused int qsm_send_part_permits_gc(const QUIC_STREAM *qs)
279
{
280
switch (qs->send_state) {
281
case QUIC_SSTREAM_STATE_NONE:
282
case QUIC_SSTREAM_STATE_DATA_RECVD:
283
case QUIC_SSTREAM_STATE_RESET_RECVD:
284
return 1;
285
default:
286
return 0;
287
}
288
}
289
290
static int qsm_ready_for_gc(QUIC_STREAM_MAP *qsm, QUIC_STREAM *qs)
291
{
292
int recv_stream_fully_drained = 0; /* TODO(QUIC FUTURE): Optimisation */
293
294
/*
295
* If sstream has no FIN, we auto-reset it at marked-for-deletion time, so
296
* we don't need to worry about that here.
297
*/
298
assert(!qs->deleted
299
|| !ossl_quic_stream_has_send(qs)
300
|| ossl_quic_stream_send_is_reset(qs)
301
|| ossl_quic_stream_send_get_final_size(qs, NULL));
302
303
return qs->deleted
304
&& (!ossl_quic_stream_has_recv(qs)
305
|| recv_stream_fully_drained
306
|| qs->acked_stop_sending)
307
&& (!ossl_quic_stream_has_send(qs)
308
|| qs->send_state == QUIC_SSTREAM_STATE_DATA_RECVD
309
|| qs->send_state == QUIC_SSTREAM_STATE_RESET_RECVD);
310
}
311
312
int ossl_quic_stream_map_is_local_allowed_by_stream_limit(QUIC_STREAM_MAP *qsm,
313
uint64_t stream_ordinal,
314
int is_uni)
315
{
316
uint64_t stream_limit;
317
318
if (qsm->get_stream_limit_cb == NULL)
319
return 1;
320
321
stream_limit = qsm->get_stream_limit_cb(is_uni, qsm->get_stream_limit_cb_arg);
322
return stream_ordinal < stream_limit;
323
}
324
325
void ossl_quic_stream_map_update_state(QUIC_STREAM_MAP *qsm, QUIC_STREAM *s)
326
{
327
int should_be_active, allowed_by_stream_limit = 1;
328
329
if (ossl_quic_stream_is_server_init(s) == qsm->is_server) {
330
int is_uni = !ossl_quic_stream_is_bidi(s);
331
uint64_t stream_ordinal = s->id >> 2;
332
333
allowed_by_stream_limit
334
= ossl_quic_stream_map_is_local_allowed_by_stream_limit(qsm,
335
stream_ordinal,
336
is_uni);
337
}
338
339
if (s->send_state == QUIC_SSTREAM_STATE_DATA_SENT
340
&& ossl_quic_sstream_is_totally_acked(s->sstream))
341
ossl_quic_stream_map_notify_totally_acked(qsm, s);
342
else if (s->shutdown_flush
343
&& s->send_state == QUIC_SSTREAM_STATE_SEND
344
&& ossl_quic_sstream_is_totally_acked(s->sstream))
345
shutdown_flush_done(qsm, s);
346
347
if (!s->ready_for_gc) {
348
s->ready_for_gc = qsm_ready_for_gc(qsm, s);
349
if (s->ready_for_gc)
350
list_insert_tail(&qsm->ready_for_gc_list, &s->ready_for_gc_node);
351
}
352
353
should_be_active
354
= allowed_by_stream_limit
355
&& !s->ready_for_gc
356
&& ((ossl_quic_stream_has_recv(s)
357
&& !ossl_quic_stream_recv_is_reset(s)
358
&& (s->recv_state == QUIC_RSTREAM_STATE_RECV
359
&& (s->want_max_stream_data
360
|| ossl_quic_rxfc_has_cwm_changed(&s->rxfc, 0))))
361
|| s->want_stop_sending
362
|| s->want_reset_stream
363
|| (!s->peer_stop_sending && stream_has_data_to_send(s)));
364
365
if (should_be_active)
366
stream_map_mark_active(qsm, s);
367
else
368
stream_map_mark_inactive(qsm, s);
369
}
370
371
/*
372
* Stream Send Part State Management
373
* =================================
374
*/
375
376
int ossl_quic_stream_map_ensure_send_part_id(QUIC_STREAM_MAP *qsm,
377
QUIC_STREAM *qs)
378
{
379
switch (qs->send_state) {
380
case QUIC_SSTREAM_STATE_NONE:
381
/* Stream without send part - caller error. */
382
return 0;
383
384
case QUIC_SSTREAM_STATE_READY:
385
/*
386
* We always allocate a stream ID upfront, so we don't need to do it
387
* here.
388
*/
389
qs->send_state = QUIC_SSTREAM_STATE_SEND;
390
return 1;
391
392
default:
393
/* Nothing to do. */
394
return 1;
395
}
396
}
397
398
int ossl_quic_stream_map_notify_all_data_sent(QUIC_STREAM_MAP *qsm,
399
QUIC_STREAM *qs)
400
{
401
switch (qs->send_state) {
402
default:
403
/* Wrong state - caller error. */
404
case QUIC_SSTREAM_STATE_NONE:
405
/* Stream without send part - caller error. */
406
return 0;
407
408
case QUIC_SSTREAM_STATE_SEND:
409
if (!ossl_quic_sstream_get_final_size(qs->sstream, &qs->send_final_size))
410
return 0;
411
412
qs->send_state = QUIC_SSTREAM_STATE_DATA_SENT;
413
return 1;
414
}
415
}
416
417
static void shutdown_flush_done(QUIC_STREAM_MAP *qsm, QUIC_STREAM *qs)
418
{
419
if (!qs->shutdown_flush)
420
return;
421
422
assert(qsm->num_shutdown_flush > 0);
423
qs->shutdown_flush = 0;
424
--qsm->num_shutdown_flush;
425
}
426
427
int ossl_quic_stream_map_notify_totally_acked(QUIC_STREAM_MAP *qsm,
428
QUIC_STREAM *qs)
429
{
430
switch (qs->send_state) {
431
default:
432
/* Wrong state - caller error. */
433
case QUIC_SSTREAM_STATE_NONE:
434
/* Stream without send part - caller error. */
435
return 0;
436
437
case QUIC_SSTREAM_STATE_DATA_SENT:
438
qs->send_state = QUIC_SSTREAM_STATE_DATA_RECVD;
439
/* We no longer need a QUIC_SSTREAM in this state. */
440
ossl_quic_sstream_free(qs->sstream);
441
qs->sstream = NULL;
442
443
shutdown_flush_done(qsm, qs);
444
return 1;
445
}
446
}
447
448
int ossl_quic_stream_map_reset_stream_send_part(QUIC_STREAM_MAP *qsm,
449
QUIC_STREAM *qs,
450
uint64_t aec)
451
{
452
switch (qs->send_state) {
453
default:
454
case QUIC_SSTREAM_STATE_NONE:
455
/*
456
* RESET_STREAM pertains to sending part only, so we cannot reset a
457
* receive-only stream.
458
*/
459
case QUIC_SSTREAM_STATE_DATA_RECVD:
460
/*
461
* RFC 9000 s. 3.3: A sender MUST NOT [...] send RESET_STREAM from a
462
* terminal state. If the stream has already finished normally and the
463
* peer has acknowledged this, we cannot reset it.
464
*/
465
return 0;
466
467
case QUIC_SSTREAM_STATE_READY:
468
if (!ossl_quic_stream_map_ensure_send_part_id(qsm, qs))
469
return 0;
470
471
/* FALLTHROUGH */
472
case QUIC_SSTREAM_STATE_SEND:
473
/*
474
* If we already have a final size (e.g. because we are coming from
475
* DATA_SENT), we have to be consistent with that, so don't change it.
476
* If we don't already have a final size, determine a final size value.
477
* This is the value which we will end up using for a RESET_STREAM frame
478
* for flow control purposes. We could send the stream size (total
479
* number of bytes appended to QUIC_SSTREAM by the application), but it
480
* is in our interest to exclude any bytes we have not actually
481
* transmitted yet, to avoid unnecessarily consuming flow control
482
* credit. We can get this from the TXFC.
483
*/
484
qs->send_final_size = ossl_quic_txfc_get_swm(&qs->txfc);
485
486
/* FALLTHROUGH */
487
case QUIC_SSTREAM_STATE_DATA_SENT:
488
qs->reset_stream_aec = aec;
489
qs->want_reset_stream = 1;
490
qs->send_state = QUIC_SSTREAM_STATE_RESET_SENT;
491
492
ossl_quic_sstream_free(qs->sstream);
493
qs->sstream = NULL;
494
495
shutdown_flush_done(qsm, qs);
496
ossl_quic_stream_map_update_state(qsm, qs);
497
return 1;
498
499
case QUIC_SSTREAM_STATE_RESET_SENT:
500
case QUIC_SSTREAM_STATE_RESET_RECVD:
501
/*
502
* Idempotent - no-op. In any case, do not send RESET_STREAM again - as
503
* mentioned, we must not send it from a terminal state.
504
*/
505
return 1;
506
}
507
}
508
509
int ossl_quic_stream_map_notify_reset_stream_acked(QUIC_STREAM_MAP *qsm,
510
QUIC_STREAM *qs)
511
{
512
switch (qs->send_state) {
513
default:
514
/* Wrong state - caller error. */
515
case QUIC_SSTREAM_STATE_NONE:
516
/* Stream without send part - caller error. */
517
return 0;
518
519
case QUIC_SSTREAM_STATE_RESET_SENT:
520
qs->send_state = QUIC_SSTREAM_STATE_RESET_RECVD;
521
return 1;
522
523
case QUIC_SSTREAM_STATE_RESET_RECVD:
524
/* Already in the correct state. */
525
return 1;
526
}
527
}
528
529
/*
530
* Stream Receive Part State Management
531
* ====================================
532
*/
533
534
int ossl_quic_stream_map_notify_size_known_recv_part(QUIC_STREAM_MAP *qsm,
535
QUIC_STREAM *qs,
536
uint64_t final_size)
537
{
538
switch (qs->recv_state) {
539
default:
540
/* Wrong state - caller error. */
541
case QUIC_RSTREAM_STATE_NONE:
542
/* Stream without receive part - caller error. */
543
return 0;
544
545
case QUIC_RSTREAM_STATE_RECV:
546
qs->recv_state = QUIC_RSTREAM_STATE_SIZE_KNOWN;
547
return 1;
548
}
549
}
550
551
int ossl_quic_stream_map_notify_totally_received(QUIC_STREAM_MAP *qsm,
552
QUIC_STREAM *qs)
553
{
554
switch (qs->recv_state) {
555
default:
556
/* Wrong state - caller error. */
557
case QUIC_RSTREAM_STATE_NONE:
558
/* Stream without receive part - caller error. */
559
return 0;
560
561
case QUIC_RSTREAM_STATE_SIZE_KNOWN:
562
qs->recv_state = QUIC_RSTREAM_STATE_DATA_RECVD;
563
qs->want_stop_sending = 0;
564
return 1;
565
}
566
}
567
568
int ossl_quic_stream_map_notify_totally_read(QUIC_STREAM_MAP *qsm,
569
QUIC_STREAM *qs)
570
{
571
switch (qs->recv_state) {
572
default:
573
/* Wrong state - caller error. */
574
case QUIC_RSTREAM_STATE_NONE:
575
/* Stream without receive part - caller error. */
576
return 0;
577
578
case QUIC_RSTREAM_STATE_DATA_RECVD:
579
qs->recv_state = QUIC_RSTREAM_STATE_DATA_READ;
580
581
/* QUIC_RSTREAM is no longer needed */
582
ossl_quic_rstream_free(qs->rstream);
583
qs->rstream = NULL;
584
return 1;
585
}
586
}
587
588
int ossl_quic_stream_map_notify_reset_recv_part(QUIC_STREAM_MAP *qsm,
589
QUIC_STREAM *qs,
590
uint64_t app_error_code,
591
uint64_t final_size)
592
{
593
uint64_t prev_final_size;
594
595
switch (qs->recv_state) {
596
default:
597
case QUIC_RSTREAM_STATE_NONE:
598
/* Stream without receive part - caller error. */
599
return 0;
600
601
case QUIC_RSTREAM_STATE_RECV:
602
case QUIC_RSTREAM_STATE_SIZE_KNOWN:
603
case QUIC_RSTREAM_STATE_DATA_RECVD:
604
if (ossl_quic_stream_recv_get_final_size(qs, &prev_final_size)
605
&& prev_final_size != final_size)
606
/* Cannot change previous final size. */
607
return 0;
608
609
qs->recv_state = QUIC_RSTREAM_STATE_RESET_RECVD;
610
qs->peer_reset_stream_aec = app_error_code;
611
612
/* RFC 9000 s. 3.3: No point sending STOP_SENDING if already reset. */
613
qs->want_stop_sending = 0;
614
615
/* QUIC_RSTREAM is no longer needed */
616
ossl_quic_rstream_free(qs->rstream);
617
qs->rstream = NULL;
618
619
ossl_quic_stream_map_update_state(qsm, qs);
620
return 1;
621
622
case QUIC_RSTREAM_STATE_DATA_READ:
623
/*
624
* If we already retired the FIN to the application this is moot
625
* - just ignore.
626
*/
627
case QUIC_RSTREAM_STATE_RESET_RECVD:
628
case QUIC_RSTREAM_STATE_RESET_READ:
629
/* Could be a reordered/retransmitted frame - just ignore. */
630
return 1;
631
}
632
}
633
634
int ossl_quic_stream_map_notify_app_read_reset_recv_part(QUIC_STREAM_MAP *qsm,
635
QUIC_STREAM *qs)
636
{
637
switch (qs->recv_state) {
638
default:
639
/* Wrong state - caller error. */
640
case QUIC_RSTREAM_STATE_NONE:
641
/* Stream without receive part - caller error. */
642
return 0;
643
644
case QUIC_RSTREAM_STATE_RESET_RECVD:
645
qs->recv_state = QUIC_RSTREAM_STATE_RESET_READ;
646
return 1;
647
}
648
}
649
650
int ossl_quic_stream_map_stop_sending_recv_part(QUIC_STREAM_MAP *qsm,
651
QUIC_STREAM *qs,
652
uint64_t aec)
653
{
654
if (qs->stop_sending)
655
return 0;
656
657
switch (qs->recv_state) {
658
default:
659
case QUIC_RSTREAM_STATE_NONE:
660
/* Send-only stream, so this makes no sense. */
661
case QUIC_RSTREAM_STATE_DATA_RECVD:
662
case QUIC_RSTREAM_STATE_DATA_READ:
663
/*
664
* Not really any point in STOP_SENDING if we already received all data.
665
*/
666
case QUIC_RSTREAM_STATE_RESET_RECVD:
667
case QUIC_RSTREAM_STATE_RESET_READ:
668
/*
669
* RFC 9000 s. 3.5: "STOP_SENDING SHOULD only be sent for a stream that
670
* has not been reset by the peer."
671
*
672
* No point in STOP_SENDING if the peer already reset their send part.
673
*/
674
return 0;
675
676
case QUIC_RSTREAM_STATE_RECV:
677
case QUIC_RSTREAM_STATE_SIZE_KNOWN:
678
/*
679
* RFC 9000 s. 3.5: "If the stream is in the Recv or Size Known state,
680
* the transport SHOULD signal this by sending a STOP_SENDING frame to
681
* prompt closure of the stream in the opposite direction."
682
*
683
* Note that it does make sense to send STOP_SENDING for a receive part
684
* of a stream which has a known size (because we have received a FIN)
685
* but which still has other (previous) stream data yet to be received.
686
*/
687
break;
688
}
689
690
qs->stop_sending = 1;
691
qs->stop_sending_aec = aec;
692
return ossl_quic_stream_map_schedule_stop_sending(qsm, qs);
693
}
694
695
/* Called to mark STOP_SENDING for generation, or regeneration after loss. */
696
int ossl_quic_stream_map_schedule_stop_sending(QUIC_STREAM_MAP *qsm, QUIC_STREAM *qs)
697
{
698
if (!qs->stop_sending)
699
return 0;
700
701
/*
702
* Ignore the call as a no-op if already scheduled, or in a state
703
* where it makes no sense to send STOP_SENDING.
704
*/
705
if (qs->want_stop_sending)
706
return 1;
707
708
switch (qs->recv_state) {
709
default:
710
return 1; /* ignore */
711
case QUIC_RSTREAM_STATE_RECV:
712
case QUIC_RSTREAM_STATE_SIZE_KNOWN:
713
/*
714
* RFC 9000 s. 3.5: "An endpoint is expected to send another
715
* STOP_SENDING frame if a packet containing a previous STOP_SENDING is
716
* lost. However, once either all stream data or a RESET_STREAM frame
717
* has been received for the stream -- that is, the stream is in any
718
* state other than "Recv" or "Size Known" -- sending a STOP_SENDING
719
* frame is unnecessary."
720
*/
721
break;
722
}
723
724
qs->want_stop_sending = 1;
725
ossl_quic_stream_map_update_state(qsm, qs);
726
return 1;
727
}
728
729
QUIC_STREAM *ossl_quic_stream_map_peek_accept_queue(QUIC_STREAM_MAP *qsm)
730
{
731
return accept_head(&qsm->accept_list);
732
}
733
734
void ossl_quic_stream_map_push_accept_queue(QUIC_STREAM_MAP *qsm,
735
QUIC_STREAM *s)
736
{
737
list_insert_tail(&qsm->accept_list, &s->accept_node);
738
if (ossl_quic_stream_is_bidi(s))
739
++qsm->num_accept_bidi;
740
else
741
++qsm->num_accept_uni;
742
}
743
744
static QUIC_RXFC *qsm_get_max_streams_rxfc(QUIC_STREAM_MAP *qsm, QUIC_STREAM *s)
745
{
746
return ossl_quic_stream_is_bidi(s)
747
? qsm->max_streams_bidi_rxfc
748
: qsm->max_streams_uni_rxfc;
749
}
750
751
void ossl_quic_stream_map_remove_from_accept_queue(QUIC_STREAM_MAP *qsm,
752
QUIC_STREAM *s,
753
OSSL_TIME rtt)
754
{
755
QUIC_RXFC *max_streams_rxfc;
756
757
list_remove(&qsm->accept_list, &s->accept_node);
758
if (ossl_quic_stream_is_bidi(s))
759
--qsm->num_accept_bidi;
760
else
761
--qsm->num_accept_uni;
762
763
if ((max_streams_rxfc = qsm_get_max_streams_rxfc(qsm, s)) != NULL)
764
(void)ossl_quic_rxfc_on_retire(max_streams_rxfc, 1, rtt);
765
}
766
767
size_t ossl_quic_stream_map_get_accept_queue_len(QUIC_STREAM_MAP *qsm, int is_uni)
768
{
769
return is_uni ? qsm->num_accept_uni : qsm->num_accept_bidi;
770
}
771
772
size_t ossl_quic_stream_map_get_total_accept_queue_len(QUIC_STREAM_MAP *qsm)
773
{
774
return ossl_quic_stream_map_get_accept_queue_len(qsm, /*is_uni=*/0)
775
+ ossl_quic_stream_map_get_accept_queue_len(qsm, /*is_uni=*/1);
776
}
777
778
void ossl_quic_stream_map_gc(QUIC_STREAM_MAP *qsm)
779
{
780
QUIC_STREAM *qs;
781
782
while ((qs = ready_for_gc_head(&qsm->ready_for_gc_list)) != NULL) {
783
ossl_quic_stream_map_release(qsm, qs);
784
}
785
}
786
787
static int eligible_for_shutdown_flush(QUIC_STREAM *qs)
788
{
789
/*
790
* We only care about servicing the send part of a stream (if any) during
791
* shutdown flush. We make sure we flush a stream if it is either
792
* non-terminated or was terminated normally such as via
793
* SSL_stream_conclude. A stream which was terminated via a reset is not
794
* flushed, and we will have thrown away the send buffer in that case
795
* anyway.
796
*/
797
switch (qs->send_state) {
798
case QUIC_SSTREAM_STATE_SEND:
799
case QUIC_SSTREAM_STATE_DATA_SENT:
800
return !ossl_quic_sstream_is_totally_acked(qs->sstream);
801
default:
802
return 0;
803
}
804
}
805
806
static void begin_shutdown_flush_each(QUIC_STREAM *qs, void *arg)
807
{
808
QUIC_STREAM_MAP *qsm = arg;
809
810
if (!eligible_for_shutdown_flush(qs) || qs->shutdown_flush)
811
return;
812
813
qs->shutdown_flush = 1;
814
++qsm->num_shutdown_flush;
815
}
816
817
void ossl_quic_stream_map_begin_shutdown_flush(QUIC_STREAM_MAP *qsm)
818
{
819
qsm->num_shutdown_flush = 0;
820
821
ossl_quic_stream_map_visit(qsm, begin_shutdown_flush_each, qsm);
822
}
823
824
int ossl_quic_stream_map_is_shutdown_flush_finished(QUIC_STREAM_MAP *qsm)
825
{
826
return qsm->num_shutdown_flush == 0;
827
}
828
829
/*
830
* QUIC Stream Iterator
831
* ====================
832
*/
833
void ossl_quic_stream_iter_init(QUIC_STREAM_ITER *it, QUIC_STREAM_MAP *qsm,
834
int advance_rr)
835
{
836
it->qsm = qsm;
837
it->stream = it->first_stream = qsm->rr_cur;
838
if (advance_rr && it->stream != NULL
839
&& ++qsm->rr_counter >= qsm->rr_stepping) {
840
qsm->rr_counter = 0;
841
qsm->rr_cur = active_next(&qsm->active_list, qsm->rr_cur);
842
}
843
}
844
845
void ossl_quic_stream_iter_next(QUIC_STREAM_ITER *it)
846
{
847
if (it->stream == NULL)
848
return;
849
850
it->stream = active_next(&it->qsm->active_list, it->stream);
851
if (it->stream == it->first_stream)
852
it->stream = NULL;
853
}
854
855