Coverage Report

Created: 2026-05-20 07:05

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