blob: 42308d8f5f409b453e0b6febee6a6c600aa454bc [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 Denoyelle4b167002022-12-12 09:59:50 +010027static void qc_free_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
28{
29 struct buffer buf;
30
31 if (ncb_is_null(ncbuf))
32 return;
33
34 buf = b_make(ncbuf->area, ncbuf->size, 0, 0);
35 b_free(&buf);
36 offer_buffers(NULL, 1);
37
38 *ncbuf = NCBUF_NULL;
39}
40
41/* Free <qcs> instance. This function is reserved for internal usage : it must
42 * only be called on qcs alloc error or on connection shutdown. Else
Ilya Shipitsin07be66d2023-04-01 12:26:42 +020043 * qcs_destroy must be preferred to handle QUIC flow-control increase.
Amaury Denoyelle4b167002022-12-12 09:59:50 +010044 */
45static void qcs_free(struct qcs *qcs)
46{
47 struct qcc *qcc = qcs->qcc;
48
49 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn, qcs);
50
Amaury Denoyelle15337fd2022-12-20 14:47:16 +010051 /* Safe to use even if already removed from the list. */
52 LIST_DEL_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +010053 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelle4b167002022-12-12 09:59:50 +010054
55 /* Release stream endpoint descriptor. */
56 BUG_ON(qcs->sd && !se_fl_test(qcs->sd, SE_FL_ORPHAN));
57 sedesc_free(qcs->sd);
58
59 /* Release app-layer context. */
60 if (qcs->ctx && qcc->app_ops->detach)
61 qcc->app_ops->detach(qcs);
62
63 /* Release qc_stream_desc buffer from quic-conn layer. */
64 qc_stream_desc_release(qcs->stream);
65
66 /* Free Rx/Tx buffers. */
67 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
68 b_free(&qcs->tx.buf);
69
70 BUG_ON(!qcc->strms[qcs_id_type(qcs->id)].nb_streams);
71 --qcc->strms[qcs_id_type(qcs->id)].nb_streams;
72
73 /* Remove qcs from qcc tree. */
74 eb64_delete(&qcs->by_id);
75
76 pool_free(pool_head_qcs, qcs);
77
78 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
79}
80
Amaury Denoyelledeed7772021-12-03 11:36:46 +010081/* Allocate a new QUIC streams with id <id> and type <type>. */
Amaury Denoyellea509ffb2022-07-04 15:50:33 +020082static struct qcs *qcs_new(struct qcc *qcc, uint64_t id, enum qcs_type type)
Frédéric Lécailledfbae762021-02-18 09:59:01 +010083{
Amaury Denoyelledeed7772021-12-03 11:36:46 +010084 struct qcs *qcs;
Frédéric Lécailledfbae762021-02-18 09:59:01 +010085
Amaury Denoyelle4f137572022-03-24 17:10:00 +010086 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
87
Amaury Denoyelledeed7772021-12-03 11:36:46 +010088 qcs = pool_alloc(pool_head_qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020089 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +020090 TRACE_ERROR("alloc failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +020091 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020092 }
Amaury Denoyelle17014a62022-04-27 15:09:27 +020093
94 qcs->stream = NULL;
95 qcs->qcc = qcc;
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +020096 qcs->sd = NULL;
Amaury Denoyelle17014a62022-04-27 15:09:27 +020097 qcs->flags = QC_SF_NONE;
Amaury Denoyelle38e60062022-07-01 16:48:42 +020098 qcs->st = QC_SS_IDLE;
Amaury Denoyelle47447af2022-04-27 15:17:11 +020099 qcs->ctx = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100100
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200101 /* App callback attach may register the stream for http-request wait.
102 * These fields must be initialed before.
103 */
104 LIST_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100105 LIST_INIT(&qcs->el_send);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200106 qcs->start = TICK_ETERNITY;
107
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100108 /* store transport layer stream descriptor in qcc tree */
109 qcs->id = qcs->by_id.key = id;
110 eb64_insert(&qcc->streams_by_id, &qcs->by_id);
111
112 qcc->strms[type].nb_streams++;
113
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200114 /* Allocate transport layer stream descriptor. Only needed for TX. */
115 if (!quic_stream_is_uni(id) || !quic_stream_is_remote(qcc, id)) {
116 struct quic_conn *qc = qcc->conn->handle.qc;
117 qcs->stream = qc_stream_desc_new(id, type, qcs, qc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200118 if (!qcs->stream) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200119 TRACE_ERROR("qc_stream_desc alloc failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200120 goto err;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200121 }
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200122 }
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200123
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100124 /* If stream is local, use peer remote-limit, or else the opposite. */
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200125 if (quic_stream_is_bidi(id)) {
126 qcs->tx.msd = quic_stream_is_local(qcc, id) ? qcc->rfctl.msd_bidi_r :
127 qcc->rfctl.msd_bidi_l;
128 }
129 else if (quic_stream_is_local(qcc, id)) {
130 qcs->tx.msd = qcc->rfctl.msd_uni_l;
131 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100132
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200133 qcs->rx.ncbuf = NCBUF_NULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +0100134 qcs->rx.app_buf = BUF_NULL;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200135 qcs->rx.offset = qcs->rx.offset_max = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100136
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200137 if (quic_stream_is_bidi(id)) {
138 qcs->rx.msd = quic_stream_is_local(qcc, id) ? qcc->lfctl.msd_bidi_l :
139 qcc->lfctl.msd_bidi_r;
140 }
141 else if (quic_stream_is_remote(qcc, id)) {
142 qcs->rx.msd = qcc->lfctl.msd_uni_r;
143 }
Amaury Denoyellea9773552022-05-16 14:38:25 +0200144 qcs->rx.msd_init = qcs->rx.msd;
Amaury Denoyelle44d09122022-04-26 11:21:10 +0200145
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100146 qcs->tx.buf = BUF_NULL;
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100147 qcs->tx.offset = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +0100148 qcs->tx.sent_offset = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100149
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100150 qcs->wait_event.tasklet = NULL;
151 qcs->wait_event.events = 0;
152 qcs->subs = NULL;
153
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200154 qcs->err = 0;
155
Amaury Denoyelle3d550842023-01-24 17:42:21 +0100156 if (qcc->app_ops->attach && qcc->app_ops->attach(qcs, qcc->ctx)) {
157 TRACE_ERROR("app proto failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
158 goto err;
159 }
160
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100161 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100162 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100163 return qcs;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200164
165 err:
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100166 qcs_free(qcs);
167 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200168 return NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100169}
170
Amaury Denoyelle3abeb572022-07-04 11:42:27 +0200171static forceinline struct stconn *qcs_sc(const struct qcs *qcs)
172{
173 return qcs->sd ? qcs->sd->sc : NULL;
174}
175
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200176/* Reset the <qcc> inactivity timeout for http-keep-alive timeout. */
177static forceinline void qcc_reset_idle_start(struct qcc *qcc)
178{
179 qcc->idle_start = now_ms;
180}
181
Amaury Denoyellec603de42022-07-25 11:21:46 +0200182/* Decrement <qcc> sc. */
183static forceinline void qcc_rm_sc(struct qcc *qcc)
184{
185 BUG_ON_HOT(!qcc->nb_sc);
186 --qcc->nb_sc;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200187
188 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
189 * refreshed after this on stream detach.
190 */
191 if (!qcc->nb_sc && !qcc->nb_hreq)
192 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200193}
194
195/* Decrement <qcc> hreq. */
196static forceinline void qcc_rm_hreq(struct qcc *qcc)
197{
198 BUG_ON_HOT(!qcc->nb_hreq);
199 --qcc->nb_hreq;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200200
201 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
202 * refreshed after this on I/O handler.
203 */
204 if (!qcc->nb_sc && !qcc->nb_hreq)
205 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200206}
207
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200208static inline int qcc_is_dead(const struct qcc *qcc)
209{
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200210 /* Maintain connection if stream endpoints are still active. */
211 if (qcc->nb_sc)
212 return 0;
213
214 /* Connection considered dead if either :
215 * - remote error detected at tranport level
216 * - error detected locally
217 * - MUX timeout expired or unset
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200218 */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +0200219 if (qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL_DONE) ||
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200220 !qcc->task) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200221 return 1;
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200222 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200223
224 return 0;
225}
226
227/* Return true if the mux timeout should be armed. */
228static inline int qcc_may_expire(struct qcc *qcc)
229{
230 return !qcc->nb_sc;
231}
232
233/* Refresh the timeout on <qcc> if needed depending on its state. */
234static void qcc_refresh_timeout(struct qcc *qcc)
235{
236 const struct proxy *px = qcc->proxy;
237
238 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
239
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200240 if (!qcc->task) {
241 TRACE_DEVEL("already expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200242 goto leave;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200243 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200244
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200245 /* Check if upper layer is responsible of timeout management. */
246 if (!qcc_may_expire(qcc)) {
247 TRACE_DEVEL("not eligible for timeout", QMUX_EV_QCC_WAKE, qcc->conn);
248 qcc->task->expire = TICK_ETERNITY;
249 task_queue(qcc->task);
250 goto leave;
251 }
252
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200253 /* Frontend timeout management
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100254 * - shutdown done -> timeout client-fin
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200255 * - detached streams with data left to send -> default timeout
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200256 * - stream waiting on incomplete request or no stream yet activated -> timeout http-request
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200257 * - idle after stream processing -> timeout http-keep-alive
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +0100258 *
259 * If proxy stop-stop in progress, immediate or spread close will be
260 * processed if shutdown already one or connection is idle.
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200261 */
262 if (!conn_is_back(qcc->conn)) {
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100263 if (qcc->nb_hreq && !(qcc->flags & QC_CF_APP_SHUT)) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200264 TRACE_DEVEL("one or more requests still in progress", QMUX_EV_QCC_WAKE, qcc->conn);
265 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200266 task_queue(qcc->task);
267 goto leave;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200268 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200269
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100270 if ((!LIST_ISEMPTY(&qcc->opening_list) || unlikely(!qcc->largest_bidi_r)) &&
271 !(qcc->flags & QC_CF_APP_SHUT)) {
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200272 int timeout = px->timeout.httpreq;
273 struct qcs *qcs = NULL;
274 int base_time;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200275
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200276 /* Use start time of first stream waiting on HTTP or
277 * qcc idle if no stream not yet used.
278 */
279 if (likely(!LIST_ISEMPTY(&qcc->opening_list)))
280 qcs = LIST_ELEM(qcc->opening_list.n, struct qcs *, el_opening);
281 base_time = qcs ? qcs->start : qcc->idle_start;
282
283 TRACE_DEVEL("waiting on http request", QMUX_EV_QCC_WAKE, qcc->conn, qcs);
284 qcc->task->expire = tick_add_ifset(base_time, timeout);
285 }
286 else {
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100287 if (qcc->flags & QC_CF_APP_SHUT) {
288 TRACE_DEVEL("connection in closing", QMUX_EV_QCC_WAKE, qcc->conn);
289 qcc->task->expire = tick_add_ifset(now_ms,
290 qcc->shut_timeout);
291 }
292 else {
293 /* Use http-request timeout if keep-alive timeout not set */
294 int timeout = tick_isset(px->timeout.httpka) ?
295 px->timeout.httpka : px->timeout.httpreq;
296 TRACE_DEVEL("at least one request achieved but none currently in progress", QMUX_EV_QCC_WAKE, qcc->conn);
297 qcc->task->expire = tick_add_ifset(qcc->idle_start, timeout);
298 }
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +0100299
300 /* If proxy soft-stop in progress and connection is
301 * inactive, close the connection immediately. If a
302 * close-spread-time is configured, randomly spread the
303 * timer over a closing window.
304 */
305 if ((qcc->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED)) &&
306 !(global.tune.options & GTUNE_DISABLE_ACTIVE_CLOSE)) {
307
308 /* Wake timeout task immediately if window already expired. */
309 int remaining_window = tick_isset(global.close_spread_end) ?
310 tick_remain(now_ms, global.close_spread_end) : 0;
311
312 TRACE_DEVEL("proxy disabled, prepare connection soft-stop", QMUX_EV_QCC_WAKE, qcc->conn);
313 if (remaining_window) {
314 /* We don't need to reset the expire if it would
315 * already happen before the close window end.
316 */
317 if (!tick_isset(qcc->task->expire) ||
318 tick_is_le(global.close_spread_end, qcc->task->expire)) {
319 /* Set an expire value shorter than the current value
320 * because the close spread window end comes earlier.
321 */
322 qcc->task->expire = tick_add(now_ms,
323 statistical_prng_range(remaining_window));
324 }
325 }
326 else {
327 /* We are past the soft close window end, wake the timeout
328 * task up immediately.
329 */
330 qcc->task->expire = now_ms;
331 task_wakeup(qcc->task, TASK_WOKEN_TIMER);
332 }
333 }
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200334 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200335 }
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200336
337 /* fallback to default timeout if frontend specific undefined or for
338 * backend connections.
339 */
340 if (!tick_isset(qcc->task->expire)) {
341 TRACE_DEVEL("fallback to default timeout", QMUX_EV_QCC_WAKE, qcc->conn);
342 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200343 }
344
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200345 task_queue(qcc->task);
346
347 leave:
348 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
349}
350
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200351/* Mark a stream as open if it was idle. This can be used on every
352 * successful emission/reception operation to update the stream state.
353 */
354static void qcs_idle_open(struct qcs *qcs)
355{
356 /* This operation must not be used if the stream is already closed. */
357 BUG_ON_HOT(qcs->st == QC_SS_CLO);
358
359 if (qcs->st == QC_SS_IDLE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200360 TRACE_STATE("opening stream", QMUX_EV_QCS_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200361 qcs->st = QC_SS_OPEN;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200362 }
363}
364
365/* Close the local channel of <qcs> instance. */
366static void qcs_close_local(struct qcs *qcs)
367{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200368 TRACE_STATE("closing stream locally", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
369
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200370 /* The stream must have already been opened. */
371 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
372
373 /* This operation cannot be used multiple times. */
374 BUG_ON_HOT(qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO);
375
376 if (quic_stream_is_bidi(qcs->id)) {
377 qcs->st = (qcs->st == QC_SS_HREM) ? QC_SS_CLO : QC_SS_HLOC;
Amaury Denoyelleafb7b9d2022-09-19 11:58:24 +0200378
379 if (qcs->flags & QC_SF_HREQ_RECV)
380 qcc_rm_hreq(qcs->qcc);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200381 }
382 else {
383 /* Only local uni streams are valid for this operation. */
384 BUG_ON_HOT(quic_stream_is_remote(qcs->qcc, qcs->id));
385 qcs->st = QC_SS_CLO;
386 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200387}
388
389/* Close the remote channel of <qcs> instance. */
390static void qcs_close_remote(struct qcs *qcs)
391{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200392 TRACE_STATE("closing stream remotely", QMUX_EV_QCS_RECV, qcs->qcc->conn, qcs);
393
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200394 /* The stream must have already been opened. */
395 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
396
397 /* This operation cannot be used multiple times. */
398 BUG_ON_HOT(qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO);
399
400 if (quic_stream_is_bidi(qcs->id)) {
401 qcs->st = (qcs->st == QC_SS_HLOC) ? QC_SS_CLO : QC_SS_HREM;
402 }
403 else {
404 /* Only remote uni streams are valid for this operation. */
405 BUG_ON_HOT(quic_stream_is_local(qcs->qcc, qcs->id));
406 qcs->st = QC_SS_CLO;
407 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200408}
409
410static int qcs_is_close_local(struct qcs *qcs)
411{
412 return qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO;
413}
414
Amaury Denoyelle6eb3c4b2022-12-09 16:26:03 +0100415static int qcs_is_close_remote(struct qcs *qcs)
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200416{
417 return qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO;
418}
419
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +0200420/* Allocate if needed buffer <bptr> for stream <qcs>.
421 *
422 * Returns the buffer instance or NULL on allocation failure.
423 */
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100424struct buffer *qc_get_buf(struct qcs *qcs, struct buffer *bptr)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100425{
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +0200426 return b_alloc(bptr);
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100427}
428
Amaury Denoyelled00b3092023-05-11 17:00:54 +0200429/* Allocate if needed buffer <ncbuf> for stream <qcs>.
430 *
431 * Returns the buffer instance or NULL on allocation failure.
432 */
Amaury Denoyellea441ec92022-07-04 15:48:57 +0200433static struct ncbuf *qc_get_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200434{
435 struct buffer buf = BUF_NULL;
436
437 if (ncb_is_null(ncbuf)) {
Amaury Denoyelled00b3092023-05-11 17:00:54 +0200438 if (!b_alloc(&buf))
439 return NULL;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200440
441 *ncbuf = ncb_make(buf.area, buf.size, 0);
442 ncb_init(ncbuf, 0);
443 }
444
445 return ncbuf;
446}
447
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500448/* Notify an eventual subscriber on <qcs> or else wakeup up the stconn layer if
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200449 * initialized.
450 */
451static void qcs_alert(struct qcs *qcs)
452{
453 if (qcs->subs) {
454 qcs_notify_recv(qcs);
455 qcs_notify_send(qcs);
456 }
457 else if (qcs_sc(qcs) && qcs->sd->sc->app_ops->wake) {
Amaury Denoyelle2d5c3f52023-05-11 13:41:41 +0200458 TRACE_POINT(QMUX_EV_STRM_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200459 qcs->sd->sc->app_ops->wake(qcs->sd->sc);
460 }
461}
462
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100463int qcs_subscribe(struct qcs *qcs, int event_type, struct wait_event *es)
464{
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100465 struct qcc *qcc = qcs->qcc;
466
467 TRACE_ENTER(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100468
469 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
470 BUG_ON(qcs->subs && qcs->subs != es);
471
472 es->events |= event_type;
473 qcs->subs = es;
474
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100475 if (event_type & SUB_RETRY_RECV)
476 TRACE_DEVEL("subscribe(recv)", QMUX_EV_STRM_RECV, qcc->conn, qcs);
477
478 if (event_type & SUB_RETRY_SEND)
479 TRACE_DEVEL("subscribe(send)", QMUX_EV_STRM_SEND, qcc->conn, qcs);
480
481 TRACE_LEAVE(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
482
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100483 return 0;
484}
485
486void qcs_notify_recv(struct qcs *qcs)
487{
488 if (qcs->subs && qcs->subs->events & SUB_RETRY_RECV) {
Amaury Denoyelle2d5c3f52023-05-11 13:41:41 +0200489 TRACE_POINT(QMUX_EV_STRM_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100490 tasklet_wakeup(qcs->subs->tasklet);
491 qcs->subs->events &= ~SUB_RETRY_RECV;
492 if (!qcs->subs->events)
493 qcs->subs = NULL;
494 }
495}
496
497void qcs_notify_send(struct qcs *qcs)
498{
499 if (qcs->subs && qcs->subs->events & SUB_RETRY_SEND) {
Amaury Denoyelle2d5c3f52023-05-11 13:41:41 +0200500 TRACE_POINT(QMUX_EV_STRM_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100501 tasklet_wakeup(qcs->subs->tasklet);
502 qcs->subs->events &= ~SUB_RETRY_SEND;
503 if (!qcs->subs->events)
504 qcs->subs = NULL;
505 }
506}
507
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200508/* A fatal error is detected locally for <qcc> connection. It should be closed
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200509 * with a CONNECTION_CLOSE using <err> code. Set <app> to true to indicate that
510 * the code must be considered as an application level error. This function
511 * must not be called more than once by connection.
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200512 */
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200513void qcc_set_error(struct qcc *qcc, int err, int app)
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200514{
515 /* This must not be called multiple times per connection. */
516 BUG_ON(qcc->flags & QC_CF_ERRL);
517
518 TRACE_STATE("connection on error", QMUX_EV_QCC_ERR, qcc->conn);
519
520 qcc->flags |= QC_CF_ERRL;
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200521 qcc->err = app ? quic_err_app(err) : quic_err_transport(err);
Amaury Denoyelleda24bcf2023-05-09 18:20:45 +0200522
523 /* TODO
524 * Ensure qc_send() will be conducted to convert QC_CF_ERRL in
525 * QC_CF_ERRL_DONE with CONNECTION_CLOSE frame emission. This may be
526 * unnecessary if we are currently in the MUX tasklet context, but it
527 * is too tedious too not forget a wakeup outside of this function for
528 * the moment.
529 */
530 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200531}
532
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200533/* Open a locally initiated stream for the connection <qcc>. Set <bidi> for a
534 * bidirectional stream, else an unidirectional stream is opened. The next
535 * available ID on the connection will be used according to the stream type.
536 *
537 * Returns the allocated stream instance or NULL on error.
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100538 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200539struct qcs *qcc_init_stream_local(struct qcc *qcc, int bidi)
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100540{
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200541 struct qcs *qcs;
542 enum qcs_type type;
543 uint64_t *next;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100544
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200545 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
546
547 if (bidi) {
548 next = &qcc->next_bidi_l;
549 type = conn_is_back(qcc->conn) ? QCS_CLT_BIDI : QCS_SRV_BIDI;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100550 }
551 else {
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200552 next = &qcc->next_uni_l;
553 type = conn_is_back(qcc->conn) ? QCS_CLT_UNI : QCS_SRV_UNI;
554 }
555
556 /* TODO ensure that we won't overflow remote peer flow control limit on
557 * streams. Else, we should emit a STREAMS_BLOCKED frame.
558 */
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100559
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200560 qcs = qcs_new(qcc, *next, type);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200561 if (!qcs) {
562 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200563 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200564 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200565 }
Amaury Denoyellec055e302022-02-07 16:09:06 +0100566
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200567 TRACE_PROTO("opening local stream", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200568 *next += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100569
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200570 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200571 return qcs;
572}
573
574/* Open a remote initiated stream for the connection <qcc> with ID <id>. The
575 * caller is responsible to ensure that a stream with the same ID was not
576 * already opened. This function will also create all intermediaries streams
577 * with ID smaller than <id> not already opened before.
578 *
579 * Returns the allocated stream instance or NULL on error.
580 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200581static struct qcs *qcc_init_stream_remote(struct qcc *qcc, uint64_t id)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200582{
583 struct qcs *qcs = NULL;
584 enum qcs_type type;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200585 uint64_t *largest, max_id;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100586
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200587 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200588
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200589 BUG_ON_HOT(quic_stream_is_local(qcc, id));
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100590
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200591 if (quic_stream_is_bidi(id)) {
592 largest = &qcc->largest_bidi_r;
593 type = conn_is_back(qcc->conn) ? QCS_SRV_BIDI : QCS_CLT_BIDI;
594 }
595 else {
596 largest = &qcc->largest_uni_r;
597 type = conn_is_back(qcc->conn) ? QCS_SRV_UNI : QCS_CLT_UNI;
598 }
599
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200600 /* RFC 9000 4.6. Controlling Concurrency
601 *
602 * An endpoint that receives a frame with a stream ID exceeding the
603 * limit it has sent MUST treat this as a connection error of type
604 * STREAM_LIMIT_ERROR
605 */
606 max_id = quic_stream_is_bidi(id) ? qcc->lfctl.ms_bidi * 4 :
607 qcc->lfctl.ms_uni * 4;
608 if (id >= max_id) {
609 TRACE_ERROR("flow control error", QMUX_EV_QCS_NEW|QMUX_EV_PROTO_ERR, qcc->conn);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200610 qcc_set_error(qcc, QC_ERR_STREAM_LIMIT_ERROR, 0);
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200611 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200612 }
613
614 /* Only stream ID not already opened can be used. */
615 BUG_ON(id < *largest);
616
617 while (id >= *largest) {
Amaury Denoyellefd79ddb2022-08-16 11:13:45 +0200618 const char *str = *largest < id ? "initializing intermediary remote stream" :
619 "initializing remote stream";
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200620
621 qcs = qcs_new(qcc, *largest, type);
622 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200623 TRACE_ERROR("stream fallocation failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200624 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200625 goto err;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100626 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200627
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200628 TRACE_PROTO(str, QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200629 *largest += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100630 }
631
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200632 out:
633 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle50742292022-03-29 14:57:19 +0200634 return qcs;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200635
636 err:
637 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
638 return NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200639}
640
641/* Use this function for a stream <id> which is not in <qcc> stream tree. It
642 * returns true if the associated stream is closed.
643 */
644static int qcc_stream_id_is_closed(struct qcc *qcc, uint64_t id)
645{
646 uint64_t *largest;
647
648 /* This function must only be used for stream not present in the stream tree. */
649 BUG_ON_HOT(eb64_lookup(&qcc->streams_by_id, id));
650
651 if (quic_stream_is_local(qcc, id)) {
652 largest = quic_stream_is_uni(id) ? &qcc->next_uni_l :
653 &qcc->next_bidi_l;
654 }
655 else {
656 largest = quic_stream_is_uni(id) ? &qcc->largest_uni_r :
657 &qcc->largest_bidi_r;
658 }
659
660 return id < *largest;
661}
662
663/* Retrieve the stream instance from <id> ID. This can be used when receiving
664 * STREAM, STREAM_DATA_BLOCKED, RESET_STREAM, MAX_STREAM_DATA or STOP_SENDING
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200665 * frames. Set to false <receive_only> or <send_only> if these particular types
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200666 * of streams are not allowed. If the stream instance is found, it is stored in
667 * <out>.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200668 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200669 * Returns 0 on success else non-zero. On error, a RESET_STREAM or a
670 * CONNECTION_CLOSE is automatically emitted. Beware that <out> may be NULL
671 * on success if the stream has already been closed.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200672 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200673int qcc_get_qcs(struct qcc *qcc, uint64_t id, int receive_only, int send_only,
674 struct qcs **out)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200675{
676 struct eb64_node *node;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200677
678 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200679 *out = NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200680
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200681 if (!receive_only && quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200682 TRACE_ERROR("receive-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200683 qcc_set_error(qcc, QC_ERR_STREAM_STATE_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200684 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200685 }
686
687 if (!send_only && quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200688 TRACE_ERROR("send-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200689 qcc_set_error(qcc, QC_ERR_STREAM_STATE_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200690 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200691 }
692
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200693 /* Search the stream in the connection tree. */
694 node = eb64_lookup(&qcc->streams_by_id, id);
695 if (node) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200696 *out = eb64_entry(node, struct qcs, by_id);
697 TRACE_DEVEL("using stream from connection tree", QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200698 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200699 }
700
701 /* Check if stream is already closed. */
702 if (qcc_stream_id_is_closed(qcc, id)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200703 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200704 /* Consider this as a success even if <out> is left NULL. */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200705 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200706 }
707
708 /* Create the stream. This is valid only for remote initiated one. A
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500709 * local stream must have already been explicitly created by the
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200710 * application protocol layer.
711 */
712 if (quic_stream_is_local(qcc, id)) {
713 /* RFC 9000 19.8. STREAM Frames
714 *
715 * An endpoint MUST terminate the connection with error
716 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
717 * initiated stream that has not yet been created, or for a send-only
718 * stream.
719 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200720 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 Denoyelle58721f22023-05-09 18:01:09 +0200721 qcc_set_error(qcc, QC_ERR_STREAM_STATE_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200722 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200723 }
724 else {
725 /* Remote stream not found - try to open it. */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200726 *out = qcc_init_stream_remote(qcc, id);
727 if (!*out) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200728 TRACE_ERROR("stream creation error", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200729 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200730 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200731 }
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100732
733 out:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200734 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200735 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200736
737 err:
738 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
739 return 1;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100740}
741
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200742/* Simple function to duplicate a buffer */
743static inline struct buffer qcs_b_dup(const struct ncbuf *b)
744{
745 return b_make(ncb_orig(b), b->size, b->head, ncb_data(b, 0));
746}
747
Amaury Denoyelle36d4b5e2022-07-01 11:25:40 +0200748/* Remove <bytes> from <qcs> Rx buffer. Flow-control for received offsets may
749 * be allocated for the peer if needed.
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200750 */
751static void qcs_consume(struct qcs *qcs, uint64_t bytes)
752{
753 struct qcc *qcc = qcs->qcc;
754 struct quic_frame *frm;
755 struct ncbuf *buf = &qcs->rx.ncbuf;
756 enum ncb_ret ret;
757
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200758 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
759
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200760 ret = ncb_advance(buf, bytes);
761 if (ret) {
762 ABORT_NOW(); /* should not happens because removal only in data */
763 }
764
765 if (ncb_is_empty(buf))
766 qc_free_ncbuf(qcs, buf);
767
768 qcs->rx.offset += bytes;
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100769 /* Not necessary to emit a MAX_STREAM_DATA if all data received. */
770 if (qcs->flags & QC_SF_SIZE_KNOWN)
771 goto conn_fctl;
772
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200773 if (qcs->rx.msd - qcs->rx.offset < qcs->rx.msd_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200774 TRACE_DATA("increase stream credit via MAX_STREAM_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100775 frm = qc_frm_alloc(QUIC_FT_MAX_STREAM_DATA);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100776 if (!frm) {
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200777 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100778 return;
779 }
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200780
781 qcs->rx.msd = qcs->rx.offset + qcs->rx.msd_init;
782
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200783 frm->max_stream_data.id = qcs->id;
784 frm->max_stream_data.max_stream_data = qcs->rx.msd;
785
786 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
787 tasklet_wakeup(qcc->wait_event.tasklet);
788 }
789
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100790 conn_fctl:
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200791 qcc->lfctl.offsets_consume += bytes;
792 if (qcc->lfctl.md - qcc->lfctl.offsets_consume < qcc->lfctl.md_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200793 TRACE_DATA("increase conn credit via MAX_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100794 frm = qc_frm_alloc(QUIC_FT_MAX_DATA);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100795 if (!frm) {
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200796 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100797 return;
798 }
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200799
800 qcc->lfctl.md = qcc->lfctl.offsets_consume + qcc->lfctl.md_init;
801
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200802 frm->max_data.max_data = qcc->lfctl.md;
803
804 LIST_APPEND(&qcs->qcc->lfctl.frms, &frm->list);
805 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
806 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200807
808 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200809}
810
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200811/* Decode the content of STREAM frames already received on the stream instance
812 * <qcs>.
813 *
814 * Returns 0 on success else non-zero.
815 */
816static int qcc_decode_qcs(struct qcc *qcc, struct qcs *qcs)
817{
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200818 struct buffer b;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200819 ssize_t ret;
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200820 int fin = 0;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200821
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200822 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
823
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200824 b = qcs_b_dup(&qcs->rx.ncbuf);
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200825
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200826 /* Signal FIN to application if STREAM FIN received with all data. */
827 if (qcs_is_close_remote(qcs))
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200828 fin = 1;
829
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100830 if (!(qcs->flags & QC_SF_READ_ABORTED)) {
831 ret = qcc->app_ops->decode_qcs(qcs, &b, fin);
832 if (ret < 0) {
833 TRACE_ERROR("decoding error", QMUX_EV_QCS_RECV, qcc->conn, qcs);
834 goto err;
835 }
836 }
837 else {
838 TRACE_DATA("ignore read on stream", QMUX_EV_QCS_RECV, qcc->conn, qcs);
839 ret = b_data(&b);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200840 }
841
Amaury Denoyelle381d8132023-02-17 09:51:20 +0100842 if (ret)
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200843 qcs_consume(qcs, ret);
Amaury Denoyelle381d8132023-02-17 09:51:20 +0100844 if (ret || (!b_data(&b) && fin))
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200845 qcs_notify_recv(qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200846
847 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200848 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200849
850 err:
851 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
852 return 1;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200853}
854
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200855/* Prepare for the emission of RESET_STREAM on <qcs> with error code <err>. */
856void qcc_reset_stream(struct qcs *qcs, int err)
857{
858 struct qcc *qcc = qcs->qcc;
859
860 if ((qcs->flags & QC_SF_TO_RESET) || qcs_is_close_local(qcs))
861 return;
862
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200863 TRACE_STATE("reset stream", QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200864 qcs->flags |= QC_SF_TO_RESET;
865 qcs->err = err;
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100866
Amaury Denoyelle178fbff2023-03-22 11:17:59 +0100867 /* Remove prepared stream data from connection flow-control calcul. */
868 if (qcs->tx.offset > qcs->tx.sent_offset) {
869 const uint64_t diff = qcs->tx.offset - qcs->tx.sent_offset;
870 BUG_ON(qcc->tx.offsets - diff < qcc->tx.sent_offsets);
871 qcc->tx.offsets -= diff;
872 /* Reset qcs offset to prevent BUG_ON() on qcs_destroy(). */
873 qcs->tx.offset = qcs->tx.sent_offset;
874 }
875
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100876 qcc_send_stream(qcs, 1);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200877 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100878}
879
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100880/* Register <qcs> stream for emission of STREAM, STOP_SENDING or RESET_STREAM.
881 * Set <urg> to 1 if stream content should be treated in priority compared to
882 * other streams.
883 */
884void qcc_send_stream(struct qcs *qcs, int urg)
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100885{
886 struct qcc *qcc = qcs->qcc;
887
888 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
889
890 /* Cannot send if already closed. */
891 BUG_ON(qcs_is_close_local(qcs));
892
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100893 if (urg) {
894 LIST_DEL_INIT(&qcs->el_send);
895 LIST_INSERT(&qcc->send_list, &qcs->el_send);
896 }
897 else {
898 if (!LIST_INLIST(&qcs->el_send))
899 LIST_APPEND(&qcs->qcc->send_list, &qcs->el_send);
900 }
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100901
902 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
903}
904
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100905/* Prepare for the emission of STOP_SENDING on <qcs>. */
906void qcc_abort_stream_read(struct qcs *qcs)
907{
908 struct qcc *qcc = qcs->qcc;
909
910 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn, qcs);
911
912 if ((qcs->flags & QC_SF_TO_STOP_SENDING) || qcs_is_close_remote(qcs))
913 goto end;
914
915 TRACE_STATE("abort stream read", QMUX_EV_QCS_END, qcc->conn, qcs);
916 qcs->flags |= (QC_SF_TO_STOP_SENDING|QC_SF_READ_ABORTED);
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100917
918 qcc_send_stream(qcs, 1);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100919 tasklet_wakeup(qcc->wait_event.tasklet);
920
921 end:
922 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn, qcs);
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200923}
924
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200925/* Install the <app_ops> applicative layer of a QUIC connection on mux <qcc>.
926 * Returns 0 on success else non-zero.
927 */
928int qcc_install_app_ops(struct qcc *qcc, const struct qcc_app_ops *app_ops)
929{
930 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn);
931
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100932 if (app_ops->init && !app_ops->init(qcc)) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200933 TRACE_ERROR("app ops init error", QMUX_EV_QCC_NEW, qcc->conn);
934 goto err;
935 }
936
937 TRACE_PROTO("application layer initialized", QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100938 qcc->app_ops = app_ops;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200939
Amaury Denoyelle71fd0362023-01-24 17:35:37 +0100940 /* RFC 9114 7.2.4.2. Initialization
941 *
942 * Endpoints MUST NOT require any data to be
943 * received from the peer prior to sending the SETTINGS frame;
944 * settings MUST be sent as soon as the transport is ready to
945 * send data.
946 */
947 if (qcc->app_ops->finalize) {
948 if (qcc->app_ops->finalize(qcc->ctx)) {
949 TRACE_ERROR("app ops finalize error", QMUX_EV_QCC_NEW, qcc->conn);
950 goto err;
951 }
952 tasklet_wakeup(qcc->wait_event.tasklet);
953 }
954
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200955 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
956 return 0;
957
958 err:
959 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
960 return 1;
961}
962
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200963/* Handle a new STREAM frame for stream with id <id>. Payload is pointed by
964 * <data> with length <len> and represents the offset <offset>. <fin> is set if
965 * the QUIC frame FIN bit is set.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100966 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200967 * Returns 0 on success else non-zero. On error, the received frame should not
968 * be acknowledged.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100969 */
970int qcc_recv(struct qcc *qcc, uint64_t id, uint64_t len, uint64_t offset,
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200971 char fin, char *data)
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100972{
973 struct qcs *qcs;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200974 enum ncb_ret ret;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100975
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100976 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
977
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200978 if (qcc->flags & QC_CF_ERRL) {
979 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200980 goto err;
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200981 }
982
Amaury Denoyelle6754d7e2022-05-23 16:12:49 +0200983 /* RFC 9000 19.8. STREAM Frames
984 *
985 * An endpoint MUST terminate the connection with error
986 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
987 * initiated stream that has not yet been created, or for a send-only
988 * stream.
989 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200990 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200991 TRACE_DATA("qcs retrieval error", QMUX_EV_QCC_RECV, qcc->conn);
992 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200993 }
994
995 if (!qcs) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200996 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV, qcc->conn);
997 goto out;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200998 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100999
Amaury Denoyellebf91e392022-07-04 10:02:04 +02001000 /* RFC 9000 4.5. Stream Final Size
1001 *
1002 * Once a final size for a stream is known, it cannot change. If a
1003 * RESET_STREAM or STREAM frame is received indicating a change in the
1004 * final size for the stream, an endpoint SHOULD respond with an error
1005 * of type FINAL_SIZE_ERROR; see Section 11 for details on error
1006 * handling.
1007 */
1008 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1009 (offset + len > qcs->rx.offset_max || (fin && offset + len < qcs->rx.offset_max))) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001010 TRACE_ERROR("final size error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR, qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001011 qcc_set_error(qcc, QC_ERR_FINAL_SIZE_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001012 goto err;
Amaury Denoyellebf91e392022-07-04 10:02:04 +02001013 }
1014
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001015 if (qcs_is_close_remote(qcs)) {
1016 TRACE_DATA("skipping STREAM for remotely closed", QMUX_EV_QCC_RECV, qcc->conn);
1017 goto out;
1018 }
1019
Amaury Denoyellefa241932023-02-14 15:36:36 +01001020 if (offset + len < qcs->rx.offset ||
1021 (offset + len == qcs->rx.offset && (!fin || (qcs->flags & QC_SF_SIZE_KNOWN)))) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001022 TRACE_DATA("already received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1023 goto out;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001024 }
1025
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001026 TRACE_PROTO("receiving STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001027 qcs_idle_open(qcs);
1028
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001029 if (offset + len > qcs->rx.offset_max) {
1030 uint64_t diff = offset + len - qcs->rx.offset_max;
1031 qcs->rx.offset_max = offset + len;
1032 qcc->lfctl.offsets_recv += diff;
1033
1034 if (offset + len > qcs->rx.msd ||
1035 qcc->lfctl.offsets_recv > qcc->lfctl.md) {
1036 /* RFC 9000 4.1. Data Flow Control
1037 *
1038 * A receiver MUST close the connection with an error
1039 * of type FLOW_CONTROL_ERROR if the sender violates
1040 * the advertised connection or stream data limits
1041 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001042 TRACE_ERROR("flow control error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001043 qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001044 qcc_set_error(qcc, QC_ERR_FLOW_CONTROL_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001045 goto err;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001046 }
1047 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001048
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001049 if (!qc_get_ncbuf(qcs, &qcs->rx.ncbuf) || ncb_is_null(&qcs->rx.ncbuf)) {
Amaury Denoyelled00b3092023-05-11 17:00:54 +02001050 TRACE_ERROR("receive ncbuf alloc failure", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1051 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
1052 goto err;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001053 }
1054
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001055 TRACE_DATA("newly received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001056 if (offset < qcs->rx.offset) {
Frédéric Lécaillea18c3332022-07-04 09:54:58 +02001057 size_t diff = qcs->rx.offset - offset;
1058
1059 len -= diff;
1060 data += diff;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001061 offset = qcs->rx.offset;
1062 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001063
Amaury Denoyellefa241932023-02-14 15:36:36 +01001064 if (len) {
1065 ret = ncb_add(&qcs->rx.ncbuf, offset - qcs->rx.offset, data, len, NCB_ADD_COMPARE);
1066 switch (ret) {
1067 case NCB_RET_OK:
1068 break;
1069
1070 case NCB_RET_DATA_REJ:
Amaury Denoyellecc3d7162022-05-20 15:14:57 +02001071 /* RFC 9000 2.2. Sending and Receiving Data
1072 *
1073 * An endpoint could receive data for a stream at the
1074 * same stream offset multiple times. Data that has
1075 * already been received can be discarded. The data at
1076 * a given offset MUST NOT change if it is sent
1077 * multiple times; an endpoint MAY treat receipt of
1078 * different data at the same offset within a stream as
1079 * a connection error of type PROTOCOL_VIOLATION.
1080 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001081 TRACE_ERROR("overlapping data rejected", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001082 qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001083 qcc_set_error(qcc, QC_ERR_PROTOCOL_VIOLATION, 0);
Amaury Denoyellefa241932023-02-14 15:36:36 +01001084 return 1;
1085
1086 case NCB_RET_GAP_SIZE:
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001087 TRACE_DATA("cannot bufferize frame due to gap size limit", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV,
1088 qcc->conn, qcs);
Amaury Denoyellefa241932023-02-14 15:36:36 +01001089 return 1;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001090 }
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001091 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001092
1093 if (fin)
Amaury Denoyelle3f39b402022-07-01 16:11:03 +02001094 qcs->flags |= QC_SF_SIZE_KNOWN;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001095
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001096 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1097 qcs->rx.offset_max == qcs->rx.offset + ncb_data(&qcs->rx.ncbuf, 0)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001098 qcs_close_remote(qcs);
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001099 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001100
Amaury Denoyellefa241932023-02-14 15:36:36 +01001101 if ((ncb_data(&qcs->rx.ncbuf, 0) && !(qcs->flags & QC_SF_DEM_FULL)) || fin) {
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001102 qcc_decode_qcs(qcc, qcs);
Amaury Denoyelle418ba212022-08-02 15:57:16 +02001103 qcc_refresh_timeout(qcc);
1104 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001105
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001106 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001107 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001108 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001109
1110 err:
1111 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1112 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001113}
1114
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001115/* Handle a new MAX_DATA frame. <max> must contains the maximum data field of
1116 * the frame.
1117 *
1118 * Returns 0 on success else non-zero.
1119 */
1120int qcc_recv_max_data(struct qcc *qcc, uint64_t max)
1121{
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001122 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1123
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001124 TRACE_PROTO("receiving MAX_DATA", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001125 if (qcc->rfctl.md < max) {
1126 qcc->rfctl.md = max;
Amaury Denoyelleb7143a82023-03-22 15:08:01 +01001127 TRACE_DATA("increase remote max-data", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001128
1129 if (qcc->flags & QC_CF_BLK_MFCTL) {
1130 qcc->flags &= ~QC_CF_BLK_MFCTL;
1131 tasklet_wakeup(qcc->wait_event.tasklet);
1132 }
1133 }
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001134
1135 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001136 return 0;
1137}
1138
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001139/* Handle a new MAX_STREAM_DATA frame. <max> must contains the maximum data
1140 * field of the frame and <id> is the identifier of the QUIC stream.
1141 *
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001142 * Returns 0 on success else non-zero. On error, the received frame should not
1143 * be acknowledged.
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001144 */
1145int qcc_recv_max_stream_data(struct qcc *qcc, uint64_t id, uint64_t max)
1146{
1147 struct qcs *qcs;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001148
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001149 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1150
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001151 if (qcc->flags & QC_CF_ERRL) {
1152 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001153 goto err;
1154 }
1155
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001156 /* RFC 9000 19.10. MAX_STREAM_DATA Frames
1157 *
1158 * Receiving a MAX_STREAM_DATA frame for a locally
1159 * initiated stream that has not yet been created MUST be treated as a
1160 * connection error of type STREAM_STATE_ERROR. An endpoint that
1161 * receives a MAX_STREAM_DATA frame for a receive-only stream MUST
1162 * terminate the connection with error STREAM_STATE_ERROR.
1163 */
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001164 if (qcc_get_qcs(qcc, id, 0, 1, &qcs))
1165 goto err;
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001166
1167 if (qcs) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001168 TRACE_PROTO("receiving MAX_STREAM_DATA", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001169 if (max > qcs->tx.msd) {
1170 qcs->tx.msd = max;
Amaury Denoyelleb7143a82023-03-22 15:08:01 +01001171 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 +01001172
1173 if (qcs->flags & QC_SF_BLK_SFCTL) {
1174 qcs->flags &= ~QC_SF_BLK_SFCTL;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001175 /* TODO optim: only wakeup IO-CB if stream has data to sent. */
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001176 tasklet_wakeup(qcc->wait_event.tasklet);
1177 }
1178 }
1179 }
1180
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001181 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1182 qcc_refresh_timeout(qcc);
1183
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001184 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1185 return 0;
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001186
1187 err:
1188 TRACE_DEVEL("leaving on error", QMUX_EV_QCC_RECV, qcc->conn);
1189 return 1;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001190}
1191
1192/* Handle a new RESET_STREAM frame from stream ID <id> with error code <err>
1193 * and final stream size <final_size>.
1194 *
1195 * Returns 0 on success else non-zero. On error, the received frame should not
1196 * be acknowledged.
1197 */
1198int qcc_recv_reset_stream(struct qcc *qcc, uint64_t id, uint64_t err, uint64_t final_size)
1199{
1200 struct qcs *qcs;
1201
1202 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1203
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001204 if (qcc->flags & QC_CF_ERRL) {
1205 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001206 goto err;
1207 }
1208
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001209 /* RFC 9000 19.4. RESET_STREAM Frames
1210 *
1211 * An endpoint that receives a RESET_STREAM frame for a send-only stream
1212 * MUST terminate the connection with error STREAM_STATE_ERROR.
1213 */
1214 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
1215 TRACE_ERROR("RESET_STREAM for send-only stream received", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001216 qcc_set_error(qcc, QC_ERR_STREAM_STATE_ERROR, 0);
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001217 goto err;
1218 }
1219
Amaury Denoyelle3cb78142023-05-15 11:31:20 +02001220 /* RFC 9000 3.2. Receiving Stream States
1221 *
1222 * A RESET_STREAM signal might be suppressed or withheld
1223 * if stream data is completely received and is buffered to be read by
1224 * the application. If the RESET_STREAM is suppressed, the receiving
1225 * part of the stream remains in "Data Recvd".
1226 */
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001227 if (!qcs || qcs_is_close_remote(qcs))
1228 goto out;
1229
1230 TRACE_PROTO("receiving RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1231 qcs_idle_open(qcs);
1232
Amaury Denoyelle3cb78142023-05-15 11:31:20 +02001233 /* Ensure stream closure is not forbidden by application protocol. */
Amaury Denoyellee269aeb2023-01-30 12:13:22 +01001234 if (qcc->app_ops->close) {
1235 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_RD)) {
1236 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1237 goto out;
1238 }
1239 }
1240
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001241 if (qcs->rx.offset_max > final_size ||
1242 ((qcs->flags & QC_SF_SIZE_KNOWN) && qcs->rx.offset_max != final_size)) {
1243 TRACE_ERROR("final size error on RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001244 qcc_set_error(qcc, QC_ERR_FINAL_SIZE_ERROR, 0);
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001245 goto err;
1246 }
1247
Amaury Denoyelle3cb78142023-05-15 11:31:20 +02001248 /* RFC 9000 3.2. Receiving Stream States
1249 *
1250 * An
1251 * implementation MAY interrupt delivery of stream data, discard any
1252 * data that was not consumed, and signal the receipt of the
1253 * RESET_STREAM.
1254 */
1255 qcs->flags |= QC_SF_SIZE_KNOWN|QC_SF_RECV_RESET;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001256 qcs_close_remote(qcs);
1257 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
1258
1259 if (qcs_sc(qcs)) {
1260 se_fl_set_error(qcs->sd);
1261 qcs_alert(qcs);
1262 }
1263
1264 out:
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001265 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001266 return 0;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001267
1268 err:
1269 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1270 return 1;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001271}
1272
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001273/* Handle a new STOP_SENDING frame for stream ID <id>. The error code should be
1274 * specified in <err>.
1275 *
1276 * Returns 0 on success else non-zero. On error, the received frame should not
1277 * be acknowledged.
1278 */
1279int qcc_recv_stop_sending(struct qcc *qcc, uint64_t id, uint64_t err)
1280{
1281 struct qcs *qcs;
1282
1283 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1284
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001285 if (qcc->flags & QC_CF_ERRL) {
1286 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001287 goto err;
1288 }
1289
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001290 /* RFC 9000 19.5. STOP_SENDING Frames
1291 *
1292 * Receiving a STOP_SENDING frame for a
1293 * locally initiated stream that has not yet been created MUST be
1294 * treated as a connection error of type STREAM_STATE_ERROR. An
1295 * endpoint that receives a STOP_SENDING frame for a receive-only stream
1296 * MUST terminate the connection with error STREAM_STATE_ERROR.
1297 */
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001298 if (qcc_get_qcs(qcc, id, 0, 1, &qcs))
1299 goto err;
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001300
1301 if (!qcs)
1302 goto out;
1303
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001304 TRACE_PROTO("receiving STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelled7755372022-10-03 17:20:31 +02001305
1306 /* RFC 9000 3.5. Solicited State Transitions
1307 *
1308 * An endpoint is expected to send another STOP_SENDING frame if a
1309 * packet containing a previous STOP_SENDING is lost. However, once
1310 * either all stream data or a RESET_STREAM frame has been received for
1311 * the stream -- that is, the stream is in any state other than "Recv"
1312 * or "Size Known" -- sending a STOP_SENDING frame is unnecessary.
1313 */
1314
1315 /* TODO thanks to previous RFC clause, STOP_SENDING is ignored if current stream
1316 * has already been closed locally. This is useful to not emit multiple
1317 * RESET_STREAM for a single stream. This is functional if stream is
1318 * locally closed due to all data transmitted, but in this case the RFC
1319 * advices to use an explicit RESET_STREAM.
1320 */
1321 if (qcs_is_close_local(qcs)) {
1322 TRACE_STATE("ignoring STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1323 goto out;
1324 }
1325
Amaury Denoyelle96ca1b72022-08-09 17:36:38 +02001326 qcs_idle_open(qcs);
1327
Amaury Denoyelle87f87662023-01-30 12:12:43 +01001328 if (qcc->app_ops->close) {
1329 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_WR)) {
1330 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1331 goto out;
1332 }
1333 }
1334
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001335 /* RFC 9000 3.5. Solicited State Transitions
1336 *
1337 * An endpoint that receives a STOP_SENDING frame
1338 * MUST send a RESET_STREAM frame if the stream is in the "Ready" or
1339 * "Send" state. If the stream is in the "Data Sent" state, the
1340 * endpoint MAY defer sending the RESET_STREAM frame until the packets
1341 * containing outstanding data are acknowledged or declared lost. If
1342 * any outstanding data is declared lost, the endpoint SHOULD send a
1343 * RESET_STREAM frame instead of retransmitting the data.
1344 *
1345 * An endpoint SHOULD copy the error code from the STOP_SENDING frame to
1346 * the RESET_STREAM frame it sends, but it can use any application error
1347 * code.
1348 */
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001349 qcc_reset_stream(qcs, err);
1350
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001351 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1352 qcc_refresh_timeout(qcc);
1353
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001354 out:
1355 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1356 return 0;
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001357
1358 err:
1359 TRACE_DEVEL("leaving on error", QMUX_EV_QCC_RECV, qcc->conn);
1360 return 1;
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001361}
1362
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001363/* Signal the closing of remote stream with id <id>. Flow-control for new
1364 * streams may be allocated for the peer if needed.
1365 */
1366static int qcc_release_remote_stream(struct qcc *qcc, uint64_t id)
Amaury Denoyellec055e302022-02-07 16:09:06 +01001367{
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001368 struct quic_frame *frm;
1369
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001370 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn);
1371
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001372 if (quic_stream_is_bidi(id)) {
1373 ++qcc->lfctl.cl_bidi_r;
1374 if (qcc->lfctl.cl_bidi_r > qcc->lfctl.ms_bidi_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001375 TRACE_DATA("increase max stream limit with MAX_STREAMS_BIDI", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001376 frm = qc_frm_alloc(QUIC_FT_MAX_STREAMS_BIDI);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +01001377 if (!frm) {
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001378 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +01001379 goto err;
1380 }
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001381
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001382 frm->max_streams_bidi.max_streams = qcc->lfctl.ms_bidi +
1383 qcc->lfctl.cl_bidi_r;
1384 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
1385 tasklet_wakeup(qcc->wait_event.tasklet);
1386
1387 qcc->lfctl.ms_bidi += qcc->lfctl.cl_bidi_r;
1388 qcc->lfctl.cl_bidi_r = 0;
1389 }
1390 }
1391 else {
Amaury Denoyelle91077312022-12-22 18:56:09 +01001392 /* TODO unidirectional stream flow control with MAX_STREAMS_UNI
1393 * emission not implemented. It should be unnecessary for
1394 * HTTP/3 but may be required if other application protocols
1395 * are supported.
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001396 */
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001397 }
1398
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001399 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
1400
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001401 return 0;
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +01001402
1403 err:
1404 TRACE_DEVEL("leaving on error", QMUX_EV_QCS_END, qcc->conn);
1405 return 1;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001406}
1407
Ilya Shipitsin5e87bcf2021-12-25 11:45:52 +05001408/* detaches the QUIC stream from its QCC and releases it to the QCS pool. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001409static void qcs_destroy(struct qcs *qcs)
1410{
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001411 struct qcc *qcc = qcs->qcc;
1412 struct connection *conn = qcc->conn;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001413 const uint64_t id = qcs->id;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001414
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001415 TRACE_ENTER(QMUX_EV_QCS_END, conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001416
Amaury Denoyelle178fbff2023-03-22 11:17:59 +01001417 /* MUST not removed a stream with sending prepared data left. This is
1418 * to ensure consistency on connection flow-control calculation.
1419 */
1420 BUG_ON(qcs->tx.offset < qcs->tx.sent_offset);
1421
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001422 if (!(qcc->flags & QC_CF_ERRL)) {
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001423 if (quic_stream_is_remote(qcc, id))
1424 qcc_release_remote_stream(qcc, id);
1425 }
Amaury Denoyellec055e302022-02-07 16:09:06 +01001426
Amaury Denoyelledccbd732022-03-29 18:36:59 +02001427 qcs_free(qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001428
1429 TRACE_LEAVE(QMUX_EV_QCS_END, conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001430}
1431
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001432/* Transfer as much as possible data on <qcs> from <in> to <out>. This is done
1433 * in respect with available flow-control at stream and connection level.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001434 *
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +02001435 * Returns the total bytes of transferred data or a negative error code.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001436 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001437static int qcs_xfer_data(struct qcs *qcs, struct buffer *out, struct buffer *in)
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001438{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001439 struct qcc *qcc = qcs->qcc;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001440 int left, to_xfer;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001441 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001442
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001443 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001444
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +02001445 if (!qc_get_buf(qcs, out)) {
1446 TRACE_ERROR("buffer alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1447 goto err;
1448 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001449
1450 /*
1451 * QCS out buffer diagram
1452 * head left to_xfer
1453 * -------------> ----------> ----->
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001454 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001455 * |...............|xxxxxxxxxxx|<<<<<
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001456 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001457 * ^ ack-off ^ sent-off ^ off
1458 *
1459 * STREAM frame
1460 * ^ ^
1461 * |xxxxxxxxxxxxxxxxx|
1462 */
1463
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001464 BUG_ON_HOT(qcs->tx.sent_offset < qcs->stream->ack_offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001465 BUG_ON_HOT(qcs->tx.offset < qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001466 BUG_ON_HOT(qcc->tx.offsets < qcc->tx.sent_offsets);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001467
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001468 left = qcs->tx.offset - qcs->tx.sent_offset;
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001469 to_xfer = QUIC_MIN(b_data(in), b_room(out));
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001470
1471 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
1472 /* do not exceed flow control limit */
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001473 if (qcs->tx.offset + to_xfer > qcs->tx.msd) {
1474 TRACE_DATA("do not exceed stream flow control", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001475 to_xfer = qcs->tx.msd - qcs->tx.offset;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001476 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001477
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001478 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001479 /* do not overcome flow control limit on connection */
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001480 if (qcc->tx.offsets + to_xfer > qcc->rfctl.md) {
1481 TRACE_DATA("do not exceed conn flow control", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001482 to_xfer = qcc->rfctl.md - qcc->tx.offsets;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001483 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001484
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001485 if (!left && !to_xfer)
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001486 goto out;
1487
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001488 total = b_force_xfer(out, in, to_xfer);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001489
1490 out:
1491 {
1492 struct qcs_xfer_data_trace_arg arg = {
1493 .prep = b_data(out), .xfer = total,
1494 };
1495 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_XFER_DATA,
1496 qcc->conn, qcs, &arg);
1497 }
1498
1499 return total;
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +02001500
1501 err:
1502 TRACE_DEVEL("leaving on error", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1503 return -1;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001504}
1505
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001506/* Prepare a STREAM frame for <qcs> instance using <out> as payload. The frame
1507 * is appended in <frm_list>. Set <fin> if this is supposed to be the last
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001508 * stream frame. If <out> is NULL an empty STREAM frame is built : this may be
1509 * useful if FIN needs to be sent without any data left.
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001510 *
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001511 * Returns the payload length of the STREAM frame or a negative error code.
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001512 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001513static int qcs_build_stream_frm(struct qcs *qcs, struct buffer *out, char fin,
1514 struct list *frm_list)
1515{
1516 struct qcc *qcc = qcs->qcc;
1517 struct quic_frame *frm;
1518 int head, total;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001519 uint64_t base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001520
1521 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1522
Amaury Denoyellea4569202022-04-15 17:29:25 +02001523 /* if ack_offset < buf_offset, it points to an older buffer. */
1524 base_off = MAX(qcs->stream->buf_offset, qcs->stream->ack_offset);
1525 BUG_ON(qcs->tx.sent_offset < base_off);
1526
1527 head = qcs->tx.sent_offset - base_off;
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001528 total = out ? b_data(out) - head : 0;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001529 BUG_ON(total < 0);
1530
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001531 if (!total && !fin) {
1532 /* No need to send anything if total is NULL and no FIN to signal. */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001533 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1534 return 0;
1535 }
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001536 BUG_ON((!total && qcs->tx.sent_offset > qcs->tx.offset) ||
1537 (total && qcs->tx.sent_offset >= qcs->tx.offset));
Amaury Denoyellea4569202022-04-15 17:29:25 +02001538 BUG_ON(qcs->tx.sent_offset + total > qcs->tx.offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001539 BUG_ON(qcc->tx.sent_offsets + total > qcc->rfctl.md);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001540
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001541 TRACE_PROTO("sending STREAM frame", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001542 frm = qc_frm_alloc(QUIC_FT_STREAM_8);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001543 if (!frm) {
1544 TRACE_ERROR("frame alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001545 goto err;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001546 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001547
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001548 frm->stream.stream = qcs->stream;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001549 frm->stream.id = qcs->id;
Amaury Denoyelle1dac0182023-02-02 16:45:07 +01001550 frm->stream.offset.key = 0;
Amaury Denoyelleebfafc22023-03-07 18:07:08 +01001551 frm->stream.dup = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001552
Amaury Denoyelle42c5b752023-04-25 16:39:32 +02001553 if (total) {
1554 frm->stream.buf = out;
1555 frm->stream.data = (unsigned char *)b_peek(out, head);
1556 }
1557 else {
1558 /* Empty STREAM frame. */
1559 frm->stream.buf = NULL;
1560 frm->stream.data = NULL;
1561 }
1562
Amaury Denoyellefecfa0d2021-12-07 16:50:14 +01001563 /* FIN is positioned only when the buffer has been totally emptied. */
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001564 if (fin)
1565 frm->type |= QUIC_STREAM_FRAME_TYPE_FIN_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001566
1567 if (qcs->tx.sent_offset) {
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001568 frm->type |= QUIC_STREAM_FRAME_TYPE_OFF_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001569 frm->stream.offset.key = qcs->tx.sent_offset;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001570 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001571
Amaury Denoyelle42c5b752023-04-25 16:39:32 +02001572 /* Always set length bit as we do not know if there is remaining frames
1573 * in the final packet after this STREAM.
1574 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001575 frm->type |= QUIC_STREAM_FRAME_TYPE_LEN_BIT;
1576 frm->stream.len = total;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001577
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001578 LIST_APPEND(frm_list, &frm->list);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001579
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001580 out:
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001581 {
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001582 struct qcs_build_stream_trace_arg arg = {
1583 .len = frm->stream.len, .fin = fin,
1584 .offset = frm->stream.offset.key,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001585 };
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001586 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_BUILD_STRM,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001587 qcc->conn, qcs, &arg);
1588 }
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001589
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001590 return total;
1591
1592 err:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001593 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001594 return -1;
1595}
1596
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001597/* Check after transferring data from qcs.tx.buf if FIN must be set on the next
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001598 * STREAM frame for <qcs>.
1599 *
1600 * Returns true if FIN must be set else false.
1601 */
1602static int qcs_stream_fin(struct qcs *qcs)
1603{
1604 return qcs->flags & QC_SF_FIN_STREAM && !b_data(&qcs->tx.buf);
1605}
1606
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001607/* Return true if <qcs> has data to send in new STREAM frames. */
1608static forceinline int qcs_need_sending(struct qcs *qcs)
1609{
1610 return b_data(&qcs->tx.buf) || qcs->tx.sent_offset < qcs->tx.offset ||
1611 qcs_stream_fin(qcs);
1612}
1613
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001614/* This function must be called by the upper layer to inform about the sending
1615 * of a STREAM frame for <qcs> instance. The frame is of <data> length and on
1616 * <offset>.
1617 */
1618void qcc_streams_sent_done(struct qcs *qcs, uint64_t data, uint64_t offset)
1619{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001620 struct qcc *qcc = qcs->qcc;
1621 uint64_t diff;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001622
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001623 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1624
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001625 BUG_ON(offset > qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001626 BUG_ON(offset + data > qcs->tx.offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001627
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001628 /* check if the STREAM frame has already been notified. It can happen
1629 * for retransmission.
1630 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001631 if (offset + data < qcs->tx.sent_offset) {
1632 TRACE_DEVEL("offset already notified", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1633 goto out;
1634 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001635
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001636 qcs_idle_open(qcs);
1637
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001638 diff = offset + data - qcs->tx.sent_offset;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001639 if (diff) {
1640 /* increase offset sum on connection */
1641 qcc->tx.sent_offsets += diff;
1642 BUG_ON_HOT(qcc->tx.sent_offsets > qcc->rfctl.md);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001643 if (qcc->tx.sent_offsets == qcc->rfctl.md) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001644 qcc->flags |= QC_CF_BLK_MFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001645 TRACE_STATE("connection flow-control reached", QMUX_EV_QCS_SEND, qcc->conn);
1646 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001647
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001648 /* increase offset on stream */
1649 qcs->tx.sent_offset += diff;
1650 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.msd);
1651 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.offset);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001652 if (qcs->tx.sent_offset == qcs->tx.msd) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001653 qcs->flags |= QC_SF_BLK_SFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001654 TRACE_STATE("stream flow-control reached", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1655 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001656
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001657 /* If qcs.stream.buf is full, release it to the lower layer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001658 if (qcs->tx.offset == qcs->tx.sent_offset &&
1659 b_full(&qcs->stream->buf->buf)) {
1660 qc_stream_buf_release(qcs->stream);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001661 }
Amaury Denoyelle1bcb6952023-04-28 16:24:44 +02001662
1663 /* Add measurement for send rate. This is done at the MUX layer
1664 * to account only for STREAM frames without retransmission.
Amaury Denoyelle1bcb6952023-04-28 16:24:44 +02001665 */
Amaury Denoyellebc0adfa2023-04-28 16:46:11 +02001666 increment_send_rate(diff, 0);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001667 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001668
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001669 if (qcs->tx.offset == qcs->tx.sent_offset && !b_data(&qcs->tx.buf)) {
1670 /* Remove stream from send_list if all was sent. */
1671 LIST_DEL_INIT(&qcs->el_send);
1672 TRACE_STATE("stream sent done", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1673
1674 if (qcs->flags & (QC_SF_FIN_STREAM|QC_SF_DETACH)) {
1675 /* Close stream locally. */
1676 qcs_close_local(qcs);
1677 /* Reset flag to not emit multiple FIN STREAM frames. */
1678 qcs->flags &= ~QC_SF_FIN_STREAM;
1679 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001680 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001681
1682 out:
1683 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001684}
1685
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001686/* Returns true if subscribe set, false otherwise. */
1687static int qcc_subscribe_send(struct qcc *qcc)
1688{
1689 struct connection *conn = qcc->conn;
Amaury Denoyelleb2e31d32023-05-10 11:57:40 +02001690
1691 /* Do not subscribe if lower layer in error. */
1692 if (conn->flags & CO_FL_ERROR)
1693 return 0;
1694
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001695 if (qcc->wait_event.events & SUB_RETRY_SEND)
1696 return 1;
1697
1698 TRACE_DEVEL("subscribe for send", QMUX_EV_QCC_SEND, qcc->conn);
1699 conn->xprt->subscribe(conn, conn->xprt_ctx, SUB_RETRY_SEND, &qcc->wait_event);
1700 return 1;
1701}
1702
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001703/* Wrapper for send on transport layer. Send a list of frames <frms> for the
1704 * connection <qcc>.
1705 *
1706 * Returns 0 if all data sent with success else non-zero.
1707 */
1708static int qc_send_frames(struct qcc *qcc, struct list *frms)
1709{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001710 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
1711
1712 if (LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001713 TRACE_DEVEL("no frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1714 goto err;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001715 }
Frédéric Lécaille4e22f282022-03-18 18:38:19 +01001716
Amaury Denoyellecaa16542023-02-28 15:11:26 +01001717 if (!qc_send_mux(qcc->conn->handle.qc, frms)) {
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001718 TRACE_DEVEL("error on sending", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001719 qcc_subscribe_send(qcc);
Amaury Denoyelle036cc5d2022-09-26 15:02:31 +02001720 goto err;
Amaury Denoyellecaa16542023-02-28 15:11:26 +01001721 }
Amaury Denoyellee9c4cc12022-03-04 15:29:53 +01001722
Amaury Denoyelledb5d1a12022-03-10 16:42:23 +01001723 /* If there is frames left at this stage, transport layer is blocked.
1724 * Subscribe on it to retry later.
1725 */
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001726 if (!LIST_ISEMPTY(frms)) {
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001727 TRACE_DEVEL("remaining frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1728 qcc_subscribe_send(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001729 goto err;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001730 }
1731
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001732 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001733 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001734
1735 err:
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02001736 TRACE_DEVEL("leaving on error", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001737 return 1;
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001738}
1739
1740/* Emit a RESET_STREAM on <qcs>.
1741 *
1742 * Returns 0 if the frame has been successfully sent else non-zero.
1743 */
1744static int qcs_send_reset(struct qcs *qcs)
1745{
1746 struct list frms = LIST_HEAD_INIT(frms);
1747 struct quic_frame *frm;
1748
1749 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1750
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001751 frm = qc_frm_alloc(QUIC_FT_RESET_STREAM);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001752 if (!frm) {
1753 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001754 return 1;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001755 }
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001756
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001757 frm->reset_stream.id = qcs->id;
1758 frm->reset_stream.app_error_code = qcs->err;
1759 frm->reset_stream.final_size = qcs->tx.sent_offset;
1760
1761 LIST_APPEND(&frms, &frm->list);
1762 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle131f2d92023-05-09 14:10:55 +02001763 if (!LIST_ISEMPTY(&frms))
1764 qc_frm_free(&frm);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001765 TRACE_DEVEL("cannot send RESET_STREAM", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1766 return 1;
1767 }
1768
1769 if (qcs_sc(qcs)) {
1770 se_fl_set_error(qcs->sd);
1771 qcs_alert(qcs);
1772 }
1773
1774 qcs_close_local(qcs);
1775 qcs->flags &= ~QC_SF_TO_RESET;
1776
1777 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001778 return 0;
1779}
1780
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001781/* Emit a STOP_SENDING on <qcs>.
1782 *
1783 * Returns 0 if the frame has been successfully sent else non-zero.
1784 */
1785static int qcs_send_stop_sending(struct qcs *qcs)
1786{
1787 struct list frms = LIST_HEAD_INIT(frms);
1788 struct quic_frame *frm;
1789 struct qcc *qcc = qcs->qcc;
1790
1791 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1792
1793 /* RFC 9000 3.3. Permitted Frame Types
1794 *
1795 * A
1796 * receiver MAY send a STOP_SENDING frame in any state where it has not
1797 * received a RESET_STREAM frame -- that is, states other than "Reset
1798 * Recvd" or "Reset Read". However, there is little value in sending a
1799 * STOP_SENDING frame in the "Data Recvd" state, as all stream data has
1800 * been received. A sender could receive either of these two types of
1801 * frames in any state as a result of delayed delivery of packets.¶
1802 */
1803 if (qcs_is_close_remote(qcs)) {
1804 TRACE_STATE("skip STOP_SENDING on remote already closed", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1805 goto done;
1806 }
1807
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001808 frm = qc_frm_alloc(QUIC_FT_STOP_SENDING);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001809 if (!frm) {
1810 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1811 return 1;
1812 }
1813
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001814 frm->stop_sending.id = qcs->id;
1815 frm->stop_sending.app_error_code = qcs->err;
1816
1817 LIST_APPEND(&frms, &frm->list);
1818 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle131f2d92023-05-09 14:10:55 +02001819 if (!LIST_ISEMPTY(&frms))
1820 qc_frm_free(&frm);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001821 TRACE_DEVEL("cannot send STOP_SENDING", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1822 return 1;
1823 }
1824
1825 done:
1826 qcs->flags &= ~QC_SF_TO_STOP_SENDING;
1827
1828 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1829 return 0;
1830}
1831
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001832/* Used internally by qc_send function. Proceed to send for <qcs>. This will
1833 * transfer data from qcs buffer to its quic_stream counterpart. A STREAM frame
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001834 * is then generated and inserted in <frms> list.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001835 *
1836 * Returns the total bytes transferred between qcs and quic_stream buffers. Can
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001837 * be null if out buffer cannot be allocated. On error a negative error code is
1838 * used.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001839 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001840static int _qc_send_qcs(struct qcs *qcs, struct list *frms)
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001841{
1842 struct qcc *qcc = qcs->qcc;
1843 struct buffer *buf = &qcs->tx.buf;
1844 struct buffer *out = qc_stream_buf_get(qcs->stream);
Amaury Denoyelle6c501ed2023-05-12 16:19:32 +02001845 int xfer = 0, buf_avail;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001846 char fin = 0;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001847
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001848 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1849
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001850 /* Cannot send STREAM on remote unidirectional streams. */
1851 BUG_ON(quic_stream_is_uni(qcs->id) && quic_stream_is_remote(qcc, qcs->id));
1852
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001853 if (b_data(buf)) {
1854 /* Allocate <out> buffer if not already done. */
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001855 if (!out) {
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001856 if (qcc->flags & QC_CF_CONN_FULL)
1857 goto out;
1858
Amaury Denoyelle6c501ed2023-05-12 16:19:32 +02001859 out = qc_stream_buf_alloc(qcs->stream, qcs->tx.offset,
1860 &buf_avail);
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001861 if (!out) {
Amaury Denoyelle1611a762023-05-15 13:56:46 +02001862 if (buf_avail) {
Amaury Denoyelle6c501ed2023-05-12 16:19:32 +02001863 TRACE_ERROR("stream desc alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1864 goto err;
1865 }
1866
Amaury Denoyelle1611a762023-05-15 13:56:46 +02001867 TRACE_STATE("hitting stream desc buffer limit", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001868 qcc->flags |= QC_CF_CONN_FULL;
1869 goto out;
1870 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001871 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001872
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001873 /* Transfer data from <buf> to <out>. */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001874 xfer = qcs_xfer_data(qcs, out, buf);
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +02001875 if (xfer < 0)
1876 goto err;
1877
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001878 if (xfer > 0) {
1879 qcs_notify_send(qcs);
1880 qcs->flags &= ~QC_SF_BLK_MROOM;
1881 }
1882
1883 qcs->tx.offset += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001884 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001885 qcc->tx.offsets += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001886 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001887
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001888 /* out buffer cannot be emptied if qcs offsets differ. */
1889 BUG_ON(!b_data(out) && qcs->tx.sent_offset != qcs->tx.offset);
1890 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001891
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001892 /* FIN is set if all incoming data were transferred. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001893 fin = qcs_stream_fin(qcs);
1894
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001895 /* Build a new STREAM frame with <out> buffer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001896 if (qcs->tx.sent_offset != qcs->tx.offset || fin) {
Amaury Denoyelle04b22082023-05-03 09:50:39 +02001897 /* Skip STREAM frame allocation if already subscribed for send.
1898 * Happens on sendto transient error or network congestion.
1899 */
1900 if (qcc->wait_event.events & SUB_RETRY_SEND) {
1901 TRACE_DEVEL("already subscribed for sending",
1902 QMUX_EV_QCS_SEND, qcc->conn, qcs);
1903 goto err;
1904 }
1905
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001906 if (qcs_build_stream_frm(qcs, out, fin, frms) < 0)
1907 goto err;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001908 }
1909
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001910 out:
1911 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001912 return xfer;
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001913
1914 err:
1915 TRACE_DEVEL("leaving on error", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1916 return -1;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001917}
1918
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001919/* Proceed to sending. Loop through all available streams for the <qcc>
1920 * instance and try to send as much as possible.
1921 *
1922 * Returns the total of bytes sent to the transport layer.
1923 */
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001924static int qc_send(struct qcc *qcc)
1925{
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001926 struct list frms = LIST_HEAD_INIT(frms);
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001927 /* Temporary list for QCS on error. */
1928 struct list qcs_failed = LIST_HEAD_INIT(qcs_failed);
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02001929 struct qcs *qcs, *qcs_tmp, *first_qcs = NULL;
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001930 int ret, total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001931
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001932 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001933
Amaury Denoyelle04b22082023-05-03 09:50:39 +02001934 /* TODO if socket in transient error, sending should be temporarily
1935 * disabled for all frames. However, checking for send subscription is
1936 * not valid as this may be caused by a congestion error which only
1937 * apply for STREAM frames.
1938 */
1939
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02001940 /* Check for transport error. */
1941 if (qcc->flags & QC_CF_ERR_CONN || qcc->conn->flags & CO_FL_ERROR) {
1942 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
1943 goto out;
1944 }
1945
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001946 /* Check for locally detected connection error. */
1947 if (qcc->flags & QC_CF_ERRL) {
1948 /* Prepare a CONNECTION_CLOSE if not already done. */
1949 if (!(qcc->flags & QC_CF_ERRL_DONE)) {
1950 TRACE_DATA("report a connection error", QMUX_EV_QCC_SEND|QMUX_EV_QCC_ERR, qcc->conn);
1951 quic_set_connection_close(qcc->conn->handle.qc, qcc->err);
1952 qcc->flags |= QC_CF_ERRL_DONE;
1953 }
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02001954 goto out;
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001955 }
1956
1957 if (qcc->conn->flags & CO_FL_SOCK_WR_SH) {
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001958 qcc->conn->flags |= CO_FL_ERROR;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001959 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02001960 goto out;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001961 }
1962
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001963 if (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1964 if (qc_send_frames(qcc, &qcc->lfctl.frms)) {
1965 TRACE_DEVEL("flow-control frames rejected by transport, aborting send", QMUX_EV_QCC_SEND, qcc->conn);
1966 goto out;
1967 }
1968 }
Amaury Denoyellec9337802022-04-04 16:36:34 +02001969
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001970 if (qcc->flags & QC_CF_BLK_MFCTL)
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02001971 goto out;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001972
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001973 /* Send STREAM/STOP_SENDING/RESET_STREAM data for registered streams. */
1974 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_list, el_send) {
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02001975 /* Check if all QCS were processed. */
1976 if (qcs == first_qcs)
1977 break;
1978
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001979 /* Stream must not be present in send_list if it has nothing to send. */
1980 BUG_ON(!(qcs->flags & (QC_SF_TO_STOP_SENDING|QC_SF_TO_RESET)) &&
1981 !qcs_need_sending(qcs));
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001982
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001983 /* Each STOP_SENDING/RESET_STREAM frame is sent individually to
1984 * guarantee its emission.
1985 *
1986 * TODO multiplex several frames in same datagram to optimize sending
1987 */
1988 if (qcs->flags & QC_SF_TO_STOP_SENDING) {
1989 if (qcs_send_stop_sending(qcs))
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02001990 goto sent_done;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001991
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001992 /* Remove stream from send_list if it had only STOP_SENDING
1993 * to send.
1994 */
1995 if (!(qcs->flags & QC_SF_TO_RESET) && !qcs_need_sending(qcs)) {
1996 LIST_DEL_INIT(&qcs->el_send);
1997 continue;
1998 }
Amaury Denoyellee2ec9422022-03-10 16:46:18 +01001999 }
2000
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002001 if (qcs->flags & QC_SF_TO_RESET) {
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01002002 if (qcs_send_reset(qcs))
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002003 goto sent_done;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002004
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01002005 /* RFC 9000 3.3. Permitted Frame Types
2006 *
2007 * A sender MUST NOT send
2008 * a STREAM or STREAM_DATA_BLOCKED frame for a stream in the
2009 * "Reset Sent" state or any terminal state -- that is, after
2010 * sending a RESET_STREAM frame.
2011 */
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002012 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelled2f80a22022-04-15 17:30:49 +02002013 continue;
2014 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02002015
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002016 if (!(qcs->flags & QC_SF_BLK_SFCTL)) {
2017 if ((ret = _qc_send_qcs(qcs, &frms)) < 0) {
2018 /* Temporarily remove QCS from send-list. */
2019 LIST_DEL_INIT(&qcs->el_send);
2020 LIST_APPEND(&qcs_failed, &qcs->el_send);
2021 continue;
2022 }
2023
2024 total += ret;
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02002025 if (ret) {
2026 /* Move QCS with some bytes transferred at the
2027 * end of send-list for next iterations.
2028 */
2029 LIST_DEL_INIT(&qcs->el_send);
2030 LIST_APPEND(&qcc->send_list, &qcs->el_send);
2031 /* Remember first moved QCS as checkpoint to interrupt loop */
2032 if (!first_qcs)
2033 first_qcs = qcs;
2034 }
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002035 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02002036 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02002037
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01002038 /* Retry sending until no frame to send, data rejected or connection
2039 * flow-control limit reached.
2040 */
2041 while (qc_send_frames(qcc, &frms) == 0 && !(qcc->flags & QC_CF_BLK_MFCTL)) {
2042 /* Reloop over <qcc.send_list>. Useful for streams which have
2043 * fulfilled their qc_stream_desc buf and have now release it.
2044 */
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002045 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_list, el_send) {
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01002046 /* Only streams blocked on flow-control or waiting on a
2047 * new qc_stream_desc should be present in send_list as
2048 * long as transport layer can handle all data.
2049 */
2050 BUG_ON(qcs->stream->buf && !(qcs->flags & QC_SF_BLK_SFCTL));
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02002051
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002052 if (!(qcs->flags & QC_SF_BLK_SFCTL)) {
2053 if ((ret = _qc_send_qcs(qcs, &frms)) < 0) {
2054 LIST_DEL_INIT(&qcs->el_send);
2055 LIST_APPEND(&qcs_failed, &qcs->el_send);
2056 continue;
2057 }
2058
2059 total += ret;
2060 }
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01002061 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02002062 }
Frédéric Lécaille8526f142021-09-20 17:58:22 +02002063
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002064 sent_done:
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02002065 /* Deallocate frames that the transport layer has rejected. */
2066 if (!LIST_ISEMPTY(&frms)) {
2067 struct quic_frame *frm, *frm2;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002068
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01002069 list_for_each_entry_safe(frm, frm2, &frms, list)
2070 qc_frm_free(&frm);
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02002071 }
2072
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002073 /* Re-insert on-error QCS at the end of the send-list. */
2074 if (!LIST_ISEMPTY(&qcs_failed)) {
2075 list_for_each_entry_safe(qcs, qcs_tmp, &qcs_failed, el_send) {
2076 LIST_DEL_INIT(&qcs->el_send);
2077 LIST_APPEND(&qcc->send_list, &qcs->el_send);
2078 }
2079
2080 if (!(qcc->flags & QC_CF_BLK_MFCTL))
2081 tasklet_wakeup(qcc->wait_event.tasklet);
2082 }
2083
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002084 out:
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002085 if (qcc->conn->flags & CO_FL_ERROR && !(qcc->flags & QC_CF_ERR_CONN)) {
2086 TRACE_ERROR("error reported by transport layer",
2087 QMUX_EV_QCC_SEND, qcc->conn);
2088 qcc->flags |= QC_CF_ERR_CONN;
2089 }
2090
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002091 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01002092 return total;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002093}
2094
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002095/* Proceed on receiving. Loop through all streams from <qcc> and use decode_qcs
2096 * operation.
2097 *
2098 * Returns 0 on success else non-zero.
2099 */
2100static int qc_recv(struct qcc *qcc)
2101{
2102 struct eb64_node *node;
2103 struct qcs *qcs;
2104
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002105 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellee1cad8b2022-05-23 18:52:11 +02002106
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002107 if (qcc->flags & QC_CF_ERRL) {
2108 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002109 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02002110 return 0;
2111 }
2112
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002113 node = eb64_first(&qcc->streams_by_id);
2114 while (node) {
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002115 uint64_t id;
2116
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002117 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002118 id = qcs->id;
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002119
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002120 if (!ncb_data(&qcs->rx.ncbuf, 0) || (qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002121 node = eb64_next(node);
2122 continue;
2123 }
2124
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002125 if (quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002126 node = eb64_next(node);
2127 continue;
2128 }
2129
2130 qcc_decode_qcs(qcc, qcs);
2131 node = eb64_next(node);
2132 }
2133
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002134 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002135 return 0;
2136}
2137
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002138
2139/* Release all streams which have their transfer operation achieved.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01002140 *
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002141 * Returns true if at least one stream is released.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01002142 */
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002143static int qc_purge_streams(struct qcc *qcc)
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002144{
2145 struct eb64_node *node;
2146 int release = 0;
2147
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002148 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002149
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002150 node = eb64_first(&qcc->streams_by_id);
2151 while (node) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02002152 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002153 node = eb64_next(node);
2154
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002155 /* Release not attached closed streams. */
2156 if (qcs->st == QC_SS_CLO && !qcs_sc(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002157 TRACE_STATE("purging closed stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002158 qcs_destroy(qcs);
2159 release = 1;
2160 continue;
2161 }
2162
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002163 /* Release detached streams with empty buffer. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002164 if (qcs->flags & QC_SF_DETACH) {
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02002165 if (qcs_is_close_local(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002166 TRACE_STATE("purging detached stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002167 qcs_destroy(qcs);
2168 release = 1;
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002169 continue;
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002170 }
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002171 }
2172 }
2173
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002174 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002175 return release;
2176}
2177
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002178/* Execute application layer shutdown. If this operation is not defined, a
2179 * CONNECTION_CLOSE will be prepared as a fallback. This function is protected
2180 * against multiple invocation with the flag QC_CF_APP_SHUT.
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002181 */
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002182static void qc_shutdown(struct qcc *qcc)
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002183{
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002184 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002185
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002186 if (qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL)) {
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002187 TRACE_DATA("connection on error", QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002188 goto out;
Amaury Denoyelle665817a2023-03-20 17:34:22 +01002189 }
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002190
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002191 if (qcc->flags & QC_CF_APP_SHUT)
2192 goto out;
2193
2194 TRACE_STATE("perform graceful shutdown", QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002195 if (qcc->app_ops && qcc->app_ops->shutdown) {
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002196 qcc->app_ops->shutdown(qcc->ctx);
Amaury Denoyellea154dc02022-06-13 17:09:01 +02002197 qc_send(qcc);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002198 }
2199 else {
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002200 qcc->err = quic_err_app(QC_ERR_NO_ERROR);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002201 }
2202
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002203 /* Register "no error" code at transport layer. Do not use
2204 * quic_set_connection_close() as retransmission may be performed to
2205 * finalized transfers. Do not overwrite quic-conn existing code if
2206 * already set.
2207 *
2208 * TODO implement a wrapper function for this in quic-conn module
2209 */
2210 if (!(qcc->conn->handle.qc->flags & QUIC_FL_CONN_IMMEDIATE_CLOSE))
2211 qcc->conn->handle.qc->err = qcc->err;
2212
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002213 out:
2214 qcc->flags |= QC_CF_APP_SHUT;
2215 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
2216}
2217
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002218/* Loop through all qcs from <qcc>. Report error on stream endpoint if
2219 * connection on error and wake them.
2220 */
2221static int qc_wake_some_streams(struct qcc *qcc)
2222{
2223 struct qcs *qcs;
2224 struct eb64_node *node;
2225
2226 TRACE_POINT(QMUX_EV_QCC_WAKE, qcc->conn);
2227
2228 for (node = eb64_first(&qcc->streams_by_id); node;
2229 node = eb64_next(node)) {
2230 qcs = eb64_entry(node, struct qcs, by_id);
2231
2232 if (!qcs_sc(qcs))
2233 continue;
2234
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002235 if (qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL)) {
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002236 TRACE_POINT(QMUX_EV_QCC_WAKE, qcc->conn, qcs);
2237 se_fl_set_error(qcs->sd);
2238 qcs_alert(qcs);
2239 }
2240 }
2241
2242 return 0;
2243}
2244
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002245/* Conduct operations which should be made for <qcc> connection after
2246 * input/output. Most notably, closed streams are purged which may leave the
2247 * connection has ready to be released.
2248 *
2249 * Returns 1 if <qcc> must be released else 0.
2250 */
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002251static int qc_process(struct qcc *qcc)
2252{
2253 qc_purge_streams(qcc);
2254
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +01002255 /* Check if a soft-stop is in progress.
2256 *
2257 * TODO this is relevant for frontend connections only.
2258 */
2259 if (unlikely(qcc->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED))) {
2260 int close = 1;
2261
2262 /* If using listener socket, soft-stop is not supported. The
2263 * connection must be closed immediately.
2264 */
2265 if (!qc_test_fd(qcc->conn->handle.qc)) {
2266 TRACE_DEVEL("proxy disabled with listener socket, closing connection", QMUX_EV_QCC_WAKE, qcc->conn);
2267 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2268 qc_send(qcc);
2269 goto out;
2270 }
2271
2272 TRACE_DEVEL("proxy disabled, prepare connection soft-stop", QMUX_EV_QCC_WAKE, qcc->conn);
2273
2274 /* If a close-spread-time option is set, we want to avoid
2275 * closing all the active HTTP3 connections at once so we add a
2276 * random factor that will spread the closing.
2277 */
2278 if (tick_isset(global.close_spread_end)) {
2279 int remaining_window = tick_remain(now_ms, global.close_spread_end);
2280 if (remaining_window) {
2281 /* This should increase the closing rate the
2282 * further along the window we are. */
2283 close = (remaining_window <= statistical_prng_range(global.close_spread_time));
2284 }
2285 }
2286 else if (global.tune.options & GTUNE_DISABLE_ACTIVE_CLOSE) {
2287 close = 0; /* let the client close his connection himself */
2288 }
2289
2290 if (close)
2291 qc_shutdown(qcc);
2292 }
2293
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002294 /* Report error if set on stream endpoint layer. */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002295 if (qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL))
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002296 qc_wake_some_streams(qcc);
2297
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +01002298 out:
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002299 if (qcc_is_dead(qcc))
2300 return 1;
2301
2302 return 0;
2303}
2304
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002305/* release function. This one should be called to free all resources allocated
2306 * to the mux.
2307 */
2308static void qc_release(struct qcc *qcc)
2309{
2310 struct connection *conn = qcc->conn;
2311 struct eb64_node *node;
2312
2313 TRACE_ENTER(QMUX_EV_QCC_END, conn);
2314
2315 qc_shutdown(qcc);
2316
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002317 if (qcc->task) {
2318 task_destroy(qcc->task);
2319 qcc->task = NULL;
2320 }
2321
Tim Duesterhusb1ec21d2023-04-22 17:47:32 +02002322 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002323 if (conn && qcc->wait_event.events) {
2324 conn->xprt->unsubscribe(conn, conn->xprt_ctx,
2325 qcc->wait_event.events,
2326 &qcc->wait_event);
2327 }
2328
2329 /* liberate remaining qcs instances */
2330 node = eb64_first(&qcc->streams_by_id);
2331 while (node) {
2332 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
2333 node = eb64_next(node);
2334 qcs_free(qcs);
2335 }
2336
2337 while (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
2338 struct quic_frame *frm = LIST_ELEM(qcc->lfctl.frms.n, struct quic_frame *, list);
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01002339 qc_frm_free(&frm);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002340 }
2341
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002342 if (qcc->app_ops && qcc->app_ops->release)
2343 qcc->app_ops->release(qcc->ctx);
2344 TRACE_PROTO("application layer released", QMUX_EV_QCC_END, conn);
2345
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002346 pool_free(pool_head_qcc, qcc);
2347
2348 if (conn) {
2349 LIST_DEL_INIT(&conn->stopping_list);
2350
2351 conn->handle.qc->conn = NULL;
2352 conn->mux = NULL;
2353 conn->ctx = NULL;
2354
2355 TRACE_DEVEL("freeing conn", QMUX_EV_QCC_END, conn);
2356
2357 conn_stop_tracking(conn);
2358 conn_full_close(conn);
2359 if (conn->destroy_cb)
2360 conn->destroy_cb(conn);
2361 conn_free(conn);
2362 }
2363
2364 TRACE_LEAVE(QMUX_EV_QCC_END);
2365}
2366
Willy Tarreau41e701e2022-09-08 15:12:59 +02002367struct task *qc_io_cb(struct task *t, void *ctx, unsigned int status)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002368{
Amaury Denoyelle769e9ff2021-10-05 11:43:50 +02002369 struct qcc *qcc = ctx;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002370
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002371 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002372
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002373 qc_send(qcc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002374
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002375 qc_recv(qcc);
2376
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002377 if (qc_process(qcc)) {
2378 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
2379 goto release;
2380 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002381
2382 qcc_refresh_timeout(qcc);
2383
Amaury Denoyelled3973852022-07-25 14:56:54 +02002384 end:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002385 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
2386 return NULL;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002387
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002388 release:
2389 qc_release(qcc);
2390 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002391 return NULL;
2392}
2393
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002394static struct task *qc_timeout_task(struct task *t, void *ctx, unsigned int state)
2395{
2396 struct qcc *qcc = ctx;
2397 int expired = tick_is_expired(t->expire, now_ms);
2398
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002399 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc ? qcc->conn : NULL);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002400
2401 if (qcc) {
2402 if (!expired) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002403 TRACE_DEVEL("not expired", QMUX_EV_QCC_WAKE, qcc->conn);
2404 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002405 }
2406
2407 if (!qcc_may_expire(qcc)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002408 TRACE_DEVEL("cannot expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002409 t->expire = TICK_ETERNITY;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002410 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002411 }
2412 }
2413
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002414 task_destroy(t);
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002415
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002416 if (!qcc) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002417 TRACE_DEVEL("no more qcc", QMUX_EV_QCC_WAKE);
2418 goto out;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002419 }
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002420
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002421 qcc->task = NULL;
2422
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002423 /* TODO depending on the timeout condition, different shutdown mode
2424 * should be used. For http keep-alive or disabled proxy, a graceful
2425 * shutdown should occurs. For all other cases, an immediate close
2426 * seems legitimate.
2427 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002428 if (qcc_is_dead(qcc)) {
2429 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002430 qc_release(qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002431 }
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002432
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002433 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002434 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002435 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002436
2437 requeue:
2438 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
2439 return t;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002440}
2441
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002442static int qc_init(struct connection *conn, struct proxy *prx,
2443 struct session *sess, struct buffer *input)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002444{
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002445 struct qcc *qcc;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002446 struct quic_transport_params *lparams, *rparams;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002447
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002448 TRACE_ENTER(QMUX_EV_QCC_NEW);
2449
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002450 qcc = pool_alloc(pool_head_qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002451 if (!qcc) {
2452 TRACE_ERROR("alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002453 goto fail_no_qcc;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002454 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002455
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002456 qcc->conn = conn;
2457 conn->ctx = qcc;
Amaury Denoyellec603de42022-07-25 11:21:46 +02002458 qcc->nb_hreq = qcc->nb_sc = 0;
Amaury Denoyellece1f30d2022-02-01 15:14:24 +01002459 qcc->flags = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002460
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002461 qcc->app_ops = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002462
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002463 qcc->streams_by_id = EB_ROOT_UNIQUE;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002464
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002465 /* Server parameters, params used for RX flow control. */
Willy Tarreau784b8682022-04-11 14:18:10 +02002466 lparams = &conn->handle.qc->rx.params;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002467
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002468 qcc->rx.max_data = lparams->initial_max_data;
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02002469 qcc->tx.sent_offsets = qcc->tx.offsets = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002470
2471 /* Client initiated streams must respect the server flow control. */
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002472 qcc->strms[QCS_CLT_BIDI].max_streams = lparams->initial_max_streams_bidi;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002473 qcc->strms[QCS_CLT_BIDI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002474 qcc->strms[QCS_CLT_BIDI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002475 qcc->strms[QCS_CLT_BIDI].tx.max_data = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002476
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002477 qcc->strms[QCS_CLT_UNI].max_streams = lparams->initial_max_streams_uni;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002478 qcc->strms[QCS_CLT_UNI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002479 qcc->strms[QCS_CLT_UNI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002480 qcc->strms[QCS_CLT_UNI].tx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002481
2482 /* Server initiated streams must respect the server flow control. */
2483 qcc->strms[QCS_SRV_BIDI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002484 qcc->strms[QCS_SRV_BIDI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002485 qcc->strms[QCS_SRV_BIDI].rx.max_data = lparams->initial_max_stream_data_bidi_local;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002486 qcc->strms[QCS_SRV_BIDI].tx.max_data = 0;
2487
2488 qcc->strms[QCS_SRV_UNI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002489 qcc->strms[QCS_SRV_UNI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002490 qcc->strms[QCS_SRV_UNI].rx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002491 qcc->strms[QCS_SRV_UNI].tx.max_data = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002492
Amaury Denoyellec985cb12022-05-16 14:29:59 +02002493 LIST_INIT(&qcc->lfctl.frms);
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002494 qcc->lfctl.ms_bidi = qcc->lfctl.ms_bidi_init = lparams->initial_max_streams_bidi;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02002495 qcc->lfctl.ms_uni = lparams->initial_max_streams_uni;
Amaury Denoyelle44d09122022-04-26 11:21:10 +02002496 qcc->lfctl.msd_bidi_l = lparams->initial_max_stream_data_bidi_local;
2497 qcc->lfctl.msd_bidi_r = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002498 qcc->lfctl.msd_uni_r = lparams->initial_max_stream_data_uni;
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002499 qcc->lfctl.cl_bidi_r = 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01002500
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002501 qcc->lfctl.md = qcc->lfctl.md_init = lparams->initial_max_data;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02002502 qcc->lfctl.offsets_recv = qcc->lfctl.offsets_consume = 0;
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002503
Willy Tarreau784b8682022-04-11 14:18:10 +02002504 rparams = &conn->handle.qc->tx.params;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01002505 qcc->rfctl.md = rparams->initial_max_data;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002506 qcc->rfctl.msd_bidi_l = rparams->initial_max_stream_data_bidi_local;
2507 qcc->rfctl.msd_bidi_r = rparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002508 qcc->rfctl.msd_uni_l = rparams->initial_max_stream_data_uni;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002509
Amaury Denoyellea509ffb2022-07-04 15:50:33 +02002510 if (conn_is_back(conn)) {
2511 qcc->next_bidi_l = 0x00;
2512 qcc->largest_bidi_r = 0x01;
2513 qcc->next_uni_l = 0x02;
2514 qcc->largest_uni_r = 0x03;
2515 }
2516 else {
2517 qcc->largest_bidi_r = 0x00;
2518 qcc->next_bidi_l = 0x01;
2519 qcc->largest_uni_r = 0x02;
2520 qcc->next_uni_l = 0x03;
2521 }
2522
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002523 qcc->wait_event.tasklet = tasklet_new();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002524 if (!qcc->wait_event.tasklet) {
2525 TRACE_ERROR("taslket alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002526 goto fail_no_tasklet;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002527 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002528
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002529 LIST_INIT(&qcc->send_list);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02002530
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002531 qcc->wait_event.tasklet->process = qc_io_cb;
2532 qcc->wait_event.tasklet->context = qcc;
Frédéric Lécaillef27b66f2022-03-18 22:49:22 +01002533 qcc->wait_event.events = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002534
Amaury Denoyelle07bf8f42022-07-22 16:16:03 +02002535 qcc->proxy = prx;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002536 /* haproxy timeouts */
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002537 qcc->task = NULL;
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +01002538 if (conn_is_back(qcc->conn)) {
2539 qcc->timeout = prx->timeout.server;
2540 qcc->shut_timeout = tick_isset(prx->timeout.serverfin) ?
2541 prx->timeout.serverfin : prx->timeout.server;
2542 }
2543 else {
2544 qcc->timeout = prx->timeout.client;
2545 qcc->shut_timeout = tick_isset(prx->timeout.clientfin) ?
2546 prx->timeout.clientfin : prx->timeout.client;
2547 }
2548
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002549 if (tick_isset(qcc->timeout)) {
2550 qcc->task = task_new_here();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002551 if (!qcc->task) {
2552 TRACE_ERROR("timeout task alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002553 goto fail_no_timeout_task;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002554 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002555 qcc->task->process = qc_timeout_task;
2556 qcc->task->context = qcc;
2557 qcc->task->expire = tick_add(now_ms, qcc->timeout);
2558 }
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +02002559 qcc_reset_idle_start(qcc);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02002560 LIST_INIT(&qcc->opening_list);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002561
Willy Tarreau784b8682022-04-11 14:18:10 +02002562 HA_ATOMIC_STORE(&conn->handle.qc->qcc, qcc);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002563
2564 if (qcc_install_app_ops(qcc, conn->handle.qc->app_ops)) {
Amaury Denoyelle8d44bfa2023-05-04 15:16:01 +02002565 TRACE_PROTO("Cannot install app layer", QMUX_EV_QCC_NEW|QMUX_EV_QCC_ERR, qcc->conn);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002566 /* prepare a CONNECTION_CLOSE frame */
2567 quic_set_connection_close(conn->handle.qc, quic_err_transport(QC_ERR_APPLICATION_ERROR));
2568 goto fail_install_app_ops;
2569 }
2570
Frédéric Lécaille9969adb2023-01-18 11:52:21 +01002571 if (qcc->app_ops == &h3_ops)
2572 proxy_inc_fe_cum_sess_ver_ctr(sess->listener, prx, 3);
2573
Amaury Denoyelleed820822023-04-19 17:58:39 +02002574 /* Register conn for idle front closing. This is done once everything is allocated. */
2575 if (!conn_is_back(conn))
2576 LIST_APPEND(&mux_stopping_data[tid].list, &conn->stopping_list);
2577
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002578 /* init read cycle */
2579 tasklet_wakeup(qcc->wait_event.tasklet);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002580
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002581 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002582 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002583
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002584 fail_install_app_ops:
2585 if (qcc->app_ops && qcc->app_ops->release)
2586 qcc->app_ops->release(qcc->ctx);
Amaury Denoyelleee65efb2023-05-12 16:29:48 +02002587 task_destroy(qcc->task);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002588 fail_no_timeout_task:
2589 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002590 fail_no_tasklet:
2591 pool_free(pool_head_qcc, qcc);
2592 fail_no_qcc:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002593 TRACE_LEAVE(QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002594 return -1;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002595}
2596
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002597static void qc_destroy(void *ctx)
2598{
2599 struct qcc *qcc = ctx;
2600
2601 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
2602 qc_release(qcc);
2603 TRACE_LEAVE(QMUX_EV_QCC_END);
2604}
2605
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002606static void qc_detach(struct sedesc *sd)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002607{
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002608 struct qcs *qcs = sd->se;
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002609 struct qcc *qcc = qcs->qcc;
2610
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002611 TRACE_ENTER(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002612
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002613 /* TODO this BUG_ON_HOT() is not correct as the stconn layer may detach
2614 * from the stream even if it is not closed remotely at the QUIC layer.
2615 * This happens for example when a stream must be closed due to a
2616 * rejected request. To better handle these cases, it will be required
2617 * to implement shutr/shutw MUX operations. Once this is done, this
2618 * BUG_ON_HOT() statement can be adjusted.
2619 */
2620 //BUG_ON_HOT(!qcs_is_close_remote(qcs));
Amaury Denoyellec603de42022-07-25 11:21:46 +02002621
2622 qcc_rm_sc(qcc);
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002623
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002624 if (!qcs_is_close_local(qcs) &&
2625 !(qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL))) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002626 TRACE_STATE("remaining data, detaching qcs", QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002627 qcs->flags |= QC_SF_DETACH;
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002628 qcc_refresh_timeout(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002629
2630 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002631 return;
2632 }
2633
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002634 qcs_destroy(qcs);
Amaury Denoyelle1136e922022-02-01 10:33:09 +01002635
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002636 if (qcc_is_dead(qcc)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002637 TRACE_STATE("killing dead connection", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002638 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002639 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002640 else if (qcc->task) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002641 TRACE_DEVEL("refreshing connection's timeout", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002642 qcc_refresh_timeout(qcc);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002643 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002644 else {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002645 TRACE_DEVEL("completed", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002646 }
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002647
2648 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002649 return;
2650
2651 release:
2652 qc_release(qcc);
2653 TRACE_LEAVE(QMUX_EV_STRM_END);
2654 return;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002655}
2656
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002657/* Called from the upper layer, to receive data */
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002658static size_t qc_recv_buf(struct stconn *sc, struct buffer *buf,
2659 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002660{
Willy Tarreau3215e732022-05-27 10:09:11 +02002661 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle16494692023-05-15 11:35:45 +02002662 struct qcc *qcc = qcs->qcc;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002663 size_t ret = 0;
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002664 char fin = 0;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002665
Amaury Denoyelle16494692023-05-15 11:35:45 +02002666 TRACE_ENTER(QMUX_EV_STRM_RECV, qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002667
Amaury Denoyelled80fbca2022-09-19 17:02:28 +02002668 ret = qcs_http_rcv_buf(qcs, buf, count, &fin);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002669
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002670 if (b_data(&qcs->rx.app_buf)) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002671 se_fl_set(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002672 }
2673 else {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002674 se_fl_clr(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002675
Amaury Denoyelle72a78e82022-07-29 15:34:12 +02002676 /* Set end-of-input if FIN received and all data extracted. */
Christopher Faulet85eabfb2023-02-23 14:52:09 +01002677 if (fin) {
Amaury Denoyelle16494692023-05-15 11:35:45 +02002678 TRACE_STATE("report end-of-input", QMUX_EV_STRM_RECV, qcc->conn, qcs);
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002679 se_fl_set(qcs->sd, SE_FL_EOI);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002680
Christopher Faulet85eabfb2023-02-23 14:52:09 +01002681 /* If request EOM is reported to the upper layer, it means the
2682 * QCS now expects data from the opposite side.
2683 */
2684 se_expect_data(qcs->sd);
2685 }
2686
Amaury Denoyelle3cb78142023-05-15 11:31:20 +02002687 /* Set end-of-stream on read closed. */
2688 if (qcs->flags & QC_SF_RECV_RESET ||
2689 qcc->conn->flags & CO_FL_SOCK_RD_SH) {
2690 TRACE_STATE("report end-of-stream", QMUX_EV_STRM_RECV, qcc->conn, qcs);
2691 se_fl_set(qcs->sd, SE_FL_EOS);
2692
2693 /* Set error if EOI not reached. This may happen on
2694 * RESET_STREAM reception or connection error.
2695 */
2696 if (!se_fl_test(qcs->sd, SE_FL_EOI)) {
2697 TRACE_STATE("report error on stream aborted", QMUX_EV_STRM_RECV, qcc->conn, qcs);
2698 se_fl_set(qcs->sd, SE_FL_EOS | SE_FL_ERROR);
2699 }
2700 }
2701
Amaury Denoyelle16494692023-05-15 11:35:45 +02002702 if (se_fl_test(qcs->sd, SE_FL_ERR_PENDING)) {
2703 TRACE_STATE("report error", QMUX_EV_STRM_RECV, qcc->conn, qcs);
2704 se_fl_set(qcs->sd, SE_FL_ERROR);
2705 }
2706
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002707 if (b_size(&qcs->rx.app_buf)) {
2708 b_free(&qcs->rx.app_buf);
2709 offer_buffers(NULL, 1);
2710 }
2711 }
2712
Amaury Denoyelleb8901d22023-05-03 15:30:04 +02002713 /* Restart demux if it was interrupted on full buffer. */
2714 if (ret && qcs->flags & QC_SF_DEM_FULL) {
2715 /* There must be data left for demux if it was interrupted on
2716 * full buffer. If this assumption is incorrect wakeup is not
2717 * necessary.
2718 */
2719 BUG_ON(!ncb_data(&qcs->rx.ncbuf, 0));
2720
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002721 qcs->flags &= ~QC_SF_DEM_FULL;
Amaury Denoyelle16494692023-05-15 11:35:45 +02002722 if (!(qcc->flags & QC_CF_ERRL))
2723 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002724 }
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002725
Amaury Denoyelle16494692023-05-15 11:35:45 +02002726 TRACE_LEAVE(QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002727
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002728 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002729}
2730
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002731static size_t qc_send_buf(struct stconn *sc, struct buffer *buf,
2732 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002733{
Willy Tarreau3215e732022-05-27 10:09:11 +02002734 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002735 size_t ret = 0;
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002736 char fin;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002737
2738 TRACE_ENTER(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002739
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02002740 /* stream layer has been detached so no transfer must occur after. */
2741 BUG_ON_HOT(qcs->flags & QC_SF_DETACH);
2742
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002743 /* Report error if set on stream endpoint layer. */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002744 if (qcs->qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL)) {
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002745 se_fl_set(qcs->sd, SE_FL_ERROR);
2746 TRACE_DEVEL("connection in error", QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2747 goto end;
2748 }
2749
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002750 if (qcs_is_close_local(qcs) || (qcs->flags & QC_SF_TO_RESET)) {
Amaury Denoyelle0ed617a2022-09-20 14:46:40 +02002751 ret = qcs_http_reset_buf(qcs, buf, count);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002752 goto end;
2753 }
2754
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002755 ret = qcs_http_snd_buf(qcs, buf, count, &fin);
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002756 if (fin) {
2757 TRACE_STATE("reached stream fin", QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002758 qcs->flags |= QC_SF_FIN_STREAM;
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002759 }
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002760
Amaury Denoyelleab6cdec2023-01-10 10:41:41 +01002761 if (ret || fin) {
Amaury Denoyellef9b03262023-01-09 10:34:25 +01002762 qcc_send_stream(qcs, 0);
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002763 if (!(qcs->qcc->wait_event.events & SUB_RETRY_SEND))
2764 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
2765 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002766
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002767 end:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002768 TRACE_LEAVE(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2769
2770 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002771}
2772
2773/* Called from the upper layer, to subscribe <es> to events <event_type>. The
2774 * event subscriber <es> is not allowed to change from a previous call as long
2775 * as at least one event is still subscribed. The <event_type> must only be a
2776 * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0.
2777 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002778static int qc_subscribe(struct stconn *sc, int event_type,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002779 struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002780{
Willy Tarreau3215e732022-05-27 10:09:11 +02002781 return qcs_subscribe(__sc_mux_strm(sc), event_type, es);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002782}
2783
2784/* Called from the upper layer, to unsubscribe <es> from events <event_type>.
2785 * The <es> pointer is not allowed to differ from the one passed to the
2786 * subscribe() call. It always returns zero.
2787 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002788static int qc_unsubscribe(struct stconn *sc, int event_type, struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002789{
Willy Tarreau3215e732022-05-27 10:09:11 +02002790 struct qcs *qcs = __sc_mux_strm(sc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002791
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002792 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
2793 BUG_ON(qcs->subs && qcs->subs != es);
2794
2795 es->events &= ~event_type;
2796 if (!es->events)
2797 qcs->subs = NULL;
2798
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002799 return 0;
2800}
2801
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002802static int qc_wake(struct connection *conn)
2803{
2804 struct qcc *qcc = conn->ctx;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002805
2806 TRACE_ENTER(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002807
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002808 if (qc_process(qcc)) {
2809 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002810 goto release;
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002811 }
2812
2813 qc_wake_some_streams(qcc);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002814
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002815 qcc_refresh_timeout(qcc);
2816
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002817 TRACE_LEAVE(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002818 return 0;
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002819
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002820 release:
2821 qc_release(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002822 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002823 return 1;
2824}
2825
Amaury Denoyellea473f192022-12-21 10:21:58 +01002826static void qc_shutw(struct stconn *sc, enum co_shw_mode mode)
2827{
2828 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002829 struct qcc *qcc = qcs->qcc;
Amaury Denoyellea473f192022-12-21 10:21:58 +01002830
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002831 TRACE_ENTER(QMUX_EV_STRM_SHUT, qcc->conn, qcs);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002832
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002833 /* Early closure reported if QC_SF_FIN_STREAM not yet set. */
Amaury Denoyellea473f192022-12-21 10:21:58 +01002834 if (!qcs_is_close_local(qcs) &&
2835 !(qcs->flags & (QC_SF_FIN_STREAM|QC_SF_TO_RESET))) {
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002836
2837 if (qcs->flags & QC_SF_UNKNOWN_PL_LENGTH) {
2838 /* Close stream with a FIN STREAM frame. */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002839 if (!(qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL))) {
Amaury Denoyelle3fd40932023-05-10 10:41:47 +02002840 TRACE_STATE("set FIN STREAM",
2841 QMUX_EV_STRM_SHUT, qcc->conn, qcs);
2842 qcs->flags |= QC_SF_FIN_STREAM;
2843 qcc_send_stream(qcs, 0);
2844 }
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002845 }
2846 else {
2847 /* RESET_STREAM necessary. */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002848 if (!(qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL)))
Amaury Denoyelle3fd40932023-05-10 10:41:47 +02002849 qcc_reset_stream(qcs, 0);
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002850 se_fl_set_error(qcs->sd);
2851 }
2852
2853 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002854 }
2855
Amaury Denoyelled4af0412023-05-03 18:17:19 +02002856 out:
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002857 TRACE_LEAVE(QMUX_EV_STRM_SHUT, qcc->conn, qcs);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002858}
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002859
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002860/* for debugging with CLI's "show sess" command. May emit multiple lines, each
2861 * new one being prefixed with <pfx>, if <pfx> is not NULL, otherwise a single
2862 * line is used. Each field starts with a space so it's safe to print it after
2863 * existing fields.
2864 */
2865static int qc_show_sd(struct buffer *msg, struct sedesc *sd, const char *pfx)
2866{
2867 struct qcs *qcs = sd->se;
2868 struct qcc *qcc;
2869 int ret = 0;
2870
2871 if (!qcs)
2872 return ret;
2873
2874 chunk_appendf(msg, " qcs=%p .flg=%#x .id=%llu .st=%s .ctx=%p, .err=%#llx",
2875 qcs, qcs->flags, (ull)qcs->id, qcs_st_to_str(qcs->st), qcs->ctx, (ull)qcs->err);
2876
2877 if (pfx)
2878 chunk_appendf(msg, "\n%s", pfx);
2879
2880 qcc = qcs->qcc;
2881 chunk_appendf(msg, " qcc=%p .flg=%#x .nbsc=%llu .nbhreq=%llu, .task=%p",
2882 qcc, qcc->flags, (ull)qcc->nb_sc, (ull)qcc->nb_hreq, qcc->task);
2883 return ret;
2884}
2885
2886
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002887static const struct mux_ops qc_ops = {
2888 .init = qc_init,
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002889 .destroy = qc_destroy,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002890 .detach = qc_detach,
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002891 .rcv_buf = qc_recv_buf,
2892 .snd_buf = qc_send_buf,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002893 .subscribe = qc_subscribe,
2894 .unsubscribe = qc_unsubscribe,
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002895 .wake = qc_wake,
Amaury Denoyellea473f192022-12-21 10:21:58 +01002896 .shutw = qc_shutw,
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002897 .show_sd = qc_show_sd,
Willy Tarreaub5821e12022-04-26 11:54:08 +02002898 .flags = MX_FL_HTX|MX_FL_NO_UPG|MX_FL_FRAMED,
Willy Tarreau671bd5a2022-04-11 09:29:21 +02002899 .name = "QUIC",
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002900};
2901
2902static struct mux_proto_list mux_proto_quic =
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002903 { .token = IST("quic"), .mode = PROTO_MODE_HTTP, .side = PROTO_SIDE_FE, .mux = &qc_ops };
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002904
2905INITCALL1(STG_REGISTER, register_mux_proto, &mux_proto_quic);