Coverage Report

Created: 2026-06-18 06:34

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