blob: 835011a23fcfa62990a591b3053f9b065c526184 [file] [log] [blame]
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001#include <haproxy/mux_quic.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002
Amaury Denoyelleeb01f592021-10-07 16:44:05 +02003#include <import/eb64tree.h>
4
Frédéric Lécailledfbae762021-02-18 09:59:01 +01005#include <haproxy/api.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +01006#include <haproxy/connection.h>
Amaury Denoyelledeed7772021-12-03 11:36:46 +01007#include <haproxy/dynbuf.h>
Frédéric Lécaille9969adb2023-01-18 11:52:21 +01008#include <haproxy/h3.h>
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02009#include <haproxy/list.h>
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +020010#include <haproxy/ncbuf.h>
Amaury Denoyelledeed7772021-12-03 11:36:46 +010011#include <haproxy/pool.h>
Frédéric Lécaille9969adb2023-01-18 11:52:21 +010012#include <haproxy/proxy.h>
Amaury Denoyelled80fbca2022-09-19 17:02:28 +020013#include <haproxy/qmux_http.h>
Amaury Denoyelle36d50bf2022-09-19 16:12:38 +020014#include <haproxy/qmux_trace.h>
Amaury Denoyelle92fa63f2022-09-30 18:11:13 +020015#include <haproxy/quic_conn.h>
Amaury Denoyelle40c24f12023-01-27 17:47:49 +010016#include <haproxy/quic_frame.h>
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +010017#include <haproxy/quic_sock.h>
Amaury Denoyelle0cc02a32022-04-19 17:21:11 +020018#include <haproxy/quic_stream.h>
Frédéric Lécaille748ece62022-05-21 23:58:40 +020019#include <haproxy/quic_tp-t.h>
Amaury Denoyelleeb01f592021-10-07 16:44:05 +020020#include <haproxy/ssl_sock-t.h>
Willy Tarreaucb086c62022-05-27 09:47:12 +020021#include <haproxy/stconn.h>
Amaury Denoyelledd4fbfb2022-03-24 16:09:16 +010022#include <haproxy/trace.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +010023
Amaury Denoyelledeed7772021-12-03 11:36:46 +010024DECLARE_POOL(pool_head_qcc, "qcc", sizeof(struct qcc));
Frédéric Lécailledfbae762021-02-18 09:59:01 +010025DECLARE_POOL(pool_head_qcs, "qcs", sizeof(struct qcs));
26
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020027/* Emit a CONNECTION_CLOSE with error <err>. This will interrupt all future
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +020028 * send/receive operations.
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020029 */
30static void qcc_emit_cc(struct qcc *qcc, int err)
31{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +020032 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
33
34 TRACE_STATE("set CONNECTION_CLOSE on quic-conn", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle57e6db72022-07-13 15:07:56 +020035 quic_set_connection_close(qcc->conn->handle.qc, quic_err_transport(err));
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020036 qcc->flags |= QC_CF_CC_EMIT;
37 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +020038
39 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020040}
41
Amaury Denoyelle4b167002022-12-12 09:59:50 +010042static void qc_free_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
43{
44 struct buffer buf;
45
46 if (ncb_is_null(ncbuf))
47 return;
48
49 buf = b_make(ncbuf->area, ncbuf->size, 0, 0);
50 b_free(&buf);
51 offer_buffers(NULL, 1);
52
53 *ncbuf = NCBUF_NULL;
54}
55
56/* Free <qcs> instance. This function is reserved for internal usage : it must
57 * only be called on qcs alloc error or on connection shutdown. Else
58 * qcs_destroy must be prefered to handle QUIC flow-control increase.
59 */
60static void qcs_free(struct qcs *qcs)
61{
62 struct qcc *qcc = qcs->qcc;
63
64 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn, qcs);
65
Amaury Denoyelle15337fd2022-12-20 14:47:16 +010066 /* Safe to use even if already removed from the list. */
67 LIST_DEL_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +010068 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelle4b167002022-12-12 09:59:50 +010069
70 /* Release stream endpoint descriptor. */
71 BUG_ON(qcs->sd && !se_fl_test(qcs->sd, SE_FL_ORPHAN));
72 sedesc_free(qcs->sd);
73
74 /* Release app-layer context. */
75 if (qcs->ctx && qcc->app_ops->detach)
76 qcc->app_ops->detach(qcs);
77
78 /* Release qc_stream_desc buffer from quic-conn layer. */
79 qc_stream_desc_release(qcs->stream);
80
81 /* Free Rx/Tx buffers. */
82 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
83 b_free(&qcs->tx.buf);
84
85 BUG_ON(!qcc->strms[qcs_id_type(qcs->id)].nb_streams);
86 --qcc->strms[qcs_id_type(qcs->id)].nb_streams;
87
88 /* Remove qcs from qcc tree. */
89 eb64_delete(&qcs->by_id);
90
91 pool_free(pool_head_qcs, qcs);
92
93 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
94}
95
Amaury Denoyelledeed7772021-12-03 11:36:46 +010096/* Allocate a new QUIC streams with id <id> and type <type>. */
Amaury Denoyellea509ffb2022-07-04 15:50:33 +020097static struct qcs *qcs_new(struct qcc *qcc, uint64_t id, enum qcs_type type)
Frédéric Lécailledfbae762021-02-18 09:59:01 +010098{
Amaury Denoyelledeed7772021-12-03 11:36:46 +010099 struct qcs *qcs;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100100
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100101 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
102
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100103 qcs = pool_alloc(pool_head_qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200104 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200105 TRACE_ERROR("alloc failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200106 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200107 }
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200108
109 qcs->stream = NULL;
110 qcs->qcc = qcc;
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +0200111 qcs->sd = NULL;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200112 qcs->flags = QC_SF_NONE;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200113 qcs->st = QC_SS_IDLE;
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200114 qcs->ctx = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100115
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200116 /* App callback attach may register the stream for http-request wait.
117 * These fields must be initialed before.
118 */
119 LIST_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100120 LIST_INIT(&qcs->el_send);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200121 qcs->start = TICK_ETERNITY;
122
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100123 /* store transport layer stream descriptor in qcc tree */
124 qcs->id = qcs->by_id.key = id;
125 eb64_insert(&qcc->streams_by_id, &qcs->by_id);
126
127 qcc->strms[type].nb_streams++;
128
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200129 /* Allocate transport layer stream descriptor. Only needed for TX. */
130 if (!quic_stream_is_uni(id) || !quic_stream_is_remote(qcc, id)) {
131 struct quic_conn *qc = qcc->conn->handle.qc;
132 qcs->stream = qc_stream_desc_new(id, type, qcs, qc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200133 if (!qcs->stream) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200134 TRACE_ERROR("qc_stream_desc alloc failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200135 goto err;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200136 }
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200137 }
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200138
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100139 /* If stream is local, use peer remote-limit, or else the opposite. */
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200140 if (quic_stream_is_bidi(id)) {
141 qcs->tx.msd = quic_stream_is_local(qcc, id) ? qcc->rfctl.msd_bidi_r :
142 qcc->rfctl.msd_bidi_l;
143 }
144 else if (quic_stream_is_local(qcc, id)) {
145 qcs->tx.msd = qcc->rfctl.msd_uni_l;
146 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100147
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200148 qcs->rx.ncbuf = NCBUF_NULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +0100149 qcs->rx.app_buf = BUF_NULL;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200150 qcs->rx.offset = qcs->rx.offset_max = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100151
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200152 if (quic_stream_is_bidi(id)) {
153 qcs->rx.msd = quic_stream_is_local(qcc, id) ? qcc->lfctl.msd_bidi_l :
154 qcc->lfctl.msd_bidi_r;
155 }
156 else if (quic_stream_is_remote(qcc, id)) {
157 qcs->rx.msd = qcc->lfctl.msd_uni_r;
158 }
Amaury Denoyellea9773552022-05-16 14:38:25 +0200159 qcs->rx.msd_init = qcs->rx.msd;
Amaury Denoyelle44d09122022-04-26 11:21:10 +0200160
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100161 qcs->tx.buf = BUF_NULL;
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100162 qcs->tx.offset = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +0100163 qcs->tx.sent_offset = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100164
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100165 qcs->wait_event.tasklet = NULL;
166 qcs->wait_event.events = 0;
167 qcs->subs = NULL;
168
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200169 qcs->err = 0;
170
Amaury Denoyelle3d550842023-01-24 17:42:21 +0100171 if (qcc->app_ops->attach && qcc->app_ops->attach(qcs, qcc->ctx)) {
172 TRACE_ERROR("app proto failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
173 goto err;
174 }
175
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100176 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100177 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100178 return qcs;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200179
180 err:
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100181 qcs_free(qcs);
182 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200183 return NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100184}
185
Amaury Denoyelle3abeb572022-07-04 11:42:27 +0200186static forceinline struct stconn *qcs_sc(const struct qcs *qcs)
187{
188 return qcs->sd ? qcs->sd->sc : NULL;
189}
190
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200191/* Reset the <qcc> inactivity timeout for http-keep-alive timeout. */
192static forceinline void qcc_reset_idle_start(struct qcc *qcc)
193{
194 qcc->idle_start = now_ms;
195}
196
Amaury Denoyellec603de42022-07-25 11:21:46 +0200197/* Decrement <qcc> sc. */
198static forceinline void qcc_rm_sc(struct qcc *qcc)
199{
200 BUG_ON_HOT(!qcc->nb_sc);
201 --qcc->nb_sc;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200202
203 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
204 * refreshed after this on stream detach.
205 */
206 if (!qcc->nb_sc && !qcc->nb_hreq)
207 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200208}
209
210/* Decrement <qcc> hreq. */
211static forceinline void qcc_rm_hreq(struct qcc *qcc)
212{
213 BUG_ON_HOT(!qcc->nb_hreq);
214 --qcc->nb_hreq;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200215
216 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
217 * refreshed after this on I/O handler.
218 */
219 if (!qcc->nb_sc && !qcc->nb_hreq)
220 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200221}
222
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200223static inline int qcc_is_dead(const struct qcc *qcc)
224{
225 /* Mux connection is considered dead if :
226 * - all stream-desc are detached AND
227 * = connection is on error OR
228 * = mux timeout has already fired or is unset
229 */
230 if (!qcc->nb_sc && ((qcc->conn->flags & CO_FL_ERROR) || !qcc->task))
231 return 1;
232
233 return 0;
234}
235
236/* Return true if the mux timeout should be armed. */
237static inline int qcc_may_expire(struct qcc *qcc)
238{
239 return !qcc->nb_sc;
240}
241
242/* Refresh the timeout on <qcc> if needed depending on its state. */
243static void qcc_refresh_timeout(struct qcc *qcc)
244{
245 const struct proxy *px = qcc->proxy;
246
247 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
248
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200249 if (!qcc->task) {
250 TRACE_DEVEL("already expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200251 goto leave;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200252 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200253
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200254 /* Check if upper layer is responsible of timeout management. */
255 if (!qcc_may_expire(qcc)) {
256 TRACE_DEVEL("not eligible for timeout", QMUX_EV_QCC_WAKE, qcc->conn);
257 qcc->task->expire = TICK_ETERNITY;
258 task_queue(qcc->task);
259 goto leave;
260 }
261
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200262 /* Frontend timeout management
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100263 * - shutdown done -> timeout client-fin
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200264 * - detached streams with data left to send -> default timeout
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200265 * - stream waiting on incomplete request or no stream yet activated -> timeout http-request
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200266 * - idle after stream processing -> timeout http-keep-alive
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +0100267 *
268 * If proxy stop-stop in progress, immediate or spread close will be
269 * processed if shutdown already one or connection is idle.
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200270 */
271 if (!conn_is_back(qcc->conn)) {
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100272 if (qcc->nb_hreq && !(qcc->flags & QC_CF_APP_SHUT)) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200273 TRACE_DEVEL("one or more requests still in progress", QMUX_EV_QCC_WAKE, qcc->conn);
274 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200275 task_queue(qcc->task);
276 goto leave;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200277 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200278
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100279 if ((!LIST_ISEMPTY(&qcc->opening_list) || unlikely(!qcc->largest_bidi_r)) &&
280 !(qcc->flags & QC_CF_APP_SHUT)) {
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200281 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 {
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100296 if (qcc->flags & QC_CF_APP_SHUT) {
297 TRACE_DEVEL("connection in closing", QMUX_EV_QCC_WAKE, qcc->conn);
298 qcc->task->expire = tick_add_ifset(now_ms,
299 qcc->shut_timeout);
300 }
301 else {
302 /* Use http-request timeout if keep-alive timeout not set */
303 int timeout = tick_isset(px->timeout.httpka) ?
304 px->timeout.httpka : px->timeout.httpreq;
305 TRACE_DEVEL("at least one request achieved but none currently in progress", QMUX_EV_QCC_WAKE, qcc->conn);
306 qcc->task->expire = tick_add_ifset(qcc->idle_start, timeout);
307 }
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +0100308
309 /* If proxy soft-stop in progress and connection is
310 * inactive, close the connection immediately. If a
311 * close-spread-time is configured, randomly spread the
312 * timer over a closing window.
313 */
314 if ((qcc->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED)) &&
315 !(global.tune.options & GTUNE_DISABLE_ACTIVE_CLOSE)) {
316
317 /* Wake timeout task immediately if window already expired. */
318 int remaining_window = tick_isset(global.close_spread_end) ?
319 tick_remain(now_ms, global.close_spread_end) : 0;
320
321 TRACE_DEVEL("proxy disabled, prepare connection soft-stop", QMUX_EV_QCC_WAKE, qcc->conn);
322 if (remaining_window) {
323 /* We don't need to reset the expire if it would
324 * already happen before the close window end.
325 */
326 if (!tick_isset(qcc->task->expire) ||
327 tick_is_le(global.close_spread_end, qcc->task->expire)) {
328 /* Set an expire value shorter than the current value
329 * because the close spread window end comes earlier.
330 */
331 qcc->task->expire = tick_add(now_ms,
332 statistical_prng_range(remaining_window));
333 }
334 }
335 else {
336 /* We are past the soft close window end, wake the timeout
337 * task up immediately.
338 */
339 qcc->task->expire = now_ms;
340 task_wakeup(qcc->task, TASK_WOKEN_TIMER);
341 }
342 }
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200343 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200344 }
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200345
346 /* fallback to default timeout if frontend specific undefined or for
347 * backend connections.
348 */
349 if (!tick_isset(qcc->task->expire)) {
350 TRACE_DEVEL("fallback to default timeout", QMUX_EV_QCC_WAKE, qcc->conn);
351 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200352 }
353
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200354 task_queue(qcc->task);
355
356 leave:
357 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
358}
359
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200360/* Mark a stream as open if it was idle. This can be used on every
361 * successful emission/reception operation to update the stream state.
362 */
363static void qcs_idle_open(struct qcs *qcs)
364{
365 /* This operation must not be used if the stream is already closed. */
366 BUG_ON_HOT(qcs->st == QC_SS_CLO);
367
368 if (qcs->st == QC_SS_IDLE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200369 TRACE_STATE("opening stream", QMUX_EV_QCS_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200370 qcs->st = QC_SS_OPEN;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200371 }
372}
373
374/* Close the local channel of <qcs> instance. */
375static void qcs_close_local(struct qcs *qcs)
376{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200377 TRACE_STATE("closing stream locally", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
378
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200379 /* The stream must have already been opened. */
380 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
381
382 /* This operation cannot be used multiple times. */
383 BUG_ON_HOT(qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO);
384
385 if (quic_stream_is_bidi(qcs->id)) {
386 qcs->st = (qcs->st == QC_SS_HREM) ? QC_SS_CLO : QC_SS_HLOC;
Amaury Denoyelleafb7b9d2022-09-19 11:58:24 +0200387
388 if (qcs->flags & QC_SF_HREQ_RECV)
389 qcc_rm_hreq(qcs->qcc);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200390 }
391 else {
392 /* Only local uni streams are valid for this operation. */
393 BUG_ON_HOT(quic_stream_is_remote(qcs->qcc, qcs->id));
394 qcs->st = QC_SS_CLO;
395 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200396}
397
398/* Close the remote channel of <qcs> instance. */
399static void qcs_close_remote(struct qcs *qcs)
400{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200401 TRACE_STATE("closing stream remotely", QMUX_EV_QCS_RECV, qcs->qcc->conn, qcs);
402
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200403 /* The stream must have already been opened. */
404 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
405
406 /* This operation cannot be used multiple times. */
407 BUG_ON_HOT(qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO);
408
409 if (quic_stream_is_bidi(qcs->id)) {
410 qcs->st = (qcs->st == QC_SS_HLOC) ? QC_SS_CLO : QC_SS_HREM;
411 }
412 else {
413 /* Only remote uni streams are valid for this operation. */
414 BUG_ON_HOT(quic_stream_is_local(qcs->qcc, qcs->id));
415 qcs->st = QC_SS_CLO;
416 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200417}
418
419static int qcs_is_close_local(struct qcs *qcs)
420{
421 return qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO;
422}
423
Amaury Denoyelle6eb3c4b2022-12-09 16:26:03 +0100424static int qcs_is_close_remote(struct qcs *qcs)
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200425{
426 return qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO;
427}
428
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100429struct buffer *qc_get_buf(struct qcs *qcs, struct buffer *bptr)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100430{
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100431 struct buffer *buf = b_alloc(bptr);
432 BUG_ON(!buf);
433 return buf;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100434}
435
Amaury Denoyellea441ec92022-07-04 15:48:57 +0200436static struct ncbuf *qc_get_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200437{
438 struct buffer buf = BUF_NULL;
439
440 if (ncb_is_null(ncbuf)) {
441 b_alloc(&buf);
442 BUG_ON(b_is_null(&buf));
443
444 *ncbuf = ncb_make(buf.area, buf.size, 0);
445 ncb_init(ncbuf, 0);
446 }
447
448 return ncbuf;
449}
450
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500451/* Notify an eventual subscriber on <qcs> or else wakeup up the stconn layer if
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200452 * initialized.
453 */
454static void qcs_alert(struct qcs *qcs)
455{
456 if (qcs->subs) {
457 qcs_notify_recv(qcs);
458 qcs_notify_send(qcs);
459 }
460 else if (qcs_sc(qcs) && qcs->sd->sc->app_ops->wake) {
461 qcs->sd->sc->app_ops->wake(qcs->sd->sc);
462 }
463}
464
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100465int qcs_subscribe(struct qcs *qcs, int event_type, struct wait_event *es)
466{
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100467 struct qcc *qcc = qcs->qcc;
468
469 TRACE_ENTER(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100470
471 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
472 BUG_ON(qcs->subs && qcs->subs != es);
473
474 es->events |= event_type;
475 qcs->subs = es;
476
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100477 if (event_type & SUB_RETRY_RECV)
478 TRACE_DEVEL("subscribe(recv)", QMUX_EV_STRM_RECV, qcc->conn, qcs);
479
480 if (event_type & SUB_RETRY_SEND)
481 TRACE_DEVEL("subscribe(send)", QMUX_EV_STRM_SEND, qcc->conn, qcs);
482
483 TRACE_LEAVE(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
484
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100485 return 0;
486}
487
488void qcs_notify_recv(struct qcs *qcs)
489{
490 if (qcs->subs && qcs->subs->events & SUB_RETRY_RECV) {
491 tasklet_wakeup(qcs->subs->tasklet);
492 qcs->subs->events &= ~SUB_RETRY_RECV;
493 if (!qcs->subs->events)
494 qcs->subs = NULL;
495 }
496}
497
498void qcs_notify_send(struct qcs *qcs)
499{
500 if (qcs->subs && qcs->subs->events & SUB_RETRY_SEND) {
501 tasklet_wakeup(qcs->subs->tasklet);
502 qcs->subs->events &= ~SUB_RETRY_SEND;
503 if (!qcs->subs->events)
504 qcs->subs = NULL;
505 }
506}
507
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200508/* Open a locally initiated stream for the connection <qcc>. Set <bidi> for a
509 * bidirectional stream, else an unidirectional stream is opened. The next
510 * available ID on the connection will be used according to the stream type.
511 *
512 * Returns the allocated stream instance or NULL on error.
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100513 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200514struct qcs *qcc_init_stream_local(struct qcc *qcc, int bidi)
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100515{
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200516 struct qcs *qcs;
517 enum qcs_type type;
518 uint64_t *next;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100519
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200520 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
521
522 if (bidi) {
523 next = &qcc->next_bidi_l;
524 type = conn_is_back(qcc->conn) ? QCS_CLT_BIDI : QCS_SRV_BIDI;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100525 }
526 else {
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200527 next = &qcc->next_uni_l;
528 type = conn_is_back(qcc->conn) ? QCS_CLT_UNI : QCS_SRV_UNI;
529 }
530
531 /* TODO ensure that we won't overflow remote peer flow control limit on
532 * streams. Else, we should emit a STREAMS_BLOCKED frame.
533 */
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100534
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200535 qcs = qcs_new(qcc, *next, type);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200536 if (!qcs) {
537 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200538 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200539 }
Amaury Denoyellec055e302022-02-07 16:09:06 +0100540
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200541 TRACE_PROTO("opening local stream", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200542 *next += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100543
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200544 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200545 return qcs;
546}
547
548/* Open a remote initiated stream for the connection <qcc> with ID <id>. The
549 * caller is responsible to ensure that a stream with the same ID was not
550 * already opened. This function will also create all intermediaries streams
551 * with ID smaller than <id> not already opened before.
552 *
553 * Returns the allocated stream instance or NULL on error.
554 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200555static struct qcs *qcc_init_stream_remote(struct qcc *qcc, uint64_t id)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200556{
557 struct qcs *qcs = NULL;
558 enum qcs_type type;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200559 uint64_t *largest, max_id;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100560
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200561 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200562
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200563 BUG_ON_HOT(quic_stream_is_local(qcc, id));
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100564
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200565 if (quic_stream_is_bidi(id)) {
566 largest = &qcc->largest_bidi_r;
567 type = conn_is_back(qcc->conn) ? QCS_SRV_BIDI : QCS_CLT_BIDI;
568 }
569 else {
570 largest = &qcc->largest_uni_r;
571 type = conn_is_back(qcc->conn) ? QCS_SRV_UNI : QCS_CLT_UNI;
572 }
573
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200574 /* RFC 9000 4.6. Controlling Concurrency
575 *
576 * An endpoint that receives a frame with a stream ID exceeding the
577 * limit it has sent MUST treat this as a connection error of type
578 * STREAM_LIMIT_ERROR
579 */
580 max_id = quic_stream_is_bidi(id) ? qcc->lfctl.ms_bidi * 4 :
581 qcc->lfctl.ms_uni * 4;
582 if (id >= max_id) {
583 TRACE_ERROR("flow control error", QMUX_EV_QCS_NEW|QMUX_EV_PROTO_ERR, qcc->conn);
584 qcc_emit_cc(qcc, QC_ERR_STREAM_LIMIT_ERROR);
585 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200586 }
587
588 /* Only stream ID not already opened can be used. */
589 BUG_ON(id < *largest);
590
591 while (id >= *largest) {
Amaury Denoyellefd79ddb2022-08-16 11:13:45 +0200592 const char *str = *largest < id ? "initializing intermediary remote stream" :
593 "initializing remote stream";
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200594
595 qcs = qcs_new(qcc, *largest, type);
596 if (!qcs) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200597 /* TODO emit RESET_STREAM */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200598 TRACE_ERROR("stream fallocation failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200599 goto err;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100600 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200601
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200602 TRACE_PROTO(str, QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200603 *largest += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100604 }
605
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200606 out:
607 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle50742292022-03-29 14:57:19 +0200608 return qcs;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200609
610 err:
611 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
612 return NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200613}
614
615/* Use this function for a stream <id> which is not in <qcc> stream tree. It
616 * returns true if the associated stream is closed.
617 */
618static int qcc_stream_id_is_closed(struct qcc *qcc, uint64_t id)
619{
620 uint64_t *largest;
621
622 /* This function must only be used for stream not present in the stream tree. */
623 BUG_ON_HOT(eb64_lookup(&qcc->streams_by_id, id));
624
625 if (quic_stream_is_local(qcc, id)) {
626 largest = quic_stream_is_uni(id) ? &qcc->next_uni_l :
627 &qcc->next_bidi_l;
628 }
629 else {
630 largest = quic_stream_is_uni(id) ? &qcc->largest_uni_r :
631 &qcc->largest_bidi_r;
632 }
633
634 return id < *largest;
635}
636
637/* Retrieve the stream instance from <id> ID. This can be used when receiving
638 * STREAM, STREAM_DATA_BLOCKED, RESET_STREAM, MAX_STREAM_DATA or STOP_SENDING
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200639 * frames. Set to false <receive_only> or <send_only> if these particular types
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200640 * of streams are not allowed. If the stream instance is found, it is stored in
641 * <out>.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200642 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200643 * Returns 0 on success else non-zero. On error, a RESET_STREAM or a
644 * CONNECTION_CLOSE is automatically emitted. Beware that <out> may be NULL
645 * on success if the stream has already been closed.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200646 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200647int qcc_get_qcs(struct qcc *qcc, uint64_t id, int receive_only, int send_only,
648 struct qcs **out)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200649{
650 struct eb64_node *node;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200651
652 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200653 *out = NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200654
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200655 if (!receive_only && quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200656 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 +0200657 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200658 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200659 }
660
661 if (!send_only && quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200662 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 +0200663 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200664 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200665 }
666
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200667 /* Search the stream in the connection tree. */
668 node = eb64_lookup(&qcc->streams_by_id, id);
669 if (node) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200670 *out = eb64_entry(node, struct qcs, by_id);
671 TRACE_DEVEL("using stream from connection tree", QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200672 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200673 }
674
675 /* Check if stream is already closed. */
676 if (qcc_stream_id_is_closed(qcc, id)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200677 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200678 /* Consider this as a success even if <out> is left NULL. */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200679 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200680 }
681
682 /* Create the stream. This is valid only for remote initiated one. A
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500683 * local stream must have already been explicitly created by the
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200684 * application protocol layer.
685 */
686 if (quic_stream_is_local(qcc, id)) {
687 /* RFC 9000 19.8. STREAM Frames
688 *
689 * An endpoint MUST terminate the connection with error
690 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
691 * initiated stream that has not yet been created, or for a send-only
692 * stream.
693 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200694 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 +0200695 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200696 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200697 }
698 else {
699 /* Remote stream not found - try to open it. */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200700 *out = qcc_init_stream_remote(qcc, id);
701 if (!*out) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200702 TRACE_ERROR("stream creation error", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200703 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200704 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200705 }
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100706
707 out:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200708 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200709 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200710
711 err:
712 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
713 return 1;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100714}
715
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200716/* Simple function to duplicate a buffer */
717static inline struct buffer qcs_b_dup(const struct ncbuf *b)
718{
719 return b_make(ncb_orig(b), b->size, b->head, ncb_data(b, 0));
720}
721
Amaury Denoyelle36d4b5e2022-07-01 11:25:40 +0200722/* Remove <bytes> from <qcs> Rx buffer. Flow-control for received offsets may
723 * be allocated for the peer if needed.
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200724 */
725static void qcs_consume(struct qcs *qcs, uint64_t bytes)
726{
727 struct qcc *qcc = qcs->qcc;
728 struct quic_frame *frm;
729 struct ncbuf *buf = &qcs->rx.ncbuf;
730 enum ncb_ret ret;
731
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200732 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
733
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200734 ret = ncb_advance(buf, bytes);
735 if (ret) {
736 ABORT_NOW(); /* should not happens because removal only in data */
737 }
738
739 if (ncb_is_empty(buf))
740 qc_free_ncbuf(qcs, buf);
741
742 qcs->rx.offset += bytes;
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100743 /* Not necessary to emit a MAX_STREAM_DATA if all data received. */
744 if (qcs->flags & QC_SF_SIZE_KNOWN)
745 goto conn_fctl;
746
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200747 if (qcs->rx.msd - qcs->rx.offset < qcs->rx.msd_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200748 TRACE_DATA("increase stream credit via MAX_STREAM_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100749 frm = qc_frm_alloc(QUIC_FT_MAX_STREAM_DATA);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200750 BUG_ON(!frm); /* TODO handle this properly */
751
752 qcs->rx.msd = qcs->rx.offset + qcs->rx.msd_init;
753
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200754 frm->max_stream_data.id = qcs->id;
755 frm->max_stream_data.max_stream_data = qcs->rx.msd;
756
757 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
758 tasklet_wakeup(qcc->wait_event.tasklet);
759 }
760
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100761 conn_fctl:
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200762 qcc->lfctl.offsets_consume += bytes;
763 if (qcc->lfctl.md - qcc->lfctl.offsets_consume < qcc->lfctl.md_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200764 TRACE_DATA("increase conn credit via MAX_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100765 frm = qc_frm_alloc(QUIC_FT_MAX_DATA);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200766 BUG_ON(!frm); /* TODO handle this properly */
767
768 qcc->lfctl.md = qcc->lfctl.offsets_consume + qcc->lfctl.md_init;
769
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200770 frm->max_data.max_data = qcc->lfctl.md;
771
772 LIST_APPEND(&qcs->qcc->lfctl.frms, &frm->list);
773 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
774 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200775
776 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200777}
778
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200779/* Decode the content of STREAM frames already received on the stream instance
780 * <qcs>.
781 *
782 * Returns 0 on success else non-zero.
783 */
784static int qcc_decode_qcs(struct qcc *qcc, struct qcs *qcs)
785{
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200786 struct buffer b;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200787 ssize_t ret;
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200788 int fin = 0;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200789
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200790 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
791
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200792 b = qcs_b_dup(&qcs->rx.ncbuf);
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200793
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200794 /* Signal FIN to application if STREAM FIN received with all data. */
795 if (qcs_is_close_remote(qcs))
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200796 fin = 1;
797
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100798 if (!(qcs->flags & QC_SF_READ_ABORTED)) {
799 ret = qcc->app_ops->decode_qcs(qcs, &b, fin);
800 if (ret < 0) {
801 TRACE_ERROR("decoding error", QMUX_EV_QCS_RECV, qcc->conn, qcs);
802 goto err;
803 }
804 }
805 else {
806 TRACE_DATA("ignore read on stream", QMUX_EV_QCS_RECV, qcc->conn, qcs);
807 ret = b_data(&b);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200808 }
809
Amaury Denoyelle381d8132023-02-17 09:51:20 +0100810 if (ret)
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200811 qcs_consume(qcs, ret);
Amaury Denoyelle381d8132023-02-17 09:51:20 +0100812 if (ret || (!b_data(&b) && fin))
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200813 qcs_notify_recv(qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200814
815 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200816 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200817
818 err:
819 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
820 return 1;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200821}
822
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200823/* Emit a CONNECTION_CLOSE_APP with error <err>. Reserved for application error
Amaury Denoyelled666d742022-07-13 15:15:58 +0200824 * code. To close the connection right away, set <immediate> : this is useful
825 * when dealing with a connection fatal error. Else a graceful shutdown will be
826 * conducted : the error-code is only registered. The lower layer is
827 * responsible to close the connection when deemed suitable. Note that in this
828 * case the error code might be overwritten if an immediate close is requested
829 * in the interval.
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200830 */
Amaury Denoyelled666d742022-07-13 15:15:58 +0200831void qcc_emit_cc_app(struct qcc *qcc, int err, int immediate)
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200832{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200833 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
834
Amaury Denoyelled666d742022-07-13 15:15:58 +0200835 if (immediate) {
836 quic_set_connection_close(qcc->conn->handle.qc, quic_err_app(err));
837 qcc->flags |= QC_CF_CC_EMIT;
838 tasklet_wakeup(qcc->wait_event.tasklet);
839 }
840 else {
841 /* Only register the error code for graceful shutdown. */
842 qcc->conn->handle.qc->err = quic_err_app(err);
843 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200844
845 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200846}
847
848/* Prepare for the emission of RESET_STREAM on <qcs> with error code <err>. */
849void qcc_reset_stream(struct qcs *qcs, int err)
850{
851 struct qcc *qcc = qcs->qcc;
852
853 if ((qcs->flags & QC_SF_TO_RESET) || qcs_is_close_local(qcs))
854 return;
855
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200856 TRACE_STATE("reset stream", QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200857 qcs->flags |= QC_SF_TO_RESET;
858 qcs->err = err;
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100859
Amaury Denoyelle178fbff2023-03-22 11:17:59 +0100860 /* Remove prepared stream data from connection flow-control calcul. */
861 if (qcs->tx.offset > qcs->tx.sent_offset) {
862 const uint64_t diff = qcs->tx.offset - qcs->tx.sent_offset;
863 BUG_ON(qcc->tx.offsets - diff < qcc->tx.sent_offsets);
864 qcc->tx.offsets -= diff;
865 /* Reset qcs offset to prevent BUG_ON() on qcs_destroy(). */
866 qcs->tx.offset = qcs->tx.sent_offset;
867 }
868
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100869 qcc_send_stream(qcs, 1);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200870 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100871}
872
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100873/* Register <qcs> stream for emission of STREAM, STOP_SENDING or RESET_STREAM.
874 * Set <urg> to 1 if stream content should be treated in priority compared to
875 * other streams.
876 */
877void qcc_send_stream(struct qcs *qcs, int urg)
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100878{
879 struct qcc *qcc = qcs->qcc;
880
881 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
882
883 /* Cannot send if already closed. */
884 BUG_ON(qcs_is_close_local(qcs));
885
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100886 if (urg) {
887 LIST_DEL_INIT(&qcs->el_send);
888 LIST_INSERT(&qcc->send_list, &qcs->el_send);
889 }
890 else {
891 if (!LIST_INLIST(&qcs->el_send))
892 LIST_APPEND(&qcs->qcc->send_list, &qcs->el_send);
893 }
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100894
895 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
896}
897
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100898/* Prepare for the emission of STOP_SENDING on <qcs>. */
899void qcc_abort_stream_read(struct qcs *qcs)
900{
901 struct qcc *qcc = qcs->qcc;
902
903 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn, qcs);
904
905 if ((qcs->flags & QC_SF_TO_STOP_SENDING) || qcs_is_close_remote(qcs))
906 goto end;
907
908 TRACE_STATE("abort stream read", QMUX_EV_QCS_END, qcc->conn, qcs);
909 qcs->flags |= (QC_SF_TO_STOP_SENDING|QC_SF_READ_ABORTED);
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100910
911 qcc_send_stream(qcs, 1);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100912 tasklet_wakeup(qcc->wait_event.tasklet);
913
914 end:
915 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn, qcs);
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200916}
917
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200918/* Install the <app_ops> applicative layer of a QUIC connection on mux <qcc>.
919 * Returns 0 on success else non-zero.
920 */
921int qcc_install_app_ops(struct qcc *qcc, const struct qcc_app_ops *app_ops)
922{
923 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn);
924
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100925 if (app_ops->init && !app_ops->init(qcc)) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200926 TRACE_ERROR("app ops init error", QMUX_EV_QCC_NEW, qcc->conn);
927 goto err;
928 }
929
930 TRACE_PROTO("application layer initialized", QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100931 qcc->app_ops = app_ops;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200932
Amaury Denoyelle71fd0362023-01-24 17:35:37 +0100933 /* RFC 9114 7.2.4.2. Initialization
934 *
935 * Endpoints MUST NOT require any data to be
936 * received from the peer prior to sending the SETTINGS frame;
937 * settings MUST be sent as soon as the transport is ready to
938 * send data.
939 */
940 if (qcc->app_ops->finalize) {
941 if (qcc->app_ops->finalize(qcc->ctx)) {
942 TRACE_ERROR("app ops finalize error", QMUX_EV_QCC_NEW, qcc->conn);
943 goto err;
944 }
945 tasklet_wakeup(qcc->wait_event.tasklet);
946 }
947
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200948 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
949 return 0;
950
951 err:
952 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
953 return 1;
954}
955
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200956/* Handle a new STREAM frame for stream with id <id>. Payload is pointed by
957 * <data> with length <len> and represents the offset <offset>. <fin> is set if
958 * the QUIC frame FIN bit is set.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100959 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200960 * Returns 0 on success else non-zero. On error, the received frame should not
961 * be acknowledged.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100962 */
963int qcc_recv(struct qcc *qcc, uint64_t id, uint64_t len, uint64_t offset,
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200964 char fin, char *data)
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100965{
966 struct qcs *qcs;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200967 enum ncb_ret ret;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100968
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100969 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
970
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200971 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200972 TRACE_DATA("connection closed", QMUX_EV_QCC_RECV, qcc->conn);
973 goto err;
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200974 }
975
Amaury Denoyelle6754d7e2022-05-23 16:12:49 +0200976 /* RFC 9000 19.8. STREAM Frames
977 *
978 * An endpoint MUST terminate the connection with error
979 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
980 * initiated stream that has not yet been created, or for a send-only
981 * stream.
982 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200983 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200984 TRACE_DATA("qcs retrieval error", QMUX_EV_QCC_RECV, qcc->conn);
985 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200986 }
987
988 if (!qcs) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200989 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV, qcc->conn);
990 goto out;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200991 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100992
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200993 /* RFC 9000 4.5. Stream Final Size
994 *
995 * Once a final size for a stream is known, it cannot change. If a
996 * RESET_STREAM or STREAM frame is received indicating a change in the
997 * final size for the stream, an endpoint SHOULD respond with an error
998 * of type FINAL_SIZE_ERROR; see Section 11 for details on error
999 * handling.
1000 */
1001 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1002 (offset + len > qcs->rx.offset_max || (fin && offset + len < qcs->rx.offset_max))) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001003 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 +02001004 qcc_emit_cc(qcc, QC_ERR_FINAL_SIZE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001005 goto err;
Amaury Denoyellebf91e392022-07-04 10:02:04 +02001006 }
1007
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001008 if (qcs_is_close_remote(qcs)) {
1009 TRACE_DATA("skipping STREAM for remotely closed", QMUX_EV_QCC_RECV, qcc->conn);
1010 goto out;
1011 }
1012
Amaury Denoyellefa241932023-02-14 15:36:36 +01001013 if (offset + len < qcs->rx.offset ||
1014 (offset + len == qcs->rx.offset && (!fin || (qcs->flags & QC_SF_SIZE_KNOWN)))) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001015 TRACE_DATA("already received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1016 goto out;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001017 }
1018
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001019 TRACE_PROTO("receiving STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001020 qcs_idle_open(qcs);
1021
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001022 if (offset + len > qcs->rx.offset_max) {
1023 uint64_t diff = offset + len - qcs->rx.offset_max;
1024 qcs->rx.offset_max = offset + len;
1025 qcc->lfctl.offsets_recv += diff;
1026
1027 if (offset + len > qcs->rx.msd ||
1028 qcc->lfctl.offsets_recv > qcc->lfctl.md) {
1029 /* RFC 9000 4.1. Data Flow Control
1030 *
1031 * A receiver MUST close the connection with an error
1032 * of type FLOW_CONTROL_ERROR if the sender violates
1033 * the advertised connection or stream data limits
1034 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001035 TRACE_ERROR("flow control error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001036 qcc->conn, qcs);
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001037 qcc_emit_cc(qcc, QC_ERR_FLOW_CONTROL_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001038 goto err;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001039 }
1040 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001041
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001042 if (!qc_get_ncbuf(qcs, &qcs->rx.ncbuf) || ncb_is_null(&qcs->rx.ncbuf)) {
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001043 /* TODO should mark qcs as full */
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001044 ABORT_NOW();
1045 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001046 }
1047
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001048 TRACE_DATA("newly received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001049 if (offset < qcs->rx.offset) {
Frédéric Lécaillea18c3332022-07-04 09:54:58 +02001050 size_t diff = qcs->rx.offset - offset;
1051
1052 len -= diff;
1053 data += diff;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001054 offset = qcs->rx.offset;
1055 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001056
Amaury Denoyellefa241932023-02-14 15:36:36 +01001057 if (len) {
1058 ret = ncb_add(&qcs->rx.ncbuf, offset - qcs->rx.offset, data, len, NCB_ADD_COMPARE);
1059 switch (ret) {
1060 case NCB_RET_OK:
1061 break;
1062
1063 case NCB_RET_DATA_REJ:
Amaury Denoyellecc3d7162022-05-20 15:14:57 +02001064 /* RFC 9000 2.2. Sending and Receiving Data
1065 *
1066 * An endpoint could receive data for a stream at the
1067 * same stream offset multiple times. Data that has
1068 * already been received can be discarded. The data at
1069 * a given offset MUST NOT change if it is sent
1070 * multiple times; an endpoint MAY treat receipt of
1071 * different data at the same offset within a stream as
1072 * a connection error of type PROTOCOL_VIOLATION.
1073 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001074 TRACE_ERROR("overlapping data rejected", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001075 qcc->conn, qcs);
Amaury Denoyellecc3d7162022-05-20 15:14:57 +02001076 qcc_emit_cc(qcc, QC_ERR_PROTOCOL_VIOLATION);
Amaury Denoyellefa241932023-02-14 15:36:36 +01001077 return 1;
1078
1079 case NCB_RET_GAP_SIZE:
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001080 TRACE_DATA("cannot bufferize frame due to gap size limit", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV,
1081 qcc->conn, qcs);
Amaury Denoyellefa241932023-02-14 15:36:36 +01001082 return 1;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001083 }
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001084 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001085
1086 if (fin)
Amaury Denoyelle3f39b402022-07-01 16:11:03 +02001087 qcs->flags |= QC_SF_SIZE_KNOWN;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001088
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001089 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1090 qcs->rx.offset_max == qcs->rx.offset + ncb_data(&qcs->rx.ncbuf, 0)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001091 qcs_close_remote(qcs);
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001092 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001093
Amaury Denoyellefa241932023-02-14 15:36:36 +01001094 if ((ncb_data(&qcs->rx.ncbuf, 0) && !(qcs->flags & QC_SF_DEM_FULL)) || fin) {
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001095 qcc_decode_qcs(qcc, qcs);
Amaury Denoyelle418ba212022-08-02 15:57:16 +02001096 qcc_refresh_timeout(qcc);
1097 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001098
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001099 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001100 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001101 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001102
1103 err:
1104 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1105 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001106}
1107
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001108/* Handle a new MAX_DATA frame. <max> must contains the maximum data field of
1109 * the frame.
1110 *
1111 * Returns 0 on success else non-zero.
1112 */
1113int qcc_recv_max_data(struct qcc *qcc, uint64_t max)
1114{
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001115 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1116
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001117 TRACE_PROTO("receiving MAX_DATA", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001118 if (qcc->rfctl.md < max) {
1119 qcc->rfctl.md = max;
Amaury Denoyelleb7143a82023-03-22 15:08:01 +01001120 TRACE_DATA("increase remote max-data", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001121
1122 if (qcc->flags & QC_CF_BLK_MFCTL) {
1123 qcc->flags &= ~QC_CF_BLK_MFCTL;
1124 tasklet_wakeup(qcc->wait_event.tasklet);
1125 }
1126 }
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001127
1128 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001129 return 0;
1130}
1131
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001132/* Handle a new MAX_STREAM_DATA frame. <max> must contains the maximum data
1133 * field of the frame and <id> is the identifier of the QUIC stream.
1134 *
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001135 * Returns 0 on success else non-zero. On error, the received frame should not
1136 * be acknowledged.
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001137 */
1138int qcc_recv_max_stream_data(struct qcc *qcc, uint64_t id, uint64_t max)
1139{
1140 struct qcs *qcs;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001141
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001142 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1143
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001144 /* RFC 9000 19.10. MAX_STREAM_DATA Frames
1145 *
1146 * Receiving a MAX_STREAM_DATA frame for a locally
1147 * initiated stream that has not yet been created MUST be treated as a
1148 * connection error of type STREAM_STATE_ERROR. An endpoint that
1149 * receives a MAX_STREAM_DATA frame for a receive-only stream MUST
1150 * terminate the connection with error STREAM_STATE_ERROR.
1151 */
1152 if (qcc_get_qcs(qcc, id, 0, 1, &qcs)) {
1153 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1154 return 1;
1155 }
1156
1157 if (qcs) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001158 TRACE_PROTO("receiving MAX_STREAM_DATA", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001159 if (max > qcs->tx.msd) {
1160 qcs->tx.msd = max;
Amaury Denoyelleb7143a82023-03-22 15:08:01 +01001161 TRACE_DATA("increase remote max-stream-data", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001162
1163 if (qcs->flags & QC_SF_BLK_SFCTL) {
1164 qcs->flags &= ~QC_SF_BLK_SFCTL;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001165 /* TODO optim: only wakeup IO-CB if stream has data to sent. */
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001166 tasklet_wakeup(qcc->wait_event.tasklet);
1167 }
1168 }
1169 }
1170
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001171 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1172 qcc_refresh_timeout(qcc);
1173
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001174 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1175 return 0;
1176}
1177
1178/* Handle a new RESET_STREAM frame from stream ID <id> with error code <err>
1179 * and final stream size <final_size>.
1180 *
1181 * Returns 0 on success else non-zero. On error, the received frame should not
1182 * be acknowledged.
1183 */
1184int qcc_recv_reset_stream(struct qcc *qcc, uint64_t id, uint64_t err, uint64_t final_size)
1185{
1186 struct qcs *qcs;
1187
1188 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1189
1190 /* RFC 9000 19.4. RESET_STREAM Frames
1191 *
1192 * An endpoint that receives a RESET_STREAM frame for a send-only stream
1193 * MUST terminate the connection with error STREAM_STATE_ERROR.
1194 */
1195 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
1196 TRACE_ERROR("RESET_STREAM for send-only stream received", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1197 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
1198 goto err;
1199 }
1200
1201 if (!qcs || qcs_is_close_remote(qcs))
1202 goto out;
1203
1204 TRACE_PROTO("receiving RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1205 qcs_idle_open(qcs);
1206
Amaury Denoyellee269aeb2023-01-30 12:13:22 +01001207 if (qcc->app_ops->close) {
1208 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_RD)) {
1209 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1210 goto out;
1211 }
1212 }
1213
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001214 if (qcs->rx.offset_max > final_size ||
1215 ((qcs->flags & QC_SF_SIZE_KNOWN) && qcs->rx.offset_max != final_size)) {
1216 TRACE_ERROR("final size error on RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1217 qcc_emit_cc(qcc, QC_ERR_FINAL_SIZE_ERROR);
1218 goto err;
1219 }
1220
1221 qcs->flags |= QC_SF_SIZE_KNOWN;
1222 qcs_close_remote(qcs);
1223 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
1224
1225 if (qcs_sc(qcs)) {
1226 se_fl_set_error(qcs->sd);
1227 qcs_alert(qcs);
1228 }
1229
1230 out:
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001231 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001232 return 0;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001233
1234 err:
1235 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1236 return 1;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001237}
1238
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001239/* Handle a new STOP_SENDING frame for stream ID <id>. The error code should be
1240 * specified in <err>.
1241 *
1242 * Returns 0 on success else non-zero. On error, the received frame should not
1243 * be acknowledged.
1244 */
1245int qcc_recv_stop_sending(struct qcc *qcc, uint64_t id, uint64_t err)
1246{
1247 struct qcs *qcs;
1248
1249 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1250
1251 /* RFC 9000 19.5. STOP_SENDING Frames
1252 *
1253 * Receiving a STOP_SENDING frame for a
1254 * locally initiated stream that has not yet been created MUST be
1255 * treated as a connection error of type STREAM_STATE_ERROR. An
1256 * endpoint that receives a STOP_SENDING frame for a receive-only stream
1257 * MUST terminate the connection with error STREAM_STATE_ERROR.
1258 */
1259 if (qcc_get_qcs(qcc, id, 0, 1, &qcs)) {
1260 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1261 return 1;
1262 }
1263
1264 if (!qcs)
1265 goto out;
1266
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001267 TRACE_PROTO("receiving STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelled7755372022-10-03 17:20:31 +02001268
1269 /* RFC 9000 3.5. Solicited State Transitions
1270 *
1271 * An endpoint is expected to send another STOP_SENDING frame if a
1272 * packet containing a previous STOP_SENDING is lost. However, once
1273 * either all stream data or a RESET_STREAM frame has been received for
1274 * the stream -- that is, the stream is in any state other than "Recv"
1275 * or "Size Known" -- sending a STOP_SENDING frame is unnecessary.
1276 */
1277
1278 /* TODO thanks to previous RFC clause, STOP_SENDING is ignored if current stream
1279 * has already been closed locally. This is useful to not emit multiple
1280 * RESET_STREAM for a single stream. This is functional if stream is
1281 * locally closed due to all data transmitted, but in this case the RFC
1282 * advices to use an explicit RESET_STREAM.
1283 */
1284 if (qcs_is_close_local(qcs)) {
1285 TRACE_STATE("ignoring STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1286 goto out;
1287 }
1288
Amaury Denoyelle96ca1b72022-08-09 17:36:38 +02001289 qcs_idle_open(qcs);
1290
Amaury Denoyelle87f87662023-01-30 12:12:43 +01001291 if (qcc->app_ops->close) {
1292 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_WR)) {
1293 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1294 goto out;
1295 }
1296 }
1297
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001298 /* RFC 9000 3.5. Solicited State Transitions
1299 *
1300 * An endpoint that receives a STOP_SENDING frame
1301 * MUST send a RESET_STREAM frame if the stream is in the "Ready" or
1302 * "Send" state. If the stream is in the "Data Sent" state, the
1303 * endpoint MAY defer sending the RESET_STREAM frame until the packets
1304 * containing outstanding data are acknowledged or declared lost. If
1305 * any outstanding data is declared lost, the endpoint SHOULD send a
1306 * RESET_STREAM frame instead of retransmitting the data.
1307 *
1308 * An endpoint SHOULD copy the error code from the STOP_SENDING frame to
1309 * the RESET_STREAM frame it sends, but it can use any application error
1310 * code.
1311 */
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001312 qcc_reset_stream(qcs, err);
1313
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001314 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1315 qcc_refresh_timeout(qcc);
1316
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001317 out:
1318 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1319 return 0;
1320}
1321
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001322/* Signal the closing of remote stream with id <id>. Flow-control for new
1323 * streams may be allocated for the peer if needed.
1324 */
1325static int qcc_release_remote_stream(struct qcc *qcc, uint64_t id)
Amaury Denoyellec055e302022-02-07 16:09:06 +01001326{
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001327 struct quic_frame *frm;
1328
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001329 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn);
1330
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001331 if (quic_stream_is_bidi(id)) {
1332 ++qcc->lfctl.cl_bidi_r;
1333 if (qcc->lfctl.cl_bidi_r > qcc->lfctl.ms_bidi_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001334 TRACE_DATA("increase max stream limit with MAX_STREAMS_BIDI", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001335 frm = qc_frm_alloc(QUIC_FT_MAX_STREAMS_BIDI);
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001336 BUG_ON(!frm); /* TODO handle this properly */
1337
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001338 frm->max_streams_bidi.max_streams = qcc->lfctl.ms_bidi +
1339 qcc->lfctl.cl_bidi_r;
1340 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
1341 tasklet_wakeup(qcc->wait_event.tasklet);
1342
1343 qcc->lfctl.ms_bidi += qcc->lfctl.cl_bidi_r;
1344 qcc->lfctl.cl_bidi_r = 0;
1345 }
1346 }
1347 else {
Amaury Denoyelle91077312022-12-22 18:56:09 +01001348 /* TODO unidirectional stream flow control with MAX_STREAMS_UNI
1349 * emission not implemented. It should be unnecessary for
1350 * HTTP/3 but may be required if other application protocols
1351 * are supported.
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001352 */
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001353 }
1354
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001355 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
1356
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001357 return 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001358}
1359
Ilya Shipitsin5e87bcf2021-12-25 11:45:52 +05001360/* detaches the QUIC stream from its QCC and releases it to the QCS pool. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001361static void qcs_destroy(struct qcs *qcs)
1362{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001363 struct connection *conn = qcs->qcc->conn;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001364 const uint64_t id = qcs->id;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001365
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001366 TRACE_ENTER(QMUX_EV_QCS_END, conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001367
Amaury Denoyelle178fbff2023-03-22 11:17:59 +01001368 /* MUST not removed a stream with sending prepared data left. This is
1369 * to ensure consistency on connection flow-control calculation.
1370 */
1371 BUG_ON(qcs->tx.offset < qcs->tx.sent_offset);
1372
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001373 if (quic_stream_is_remote(qcs->qcc, id))
1374 qcc_release_remote_stream(qcs->qcc, id);
Amaury Denoyellec055e302022-02-07 16:09:06 +01001375
Amaury Denoyelledccbd732022-03-29 18:36:59 +02001376 qcs_free(qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001377
1378 TRACE_LEAVE(QMUX_EV_QCS_END, conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001379}
1380
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001381/* Transfer as much as possible data on <qcs> from <in> to <out>. This is done
1382 * in respect with available flow-control at stream and connection level.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001383 *
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001384 * Returns the total bytes of transferred data.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001385 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001386static int qcs_xfer_data(struct qcs *qcs, struct buffer *out, struct buffer *in)
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001387{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001388 struct qcc *qcc = qcs->qcc;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001389 int left, to_xfer;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001390 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001391
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001392 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001393
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001394 qc_get_buf(qcs, out);
1395
1396 /*
1397 * QCS out buffer diagram
1398 * head left to_xfer
1399 * -------------> ----------> ----->
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001400 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001401 * |...............|xxxxxxxxxxx|<<<<<
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001402 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001403 * ^ ack-off ^ sent-off ^ off
1404 *
1405 * STREAM frame
1406 * ^ ^
1407 * |xxxxxxxxxxxxxxxxx|
1408 */
1409
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001410 BUG_ON_HOT(qcs->tx.sent_offset < qcs->stream->ack_offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001411 BUG_ON_HOT(qcs->tx.offset < qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001412 BUG_ON_HOT(qcc->tx.offsets < qcc->tx.sent_offsets);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001413
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001414 left = qcs->tx.offset - qcs->tx.sent_offset;
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001415 to_xfer = QUIC_MIN(b_data(in), b_room(out));
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001416
1417 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
1418 /* do not exceed flow control limit */
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001419 if (qcs->tx.offset + to_xfer > qcs->tx.msd) {
1420 TRACE_DATA("do not exceed stream flow control", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001421 to_xfer = qcs->tx.msd - qcs->tx.offset;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001422 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001423
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001424 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001425 /* do not overcome flow control limit on connection */
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001426 if (qcc->tx.offsets + to_xfer > qcc->rfctl.md) {
1427 TRACE_DATA("do not exceed conn flow control", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001428 to_xfer = qcc->rfctl.md - qcc->tx.offsets;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001429 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001430
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001431 if (!left && !to_xfer)
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001432 goto out;
1433
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001434 total = b_force_xfer(out, in, to_xfer);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001435
1436 out:
1437 {
1438 struct qcs_xfer_data_trace_arg arg = {
1439 .prep = b_data(out), .xfer = total,
1440 };
1441 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_XFER_DATA,
1442 qcc->conn, qcs, &arg);
1443 }
1444
1445 return total;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001446}
1447
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001448/* Prepare a STREAM frame for <qcs> instance using <out> as payload. The frame
1449 * is appended in <frm_list>. Set <fin> if this is supposed to be the last
1450 * stream frame.
1451 *
1452 * Returns the length of the STREAM frame or a negative error code.
1453 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001454static int qcs_build_stream_frm(struct qcs *qcs, struct buffer *out, char fin,
1455 struct list *frm_list)
1456{
1457 struct qcc *qcc = qcs->qcc;
1458 struct quic_frame *frm;
1459 int head, total;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001460 uint64_t base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001461
1462 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1463
Amaury Denoyellea4569202022-04-15 17:29:25 +02001464 /* if ack_offset < buf_offset, it points to an older buffer. */
1465 base_off = MAX(qcs->stream->buf_offset, qcs->stream->ack_offset);
1466 BUG_ON(qcs->tx.sent_offset < base_off);
1467
1468 head = qcs->tx.sent_offset - base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001469 total = b_data(out) - head;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001470 BUG_ON(total < 0);
1471
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001472 if (!total && !fin) {
1473 /* No need to send anything if total is NULL and no FIN to signal. */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001474 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1475 return 0;
1476 }
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001477 BUG_ON((!total && qcs->tx.sent_offset > qcs->tx.offset) ||
1478 (total && qcs->tx.sent_offset >= qcs->tx.offset));
Amaury Denoyellea4569202022-04-15 17:29:25 +02001479 BUG_ON(qcs->tx.sent_offset + total > qcs->tx.offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001480 BUG_ON(qcc->tx.sent_offsets + total > qcc->rfctl.md);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001481
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001482 TRACE_PROTO("sending STREAM frame", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001483 frm = qc_frm_alloc(QUIC_FT_STREAM_8);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001484 if (!frm) {
1485 TRACE_ERROR("frame alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001486 goto err;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001487 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001488
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001489 frm->stream.stream = qcs->stream;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001490 frm->stream.id = qcs->id;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001491 frm->stream.buf = out;
1492 frm->stream.data = (unsigned char *)b_peek(out, head);
Amaury Denoyelle1dac0182023-02-02 16:45:07 +01001493 frm->stream.offset.key = 0;
Amaury Denoyelleebfafc22023-03-07 18:07:08 +01001494 frm->stream.dup = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001495
Amaury Denoyellefecfa0d2021-12-07 16:50:14 +01001496 /* FIN is positioned only when the buffer has been totally emptied. */
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001497 if (fin)
1498 frm->type |= QUIC_STREAM_FRAME_TYPE_FIN_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001499
1500 if (qcs->tx.sent_offset) {
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001501 frm->type |= QUIC_STREAM_FRAME_TYPE_OFF_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001502 frm->stream.offset.key = qcs->tx.sent_offset;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001503 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001504
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001505 frm->type |= QUIC_STREAM_FRAME_TYPE_LEN_BIT;
1506 frm->stream.len = total;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001507
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001508 LIST_APPEND(frm_list, &frm->list);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001509
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001510 out:
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001511 {
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001512 struct qcs_build_stream_trace_arg arg = {
1513 .len = frm->stream.len, .fin = fin,
1514 .offset = frm->stream.offset.key,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001515 };
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001516 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_BUILD_STRM,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001517 qcc->conn, qcs, &arg);
1518 }
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001519
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001520 return total;
1521
1522 err:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001523 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001524 return -1;
1525}
1526
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001527/* Check after transferring data from qcs.tx.buf if FIN must be set on the next
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001528 * STREAM frame for <qcs>.
1529 *
1530 * Returns true if FIN must be set else false.
1531 */
1532static int qcs_stream_fin(struct qcs *qcs)
1533{
1534 return qcs->flags & QC_SF_FIN_STREAM && !b_data(&qcs->tx.buf);
1535}
1536
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001537/* Return true if <qcs> has data to send in new STREAM frames. */
1538static forceinline int qcs_need_sending(struct qcs *qcs)
1539{
1540 return b_data(&qcs->tx.buf) || qcs->tx.sent_offset < qcs->tx.offset ||
1541 qcs_stream_fin(qcs);
1542}
1543
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001544/* This function must be called by the upper layer to inform about the sending
1545 * of a STREAM frame for <qcs> instance. The frame is of <data> length and on
1546 * <offset>.
1547 */
1548void qcc_streams_sent_done(struct qcs *qcs, uint64_t data, uint64_t offset)
1549{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001550 struct qcc *qcc = qcs->qcc;
1551 uint64_t diff;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001552
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001553 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1554
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001555 BUG_ON(offset > qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001556 BUG_ON(offset + data > qcs->tx.offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001557
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001558 /* check if the STREAM frame has already been notified. It can happen
1559 * for retransmission.
1560 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001561 if (offset + data < qcs->tx.sent_offset) {
1562 TRACE_DEVEL("offset already notified", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1563 goto out;
1564 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001565
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001566 qcs_idle_open(qcs);
1567
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001568 diff = offset + data - qcs->tx.sent_offset;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001569 if (diff) {
1570 /* increase offset sum on connection */
1571 qcc->tx.sent_offsets += diff;
1572 BUG_ON_HOT(qcc->tx.sent_offsets > qcc->rfctl.md);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001573 if (qcc->tx.sent_offsets == qcc->rfctl.md) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001574 qcc->flags |= QC_CF_BLK_MFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001575 TRACE_STATE("connection flow-control reached", QMUX_EV_QCS_SEND, qcc->conn);
1576 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001577
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001578 /* increase offset on stream */
1579 qcs->tx.sent_offset += diff;
1580 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.msd);
1581 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.offset);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001582 if (qcs->tx.sent_offset == qcs->tx.msd) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001583 qcs->flags |= QC_SF_BLK_SFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001584 TRACE_STATE("stream flow-control reached", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1585 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001586
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001587 /* If qcs.stream.buf is full, release it to the lower layer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001588 if (qcs->tx.offset == qcs->tx.sent_offset &&
1589 b_full(&qcs->stream->buf->buf)) {
1590 qc_stream_buf_release(qcs->stream);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001591 }
1592 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001593
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001594 if (qcs->tx.offset == qcs->tx.sent_offset && !b_data(&qcs->tx.buf)) {
1595 /* Remove stream from send_list if all was sent. */
1596 LIST_DEL_INIT(&qcs->el_send);
1597 TRACE_STATE("stream sent done", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1598
1599 if (qcs->flags & (QC_SF_FIN_STREAM|QC_SF_DETACH)) {
1600 /* Close stream locally. */
1601 qcs_close_local(qcs);
1602 /* Reset flag to not emit multiple FIN STREAM frames. */
1603 qcs->flags &= ~QC_SF_FIN_STREAM;
1604 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001605 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001606
1607 out:
1608 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001609}
1610
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001611/* Wrapper for send on transport layer. Send a list of frames <frms> for the
1612 * connection <qcc>.
1613 *
1614 * Returns 0 if all data sent with success else non-zero.
1615 */
1616static int qc_send_frames(struct qcc *qcc, struct list *frms)
1617{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001618 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
1619
1620 if (LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001621 TRACE_DEVEL("no frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1622 goto err;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001623 }
Frédéric Lécaille4e22f282022-03-18 18:38:19 +01001624
Amaury Denoyellecaa16542023-02-28 15:11:26 +01001625 if (!qc_send_mux(qcc->conn->handle.qc, frms)) {
1626 /* TODO should subscribe only for a transient send error */
1627 TRACE_DEVEL("error on send, subscribing", QMUX_EV_QCC_SEND, qcc->conn);
1628 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1629 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyelle036cc5d2022-09-26 15:02:31 +02001630 goto err;
Amaury Denoyellecaa16542023-02-28 15:11:26 +01001631 }
Amaury Denoyellee9c4cc12022-03-04 15:29:53 +01001632
Amaury Denoyelledb5d1a12022-03-10 16:42:23 +01001633 /* If there is frames left at this stage, transport layer is blocked.
1634 * Subscribe on it to retry later.
1635 */
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001636 if (!LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001637 TRACE_DEVEL("remaining frames to send, subscribing", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001638 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1639 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001640 goto err;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001641 }
1642
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001643 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001644 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001645
1646 err:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001647 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001648 return 1;
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001649}
1650
1651/* Emit a RESET_STREAM on <qcs>.
1652 *
1653 * Returns 0 if the frame has been successfully sent else non-zero.
1654 */
1655static int qcs_send_reset(struct qcs *qcs)
1656{
1657 struct list frms = LIST_HEAD_INIT(frms);
1658 struct quic_frame *frm;
1659
1660 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1661
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001662 frm = qc_frm_alloc(QUIC_FT_RESET_STREAM);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001663 if (!frm) {
1664 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001665 return 1;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001666 }
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001667
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001668 frm->reset_stream.id = qcs->id;
1669 frm->reset_stream.app_error_code = qcs->err;
1670 frm->reset_stream.final_size = qcs->tx.sent_offset;
1671
1672 LIST_APPEND(&frms, &frm->list);
1673 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001674 qc_frm_free(&frm);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001675 TRACE_DEVEL("cannot send RESET_STREAM", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1676 return 1;
1677 }
1678
1679 if (qcs_sc(qcs)) {
1680 se_fl_set_error(qcs->sd);
1681 qcs_alert(qcs);
1682 }
1683
1684 qcs_close_local(qcs);
1685 qcs->flags &= ~QC_SF_TO_RESET;
1686
1687 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001688 return 0;
1689}
1690
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001691/* Emit a STOP_SENDING on <qcs>.
1692 *
1693 * Returns 0 if the frame has been successfully sent else non-zero.
1694 */
1695static int qcs_send_stop_sending(struct qcs *qcs)
1696{
1697 struct list frms = LIST_HEAD_INIT(frms);
1698 struct quic_frame *frm;
1699 struct qcc *qcc = qcs->qcc;
1700
1701 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1702
1703 /* RFC 9000 3.3. Permitted Frame Types
1704 *
1705 * A
1706 * receiver MAY send a STOP_SENDING frame in any state where it has not
1707 * received a RESET_STREAM frame -- that is, states other than "Reset
1708 * Recvd" or "Reset Read". However, there is little value in sending a
1709 * STOP_SENDING frame in the "Data Recvd" state, as all stream data has
1710 * been received. A sender could receive either of these two types of
1711 * frames in any state as a result of delayed delivery of packets.¶
1712 */
1713 if (qcs_is_close_remote(qcs)) {
1714 TRACE_STATE("skip STOP_SENDING on remote already closed", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1715 goto done;
1716 }
1717
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001718 frm = qc_frm_alloc(QUIC_FT_STOP_SENDING);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001719 if (!frm) {
1720 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1721 return 1;
1722 }
1723
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001724 frm->stop_sending.id = qcs->id;
1725 frm->stop_sending.app_error_code = qcs->err;
1726
1727 LIST_APPEND(&frms, &frm->list);
1728 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001729 qc_frm_free(&frm);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001730 TRACE_DEVEL("cannot send STOP_SENDING", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1731 return 1;
1732 }
1733
1734 done:
1735 qcs->flags &= ~QC_SF_TO_STOP_SENDING;
1736
1737 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1738 return 0;
1739}
1740
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001741/* Used internally by qc_send function. Proceed to send for <qcs>. This will
1742 * transfer data from qcs buffer to its quic_stream counterpart. A STREAM frame
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001743 * is then generated and inserted in <frms> list.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001744 *
1745 * Returns the total bytes transferred between qcs and quic_stream buffers. Can
1746 * be null if out buffer cannot be allocated.
1747 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001748static int _qc_send_qcs(struct qcs *qcs, struct list *frms)
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001749{
1750 struct qcc *qcc = qcs->qcc;
1751 struct buffer *buf = &qcs->tx.buf;
1752 struct buffer *out = qc_stream_buf_get(qcs->stream);
1753 int xfer = 0;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001754 char fin = 0;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001755
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001756 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1757
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001758 /* Cannot send STREAM on remote unidirectional streams. */
1759 BUG_ON(quic_stream_is_uni(qcs->id) && quic_stream_is_remote(qcc, qcs->id));
1760
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001761 /* Allocate <out> buffer if necessary. */
1762 if (!out) {
1763 if (qcc->flags & QC_CF_CONN_FULL)
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001764 goto out;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001765
1766 out = qc_stream_buf_alloc(qcs->stream, qcs->tx.offset);
1767 if (!out) {
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001768 TRACE_STATE("cannot allocate stream desc buffer", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001769 qcc->flags |= QC_CF_CONN_FULL;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001770 goto out;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001771 }
1772 }
1773
1774 /* Transfer data from <buf> to <out>. */
1775 if (b_data(buf)) {
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001776 xfer = qcs_xfer_data(qcs, out, buf);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001777 if (xfer > 0) {
1778 qcs_notify_send(qcs);
1779 qcs->flags &= ~QC_SF_BLK_MROOM;
1780 }
1781
1782 qcs->tx.offset += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001783 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001784 qcc->tx.offsets += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001785 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001786 }
1787
1788 /* out buffer cannot be emptied if qcs offsets differ. */
1789 BUG_ON(!b_data(out) && qcs->tx.sent_offset != qcs->tx.offset);
1790
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001791 /* FIN is set if all incoming data were transferred. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001792 fin = qcs_stream_fin(qcs);
1793
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001794 /* Build a new STREAM frame with <out> buffer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001795 if (qcs->tx.sent_offset != qcs->tx.offset || fin) {
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001796 int ret;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001797 ret = qcs_build_stream_frm(qcs, out, fin, frms);
Amaury Denoyelleb50f3112022-04-28 14:41:50 +02001798 if (ret < 0) { ABORT_NOW(); /* TODO handle this properly */ }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001799 }
1800
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001801 out:
1802 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001803 return xfer;
1804}
1805
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001806/* Proceed to sending. Loop through all available streams for the <qcc>
1807 * instance and try to send as much as possible.
1808 *
1809 * Returns the total of bytes sent to the transport layer.
1810 */
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001811static int qc_send(struct qcc *qcc)
1812{
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001813 struct list frms = LIST_HEAD_INIT(frms);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001814 struct qcs *qcs, *qcs_tmp;
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001815 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001816
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001817 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001818
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +02001819 if (qcc->conn->flags & CO_FL_SOCK_WR_SH || qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001820 qcc->conn->flags |= CO_FL_ERROR;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001821 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
1822 goto err;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001823 }
1824
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001825 if (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1826 if (qc_send_frames(qcc, &qcc->lfctl.frms)) {
1827 TRACE_DEVEL("flow-control frames rejected by transport, aborting send", QMUX_EV_QCC_SEND, qcc->conn);
1828 goto out;
1829 }
1830 }
Amaury Denoyellec9337802022-04-04 16:36:34 +02001831
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001832 if (qcc->flags & QC_CF_BLK_MFCTL)
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001833 goto err;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001834
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001835 /* Send STREAM/STOP_SENDING/RESET_STREAM data for registered streams. */
1836 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_list, el_send) {
1837 /* Stream must not be present in send_list if it has nothing to send. */
1838 BUG_ON(!(qcs->flags & (QC_SF_TO_STOP_SENDING|QC_SF_TO_RESET)) &&
1839 !qcs_need_sending(qcs));
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001840
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001841 /* Each STOP_SENDING/RESET_STREAM frame is sent individually to
1842 * guarantee its emission.
1843 *
1844 * TODO multiplex several frames in same datagram to optimize sending
1845 */
1846 if (qcs->flags & QC_SF_TO_STOP_SENDING) {
1847 if (qcs_send_stop_sending(qcs))
1848 goto out;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001849
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001850 /* Remove stream from send_list if it had only STOP_SENDING
1851 * to send.
1852 */
1853 if (!(qcs->flags & QC_SF_TO_RESET) && !qcs_need_sending(qcs)) {
1854 LIST_DEL_INIT(&qcs->el_send);
1855 continue;
1856 }
Amaury Denoyellee2ec9422022-03-10 16:46:18 +01001857 }
1858
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001859 if (qcs->flags & QC_SF_TO_RESET) {
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001860 if (qcs_send_reset(qcs))
1861 goto out;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001862
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001863 /* RFC 9000 3.3. Permitted Frame Types
1864 *
1865 * A sender MUST NOT send
1866 * a STREAM or STREAM_DATA_BLOCKED frame for a stream in the
1867 * "Reset Sent" state or any terminal state -- that is, after
1868 * sending a RESET_STREAM frame.
1869 */
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001870 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelled2f80a22022-04-15 17:30:49 +02001871 continue;
1872 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001873
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001874 if (!(qcs->flags & QC_SF_BLK_SFCTL))
1875 total += _qc_send_qcs(qcs, &frms);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001876 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001877
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001878 /* Retry sending until no frame to send, data rejected or connection
1879 * flow-control limit reached.
1880 */
1881 while (qc_send_frames(qcc, &frms) == 0 && !(qcc->flags & QC_CF_BLK_MFCTL)) {
1882 /* Reloop over <qcc.send_list>. Useful for streams which have
1883 * fulfilled their qc_stream_desc buf and have now release it.
1884 */
1885 list_for_each_entry(qcs, &qcc->send_list, el_send) {
1886 /* Only streams blocked on flow-control or waiting on a
1887 * new qc_stream_desc should be present in send_list as
1888 * long as transport layer can handle all data.
1889 */
1890 BUG_ON(qcs->stream->buf && !(qcs->flags & QC_SF_BLK_SFCTL));
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001891
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001892 if (!(qcs->flags & QC_SF_BLK_SFCTL))
1893 total += _qc_send_qcs(qcs, &frms);
1894 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001895 }
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001896
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001897 out:
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02001898 /* Deallocate frames that the transport layer has rejected. */
1899 if (!LIST_ISEMPTY(&frms)) {
1900 struct quic_frame *frm, *frm2;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001901
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01001902 list_for_each_entry_safe(frm, frm2, &frms, list)
1903 qc_frm_free(&frm);
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02001904 }
1905
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001906 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001907 return total;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001908
1909 err:
1910 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
1911 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001912}
1913
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001914/* Proceed on receiving. Loop through all streams from <qcc> and use decode_qcs
1915 * operation.
1916 *
1917 * Returns 0 on success else non-zero.
1918 */
1919static int qc_recv(struct qcc *qcc)
1920{
1921 struct eb64_node *node;
1922 struct qcs *qcs;
1923
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001924 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellee1cad8b2022-05-23 18:52:11 +02001925
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001926 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001927 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001928 return 0;
1929 }
1930
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001931 node = eb64_first(&qcc->streams_by_id);
1932 while (node) {
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001933 uint64_t id;
1934
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001935 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001936 id = qcs->id;
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001937
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001938 if (!ncb_data(&qcs->rx.ncbuf, 0) || (qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001939 node = eb64_next(node);
1940 continue;
1941 }
1942
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001943 if (quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001944 node = eb64_next(node);
1945 continue;
1946 }
1947
1948 qcc_decode_qcs(qcc, qcs);
1949 node = eb64_next(node);
1950 }
1951
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001952 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001953 return 0;
1954}
1955
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001956
1957/* Release all streams which have their transfer operation achieved.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01001958 *
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001959 * Returns true if at least one stream is released.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01001960 */
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001961static int qc_purge_streams(struct qcc *qcc)
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001962{
1963 struct eb64_node *node;
1964 int release = 0;
1965
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001966 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001967
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001968 node = eb64_first(&qcc->streams_by_id);
1969 while (node) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02001970 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001971 node = eb64_next(node);
1972
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001973 /* Release not attached closed streams. */
1974 if (qcs->st == QC_SS_CLO && !qcs_sc(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001975 TRACE_STATE("purging closed stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001976 qcs_destroy(qcs);
1977 release = 1;
1978 continue;
1979 }
1980
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001981 /* Release detached streams with empty buffer. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001982 if (qcs->flags & QC_SF_DETACH) {
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02001983 if (qcs_is_close_local(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001984 TRACE_STATE("purging detached stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001985 qcs_destroy(qcs);
1986 release = 1;
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001987 continue;
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001988 }
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001989
1990 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1991 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001992 }
1993 }
1994
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001995 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001996 return release;
1997}
1998
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01001999/* Execute application layer shutdown. If this operation is not defined, a
2000 * CONNECTION_CLOSE will be prepared as a fallback. This function is protected
2001 * against multiple invocation with the flag QC_CF_APP_SHUT.
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002002 */
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002003static void qc_shutdown(struct qcc *qcc)
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002004{
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002005 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002006
Amaury Denoyelle665817a2023-03-20 17:34:22 +01002007 if (qcc->flags & (QC_CF_APP_SHUT|QC_CF_CC_EMIT)) {
2008 TRACE_DATA("connection closed", QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002009 goto out;
Amaury Denoyelle665817a2023-03-20 17:34:22 +01002010 }
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002011
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002012 if (qcc->app_ops && qcc->app_ops->shutdown) {
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002013 qcc->app_ops->shutdown(qcc->ctx);
Amaury Denoyellea154dc02022-06-13 17:09:01 +02002014 qc_send(qcc);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002015 }
2016 else {
2017 qcc_emit_cc_app(qcc, QC_ERR_NO_ERROR, 0);
2018 }
2019
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002020 out:
2021 qcc->flags |= QC_CF_APP_SHUT;
2022 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
2023}
2024
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002025/* Conduct operations which should be made for <qcc> connection after
2026 * input/output. Most notably, closed streams are purged which may leave the
2027 * connection has ready to be released.
2028 *
2029 * Returns 1 if <qcc> must be released else 0.
2030 */
2031
2032static int qc_process(struct qcc *qcc)
2033{
2034 qc_purge_streams(qcc);
2035
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +01002036 /* Check if a soft-stop is in progress.
2037 *
2038 * TODO this is relevant for frontend connections only.
2039 */
2040 if (unlikely(qcc->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED))) {
2041 int close = 1;
2042
2043 /* If using listener socket, soft-stop is not supported. The
2044 * connection must be closed immediately.
2045 */
2046 if (!qc_test_fd(qcc->conn->handle.qc)) {
2047 TRACE_DEVEL("proxy disabled with listener socket, closing connection", QMUX_EV_QCC_WAKE, qcc->conn);
2048 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2049 qc_send(qcc);
2050 goto out;
2051 }
2052
2053 TRACE_DEVEL("proxy disabled, prepare connection soft-stop", QMUX_EV_QCC_WAKE, qcc->conn);
2054
2055 /* If a close-spread-time option is set, we want to avoid
2056 * closing all the active HTTP3 connections at once so we add a
2057 * random factor that will spread the closing.
2058 */
2059 if (tick_isset(global.close_spread_end)) {
2060 int remaining_window = tick_remain(now_ms, global.close_spread_end);
2061 if (remaining_window) {
2062 /* This should increase the closing rate the
2063 * further along the window we are. */
2064 close = (remaining_window <= statistical_prng_range(global.close_spread_time));
2065 }
2066 }
2067 else if (global.tune.options & GTUNE_DISABLE_ACTIVE_CLOSE) {
2068 close = 0; /* let the client close his connection himself */
2069 }
2070
2071 if (close)
2072 qc_shutdown(qcc);
2073 }
2074
2075 out:
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002076 if (qcc_is_dead(qcc))
2077 return 1;
2078
2079 return 0;
2080}
2081
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002082/* release function. This one should be called to free all resources allocated
2083 * to the mux.
2084 */
2085static void qc_release(struct qcc *qcc)
2086{
2087 struct connection *conn = qcc->conn;
2088 struct eb64_node *node;
2089
2090 TRACE_ENTER(QMUX_EV_QCC_END, conn);
2091
2092 qc_shutdown(qcc);
2093
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002094 if (qcc->task) {
2095 task_destroy(qcc->task);
2096 qcc->task = NULL;
2097 }
2098
2099 if (qcc->wait_event.tasklet)
2100 tasklet_free(qcc->wait_event.tasklet);
2101 if (conn && qcc->wait_event.events) {
2102 conn->xprt->unsubscribe(conn, conn->xprt_ctx,
2103 qcc->wait_event.events,
2104 &qcc->wait_event);
2105 }
2106
2107 /* liberate remaining qcs instances */
2108 node = eb64_first(&qcc->streams_by_id);
2109 while (node) {
2110 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
2111 node = eb64_next(node);
2112 qcs_free(qcs);
2113 }
2114
2115 while (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
2116 struct quic_frame *frm = LIST_ELEM(qcc->lfctl.frms.n, struct quic_frame *, list);
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01002117 qc_frm_free(&frm);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002118 }
2119
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002120 if (qcc->app_ops && qcc->app_ops->release)
2121 qcc->app_ops->release(qcc->ctx);
2122 TRACE_PROTO("application layer released", QMUX_EV_QCC_END, conn);
2123
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002124 pool_free(pool_head_qcc, qcc);
2125
2126 if (conn) {
2127 LIST_DEL_INIT(&conn->stopping_list);
2128
2129 conn->handle.qc->conn = NULL;
2130 conn->mux = NULL;
2131 conn->ctx = NULL;
2132
2133 TRACE_DEVEL("freeing conn", QMUX_EV_QCC_END, conn);
2134
2135 conn_stop_tracking(conn);
2136 conn_full_close(conn);
2137 if (conn->destroy_cb)
2138 conn->destroy_cb(conn);
2139 conn_free(conn);
2140 }
2141
2142 TRACE_LEAVE(QMUX_EV_QCC_END);
2143}
2144
Willy Tarreau41e701e2022-09-08 15:12:59 +02002145struct task *qc_io_cb(struct task *t, void *ctx, unsigned int status)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002146{
Amaury Denoyelle769e9ff2021-10-05 11:43:50 +02002147 struct qcc *qcc = ctx;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002148
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002149 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002150
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002151 qc_send(qcc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002152
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002153 qc_recv(qcc);
2154
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002155 if (qc_process(qcc)) {
2156 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
2157 goto release;
2158 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002159
2160 qcc_refresh_timeout(qcc);
2161
Amaury Denoyelled3973852022-07-25 14:56:54 +02002162 end:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002163 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
2164 return NULL;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002165
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002166 release:
2167 qc_release(qcc);
2168 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002169 return NULL;
2170}
2171
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002172static struct task *qc_timeout_task(struct task *t, void *ctx, unsigned int state)
2173{
2174 struct qcc *qcc = ctx;
2175 int expired = tick_is_expired(t->expire, now_ms);
2176
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002177 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc ? qcc->conn : NULL);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002178
2179 if (qcc) {
2180 if (!expired) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002181 TRACE_DEVEL("not expired", QMUX_EV_QCC_WAKE, qcc->conn);
2182 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002183 }
2184
2185 if (!qcc_may_expire(qcc)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002186 TRACE_DEVEL("cannot expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002187 t->expire = TICK_ETERNITY;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002188 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002189 }
2190 }
2191
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002192 task_destroy(t);
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002193
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002194 if (!qcc) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002195 TRACE_DEVEL("no more qcc", QMUX_EV_QCC_WAKE);
2196 goto out;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002197 }
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002198
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002199 qcc->task = NULL;
2200
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002201 /* TODO depending on the timeout condition, different shutdown mode
2202 * should be used. For http keep-alive or disabled proxy, a graceful
2203 * shutdown should occurs. For all other cases, an immediate close
2204 * seems legitimate.
2205 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002206 if (qcc_is_dead(qcc)) {
2207 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002208 qc_release(qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002209 }
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002210
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002211 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002212 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002213 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002214
2215 requeue:
2216 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
2217 return t;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002218}
2219
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002220static int qc_init(struct connection *conn, struct proxy *prx,
2221 struct session *sess, struct buffer *input)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002222{
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002223 struct qcc *qcc;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002224 struct quic_transport_params *lparams, *rparams;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002225
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002226 TRACE_ENTER(QMUX_EV_QCC_NEW);
2227
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002228 qcc = pool_alloc(pool_head_qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002229 if (!qcc) {
2230 TRACE_ERROR("alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002231 goto fail_no_qcc;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002232 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002233
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002234 qcc->conn = conn;
2235 conn->ctx = qcc;
Amaury Denoyellec603de42022-07-25 11:21:46 +02002236 qcc->nb_hreq = qcc->nb_sc = 0;
Amaury Denoyellece1f30d2022-02-01 15:14:24 +01002237 qcc->flags = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002238
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002239 qcc->app_ops = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002240
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002241 qcc->streams_by_id = EB_ROOT_UNIQUE;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002242
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002243 /* Server parameters, params used for RX flow control. */
Willy Tarreau784b8682022-04-11 14:18:10 +02002244 lparams = &conn->handle.qc->rx.params;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002245
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002246 qcc->rx.max_data = lparams->initial_max_data;
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02002247 qcc->tx.sent_offsets = qcc->tx.offsets = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002248
2249 /* Client initiated streams must respect the server flow control. */
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002250 qcc->strms[QCS_CLT_BIDI].max_streams = lparams->initial_max_streams_bidi;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002251 qcc->strms[QCS_CLT_BIDI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002252 qcc->strms[QCS_CLT_BIDI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002253 qcc->strms[QCS_CLT_BIDI].tx.max_data = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002254
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002255 qcc->strms[QCS_CLT_UNI].max_streams = lparams->initial_max_streams_uni;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002256 qcc->strms[QCS_CLT_UNI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002257 qcc->strms[QCS_CLT_UNI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002258 qcc->strms[QCS_CLT_UNI].tx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002259
2260 /* Server initiated streams must respect the server flow control. */
2261 qcc->strms[QCS_SRV_BIDI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002262 qcc->strms[QCS_SRV_BIDI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002263 qcc->strms[QCS_SRV_BIDI].rx.max_data = lparams->initial_max_stream_data_bidi_local;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002264 qcc->strms[QCS_SRV_BIDI].tx.max_data = 0;
2265
2266 qcc->strms[QCS_SRV_UNI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002267 qcc->strms[QCS_SRV_UNI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002268 qcc->strms[QCS_SRV_UNI].rx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002269 qcc->strms[QCS_SRV_UNI].tx.max_data = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002270
Amaury Denoyellec985cb12022-05-16 14:29:59 +02002271 LIST_INIT(&qcc->lfctl.frms);
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002272 qcc->lfctl.ms_bidi = qcc->lfctl.ms_bidi_init = lparams->initial_max_streams_bidi;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02002273 qcc->lfctl.ms_uni = lparams->initial_max_streams_uni;
Amaury Denoyelle44d09122022-04-26 11:21:10 +02002274 qcc->lfctl.msd_bidi_l = lparams->initial_max_stream_data_bidi_local;
2275 qcc->lfctl.msd_bidi_r = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002276 qcc->lfctl.msd_uni_r = lparams->initial_max_stream_data_uni;
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002277 qcc->lfctl.cl_bidi_r = 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01002278
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002279 qcc->lfctl.md = qcc->lfctl.md_init = lparams->initial_max_data;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02002280 qcc->lfctl.offsets_recv = qcc->lfctl.offsets_consume = 0;
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002281
Willy Tarreau784b8682022-04-11 14:18:10 +02002282 rparams = &conn->handle.qc->tx.params;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01002283 qcc->rfctl.md = rparams->initial_max_data;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002284 qcc->rfctl.msd_bidi_l = rparams->initial_max_stream_data_bidi_local;
2285 qcc->rfctl.msd_bidi_r = rparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002286 qcc->rfctl.msd_uni_l = rparams->initial_max_stream_data_uni;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002287
Amaury Denoyellea509ffb2022-07-04 15:50:33 +02002288 if (conn_is_back(conn)) {
2289 qcc->next_bidi_l = 0x00;
2290 qcc->largest_bidi_r = 0x01;
2291 qcc->next_uni_l = 0x02;
2292 qcc->largest_uni_r = 0x03;
2293 }
2294 else {
2295 qcc->largest_bidi_r = 0x00;
2296 qcc->next_bidi_l = 0x01;
2297 qcc->largest_uni_r = 0x02;
2298 qcc->next_uni_l = 0x03;
2299 }
2300
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002301 qcc->wait_event.tasklet = tasklet_new();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002302 if (!qcc->wait_event.tasklet) {
2303 TRACE_ERROR("taslket alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002304 goto fail_no_tasklet;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002305 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002306
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002307 LIST_INIT(&qcc->send_list);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02002308
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002309 qcc->wait_event.tasklet->process = qc_io_cb;
2310 qcc->wait_event.tasklet->context = qcc;
Frédéric Lécaillef27b66f2022-03-18 22:49:22 +01002311 qcc->wait_event.events = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002312
Amaury Denoyelle07bf8f42022-07-22 16:16:03 +02002313 qcc->proxy = prx;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002314 /* haproxy timeouts */
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002315 qcc->task = NULL;
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +01002316 if (conn_is_back(qcc->conn)) {
2317 qcc->timeout = prx->timeout.server;
2318 qcc->shut_timeout = tick_isset(prx->timeout.serverfin) ?
2319 prx->timeout.serverfin : prx->timeout.server;
2320 }
2321 else {
2322 qcc->timeout = prx->timeout.client;
2323 qcc->shut_timeout = tick_isset(prx->timeout.clientfin) ?
2324 prx->timeout.clientfin : prx->timeout.client;
2325 }
2326
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002327 if (tick_isset(qcc->timeout)) {
2328 qcc->task = task_new_here();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002329 if (!qcc->task) {
2330 TRACE_ERROR("timeout task alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002331 goto fail_no_timeout_task;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002332 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002333 qcc->task->process = qc_timeout_task;
2334 qcc->task->context = qcc;
2335 qcc->task->expire = tick_add(now_ms, qcc->timeout);
2336 }
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +02002337 qcc_reset_idle_start(qcc);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02002338 LIST_INIT(&qcc->opening_list);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002339
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002340 if (!conn_is_back(conn)) {
2341 if (!LIST_INLIST(&conn->stopping_list)) {
2342 LIST_APPEND(&mux_stopping_data[tid].list,
2343 &conn->stopping_list);
2344 }
2345 }
2346
Willy Tarreau784b8682022-04-11 14:18:10 +02002347 HA_ATOMIC_STORE(&conn->handle.qc->qcc, qcc);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002348
2349 if (qcc_install_app_ops(qcc, conn->handle.qc->app_ops)) {
2350 TRACE_PROTO("Cannot install app layer", QMUX_EV_QCC_NEW, qcc->conn);
2351 /* prepare a CONNECTION_CLOSE frame */
2352 quic_set_connection_close(conn->handle.qc, quic_err_transport(QC_ERR_APPLICATION_ERROR));
2353 goto fail_install_app_ops;
2354 }
2355
Frédéric Lécaille9969adb2023-01-18 11:52:21 +01002356 if (qcc->app_ops == &h3_ops)
2357 proxy_inc_fe_cum_sess_ver_ctr(sess->listener, prx, 3);
2358
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002359 /* init read cycle */
2360 tasklet_wakeup(qcc->wait_event.tasklet);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002361
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002362 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002363 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002364
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002365 fail_install_app_ops:
2366 if (qcc->app_ops && qcc->app_ops->release)
2367 qcc->app_ops->release(qcc->ctx);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002368 fail_no_timeout_task:
2369 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002370 fail_no_tasklet:
2371 pool_free(pool_head_qcc, qcc);
2372 fail_no_qcc:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002373 TRACE_LEAVE(QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002374 return -1;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002375}
2376
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002377static void qc_destroy(void *ctx)
2378{
2379 struct qcc *qcc = ctx;
2380
2381 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
2382 qc_release(qcc);
2383 TRACE_LEAVE(QMUX_EV_QCC_END);
2384}
2385
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002386static void qc_detach(struct sedesc *sd)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002387{
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002388 struct qcs *qcs = sd->se;
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002389 struct qcc *qcc = qcs->qcc;
2390
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002391 TRACE_ENTER(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002392
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002393 /* TODO this BUG_ON_HOT() is not correct as the stconn layer may detach
2394 * from the stream even if it is not closed remotely at the QUIC layer.
2395 * This happens for example when a stream must be closed due to a
2396 * rejected request. To better handle these cases, it will be required
2397 * to implement shutr/shutw MUX operations. Once this is done, this
2398 * BUG_ON_HOT() statement can be adjusted.
2399 */
2400 //BUG_ON_HOT(!qcs_is_close_remote(qcs));
Amaury Denoyellec603de42022-07-25 11:21:46 +02002401
2402 qcc_rm_sc(qcc);
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002403
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02002404 if (!qcs_is_close_local(qcs) && !(qcc->conn->flags & CO_FL_ERROR)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002405 TRACE_STATE("remaining data, detaching qcs", QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002406 qcs->flags |= QC_SF_DETACH;
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002407 qcc_refresh_timeout(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002408
2409 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002410 return;
2411 }
2412
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002413 qcs_destroy(qcs);
Amaury Denoyelle1136e922022-02-01 10:33:09 +01002414
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002415 if (qcc_is_dead(qcc)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002416 TRACE_STATE("killing dead connection", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002417 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002418 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002419 else if (qcc->task) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002420 TRACE_DEVEL("refreshing connection's timeout", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002421 qcc_refresh_timeout(qcc);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002422 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002423 else {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002424 TRACE_DEVEL("completed", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002425 }
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002426
2427 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002428 return;
2429
2430 release:
2431 qc_release(qcc);
2432 TRACE_LEAVE(QMUX_EV_STRM_END);
2433 return;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002434}
2435
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002436/* Called from the upper layer, to receive data */
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002437static size_t qc_recv_buf(struct stconn *sc, struct buffer *buf,
2438 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002439{
Willy Tarreau3215e732022-05-27 10:09:11 +02002440 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002441 size_t ret = 0;
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002442 char fin = 0;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002443
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002444 TRACE_ENTER(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002445
Amaury Denoyelled80fbca2022-09-19 17:02:28 +02002446 ret = qcs_http_rcv_buf(qcs, buf, count, &fin);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002447
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002448 if (b_data(&qcs->rx.app_buf)) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002449 se_fl_set(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002450 }
2451 else {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002452 se_fl_clr(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
2453 if (se_fl_test(qcs->sd, SE_FL_ERR_PENDING))
2454 se_fl_set(qcs->sd, SE_FL_ERROR);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002455
Amaury Denoyelle72a78e82022-07-29 15:34:12 +02002456 /* Set end-of-input if FIN received and all data extracted. */
Christopher Faulet85eabfb2023-02-23 14:52:09 +01002457 if (fin) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002458 se_fl_set(qcs->sd, SE_FL_EOI);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002459
Christopher Faulet85eabfb2023-02-23 14:52:09 +01002460 /* If request EOM is reported to the upper layer, it means the
2461 * QCS now expects data from the opposite side.
2462 */
2463 se_expect_data(qcs->sd);
2464 }
2465
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002466 if (b_size(&qcs->rx.app_buf)) {
2467 b_free(&qcs->rx.app_buf);
2468 offer_buffers(NULL, 1);
2469 }
2470 }
2471
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002472 if (ret) {
2473 qcs->flags &= ~QC_SF_DEM_FULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002474 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002475 }
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002476
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002477 TRACE_LEAVE(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
2478
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002479 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002480}
2481
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002482static size_t qc_send_buf(struct stconn *sc, struct buffer *buf,
2483 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002484{
Willy Tarreau3215e732022-05-27 10:09:11 +02002485 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002486 size_t ret;
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002487 char fin;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002488
2489 TRACE_ENTER(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002490
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02002491 /* stream layer has been detached so no transfer must occur after. */
2492 BUG_ON_HOT(qcs->flags & QC_SF_DETACH);
2493
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002494 if (qcs_is_close_local(qcs) || (qcs->flags & QC_SF_TO_RESET)) {
Amaury Denoyelle0ed617a2022-09-20 14:46:40 +02002495 ret = qcs_http_reset_buf(qcs, buf, count);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002496 goto end;
2497 }
2498
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002499 ret = qcs_http_snd_buf(qcs, buf, count, &fin);
2500 if (fin)
2501 qcs->flags |= QC_SF_FIN_STREAM;
2502
Amaury Denoyelleab6cdec2023-01-10 10:41:41 +01002503 if (ret || fin) {
Amaury Denoyellef9b03262023-01-09 10:34:25 +01002504 qcc_send_stream(qcs, 0);
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002505 if (!(qcs->qcc->wait_event.events & SUB_RETRY_SEND))
2506 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
2507 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002508
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002509 end:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002510 TRACE_LEAVE(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2511
2512 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002513}
2514
2515/* Called from the upper layer, to subscribe <es> to events <event_type>. The
2516 * event subscriber <es> is not allowed to change from a previous call as long
2517 * as at least one event is still subscribed. The <event_type> must only be a
2518 * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0.
2519 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002520static int qc_subscribe(struct stconn *sc, int event_type,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002521 struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002522{
Willy Tarreau3215e732022-05-27 10:09:11 +02002523 return qcs_subscribe(__sc_mux_strm(sc), event_type, es);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002524}
2525
2526/* Called from the upper layer, to unsubscribe <es> from events <event_type>.
2527 * The <es> pointer is not allowed to differ from the one passed to the
2528 * subscribe() call. It always returns zero.
2529 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002530static int qc_unsubscribe(struct stconn *sc, int event_type, struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002531{
Willy Tarreau3215e732022-05-27 10:09:11 +02002532 struct qcs *qcs = __sc_mux_strm(sc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002533
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002534 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
2535 BUG_ON(qcs->subs && qcs->subs != es);
2536
2537 es->events &= ~event_type;
2538 if (!es->events)
2539 qcs->subs = NULL;
2540
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002541 return 0;
2542}
2543
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002544/* Loop through all qcs from <qcc>. If CO_FL_ERROR is set on the connection,
Willy Tarreau4596fe22022-05-17 19:07:51 +02002545 * report SE_FL_ERR_PENDING|SE_FL_ERROR on the attached stream connectors and
2546 * wake them.
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002547 */
2548static int qc_wake_some_streams(struct qcc *qcc)
2549{
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002550 struct qcs *qcs;
2551 struct eb64_node *node;
2552
2553 for (node = eb64_first(&qcc->streams_by_id); node;
2554 node = eb64_next(node)) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02002555 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002556
Amaury Denoyelle3abeb572022-07-04 11:42:27 +02002557 if (!qcs_sc(qcs))
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002558 continue;
2559
2560 if (qcc->conn->flags & CO_FL_ERROR) {
Willy Tarreau35c4dd02023-01-17 16:25:29 +01002561 se_fl_set_error(qcs->sd);
Amaury Denoyelle4561f842022-07-06 14:54:34 +02002562 qcs_alert(qcs);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002563 }
2564 }
2565
2566 return 0;
2567}
2568
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002569static int qc_wake(struct connection *conn)
2570{
2571 struct qcc *qcc = conn->ctx;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002572
2573 TRACE_ENTER(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002574
Willy Tarreau784b8682022-04-11 14:18:10 +02002575 if (conn->handle.qc->flags & QUIC_FL_CONN_NOTIFY_CLOSE)
Amaury Denoyelleb515b0a2022-04-06 10:28:43 +02002576 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2577
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002578 qc_send(qcc);
2579
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002580 if (qc_process(qcc)) {
2581 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002582 goto release;
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002583 }
2584
2585 qc_wake_some_streams(qcc);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002586
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002587 qcc_refresh_timeout(qcc);
2588
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002589 TRACE_LEAVE(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002590 return 0;
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002591
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002592 release:
2593 qc_release(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002594 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002595 return 1;
2596}
2597
Amaury Denoyellea473f192022-12-21 10:21:58 +01002598static void qc_shutw(struct stconn *sc, enum co_shw_mode mode)
2599{
2600 struct qcs *qcs = __sc_mux_strm(sc);
2601
2602 TRACE_ENTER(QMUX_EV_STRM_SHUT, qcs->qcc->conn, qcs);
2603
2604 /* If QC_SF_FIN_STREAM is not set and stream is not closed locally, it
2605 * means that upper layer reported an early closure. A RESET_STREAM is
2606 * necessary if not already scheduled.
2607 */
2608
2609 if (!qcs_is_close_local(qcs) &&
2610 !(qcs->flags & (QC_SF_FIN_STREAM|QC_SF_TO_RESET))) {
2611 qcc_reset_stream(qcs, 0);
2612 se_fl_set_error(qcs->sd);
2613 }
2614
2615 TRACE_LEAVE(QMUX_EV_STRM_SHUT, qcs->qcc->conn, qcs);
2616}
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002617
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002618/* for debugging with CLI's "show sess" command. May emit multiple lines, each
2619 * new one being prefixed with <pfx>, if <pfx> is not NULL, otherwise a single
2620 * line is used. Each field starts with a space so it's safe to print it after
2621 * existing fields.
2622 */
2623static int qc_show_sd(struct buffer *msg, struct sedesc *sd, const char *pfx)
2624{
2625 struct qcs *qcs = sd->se;
2626 struct qcc *qcc;
2627 int ret = 0;
2628
2629 if (!qcs)
2630 return ret;
2631
2632 chunk_appendf(msg, " qcs=%p .flg=%#x .id=%llu .st=%s .ctx=%p, .err=%#llx",
2633 qcs, qcs->flags, (ull)qcs->id, qcs_st_to_str(qcs->st), qcs->ctx, (ull)qcs->err);
2634
2635 if (pfx)
2636 chunk_appendf(msg, "\n%s", pfx);
2637
2638 qcc = qcs->qcc;
2639 chunk_appendf(msg, " qcc=%p .flg=%#x .nbsc=%llu .nbhreq=%llu, .task=%p",
2640 qcc, qcc->flags, (ull)qcc->nb_sc, (ull)qcc->nb_hreq, qcc->task);
2641 return ret;
2642}
2643
2644
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002645static const struct mux_ops qc_ops = {
2646 .init = qc_init,
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002647 .destroy = qc_destroy,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002648 .detach = qc_detach,
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002649 .rcv_buf = qc_recv_buf,
2650 .snd_buf = qc_send_buf,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002651 .subscribe = qc_subscribe,
2652 .unsubscribe = qc_unsubscribe,
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002653 .wake = qc_wake,
Amaury Denoyellea473f192022-12-21 10:21:58 +01002654 .shutw = qc_shutw,
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002655 .show_sd = qc_show_sd,
Willy Tarreaub5821e12022-04-26 11:54:08 +02002656 .flags = MX_FL_HTX|MX_FL_NO_UPG|MX_FL_FRAMED,
Willy Tarreau671bd5a2022-04-11 09:29:21 +02002657 .name = "QUIC",
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002658};
2659
2660static struct mux_proto_list mux_proto_quic =
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002661 { .token = IST("quic"), .mode = PROTO_MODE_HTTP, .side = PROTO_SIDE_FE, .mux = &qc_ops };
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002662
2663INITCALL1(STG_REGISTER, register_mux_proto, &mux_proto_quic);