Coverage Report

Created: 2026-04-01 06:39

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