blob: 1060635d241eb414f460629b64eb4575ed40d6f6 [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>
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02008#include <haproxy/list.h>
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02009#include <haproxy/ncbuf.h>
Amaury Denoyelledeed7772021-12-03 11:36:46 +010010#include <haproxy/pool.h>
Amaury Denoyelled80fbca2022-09-19 17:02:28 +020011#include <haproxy/qmux_http.h>
Amaury Denoyelle36d50bf2022-09-19 16:12:38 +020012#include <haproxy/qmux_trace.h>
Amaury Denoyelle92fa63f2022-09-30 18:11:13 +020013#include <haproxy/quic_conn.h>
Amaury Denoyelle40c24f12023-01-27 17:47:49 +010014#include <haproxy/quic_frame.h>
Amaury Denoyelle0cc02a32022-04-19 17:21:11 +020015#include <haproxy/quic_stream.h>
Frédéric Lécaille748ece62022-05-21 23:58:40 +020016#include <haproxy/quic_tp-t.h>
Amaury Denoyelleeb01f592021-10-07 16:44:05 +020017#include <haproxy/ssl_sock-t.h>
Willy Tarreaucb086c62022-05-27 09:47:12 +020018#include <haproxy/stconn.h>
Amaury Denoyelledd4fbfb2022-03-24 16:09:16 +010019#include <haproxy/trace.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +010020
Amaury Denoyelledeed7772021-12-03 11:36:46 +010021DECLARE_POOL(pool_head_qcc, "qcc", sizeof(struct qcc));
Frédéric Lécailledfbae762021-02-18 09:59:01 +010022DECLARE_POOL(pool_head_qcs, "qcs", sizeof(struct qcs));
23
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020024/* Emit a CONNECTION_CLOSE with error <err>. This will interrupt all future
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +020025 * send/receive operations.
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020026 */
27static void qcc_emit_cc(struct qcc *qcc, int err)
28{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +020029 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
30
31 TRACE_STATE("set CONNECTION_CLOSE on quic-conn", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle57e6db72022-07-13 15:07:56 +020032 quic_set_connection_close(qcc->conn->handle.qc, quic_err_transport(err));
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020033 qcc->flags |= QC_CF_CC_EMIT;
34 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +020035
36 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020037}
38
Amaury Denoyelle4b167002022-12-12 09:59:50 +010039static void qc_free_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
40{
41 struct buffer buf;
42
43 if (ncb_is_null(ncbuf))
44 return;
45
46 buf = b_make(ncbuf->area, ncbuf->size, 0, 0);
47 b_free(&buf);
48 offer_buffers(NULL, 1);
49
50 *ncbuf = NCBUF_NULL;
51}
52
53/* Free <qcs> instance. This function is reserved for internal usage : it must
54 * only be called on qcs alloc error or on connection shutdown. Else
55 * qcs_destroy must be prefered to handle QUIC flow-control increase.
56 */
57static void qcs_free(struct qcs *qcs)
58{
59 struct qcc *qcc = qcs->qcc;
60
61 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn, qcs);
62
Amaury Denoyelle15337fd2022-12-20 14:47:16 +010063 /* Safe to use even if already removed from the list. */
64 LIST_DEL_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +010065 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelle4b167002022-12-12 09:59:50 +010066
67 /* Release stream endpoint descriptor. */
68 BUG_ON(qcs->sd && !se_fl_test(qcs->sd, SE_FL_ORPHAN));
69 sedesc_free(qcs->sd);
70
71 /* Release app-layer context. */
72 if (qcs->ctx && qcc->app_ops->detach)
73 qcc->app_ops->detach(qcs);
74
75 /* Release qc_stream_desc buffer from quic-conn layer. */
76 qc_stream_desc_release(qcs->stream);
77
78 /* Free Rx/Tx buffers. */
79 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
80 b_free(&qcs->tx.buf);
81
82 BUG_ON(!qcc->strms[qcs_id_type(qcs->id)].nb_streams);
83 --qcc->strms[qcs_id_type(qcs->id)].nb_streams;
84
85 /* Remove qcs from qcc tree. */
86 eb64_delete(&qcs->by_id);
87
88 pool_free(pool_head_qcs, qcs);
89
90 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
91}
92
Amaury Denoyelledeed7772021-12-03 11:36:46 +010093/* Allocate a new QUIC streams with id <id> and type <type>. */
Amaury Denoyellea509ffb2022-07-04 15:50:33 +020094static struct qcs *qcs_new(struct qcc *qcc, uint64_t id, enum qcs_type type)
Frédéric Lécailledfbae762021-02-18 09:59:01 +010095{
Amaury Denoyelledeed7772021-12-03 11:36:46 +010096 struct qcs *qcs;
Frédéric Lécailledfbae762021-02-18 09:59:01 +010097
Amaury Denoyelle4f137572022-03-24 17:10:00 +010098 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
99
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100100 qcs = pool_alloc(pool_head_qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200101 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200102 TRACE_ERROR("alloc failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200103 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200104 }
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200105
106 qcs->stream = NULL;
107 qcs->qcc = qcc;
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +0200108 qcs->sd = NULL;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200109 qcs->flags = QC_SF_NONE;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200110 qcs->st = QC_SS_IDLE;
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200111 qcs->ctx = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100112
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200113 /* App callback attach may register the stream for http-request wait.
114 * These fields must be initialed before.
115 */
116 LIST_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100117 LIST_INIT(&qcs->el_send);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200118 qcs->start = TICK_ETERNITY;
119
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100120 /* store transport layer stream descriptor in qcc tree */
121 qcs->id = qcs->by_id.key = id;
122 eb64_insert(&qcc->streams_by_id, &qcs->by_id);
123
124 qcc->strms[type].nb_streams++;
125
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200126 /* Allocate transport layer stream descriptor. Only needed for TX. */
127 if (!quic_stream_is_uni(id) || !quic_stream_is_remote(qcc, id)) {
128 struct quic_conn *qc = qcc->conn->handle.qc;
129 qcs->stream = qc_stream_desc_new(id, type, qcs, qc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200130 if (!qcs->stream) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200131 TRACE_ERROR("qc_stream_desc alloc failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200132 goto err;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200133 }
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200134 }
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200135
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200136 if (qcc->app_ops->attach) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200137 if (qcc->app_ops->attach(qcs, qcc->ctx)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200138 TRACE_ERROR("app proto failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200139 goto err;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200140 }
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200141 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100142
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100143 /* If stream is local, use peer remote-limit, or else the opposite. */
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200144 if (quic_stream_is_bidi(id)) {
145 qcs->tx.msd = quic_stream_is_local(qcc, id) ? qcc->rfctl.msd_bidi_r :
146 qcc->rfctl.msd_bidi_l;
147 }
148 else if (quic_stream_is_local(qcc, id)) {
149 qcs->tx.msd = qcc->rfctl.msd_uni_l;
150 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100151
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200152 qcs->rx.ncbuf = NCBUF_NULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +0100153 qcs->rx.app_buf = BUF_NULL;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200154 qcs->rx.offset = qcs->rx.offset_max = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100155
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200156 if (quic_stream_is_bidi(id)) {
157 qcs->rx.msd = quic_stream_is_local(qcc, id) ? qcc->lfctl.msd_bidi_l :
158 qcc->lfctl.msd_bidi_r;
159 }
160 else if (quic_stream_is_remote(qcc, id)) {
161 qcs->rx.msd = qcc->lfctl.msd_uni_r;
162 }
Amaury Denoyellea9773552022-05-16 14:38:25 +0200163 qcs->rx.msd_init = qcs->rx.msd;
Amaury Denoyelle44d09122022-04-26 11:21:10 +0200164
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100165 qcs->tx.buf = BUF_NULL;
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100166 qcs->tx.offset = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +0100167 qcs->tx.sent_offset = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100168
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100169 qcs->wait_event.tasklet = NULL;
170 qcs->wait_event.events = 0;
171 qcs->subs = NULL;
172
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200173 qcs->err = 0;
174
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100175 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100176 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100177 return qcs;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200178
179 err:
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100180 qcs_free(qcs);
181 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200182 return NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100183}
184
Amaury Denoyelle3abeb572022-07-04 11:42:27 +0200185static forceinline struct stconn *qcs_sc(const struct qcs *qcs)
186{
187 return qcs->sd ? qcs->sd->sc : NULL;
188}
189
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200190/* Reset the <qcc> inactivity timeout for http-keep-alive timeout. */
191static forceinline void qcc_reset_idle_start(struct qcc *qcc)
192{
193 qcc->idle_start = now_ms;
194}
195
Amaury Denoyellec603de42022-07-25 11:21:46 +0200196/* Decrement <qcc> sc. */
197static forceinline void qcc_rm_sc(struct qcc *qcc)
198{
199 BUG_ON_HOT(!qcc->nb_sc);
200 --qcc->nb_sc;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200201
202 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
203 * refreshed after this on stream detach.
204 */
205 if (!qcc->nb_sc && !qcc->nb_hreq)
206 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200207}
208
209/* Decrement <qcc> hreq. */
210static forceinline void qcc_rm_hreq(struct qcc *qcc)
211{
212 BUG_ON_HOT(!qcc->nb_hreq);
213 --qcc->nb_hreq;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200214
215 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
216 * refreshed after this on I/O handler.
217 */
218 if (!qcc->nb_sc && !qcc->nb_hreq)
219 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200220}
221
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200222static inline int qcc_is_dead(const struct qcc *qcc)
223{
224 /* Mux connection is considered dead if :
225 * - all stream-desc are detached AND
226 * = connection is on error OR
227 * = mux timeout has already fired or is unset
228 */
229 if (!qcc->nb_sc && ((qcc->conn->flags & CO_FL_ERROR) || !qcc->task))
230 return 1;
231
232 return 0;
233}
234
235/* Return true if the mux timeout should be armed. */
236static inline int qcc_may_expire(struct qcc *qcc)
237{
238 return !qcc->nb_sc;
239}
240
241/* Refresh the timeout on <qcc> if needed depending on its state. */
242static void qcc_refresh_timeout(struct qcc *qcc)
243{
244 const struct proxy *px = qcc->proxy;
245
246 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
247
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200248 if (!qcc->task) {
249 TRACE_DEVEL("already expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200250 goto leave;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200251 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200252
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200253 /* Check if upper layer is responsible of timeout management. */
254 if (!qcc_may_expire(qcc)) {
255 TRACE_DEVEL("not eligible for timeout", QMUX_EV_QCC_WAKE, qcc->conn);
256 qcc->task->expire = TICK_ETERNITY;
257 task_queue(qcc->task);
258 goto leave;
259 }
260
261 /* TODO if connection is idle on frontend and proxy is disabled, remove
262 * it with global close_spread delay applied.
263 */
264
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200265 /* TODO implement client/server-fin timeout for graceful shutdown */
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200266
267 /* Frontend timeout management
268 * - detached streams with data left to send -> default timeout
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200269 * - stream waiting on incomplete request or no stream yet activated -> timeout http-request
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200270 * - idle after stream processing -> timeout http-keep-alive
271 */
272 if (!conn_is_back(qcc->conn)) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200273 if (qcc->nb_hreq) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200274 TRACE_DEVEL("one or more requests still in progress", QMUX_EV_QCC_WAKE, qcc->conn);
275 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200276 task_queue(qcc->task);
277 goto leave;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200278 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200279
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200280 if (!LIST_ISEMPTY(&qcc->opening_list) || unlikely(!qcc->largest_bidi_r)) {
281 int timeout = px->timeout.httpreq;
282 struct qcs *qcs = NULL;
283 int base_time;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200284
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200285 /* Use start time of first stream waiting on HTTP or
286 * qcc idle if no stream not yet used.
287 */
288 if (likely(!LIST_ISEMPTY(&qcc->opening_list)))
289 qcs = LIST_ELEM(qcc->opening_list.n, struct qcs *, el_opening);
290 base_time = qcs ? qcs->start : qcc->idle_start;
291
292 TRACE_DEVEL("waiting on http request", QMUX_EV_QCC_WAKE, qcc->conn, qcs);
293 qcc->task->expire = tick_add_ifset(base_time, timeout);
294 }
295 else {
296 /* Use http-request timeout if keep-alive timeout not set */
297 int timeout = tick_isset(px->timeout.httpka) ?
298 px->timeout.httpka : px->timeout.httpreq;
299
300 TRACE_DEVEL("at least one request achieved but none currently in progress", QMUX_EV_QCC_WAKE, qcc->conn);
301 qcc->task->expire = tick_add_ifset(qcc->idle_start, timeout);
302 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200303 }
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200304
305 /* fallback to default timeout if frontend specific undefined or for
306 * backend connections.
307 */
308 if (!tick_isset(qcc->task->expire)) {
309 TRACE_DEVEL("fallback to default timeout", QMUX_EV_QCC_WAKE, qcc->conn);
310 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200311 }
312
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200313 task_queue(qcc->task);
314
315 leave:
316 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
317}
318
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200319/* Mark a stream as open if it was idle. This can be used on every
320 * successful emission/reception operation to update the stream state.
321 */
322static void qcs_idle_open(struct qcs *qcs)
323{
324 /* This operation must not be used if the stream is already closed. */
325 BUG_ON_HOT(qcs->st == QC_SS_CLO);
326
327 if (qcs->st == QC_SS_IDLE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200328 TRACE_STATE("opening stream", QMUX_EV_QCS_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200329 qcs->st = QC_SS_OPEN;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200330 }
331}
332
333/* Close the local channel of <qcs> instance. */
334static void qcs_close_local(struct qcs *qcs)
335{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200336 TRACE_STATE("closing stream locally", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
337
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200338 /* The stream must have already been opened. */
339 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
340
341 /* This operation cannot be used multiple times. */
342 BUG_ON_HOT(qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO);
343
344 if (quic_stream_is_bidi(qcs->id)) {
345 qcs->st = (qcs->st == QC_SS_HREM) ? QC_SS_CLO : QC_SS_HLOC;
Amaury Denoyelleafb7b9d2022-09-19 11:58:24 +0200346
347 if (qcs->flags & QC_SF_HREQ_RECV)
348 qcc_rm_hreq(qcs->qcc);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200349 }
350 else {
351 /* Only local uni streams are valid for this operation. */
352 BUG_ON_HOT(quic_stream_is_remote(qcs->qcc, qcs->id));
353 qcs->st = QC_SS_CLO;
354 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200355}
356
357/* Close the remote channel of <qcs> instance. */
358static void qcs_close_remote(struct qcs *qcs)
359{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200360 TRACE_STATE("closing stream remotely", QMUX_EV_QCS_RECV, qcs->qcc->conn, qcs);
361
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200362 /* The stream must have already been opened. */
363 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
364
365 /* This operation cannot be used multiple times. */
366 BUG_ON_HOT(qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO);
367
368 if (quic_stream_is_bidi(qcs->id)) {
369 qcs->st = (qcs->st == QC_SS_HLOC) ? QC_SS_CLO : QC_SS_HREM;
370 }
371 else {
372 /* Only remote uni streams are valid for this operation. */
373 BUG_ON_HOT(quic_stream_is_local(qcs->qcc, qcs->id));
374 qcs->st = QC_SS_CLO;
375 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200376}
377
378static int qcs_is_close_local(struct qcs *qcs)
379{
380 return qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO;
381}
382
Amaury Denoyelle6eb3c4b2022-12-09 16:26:03 +0100383static int qcs_is_close_remote(struct qcs *qcs)
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200384{
385 return qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO;
386}
387
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100388struct buffer *qc_get_buf(struct qcs *qcs, struct buffer *bptr)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100389{
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100390 struct buffer *buf = b_alloc(bptr);
391 BUG_ON(!buf);
392 return buf;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100393}
394
Amaury Denoyellea441ec92022-07-04 15:48:57 +0200395static struct ncbuf *qc_get_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200396{
397 struct buffer buf = BUF_NULL;
398
399 if (ncb_is_null(ncbuf)) {
400 b_alloc(&buf);
401 BUG_ON(b_is_null(&buf));
402
403 *ncbuf = ncb_make(buf.area, buf.size, 0);
404 ncb_init(ncbuf, 0);
405 }
406
407 return ncbuf;
408}
409
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500410/* Notify an eventual subscriber on <qcs> or else wakeup up the stconn layer if
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200411 * initialized.
412 */
413static void qcs_alert(struct qcs *qcs)
414{
415 if (qcs->subs) {
416 qcs_notify_recv(qcs);
417 qcs_notify_send(qcs);
418 }
419 else if (qcs_sc(qcs) && qcs->sd->sc->app_ops->wake) {
420 qcs->sd->sc->app_ops->wake(qcs->sd->sc);
421 }
422}
423
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100424int qcs_subscribe(struct qcs *qcs, int event_type, struct wait_event *es)
425{
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100426 struct qcc *qcc = qcs->qcc;
427
428 TRACE_ENTER(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100429
430 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
431 BUG_ON(qcs->subs && qcs->subs != es);
432
433 es->events |= event_type;
434 qcs->subs = es;
435
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100436 if (event_type & SUB_RETRY_RECV)
437 TRACE_DEVEL("subscribe(recv)", QMUX_EV_STRM_RECV, qcc->conn, qcs);
438
439 if (event_type & SUB_RETRY_SEND)
440 TRACE_DEVEL("subscribe(send)", QMUX_EV_STRM_SEND, qcc->conn, qcs);
441
442 TRACE_LEAVE(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
443
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100444 return 0;
445}
446
447void qcs_notify_recv(struct qcs *qcs)
448{
449 if (qcs->subs && qcs->subs->events & SUB_RETRY_RECV) {
450 tasklet_wakeup(qcs->subs->tasklet);
451 qcs->subs->events &= ~SUB_RETRY_RECV;
452 if (!qcs->subs->events)
453 qcs->subs = NULL;
454 }
455}
456
457void qcs_notify_send(struct qcs *qcs)
458{
459 if (qcs->subs && qcs->subs->events & SUB_RETRY_SEND) {
460 tasklet_wakeup(qcs->subs->tasklet);
461 qcs->subs->events &= ~SUB_RETRY_SEND;
462 if (!qcs->subs->events)
463 qcs->subs = NULL;
464 }
465}
466
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200467/* Open a locally initiated stream for the connection <qcc>. Set <bidi> for a
468 * bidirectional stream, else an unidirectional stream is opened. The next
469 * available ID on the connection will be used according to the stream type.
470 *
471 * Returns the allocated stream instance or NULL on error.
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100472 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200473struct qcs *qcc_init_stream_local(struct qcc *qcc, int bidi)
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100474{
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200475 struct qcs *qcs;
476 enum qcs_type type;
477 uint64_t *next;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100478
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200479 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
480
481 if (bidi) {
482 next = &qcc->next_bidi_l;
483 type = conn_is_back(qcc->conn) ? QCS_CLT_BIDI : QCS_SRV_BIDI;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100484 }
485 else {
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200486 next = &qcc->next_uni_l;
487 type = conn_is_back(qcc->conn) ? QCS_CLT_UNI : QCS_SRV_UNI;
488 }
489
490 /* TODO ensure that we won't overflow remote peer flow control limit on
491 * streams. Else, we should emit a STREAMS_BLOCKED frame.
492 */
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100493
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200494 qcs = qcs_new(qcc, *next, type);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200495 if (!qcs) {
496 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200497 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200498 }
Amaury Denoyellec055e302022-02-07 16:09:06 +0100499
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200500 TRACE_PROTO("opening local stream", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200501 *next += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100502
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200503 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200504 return qcs;
505}
506
507/* Open a remote initiated stream for the connection <qcc> with ID <id>. The
508 * caller is responsible to ensure that a stream with the same ID was not
509 * already opened. This function will also create all intermediaries streams
510 * with ID smaller than <id> not already opened before.
511 *
512 * Returns the allocated stream instance or NULL on error.
513 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200514static struct qcs *qcc_init_stream_remote(struct qcc *qcc, uint64_t id)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200515{
516 struct qcs *qcs = NULL;
517 enum qcs_type type;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200518 uint64_t *largest, max_id;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100519
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200520 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200521
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200522 BUG_ON_HOT(quic_stream_is_local(qcc, id));
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100523
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200524 if (quic_stream_is_bidi(id)) {
525 largest = &qcc->largest_bidi_r;
526 type = conn_is_back(qcc->conn) ? QCS_SRV_BIDI : QCS_CLT_BIDI;
527 }
528 else {
529 largest = &qcc->largest_uni_r;
530 type = conn_is_back(qcc->conn) ? QCS_SRV_UNI : QCS_CLT_UNI;
531 }
532
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200533 /* RFC 9000 4.6. Controlling Concurrency
534 *
535 * An endpoint that receives a frame with a stream ID exceeding the
536 * limit it has sent MUST treat this as a connection error of type
537 * STREAM_LIMIT_ERROR
538 */
539 max_id = quic_stream_is_bidi(id) ? qcc->lfctl.ms_bidi * 4 :
540 qcc->lfctl.ms_uni * 4;
541 if (id >= max_id) {
542 TRACE_ERROR("flow control error", QMUX_EV_QCS_NEW|QMUX_EV_PROTO_ERR, qcc->conn);
543 qcc_emit_cc(qcc, QC_ERR_STREAM_LIMIT_ERROR);
544 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200545 }
546
547 /* Only stream ID not already opened can be used. */
548 BUG_ON(id < *largest);
549
550 while (id >= *largest) {
Amaury Denoyellefd79ddb2022-08-16 11:13:45 +0200551 const char *str = *largest < id ? "initializing intermediary remote stream" :
552 "initializing remote stream";
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200553
554 qcs = qcs_new(qcc, *largest, type);
555 if (!qcs) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200556 /* TODO emit RESET_STREAM */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200557 TRACE_ERROR("stream fallocation failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200558 goto err;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100559 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200560
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200561 TRACE_PROTO(str, QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200562 *largest += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100563 }
564
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200565 out:
566 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle50742292022-03-29 14:57:19 +0200567 return qcs;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200568
569 err:
570 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
571 return NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200572}
573
574/* Use this function for a stream <id> which is not in <qcc> stream tree. It
575 * returns true if the associated stream is closed.
576 */
577static int qcc_stream_id_is_closed(struct qcc *qcc, uint64_t id)
578{
579 uint64_t *largest;
580
581 /* This function must only be used for stream not present in the stream tree. */
582 BUG_ON_HOT(eb64_lookup(&qcc->streams_by_id, id));
583
584 if (quic_stream_is_local(qcc, id)) {
585 largest = quic_stream_is_uni(id) ? &qcc->next_uni_l :
586 &qcc->next_bidi_l;
587 }
588 else {
589 largest = quic_stream_is_uni(id) ? &qcc->largest_uni_r :
590 &qcc->largest_bidi_r;
591 }
592
593 return id < *largest;
594}
595
596/* Retrieve the stream instance from <id> ID. This can be used when receiving
597 * STREAM, STREAM_DATA_BLOCKED, RESET_STREAM, MAX_STREAM_DATA or STOP_SENDING
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200598 * frames. Set to false <receive_only> or <send_only> if these particular types
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200599 * of streams are not allowed. If the stream instance is found, it is stored in
600 * <out>.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200601 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200602 * Returns 0 on success else non-zero. On error, a RESET_STREAM or a
603 * CONNECTION_CLOSE is automatically emitted. Beware that <out> may be NULL
604 * on success if the stream has already been closed.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200605 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200606int qcc_get_qcs(struct qcc *qcc, uint64_t id, int receive_only, int send_only,
607 struct qcs **out)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200608{
609 struct eb64_node *node;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200610
611 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200612 *out = NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200613
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200614 if (!receive_only && quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200615 TRACE_ERROR("receive-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200616 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200617 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200618 }
619
620 if (!send_only && quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200621 TRACE_ERROR("send-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200622 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200623 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200624 }
625
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200626 /* Search the stream in the connection tree. */
627 node = eb64_lookup(&qcc->streams_by_id, id);
628 if (node) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200629 *out = eb64_entry(node, struct qcs, by_id);
630 TRACE_DEVEL("using stream from connection tree", QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200631 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200632 }
633
634 /* Check if stream is already closed. */
635 if (qcc_stream_id_is_closed(qcc, id)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200636 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200637 /* Consider this as a success even if <out> is left NULL. */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200638 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200639 }
640
641 /* Create the stream. This is valid only for remote initiated one. A
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500642 * local stream must have already been explicitly created by the
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200643 * application protocol layer.
644 */
645 if (quic_stream_is_local(qcc, id)) {
646 /* RFC 9000 19.8. STREAM Frames
647 *
648 * An endpoint MUST terminate the connection with error
649 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
650 * initiated stream that has not yet been created, or for a send-only
651 * stream.
652 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200653 TRACE_ERROR("locally initiated stream not yet created", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200654 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200655 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200656 }
657 else {
658 /* Remote stream not found - try to open it. */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200659 *out = qcc_init_stream_remote(qcc, id);
660 if (!*out) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200661 TRACE_ERROR("stream creation error", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200662 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200663 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200664 }
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100665
666 out:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200667 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200668 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200669
670 err:
671 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
672 return 1;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100673}
674
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200675/* Simple function to duplicate a buffer */
676static inline struct buffer qcs_b_dup(const struct ncbuf *b)
677{
678 return b_make(ncb_orig(b), b->size, b->head, ncb_data(b, 0));
679}
680
Amaury Denoyelle36d4b5e2022-07-01 11:25:40 +0200681/* Remove <bytes> from <qcs> Rx buffer. Flow-control for received offsets may
682 * be allocated for the peer if needed.
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200683 */
684static void qcs_consume(struct qcs *qcs, uint64_t bytes)
685{
686 struct qcc *qcc = qcs->qcc;
687 struct quic_frame *frm;
688 struct ncbuf *buf = &qcs->rx.ncbuf;
689 enum ncb_ret ret;
690
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200691 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
692
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200693 ret = ncb_advance(buf, bytes);
694 if (ret) {
695 ABORT_NOW(); /* should not happens because removal only in data */
696 }
697
698 if (ncb_is_empty(buf))
699 qc_free_ncbuf(qcs, buf);
700
701 qcs->rx.offset += bytes;
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100702 /* Not necessary to emit a MAX_STREAM_DATA if all data received. */
703 if (qcs->flags & QC_SF_SIZE_KNOWN)
704 goto conn_fctl;
705
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200706 if (qcs->rx.msd - qcs->rx.offset < qcs->rx.msd_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200707 TRACE_DATA("increase stream credit via MAX_STREAM_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100708 frm = qc_frm_alloc(QUIC_FT_MAX_STREAM_DATA);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200709 BUG_ON(!frm); /* TODO handle this properly */
710
711 qcs->rx.msd = qcs->rx.offset + qcs->rx.msd_init;
712
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200713 frm->max_stream_data.id = qcs->id;
714 frm->max_stream_data.max_stream_data = qcs->rx.msd;
715
716 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
717 tasklet_wakeup(qcc->wait_event.tasklet);
718 }
719
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100720 conn_fctl:
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200721 qcc->lfctl.offsets_consume += bytes;
722 if (qcc->lfctl.md - qcc->lfctl.offsets_consume < qcc->lfctl.md_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200723 TRACE_DATA("increase conn credit via MAX_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100724 frm = qc_frm_alloc(QUIC_FT_MAX_DATA);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200725 BUG_ON(!frm); /* TODO handle this properly */
726
727 qcc->lfctl.md = qcc->lfctl.offsets_consume + qcc->lfctl.md_init;
728
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200729 frm->max_data.max_data = qcc->lfctl.md;
730
731 LIST_APPEND(&qcs->qcc->lfctl.frms, &frm->list);
732 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
733 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200734
735 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200736}
737
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200738/* Decode the content of STREAM frames already received on the stream instance
739 * <qcs>.
740 *
741 * Returns 0 on success else non-zero.
742 */
743static int qcc_decode_qcs(struct qcc *qcc, struct qcs *qcs)
744{
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200745 struct buffer b;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200746 ssize_t ret;
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200747 int fin = 0;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200748
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200749 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
750
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200751 b = qcs_b_dup(&qcs->rx.ncbuf);
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200752
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200753 /* Signal FIN to application if STREAM FIN received with all data. */
754 if (qcs_is_close_remote(qcs))
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200755 fin = 1;
756
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100757 if (!(qcs->flags & QC_SF_READ_ABORTED)) {
758 ret = qcc->app_ops->decode_qcs(qcs, &b, fin);
759 if (ret < 0) {
760 TRACE_ERROR("decoding error", QMUX_EV_QCS_RECV, qcc->conn, qcs);
761 goto err;
762 }
763 }
764 else {
765 TRACE_DATA("ignore read on stream", QMUX_EV_QCS_RECV, qcc->conn, qcs);
766 ret = b_data(&b);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200767 }
768
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200769 if (ret) {
770 qcs_consume(qcs, ret);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200771 qcs_notify_recv(qcs);
772 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200773
774 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200775 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200776
777 err:
778 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
779 return 1;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200780}
781
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200782/* Emit a CONNECTION_CLOSE_APP with error <err>. Reserved for application error
Amaury Denoyelled666d742022-07-13 15:15:58 +0200783 * code. To close the connection right away, set <immediate> : this is useful
784 * when dealing with a connection fatal error. Else a graceful shutdown will be
785 * conducted : the error-code is only registered. The lower layer is
786 * responsible to close the connection when deemed suitable. Note that in this
787 * case the error code might be overwritten if an immediate close is requested
788 * in the interval.
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200789 */
Amaury Denoyelled666d742022-07-13 15:15:58 +0200790void qcc_emit_cc_app(struct qcc *qcc, int err, int immediate)
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200791{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200792 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
793
Amaury Denoyelled666d742022-07-13 15:15:58 +0200794 if (immediate) {
795 quic_set_connection_close(qcc->conn->handle.qc, quic_err_app(err));
796 qcc->flags |= QC_CF_CC_EMIT;
797 tasklet_wakeup(qcc->wait_event.tasklet);
798 }
799 else {
800 /* Only register the error code for graceful shutdown. */
801 qcc->conn->handle.qc->err = quic_err_app(err);
802 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200803
804 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200805}
806
807/* Prepare for the emission of RESET_STREAM on <qcs> with error code <err>. */
808void qcc_reset_stream(struct qcs *qcs, int err)
809{
810 struct qcc *qcc = qcs->qcc;
811
812 if ((qcs->flags & QC_SF_TO_RESET) || qcs_is_close_local(qcs))
813 return;
814
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200815 TRACE_STATE("reset stream", QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200816 qcs->flags |= QC_SF_TO_RESET;
817 qcs->err = err;
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100818
819 qcc_send_stream(qcs, 1);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200820 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100821}
822
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100823/* Register <qcs> stream for emission of STREAM, STOP_SENDING or RESET_STREAM.
824 * Set <urg> to 1 if stream content should be treated in priority compared to
825 * other streams.
826 */
827void qcc_send_stream(struct qcs *qcs, int urg)
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100828{
829 struct qcc *qcc = qcs->qcc;
830
831 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
832
833 /* Cannot send if already closed. */
834 BUG_ON(qcs_is_close_local(qcs));
835
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100836 if (urg) {
837 LIST_DEL_INIT(&qcs->el_send);
838 LIST_INSERT(&qcc->send_list, &qcs->el_send);
839 }
840 else {
841 if (!LIST_INLIST(&qcs->el_send))
842 LIST_APPEND(&qcs->qcc->send_list, &qcs->el_send);
843 }
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100844
845 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
846}
847
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100848/* Prepare for the emission of STOP_SENDING on <qcs>. */
849void qcc_abort_stream_read(struct qcs *qcs)
850{
851 struct qcc *qcc = qcs->qcc;
852
853 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn, qcs);
854
855 if ((qcs->flags & QC_SF_TO_STOP_SENDING) || qcs_is_close_remote(qcs))
856 goto end;
857
858 TRACE_STATE("abort stream read", QMUX_EV_QCS_END, qcc->conn, qcs);
859 qcs->flags |= (QC_SF_TO_STOP_SENDING|QC_SF_READ_ABORTED);
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100860
861 qcc_send_stream(qcs, 1);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100862 tasklet_wakeup(qcc->wait_event.tasklet);
863
864 end:
865 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn, qcs);
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200866}
867
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200868/* Install the <app_ops> applicative layer of a QUIC connection on mux <qcc>.
869 * Returns 0 on success else non-zero.
870 */
871int qcc_install_app_ops(struct qcc *qcc, const struct qcc_app_ops *app_ops)
872{
873 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn);
874
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100875 if (app_ops->init && !app_ops->init(qcc)) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200876 TRACE_ERROR("app ops init error", QMUX_EV_QCC_NEW, qcc->conn);
877 goto err;
878 }
879
880 TRACE_PROTO("application layer initialized", QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100881 qcc->app_ops = app_ops;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200882
Amaury Denoyelle71fd0362023-01-24 17:35:37 +0100883 /* RFC 9114 7.2.4.2. Initialization
884 *
885 * Endpoints MUST NOT require any data to be
886 * received from the peer prior to sending the SETTINGS frame;
887 * settings MUST be sent as soon as the transport is ready to
888 * send data.
889 */
890 if (qcc->app_ops->finalize) {
891 if (qcc->app_ops->finalize(qcc->ctx)) {
892 TRACE_ERROR("app ops finalize error", QMUX_EV_QCC_NEW, qcc->conn);
893 goto err;
894 }
895 tasklet_wakeup(qcc->wait_event.tasklet);
896 }
897
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200898 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
899 return 0;
900
901 err:
902 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
903 return 1;
904}
905
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200906/* Handle a new STREAM frame for stream with id <id>. Payload is pointed by
907 * <data> with length <len> and represents the offset <offset>. <fin> is set if
908 * the QUIC frame FIN bit is set.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100909 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200910 * Returns 0 on success else non-zero. On error, the received frame should not
911 * be acknowledged.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100912 */
913int qcc_recv(struct qcc *qcc, uint64_t id, uint64_t len, uint64_t offset,
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200914 char fin, char *data)
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100915{
916 struct qcs *qcs;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200917 enum ncb_ret ret;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100918
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100919 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
920
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200921 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200922 TRACE_DATA("connection closed", QMUX_EV_QCC_RECV, qcc->conn);
923 goto err;
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200924 }
925
Amaury Denoyelle6754d7e2022-05-23 16:12:49 +0200926 /* RFC 9000 19.8. STREAM Frames
927 *
928 * An endpoint MUST terminate the connection with error
929 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
930 * initiated stream that has not yet been created, or for a send-only
931 * stream.
932 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200933 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200934 TRACE_DATA("qcs retrieval error", QMUX_EV_QCC_RECV, qcc->conn);
935 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200936 }
937
938 if (!qcs) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200939 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV, qcc->conn);
940 goto out;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200941 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100942
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200943 /* RFC 9000 4.5. Stream Final Size
944 *
945 * Once a final size for a stream is known, it cannot change. If a
946 * RESET_STREAM or STREAM frame is received indicating a change in the
947 * final size for the stream, an endpoint SHOULD respond with an error
948 * of type FINAL_SIZE_ERROR; see Section 11 for details on error
949 * handling.
950 */
951 if (qcs->flags & QC_SF_SIZE_KNOWN &&
952 (offset + len > qcs->rx.offset_max || (fin && offset + len < qcs->rx.offset_max))) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200953 TRACE_ERROR("final size error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR, qcc->conn, qcs);
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200954 qcc_emit_cc(qcc, QC_ERR_FINAL_SIZE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200955 goto err;
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200956 }
957
Amaury Denoyelle5854fc02022-12-09 16:25:48 +0100958 if (qcs_is_close_remote(qcs)) {
959 TRACE_DATA("skipping STREAM for remotely closed", QMUX_EV_QCC_RECV, qcc->conn);
960 goto out;
961 }
962
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100963 if (offset + len <= qcs->rx.offset) {
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200964 /* TODO offset may have been received without FIN first and now
965 * with it. In this case, it must be notified to be able to
966 * close the stream.
967 */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200968 TRACE_DATA("already received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
969 goto out;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100970 }
971
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200972 TRACE_PROTO("receiving STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200973 qcs_idle_open(qcs);
974
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200975 if (offset + len > qcs->rx.offset_max) {
976 uint64_t diff = offset + len - qcs->rx.offset_max;
977 qcs->rx.offset_max = offset + len;
978 qcc->lfctl.offsets_recv += diff;
979
980 if (offset + len > qcs->rx.msd ||
981 qcc->lfctl.offsets_recv > qcc->lfctl.md) {
982 /* RFC 9000 4.1. Data Flow Control
983 *
984 * A receiver MUST close the connection with an error
985 * of type FLOW_CONTROL_ERROR if the sender violates
986 * the advertised connection or stream data limits
987 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200988 TRACE_ERROR("flow control error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200989 qcc->conn, qcs);
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200990 qcc_emit_cc(qcc, QC_ERR_FLOW_CONTROL_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200991 goto err;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200992 }
993 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100994
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200995 if (!qc_get_ncbuf(qcs, &qcs->rx.ncbuf) || ncb_is_null(&qcs->rx.ncbuf)) {
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100996 /* TODO should mark qcs as full */
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200997 ABORT_NOW();
998 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100999 }
1000
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001001 TRACE_DATA("newly received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001002 if (offset < qcs->rx.offset) {
Frédéric Lécaillea18c3332022-07-04 09:54:58 +02001003 size_t diff = qcs->rx.offset - offset;
1004
1005 len -= diff;
1006 data += diff;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001007 offset = qcs->rx.offset;
1008 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001009
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001010 ret = ncb_add(&qcs->rx.ncbuf, offset - qcs->rx.offset, data, len, NCB_ADD_COMPARE);
1011 if (ret != NCB_RET_OK) {
1012 if (ret == NCB_RET_DATA_REJ) {
Amaury Denoyellecc3d7162022-05-20 15:14:57 +02001013 /* RFC 9000 2.2. Sending and Receiving Data
1014 *
1015 * An endpoint could receive data for a stream at the
1016 * same stream offset multiple times. Data that has
1017 * already been received can be discarded. The data at
1018 * a given offset MUST NOT change if it is sent
1019 * multiple times; an endpoint MAY treat receipt of
1020 * different data at the same offset within a stream as
1021 * a connection error of type PROTOCOL_VIOLATION.
1022 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001023 TRACE_ERROR("overlapping data rejected", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001024 qcc->conn, qcs);
Amaury Denoyellecc3d7162022-05-20 15:14:57 +02001025 qcc_emit_cc(qcc, QC_ERR_PROTOCOL_VIOLATION);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001026 }
1027 else if (ret == NCB_RET_GAP_SIZE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001028 TRACE_DATA("cannot bufferize frame due to gap size limit", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV,
1029 qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001030 }
1031 return 1;
1032 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001033
1034 if (fin)
Amaury Denoyelle3f39b402022-07-01 16:11:03 +02001035 qcs->flags |= QC_SF_SIZE_KNOWN;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001036
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001037 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1038 qcs->rx.offset_max == qcs->rx.offset + ncb_data(&qcs->rx.ncbuf, 0)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001039 qcs_close_remote(qcs);
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001040 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001041
Amaury Denoyelle418ba212022-08-02 15:57:16 +02001042 if (ncb_data(&qcs->rx.ncbuf, 0) && !(qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001043 qcc_decode_qcs(qcc, qcs);
Amaury Denoyelle418ba212022-08-02 15:57:16 +02001044 qcc_refresh_timeout(qcc);
1045 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001046
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001047 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001048 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001049 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001050
1051 err:
1052 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1053 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001054}
1055
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001056/* Handle a new MAX_DATA frame. <max> must contains the maximum data field of
1057 * the frame.
1058 *
1059 * Returns 0 on success else non-zero.
1060 */
1061int qcc_recv_max_data(struct qcc *qcc, uint64_t max)
1062{
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001063 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1064
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001065 TRACE_PROTO("receiving MAX_DATA", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001066 if (qcc->rfctl.md < max) {
1067 qcc->rfctl.md = max;
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001068 TRACE_DEVEL("increase remote max-data", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001069
1070 if (qcc->flags & QC_CF_BLK_MFCTL) {
1071 qcc->flags &= ~QC_CF_BLK_MFCTL;
1072 tasklet_wakeup(qcc->wait_event.tasklet);
1073 }
1074 }
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001075
1076 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001077 return 0;
1078}
1079
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001080/* Handle a new MAX_STREAM_DATA frame. <max> must contains the maximum data
1081 * field of the frame and <id> is the identifier of the QUIC stream.
1082 *
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001083 * Returns 0 on success else non-zero. On error, the received frame should not
1084 * be acknowledged.
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001085 */
1086int qcc_recv_max_stream_data(struct qcc *qcc, uint64_t id, uint64_t max)
1087{
1088 struct qcs *qcs;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001089
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001090 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1091
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001092 /* RFC 9000 19.10. MAX_STREAM_DATA Frames
1093 *
1094 * Receiving a MAX_STREAM_DATA frame for a locally
1095 * initiated stream that has not yet been created MUST be treated as a
1096 * connection error of type STREAM_STATE_ERROR. An endpoint that
1097 * receives a MAX_STREAM_DATA frame for a receive-only stream MUST
1098 * terminate the connection with error STREAM_STATE_ERROR.
1099 */
1100 if (qcc_get_qcs(qcc, id, 0, 1, &qcs)) {
1101 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1102 return 1;
1103 }
1104
1105 if (qcs) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001106 TRACE_PROTO("receiving MAX_STREAM_DATA", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001107 if (max > qcs->tx.msd) {
1108 qcs->tx.msd = max;
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001109 TRACE_DEVEL("increase remote max-stream-data", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001110
1111 if (qcs->flags & QC_SF_BLK_SFCTL) {
1112 qcs->flags &= ~QC_SF_BLK_SFCTL;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001113 /* TODO optim: only wakeup IO-CB if stream has data to sent. */
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001114 tasklet_wakeup(qcc->wait_event.tasklet);
1115 }
1116 }
1117 }
1118
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001119 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1120 qcc_refresh_timeout(qcc);
1121
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001122 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1123 return 0;
1124}
1125
1126/* Handle a new RESET_STREAM frame from stream ID <id> with error code <err>
1127 * and final stream size <final_size>.
1128 *
1129 * Returns 0 on success else non-zero. On error, the received frame should not
1130 * be acknowledged.
1131 */
1132int qcc_recv_reset_stream(struct qcc *qcc, uint64_t id, uint64_t err, uint64_t final_size)
1133{
1134 struct qcs *qcs;
1135
1136 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1137
1138 /* RFC 9000 19.4. RESET_STREAM Frames
1139 *
1140 * An endpoint that receives a RESET_STREAM frame for a send-only stream
1141 * MUST terminate the connection with error STREAM_STATE_ERROR.
1142 */
1143 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
1144 TRACE_ERROR("RESET_STREAM for send-only stream received", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1145 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
1146 goto err;
1147 }
1148
1149 if (!qcs || qcs_is_close_remote(qcs))
1150 goto out;
1151
1152 TRACE_PROTO("receiving RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1153 qcs_idle_open(qcs);
1154
Amaury Denoyellee269aeb2023-01-30 12:13:22 +01001155 if (qcc->app_ops->close) {
1156 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_RD)) {
1157 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1158 goto out;
1159 }
1160 }
1161
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001162 if (qcs->rx.offset_max > final_size ||
1163 ((qcs->flags & QC_SF_SIZE_KNOWN) && qcs->rx.offset_max != final_size)) {
1164 TRACE_ERROR("final size error on RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1165 qcc_emit_cc(qcc, QC_ERR_FINAL_SIZE_ERROR);
1166 goto err;
1167 }
1168
1169 qcs->flags |= QC_SF_SIZE_KNOWN;
1170 qcs_close_remote(qcs);
1171 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
1172
1173 if (qcs_sc(qcs)) {
1174 se_fl_set_error(qcs->sd);
1175 qcs_alert(qcs);
1176 }
1177
1178 out:
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001179 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001180 return 0;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001181
1182 err:
1183 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1184 return 1;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001185}
1186
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001187/* Handle a new STOP_SENDING frame for stream ID <id>. The error code should be
1188 * specified in <err>.
1189 *
1190 * Returns 0 on success else non-zero. On error, the received frame should not
1191 * be acknowledged.
1192 */
1193int qcc_recv_stop_sending(struct qcc *qcc, uint64_t id, uint64_t err)
1194{
1195 struct qcs *qcs;
1196
1197 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1198
1199 /* RFC 9000 19.5. STOP_SENDING Frames
1200 *
1201 * Receiving a STOP_SENDING frame for a
1202 * locally initiated stream that has not yet been created MUST be
1203 * treated as a connection error of type STREAM_STATE_ERROR. An
1204 * endpoint that receives a STOP_SENDING frame for a receive-only stream
1205 * MUST terminate the connection with error STREAM_STATE_ERROR.
1206 */
1207 if (qcc_get_qcs(qcc, id, 0, 1, &qcs)) {
1208 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1209 return 1;
1210 }
1211
1212 if (!qcs)
1213 goto out;
1214
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001215 TRACE_PROTO("receiving STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelled7755372022-10-03 17:20:31 +02001216
1217 /* RFC 9000 3.5. Solicited State Transitions
1218 *
1219 * An endpoint is expected to send another STOP_SENDING frame if a
1220 * packet containing a previous STOP_SENDING is lost. However, once
1221 * either all stream data or a RESET_STREAM frame has been received for
1222 * the stream -- that is, the stream is in any state other than "Recv"
1223 * or "Size Known" -- sending a STOP_SENDING frame is unnecessary.
1224 */
1225
1226 /* TODO thanks to previous RFC clause, STOP_SENDING is ignored if current stream
1227 * has already been closed locally. This is useful to not emit multiple
1228 * RESET_STREAM for a single stream. This is functional if stream is
1229 * locally closed due to all data transmitted, but in this case the RFC
1230 * advices to use an explicit RESET_STREAM.
1231 */
1232 if (qcs_is_close_local(qcs)) {
1233 TRACE_STATE("ignoring STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1234 goto out;
1235 }
1236
Amaury Denoyelle96ca1b72022-08-09 17:36:38 +02001237 qcs_idle_open(qcs);
1238
Amaury Denoyelle87f87662023-01-30 12:12:43 +01001239 if (qcc->app_ops->close) {
1240 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_WR)) {
1241 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1242 goto out;
1243 }
1244 }
1245
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001246 /* RFC 9000 3.5. Solicited State Transitions
1247 *
1248 * An endpoint that receives a STOP_SENDING frame
1249 * MUST send a RESET_STREAM frame if the stream is in the "Ready" or
1250 * "Send" state. If the stream is in the "Data Sent" state, the
1251 * endpoint MAY defer sending the RESET_STREAM frame until the packets
1252 * containing outstanding data are acknowledged or declared lost. If
1253 * any outstanding data is declared lost, the endpoint SHOULD send a
1254 * RESET_STREAM frame instead of retransmitting the data.
1255 *
1256 * An endpoint SHOULD copy the error code from the STOP_SENDING frame to
1257 * the RESET_STREAM frame it sends, but it can use any application error
1258 * code.
1259 */
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001260 qcc_reset_stream(qcs, err);
1261
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001262 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1263 qcc_refresh_timeout(qcc);
1264
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001265 out:
1266 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1267 return 0;
1268}
1269
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001270/* Signal the closing of remote stream with id <id>. Flow-control for new
1271 * streams may be allocated for the peer if needed.
1272 */
1273static int qcc_release_remote_stream(struct qcc *qcc, uint64_t id)
Amaury Denoyellec055e302022-02-07 16:09:06 +01001274{
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001275 struct quic_frame *frm;
1276
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001277 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn);
1278
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001279 if (quic_stream_is_bidi(id)) {
1280 ++qcc->lfctl.cl_bidi_r;
1281 if (qcc->lfctl.cl_bidi_r > qcc->lfctl.ms_bidi_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001282 TRACE_DATA("increase max stream limit with MAX_STREAMS_BIDI", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001283 frm = qc_frm_alloc(QUIC_FT_MAX_STREAMS_BIDI);
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001284 BUG_ON(!frm); /* TODO handle this properly */
1285
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001286 frm->max_streams_bidi.max_streams = qcc->lfctl.ms_bidi +
1287 qcc->lfctl.cl_bidi_r;
1288 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
1289 tasklet_wakeup(qcc->wait_event.tasklet);
1290
1291 qcc->lfctl.ms_bidi += qcc->lfctl.cl_bidi_r;
1292 qcc->lfctl.cl_bidi_r = 0;
1293 }
1294 }
1295 else {
Amaury Denoyelle91077312022-12-22 18:56:09 +01001296 /* TODO unidirectional stream flow control with MAX_STREAMS_UNI
1297 * emission not implemented. It should be unnecessary for
1298 * HTTP/3 but may be required if other application protocols
1299 * are supported.
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001300 */
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001301 }
1302
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001303 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
1304
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001305 return 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001306}
1307
Ilya Shipitsin5e87bcf2021-12-25 11:45:52 +05001308/* detaches the QUIC stream from its QCC and releases it to the QCS pool. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001309static void qcs_destroy(struct qcs *qcs)
1310{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001311 struct connection *conn = qcs->qcc->conn;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001312 const uint64_t id = qcs->id;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001313
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001314 TRACE_ENTER(QMUX_EV_QCS_END, conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001315
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001316 if (quic_stream_is_remote(qcs->qcc, id))
1317 qcc_release_remote_stream(qcs->qcc, id);
Amaury Denoyellec055e302022-02-07 16:09:06 +01001318
Amaury Denoyelledccbd732022-03-29 18:36:59 +02001319 qcs_free(qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001320
1321 TRACE_LEAVE(QMUX_EV_QCS_END, conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001322}
1323
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001324/* Transfer as much as possible data on <qcs> from <in> to <out>. This is done
1325 * in respect with available flow-control at stream and connection level.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001326 *
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001327 * Returns the total bytes of transferred data.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001328 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001329static int qcs_xfer_data(struct qcs *qcs, struct buffer *out, struct buffer *in)
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001330{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001331 struct qcc *qcc = qcs->qcc;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001332 int left, to_xfer;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001333 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001334
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001335 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001336
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001337 qc_get_buf(qcs, out);
1338
1339 /*
1340 * QCS out buffer diagram
1341 * head left to_xfer
1342 * -------------> ----------> ----->
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001343 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001344 * |...............|xxxxxxxxxxx|<<<<<
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001345 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001346 * ^ ack-off ^ sent-off ^ off
1347 *
1348 * STREAM frame
1349 * ^ ^
1350 * |xxxxxxxxxxxxxxxxx|
1351 */
1352
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001353 BUG_ON_HOT(qcs->tx.sent_offset < qcs->stream->ack_offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001354 BUG_ON_HOT(qcs->tx.offset < qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001355 BUG_ON_HOT(qcc->tx.offsets < qcc->tx.sent_offsets);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001356
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001357 left = qcs->tx.offset - qcs->tx.sent_offset;
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001358 to_xfer = QUIC_MIN(b_data(in), b_room(out));
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001359
1360 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
1361 /* do not exceed flow control limit */
1362 if (qcs->tx.offset + to_xfer > qcs->tx.msd)
1363 to_xfer = qcs->tx.msd - qcs->tx.offset;
1364
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001365 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001366 /* do not overcome flow control limit on connection */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001367 if (qcc->tx.offsets + to_xfer > qcc->rfctl.md)
1368 to_xfer = qcc->rfctl.md - qcc->tx.offsets;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001369
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001370 if (!left && !to_xfer)
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001371 goto out;
1372
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001373 total = b_force_xfer(out, in, to_xfer);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001374
1375 out:
1376 {
1377 struct qcs_xfer_data_trace_arg arg = {
1378 .prep = b_data(out), .xfer = total,
1379 };
1380 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_XFER_DATA,
1381 qcc->conn, qcs, &arg);
1382 }
1383
1384 return total;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001385}
1386
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001387/* Prepare a STREAM frame for <qcs> instance using <out> as payload. The frame
1388 * is appended in <frm_list>. Set <fin> if this is supposed to be the last
1389 * stream frame.
1390 *
1391 * Returns the length of the STREAM frame or a negative error code.
1392 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001393static int qcs_build_stream_frm(struct qcs *qcs, struct buffer *out, char fin,
1394 struct list *frm_list)
1395{
1396 struct qcc *qcc = qcs->qcc;
1397 struct quic_frame *frm;
1398 int head, total;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001399 uint64_t base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001400
1401 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1402
Amaury Denoyellea4569202022-04-15 17:29:25 +02001403 /* if ack_offset < buf_offset, it points to an older buffer. */
1404 base_off = MAX(qcs->stream->buf_offset, qcs->stream->ack_offset);
1405 BUG_ON(qcs->tx.sent_offset < base_off);
1406
1407 head = qcs->tx.sent_offset - base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001408 total = b_data(out) - head;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001409 BUG_ON(total < 0);
1410
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001411 if (!total && !fin) {
1412 /* No need to send anything if total is NULL and no FIN to signal. */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001413 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1414 return 0;
1415 }
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001416 BUG_ON((!total && qcs->tx.sent_offset > qcs->tx.offset) ||
1417 (total && qcs->tx.sent_offset >= qcs->tx.offset));
Amaury Denoyellea4569202022-04-15 17:29:25 +02001418 BUG_ON(qcs->tx.sent_offset + total > qcs->tx.offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001419 BUG_ON(qcc->tx.sent_offsets + total > qcc->rfctl.md);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001420
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001421 TRACE_PROTO("sending STREAM frame", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001422 frm = qc_frm_alloc(QUIC_FT_STREAM_8);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001423 if (!frm) {
1424 TRACE_ERROR("frame alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001425 goto err;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001426 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001427
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001428 frm->stream.stream = qcs->stream;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001429 frm->stream.id = qcs->id;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001430 frm->stream.buf = out;
1431 frm->stream.data = (unsigned char *)b_peek(out, head);
Amaury Denoyelle1dac0182023-02-02 16:45:07 +01001432 frm->stream.offset.key = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001433
Amaury Denoyellefecfa0d2021-12-07 16:50:14 +01001434 /* FIN is positioned only when the buffer has been totally emptied. */
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001435 if (fin)
1436 frm->type |= QUIC_STREAM_FRAME_TYPE_FIN_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001437
1438 if (qcs->tx.sent_offset) {
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001439 frm->type |= QUIC_STREAM_FRAME_TYPE_OFF_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001440 frm->stream.offset.key = qcs->tx.sent_offset;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001441 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001442
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001443 frm->type |= QUIC_STREAM_FRAME_TYPE_LEN_BIT;
1444 frm->stream.len = total;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001445
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001446 LIST_APPEND(frm_list, &frm->list);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001447
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001448 out:
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001449 {
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001450 struct qcs_build_stream_trace_arg arg = {
1451 .len = frm->stream.len, .fin = fin,
1452 .offset = frm->stream.offset.key,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001453 };
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001454 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_BUILD_STRM,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001455 qcc->conn, qcs, &arg);
1456 }
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001457
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001458 return total;
1459
1460 err:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001461 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001462 return -1;
1463}
1464
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001465/* Check after transferring data from qcs.tx.buf if FIN must be set on the next
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001466 * STREAM frame for <qcs>.
1467 *
1468 * Returns true if FIN must be set else false.
1469 */
1470static int qcs_stream_fin(struct qcs *qcs)
1471{
1472 return qcs->flags & QC_SF_FIN_STREAM && !b_data(&qcs->tx.buf);
1473}
1474
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001475/* Return true if <qcs> has data to send in new STREAM frames. */
1476static forceinline int qcs_need_sending(struct qcs *qcs)
1477{
1478 return b_data(&qcs->tx.buf) || qcs->tx.sent_offset < qcs->tx.offset ||
1479 qcs_stream_fin(qcs);
1480}
1481
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001482/* This function must be called by the upper layer to inform about the sending
1483 * of a STREAM frame for <qcs> instance. The frame is of <data> length and on
1484 * <offset>.
1485 */
1486void qcc_streams_sent_done(struct qcs *qcs, uint64_t data, uint64_t offset)
1487{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001488 struct qcc *qcc = qcs->qcc;
1489 uint64_t diff;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001490
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001491 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1492
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001493 BUG_ON(offset > qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001494 BUG_ON(offset + data > qcs->tx.offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001495
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001496 /* check if the STREAM frame has already been notified. It can happen
1497 * for retransmission.
1498 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001499 if (offset + data < qcs->tx.sent_offset) {
1500 TRACE_DEVEL("offset already notified", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1501 goto out;
1502 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001503
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001504 qcs_idle_open(qcs);
1505
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001506 diff = offset + data - qcs->tx.sent_offset;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001507 if (diff) {
1508 /* increase offset sum on connection */
1509 qcc->tx.sent_offsets += diff;
1510 BUG_ON_HOT(qcc->tx.sent_offsets > qcc->rfctl.md);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001511 if (qcc->tx.sent_offsets == qcc->rfctl.md) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001512 qcc->flags |= QC_CF_BLK_MFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001513 TRACE_STATE("connection flow-control reached", QMUX_EV_QCS_SEND, qcc->conn);
1514 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001515
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001516 /* increase offset on stream */
1517 qcs->tx.sent_offset += diff;
1518 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.msd);
1519 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.offset);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001520 if (qcs->tx.sent_offset == qcs->tx.msd) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001521 qcs->flags |= QC_SF_BLK_SFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001522 TRACE_STATE("stream flow-control reached", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1523 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001524
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001525 /* If qcs.stream.buf is full, release it to the lower layer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001526 if (qcs->tx.offset == qcs->tx.sent_offset &&
1527 b_full(&qcs->stream->buf->buf)) {
1528 qc_stream_buf_release(qcs->stream);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001529 }
1530 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001531
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001532 if (qcs->tx.offset == qcs->tx.sent_offset && !b_data(&qcs->tx.buf)) {
1533 /* Remove stream from send_list if all was sent. */
1534 LIST_DEL_INIT(&qcs->el_send);
1535 TRACE_STATE("stream sent done", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1536
1537 if (qcs->flags & (QC_SF_FIN_STREAM|QC_SF_DETACH)) {
1538 /* Close stream locally. */
1539 qcs_close_local(qcs);
1540 /* Reset flag to not emit multiple FIN STREAM frames. */
1541 qcs->flags &= ~QC_SF_FIN_STREAM;
1542 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001543 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001544
1545 out:
1546 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001547}
1548
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001549/* Wrapper for send on transport layer. Send a list of frames <frms> for the
1550 * connection <qcc>.
1551 *
1552 * Returns 0 if all data sent with success else non-zero.
1553 */
1554static int qc_send_frames(struct qcc *qcc, struct list *frms)
1555{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001556 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
1557
1558 if (LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001559 TRACE_DEVEL("no frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1560 goto err;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001561 }
Frédéric Lécaille4e22f282022-03-18 18:38:19 +01001562
Amaury Denoyelle036cc5d2022-09-26 15:02:31 +02001563 if (!qc_send_mux(qcc->conn->handle.qc, frms))
1564 goto err;
Amaury Denoyellee9c4cc12022-03-04 15:29:53 +01001565
Amaury Denoyelledb5d1a12022-03-10 16:42:23 +01001566 /* If there is frames left at this stage, transport layer is blocked.
1567 * Subscribe on it to retry later.
1568 */
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001569 if (!LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001570 TRACE_DEVEL("remaining frames to send, subscribing", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001571 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1572 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001573 goto err;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001574 }
1575
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001576 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001577 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001578
1579 err:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001580 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001581 return 1;
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001582}
1583
1584/* Emit a RESET_STREAM on <qcs>.
1585 *
1586 * Returns 0 if the frame has been successfully sent else non-zero.
1587 */
1588static int qcs_send_reset(struct qcs *qcs)
1589{
1590 struct list frms = LIST_HEAD_INIT(frms);
1591 struct quic_frame *frm;
1592
1593 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1594
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001595 frm = qc_frm_alloc(QUIC_FT_RESET_STREAM);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001596 if (!frm) {
1597 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001598 return 1;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001599 }
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001600
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001601 frm->reset_stream.id = qcs->id;
1602 frm->reset_stream.app_error_code = qcs->err;
1603 frm->reset_stream.final_size = qcs->tx.sent_offset;
1604
1605 LIST_APPEND(&frms, &frm->list);
1606 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001607 qc_frm_free(&frm);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001608 TRACE_DEVEL("cannot send RESET_STREAM", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1609 return 1;
1610 }
1611
1612 if (qcs_sc(qcs)) {
1613 se_fl_set_error(qcs->sd);
1614 qcs_alert(qcs);
1615 }
1616
1617 qcs_close_local(qcs);
1618 qcs->flags &= ~QC_SF_TO_RESET;
1619
1620 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001621 return 0;
1622}
1623
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001624/* Emit a STOP_SENDING on <qcs>.
1625 *
1626 * Returns 0 if the frame has been successfully sent else non-zero.
1627 */
1628static int qcs_send_stop_sending(struct qcs *qcs)
1629{
1630 struct list frms = LIST_HEAD_INIT(frms);
1631 struct quic_frame *frm;
1632 struct qcc *qcc = qcs->qcc;
1633
1634 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1635
1636 /* RFC 9000 3.3. Permitted Frame Types
1637 *
1638 * A
1639 * receiver MAY send a STOP_SENDING frame in any state where it has not
1640 * received a RESET_STREAM frame -- that is, states other than "Reset
1641 * Recvd" or "Reset Read". However, there is little value in sending a
1642 * STOP_SENDING frame in the "Data Recvd" state, as all stream data has
1643 * been received. A sender could receive either of these two types of
1644 * frames in any state as a result of delayed delivery of packets.¶
1645 */
1646 if (qcs_is_close_remote(qcs)) {
1647 TRACE_STATE("skip STOP_SENDING on remote already closed", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1648 goto done;
1649 }
1650
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001651 frm = qc_frm_alloc(QUIC_FT_STOP_SENDING);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001652 if (!frm) {
1653 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1654 return 1;
1655 }
1656
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001657 frm->stop_sending.id = qcs->id;
1658 frm->stop_sending.app_error_code = qcs->err;
1659
1660 LIST_APPEND(&frms, &frm->list);
1661 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001662 qc_frm_free(&frm);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001663 TRACE_DEVEL("cannot send STOP_SENDING", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1664 return 1;
1665 }
1666
1667 done:
1668 qcs->flags &= ~QC_SF_TO_STOP_SENDING;
1669
1670 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1671 return 0;
1672}
1673
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001674/* Used internally by qc_send function. Proceed to send for <qcs>. This will
1675 * transfer data from qcs buffer to its quic_stream counterpart. A STREAM frame
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001676 * is then generated and inserted in <frms> list.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001677 *
1678 * Returns the total bytes transferred between qcs and quic_stream buffers. Can
1679 * be null if out buffer cannot be allocated.
1680 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001681static int _qc_send_qcs(struct qcs *qcs, struct list *frms)
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001682{
1683 struct qcc *qcc = qcs->qcc;
1684 struct buffer *buf = &qcs->tx.buf;
1685 struct buffer *out = qc_stream_buf_get(qcs->stream);
1686 int xfer = 0;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001687 char fin = 0;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001688
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001689 /* Cannot send STREAM on remote unidirectional streams. */
1690 BUG_ON(quic_stream_is_uni(qcs->id) && quic_stream_is_remote(qcc, qcs->id));
1691
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001692 /* Allocate <out> buffer if necessary. */
1693 if (!out) {
1694 if (qcc->flags & QC_CF_CONN_FULL)
1695 return 0;
1696
1697 out = qc_stream_buf_alloc(qcs->stream, qcs->tx.offset);
1698 if (!out) {
1699 qcc->flags |= QC_CF_CONN_FULL;
1700 return 0;
1701 }
1702 }
1703
1704 /* Transfer data from <buf> to <out>. */
1705 if (b_data(buf)) {
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001706 xfer = qcs_xfer_data(qcs, out, buf);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001707 if (xfer > 0) {
1708 qcs_notify_send(qcs);
1709 qcs->flags &= ~QC_SF_BLK_MROOM;
1710 }
1711
1712 qcs->tx.offset += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001713 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001714 qcc->tx.offsets += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001715 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001716 }
1717
1718 /* out buffer cannot be emptied if qcs offsets differ. */
1719 BUG_ON(!b_data(out) && qcs->tx.sent_offset != qcs->tx.offset);
1720
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001721 /* FIN is set if all incoming data were transferred. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001722 fin = qcs_stream_fin(qcs);
1723
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001724 /* Build a new STREAM frame with <out> buffer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001725 if (qcs->tx.sent_offset != qcs->tx.offset || fin) {
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001726 int ret;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001727 ret = qcs_build_stream_frm(qcs, out, fin, frms);
Amaury Denoyelleb50f3112022-04-28 14:41:50 +02001728 if (ret < 0) { ABORT_NOW(); /* TODO handle this properly */ }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001729 }
1730
1731 return xfer;
1732}
1733
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001734/* Proceed to sending. Loop through all available streams for the <qcc>
1735 * instance and try to send as much as possible.
1736 *
1737 * Returns the total of bytes sent to the transport layer.
1738 */
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001739static int qc_send(struct qcc *qcc)
1740{
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001741 struct list frms = LIST_HEAD_INIT(frms);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001742 struct qcs *qcs, *qcs_tmp;
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001743 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001744
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001745 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001746
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +02001747 if (qcc->conn->flags & CO_FL_SOCK_WR_SH || qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001748 qcc->conn->flags |= CO_FL_ERROR;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001749 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
1750 goto err;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001751 }
1752
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001753 if (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1754 if (qc_send_frames(qcc, &qcc->lfctl.frms)) {
1755 TRACE_DEVEL("flow-control frames rejected by transport, aborting send", QMUX_EV_QCC_SEND, qcc->conn);
1756 goto out;
1757 }
1758 }
Amaury Denoyellec9337802022-04-04 16:36:34 +02001759
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001760 if (qcc->flags & QC_CF_BLK_MFCTL)
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001761 goto err;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001762
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001763 /* Send STREAM/STOP_SENDING/RESET_STREAM data for registered streams. */
1764 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_list, el_send) {
1765 /* Stream must not be present in send_list if it has nothing to send. */
1766 BUG_ON(!(qcs->flags & (QC_SF_TO_STOP_SENDING|QC_SF_TO_RESET)) &&
1767 !qcs_need_sending(qcs));
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001768
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001769 /* Each STOP_SENDING/RESET_STREAM frame is sent individually to
1770 * guarantee its emission.
1771 *
1772 * TODO multiplex several frames in same datagram to optimize sending
1773 */
1774 if (qcs->flags & QC_SF_TO_STOP_SENDING) {
1775 if (qcs_send_stop_sending(qcs))
1776 goto out;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001777
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001778 /* Remove stream from send_list if it had only STOP_SENDING
1779 * to send.
1780 */
1781 if (!(qcs->flags & QC_SF_TO_RESET) && !qcs_need_sending(qcs)) {
1782 LIST_DEL_INIT(&qcs->el_send);
1783 continue;
1784 }
Amaury Denoyellee2ec9422022-03-10 16:46:18 +01001785 }
1786
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001787 if (qcs->flags & QC_SF_TO_RESET) {
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001788 if (qcs_send_reset(qcs))
1789 goto out;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001790
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001791 /* RFC 9000 3.3. Permitted Frame Types
1792 *
1793 * A sender MUST NOT send
1794 * a STREAM or STREAM_DATA_BLOCKED frame for a stream in the
1795 * "Reset Sent" state or any terminal state -- that is, after
1796 * sending a RESET_STREAM frame.
1797 */
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001798 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelled2f80a22022-04-15 17:30:49 +02001799 continue;
1800 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001801
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001802 if (!(qcs->flags & QC_SF_BLK_SFCTL))
1803 total += _qc_send_qcs(qcs, &frms);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001804 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001805
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001806 /* Retry sending until no frame to send, data rejected or connection
1807 * flow-control limit reached.
1808 */
1809 while (qc_send_frames(qcc, &frms) == 0 && !(qcc->flags & QC_CF_BLK_MFCTL)) {
1810 /* Reloop over <qcc.send_list>. Useful for streams which have
1811 * fulfilled their qc_stream_desc buf and have now release it.
1812 */
1813 list_for_each_entry(qcs, &qcc->send_list, el_send) {
1814 /* Only streams blocked on flow-control or waiting on a
1815 * new qc_stream_desc should be present in send_list as
1816 * long as transport layer can handle all data.
1817 */
1818 BUG_ON(qcs->stream->buf && !(qcs->flags & QC_SF_BLK_SFCTL));
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001819
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001820 if (!(qcs->flags & QC_SF_BLK_SFCTL))
1821 total += _qc_send_qcs(qcs, &frms);
1822 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001823 }
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001824
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001825 out:
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02001826 /* Deallocate frames that the transport layer has rejected. */
1827 if (!LIST_ISEMPTY(&frms)) {
1828 struct quic_frame *frm, *frm2;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001829
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001830 list_for_each_entry_safe(frm, frm2, &frms, list)
1831 qc_frm_free(&frm);
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02001832 }
1833
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001834 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001835 return total;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001836
1837 err:
1838 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
1839 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001840}
1841
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001842/* Proceed on receiving. Loop through all streams from <qcc> and use decode_qcs
1843 * operation.
1844 *
1845 * Returns 0 on success else non-zero.
1846 */
1847static int qc_recv(struct qcc *qcc)
1848{
1849 struct eb64_node *node;
1850 struct qcs *qcs;
1851
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001852 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellee1cad8b2022-05-23 18:52:11 +02001853
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001854 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001855 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001856 return 0;
1857 }
1858
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001859 node = eb64_first(&qcc->streams_by_id);
1860 while (node) {
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001861 uint64_t id;
1862
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001863 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001864 id = qcs->id;
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001865
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001866 if (!ncb_data(&qcs->rx.ncbuf, 0) || (qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001867 node = eb64_next(node);
1868 continue;
1869 }
1870
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001871 if (quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001872 node = eb64_next(node);
1873 continue;
1874 }
1875
1876 qcc_decode_qcs(qcc, qcs);
1877 node = eb64_next(node);
1878 }
1879
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001880 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001881 return 0;
1882}
1883
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001884
1885/* Release all streams which have their transfer operation achieved.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01001886 *
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001887 * Returns true if at least one stream is released.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01001888 */
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001889static int qc_purge_streams(struct qcc *qcc)
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001890{
1891 struct eb64_node *node;
1892 int release = 0;
1893
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001894 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001895
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001896 node = eb64_first(&qcc->streams_by_id);
1897 while (node) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02001898 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001899 node = eb64_next(node);
1900
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001901 /* Release not attached closed streams. */
1902 if (qcs->st == QC_SS_CLO && !qcs_sc(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001903 TRACE_STATE("purging closed stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001904 qcs_destroy(qcs);
1905 release = 1;
1906 continue;
1907 }
1908
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001909 /* Release detached streams with empty buffer. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001910 if (qcs->flags & QC_SF_DETACH) {
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02001911 if (qcs_is_close_local(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001912 TRACE_STATE("purging detached stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001913 qcs_destroy(qcs);
1914 release = 1;
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001915 continue;
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001916 }
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001917
1918 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1919 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001920 }
1921 }
1922
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001923 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001924 return release;
1925}
1926
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001927/* release function. This one should be called to free all resources allocated
1928 * to the mux.
1929 */
1930static void qc_release(struct qcc *qcc)
1931{
1932 struct connection *conn = qcc->conn;
1933 struct eb64_node *node;
1934
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001935 TRACE_ENTER(QMUX_EV_QCC_END, conn);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001936
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001937 if (qcc->app_ops && qcc->app_ops->shutdown) {
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001938 /* Application protocol with dedicated connection closing
1939 * procedure.
1940 */
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001941 qcc->app_ops->shutdown(qcc->ctx);
Amaury Denoyellea154dc02022-06-13 17:09:01 +02001942
1943 /* useful if application protocol should emit some closing
1944 * frames. For example HTTP/3 GOAWAY frame.
1945 */
1946 qc_send(qcc);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001947 }
1948 else {
1949 qcc_emit_cc_app(qcc, QC_ERR_NO_ERROR, 0);
1950 }
1951
1952 if (qcc->task) {
1953 task_destroy(qcc->task);
1954 qcc->task = NULL;
1955 }
1956
1957 if (qcc->wait_event.tasklet)
1958 tasklet_free(qcc->wait_event.tasklet);
1959 if (conn && qcc->wait_event.events) {
1960 conn->xprt->unsubscribe(conn, conn->xprt_ctx,
1961 qcc->wait_event.events,
1962 &qcc->wait_event);
1963 }
1964
1965 /* liberate remaining qcs instances */
1966 node = eb64_first(&qcc->streams_by_id);
1967 while (node) {
1968 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
1969 node = eb64_next(node);
1970 qcs_free(qcs);
1971 }
1972
1973 while (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1974 struct quic_frame *frm = LIST_ELEM(qcc->lfctl.frms.n, struct quic_frame *, list);
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001975 qc_frm_free(&frm);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001976 }
1977
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001978 if (qcc->app_ops && qcc->app_ops->release)
1979 qcc->app_ops->release(qcc->ctx);
1980 TRACE_PROTO("application layer released", QMUX_EV_QCC_END, conn);
1981
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001982 pool_free(pool_head_qcc, qcc);
1983
1984 if (conn) {
1985 LIST_DEL_INIT(&conn->stopping_list);
1986
1987 conn->handle.qc->conn = NULL;
1988 conn->mux = NULL;
1989 conn->ctx = NULL;
1990
1991 TRACE_DEVEL("freeing conn", QMUX_EV_QCC_END, conn);
1992
1993 conn_stop_tracking(conn);
1994 conn_full_close(conn);
1995 if (conn->destroy_cb)
1996 conn->destroy_cb(conn);
1997 conn_free(conn);
1998 }
1999
2000 TRACE_LEAVE(QMUX_EV_QCC_END);
2001}
2002
Willy Tarreau41e701e2022-09-08 15:12:59 +02002003struct task *qc_io_cb(struct task *t, void *ctx, unsigned int status)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002004{
Amaury Denoyelle769e9ff2021-10-05 11:43:50 +02002005 struct qcc *qcc = ctx;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002006
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002007 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002008
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002009 qc_send(qcc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002010
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002011 if (qc_purge_streams(qcc)) {
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002012 if (qcc_is_dead(qcc)) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002013 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002014 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002015 }
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002016 }
2017
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002018 qc_recv(qcc);
2019
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002020 /* TODO check if qcc proxy is disabled. If yes, use graceful shutdown
2021 * to close the connection.
2022 */
2023
2024 qcc_refresh_timeout(qcc);
2025
Amaury Denoyelled3973852022-07-25 14:56:54 +02002026 end:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002027 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
2028 return NULL;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002029
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002030 release:
2031 qc_release(qcc);
2032 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002033 return NULL;
2034}
2035
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002036static struct task *qc_timeout_task(struct task *t, void *ctx, unsigned int state)
2037{
2038 struct qcc *qcc = ctx;
2039 int expired = tick_is_expired(t->expire, now_ms);
2040
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002041 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc ? qcc->conn : NULL);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002042
2043 if (qcc) {
2044 if (!expired) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002045 TRACE_DEVEL("not expired", QMUX_EV_QCC_WAKE, qcc->conn);
2046 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002047 }
2048
2049 if (!qcc_may_expire(qcc)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002050 TRACE_DEVEL("cannot expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002051 t->expire = TICK_ETERNITY;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002052 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002053 }
2054 }
2055
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002056 task_destroy(t);
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002057
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002058 if (!qcc) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002059 TRACE_DEVEL("no more qcc", QMUX_EV_QCC_WAKE);
2060 goto out;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002061 }
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002062
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002063 qcc->task = NULL;
2064
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002065 /* TODO depending on the timeout condition, different shutdown mode
2066 * should be used. For http keep-alive or disabled proxy, a graceful
2067 * shutdown should occurs. For all other cases, an immediate close
2068 * seems legitimate.
2069 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002070 if (qcc_is_dead(qcc)) {
2071 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002072 qc_release(qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002073 }
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002074
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002075 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002076 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002077 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002078
2079 requeue:
2080 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
2081 return t;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002082}
2083
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002084static int qc_init(struct connection *conn, struct proxy *prx,
2085 struct session *sess, struct buffer *input)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002086{
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002087 struct qcc *qcc;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002088 struct quic_transport_params *lparams, *rparams;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002089
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002090 TRACE_ENTER(QMUX_EV_QCC_NEW);
2091
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002092 qcc = pool_alloc(pool_head_qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002093 if (!qcc) {
2094 TRACE_ERROR("alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002095 goto fail_no_qcc;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002096 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002097
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002098 qcc->conn = conn;
2099 conn->ctx = qcc;
Amaury Denoyellec603de42022-07-25 11:21:46 +02002100 qcc->nb_hreq = qcc->nb_sc = 0;
Amaury Denoyellece1f30d2022-02-01 15:14:24 +01002101 qcc->flags = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002102
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002103 qcc->app_ops = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002104
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002105 qcc->streams_by_id = EB_ROOT_UNIQUE;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002106
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002107 /* Server parameters, params used for RX flow control. */
Willy Tarreau784b8682022-04-11 14:18:10 +02002108 lparams = &conn->handle.qc->rx.params;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002109
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002110 qcc->rx.max_data = lparams->initial_max_data;
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02002111 qcc->tx.sent_offsets = qcc->tx.offsets = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002112
2113 /* Client initiated streams must respect the server flow control. */
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002114 qcc->strms[QCS_CLT_BIDI].max_streams = lparams->initial_max_streams_bidi;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002115 qcc->strms[QCS_CLT_BIDI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002116 qcc->strms[QCS_CLT_BIDI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002117 qcc->strms[QCS_CLT_BIDI].tx.max_data = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002118
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002119 qcc->strms[QCS_CLT_UNI].max_streams = lparams->initial_max_streams_uni;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002120 qcc->strms[QCS_CLT_UNI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002121 qcc->strms[QCS_CLT_UNI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002122 qcc->strms[QCS_CLT_UNI].tx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002123
2124 /* Server initiated streams must respect the server flow control. */
2125 qcc->strms[QCS_SRV_BIDI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002126 qcc->strms[QCS_SRV_BIDI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002127 qcc->strms[QCS_SRV_BIDI].rx.max_data = lparams->initial_max_stream_data_bidi_local;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002128 qcc->strms[QCS_SRV_BIDI].tx.max_data = 0;
2129
2130 qcc->strms[QCS_SRV_UNI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002131 qcc->strms[QCS_SRV_UNI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002132 qcc->strms[QCS_SRV_UNI].rx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002133 qcc->strms[QCS_SRV_UNI].tx.max_data = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002134
Amaury Denoyellec985cb12022-05-16 14:29:59 +02002135 LIST_INIT(&qcc->lfctl.frms);
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002136 qcc->lfctl.ms_bidi = qcc->lfctl.ms_bidi_init = lparams->initial_max_streams_bidi;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02002137 qcc->lfctl.ms_uni = lparams->initial_max_streams_uni;
Amaury Denoyelle44d09122022-04-26 11:21:10 +02002138 qcc->lfctl.msd_bidi_l = lparams->initial_max_stream_data_bidi_local;
2139 qcc->lfctl.msd_bidi_r = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002140 qcc->lfctl.msd_uni_r = lparams->initial_max_stream_data_uni;
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002141 qcc->lfctl.cl_bidi_r = 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01002142
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002143 qcc->lfctl.md = qcc->lfctl.md_init = lparams->initial_max_data;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02002144 qcc->lfctl.offsets_recv = qcc->lfctl.offsets_consume = 0;
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002145
Willy Tarreau784b8682022-04-11 14:18:10 +02002146 rparams = &conn->handle.qc->tx.params;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01002147 qcc->rfctl.md = rparams->initial_max_data;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002148 qcc->rfctl.msd_bidi_l = rparams->initial_max_stream_data_bidi_local;
2149 qcc->rfctl.msd_bidi_r = rparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002150 qcc->rfctl.msd_uni_l = rparams->initial_max_stream_data_uni;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002151
Amaury Denoyellea509ffb2022-07-04 15:50:33 +02002152 if (conn_is_back(conn)) {
2153 qcc->next_bidi_l = 0x00;
2154 qcc->largest_bidi_r = 0x01;
2155 qcc->next_uni_l = 0x02;
2156 qcc->largest_uni_r = 0x03;
2157 }
2158 else {
2159 qcc->largest_bidi_r = 0x00;
2160 qcc->next_bidi_l = 0x01;
2161 qcc->largest_uni_r = 0x02;
2162 qcc->next_uni_l = 0x03;
2163 }
2164
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002165 qcc->wait_event.tasklet = tasklet_new();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002166 if (!qcc->wait_event.tasklet) {
2167 TRACE_ERROR("taslket alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002168 goto fail_no_tasklet;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002169 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002170
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002171 LIST_INIT(&qcc->send_list);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02002172
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002173 qcc->wait_event.tasklet->process = qc_io_cb;
2174 qcc->wait_event.tasklet->context = qcc;
Frédéric Lécaillef27b66f2022-03-18 22:49:22 +01002175 qcc->wait_event.events = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002176
Amaury Denoyelle07bf8f42022-07-22 16:16:03 +02002177 qcc->proxy = prx;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002178 /* haproxy timeouts */
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002179 qcc->task = NULL;
Amaury Denoyelleb6309452022-07-25 14:51:56 +02002180 qcc->timeout = conn_is_back(qcc->conn) ? prx->timeout.server :
2181 prx->timeout.client;
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002182 if (tick_isset(qcc->timeout)) {
2183 qcc->task = task_new_here();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002184 if (!qcc->task) {
2185 TRACE_ERROR("timeout task alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002186 goto fail_no_timeout_task;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002187 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002188 qcc->task->process = qc_timeout_task;
2189 qcc->task->context = qcc;
2190 qcc->task->expire = tick_add(now_ms, qcc->timeout);
2191 }
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +02002192 qcc_reset_idle_start(qcc);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02002193 LIST_INIT(&qcc->opening_list);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002194
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002195 if (!conn_is_back(conn)) {
2196 if (!LIST_INLIST(&conn->stopping_list)) {
2197 LIST_APPEND(&mux_stopping_data[tid].list,
2198 &conn->stopping_list);
2199 }
2200 }
2201
Willy Tarreau784b8682022-04-11 14:18:10 +02002202 HA_ATOMIC_STORE(&conn->handle.qc->qcc, qcc);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002203
2204 if (qcc_install_app_ops(qcc, conn->handle.qc->app_ops)) {
2205 TRACE_PROTO("Cannot install app layer", QMUX_EV_QCC_NEW, qcc->conn);
2206 /* prepare a CONNECTION_CLOSE frame */
2207 quic_set_connection_close(conn->handle.qc, quic_err_transport(QC_ERR_APPLICATION_ERROR));
2208 goto fail_install_app_ops;
2209 }
2210
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002211 /* init read cycle */
2212 tasklet_wakeup(qcc->wait_event.tasklet);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002213
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002214 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002215 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002216
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002217 fail_install_app_ops:
2218 if (qcc->app_ops && qcc->app_ops->release)
2219 qcc->app_ops->release(qcc->ctx);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002220 fail_no_timeout_task:
2221 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002222 fail_no_tasklet:
2223 pool_free(pool_head_qcc, qcc);
2224 fail_no_qcc:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002225 TRACE_LEAVE(QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002226 return -1;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002227}
2228
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002229static void qc_destroy(void *ctx)
2230{
2231 struct qcc *qcc = ctx;
2232
2233 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
2234 qc_release(qcc);
2235 TRACE_LEAVE(QMUX_EV_QCC_END);
2236}
2237
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002238static void qc_detach(struct sedesc *sd)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002239{
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002240 struct qcs *qcs = sd->se;
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002241 struct qcc *qcc = qcs->qcc;
2242
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002243 TRACE_ENTER(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002244
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002245 /* TODO this BUG_ON_HOT() is not correct as the stconn layer may detach
2246 * from the stream even if it is not closed remotely at the QUIC layer.
2247 * This happens for example when a stream must be closed due to a
2248 * rejected request. To better handle these cases, it will be required
2249 * to implement shutr/shutw MUX operations. Once this is done, this
2250 * BUG_ON_HOT() statement can be adjusted.
2251 */
2252 //BUG_ON_HOT(!qcs_is_close_remote(qcs));
Amaury Denoyellec603de42022-07-25 11:21:46 +02002253
2254 qcc_rm_sc(qcc);
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002255
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02002256 if (!qcs_is_close_local(qcs) && !(qcc->conn->flags & CO_FL_ERROR)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002257 TRACE_STATE("remaining data, detaching qcs", QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002258 qcs->flags |= QC_SF_DETACH;
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002259 qcc_refresh_timeout(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002260
2261 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002262 return;
2263 }
2264
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002265 qcs_destroy(qcs);
Amaury Denoyelle1136e922022-02-01 10:33:09 +01002266
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002267 if (qcc_is_dead(qcc)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002268 TRACE_STATE("killing dead connection", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002269 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002270 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002271 else if (qcc->task) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002272 TRACE_DEVEL("refreshing connection's timeout", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002273 qcc_refresh_timeout(qcc);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002274 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002275 else {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002276 TRACE_DEVEL("completed", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002277 }
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002278
2279 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002280 return;
2281
2282 release:
2283 qc_release(qcc);
2284 TRACE_LEAVE(QMUX_EV_STRM_END);
2285 return;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002286}
2287
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002288/* Called from the upper layer, to receive data */
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002289static size_t qc_recv_buf(struct stconn *sc, struct buffer *buf,
2290 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002291{
Willy Tarreau3215e732022-05-27 10:09:11 +02002292 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002293 size_t ret = 0;
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002294 char fin = 0;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002295
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002296 TRACE_ENTER(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002297
Amaury Denoyelled80fbca2022-09-19 17:02:28 +02002298 ret = qcs_http_rcv_buf(qcs, buf, count, &fin);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002299
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002300 if (b_data(&qcs->rx.app_buf)) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002301 se_fl_set(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002302 }
2303 else {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002304 se_fl_clr(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
2305 if (se_fl_test(qcs->sd, SE_FL_ERR_PENDING))
2306 se_fl_set(qcs->sd, SE_FL_ERROR);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002307
Amaury Denoyelle72a78e82022-07-29 15:34:12 +02002308 /* Set end-of-input if FIN received and all data extracted. */
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002309 if (fin)
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002310 se_fl_set(qcs->sd, SE_FL_EOI);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002311
2312 if (b_size(&qcs->rx.app_buf)) {
2313 b_free(&qcs->rx.app_buf);
2314 offer_buffers(NULL, 1);
2315 }
2316 }
2317
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002318 if (ret) {
2319 qcs->flags &= ~QC_SF_DEM_FULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002320 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002321 }
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002322
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002323 TRACE_LEAVE(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
2324
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002325 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002326}
2327
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002328static size_t qc_send_buf(struct stconn *sc, struct buffer *buf,
2329 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002330{
Willy Tarreau3215e732022-05-27 10:09:11 +02002331 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002332 size_t ret;
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002333 char fin;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002334
2335 TRACE_ENTER(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002336
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02002337 /* stream layer has been detached so no transfer must occur after. */
2338 BUG_ON_HOT(qcs->flags & QC_SF_DETACH);
2339
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002340 if (qcs_is_close_local(qcs) || (qcs->flags & QC_SF_TO_RESET)) {
Amaury Denoyelle0ed617a2022-09-20 14:46:40 +02002341 ret = qcs_http_reset_buf(qcs, buf, count);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002342 goto end;
2343 }
2344
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002345 ret = qcs_http_snd_buf(qcs, buf, count, &fin);
2346 if (fin)
2347 qcs->flags |= QC_SF_FIN_STREAM;
2348
Amaury Denoyelleab6cdec2023-01-10 10:41:41 +01002349 if (ret || fin) {
Amaury Denoyellef9b03262023-01-09 10:34:25 +01002350 qcc_send_stream(qcs, 0);
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002351 if (!(qcs->qcc->wait_event.events & SUB_RETRY_SEND))
2352 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
2353 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002354
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002355 end:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002356 TRACE_LEAVE(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2357
2358 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002359}
2360
2361/* Called from the upper layer, to subscribe <es> to events <event_type>. The
2362 * event subscriber <es> is not allowed to change from a previous call as long
2363 * as at least one event is still subscribed. The <event_type> must only be a
2364 * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0.
2365 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002366static int qc_subscribe(struct stconn *sc, int event_type,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002367 struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002368{
Willy Tarreau3215e732022-05-27 10:09:11 +02002369 return qcs_subscribe(__sc_mux_strm(sc), event_type, es);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002370}
2371
2372/* Called from the upper layer, to unsubscribe <es> from events <event_type>.
2373 * The <es> pointer is not allowed to differ from the one passed to the
2374 * subscribe() call. It always returns zero.
2375 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002376static int qc_unsubscribe(struct stconn *sc, int event_type, struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002377{
Willy Tarreau3215e732022-05-27 10:09:11 +02002378 struct qcs *qcs = __sc_mux_strm(sc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002379
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002380 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
2381 BUG_ON(qcs->subs && qcs->subs != es);
2382
2383 es->events &= ~event_type;
2384 if (!es->events)
2385 qcs->subs = NULL;
2386
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002387 return 0;
2388}
2389
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002390/* Loop through all qcs from <qcc>. If CO_FL_ERROR is set on the connection,
Willy Tarreau4596fe22022-05-17 19:07:51 +02002391 * report SE_FL_ERR_PENDING|SE_FL_ERROR on the attached stream connectors and
2392 * wake them.
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002393 */
2394static int qc_wake_some_streams(struct qcc *qcc)
2395{
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002396 struct qcs *qcs;
2397 struct eb64_node *node;
2398
2399 for (node = eb64_first(&qcc->streams_by_id); node;
2400 node = eb64_next(node)) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02002401 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002402
Amaury Denoyelle3abeb572022-07-04 11:42:27 +02002403 if (!qcs_sc(qcs))
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002404 continue;
2405
2406 if (qcc->conn->flags & CO_FL_ERROR) {
Willy Tarreau35c4dd02023-01-17 16:25:29 +01002407 se_fl_set_error(qcs->sd);
Amaury Denoyelle4561f842022-07-06 14:54:34 +02002408 qcs_alert(qcs);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002409 }
2410 }
2411
2412 return 0;
2413}
2414
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002415static int qc_wake(struct connection *conn)
2416{
2417 struct qcc *qcc = conn->ctx;
Willy Tarreau784b8682022-04-11 14:18:10 +02002418 struct proxy *prx = conn->handle.qc->li->bind_conf->frontend;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002419
2420 TRACE_ENTER(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002421
2422 /* Check if a soft-stop is in progress.
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002423 *
cui flitera94bedc2022-08-29 14:42:57 +08002424 * TODO this is relevant for frontend connections only.
Amaury Denoyelled0c62322022-05-23 08:52:58 +02002425 *
2426 * TODO Client should be notified with a H3 GOAWAY and then a
2427 * CONNECTION_CLOSE. However, quic-conn uses the listener socket for
2428 * sending which at this stage is already closed.
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002429 */
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002430 if (unlikely(prx->flags & (PR_FL_DISABLED|PR_FL_STOPPED)))
Amaury Denoyelled0c62322022-05-23 08:52:58 +02002431 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002432
Willy Tarreau784b8682022-04-11 14:18:10 +02002433 if (conn->handle.qc->flags & QUIC_FL_CONN_NOTIFY_CLOSE)
Amaury Denoyelleb515b0a2022-04-06 10:28:43 +02002434 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2435
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002436 qc_send(qcc);
2437
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002438 qc_wake_some_streams(qcc);
2439
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002440 if (qcc_is_dead(qcc))
2441 goto release;
2442
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002443 qcc_refresh_timeout(qcc);
2444
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002445 TRACE_LEAVE(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002446 return 0;
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002447
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002448 release:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002449 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002450 qc_release(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002451 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002452 return 1;
2453}
2454
Amaury Denoyellea473f192022-12-21 10:21:58 +01002455static void qc_shutw(struct stconn *sc, enum co_shw_mode mode)
2456{
2457 struct qcs *qcs = __sc_mux_strm(sc);
2458
2459 TRACE_ENTER(QMUX_EV_STRM_SHUT, qcs->qcc->conn, qcs);
2460
2461 /* If QC_SF_FIN_STREAM is not set and stream is not closed locally, it
2462 * means that upper layer reported an early closure. A RESET_STREAM is
2463 * necessary if not already scheduled.
2464 */
2465
2466 if (!qcs_is_close_local(qcs) &&
2467 !(qcs->flags & (QC_SF_FIN_STREAM|QC_SF_TO_RESET))) {
2468 qcc_reset_stream(qcs, 0);
2469 se_fl_set_error(qcs->sd);
2470 }
2471
2472 TRACE_LEAVE(QMUX_EV_STRM_SHUT, qcs->qcc->conn, qcs);
2473}
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002474
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002475/* for debugging with CLI's "show sess" command. May emit multiple lines, each
2476 * new one being prefixed with <pfx>, if <pfx> is not NULL, otherwise a single
2477 * line is used. Each field starts with a space so it's safe to print it after
2478 * existing fields.
2479 */
2480static int qc_show_sd(struct buffer *msg, struct sedesc *sd, const char *pfx)
2481{
2482 struct qcs *qcs = sd->se;
2483 struct qcc *qcc;
2484 int ret = 0;
2485
2486 if (!qcs)
2487 return ret;
2488
2489 chunk_appendf(msg, " qcs=%p .flg=%#x .id=%llu .st=%s .ctx=%p, .err=%#llx",
2490 qcs, qcs->flags, (ull)qcs->id, qcs_st_to_str(qcs->st), qcs->ctx, (ull)qcs->err);
2491
2492 if (pfx)
2493 chunk_appendf(msg, "\n%s", pfx);
2494
2495 qcc = qcs->qcc;
2496 chunk_appendf(msg, " qcc=%p .flg=%#x .nbsc=%llu .nbhreq=%llu, .task=%p",
2497 qcc, qcc->flags, (ull)qcc->nb_sc, (ull)qcc->nb_hreq, qcc->task);
2498 return ret;
2499}
2500
2501
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002502static const struct mux_ops qc_ops = {
2503 .init = qc_init,
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002504 .destroy = qc_destroy,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002505 .detach = qc_detach,
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002506 .rcv_buf = qc_recv_buf,
2507 .snd_buf = qc_send_buf,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002508 .subscribe = qc_subscribe,
2509 .unsubscribe = qc_unsubscribe,
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002510 .wake = qc_wake,
Amaury Denoyellea473f192022-12-21 10:21:58 +01002511 .shutw = qc_shutw,
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002512 .show_sd = qc_show_sd,
Willy Tarreaub5821e12022-04-26 11:54:08 +02002513 .flags = MX_FL_HTX|MX_FL_NO_UPG|MX_FL_FRAMED,
Willy Tarreau671bd5a2022-04-11 09:29:21 +02002514 .name = "QUIC",
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002515};
2516
2517static struct mux_proto_list mux_proto_quic =
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002518 { .token = IST("quic"), .mode = PROTO_MODE_HTTP, .side = PROTO_SIDE_FE, .mux = &qc_ops };
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002519
2520INITCALL1(STG_REGISTER, register_mux_proto, &mux_proto_quic);