blob: 3ed1c1333f8092d83b5d699895c1b82f6609dae7 [file] [log] [blame]
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001#include <haproxy/mux_quic.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002
Amaury Denoyelleeb01f592021-10-07 16:44:05 +02003#include <import/eb64tree.h>
4
Frédéric Lécailledfbae762021-02-18 09:59:01 +01005#include <haproxy/api.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +01006#include <haproxy/connection.h>
Amaury Denoyelledeed7772021-12-03 11:36:46 +01007#include <haproxy/dynbuf.h>
Frédéric Lécaille9969adb2023-01-18 11:52:21 +01008#include <haproxy/h3.h>
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02009#include <haproxy/list.h>
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +020010#include <haproxy/ncbuf.h>
Amaury Denoyelledeed7772021-12-03 11:36:46 +010011#include <haproxy/pool.h>
Frédéric Lécaille9969adb2023-01-18 11:52:21 +010012#include <haproxy/proxy.h>
Amaury Denoyelled80fbca2022-09-19 17:02:28 +020013#include <haproxy/qmux_http.h>
Amaury Denoyelle36d50bf2022-09-19 16:12:38 +020014#include <haproxy/qmux_trace.h>
Amaury Denoyelle92fa63f2022-09-30 18:11:13 +020015#include <haproxy/quic_conn.h>
Amaury Denoyelle40c24f12023-01-27 17:47:49 +010016#include <haproxy/quic_frame.h>
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +010017#include <haproxy/quic_sock.h>
Amaury Denoyelle0cc02a32022-04-19 17:21:11 +020018#include <haproxy/quic_stream.h>
Frédéric Lécaille748ece62022-05-21 23:58:40 +020019#include <haproxy/quic_tp-t.h>
Amaury Denoyelleeb01f592021-10-07 16:44:05 +020020#include <haproxy/ssl_sock-t.h>
Willy Tarreaucb086c62022-05-27 09:47:12 +020021#include <haproxy/stconn.h>
Amaury Denoyelledd4fbfb2022-03-24 16:09:16 +010022#include <haproxy/trace.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +010023
Amaury Denoyelledeed7772021-12-03 11:36:46 +010024DECLARE_POOL(pool_head_qcc, "qcc", sizeof(struct qcc));
Frédéric Lécailledfbae762021-02-18 09:59:01 +010025DECLARE_POOL(pool_head_qcs, "qcs", sizeof(struct qcs));
26
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020027/* Emit a CONNECTION_CLOSE with error <err>. This will interrupt all future
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +020028 * send/receive operations.
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020029 */
30static void qcc_emit_cc(struct qcc *qcc, int err)
31{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +020032 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
33
Amaury Denoyellee2213df2023-03-09 10:14:28 +010034 /* This function must not be called multiple times. */
35 BUG_ON(qcc->flags & QC_CF_CC_EMIT);
36
Amaury Denoyelle8d44bfa2023-05-04 15:16:01 +020037 TRACE_STATE("set CONNECTION_CLOSE on quic-conn", QMUX_EV_QCC_ERR, qcc->conn);
Amaury Denoyelle57e6db72022-07-13 15:07:56 +020038 quic_set_connection_close(qcc->conn->handle.qc, quic_err_transport(err));
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020039 qcc->flags |= QC_CF_CC_EMIT;
40 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +020041
42 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020043}
44
Amaury Denoyelle4b167002022-12-12 09:59:50 +010045static void qc_free_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
46{
47 struct buffer buf;
48
49 if (ncb_is_null(ncbuf))
50 return;
51
52 buf = b_make(ncbuf->area, ncbuf->size, 0, 0);
53 b_free(&buf);
54 offer_buffers(NULL, 1);
55
56 *ncbuf = NCBUF_NULL;
57}
58
59/* Free <qcs> instance. This function is reserved for internal usage : it must
60 * only be called on qcs alloc error or on connection shutdown. Else
Ilya Shipitsin07be66d2023-04-01 12:26:42 +020061 * qcs_destroy must be preferred to handle QUIC flow-control increase.
Amaury Denoyelle4b167002022-12-12 09:59:50 +010062 */
63static void qcs_free(struct qcs *qcs)
64{
65 struct qcc *qcc = qcs->qcc;
66
67 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn, qcs);
68
Amaury Denoyelle15337fd2022-12-20 14:47:16 +010069 /* Safe to use even if already removed from the list. */
70 LIST_DEL_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +010071 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelle4b167002022-12-12 09:59:50 +010072
73 /* Release stream endpoint descriptor. */
74 BUG_ON(qcs->sd && !se_fl_test(qcs->sd, SE_FL_ORPHAN));
75 sedesc_free(qcs->sd);
76
77 /* Release app-layer context. */
78 if (qcs->ctx && qcc->app_ops->detach)
79 qcc->app_ops->detach(qcs);
80
81 /* Release qc_stream_desc buffer from quic-conn layer. */
82 qc_stream_desc_release(qcs->stream);
83
84 /* Free Rx/Tx buffers. */
85 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
86 b_free(&qcs->tx.buf);
87
88 BUG_ON(!qcc->strms[qcs_id_type(qcs->id)].nb_streams);
89 --qcc->strms[qcs_id_type(qcs->id)].nb_streams;
90
91 /* Remove qcs from qcc tree. */
92 eb64_delete(&qcs->by_id);
93
94 pool_free(pool_head_qcs, qcs);
95
96 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
97}
98
Amaury Denoyelledeed7772021-12-03 11:36:46 +010099/* Allocate a new QUIC streams with id <id> and type <type>. */
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200100static struct qcs *qcs_new(struct qcc *qcc, uint64_t id, enum qcs_type type)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100101{
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100102 struct qcs *qcs;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100103
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100104 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
105
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100106 qcs = pool_alloc(pool_head_qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200107 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200108 TRACE_ERROR("alloc failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200109 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200110 }
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200111
112 qcs->stream = NULL;
113 qcs->qcc = qcc;
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +0200114 qcs->sd = NULL;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200115 qcs->flags = QC_SF_NONE;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200116 qcs->st = QC_SS_IDLE;
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200117 qcs->ctx = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100118
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200119 /* App callback attach may register the stream for http-request wait.
120 * These fields must be initialed before.
121 */
122 LIST_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100123 LIST_INIT(&qcs->el_send);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200124 qcs->start = TICK_ETERNITY;
125
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100126 /* store transport layer stream descriptor in qcc tree */
127 qcs->id = qcs->by_id.key = id;
128 eb64_insert(&qcc->streams_by_id, &qcs->by_id);
129
130 qcc->strms[type].nb_streams++;
131
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200132 /* Allocate transport layer stream descriptor. Only needed for TX. */
133 if (!quic_stream_is_uni(id) || !quic_stream_is_remote(qcc, id)) {
134 struct quic_conn *qc = qcc->conn->handle.qc;
135 qcs->stream = qc_stream_desc_new(id, type, qcs, qc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200136 if (!qcs->stream) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200137 TRACE_ERROR("qc_stream_desc alloc failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200138 goto err;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200139 }
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200140 }
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200141
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100142 /* If stream is local, use peer remote-limit, or else the opposite. */
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200143 if (quic_stream_is_bidi(id)) {
144 qcs->tx.msd = quic_stream_is_local(qcc, id) ? qcc->rfctl.msd_bidi_r :
145 qcc->rfctl.msd_bidi_l;
146 }
147 else if (quic_stream_is_local(qcc, id)) {
148 qcs->tx.msd = qcc->rfctl.msd_uni_l;
149 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100150
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200151 qcs->rx.ncbuf = NCBUF_NULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +0100152 qcs->rx.app_buf = BUF_NULL;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200153 qcs->rx.offset = qcs->rx.offset_max = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100154
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200155 if (quic_stream_is_bidi(id)) {
156 qcs->rx.msd = quic_stream_is_local(qcc, id) ? qcc->lfctl.msd_bidi_l :
157 qcc->lfctl.msd_bidi_r;
158 }
159 else if (quic_stream_is_remote(qcc, id)) {
160 qcs->rx.msd = qcc->lfctl.msd_uni_r;
161 }
Amaury Denoyellea9773552022-05-16 14:38:25 +0200162 qcs->rx.msd_init = qcs->rx.msd;
Amaury Denoyelle44d09122022-04-26 11:21:10 +0200163
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100164 qcs->tx.buf = BUF_NULL;
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100165 qcs->tx.offset = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +0100166 qcs->tx.sent_offset = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100167
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100168 qcs->wait_event.tasklet = NULL;
169 qcs->wait_event.events = 0;
170 qcs->subs = NULL;
171
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200172 qcs->err = 0;
173
Amaury Denoyelle3d550842023-01-24 17:42:21 +0100174 if (qcc->app_ops->attach && qcc->app_ops->attach(qcs, qcc->ctx)) {
175 TRACE_ERROR("app proto failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
176 goto err;
177 }
178
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100179 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100180 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100181 return qcs;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200182
183 err:
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100184 qcs_free(qcs);
185 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200186 return NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100187}
188
Amaury Denoyelle3abeb572022-07-04 11:42:27 +0200189static forceinline struct stconn *qcs_sc(const struct qcs *qcs)
190{
191 return qcs->sd ? qcs->sd->sc : NULL;
192}
193
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200194/* Reset the <qcc> inactivity timeout for http-keep-alive timeout. */
195static forceinline void qcc_reset_idle_start(struct qcc *qcc)
196{
197 qcc->idle_start = now_ms;
198}
199
Amaury Denoyellec603de42022-07-25 11:21:46 +0200200/* Decrement <qcc> sc. */
201static forceinline void qcc_rm_sc(struct qcc *qcc)
202{
203 BUG_ON_HOT(!qcc->nb_sc);
204 --qcc->nb_sc;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200205
206 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
207 * refreshed after this on stream detach.
208 */
209 if (!qcc->nb_sc && !qcc->nb_hreq)
210 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200211}
212
213/* Decrement <qcc> hreq. */
214static forceinline void qcc_rm_hreq(struct qcc *qcc)
215{
216 BUG_ON_HOT(!qcc->nb_hreq);
217 --qcc->nb_hreq;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200218
219 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
220 * refreshed after this on I/O handler.
221 */
222 if (!qcc->nb_sc && !qcc->nb_hreq)
223 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200224}
225
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200226static inline int qcc_is_dead(const struct qcc *qcc)
227{
228 /* Mux connection is considered dead if :
229 * - all stream-desc are detached AND
230 * = connection is on error OR
231 * = mux timeout has already fired or is unset
232 */
233 if (!qcc->nb_sc && ((qcc->conn->flags & CO_FL_ERROR) || !qcc->task))
234 return 1;
235
236 return 0;
237}
238
239/* Return true if the mux timeout should be armed. */
240static inline int qcc_may_expire(struct qcc *qcc)
241{
242 return !qcc->nb_sc;
243}
244
245/* Refresh the timeout on <qcc> if needed depending on its state. */
246static void qcc_refresh_timeout(struct qcc *qcc)
247{
248 const struct proxy *px = qcc->proxy;
249
250 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
251
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200252 if (!qcc->task) {
253 TRACE_DEVEL("already expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200254 goto leave;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200255 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200256
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200257 /* Check if upper layer is responsible of timeout management. */
258 if (!qcc_may_expire(qcc)) {
259 TRACE_DEVEL("not eligible for timeout", QMUX_EV_QCC_WAKE, qcc->conn);
260 qcc->task->expire = TICK_ETERNITY;
261 task_queue(qcc->task);
262 goto leave;
263 }
264
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200265 /* Frontend timeout management
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100266 * - shutdown done -> timeout client-fin
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200267 * - detached streams with data left to send -> default timeout
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200268 * - stream waiting on incomplete request or no stream yet activated -> timeout http-request
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200269 * - idle after stream processing -> timeout http-keep-alive
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +0100270 *
271 * If proxy stop-stop in progress, immediate or spread close will be
272 * processed if shutdown already one or connection is idle.
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200273 */
274 if (!conn_is_back(qcc->conn)) {
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100275 if (qcc->nb_hreq && !(qcc->flags & QC_CF_APP_SHUT)) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200276 TRACE_DEVEL("one or more requests still in progress", QMUX_EV_QCC_WAKE, qcc->conn);
277 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200278 task_queue(qcc->task);
279 goto leave;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200280 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200281
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100282 if ((!LIST_ISEMPTY(&qcc->opening_list) || unlikely(!qcc->largest_bidi_r)) &&
283 !(qcc->flags & QC_CF_APP_SHUT)) {
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200284 int timeout = px->timeout.httpreq;
285 struct qcs *qcs = NULL;
286 int base_time;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200287
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200288 /* Use start time of first stream waiting on HTTP or
289 * qcc idle if no stream not yet used.
290 */
291 if (likely(!LIST_ISEMPTY(&qcc->opening_list)))
292 qcs = LIST_ELEM(qcc->opening_list.n, struct qcs *, el_opening);
293 base_time = qcs ? qcs->start : qcc->idle_start;
294
295 TRACE_DEVEL("waiting on http request", QMUX_EV_QCC_WAKE, qcc->conn, qcs);
296 qcc->task->expire = tick_add_ifset(base_time, timeout);
297 }
298 else {
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100299 if (qcc->flags & QC_CF_APP_SHUT) {
300 TRACE_DEVEL("connection in closing", QMUX_EV_QCC_WAKE, qcc->conn);
301 qcc->task->expire = tick_add_ifset(now_ms,
302 qcc->shut_timeout);
303 }
304 else {
305 /* Use http-request timeout if keep-alive timeout not set */
306 int timeout = tick_isset(px->timeout.httpka) ?
307 px->timeout.httpka : px->timeout.httpreq;
308 TRACE_DEVEL("at least one request achieved but none currently in progress", QMUX_EV_QCC_WAKE, qcc->conn);
309 qcc->task->expire = tick_add_ifset(qcc->idle_start, timeout);
310 }
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +0100311
312 /* If proxy soft-stop in progress and connection is
313 * inactive, close the connection immediately. If a
314 * close-spread-time is configured, randomly spread the
315 * timer over a closing window.
316 */
317 if ((qcc->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED)) &&
318 !(global.tune.options & GTUNE_DISABLE_ACTIVE_CLOSE)) {
319
320 /* Wake timeout task immediately if window already expired. */
321 int remaining_window = tick_isset(global.close_spread_end) ?
322 tick_remain(now_ms, global.close_spread_end) : 0;
323
324 TRACE_DEVEL("proxy disabled, prepare connection soft-stop", QMUX_EV_QCC_WAKE, qcc->conn);
325 if (remaining_window) {
326 /* We don't need to reset the expire if it would
327 * already happen before the close window end.
328 */
329 if (!tick_isset(qcc->task->expire) ||
330 tick_is_le(global.close_spread_end, qcc->task->expire)) {
331 /* Set an expire value shorter than the current value
332 * because the close spread window end comes earlier.
333 */
334 qcc->task->expire = tick_add(now_ms,
335 statistical_prng_range(remaining_window));
336 }
337 }
338 else {
339 /* We are past the soft close window end, wake the timeout
340 * task up immediately.
341 */
342 qcc->task->expire = now_ms;
343 task_wakeup(qcc->task, TASK_WOKEN_TIMER);
344 }
345 }
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200346 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200347 }
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200348
349 /* fallback to default timeout if frontend specific undefined or for
350 * backend connections.
351 */
352 if (!tick_isset(qcc->task->expire)) {
353 TRACE_DEVEL("fallback to default timeout", QMUX_EV_QCC_WAKE, qcc->conn);
354 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200355 }
356
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200357 task_queue(qcc->task);
358
359 leave:
360 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
361}
362
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200363/* Mark a stream as open if it was idle. This can be used on every
364 * successful emission/reception operation to update the stream state.
365 */
366static void qcs_idle_open(struct qcs *qcs)
367{
368 /* This operation must not be used if the stream is already closed. */
369 BUG_ON_HOT(qcs->st == QC_SS_CLO);
370
371 if (qcs->st == QC_SS_IDLE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200372 TRACE_STATE("opening stream", QMUX_EV_QCS_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200373 qcs->st = QC_SS_OPEN;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200374 }
375}
376
377/* Close the local channel of <qcs> instance. */
378static void qcs_close_local(struct qcs *qcs)
379{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200380 TRACE_STATE("closing stream locally", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
381
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200382 /* The stream must have already been opened. */
383 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
384
385 /* This operation cannot be used multiple times. */
386 BUG_ON_HOT(qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO);
387
388 if (quic_stream_is_bidi(qcs->id)) {
389 qcs->st = (qcs->st == QC_SS_HREM) ? QC_SS_CLO : QC_SS_HLOC;
Amaury Denoyelleafb7b9d2022-09-19 11:58:24 +0200390
391 if (qcs->flags & QC_SF_HREQ_RECV)
392 qcc_rm_hreq(qcs->qcc);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200393 }
394 else {
395 /* Only local uni streams are valid for this operation. */
396 BUG_ON_HOT(quic_stream_is_remote(qcs->qcc, qcs->id));
397 qcs->st = QC_SS_CLO;
398 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200399}
400
401/* Close the remote channel of <qcs> instance. */
402static void qcs_close_remote(struct qcs *qcs)
403{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200404 TRACE_STATE("closing stream remotely", QMUX_EV_QCS_RECV, qcs->qcc->conn, qcs);
405
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200406 /* The stream must have already been opened. */
407 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
408
409 /* This operation cannot be used multiple times. */
410 BUG_ON_HOT(qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO);
411
412 if (quic_stream_is_bidi(qcs->id)) {
413 qcs->st = (qcs->st == QC_SS_HLOC) ? QC_SS_CLO : QC_SS_HREM;
414 }
415 else {
416 /* Only remote uni streams are valid for this operation. */
417 BUG_ON_HOT(quic_stream_is_local(qcs->qcc, qcs->id));
418 qcs->st = QC_SS_CLO;
419 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200420}
421
422static int qcs_is_close_local(struct qcs *qcs)
423{
424 return qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO;
425}
426
Amaury Denoyelle6eb3c4b2022-12-09 16:26:03 +0100427static int qcs_is_close_remote(struct qcs *qcs)
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200428{
429 return qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO;
430}
431
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100432struct buffer *qc_get_buf(struct qcs *qcs, struct buffer *bptr)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100433{
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100434 struct buffer *buf = b_alloc(bptr);
435 BUG_ON(!buf);
436 return buf;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100437}
438
Amaury Denoyellea441ec92022-07-04 15:48:57 +0200439static struct ncbuf *qc_get_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200440{
441 struct buffer buf = BUF_NULL;
442
443 if (ncb_is_null(ncbuf)) {
444 b_alloc(&buf);
445 BUG_ON(b_is_null(&buf));
446
447 *ncbuf = ncb_make(buf.area, buf.size, 0);
448 ncb_init(ncbuf, 0);
449 }
450
451 return ncbuf;
452}
453
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500454/* Notify an eventual subscriber on <qcs> or else wakeup up the stconn layer if
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200455 * initialized.
456 */
457static void qcs_alert(struct qcs *qcs)
458{
459 if (qcs->subs) {
460 qcs_notify_recv(qcs);
461 qcs_notify_send(qcs);
462 }
463 else if (qcs_sc(qcs) && qcs->sd->sc->app_ops->wake) {
464 qcs->sd->sc->app_ops->wake(qcs->sd->sc);
465 }
466}
467
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100468int qcs_subscribe(struct qcs *qcs, int event_type, struct wait_event *es)
469{
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100470 struct qcc *qcc = qcs->qcc;
471
472 TRACE_ENTER(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100473
474 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
475 BUG_ON(qcs->subs && qcs->subs != es);
476
477 es->events |= event_type;
478 qcs->subs = es;
479
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100480 if (event_type & SUB_RETRY_RECV)
481 TRACE_DEVEL("subscribe(recv)", QMUX_EV_STRM_RECV, qcc->conn, qcs);
482
483 if (event_type & SUB_RETRY_SEND)
484 TRACE_DEVEL("subscribe(send)", QMUX_EV_STRM_SEND, qcc->conn, qcs);
485
486 TRACE_LEAVE(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
487
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100488 return 0;
489}
490
491void qcs_notify_recv(struct qcs *qcs)
492{
493 if (qcs->subs && qcs->subs->events & SUB_RETRY_RECV) {
494 tasklet_wakeup(qcs->subs->tasklet);
495 qcs->subs->events &= ~SUB_RETRY_RECV;
496 if (!qcs->subs->events)
497 qcs->subs = NULL;
498 }
499}
500
501void qcs_notify_send(struct qcs *qcs)
502{
503 if (qcs->subs && qcs->subs->events & SUB_RETRY_SEND) {
504 tasklet_wakeup(qcs->subs->tasklet);
505 qcs->subs->events &= ~SUB_RETRY_SEND;
506 if (!qcs->subs->events)
507 qcs->subs = NULL;
508 }
509}
510
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200511/* Open a locally initiated stream for the connection <qcc>. Set <bidi> for a
512 * bidirectional stream, else an unidirectional stream is opened. The next
513 * available ID on the connection will be used according to the stream type.
514 *
515 * Returns the allocated stream instance or NULL on error.
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100516 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200517struct qcs *qcc_init_stream_local(struct qcc *qcc, int bidi)
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100518{
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200519 struct qcs *qcs;
520 enum qcs_type type;
521 uint64_t *next;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100522
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200523 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
524
525 if (bidi) {
526 next = &qcc->next_bidi_l;
527 type = conn_is_back(qcc->conn) ? QCS_CLT_BIDI : QCS_SRV_BIDI;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100528 }
529 else {
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200530 next = &qcc->next_uni_l;
531 type = conn_is_back(qcc->conn) ? QCS_CLT_UNI : QCS_SRV_UNI;
532 }
533
534 /* TODO ensure that we won't overflow remote peer flow control limit on
535 * streams. Else, we should emit a STREAMS_BLOCKED frame.
536 */
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100537
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200538 qcs = qcs_new(qcc, *next, type);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200539 if (!qcs) {
540 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellec0c6b6d2023-03-09 10:16:09 +0100541 qcc_emit_cc(qcc, QC_ERR_INTERNAL_ERROR);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200542 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200543 }
Amaury Denoyellec055e302022-02-07 16:09:06 +0100544
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200545 TRACE_PROTO("opening local stream", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200546 *next += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100547
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200548 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200549 return qcs;
550}
551
552/* Open a remote initiated stream for the connection <qcc> with ID <id>. The
553 * caller is responsible to ensure that a stream with the same ID was not
554 * already opened. This function will also create all intermediaries streams
555 * with ID smaller than <id> not already opened before.
556 *
557 * Returns the allocated stream instance or NULL on error.
558 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200559static struct qcs *qcc_init_stream_remote(struct qcc *qcc, uint64_t id)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200560{
561 struct qcs *qcs = NULL;
562 enum qcs_type type;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200563 uint64_t *largest, max_id;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100564
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200565 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200566
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200567 BUG_ON_HOT(quic_stream_is_local(qcc, id));
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100568
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200569 if (quic_stream_is_bidi(id)) {
570 largest = &qcc->largest_bidi_r;
571 type = conn_is_back(qcc->conn) ? QCS_SRV_BIDI : QCS_CLT_BIDI;
572 }
573 else {
574 largest = &qcc->largest_uni_r;
575 type = conn_is_back(qcc->conn) ? QCS_SRV_UNI : QCS_CLT_UNI;
576 }
577
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200578 /* RFC 9000 4.6. Controlling Concurrency
579 *
580 * An endpoint that receives a frame with a stream ID exceeding the
581 * limit it has sent MUST treat this as a connection error of type
582 * STREAM_LIMIT_ERROR
583 */
584 max_id = quic_stream_is_bidi(id) ? qcc->lfctl.ms_bidi * 4 :
585 qcc->lfctl.ms_uni * 4;
586 if (id >= max_id) {
587 TRACE_ERROR("flow control error", QMUX_EV_QCS_NEW|QMUX_EV_PROTO_ERR, qcc->conn);
588 qcc_emit_cc(qcc, QC_ERR_STREAM_LIMIT_ERROR);
589 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200590 }
591
592 /* Only stream ID not already opened can be used. */
593 BUG_ON(id < *largest);
594
595 while (id >= *largest) {
Amaury Denoyellefd79ddb2022-08-16 11:13:45 +0200596 const char *str = *largest < id ? "initializing intermediary remote stream" :
597 "initializing remote stream";
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200598
599 qcs = qcs_new(qcc, *largest, type);
600 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200601 TRACE_ERROR("stream fallocation failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellec0c6b6d2023-03-09 10:16:09 +0100602 qcc_emit_cc(qcc, QC_ERR_INTERNAL_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200603 goto err;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100604 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200605
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200606 TRACE_PROTO(str, QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200607 *largest += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100608 }
609
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200610 out:
611 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle50742292022-03-29 14:57:19 +0200612 return qcs;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200613
614 err:
615 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
616 return NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200617}
618
619/* Use this function for a stream <id> which is not in <qcc> stream tree. It
620 * returns true if the associated stream is closed.
621 */
622static int qcc_stream_id_is_closed(struct qcc *qcc, uint64_t id)
623{
624 uint64_t *largest;
625
626 /* This function must only be used for stream not present in the stream tree. */
627 BUG_ON_HOT(eb64_lookup(&qcc->streams_by_id, id));
628
629 if (quic_stream_is_local(qcc, id)) {
630 largest = quic_stream_is_uni(id) ? &qcc->next_uni_l :
631 &qcc->next_bidi_l;
632 }
633 else {
634 largest = quic_stream_is_uni(id) ? &qcc->largest_uni_r :
635 &qcc->largest_bidi_r;
636 }
637
638 return id < *largest;
639}
640
641/* Retrieve the stream instance from <id> ID. This can be used when receiving
642 * STREAM, STREAM_DATA_BLOCKED, RESET_STREAM, MAX_STREAM_DATA or STOP_SENDING
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200643 * frames. Set to false <receive_only> or <send_only> if these particular types
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200644 * of streams are not allowed. If the stream instance is found, it is stored in
645 * <out>.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200646 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200647 * Returns 0 on success else non-zero. On error, a RESET_STREAM or a
648 * CONNECTION_CLOSE is automatically emitted. Beware that <out> may be NULL
649 * on success if the stream has already been closed.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200650 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200651int qcc_get_qcs(struct qcc *qcc, uint64_t id, int receive_only, int send_only,
652 struct qcs **out)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200653{
654 struct eb64_node *node;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200655
656 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200657 *out = NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200658
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200659 if (!receive_only && quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200660 TRACE_ERROR("receive-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200661 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200662 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200663 }
664
665 if (!send_only && quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200666 TRACE_ERROR("send-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200667 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200668 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200669 }
670
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200671 /* Search the stream in the connection tree. */
672 node = eb64_lookup(&qcc->streams_by_id, id);
673 if (node) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200674 *out = eb64_entry(node, struct qcs, by_id);
675 TRACE_DEVEL("using stream from connection tree", QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200676 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200677 }
678
679 /* Check if stream is already closed. */
680 if (qcc_stream_id_is_closed(qcc, id)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200681 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200682 /* Consider this as a success even if <out> is left NULL. */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200683 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200684 }
685
686 /* Create the stream. This is valid only for remote initiated one. A
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500687 * local stream must have already been explicitly created by the
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200688 * application protocol layer.
689 */
690 if (quic_stream_is_local(qcc, id)) {
691 /* RFC 9000 19.8. STREAM Frames
692 *
693 * An endpoint MUST terminate the connection with error
694 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
695 * initiated stream that has not yet been created, or for a send-only
696 * stream.
697 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200698 TRACE_ERROR("locally initiated stream not yet created", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200699 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200700 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200701 }
702 else {
703 /* Remote stream not found - try to open it. */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200704 *out = qcc_init_stream_remote(qcc, id);
705 if (!*out) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200706 TRACE_ERROR("stream creation error", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200707 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200708 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200709 }
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100710
711 out:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200712 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200713 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200714
715 err:
716 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
717 return 1;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100718}
719
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200720/* Simple function to duplicate a buffer */
721static inline struct buffer qcs_b_dup(const struct ncbuf *b)
722{
723 return b_make(ncb_orig(b), b->size, b->head, ncb_data(b, 0));
724}
725
Amaury Denoyelle36d4b5e2022-07-01 11:25:40 +0200726/* Remove <bytes> from <qcs> Rx buffer. Flow-control for received offsets may
727 * be allocated for the peer if needed.
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200728 */
729static void qcs_consume(struct qcs *qcs, uint64_t bytes)
730{
731 struct qcc *qcc = qcs->qcc;
732 struct quic_frame *frm;
733 struct ncbuf *buf = &qcs->rx.ncbuf;
734 enum ncb_ret ret;
735
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200736 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
737
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200738 ret = ncb_advance(buf, bytes);
739 if (ret) {
740 ABORT_NOW(); /* should not happens because removal only in data */
741 }
742
743 if (ncb_is_empty(buf))
744 qc_free_ncbuf(qcs, buf);
745
746 qcs->rx.offset += bytes;
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100747 /* Not necessary to emit a MAX_STREAM_DATA if all data received. */
748 if (qcs->flags & QC_SF_SIZE_KNOWN)
749 goto conn_fctl;
750
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200751 if (qcs->rx.msd - qcs->rx.offset < qcs->rx.msd_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200752 TRACE_DATA("increase stream credit via MAX_STREAM_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100753 frm = qc_frm_alloc(QUIC_FT_MAX_STREAM_DATA);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100754 if (!frm) {
755 qcc_emit_cc(qcc, QC_ERR_INTERNAL_ERROR);
756 return;
757 }
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200758
759 qcs->rx.msd = qcs->rx.offset + qcs->rx.msd_init;
760
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200761 frm->max_stream_data.id = qcs->id;
762 frm->max_stream_data.max_stream_data = qcs->rx.msd;
763
764 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
765 tasklet_wakeup(qcc->wait_event.tasklet);
766 }
767
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100768 conn_fctl:
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200769 qcc->lfctl.offsets_consume += bytes;
770 if (qcc->lfctl.md - qcc->lfctl.offsets_consume < qcc->lfctl.md_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200771 TRACE_DATA("increase conn credit via MAX_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100772 frm = qc_frm_alloc(QUIC_FT_MAX_DATA);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100773 if (!frm) {
774 qcc_emit_cc(qcc, QC_ERR_INTERNAL_ERROR);
775 return;
776 }
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200777
778 qcc->lfctl.md = qcc->lfctl.offsets_consume + qcc->lfctl.md_init;
779
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200780 frm->max_data.max_data = qcc->lfctl.md;
781
782 LIST_APPEND(&qcs->qcc->lfctl.frms, &frm->list);
783 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
784 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200785
786 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200787}
788
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200789/* Decode the content of STREAM frames already received on the stream instance
790 * <qcs>.
791 *
792 * Returns 0 on success else non-zero.
793 */
794static int qcc_decode_qcs(struct qcc *qcc, struct qcs *qcs)
795{
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200796 struct buffer b;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200797 ssize_t ret;
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200798 int fin = 0;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200799
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200800 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
801
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200802 b = qcs_b_dup(&qcs->rx.ncbuf);
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200803
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200804 /* Signal FIN to application if STREAM FIN received with all data. */
805 if (qcs_is_close_remote(qcs))
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200806 fin = 1;
807
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100808 if (!(qcs->flags & QC_SF_READ_ABORTED)) {
809 ret = qcc->app_ops->decode_qcs(qcs, &b, fin);
810 if (ret < 0) {
811 TRACE_ERROR("decoding error", QMUX_EV_QCS_RECV, qcc->conn, qcs);
812 goto err;
813 }
814 }
815 else {
816 TRACE_DATA("ignore read on stream", QMUX_EV_QCS_RECV, qcc->conn, qcs);
817 ret = b_data(&b);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200818 }
819
Amaury Denoyelle381d8132023-02-17 09:51:20 +0100820 if (ret)
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200821 qcs_consume(qcs, ret);
Amaury Denoyelle381d8132023-02-17 09:51:20 +0100822 if (ret || (!b_data(&b) && fin))
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200823 qcs_notify_recv(qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200824
825 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200826 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200827
828 err:
829 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
830 return 1;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200831}
832
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200833/* Emit a CONNECTION_CLOSE_APP with error <err>. Reserved for application error
Amaury Denoyelled666d742022-07-13 15:15:58 +0200834 * code. To close the connection right away, set <immediate> : this is useful
835 * when dealing with a connection fatal error. Else a graceful shutdown will be
836 * conducted : the error-code is only registered. The lower layer is
837 * responsible to close the connection when deemed suitable. Note that in this
838 * case the error code might be overwritten if an immediate close is requested
839 * in the interval.
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200840 */
Amaury Denoyelled666d742022-07-13 15:15:58 +0200841void qcc_emit_cc_app(struct qcc *qcc, int err, int immediate)
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200842{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200843 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
844
Amaury Denoyellee2213df2023-03-09 10:14:28 +0100845 /* This function must not be called multiple times after immediate is set. */
846 BUG_ON(qcc->flags & QC_CF_CC_EMIT);
847
Amaury Denoyelled666d742022-07-13 15:15:58 +0200848 if (immediate) {
849 quic_set_connection_close(qcc->conn->handle.qc, quic_err_app(err));
850 qcc->flags |= QC_CF_CC_EMIT;
851 tasklet_wakeup(qcc->wait_event.tasklet);
852 }
853 else {
Amaury Denoyelleb737f952023-05-04 15:36:17 +0200854 /* Only register the error code for graceful shutdown.
855 * Do not overwrite quic-conn existing code if already set.
856 * TODO implement a wrapper function for this in quic-conn module
857 */
858 if (!(qcc->conn->handle.qc->flags & QUIC_FL_CONN_IMMEDIATE_CLOSE))
859 qcc->conn->handle.qc->err = quic_err_app(err);
Amaury Denoyelled666d742022-07-13 15:15:58 +0200860 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200861
862 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200863}
864
865/* Prepare for the emission of RESET_STREAM on <qcs> with error code <err>. */
866void qcc_reset_stream(struct qcs *qcs, int err)
867{
868 struct qcc *qcc = qcs->qcc;
869
870 if ((qcs->flags & QC_SF_TO_RESET) || qcs_is_close_local(qcs))
871 return;
872
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200873 TRACE_STATE("reset stream", QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200874 qcs->flags |= QC_SF_TO_RESET;
875 qcs->err = err;
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100876
Amaury Denoyelle178fbff2023-03-22 11:17:59 +0100877 /* Remove prepared stream data from connection flow-control calcul. */
878 if (qcs->tx.offset > qcs->tx.sent_offset) {
879 const uint64_t diff = qcs->tx.offset - qcs->tx.sent_offset;
880 BUG_ON(qcc->tx.offsets - diff < qcc->tx.sent_offsets);
881 qcc->tx.offsets -= diff;
882 /* Reset qcs offset to prevent BUG_ON() on qcs_destroy(). */
883 qcs->tx.offset = qcs->tx.sent_offset;
884 }
885
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100886 qcc_send_stream(qcs, 1);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200887 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100888}
889
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100890/* Register <qcs> stream for emission of STREAM, STOP_SENDING or RESET_STREAM.
891 * Set <urg> to 1 if stream content should be treated in priority compared to
892 * other streams.
893 */
894void qcc_send_stream(struct qcs *qcs, int urg)
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100895{
896 struct qcc *qcc = qcs->qcc;
897
898 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
899
900 /* Cannot send if already closed. */
901 BUG_ON(qcs_is_close_local(qcs));
902
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100903 if (urg) {
904 LIST_DEL_INIT(&qcs->el_send);
905 LIST_INSERT(&qcc->send_list, &qcs->el_send);
906 }
907 else {
908 if (!LIST_INLIST(&qcs->el_send))
909 LIST_APPEND(&qcs->qcc->send_list, &qcs->el_send);
910 }
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100911
912 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
913}
914
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100915/* Prepare for the emission of STOP_SENDING on <qcs>. */
916void qcc_abort_stream_read(struct qcs *qcs)
917{
918 struct qcc *qcc = qcs->qcc;
919
920 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn, qcs);
921
922 if ((qcs->flags & QC_SF_TO_STOP_SENDING) || qcs_is_close_remote(qcs))
923 goto end;
924
925 TRACE_STATE("abort stream read", QMUX_EV_QCS_END, qcc->conn, qcs);
926 qcs->flags |= (QC_SF_TO_STOP_SENDING|QC_SF_READ_ABORTED);
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100927
928 qcc_send_stream(qcs, 1);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100929 tasklet_wakeup(qcc->wait_event.tasklet);
930
931 end:
932 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn, qcs);
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200933}
934
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200935/* Install the <app_ops> applicative layer of a QUIC connection on mux <qcc>.
936 * Returns 0 on success else non-zero.
937 */
938int qcc_install_app_ops(struct qcc *qcc, const struct qcc_app_ops *app_ops)
939{
940 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn);
941
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100942 if (app_ops->init && !app_ops->init(qcc)) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200943 TRACE_ERROR("app ops init error", QMUX_EV_QCC_NEW, qcc->conn);
944 goto err;
945 }
946
947 TRACE_PROTO("application layer initialized", QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100948 qcc->app_ops = app_ops;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200949
Amaury Denoyelle71fd0362023-01-24 17:35:37 +0100950 /* RFC 9114 7.2.4.2. Initialization
951 *
952 * Endpoints MUST NOT require any data to be
953 * received from the peer prior to sending the SETTINGS frame;
954 * settings MUST be sent as soon as the transport is ready to
955 * send data.
956 */
957 if (qcc->app_ops->finalize) {
958 if (qcc->app_ops->finalize(qcc->ctx)) {
959 TRACE_ERROR("app ops finalize error", QMUX_EV_QCC_NEW, qcc->conn);
960 goto err;
961 }
962 tasklet_wakeup(qcc->wait_event.tasklet);
963 }
964
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200965 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
966 return 0;
967
968 err:
969 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
970 return 1;
971}
972
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200973/* Handle a new STREAM frame for stream with id <id>. Payload is pointed by
974 * <data> with length <len> and represents the offset <offset>. <fin> is set if
975 * the QUIC frame FIN bit is set.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100976 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200977 * Returns 0 on success else non-zero. On error, the received frame should not
978 * be acknowledged.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100979 */
980int qcc_recv(struct qcc *qcc, uint64_t id, uint64_t len, uint64_t offset,
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200981 char fin, char *data)
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100982{
983 struct qcs *qcs;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200984 enum ncb_ret ret;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100985
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100986 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
987
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200988 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200989 TRACE_DATA("connection closed", QMUX_EV_QCC_RECV, qcc->conn);
990 goto err;
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200991 }
992
Amaury Denoyelle6754d7e2022-05-23 16:12:49 +0200993 /* RFC 9000 19.8. STREAM Frames
994 *
995 * An endpoint MUST terminate the connection with error
996 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
997 * initiated stream that has not yet been created, or for a send-only
998 * stream.
999 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +02001000 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001001 TRACE_DATA("qcs retrieval error", QMUX_EV_QCC_RECV, qcc->conn);
1002 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +02001003 }
1004
1005 if (!qcs) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001006 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV, qcc->conn);
1007 goto out;
Amaury Denoyelle57161b72022-07-07 15:02:32 +02001008 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001009
Amaury Denoyellebf91e392022-07-04 10:02:04 +02001010 /* RFC 9000 4.5. Stream Final Size
1011 *
1012 * Once a final size for a stream is known, it cannot change. If a
1013 * RESET_STREAM or STREAM frame is received indicating a change in the
1014 * final size for the stream, an endpoint SHOULD respond with an error
1015 * of type FINAL_SIZE_ERROR; see Section 11 for details on error
1016 * handling.
1017 */
1018 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1019 (offset + len > qcs->rx.offset_max || (fin && offset + len < qcs->rx.offset_max))) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001020 TRACE_ERROR("final size error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR, qcc->conn, qcs);
Amaury Denoyellebf91e392022-07-04 10:02:04 +02001021 qcc_emit_cc(qcc, QC_ERR_FINAL_SIZE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001022 goto err;
Amaury Denoyellebf91e392022-07-04 10:02:04 +02001023 }
1024
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001025 if (qcs_is_close_remote(qcs)) {
1026 TRACE_DATA("skipping STREAM for remotely closed", QMUX_EV_QCC_RECV, qcc->conn);
1027 goto out;
1028 }
1029
Amaury Denoyellefa241932023-02-14 15:36:36 +01001030 if (offset + len < qcs->rx.offset ||
1031 (offset + len == qcs->rx.offset && (!fin || (qcs->flags & QC_SF_SIZE_KNOWN)))) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001032 TRACE_DATA("already received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1033 goto out;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001034 }
1035
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001036 TRACE_PROTO("receiving STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001037 qcs_idle_open(qcs);
1038
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001039 if (offset + len > qcs->rx.offset_max) {
1040 uint64_t diff = offset + len - qcs->rx.offset_max;
1041 qcs->rx.offset_max = offset + len;
1042 qcc->lfctl.offsets_recv += diff;
1043
1044 if (offset + len > qcs->rx.msd ||
1045 qcc->lfctl.offsets_recv > qcc->lfctl.md) {
1046 /* RFC 9000 4.1. Data Flow Control
1047 *
1048 * A receiver MUST close the connection with an error
1049 * of type FLOW_CONTROL_ERROR if the sender violates
1050 * the advertised connection or stream data limits
1051 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001052 TRACE_ERROR("flow control error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001053 qcc->conn, qcs);
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001054 qcc_emit_cc(qcc, QC_ERR_FLOW_CONTROL_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001055 goto err;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001056 }
1057 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001058
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001059 if (!qc_get_ncbuf(qcs, &qcs->rx.ncbuf) || ncb_is_null(&qcs->rx.ncbuf)) {
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001060 /* TODO should mark qcs as full */
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001061 ABORT_NOW();
1062 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001063 }
1064
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001065 TRACE_DATA("newly received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001066 if (offset < qcs->rx.offset) {
Frédéric Lécaillea18c3332022-07-04 09:54:58 +02001067 size_t diff = qcs->rx.offset - offset;
1068
1069 len -= diff;
1070 data += diff;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001071 offset = qcs->rx.offset;
1072 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001073
Amaury Denoyellefa241932023-02-14 15:36:36 +01001074 if (len) {
1075 ret = ncb_add(&qcs->rx.ncbuf, offset - qcs->rx.offset, data, len, NCB_ADD_COMPARE);
1076 switch (ret) {
1077 case NCB_RET_OK:
1078 break;
1079
1080 case NCB_RET_DATA_REJ:
Amaury Denoyellecc3d7162022-05-20 15:14:57 +02001081 /* RFC 9000 2.2. Sending and Receiving Data
1082 *
1083 * An endpoint could receive data for a stream at the
1084 * same stream offset multiple times. Data that has
1085 * already been received can be discarded. The data at
1086 * a given offset MUST NOT change if it is sent
1087 * multiple times; an endpoint MAY treat receipt of
1088 * different data at the same offset within a stream as
1089 * a connection error of type PROTOCOL_VIOLATION.
1090 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001091 TRACE_ERROR("overlapping data rejected", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001092 qcc->conn, qcs);
Amaury Denoyellecc3d7162022-05-20 15:14:57 +02001093 qcc_emit_cc(qcc, QC_ERR_PROTOCOL_VIOLATION);
Amaury Denoyellefa241932023-02-14 15:36:36 +01001094 return 1;
1095
1096 case NCB_RET_GAP_SIZE:
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001097 TRACE_DATA("cannot bufferize frame due to gap size limit", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV,
1098 qcc->conn, qcs);
Amaury Denoyellefa241932023-02-14 15:36:36 +01001099 return 1;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001100 }
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001101 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001102
1103 if (fin)
Amaury Denoyelle3f39b402022-07-01 16:11:03 +02001104 qcs->flags |= QC_SF_SIZE_KNOWN;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001105
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001106 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1107 qcs->rx.offset_max == qcs->rx.offset + ncb_data(&qcs->rx.ncbuf, 0)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001108 qcs_close_remote(qcs);
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001109 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001110
Amaury Denoyellefa241932023-02-14 15:36:36 +01001111 if ((ncb_data(&qcs->rx.ncbuf, 0) && !(qcs->flags & QC_SF_DEM_FULL)) || fin) {
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001112 qcc_decode_qcs(qcc, qcs);
Amaury Denoyelle418ba212022-08-02 15:57:16 +02001113 qcc_refresh_timeout(qcc);
1114 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001115
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001116 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001117 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001118 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001119
1120 err:
1121 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1122 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001123}
1124
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001125/* Handle a new MAX_DATA frame. <max> must contains the maximum data field of
1126 * the frame.
1127 *
1128 * Returns 0 on success else non-zero.
1129 */
1130int qcc_recv_max_data(struct qcc *qcc, uint64_t max)
1131{
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001132 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1133
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001134 TRACE_PROTO("receiving MAX_DATA", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001135 if (qcc->rfctl.md < max) {
1136 qcc->rfctl.md = max;
Amaury Denoyelleb7143a82023-03-22 15:08:01 +01001137 TRACE_DATA("increase remote max-data", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001138
1139 if (qcc->flags & QC_CF_BLK_MFCTL) {
1140 qcc->flags &= ~QC_CF_BLK_MFCTL;
1141 tasklet_wakeup(qcc->wait_event.tasklet);
1142 }
1143 }
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001144
1145 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001146 return 0;
1147}
1148
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001149/* Handle a new MAX_STREAM_DATA frame. <max> must contains the maximum data
1150 * field of the frame and <id> is the identifier of the QUIC stream.
1151 *
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001152 * Returns 0 on success else non-zero. On error, the received frame should not
1153 * be acknowledged.
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001154 */
1155int qcc_recv_max_stream_data(struct qcc *qcc, uint64_t id, uint64_t max)
1156{
1157 struct qcs *qcs;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001158
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001159 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1160
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001161 if (qcc->flags & QC_CF_CC_EMIT) {
1162 TRACE_DATA("connection closed", QMUX_EV_QCC_RECV, qcc->conn);
1163 goto err;
1164 }
1165
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001166 /* RFC 9000 19.10. MAX_STREAM_DATA Frames
1167 *
1168 * Receiving a MAX_STREAM_DATA frame for a locally
1169 * initiated stream that has not yet been created MUST be treated as a
1170 * connection error of type STREAM_STATE_ERROR. An endpoint that
1171 * receives a MAX_STREAM_DATA frame for a receive-only stream MUST
1172 * terminate the connection with error STREAM_STATE_ERROR.
1173 */
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001174 if (qcc_get_qcs(qcc, id, 0, 1, &qcs))
1175 goto err;
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001176
1177 if (qcs) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001178 TRACE_PROTO("receiving MAX_STREAM_DATA", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001179 if (max > qcs->tx.msd) {
1180 qcs->tx.msd = max;
Amaury Denoyelleb7143a82023-03-22 15:08:01 +01001181 TRACE_DATA("increase remote max-stream-data", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001182
1183 if (qcs->flags & QC_SF_BLK_SFCTL) {
1184 qcs->flags &= ~QC_SF_BLK_SFCTL;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001185 /* TODO optim: only wakeup IO-CB if stream has data to sent. */
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001186 tasklet_wakeup(qcc->wait_event.tasklet);
1187 }
1188 }
1189 }
1190
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001191 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1192 qcc_refresh_timeout(qcc);
1193
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001194 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1195 return 0;
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001196
1197 err:
1198 TRACE_DEVEL("leaving on error", QMUX_EV_QCC_RECV, qcc->conn);
1199 return 1;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001200}
1201
1202/* Handle a new RESET_STREAM frame from stream ID <id> with error code <err>
1203 * and final stream size <final_size>.
1204 *
1205 * Returns 0 on success else non-zero. On error, the received frame should not
1206 * be acknowledged.
1207 */
1208int qcc_recv_reset_stream(struct qcc *qcc, uint64_t id, uint64_t err, uint64_t final_size)
1209{
1210 struct qcs *qcs;
1211
1212 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1213
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001214 if (qcc->flags & QC_CF_CC_EMIT) {
1215 TRACE_DATA("connection closed", QMUX_EV_QCC_RECV, qcc->conn);
1216 goto err;
1217 }
1218
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001219 /* RFC 9000 19.4. RESET_STREAM Frames
1220 *
1221 * An endpoint that receives a RESET_STREAM frame for a send-only stream
1222 * MUST terminate the connection with error STREAM_STATE_ERROR.
1223 */
1224 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
1225 TRACE_ERROR("RESET_STREAM for send-only stream received", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1226 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
1227 goto err;
1228 }
1229
1230 if (!qcs || qcs_is_close_remote(qcs))
1231 goto out;
1232
1233 TRACE_PROTO("receiving RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1234 qcs_idle_open(qcs);
1235
Amaury Denoyellee269aeb2023-01-30 12:13:22 +01001236 if (qcc->app_ops->close) {
1237 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_RD)) {
1238 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1239 goto out;
1240 }
1241 }
1242
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001243 if (qcs->rx.offset_max > final_size ||
1244 ((qcs->flags & QC_SF_SIZE_KNOWN) && qcs->rx.offset_max != final_size)) {
1245 TRACE_ERROR("final size error on RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1246 qcc_emit_cc(qcc, QC_ERR_FINAL_SIZE_ERROR);
1247 goto err;
1248 }
1249
1250 qcs->flags |= QC_SF_SIZE_KNOWN;
1251 qcs_close_remote(qcs);
1252 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
1253
1254 if (qcs_sc(qcs)) {
1255 se_fl_set_error(qcs->sd);
1256 qcs_alert(qcs);
1257 }
1258
1259 out:
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001260 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001261 return 0;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001262
1263 err:
1264 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1265 return 1;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001266}
1267
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001268/* Handle a new STOP_SENDING frame for stream ID <id>. The error code should be
1269 * specified in <err>.
1270 *
1271 * Returns 0 on success else non-zero. On error, the received frame should not
1272 * be acknowledged.
1273 */
1274int qcc_recv_stop_sending(struct qcc *qcc, uint64_t id, uint64_t err)
1275{
1276 struct qcs *qcs;
1277
1278 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1279
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001280 if (qcc->flags & QC_CF_CC_EMIT) {
1281 TRACE_DATA("connection closed", QMUX_EV_QCC_RECV, qcc->conn);
1282 goto err;
1283 }
1284
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001285 /* RFC 9000 19.5. STOP_SENDING Frames
1286 *
1287 * Receiving a STOP_SENDING frame for a
1288 * locally initiated stream that has not yet been created MUST be
1289 * treated as a connection error of type STREAM_STATE_ERROR. An
1290 * endpoint that receives a STOP_SENDING frame for a receive-only stream
1291 * MUST terminate the connection with error STREAM_STATE_ERROR.
1292 */
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001293 if (qcc_get_qcs(qcc, id, 0, 1, &qcs))
1294 goto err;
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001295
1296 if (!qcs)
1297 goto out;
1298
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001299 TRACE_PROTO("receiving STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelled7755372022-10-03 17:20:31 +02001300
1301 /* RFC 9000 3.5. Solicited State Transitions
1302 *
1303 * An endpoint is expected to send another STOP_SENDING frame if a
1304 * packet containing a previous STOP_SENDING is lost. However, once
1305 * either all stream data or a RESET_STREAM frame has been received for
1306 * the stream -- that is, the stream is in any state other than "Recv"
1307 * or "Size Known" -- sending a STOP_SENDING frame is unnecessary.
1308 */
1309
1310 /* TODO thanks to previous RFC clause, STOP_SENDING is ignored if current stream
1311 * has already been closed locally. This is useful to not emit multiple
1312 * RESET_STREAM for a single stream. This is functional if stream is
1313 * locally closed due to all data transmitted, but in this case the RFC
1314 * advices to use an explicit RESET_STREAM.
1315 */
1316 if (qcs_is_close_local(qcs)) {
1317 TRACE_STATE("ignoring STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1318 goto out;
1319 }
1320
Amaury Denoyelle96ca1b72022-08-09 17:36:38 +02001321 qcs_idle_open(qcs);
1322
Amaury Denoyelle87f87662023-01-30 12:12:43 +01001323 if (qcc->app_ops->close) {
1324 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_WR)) {
1325 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1326 goto out;
1327 }
1328 }
1329
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001330 /* RFC 9000 3.5. Solicited State Transitions
1331 *
1332 * An endpoint that receives a STOP_SENDING frame
1333 * MUST send a RESET_STREAM frame if the stream is in the "Ready" or
1334 * "Send" state. If the stream is in the "Data Sent" state, the
1335 * endpoint MAY defer sending the RESET_STREAM frame until the packets
1336 * containing outstanding data are acknowledged or declared lost. If
1337 * any outstanding data is declared lost, the endpoint SHOULD send a
1338 * RESET_STREAM frame instead of retransmitting the data.
1339 *
1340 * An endpoint SHOULD copy the error code from the STOP_SENDING frame to
1341 * the RESET_STREAM frame it sends, but it can use any application error
1342 * code.
1343 */
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001344 qcc_reset_stream(qcs, err);
1345
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001346 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1347 qcc_refresh_timeout(qcc);
1348
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001349 out:
1350 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1351 return 0;
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001352
1353 err:
1354 TRACE_DEVEL("leaving on error", QMUX_EV_QCC_RECV, qcc->conn);
1355 return 1;
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001356}
1357
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001358/* Signal the closing of remote stream with id <id>. Flow-control for new
1359 * streams may be allocated for the peer if needed.
1360 */
1361static int qcc_release_remote_stream(struct qcc *qcc, uint64_t id)
Amaury Denoyellec055e302022-02-07 16:09:06 +01001362{
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001363 struct quic_frame *frm;
1364
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001365 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn);
1366
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001367 if (quic_stream_is_bidi(id)) {
1368 ++qcc->lfctl.cl_bidi_r;
1369 if (qcc->lfctl.cl_bidi_r > qcc->lfctl.ms_bidi_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001370 TRACE_DATA("increase max stream limit with MAX_STREAMS_BIDI", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001371 frm = qc_frm_alloc(QUIC_FT_MAX_STREAMS_BIDI);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +01001372 if (!frm) {
1373 qcc_emit_cc(qcc, QC_ERR_INTERNAL_ERROR);
1374 goto err;
1375 }
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001376
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001377 frm->max_streams_bidi.max_streams = qcc->lfctl.ms_bidi +
1378 qcc->lfctl.cl_bidi_r;
1379 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
1380 tasklet_wakeup(qcc->wait_event.tasklet);
1381
1382 qcc->lfctl.ms_bidi += qcc->lfctl.cl_bidi_r;
1383 qcc->lfctl.cl_bidi_r = 0;
1384 }
1385 }
1386 else {
Amaury Denoyelle91077312022-12-22 18:56:09 +01001387 /* TODO unidirectional stream flow control with MAX_STREAMS_UNI
1388 * emission not implemented. It should be unnecessary for
1389 * HTTP/3 but may be required if other application protocols
1390 * are supported.
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001391 */
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001392 }
1393
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001394 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
1395
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001396 return 0;
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +01001397
1398 err:
1399 TRACE_DEVEL("leaving on error", QMUX_EV_QCS_END, qcc->conn);
1400 return 1;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001401}
1402
Ilya Shipitsin5e87bcf2021-12-25 11:45:52 +05001403/* detaches the QUIC stream from its QCC and releases it to the QCS pool. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001404static void qcs_destroy(struct qcs *qcs)
1405{
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001406 struct qcc *qcc = qcs->qcc;
1407 struct connection *conn = qcc->conn;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001408 const uint64_t id = qcs->id;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001409
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001410 TRACE_ENTER(QMUX_EV_QCS_END, conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001411
Amaury Denoyelle178fbff2023-03-22 11:17:59 +01001412 /* MUST not removed a stream with sending prepared data left. This is
1413 * to ensure consistency on connection flow-control calculation.
1414 */
1415 BUG_ON(qcs->tx.offset < qcs->tx.sent_offset);
1416
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001417 if (!(qcc->flags & QC_CF_CC_EMIT)) {
1418 if (quic_stream_is_remote(qcc, id))
1419 qcc_release_remote_stream(qcc, id);
1420 }
Amaury Denoyellec055e302022-02-07 16:09:06 +01001421
Amaury Denoyelledccbd732022-03-29 18:36:59 +02001422 qcs_free(qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001423
1424 TRACE_LEAVE(QMUX_EV_QCS_END, conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001425}
1426
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001427/* Transfer as much as possible data on <qcs> from <in> to <out>. This is done
1428 * in respect with available flow-control at stream and connection level.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001429 *
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001430 * Returns the total bytes of transferred data.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001431 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001432static int qcs_xfer_data(struct qcs *qcs, struct buffer *out, struct buffer *in)
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001433{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001434 struct qcc *qcc = qcs->qcc;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001435 int left, to_xfer;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001436 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001437
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001438 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001439
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001440 qc_get_buf(qcs, out);
1441
1442 /*
1443 * QCS out buffer diagram
1444 * head left to_xfer
1445 * -------------> ----------> ----->
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001446 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001447 * |...............|xxxxxxxxxxx|<<<<<
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001448 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001449 * ^ ack-off ^ sent-off ^ off
1450 *
1451 * STREAM frame
1452 * ^ ^
1453 * |xxxxxxxxxxxxxxxxx|
1454 */
1455
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001456 BUG_ON_HOT(qcs->tx.sent_offset < qcs->stream->ack_offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001457 BUG_ON_HOT(qcs->tx.offset < qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001458 BUG_ON_HOT(qcc->tx.offsets < qcc->tx.sent_offsets);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001459
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001460 left = qcs->tx.offset - qcs->tx.sent_offset;
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001461 to_xfer = QUIC_MIN(b_data(in), b_room(out));
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001462
1463 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
1464 /* do not exceed flow control limit */
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001465 if (qcs->tx.offset + to_xfer > qcs->tx.msd) {
1466 TRACE_DATA("do not exceed stream flow control", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001467 to_xfer = qcs->tx.msd - qcs->tx.offset;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001468 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001469
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001470 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001471 /* do not overcome flow control limit on connection */
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001472 if (qcc->tx.offsets + to_xfer > qcc->rfctl.md) {
1473 TRACE_DATA("do not exceed conn flow control", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001474 to_xfer = qcc->rfctl.md - qcc->tx.offsets;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001475 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001476
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001477 if (!left && !to_xfer)
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001478 goto out;
1479
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001480 total = b_force_xfer(out, in, to_xfer);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001481
1482 out:
1483 {
1484 struct qcs_xfer_data_trace_arg arg = {
1485 .prep = b_data(out), .xfer = total,
1486 };
1487 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_XFER_DATA,
1488 qcc->conn, qcs, &arg);
1489 }
1490
1491 return total;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001492}
1493
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001494/* Prepare a STREAM frame for <qcs> instance using <out> as payload. The frame
1495 * is appended in <frm_list>. Set <fin> if this is supposed to be the last
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001496 * stream frame. If <out> is NULL an empty STREAM frame is built : this may be
1497 * useful if FIN needs to be sent without any data left.
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001498 *
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001499 * Returns the payload length of the STREAM frame or a negative error code.
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001500 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001501static int qcs_build_stream_frm(struct qcs *qcs, struct buffer *out, char fin,
1502 struct list *frm_list)
1503{
1504 struct qcc *qcc = qcs->qcc;
1505 struct quic_frame *frm;
1506 int head, total;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001507 uint64_t base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001508
1509 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1510
Amaury Denoyellea4569202022-04-15 17:29:25 +02001511 /* if ack_offset < buf_offset, it points to an older buffer. */
1512 base_off = MAX(qcs->stream->buf_offset, qcs->stream->ack_offset);
1513 BUG_ON(qcs->tx.sent_offset < base_off);
1514
1515 head = qcs->tx.sent_offset - base_off;
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001516 total = out ? b_data(out) - head : 0;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001517 BUG_ON(total < 0);
1518
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001519 if (!total && !fin) {
1520 /* No need to send anything if total is NULL and no FIN to signal. */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001521 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1522 return 0;
1523 }
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001524 BUG_ON((!total && qcs->tx.sent_offset > qcs->tx.offset) ||
1525 (total && qcs->tx.sent_offset >= qcs->tx.offset));
Amaury Denoyellea4569202022-04-15 17:29:25 +02001526 BUG_ON(qcs->tx.sent_offset + total > qcs->tx.offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001527 BUG_ON(qcc->tx.sent_offsets + total > qcc->rfctl.md);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001528
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001529 TRACE_PROTO("sending STREAM frame", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001530 frm = qc_frm_alloc(QUIC_FT_STREAM_8);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001531 if (!frm) {
1532 TRACE_ERROR("frame alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001533 goto err;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001534 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001535
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001536 frm->stream.stream = qcs->stream;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001537 frm->stream.id = qcs->id;
Amaury Denoyelle1dac0182023-02-02 16:45:07 +01001538 frm->stream.offset.key = 0;
Amaury Denoyelleebfafc22023-03-07 18:07:08 +01001539 frm->stream.dup = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001540
Amaury Denoyelle42c5b752023-04-25 16:39:32 +02001541 if (total) {
1542 frm->stream.buf = out;
1543 frm->stream.data = (unsigned char *)b_peek(out, head);
1544 }
1545 else {
1546 /* Empty STREAM frame. */
1547 frm->stream.buf = NULL;
1548 frm->stream.data = NULL;
1549 }
1550
Amaury Denoyellefecfa0d2021-12-07 16:50:14 +01001551 /* FIN is positioned only when the buffer has been totally emptied. */
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001552 if (fin)
1553 frm->type |= QUIC_STREAM_FRAME_TYPE_FIN_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001554
1555 if (qcs->tx.sent_offset) {
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001556 frm->type |= QUIC_STREAM_FRAME_TYPE_OFF_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001557 frm->stream.offset.key = qcs->tx.sent_offset;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001558 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001559
Amaury Denoyelle42c5b752023-04-25 16:39:32 +02001560 /* Always set length bit as we do not know if there is remaining frames
1561 * in the final packet after this STREAM.
1562 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001563 frm->type |= QUIC_STREAM_FRAME_TYPE_LEN_BIT;
1564 frm->stream.len = total;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001565
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001566 LIST_APPEND(frm_list, &frm->list);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001567
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001568 out:
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001569 {
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001570 struct qcs_build_stream_trace_arg arg = {
1571 .len = frm->stream.len, .fin = fin,
1572 .offset = frm->stream.offset.key,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001573 };
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001574 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_BUILD_STRM,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001575 qcc->conn, qcs, &arg);
1576 }
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001577
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001578 return total;
1579
1580 err:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001581 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001582 return -1;
1583}
1584
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001585/* Check after transferring data from qcs.tx.buf if FIN must be set on the next
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001586 * STREAM frame for <qcs>.
1587 *
1588 * Returns true if FIN must be set else false.
1589 */
1590static int qcs_stream_fin(struct qcs *qcs)
1591{
1592 return qcs->flags & QC_SF_FIN_STREAM && !b_data(&qcs->tx.buf);
1593}
1594
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001595/* Return true if <qcs> has data to send in new STREAM frames. */
1596static forceinline int qcs_need_sending(struct qcs *qcs)
1597{
1598 return b_data(&qcs->tx.buf) || qcs->tx.sent_offset < qcs->tx.offset ||
1599 qcs_stream_fin(qcs);
1600}
1601
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001602/* This function must be called by the upper layer to inform about the sending
1603 * of a STREAM frame for <qcs> instance. The frame is of <data> length and on
1604 * <offset>.
1605 */
1606void qcc_streams_sent_done(struct qcs *qcs, uint64_t data, uint64_t offset)
1607{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001608 struct qcc *qcc = qcs->qcc;
1609 uint64_t diff;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001610
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001611 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1612
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001613 BUG_ON(offset > qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001614 BUG_ON(offset + data > qcs->tx.offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001615
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001616 /* check if the STREAM frame has already been notified. It can happen
1617 * for retransmission.
1618 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001619 if (offset + data < qcs->tx.sent_offset) {
1620 TRACE_DEVEL("offset already notified", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1621 goto out;
1622 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001623
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001624 qcs_idle_open(qcs);
1625
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001626 diff = offset + data - qcs->tx.sent_offset;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001627 if (diff) {
1628 /* increase offset sum on connection */
1629 qcc->tx.sent_offsets += diff;
1630 BUG_ON_HOT(qcc->tx.sent_offsets > qcc->rfctl.md);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001631 if (qcc->tx.sent_offsets == qcc->rfctl.md) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001632 qcc->flags |= QC_CF_BLK_MFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001633 TRACE_STATE("connection flow-control reached", QMUX_EV_QCS_SEND, qcc->conn);
1634 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001635
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001636 /* increase offset on stream */
1637 qcs->tx.sent_offset += diff;
1638 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.msd);
1639 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.offset);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001640 if (qcs->tx.sent_offset == qcs->tx.msd) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001641 qcs->flags |= QC_SF_BLK_SFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001642 TRACE_STATE("stream flow-control reached", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1643 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001644
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001645 /* If qcs.stream.buf is full, release it to the lower layer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001646 if (qcs->tx.offset == qcs->tx.sent_offset &&
1647 b_full(&qcs->stream->buf->buf)) {
1648 qc_stream_buf_release(qcs->stream);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001649 }
Amaury Denoyelle1bcb6952023-04-28 16:24:44 +02001650
1651 /* Add measurement for send rate. This is done at the MUX layer
1652 * to account only for STREAM frames without retransmission.
Amaury Denoyelle1bcb6952023-04-28 16:24:44 +02001653 */
Amaury Denoyellebc0adfa2023-04-28 16:46:11 +02001654 increment_send_rate(diff, 0);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001655 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001656
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001657 if (qcs->tx.offset == qcs->tx.sent_offset && !b_data(&qcs->tx.buf)) {
1658 /* Remove stream from send_list if all was sent. */
1659 LIST_DEL_INIT(&qcs->el_send);
1660 TRACE_STATE("stream sent done", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1661
1662 if (qcs->flags & (QC_SF_FIN_STREAM|QC_SF_DETACH)) {
1663 /* Close stream locally. */
1664 qcs_close_local(qcs);
1665 /* Reset flag to not emit multiple FIN STREAM frames. */
1666 qcs->flags &= ~QC_SF_FIN_STREAM;
1667 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001668 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001669
1670 out:
1671 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001672}
1673
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001674/* Wrapper for send on transport layer. Send a list of frames <frms> for the
1675 * connection <qcc>.
1676 *
1677 * Returns 0 if all data sent with success else non-zero.
1678 */
1679static int qc_send_frames(struct qcc *qcc, struct list *frms)
1680{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001681 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
1682
1683 if (LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001684 TRACE_DEVEL("no frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1685 goto err;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001686 }
Frédéric Lécaille4e22f282022-03-18 18:38:19 +01001687
Amaury Denoyellecaa16542023-02-28 15:11:26 +01001688 if (!qc_send_mux(qcc->conn->handle.qc, frms)) {
1689 /* TODO should subscribe only for a transient send error */
1690 TRACE_DEVEL("error on send, subscribing", QMUX_EV_QCC_SEND, qcc->conn);
1691 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1692 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyelle036cc5d2022-09-26 15:02:31 +02001693 goto err;
Amaury Denoyellecaa16542023-02-28 15:11:26 +01001694 }
Amaury Denoyellee9c4cc12022-03-04 15:29:53 +01001695
Amaury Denoyelledb5d1a12022-03-10 16:42:23 +01001696 /* If there is frames left at this stage, transport layer is blocked.
1697 * Subscribe on it to retry later.
1698 */
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001699 if (!LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001700 TRACE_DEVEL("remaining frames to send, subscribing", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001701 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1702 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001703 goto err;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001704 }
1705
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001706 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001707 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001708
1709 err:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001710 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001711 return 1;
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001712}
1713
1714/* Emit a RESET_STREAM on <qcs>.
1715 *
1716 * Returns 0 if the frame has been successfully sent else non-zero.
1717 */
1718static int qcs_send_reset(struct qcs *qcs)
1719{
1720 struct list frms = LIST_HEAD_INIT(frms);
1721 struct quic_frame *frm;
1722
1723 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1724
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001725 frm = qc_frm_alloc(QUIC_FT_RESET_STREAM);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001726 if (!frm) {
1727 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001728 return 1;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001729 }
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001730
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001731 frm->reset_stream.id = qcs->id;
1732 frm->reset_stream.app_error_code = qcs->err;
1733 frm->reset_stream.final_size = qcs->tx.sent_offset;
1734
1735 LIST_APPEND(&frms, &frm->list);
1736 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001737 qc_frm_free(&frm);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001738 TRACE_DEVEL("cannot send RESET_STREAM", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1739 return 1;
1740 }
1741
1742 if (qcs_sc(qcs)) {
1743 se_fl_set_error(qcs->sd);
1744 qcs_alert(qcs);
1745 }
1746
1747 qcs_close_local(qcs);
1748 qcs->flags &= ~QC_SF_TO_RESET;
1749
1750 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001751 return 0;
1752}
1753
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001754/* Emit a STOP_SENDING on <qcs>.
1755 *
1756 * Returns 0 if the frame has been successfully sent else non-zero.
1757 */
1758static int qcs_send_stop_sending(struct qcs *qcs)
1759{
1760 struct list frms = LIST_HEAD_INIT(frms);
1761 struct quic_frame *frm;
1762 struct qcc *qcc = qcs->qcc;
1763
1764 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1765
1766 /* RFC 9000 3.3. Permitted Frame Types
1767 *
1768 * A
1769 * receiver MAY send a STOP_SENDING frame in any state where it has not
1770 * received a RESET_STREAM frame -- that is, states other than "Reset
1771 * Recvd" or "Reset Read". However, there is little value in sending a
1772 * STOP_SENDING frame in the "Data Recvd" state, as all stream data has
1773 * been received. A sender could receive either of these two types of
1774 * frames in any state as a result of delayed delivery of packets.¶
1775 */
1776 if (qcs_is_close_remote(qcs)) {
1777 TRACE_STATE("skip STOP_SENDING on remote already closed", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1778 goto done;
1779 }
1780
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001781 frm = qc_frm_alloc(QUIC_FT_STOP_SENDING);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001782 if (!frm) {
1783 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1784 return 1;
1785 }
1786
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001787 frm->stop_sending.id = qcs->id;
1788 frm->stop_sending.app_error_code = qcs->err;
1789
1790 LIST_APPEND(&frms, &frm->list);
1791 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001792 qc_frm_free(&frm);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001793 TRACE_DEVEL("cannot send STOP_SENDING", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1794 return 1;
1795 }
1796
1797 done:
1798 qcs->flags &= ~QC_SF_TO_STOP_SENDING;
1799
1800 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1801 return 0;
1802}
1803
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001804/* Used internally by qc_send function. Proceed to send for <qcs>. This will
1805 * transfer data from qcs buffer to its quic_stream counterpart. A STREAM frame
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001806 * is then generated and inserted in <frms> list.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001807 *
1808 * Returns the total bytes transferred between qcs and quic_stream buffers. Can
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001809 * be null if out buffer cannot be allocated. On error a negative error code is
1810 * used.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001811 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001812static int _qc_send_qcs(struct qcs *qcs, struct list *frms)
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001813{
1814 struct qcc *qcc = qcs->qcc;
1815 struct buffer *buf = &qcs->tx.buf;
1816 struct buffer *out = qc_stream_buf_get(qcs->stream);
1817 int xfer = 0;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001818 char fin = 0;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001819
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001820 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1821
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001822 /* Cannot send STREAM on remote unidirectional streams. */
1823 BUG_ON(quic_stream_is_uni(qcs->id) && quic_stream_is_remote(qcc, qcs->id));
1824
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001825 if (b_data(buf)) {
1826 /* Allocate <out> buffer if not already done. */
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001827 if (!out) {
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001828 if (qcc->flags & QC_CF_CONN_FULL)
1829 goto out;
1830
1831 out = qc_stream_buf_alloc(qcs->stream, qcs->tx.offset);
1832 if (!out) {
1833 TRACE_STATE("cannot allocate stream desc buffer", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1834 qcc->flags |= QC_CF_CONN_FULL;
1835 goto out;
1836 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001837 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001838
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001839 /* Transfer data from <buf> to <out>. */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001840 xfer = qcs_xfer_data(qcs, out, buf);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001841 if (xfer > 0) {
1842 qcs_notify_send(qcs);
1843 qcs->flags &= ~QC_SF_BLK_MROOM;
1844 }
1845
1846 qcs->tx.offset += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001847 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001848 qcc->tx.offsets += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001849 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001850
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001851 /* out buffer cannot be emptied if qcs offsets differ. */
1852 BUG_ON(!b_data(out) && qcs->tx.sent_offset != qcs->tx.offset);
1853 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001854
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001855 /* FIN is set if all incoming data were transferred. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001856 fin = qcs_stream_fin(qcs);
1857
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001858 /* Build a new STREAM frame with <out> buffer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001859 if (qcs->tx.sent_offset != qcs->tx.offset || fin) {
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001860 if (qcs_build_stream_frm(qcs, out, fin, frms) < 0)
1861 goto err;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001862 }
1863
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001864 out:
1865 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001866 return xfer;
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001867
1868 err:
1869 TRACE_DEVEL("leaving on error", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1870 return -1;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001871}
1872
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001873/* Proceed to sending. Loop through all available streams for the <qcc>
1874 * instance and try to send as much as possible.
1875 *
1876 * Returns the total of bytes sent to the transport layer.
1877 */
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001878static int qc_send(struct qcc *qcc)
1879{
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001880 struct list frms = LIST_HEAD_INIT(frms);
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001881 /* Temporary list for QCS on error. */
1882 struct list qcs_failed = LIST_HEAD_INIT(qcs_failed);
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02001883 struct qcs *qcs, *qcs_tmp, *first_qcs = NULL;
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001884 int ret, total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001885
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001886 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001887
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +02001888 if (qcc->conn->flags & CO_FL_SOCK_WR_SH || qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001889 qcc->conn->flags |= CO_FL_ERROR;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001890 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
1891 goto err;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001892 }
1893
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001894 if (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1895 if (qc_send_frames(qcc, &qcc->lfctl.frms)) {
1896 TRACE_DEVEL("flow-control frames rejected by transport, aborting send", QMUX_EV_QCC_SEND, qcc->conn);
1897 goto out;
1898 }
1899 }
Amaury Denoyellec9337802022-04-04 16:36:34 +02001900
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001901 if (qcc->flags & QC_CF_BLK_MFCTL)
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001902 goto err;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001903
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001904 /* Send STREAM/STOP_SENDING/RESET_STREAM data for registered streams. */
1905 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_list, el_send) {
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02001906 /* Check if all QCS were processed. */
1907 if (qcs == first_qcs)
1908 break;
1909
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001910 /* Stream must not be present in send_list if it has nothing to send. */
1911 BUG_ON(!(qcs->flags & (QC_SF_TO_STOP_SENDING|QC_SF_TO_RESET)) &&
1912 !qcs_need_sending(qcs));
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001913
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001914 /* Each STOP_SENDING/RESET_STREAM frame is sent individually to
1915 * guarantee its emission.
1916 *
1917 * TODO multiplex several frames in same datagram to optimize sending
1918 */
1919 if (qcs->flags & QC_SF_TO_STOP_SENDING) {
1920 if (qcs_send_stop_sending(qcs))
1921 goto out;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001922
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001923 /* Remove stream from send_list if it had only STOP_SENDING
1924 * to send.
1925 */
1926 if (!(qcs->flags & QC_SF_TO_RESET) && !qcs_need_sending(qcs)) {
1927 LIST_DEL_INIT(&qcs->el_send);
1928 continue;
1929 }
Amaury Denoyellee2ec9422022-03-10 16:46:18 +01001930 }
1931
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001932 if (qcs->flags & QC_SF_TO_RESET) {
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001933 if (qcs_send_reset(qcs))
1934 goto out;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001935
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001936 /* RFC 9000 3.3. Permitted Frame Types
1937 *
1938 * A sender MUST NOT send
1939 * a STREAM or STREAM_DATA_BLOCKED frame for a stream in the
1940 * "Reset Sent" state or any terminal state -- that is, after
1941 * sending a RESET_STREAM frame.
1942 */
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001943 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelled2f80a22022-04-15 17:30:49 +02001944 continue;
1945 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001946
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001947 if (!(qcs->flags & QC_SF_BLK_SFCTL)) {
1948 if ((ret = _qc_send_qcs(qcs, &frms)) < 0) {
1949 /* Temporarily remove QCS from send-list. */
1950 LIST_DEL_INIT(&qcs->el_send);
1951 LIST_APPEND(&qcs_failed, &qcs->el_send);
1952 continue;
1953 }
1954
1955 total += ret;
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02001956 if (ret) {
1957 /* Move QCS with some bytes transferred at the
1958 * end of send-list for next iterations.
1959 */
1960 LIST_DEL_INIT(&qcs->el_send);
1961 LIST_APPEND(&qcc->send_list, &qcs->el_send);
1962 /* Remember first moved QCS as checkpoint to interrupt loop */
1963 if (!first_qcs)
1964 first_qcs = qcs;
1965 }
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001966 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001967 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001968
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001969 /* Retry sending until no frame to send, data rejected or connection
1970 * flow-control limit reached.
1971 */
1972 while (qc_send_frames(qcc, &frms) == 0 && !(qcc->flags & QC_CF_BLK_MFCTL)) {
1973 /* Reloop over <qcc.send_list>. Useful for streams which have
1974 * fulfilled their qc_stream_desc buf and have now release it.
1975 */
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001976 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_list, el_send) {
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001977 /* Only streams blocked on flow-control or waiting on a
1978 * new qc_stream_desc should be present in send_list as
1979 * long as transport layer can handle all data.
1980 */
1981 BUG_ON(qcs->stream->buf && !(qcs->flags & QC_SF_BLK_SFCTL));
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001982
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001983 if (!(qcs->flags & QC_SF_BLK_SFCTL)) {
1984 if ((ret = _qc_send_qcs(qcs, &frms)) < 0) {
1985 LIST_DEL_INIT(&qcs->el_send);
1986 LIST_APPEND(&qcs_failed, &qcs->el_send);
1987 continue;
1988 }
1989
1990 total += ret;
1991 }
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001992 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001993 }
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001994
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001995 out:
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02001996 /* Deallocate frames that the transport layer has rejected. */
1997 if (!LIST_ISEMPTY(&frms)) {
1998 struct quic_frame *frm, *frm2;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001999
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01002000 list_for_each_entry_safe(frm, frm2, &frms, list)
2001 qc_frm_free(&frm);
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02002002 }
2003
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002004 /* Re-insert on-error QCS at the end of the send-list. */
2005 if (!LIST_ISEMPTY(&qcs_failed)) {
2006 list_for_each_entry_safe(qcs, qcs_tmp, &qcs_failed, el_send) {
2007 LIST_DEL_INIT(&qcs->el_send);
2008 LIST_APPEND(&qcc->send_list, &qcs->el_send);
2009 }
2010
2011 if (!(qcc->flags & QC_CF_BLK_MFCTL))
2012 tasklet_wakeup(qcc->wait_event.tasklet);
2013 }
2014
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002015 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01002016 return total;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002017
2018 err:
2019 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
2020 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002021}
2022
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002023/* Proceed on receiving. Loop through all streams from <qcc> and use decode_qcs
2024 * operation.
2025 *
2026 * Returns 0 on success else non-zero.
2027 */
2028static int qc_recv(struct qcc *qcc)
2029{
2030 struct eb64_node *node;
2031 struct qcs *qcs;
2032
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002033 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellee1cad8b2022-05-23 18:52:11 +02002034
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02002035 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002036 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02002037 return 0;
2038 }
2039
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002040 node = eb64_first(&qcc->streams_by_id);
2041 while (node) {
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002042 uint64_t id;
2043
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002044 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002045 id = qcs->id;
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002046
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002047 if (!ncb_data(&qcs->rx.ncbuf, 0) || (qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002048 node = eb64_next(node);
2049 continue;
2050 }
2051
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002052 if (quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002053 node = eb64_next(node);
2054 continue;
2055 }
2056
2057 qcc_decode_qcs(qcc, qcs);
2058 node = eb64_next(node);
2059 }
2060
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002061 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002062 return 0;
2063}
2064
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002065
2066/* Release all streams which have their transfer operation achieved.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01002067 *
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002068 * Returns true if at least one stream is released.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01002069 */
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002070static int qc_purge_streams(struct qcc *qcc)
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002071{
2072 struct eb64_node *node;
2073 int release = 0;
2074
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002075 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002076
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002077 node = eb64_first(&qcc->streams_by_id);
2078 while (node) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02002079 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002080 node = eb64_next(node);
2081
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002082 /* Release not attached closed streams. */
2083 if (qcs->st == QC_SS_CLO && !qcs_sc(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002084 TRACE_STATE("purging closed stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002085 qcs_destroy(qcs);
2086 release = 1;
2087 continue;
2088 }
2089
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002090 /* Release detached streams with empty buffer. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002091 if (qcs->flags & QC_SF_DETACH) {
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02002092 if (qcs_is_close_local(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002093 TRACE_STATE("purging detached stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002094 qcs_destroy(qcs);
2095 release = 1;
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002096 continue;
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002097 }
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002098
2099 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
2100 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002101 }
2102 }
2103
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002104 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002105 return release;
2106}
2107
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002108/* Execute application layer shutdown. If this operation is not defined, a
2109 * CONNECTION_CLOSE will be prepared as a fallback. This function is protected
2110 * against multiple invocation with the flag QC_CF_APP_SHUT.
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002111 */
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002112static void qc_shutdown(struct qcc *qcc)
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002113{
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002114 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002115
Amaury Denoyelle665817a2023-03-20 17:34:22 +01002116 if (qcc->flags & (QC_CF_APP_SHUT|QC_CF_CC_EMIT)) {
2117 TRACE_DATA("connection closed", QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002118 goto out;
Amaury Denoyelle665817a2023-03-20 17:34:22 +01002119 }
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002120
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002121 if (qcc->app_ops && qcc->app_ops->shutdown) {
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002122 qcc->app_ops->shutdown(qcc->ctx);
Amaury Denoyellea154dc02022-06-13 17:09:01 +02002123 qc_send(qcc);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002124 }
2125 else {
2126 qcc_emit_cc_app(qcc, QC_ERR_NO_ERROR, 0);
2127 }
2128
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002129 out:
2130 qcc->flags |= QC_CF_APP_SHUT;
2131 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
2132}
2133
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002134/* Conduct operations which should be made for <qcc> connection after
2135 * input/output. Most notably, closed streams are purged which may leave the
2136 * connection has ready to be released.
2137 *
2138 * Returns 1 if <qcc> must be released else 0.
2139 */
2140
2141static int qc_process(struct qcc *qcc)
2142{
2143 qc_purge_streams(qcc);
2144
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +01002145 /* Check if a soft-stop is in progress.
2146 *
2147 * TODO this is relevant for frontend connections only.
2148 */
2149 if (unlikely(qcc->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED))) {
2150 int close = 1;
2151
2152 /* If using listener socket, soft-stop is not supported. The
2153 * connection must be closed immediately.
2154 */
2155 if (!qc_test_fd(qcc->conn->handle.qc)) {
2156 TRACE_DEVEL("proxy disabled with listener socket, closing connection", QMUX_EV_QCC_WAKE, qcc->conn);
2157 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2158 qc_send(qcc);
2159 goto out;
2160 }
2161
2162 TRACE_DEVEL("proxy disabled, prepare connection soft-stop", QMUX_EV_QCC_WAKE, qcc->conn);
2163
2164 /* If a close-spread-time option is set, we want to avoid
2165 * closing all the active HTTP3 connections at once so we add a
2166 * random factor that will spread the closing.
2167 */
2168 if (tick_isset(global.close_spread_end)) {
2169 int remaining_window = tick_remain(now_ms, global.close_spread_end);
2170 if (remaining_window) {
2171 /* This should increase the closing rate the
2172 * further along the window we are. */
2173 close = (remaining_window <= statistical_prng_range(global.close_spread_time));
2174 }
2175 }
2176 else if (global.tune.options & GTUNE_DISABLE_ACTIVE_CLOSE) {
2177 close = 0; /* let the client close his connection himself */
2178 }
2179
2180 if (close)
2181 qc_shutdown(qcc);
2182 }
2183
2184 out:
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002185 if (qcc_is_dead(qcc))
2186 return 1;
2187
2188 return 0;
2189}
2190
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002191/* release function. This one should be called to free all resources allocated
2192 * to the mux.
2193 */
2194static void qc_release(struct qcc *qcc)
2195{
2196 struct connection *conn = qcc->conn;
2197 struct eb64_node *node;
2198
2199 TRACE_ENTER(QMUX_EV_QCC_END, conn);
2200
2201 qc_shutdown(qcc);
2202
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002203 if (qcc->task) {
2204 task_destroy(qcc->task);
2205 qcc->task = NULL;
2206 }
2207
Tim Duesterhusb1ec21d2023-04-22 17:47:32 +02002208 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002209 if (conn && qcc->wait_event.events) {
2210 conn->xprt->unsubscribe(conn, conn->xprt_ctx,
2211 qcc->wait_event.events,
2212 &qcc->wait_event);
2213 }
2214
2215 /* liberate remaining qcs instances */
2216 node = eb64_first(&qcc->streams_by_id);
2217 while (node) {
2218 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
2219 node = eb64_next(node);
2220 qcs_free(qcs);
2221 }
2222
2223 while (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
2224 struct quic_frame *frm = LIST_ELEM(qcc->lfctl.frms.n, struct quic_frame *, list);
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01002225 qc_frm_free(&frm);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002226 }
2227
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002228 if (qcc->app_ops && qcc->app_ops->release)
2229 qcc->app_ops->release(qcc->ctx);
2230 TRACE_PROTO("application layer released", QMUX_EV_QCC_END, conn);
2231
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002232 pool_free(pool_head_qcc, qcc);
2233
2234 if (conn) {
2235 LIST_DEL_INIT(&conn->stopping_list);
2236
2237 conn->handle.qc->conn = NULL;
2238 conn->mux = NULL;
2239 conn->ctx = NULL;
2240
2241 TRACE_DEVEL("freeing conn", QMUX_EV_QCC_END, conn);
2242
2243 conn_stop_tracking(conn);
2244 conn_full_close(conn);
2245 if (conn->destroy_cb)
2246 conn->destroy_cb(conn);
2247 conn_free(conn);
2248 }
2249
2250 TRACE_LEAVE(QMUX_EV_QCC_END);
2251}
2252
Willy Tarreau41e701e2022-09-08 15:12:59 +02002253struct task *qc_io_cb(struct task *t, void *ctx, unsigned int status)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002254{
Amaury Denoyelle769e9ff2021-10-05 11:43:50 +02002255 struct qcc *qcc = ctx;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002256
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002257 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002258
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002259 qc_send(qcc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002260
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002261 qc_recv(qcc);
2262
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002263 if (qc_process(qcc)) {
2264 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
2265 goto release;
2266 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002267
2268 qcc_refresh_timeout(qcc);
2269
Amaury Denoyelled3973852022-07-25 14:56:54 +02002270 end:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002271 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
2272 return NULL;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002273
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002274 release:
2275 qc_release(qcc);
2276 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002277 return NULL;
2278}
2279
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002280static struct task *qc_timeout_task(struct task *t, void *ctx, unsigned int state)
2281{
2282 struct qcc *qcc = ctx;
2283 int expired = tick_is_expired(t->expire, now_ms);
2284
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002285 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc ? qcc->conn : NULL);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002286
2287 if (qcc) {
2288 if (!expired) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002289 TRACE_DEVEL("not expired", QMUX_EV_QCC_WAKE, qcc->conn);
2290 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002291 }
2292
2293 if (!qcc_may_expire(qcc)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002294 TRACE_DEVEL("cannot expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002295 t->expire = TICK_ETERNITY;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002296 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002297 }
2298 }
2299
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002300 task_destroy(t);
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002301
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002302 if (!qcc) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002303 TRACE_DEVEL("no more qcc", QMUX_EV_QCC_WAKE);
2304 goto out;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002305 }
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002306
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002307 qcc->task = NULL;
2308
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002309 /* TODO depending on the timeout condition, different shutdown mode
2310 * should be used. For http keep-alive or disabled proxy, a graceful
2311 * shutdown should occurs. For all other cases, an immediate close
2312 * seems legitimate.
2313 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002314 if (qcc_is_dead(qcc)) {
2315 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002316 qc_release(qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002317 }
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002318
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002319 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002320 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002321 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002322
2323 requeue:
2324 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
2325 return t;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002326}
2327
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002328static int qc_init(struct connection *conn, struct proxy *prx,
2329 struct session *sess, struct buffer *input)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002330{
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002331 struct qcc *qcc;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002332 struct quic_transport_params *lparams, *rparams;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002333
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002334 TRACE_ENTER(QMUX_EV_QCC_NEW);
2335
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002336 qcc = pool_alloc(pool_head_qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002337 if (!qcc) {
2338 TRACE_ERROR("alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002339 goto fail_no_qcc;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002340 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002341
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002342 qcc->conn = conn;
2343 conn->ctx = qcc;
Amaury Denoyellec603de42022-07-25 11:21:46 +02002344 qcc->nb_hreq = qcc->nb_sc = 0;
Amaury Denoyellece1f30d2022-02-01 15:14:24 +01002345 qcc->flags = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002346
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002347 qcc->app_ops = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002348
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002349 qcc->streams_by_id = EB_ROOT_UNIQUE;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002350
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002351 /* Server parameters, params used for RX flow control. */
Willy Tarreau784b8682022-04-11 14:18:10 +02002352 lparams = &conn->handle.qc->rx.params;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002353
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002354 qcc->rx.max_data = lparams->initial_max_data;
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02002355 qcc->tx.sent_offsets = qcc->tx.offsets = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002356
2357 /* Client initiated streams must respect the server flow control. */
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002358 qcc->strms[QCS_CLT_BIDI].max_streams = lparams->initial_max_streams_bidi;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002359 qcc->strms[QCS_CLT_BIDI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002360 qcc->strms[QCS_CLT_BIDI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002361 qcc->strms[QCS_CLT_BIDI].tx.max_data = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002362
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002363 qcc->strms[QCS_CLT_UNI].max_streams = lparams->initial_max_streams_uni;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002364 qcc->strms[QCS_CLT_UNI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002365 qcc->strms[QCS_CLT_UNI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002366 qcc->strms[QCS_CLT_UNI].tx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002367
2368 /* Server initiated streams must respect the server flow control. */
2369 qcc->strms[QCS_SRV_BIDI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002370 qcc->strms[QCS_SRV_BIDI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002371 qcc->strms[QCS_SRV_BIDI].rx.max_data = lparams->initial_max_stream_data_bidi_local;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002372 qcc->strms[QCS_SRV_BIDI].tx.max_data = 0;
2373
2374 qcc->strms[QCS_SRV_UNI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002375 qcc->strms[QCS_SRV_UNI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002376 qcc->strms[QCS_SRV_UNI].rx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002377 qcc->strms[QCS_SRV_UNI].tx.max_data = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002378
Amaury Denoyellec985cb12022-05-16 14:29:59 +02002379 LIST_INIT(&qcc->lfctl.frms);
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002380 qcc->lfctl.ms_bidi = qcc->lfctl.ms_bidi_init = lparams->initial_max_streams_bidi;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02002381 qcc->lfctl.ms_uni = lparams->initial_max_streams_uni;
Amaury Denoyelle44d09122022-04-26 11:21:10 +02002382 qcc->lfctl.msd_bidi_l = lparams->initial_max_stream_data_bidi_local;
2383 qcc->lfctl.msd_bidi_r = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002384 qcc->lfctl.msd_uni_r = lparams->initial_max_stream_data_uni;
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002385 qcc->lfctl.cl_bidi_r = 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01002386
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002387 qcc->lfctl.md = qcc->lfctl.md_init = lparams->initial_max_data;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02002388 qcc->lfctl.offsets_recv = qcc->lfctl.offsets_consume = 0;
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002389
Willy Tarreau784b8682022-04-11 14:18:10 +02002390 rparams = &conn->handle.qc->tx.params;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01002391 qcc->rfctl.md = rparams->initial_max_data;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002392 qcc->rfctl.msd_bidi_l = rparams->initial_max_stream_data_bidi_local;
2393 qcc->rfctl.msd_bidi_r = rparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002394 qcc->rfctl.msd_uni_l = rparams->initial_max_stream_data_uni;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002395
Amaury Denoyellea509ffb2022-07-04 15:50:33 +02002396 if (conn_is_back(conn)) {
2397 qcc->next_bidi_l = 0x00;
2398 qcc->largest_bidi_r = 0x01;
2399 qcc->next_uni_l = 0x02;
2400 qcc->largest_uni_r = 0x03;
2401 }
2402 else {
2403 qcc->largest_bidi_r = 0x00;
2404 qcc->next_bidi_l = 0x01;
2405 qcc->largest_uni_r = 0x02;
2406 qcc->next_uni_l = 0x03;
2407 }
2408
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002409 qcc->wait_event.tasklet = tasklet_new();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002410 if (!qcc->wait_event.tasklet) {
2411 TRACE_ERROR("taslket alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002412 goto fail_no_tasklet;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002413 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002414
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002415 LIST_INIT(&qcc->send_list);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02002416
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002417 qcc->wait_event.tasklet->process = qc_io_cb;
2418 qcc->wait_event.tasklet->context = qcc;
Frédéric Lécaillef27b66f2022-03-18 22:49:22 +01002419 qcc->wait_event.events = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002420
Amaury Denoyelle07bf8f42022-07-22 16:16:03 +02002421 qcc->proxy = prx;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002422 /* haproxy timeouts */
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002423 qcc->task = NULL;
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +01002424 if (conn_is_back(qcc->conn)) {
2425 qcc->timeout = prx->timeout.server;
2426 qcc->shut_timeout = tick_isset(prx->timeout.serverfin) ?
2427 prx->timeout.serverfin : prx->timeout.server;
2428 }
2429 else {
2430 qcc->timeout = prx->timeout.client;
2431 qcc->shut_timeout = tick_isset(prx->timeout.clientfin) ?
2432 prx->timeout.clientfin : prx->timeout.client;
2433 }
2434
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002435 if (tick_isset(qcc->timeout)) {
2436 qcc->task = task_new_here();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002437 if (!qcc->task) {
2438 TRACE_ERROR("timeout task alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002439 goto fail_no_timeout_task;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002440 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002441 qcc->task->process = qc_timeout_task;
2442 qcc->task->context = qcc;
2443 qcc->task->expire = tick_add(now_ms, qcc->timeout);
2444 }
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +02002445 qcc_reset_idle_start(qcc);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02002446 LIST_INIT(&qcc->opening_list);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002447
Willy Tarreau784b8682022-04-11 14:18:10 +02002448 HA_ATOMIC_STORE(&conn->handle.qc->qcc, qcc);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002449
2450 if (qcc_install_app_ops(qcc, conn->handle.qc->app_ops)) {
Amaury Denoyelle8d44bfa2023-05-04 15:16:01 +02002451 TRACE_PROTO("Cannot install app layer", QMUX_EV_QCC_NEW|QMUX_EV_QCC_ERR, qcc->conn);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002452 /* prepare a CONNECTION_CLOSE frame */
2453 quic_set_connection_close(conn->handle.qc, quic_err_transport(QC_ERR_APPLICATION_ERROR));
2454 goto fail_install_app_ops;
2455 }
2456
Frédéric Lécaille9969adb2023-01-18 11:52:21 +01002457 if (qcc->app_ops == &h3_ops)
2458 proxy_inc_fe_cum_sess_ver_ctr(sess->listener, prx, 3);
2459
Amaury Denoyelleed820822023-04-19 17:58:39 +02002460 /* Register conn for idle front closing. This is done once everything is allocated. */
2461 if (!conn_is_back(conn))
2462 LIST_APPEND(&mux_stopping_data[tid].list, &conn->stopping_list);
2463
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002464 /* init read cycle */
2465 tasklet_wakeup(qcc->wait_event.tasklet);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002466
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002467 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002468 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002469
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002470 fail_install_app_ops:
2471 if (qcc->app_ops && qcc->app_ops->release)
2472 qcc->app_ops->release(qcc->ctx);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002473 fail_no_timeout_task:
2474 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002475 fail_no_tasklet:
2476 pool_free(pool_head_qcc, qcc);
2477 fail_no_qcc:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002478 TRACE_LEAVE(QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002479 return -1;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002480}
2481
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002482static void qc_destroy(void *ctx)
2483{
2484 struct qcc *qcc = ctx;
2485
2486 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
2487 qc_release(qcc);
2488 TRACE_LEAVE(QMUX_EV_QCC_END);
2489}
2490
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002491static void qc_detach(struct sedesc *sd)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002492{
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002493 struct qcs *qcs = sd->se;
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002494 struct qcc *qcc = qcs->qcc;
2495
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002496 TRACE_ENTER(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002497
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002498 /* TODO this BUG_ON_HOT() is not correct as the stconn layer may detach
2499 * from the stream even if it is not closed remotely at the QUIC layer.
2500 * This happens for example when a stream must be closed due to a
2501 * rejected request. To better handle these cases, it will be required
2502 * to implement shutr/shutw MUX operations. Once this is done, this
2503 * BUG_ON_HOT() statement can be adjusted.
2504 */
2505 //BUG_ON_HOT(!qcs_is_close_remote(qcs));
Amaury Denoyellec603de42022-07-25 11:21:46 +02002506
2507 qcc_rm_sc(qcc);
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002508
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02002509 if (!qcs_is_close_local(qcs) && !(qcc->conn->flags & CO_FL_ERROR)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002510 TRACE_STATE("remaining data, detaching qcs", QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002511 qcs->flags |= QC_SF_DETACH;
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002512 qcc_refresh_timeout(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002513
2514 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002515 return;
2516 }
2517
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002518 qcs_destroy(qcs);
Amaury Denoyelle1136e922022-02-01 10:33:09 +01002519
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002520 if (qcc_is_dead(qcc)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002521 TRACE_STATE("killing dead connection", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002522 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002523 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002524 else if (qcc->task) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002525 TRACE_DEVEL("refreshing connection's timeout", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002526 qcc_refresh_timeout(qcc);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002527 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002528 else {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002529 TRACE_DEVEL("completed", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002530 }
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002531
2532 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002533 return;
2534
2535 release:
2536 qc_release(qcc);
2537 TRACE_LEAVE(QMUX_EV_STRM_END);
2538 return;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002539}
2540
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002541/* Called from the upper layer, to receive data */
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002542static size_t qc_recv_buf(struct stconn *sc, struct buffer *buf,
2543 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002544{
Willy Tarreau3215e732022-05-27 10:09:11 +02002545 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002546 size_t ret = 0;
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002547 char fin = 0;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002548
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002549 TRACE_ENTER(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002550
Amaury Denoyelled80fbca2022-09-19 17:02:28 +02002551 ret = qcs_http_rcv_buf(qcs, buf, count, &fin);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002552
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002553 if (b_data(&qcs->rx.app_buf)) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002554 se_fl_set(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002555 }
2556 else {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002557 se_fl_clr(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
2558 if (se_fl_test(qcs->sd, SE_FL_ERR_PENDING))
2559 se_fl_set(qcs->sd, SE_FL_ERROR);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002560
Amaury Denoyelle72a78e82022-07-29 15:34:12 +02002561 /* Set end-of-input if FIN received and all data extracted. */
Christopher Faulet85eabfb2023-02-23 14:52:09 +01002562 if (fin) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002563 se_fl_set(qcs->sd, SE_FL_EOI);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002564
Christopher Faulet85eabfb2023-02-23 14:52:09 +01002565 /* If request EOM is reported to the upper layer, it means the
2566 * QCS now expects data from the opposite side.
2567 */
2568 se_expect_data(qcs->sd);
2569 }
2570
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002571 if (b_size(&qcs->rx.app_buf)) {
2572 b_free(&qcs->rx.app_buf);
2573 offer_buffers(NULL, 1);
2574 }
2575 }
2576
Amaury Denoyelleb8901d22023-05-03 15:30:04 +02002577 /* Restart demux if it was interrupted on full buffer. */
2578 if (ret && qcs->flags & QC_SF_DEM_FULL) {
2579 /* There must be data left for demux if it was interrupted on
2580 * full buffer. If this assumption is incorrect wakeup is not
2581 * necessary.
2582 */
2583 BUG_ON(!ncb_data(&qcs->rx.ncbuf, 0));
2584
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002585 qcs->flags &= ~QC_SF_DEM_FULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002586 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002587 }
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002588
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002589 TRACE_LEAVE(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
2590
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002591 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002592}
2593
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002594static size_t qc_send_buf(struct stconn *sc, struct buffer *buf,
2595 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002596{
Willy Tarreau3215e732022-05-27 10:09:11 +02002597 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002598 size_t ret;
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002599 char fin;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002600
2601 TRACE_ENTER(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002602
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02002603 /* stream layer has been detached so no transfer must occur after. */
2604 BUG_ON_HOT(qcs->flags & QC_SF_DETACH);
2605
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002606 if (qcs_is_close_local(qcs) || (qcs->flags & QC_SF_TO_RESET)) {
Amaury Denoyelle0ed617a2022-09-20 14:46:40 +02002607 ret = qcs_http_reset_buf(qcs, buf, count);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002608 goto end;
2609 }
2610
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002611 ret = qcs_http_snd_buf(qcs, buf, count, &fin);
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002612 if (fin) {
2613 TRACE_STATE("reached stream fin", QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002614 qcs->flags |= QC_SF_FIN_STREAM;
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002615 }
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002616
Amaury Denoyelleab6cdec2023-01-10 10:41:41 +01002617 if (ret || fin) {
Amaury Denoyellef9b03262023-01-09 10:34:25 +01002618 qcc_send_stream(qcs, 0);
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002619 if (!(qcs->qcc->wait_event.events & SUB_RETRY_SEND))
2620 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
2621 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002622
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002623 end:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002624 TRACE_LEAVE(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2625
2626 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002627}
2628
2629/* Called from the upper layer, to subscribe <es> to events <event_type>. The
2630 * event subscriber <es> is not allowed to change from a previous call as long
2631 * as at least one event is still subscribed. The <event_type> must only be a
2632 * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0.
2633 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002634static int qc_subscribe(struct stconn *sc, int event_type,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002635 struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002636{
Willy Tarreau3215e732022-05-27 10:09:11 +02002637 return qcs_subscribe(__sc_mux_strm(sc), event_type, es);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002638}
2639
2640/* Called from the upper layer, to unsubscribe <es> from events <event_type>.
2641 * The <es> pointer is not allowed to differ from the one passed to the
2642 * subscribe() call. It always returns zero.
2643 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002644static int qc_unsubscribe(struct stconn *sc, int event_type, struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002645{
Willy Tarreau3215e732022-05-27 10:09:11 +02002646 struct qcs *qcs = __sc_mux_strm(sc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002647
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002648 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
2649 BUG_ON(qcs->subs && qcs->subs != es);
2650
2651 es->events &= ~event_type;
2652 if (!es->events)
2653 qcs->subs = NULL;
2654
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002655 return 0;
2656}
2657
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002658/* Loop through all qcs from <qcc>. If CO_FL_ERROR is set on the connection,
Willy Tarreau4596fe22022-05-17 19:07:51 +02002659 * report SE_FL_ERR_PENDING|SE_FL_ERROR on the attached stream connectors and
2660 * wake them.
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002661 */
2662static int qc_wake_some_streams(struct qcc *qcc)
2663{
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002664 struct qcs *qcs;
2665 struct eb64_node *node;
2666
2667 for (node = eb64_first(&qcc->streams_by_id); node;
2668 node = eb64_next(node)) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02002669 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002670
Amaury Denoyelle3abeb572022-07-04 11:42:27 +02002671 if (!qcs_sc(qcs))
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002672 continue;
2673
2674 if (qcc->conn->flags & CO_FL_ERROR) {
Willy Tarreau35c4dd02023-01-17 16:25:29 +01002675 se_fl_set_error(qcs->sd);
Amaury Denoyelle4561f842022-07-06 14:54:34 +02002676 qcs_alert(qcs);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002677 }
2678 }
2679
2680 return 0;
2681}
2682
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002683static int qc_wake(struct connection *conn)
2684{
2685 struct qcc *qcc = conn->ctx;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002686
2687 TRACE_ENTER(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002688
Willy Tarreau784b8682022-04-11 14:18:10 +02002689 if (conn->handle.qc->flags & QUIC_FL_CONN_NOTIFY_CLOSE)
Amaury Denoyelleb515b0a2022-04-06 10:28:43 +02002690 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2691
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002692 qc_send(qcc);
2693
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002694 if (qc_process(qcc)) {
2695 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002696 goto release;
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002697 }
2698
2699 qc_wake_some_streams(qcc);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002700
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002701 qcc_refresh_timeout(qcc);
2702
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002703 TRACE_LEAVE(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002704 return 0;
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002705
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002706 release:
2707 qc_release(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002708 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002709 return 1;
2710}
2711
Amaury Denoyellea473f192022-12-21 10:21:58 +01002712static void qc_shutw(struct stconn *sc, enum co_shw_mode mode)
2713{
2714 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002715 struct qcc *qcc = qcs->qcc;
Amaury Denoyellea473f192022-12-21 10:21:58 +01002716
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002717 TRACE_ENTER(QMUX_EV_STRM_SHUT, qcc->conn, qcs);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002718
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002719 /* Early closure reported if QC_SF_FIN_STREAM not yet set. */
Amaury Denoyellea473f192022-12-21 10:21:58 +01002720 if (!qcs_is_close_local(qcs) &&
2721 !(qcs->flags & (QC_SF_FIN_STREAM|QC_SF_TO_RESET))) {
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002722
2723 if (qcs->flags & QC_SF_UNKNOWN_PL_LENGTH) {
2724 /* Close stream with a FIN STREAM frame. */
2725 TRACE_STATE("set FIN STREAM", QMUX_EV_STRM_SHUT, qcc->conn, qcs);
2726 qcs->flags |= QC_SF_FIN_STREAM;
2727 qcc_send_stream(qcs, 0);
2728 }
2729 else {
2730 /* RESET_STREAM necessary. */
2731 qcc_reset_stream(qcs, 0);
2732 se_fl_set_error(qcs->sd);
2733 }
2734
2735 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002736 }
2737
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002738 TRACE_LEAVE(QMUX_EV_STRM_SHUT, qcc->conn, qcs);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002739}
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002740
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002741/* for debugging with CLI's "show sess" command. May emit multiple lines, each
2742 * new one being prefixed with <pfx>, if <pfx> is not NULL, otherwise a single
2743 * line is used. Each field starts with a space so it's safe to print it after
2744 * existing fields.
2745 */
2746static int qc_show_sd(struct buffer *msg, struct sedesc *sd, const char *pfx)
2747{
2748 struct qcs *qcs = sd->se;
2749 struct qcc *qcc;
2750 int ret = 0;
2751
2752 if (!qcs)
2753 return ret;
2754
2755 chunk_appendf(msg, " qcs=%p .flg=%#x .id=%llu .st=%s .ctx=%p, .err=%#llx",
2756 qcs, qcs->flags, (ull)qcs->id, qcs_st_to_str(qcs->st), qcs->ctx, (ull)qcs->err);
2757
2758 if (pfx)
2759 chunk_appendf(msg, "\n%s", pfx);
2760
2761 qcc = qcs->qcc;
2762 chunk_appendf(msg, " qcc=%p .flg=%#x .nbsc=%llu .nbhreq=%llu, .task=%p",
2763 qcc, qcc->flags, (ull)qcc->nb_sc, (ull)qcc->nb_hreq, qcc->task);
2764 return ret;
2765}
2766
2767
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002768static const struct mux_ops qc_ops = {
2769 .init = qc_init,
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002770 .destroy = qc_destroy,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002771 .detach = qc_detach,
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002772 .rcv_buf = qc_recv_buf,
2773 .snd_buf = qc_send_buf,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002774 .subscribe = qc_subscribe,
2775 .unsubscribe = qc_unsubscribe,
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002776 .wake = qc_wake,
Amaury Denoyellea473f192022-12-21 10:21:58 +01002777 .shutw = qc_shutw,
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002778 .show_sd = qc_show_sd,
Willy Tarreaub5821e12022-04-26 11:54:08 +02002779 .flags = MX_FL_HTX|MX_FL_NO_UPG|MX_FL_FRAMED,
Willy Tarreau671bd5a2022-04-11 09:29:21 +02002780 .name = "QUIC",
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002781};
2782
2783static struct mux_proto_list mux_proto_quic =
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002784 { .token = IST("quic"), .mode = PROTO_MODE_HTTP, .side = PROTO_SIDE_FE, .mux = &qc_ops };
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002785
2786INITCALL1(STG_REGISTER, register_mux_proto, &mux_proto_quic);