blob: 7c74bc4ad291c45e16baf708324c8af3af8a3616 [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 Denoyelle1a2faef2023-05-15 15:17:28 +020022#include <haproxy/time.h>
Amaury Denoyelledd4fbfb2022-03-24 16:09:16 +010023#include <haproxy/trace.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +010024
Amaury Denoyelledeed7772021-12-03 11:36:46 +010025DECLARE_POOL(pool_head_qcc, "qcc", sizeof(struct qcc));
Frédéric Lécailledfbae762021-02-18 09:59:01 +010026DECLARE_POOL(pool_head_qcs, "qcs", sizeof(struct qcs));
27
Amaury Denoyelle4b167002022-12-12 09:59:50 +010028static void qc_free_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
29{
30 struct buffer buf;
31
32 if (ncb_is_null(ncbuf))
33 return;
34
35 buf = b_make(ncbuf->area, ncbuf->size, 0, 0);
36 b_free(&buf);
37 offer_buffers(NULL, 1);
38
39 *ncbuf = NCBUF_NULL;
40}
41
42/* Free <qcs> instance. This function is reserved for internal usage : it must
43 * only be called on qcs alloc error or on connection shutdown. Else
Ilya Shipitsin07be66d2023-04-01 12:26:42 +020044 * qcs_destroy must be preferred to handle QUIC flow-control increase.
Amaury Denoyelle4b167002022-12-12 09:59:50 +010045 */
46static void qcs_free(struct qcs *qcs)
47{
48 struct qcc *qcc = qcs->qcc;
49
50 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn, qcs);
51
Amaury Denoyelle15337fd2022-12-20 14:47:16 +010052 /* Safe to use even if already removed from the list. */
53 LIST_DEL_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +010054 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelle4b167002022-12-12 09:59:50 +010055
56 /* Release stream endpoint descriptor. */
57 BUG_ON(qcs->sd && !se_fl_test(qcs->sd, SE_FL_ORPHAN));
58 sedesc_free(qcs->sd);
59
60 /* Release app-layer context. */
61 if (qcs->ctx && qcc->app_ops->detach)
62 qcc->app_ops->detach(qcs);
63
64 /* Release qc_stream_desc buffer from quic-conn layer. */
65 qc_stream_desc_release(qcs->stream);
66
67 /* Free Rx/Tx buffers. */
68 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
69 b_free(&qcs->tx.buf);
70
71 BUG_ON(!qcc->strms[qcs_id_type(qcs->id)].nb_streams);
72 --qcc->strms[qcs_id_type(qcs->id)].nb_streams;
73
74 /* Remove qcs from qcc tree. */
75 eb64_delete(&qcs->by_id);
76
77 pool_free(pool_head_qcs, qcs);
78
79 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
80}
81
Amaury Denoyelledeed7772021-12-03 11:36:46 +010082/* Allocate a new QUIC streams with id <id> and type <type>. */
Amaury Denoyellea509ffb2022-07-04 15:50:33 +020083static struct qcs *qcs_new(struct qcc *qcc, uint64_t id, enum qcs_type type)
Frédéric Lécailledfbae762021-02-18 09:59:01 +010084{
Amaury Denoyelledeed7772021-12-03 11:36:46 +010085 struct qcs *qcs;
Frédéric Lécailledfbae762021-02-18 09:59:01 +010086
Amaury Denoyelle4f137572022-03-24 17:10:00 +010087 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
88
Amaury Denoyelledeed7772021-12-03 11:36:46 +010089 qcs = pool_alloc(pool_head_qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020090 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +020091 TRACE_ERROR("alloc failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +020092 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020093 }
Amaury Denoyelle17014a62022-04-27 15:09:27 +020094
95 qcs->stream = NULL;
96 qcs->qcc = qcc;
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +020097 qcs->sd = NULL;
Amaury Denoyelle17014a62022-04-27 15:09:27 +020098 qcs->flags = QC_SF_NONE;
Amaury Denoyelle38e60062022-07-01 16:48:42 +020099 qcs->st = QC_SS_IDLE;
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200100 qcs->ctx = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100101
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200102 /* App callback attach may register the stream for http-request wait.
103 * These fields must be initialed before.
104 */
105 LIST_INIT(&qcs->el_opening);
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100106 LIST_INIT(&qcs->el_send);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200107 qcs->start = TICK_ETERNITY;
108
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100109 /* store transport layer stream descriptor in qcc tree */
110 qcs->id = qcs->by_id.key = id;
111 eb64_insert(&qcc->streams_by_id, &qcs->by_id);
112
113 qcc->strms[type].nb_streams++;
114
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200115 /* Allocate transport layer stream descriptor. Only needed for TX. */
116 if (!quic_stream_is_uni(id) || !quic_stream_is_remote(qcc, id)) {
117 struct quic_conn *qc = qcc->conn->handle.qc;
118 qcs->stream = qc_stream_desc_new(id, type, qcs, qc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200119 if (!qcs->stream) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200120 TRACE_ERROR("qc_stream_desc alloc failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200121 goto err;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200122 }
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200123 }
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200124
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100125 /* If stream is local, use peer remote-limit, or else the opposite. */
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200126 if (quic_stream_is_bidi(id)) {
127 qcs->tx.msd = quic_stream_is_local(qcc, id) ? qcc->rfctl.msd_bidi_r :
128 qcc->rfctl.msd_bidi_l;
129 }
130 else if (quic_stream_is_local(qcc, id)) {
131 qcs->tx.msd = qcc->rfctl.msd_uni_l;
132 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +0100133
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200134 qcs->rx.ncbuf = NCBUF_NULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +0100135 qcs->rx.app_buf = BUF_NULL;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200136 qcs->rx.offset = qcs->rx.offset_max = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100137
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200138 if (quic_stream_is_bidi(id)) {
139 qcs->rx.msd = quic_stream_is_local(qcc, id) ? qcc->lfctl.msd_bidi_l :
140 qcc->lfctl.msd_bidi_r;
141 }
142 else if (quic_stream_is_remote(qcc, id)) {
143 qcs->rx.msd = qcc->lfctl.msd_uni_r;
144 }
Amaury Denoyellea9773552022-05-16 14:38:25 +0200145 qcs->rx.msd_init = qcs->rx.msd;
Amaury Denoyelle44d09122022-04-26 11:21:10 +0200146
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100147 qcs->tx.buf = BUF_NULL;
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100148 qcs->tx.offset = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +0100149 qcs->tx.sent_offset = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100150
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100151 qcs->wait_event.tasklet = NULL;
152 qcs->wait_event.events = 0;
153 qcs->subs = NULL;
154
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200155 qcs->err = 0;
156
Amaury Denoyelle3d550842023-01-24 17:42:21 +0100157 if (qcc->app_ops->attach && qcc->app_ops->attach(qcs, qcc->ctx)) {
158 TRACE_ERROR("app proto failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
159 goto err;
160 }
161
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100162 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100163 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100164 return qcs;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200165
166 err:
Amaury Denoyelle4b167002022-12-12 09:59:50 +0100167 qcs_free(qcs);
168 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200169 return NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100170}
171
Amaury Denoyelle3abeb572022-07-04 11:42:27 +0200172static forceinline struct stconn *qcs_sc(const struct qcs *qcs)
173{
174 return qcs->sd ? qcs->sd->sc : NULL;
175}
176
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200177/* Reset the <qcc> inactivity timeout for http-keep-alive timeout. */
178static forceinline void qcc_reset_idle_start(struct qcc *qcc)
179{
180 qcc->idle_start = now_ms;
181}
182
Amaury Denoyellec603de42022-07-25 11:21:46 +0200183/* Decrement <qcc> sc. */
184static forceinline void qcc_rm_sc(struct qcc *qcc)
185{
Amaury Denoyelle8d6d2462023-05-11 16:55:30 +0200186 BUG_ON(!qcc->nb_sc); /* Ensure sc count is always valid (ie >=0). */
Amaury Denoyellec603de42022-07-25 11:21:46 +0200187 --qcc->nb_sc;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200188
189 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
190 * refreshed after this on stream detach.
191 */
192 if (!qcc->nb_sc && !qcc->nb_hreq)
193 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200194}
195
196/* Decrement <qcc> hreq. */
197static forceinline void qcc_rm_hreq(struct qcc *qcc)
198{
Amaury Denoyelle8d6d2462023-05-11 16:55:30 +0200199 BUG_ON(!qcc->nb_hreq); /* Ensure http req count is always valid (ie >=0). */
Amaury Denoyellec603de42022-07-25 11:21:46 +0200200 --qcc->nb_hreq;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200201
202 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
203 * refreshed after this on I/O handler.
204 */
205 if (!qcc->nb_sc && !qcc->nb_hreq)
206 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200207}
208
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200209static inline int qcc_is_dead(const struct qcc *qcc)
210{
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200211 /* Maintain connection if stream endpoints are still active. */
212 if (qcc->nb_sc)
213 return 0;
214
215 /* Connection considered dead if either :
216 * - remote error detected at tranport level
217 * - error detected locally
218 * - MUX timeout expired or unset
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200219 */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +0200220 if (qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL_DONE) ||
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200221 !qcc->task) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200222 return 1;
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200223 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200224
225 return 0;
226}
227
228/* Return true if the mux timeout should be armed. */
229static inline int qcc_may_expire(struct qcc *qcc)
230{
231 return !qcc->nb_sc;
232}
233
234/* Refresh the timeout on <qcc> if needed depending on its state. */
235static void qcc_refresh_timeout(struct qcc *qcc)
236{
237 const struct proxy *px = qcc->proxy;
238
239 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
240
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200241 if (!qcc->task) {
242 TRACE_DEVEL("already expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200243 goto leave;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200244 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200245
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200246 /* Check if upper layer is responsible of timeout management. */
247 if (!qcc_may_expire(qcc)) {
248 TRACE_DEVEL("not eligible for timeout", QMUX_EV_QCC_WAKE, qcc->conn);
249 qcc->task->expire = TICK_ETERNITY;
250 task_queue(qcc->task);
251 goto leave;
252 }
253
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200254 /* Frontend timeout management
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100255 * - shutdown done -> timeout client-fin
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200256 * - detached streams with data left to send -> default timeout
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200257 * - stream waiting on incomplete request or no stream yet activated -> timeout http-request
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200258 * - idle after stream processing -> timeout http-keep-alive
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +0100259 *
260 * If proxy stop-stop in progress, immediate or spread close will be
261 * processed if shutdown already one or connection is idle.
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200262 */
263 if (!conn_is_back(qcc->conn)) {
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100264 if (qcc->nb_hreq && !(qcc->flags & QC_CF_APP_SHUT)) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200265 TRACE_DEVEL("one or more requests still in progress", QMUX_EV_QCC_WAKE, qcc->conn);
266 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200267 task_queue(qcc->task);
268 goto leave;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200269 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200270
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100271 if ((!LIST_ISEMPTY(&qcc->opening_list) || unlikely(!qcc->largest_bidi_r)) &&
272 !(qcc->flags & QC_CF_APP_SHUT)) {
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200273 int timeout = px->timeout.httpreq;
274 struct qcs *qcs = NULL;
275 int base_time;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200276
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200277 /* Use start time of first stream waiting on HTTP or
278 * qcc idle if no stream not yet used.
279 */
280 if (likely(!LIST_ISEMPTY(&qcc->opening_list)))
281 qcs = LIST_ELEM(qcc->opening_list.n, struct qcs *, el_opening);
282 base_time = qcs ? qcs->start : qcc->idle_start;
283
284 TRACE_DEVEL("waiting on http request", QMUX_EV_QCC_WAKE, qcc->conn, qcs);
285 qcc->task->expire = tick_add_ifset(base_time, timeout);
286 }
287 else {
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +0100288 if (qcc->flags & QC_CF_APP_SHUT) {
289 TRACE_DEVEL("connection in closing", QMUX_EV_QCC_WAKE, qcc->conn);
290 qcc->task->expire = tick_add_ifset(now_ms,
291 qcc->shut_timeout);
292 }
293 else {
294 /* Use http-request timeout if keep-alive timeout not set */
295 int timeout = tick_isset(px->timeout.httpka) ?
296 px->timeout.httpka : px->timeout.httpreq;
297 TRACE_DEVEL("at least one request achieved but none currently in progress", QMUX_EV_QCC_WAKE, qcc->conn);
298 qcc->task->expire = tick_add_ifset(qcc->idle_start, timeout);
299 }
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +0100300
301 /* If proxy soft-stop in progress and connection is
302 * inactive, close the connection immediately. If a
303 * close-spread-time is configured, randomly spread the
304 * timer over a closing window.
305 */
306 if ((qcc->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED)) &&
307 !(global.tune.options & GTUNE_DISABLE_ACTIVE_CLOSE)) {
308
309 /* Wake timeout task immediately if window already expired. */
310 int remaining_window = tick_isset(global.close_spread_end) ?
311 tick_remain(now_ms, global.close_spread_end) : 0;
312
313 TRACE_DEVEL("proxy disabled, prepare connection soft-stop", QMUX_EV_QCC_WAKE, qcc->conn);
314 if (remaining_window) {
315 /* We don't need to reset the expire if it would
316 * already happen before the close window end.
317 */
318 if (!tick_isset(qcc->task->expire) ||
319 tick_is_le(global.close_spread_end, qcc->task->expire)) {
320 /* Set an expire value shorter than the current value
321 * because the close spread window end comes earlier.
322 */
323 qcc->task->expire = tick_add(now_ms,
324 statistical_prng_range(remaining_window));
325 }
326 }
327 else {
328 /* We are past the soft close window end, wake the timeout
329 * task up immediately.
330 */
331 qcc->task->expire = now_ms;
332 task_wakeup(qcc->task, TASK_WOKEN_TIMER);
333 }
334 }
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200335 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200336 }
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200337
338 /* fallback to default timeout if frontend specific undefined or for
339 * backend connections.
340 */
341 if (!tick_isset(qcc->task->expire)) {
342 TRACE_DEVEL("fallback to default timeout", QMUX_EV_QCC_WAKE, qcc->conn);
343 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200344 }
345
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200346 task_queue(qcc->task);
347
348 leave:
349 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
350}
351
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200352/* Mark a stream as open if it was idle. This can be used on every
353 * successful emission/reception operation to update the stream state.
354 */
355static void qcs_idle_open(struct qcs *qcs)
356{
357 /* This operation must not be used if the stream is already closed. */
358 BUG_ON_HOT(qcs->st == QC_SS_CLO);
359
360 if (qcs->st == QC_SS_IDLE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200361 TRACE_STATE("opening stream", QMUX_EV_QCS_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200362 qcs->st = QC_SS_OPEN;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200363 }
364}
365
366/* Close the local channel of <qcs> instance. */
367static void qcs_close_local(struct qcs *qcs)
368{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200369 TRACE_STATE("closing stream locally", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
370
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200371 /* The stream must have already been opened. */
372 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
373
374 /* This operation cannot be used multiple times. */
375 BUG_ON_HOT(qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO);
376
377 if (quic_stream_is_bidi(qcs->id)) {
378 qcs->st = (qcs->st == QC_SS_HREM) ? QC_SS_CLO : QC_SS_HLOC;
Amaury Denoyelleafb7b9d2022-09-19 11:58:24 +0200379
380 if (qcs->flags & QC_SF_HREQ_RECV)
381 qcc_rm_hreq(qcs->qcc);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200382 }
383 else {
384 /* Only local uni streams are valid for this operation. */
385 BUG_ON_HOT(quic_stream_is_remote(qcs->qcc, qcs->id));
386 qcs->st = QC_SS_CLO;
387 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200388}
389
390/* Close the remote channel of <qcs> instance. */
391static void qcs_close_remote(struct qcs *qcs)
392{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200393 TRACE_STATE("closing stream remotely", QMUX_EV_QCS_RECV, qcs->qcc->conn, qcs);
394
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200395 /* The stream must have already been opened. */
396 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
397
398 /* This operation cannot be used multiple times. */
399 BUG_ON_HOT(qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO);
400
401 if (quic_stream_is_bidi(qcs->id)) {
402 qcs->st = (qcs->st == QC_SS_HLOC) ? QC_SS_CLO : QC_SS_HREM;
403 }
404 else {
405 /* Only remote uni streams are valid for this operation. */
406 BUG_ON_HOT(quic_stream_is_local(qcs->qcc, qcs->id));
407 qcs->st = QC_SS_CLO;
408 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200409}
410
411static int qcs_is_close_local(struct qcs *qcs)
412{
413 return qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO;
414}
415
Amaury Denoyelle6eb3c4b2022-12-09 16:26:03 +0100416static int qcs_is_close_remote(struct qcs *qcs)
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200417{
418 return qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO;
419}
420
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +0200421/* Allocate if needed buffer <bptr> for stream <qcs>.
422 *
423 * Returns the buffer instance or NULL on allocation failure.
424 */
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100425struct buffer *qc_get_buf(struct qcs *qcs, struct buffer *bptr)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100426{
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +0200427 return b_alloc(bptr);
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100428}
429
Amaury Denoyelled00b3092023-05-11 17:00:54 +0200430/* Allocate if needed buffer <ncbuf> for stream <qcs>.
431 *
432 * Returns the buffer instance or NULL on allocation failure.
433 */
Amaury Denoyellea441ec92022-07-04 15:48:57 +0200434static struct ncbuf *qc_get_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200435{
436 struct buffer buf = BUF_NULL;
437
438 if (ncb_is_null(ncbuf)) {
Amaury Denoyelled00b3092023-05-11 17:00:54 +0200439 if (!b_alloc(&buf))
440 return NULL;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200441
442 *ncbuf = ncb_make(buf.area, buf.size, 0);
443 ncb_init(ncbuf, 0);
444 }
445
446 return ncbuf;
447}
448
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500449/* Notify an eventual subscriber on <qcs> or else wakeup up the stconn layer if
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200450 * initialized.
451 */
452static void qcs_alert(struct qcs *qcs)
453{
454 if (qcs->subs) {
455 qcs_notify_recv(qcs);
456 qcs_notify_send(qcs);
457 }
458 else if (qcs_sc(qcs) && qcs->sd->sc->app_ops->wake) {
Amaury Denoyelle2d5c3f52023-05-11 13:41:41 +0200459 TRACE_POINT(QMUX_EV_STRM_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200460 qcs->sd->sc->app_ops->wake(qcs->sd->sc);
461 }
462}
463
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100464int qcs_subscribe(struct qcs *qcs, int event_type, struct wait_event *es)
465{
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100466 struct qcc *qcc = qcs->qcc;
467
468 TRACE_ENTER(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100469
470 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
471 BUG_ON(qcs->subs && qcs->subs != es);
472
473 es->events |= event_type;
474 qcs->subs = es;
475
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100476 if (event_type & SUB_RETRY_RECV)
477 TRACE_DEVEL("subscribe(recv)", QMUX_EV_STRM_RECV, qcc->conn, qcs);
478
479 if (event_type & SUB_RETRY_SEND)
480 TRACE_DEVEL("subscribe(send)", QMUX_EV_STRM_SEND, qcc->conn, qcs);
481
482 TRACE_LEAVE(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
483
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100484 return 0;
485}
486
487void qcs_notify_recv(struct qcs *qcs)
488{
489 if (qcs->subs && qcs->subs->events & SUB_RETRY_RECV) {
Amaury Denoyelle2d5c3f52023-05-11 13:41:41 +0200490 TRACE_POINT(QMUX_EV_STRM_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100491 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) {
Amaury Denoyelle2d5c3f52023-05-11 13:41:41 +0200501 TRACE_POINT(QMUX_EV_STRM_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100502 tasklet_wakeup(qcs->subs->tasklet);
503 qcs->subs->events &= ~SUB_RETRY_SEND;
504 if (!qcs->subs->events)
505 qcs->subs = NULL;
506 }
507}
508
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200509/* A fatal error is detected locally for <qcc> connection. It should be closed
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200510 * with a CONNECTION_CLOSE using <err> code. Set <app> to true to indicate that
511 * the code must be considered as an application level error. This function
512 * must not be called more than once by connection.
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200513 */
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200514void qcc_set_error(struct qcc *qcc, int err, int app)
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200515{
516 /* This must not be called multiple times per connection. */
517 BUG_ON(qcc->flags & QC_CF_ERRL);
518
519 TRACE_STATE("connection on error", QMUX_EV_QCC_ERR, qcc->conn);
520
521 qcc->flags |= QC_CF_ERRL;
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200522 qcc->err = app ? quic_err_app(err) : quic_err_transport(err);
Amaury Denoyelleda24bcf2023-05-09 18:20:45 +0200523
524 /* TODO
525 * Ensure qc_send() will be conducted to convert QC_CF_ERRL in
526 * QC_CF_ERRL_DONE with CONNECTION_CLOSE frame emission. This may be
527 * unnecessary if we are currently in the MUX tasklet context, but it
528 * is too tedious too not forget a wakeup outside of this function for
529 * the moment.
530 */
531 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle51f116d2023-05-04 15:49:02 +0200532}
533
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200534/* Open a locally initiated stream for the connection <qcc>. Set <bidi> for a
535 * bidirectional stream, else an unidirectional stream is opened. The next
536 * available ID on the connection will be used according to the stream type.
537 *
538 * Returns the allocated stream instance or NULL on error.
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100539 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200540struct qcs *qcc_init_stream_local(struct qcc *qcc, int bidi)
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100541{
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200542 struct qcs *qcs;
543 enum qcs_type type;
544 uint64_t *next;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100545
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200546 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
547
548 if (bidi) {
549 next = &qcc->next_bidi_l;
550 type = conn_is_back(qcc->conn) ? QCS_CLT_BIDI : QCS_SRV_BIDI;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100551 }
552 else {
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200553 next = &qcc->next_uni_l;
554 type = conn_is_back(qcc->conn) ? QCS_CLT_UNI : QCS_SRV_UNI;
555 }
556
557 /* TODO ensure that we won't overflow remote peer flow control limit on
558 * streams. Else, we should emit a STREAMS_BLOCKED frame.
559 */
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100560
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200561 qcs = qcs_new(qcc, *next, type);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200562 if (!qcs) {
563 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200564 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200565 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200566 }
Amaury Denoyellec055e302022-02-07 16:09:06 +0100567
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200568 TRACE_PROTO("opening local stream", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200569 *next += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100570
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200571 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200572 return qcs;
573}
574
575/* Open a remote initiated stream for the connection <qcc> with ID <id>. The
576 * caller is responsible to ensure that a stream with the same ID was not
577 * already opened. This function will also create all intermediaries streams
578 * with ID smaller than <id> not already opened before.
579 *
580 * Returns the allocated stream instance or NULL on error.
581 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200582static struct qcs *qcc_init_stream_remote(struct qcc *qcc, uint64_t id)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200583{
584 struct qcs *qcs = NULL;
585 enum qcs_type type;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200586 uint64_t *largest, max_id;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100587
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200588 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200589
Amaury Denoyelle8d6d2462023-05-11 16:55:30 +0200590 /* Function reserved to remote stream IDs. */
591 BUG_ON(quic_stream_is_local(qcc, id));
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100592
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200593 if (quic_stream_is_bidi(id)) {
594 largest = &qcc->largest_bidi_r;
595 type = conn_is_back(qcc->conn) ? QCS_SRV_BIDI : QCS_CLT_BIDI;
596 }
597 else {
598 largest = &qcc->largest_uni_r;
599 type = conn_is_back(qcc->conn) ? QCS_SRV_UNI : QCS_CLT_UNI;
600 }
601
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200602 /* RFC 9000 4.6. Controlling Concurrency
603 *
604 * An endpoint that receives a frame with a stream ID exceeding the
605 * limit it has sent MUST treat this as a connection error of type
606 * STREAM_LIMIT_ERROR
607 */
608 max_id = quic_stream_is_bidi(id) ? qcc->lfctl.ms_bidi * 4 :
609 qcc->lfctl.ms_uni * 4;
610 if (id >= max_id) {
611 TRACE_ERROR("flow control error", QMUX_EV_QCS_NEW|QMUX_EV_PROTO_ERR, qcc->conn);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200612 qcc_set_error(qcc, QC_ERR_STREAM_LIMIT_ERROR, 0);
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200613 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200614 }
615
616 /* Only stream ID not already opened can be used. */
617 BUG_ON(id < *largest);
618
619 while (id >= *largest) {
Amaury Denoyellefd79ddb2022-08-16 11:13:45 +0200620 const char *str = *largest < id ? "initializing intermediary remote stream" :
621 "initializing remote stream";
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200622
623 qcs = qcs_new(qcc, *largest, type);
624 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200625 TRACE_ERROR("stream fallocation failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200626 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200627 goto err;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100628 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200629
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200630 TRACE_PROTO(str, QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200631 *largest += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100632 }
633
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200634 out:
635 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle50742292022-03-29 14:57:19 +0200636 return qcs;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200637
638 err:
639 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
640 return NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200641}
642
Amaury Denoyellebf86d892023-05-12 18:16:31 +0200643struct stconn *qc_attach_sc(struct qcs *qcs, struct buffer *buf, char fin)
Amaury Denoyelle1a2faef2023-05-15 15:17:28 +0200644{
645 struct qcc *qcc = qcs->qcc;
646 struct session *sess = qcc->conn->owner;
647
648 qcs->sd = sedesc_new();
649 if (!qcs->sd)
650 return NULL;
651
652 qcs->sd->se = qcs;
653 qcs->sd->conn = qcc->conn;
654 se_fl_set(qcs->sd, SE_FL_T_MUX | SE_FL_ORPHAN | SE_FL_NOT_FIRST);
655 se_expect_no_data(qcs->sd);
656
657 /* TODO duplicated from mux_h2 */
658 sess->t_idle = ns_to_ms(now_ns - sess->accept_ts) - sess->t_handshake;
659
660 if (!sc_new_from_endp(qcs->sd, sess, buf))
661 return NULL;
662
663 /* QC_SF_HREQ_RECV must be set once for a stream. Else, nb_hreq counter
664 * will be incorrect for the connection.
665 */
666 BUG_ON_HOT(qcs->flags & QC_SF_HREQ_RECV);
667 qcs->flags |= QC_SF_HREQ_RECV;
668 ++qcc->nb_sc;
669 ++qcc->nb_hreq;
670
671 /* TODO duplicated from mux_h2 */
672 sess->accept_date = date;
673 sess->accept_ts = now_ns;
674 sess->t_handshake = 0;
675 sess->t_idle = 0;
676
677 /* A stream must have been registered for HTTP wait before attaching
678 * it to sedesc. See <qcs_wait_http_req> for more info.
679 */
680 BUG_ON_HOT(!LIST_INLIST(&qcs->el_opening));
681 LIST_DEL_INIT(&qcs->el_opening);
682
Amaury Denoyellebf86d892023-05-12 18:16:31 +0200683 if (fin) {
684 TRACE_STATE("report end-of-input", QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyelle8de35922023-05-24 10:48:52 +0200685 se_fl_set(qcs->sd, SE_FL_EOI|SE_FL_EOS);
Amaury Denoyellebf86d892023-05-12 18:16:31 +0200686 }
687
Amaury Denoyelle1a2faef2023-05-15 15:17:28 +0200688 return qcs->sd->sc;
689}
690
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200691/* Use this function for a stream <id> which is not in <qcc> stream tree. It
692 * returns true if the associated stream is closed.
693 */
694static int qcc_stream_id_is_closed(struct qcc *qcc, uint64_t id)
695{
696 uint64_t *largest;
697
698 /* This function must only be used for stream not present in the stream tree. */
699 BUG_ON_HOT(eb64_lookup(&qcc->streams_by_id, id));
700
701 if (quic_stream_is_local(qcc, id)) {
702 largest = quic_stream_is_uni(id) ? &qcc->next_uni_l :
703 &qcc->next_bidi_l;
704 }
705 else {
706 largest = quic_stream_is_uni(id) ? &qcc->largest_uni_r :
707 &qcc->largest_bidi_r;
708 }
709
710 return id < *largest;
711}
712
713/* Retrieve the stream instance from <id> ID. This can be used when receiving
714 * STREAM, STREAM_DATA_BLOCKED, RESET_STREAM, MAX_STREAM_DATA or STOP_SENDING
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200715 * frames. Set to false <receive_only> or <send_only> if these particular types
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200716 * of streams are not allowed. If the stream instance is found, it is stored in
717 * <out>.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200718 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200719 * Returns 0 on success else non-zero. On error, a RESET_STREAM or a
720 * CONNECTION_CLOSE is automatically emitted. Beware that <out> may be NULL
721 * on success if the stream has already been closed.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200722 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200723int qcc_get_qcs(struct qcc *qcc, uint64_t id, int receive_only, int send_only,
724 struct qcs **out)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200725{
726 struct eb64_node *node;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200727
728 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200729 *out = NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200730
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200731 if (!receive_only && quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200732 TRACE_ERROR("receive-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200733 qcc_set_error(qcc, QC_ERR_STREAM_STATE_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200734 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200735 }
736
737 if (!send_only && quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200738 TRACE_ERROR("send-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200739 qcc_set_error(qcc, QC_ERR_STREAM_STATE_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200740 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200741 }
742
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200743 /* Search the stream in the connection tree. */
744 node = eb64_lookup(&qcc->streams_by_id, id);
745 if (node) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200746 *out = eb64_entry(node, struct qcs, by_id);
747 TRACE_DEVEL("using stream from connection tree", QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200748 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200749 }
750
751 /* Check if stream is already closed. */
752 if (qcc_stream_id_is_closed(qcc, id)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200753 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200754 /* Consider this as a success even if <out> is left NULL. */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200755 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200756 }
757
758 /* Create the stream. This is valid only for remote initiated one. A
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500759 * local stream must have already been explicitly created by the
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200760 * application protocol layer.
761 */
762 if (quic_stream_is_local(qcc, id)) {
763 /* RFC 9000 19.8. STREAM Frames
764 *
765 * An endpoint MUST terminate the connection with error
766 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
767 * initiated stream that has not yet been created, or for a send-only
768 * stream.
769 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200770 TRACE_ERROR("locally initiated stream not yet created", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200771 qcc_set_error(qcc, QC_ERR_STREAM_STATE_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200772 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200773 }
774 else {
775 /* Remote stream not found - try to open it. */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200776 *out = qcc_init_stream_remote(qcc, id);
777 if (!*out) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200778 TRACE_ERROR("stream creation error", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200779 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200780 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200781 }
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100782
783 out:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200784 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200785 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200786
787 err:
788 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
789 return 1;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100790}
791
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200792/* Simple function to duplicate a buffer */
793static inline struct buffer qcs_b_dup(const struct ncbuf *b)
794{
795 return b_make(ncb_orig(b), b->size, b->head, ncb_data(b, 0));
796}
797
Amaury Denoyelle36d4b5e2022-07-01 11:25:40 +0200798/* Remove <bytes> from <qcs> Rx buffer. Flow-control for received offsets may
799 * be allocated for the peer if needed.
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200800 */
801static void qcs_consume(struct qcs *qcs, uint64_t bytes)
802{
803 struct qcc *qcc = qcs->qcc;
804 struct quic_frame *frm;
805 struct ncbuf *buf = &qcs->rx.ncbuf;
806 enum ncb_ret ret;
807
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200808 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
809
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200810 ret = ncb_advance(buf, bytes);
811 if (ret) {
812 ABORT_NOW(); /* should not happens because removal only in data */
813 }
814
815 if (ncb_is_empty(buf))
816 qc_free_ncbuf(qcs, buf);
817
818 qcs->rx.offset += bytes;
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100819 /* Not necessary to emit a MAX_STREAM_DATA if all data received. */
820 if (qcs->flags & QC_SF_SIZE_KNOWN)
821 goto conn_fctl;
822
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200823 if (qcs->rx.msd - qcs->rx.offset < qcs->rx.msd_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200824 TRACE_DATA("increase stream credit via MAX_STREAM_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100825 frm = qc_frm_alloc(QUIC_FT_MAX_STREAM_DATA);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100826 if (!frm) {
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200827 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100828 return;
829 }
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200830
831 qcs->rx.msd = qcs->rx.offset + qcs->rx.msd_init;
832
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200833 frm->max_stream_data.id = qcs->id;
834 frm->max_stream_data.max_stream_data = qcs->rx.msd;
835
836 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
837 tasklet_wakeup(qcc->wait_event.tasklet);
838 }
839
Amaury Denoyellebb6296c2022-12-09 15:00:17 +0100840 conn_fctl:
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200841 qcc->lfctl.offsets_consume += bytes;
842 if (qcc->lfctl.md - qcc->lfctl.offsets_consume < qcc->lfctl.md_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200843 TRACE_DATA("increase conn credit via MAX_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +0100844 frm = qc_frm_alloc(QUIC_FT_MAX_DATA);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100845 if (!frm) {
Amaury Denoyelle58721f22023-05-09 18:01:09 +0200846 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +0100847 return;
848 }
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200849
850 qcc->lfctl.md = qcc->lfctl.offsets_consume + qcc->lfctl.md_init;
851
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200852 frm->max_data.max_data = qcc->lfctl.md;
853
854 LIST_APPEND(&qcs->qcc->lfctl.frms, &frm->list);
855 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
856 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200857
858 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200859}
860
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200861/* Decode the content of STREAM frames already received on the stream instance
862 * <qcs>.
863 *
864 * Returns 0 on success else non-zero.
865 */
866static int qcc_decode_qcs(struct qcc *qcc, struct qcs *qcs)
867{
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200868 struct buffer b;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200869 ssize_t ret;
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200870 int fin = 0;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200871
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200872 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
873
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200874 b = qcs_b_dup(&qcs->rx.ncbuf);
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200875
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200876 /* Signal FIN to application if STREAM FIN received with all data. */
877 if (qcs_is_close_remote(qcs))
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200878 fin = 1;
879
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100880 if (!(qcs->flags & QC_SF_READ_ABORTED)) {
881 ret = qcc->app_ops->decode_qcs(qcs, &b, fin);
882 if (ret < 0) {
883 TRACE_ERROR("decoding error", QMUX_EV_QCS_RECV, qcc->conn, qcs);
884 goto err;
885 }
Amaury Denoyelle152beee2023-05-24 14:43:43 +0200886
887 if (qcs->flags & QC_SF_TO_RESET) {
888 if (qcs_sc(qcs) && !se_fl_test(qcs->sd, SE_FL_ERROR|SE_FL_ERR_PENDING)) {
889 se_fl_set_error(qcs->sd);
890 qcs_alert(qcs);
891 }
892 }
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100893 }
894 else {
895 TRACE_DATA("ignore read on stream", QMUX_EV_QCS_RECV, qcc->conn, qcs);
896 ret = b_data(&b);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200897 }
898
Amaury Denoyelle381d8132023-02-17 09:51:20 +0100899 if (ret)
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200900 qcs_consume(qcs, ret);
Amaury Denoyelle381d8132023-02-17 09:51:20 +0100901 if (ret || (!b_data(&b) && fin))
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200902 qcs_notify_recv(qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200903
904 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200905 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200906
907 err:
908 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
909 return 1;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200910}
911
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200912/* Prepare for the emission of RESET_STREAM on <qcs> with error code <err>. */
913void qcc_reset_stream(struct qcs *qcs, int err)
914{
915 struct qcc *qcc = qcs->qcc;
916
917 if ((qcs->flags & QC_SF_TO_RESET) || qcs_is_close_local(qcs))
918 return;
919
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200920 TRACE_STATE("reset stream", QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200921 qcs->flags |= QC_SF_TO_RESET;
922 qcs->err = err;
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100923
Amaury Denoyelle178fbff2023-03-22 11:17:59 +0100924 /* Remove prepared stream data from connection flow-control calcul. */
925 if (qcs->tx.offset > qcs->tx.sent_offset) {
926 const uint64_t diff = qcs->tx.offset - qcs->tx.sent_offset;
927 BUG_ON(qcc->tx.offsets - diff < qcc->tx.sent_offsets);
928 qcc->tx.offsets -= diff;
929 /* Reset qcs offset to prevent BUG_ON() on qcs_destroy(). */
930 qcs->tx.offset = qcs->tx.sent_offset;
931 }
932
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100933 qcc_send_stream(qcs, 1);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200934 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100935}
936
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100937/* Register <qcs> stream for emission of STREAM, STOP_SENDING or RESET_STREAM.
938 * Set <urg> to 1 if stream content should be treated in priority compared to
939 * other streams.
940 */
941void qcc_send_stream(struct qcs *qcs, int urg)
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100942{
943 struct qcc *qcc = qcs->qcc;
944
945 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
946
947 /* Cannot send if already closed. */
948 BUG_ON(qcs_is_close_local(qcs));
949
Amaury Denoyellef9b03262023-01-09 10:34:25 +0100950 if (urg) {
951 LIST_DEL_INIT(&qcs->el_send);
952 LIST_INSERT(&qcc->send_list, &qcs->el_send);
953 }
954 else {
955 if (!LIST_INLIST(&qcs->el_send))
956 LIST_APPEND(&qcs->qcc->send_list, &qcs->el_send);
957 }
Amaury Denoyelle20f2a422023-01-03 14:39:24 +0100958
959 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
960}
961
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100962/* Prepare for the emission of STOP_SENDING on <qcs>. */
963void qcc_abort_stream_read(struct qcs *qcs)
964{
965 struct qcc *qcc = qcs->qcc;
966
967 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn, qcs);
968
969 if ((qcs->flags & QC_SF_TO_STOP_SENDING) || qcs_is_close_remote(qcs))
970 goto end;
971
972 TRACE_STATE("abort stream read", QMUX_EV_QCS_END, qcc->conn, qcs);
973 qcs->flags |= (QC_SF_TO_STOP_SENDING|QC_SF_READ_ABORTED);
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +0100974
975 qcc_send_stream(qcs, 1);
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100976 tasklet_wakeup(qcc->wait_event.tasklet);
977
978 end:
979 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn, qcs);
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200980}
981
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200982/* Install the <app_ops> applicative layer of a QUIC connection on mux <qcc>.
983 * Returns 0 on success else non-zero.
984 */
985int qcc_install_app_ops(struct qcc *qcc, const struct qcc_app_ops *app_ops)
986{
987 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn);
988
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100989 if (app_ops->init && !app_ops->init(qcc)) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200990 TRACE_ERROR("app ops init error", QMUX_EV_QCC_NEW, qcc->conn);
991 goto err;
992 }
993
994 TRACE_PROTO("application layer initialized", QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +0100995 qcc->app_ops = app_ops;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200996
Amaury Denoyelle71fd0362023-01-24 17:35:37 +0100997 /* RFC 9114 7.2.4.2. Initialization
998 *
999 * Endpoints MUST NOT require any data to be
1000 * received from the peer prior to sending the SETTINGS frame;
1001 * settings MUST be sent as soon as the transport is ready to
1002 * send data.
1003 */
1004 if (qcc->app_ops->finalize) {
1005 if (qcc->app_ops->finalize(qcc->ctx)) {
1006 TRACE_ERROR("app ops finalize error", QMUX_EV_QCC_NEW, qcc->conn);
1007 goto err;
1008 }
1009 tasklet_wakeup(qcc->wait_event.tasklet);
1010 }
1011
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001012 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
1013 return 0;
1014
1015 err:
1016 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
1017 return 1;
1018}
1019
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001020/* Handle a new STREAM frame for stream with id <id>. Payload is pointed by
1021 * <data> with length <len> and represents the offset <offset>. <fin> is set if
1022 * the QUIC frame FIN bit is set.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001023 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +02001024 * Returns 0 on success else non-zero. On error, the received frame should not
1025 * be acknowledged.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001026 */
1027int qcc_recv(struct qcc *qcc, uint64_t id, uint64_t len, uint64_t offset,
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001028 char fin, char *data)
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001029{
1030 struct qcs *qcs;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001031 enum ncb_ret ret;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001032
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001033 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1034
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001035 if (qcc->flags & QC_CF_ERRL) {
1036 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001037 goto err;
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001038 }
1039
Amaury Denoyelle6754d7e2022-05-23 16:12:49 +02001040 /* RFC 9000 19.8. STREAM Frames
1041 *
1042 * An endpoint MUST terminate the connection with error
1043 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
1044 * initiated stream that has not yet been created, or for a send-only
1045 * stream.
1046 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +02001047 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001048 TRACE_DATA("qcs retrieval error", QMUX_EV_QCC_RECV, qcc->conn);
1049 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +02001050 }
1051
1052 if (!qcs) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001053 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV, qcc->conn);
1054 goto out;
Amaury Denoyelle57161b72022-07-07 15:02:32 +02001055 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001056
Amaury Denoyellebf91e392022-07-04 10:02:04 +02001057 /* RFC 9000 4.5. Stream Final Size
1058 *
1059 * Once a final size for a stream is known, it cannot change. If a
1060 * RESET_STREAM or STREAM frame is received indicating a change in the
1061 * final size for the stream, an endpoint SHOULD respond with an error
1062 * of type FINAL_SIZE_ERROR; see Section 11 for details on error
1063 * handling.
1064 */
1065 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1066 (offset + len > qcs->rx.offset_max || (fin && offset + len < qcs->rx.offset_max))) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001067 TRACE_ERROR("final size error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR, qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001068 qcc_set_error(qcc, QC_ERR_FINAL_SIZE_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001069 goto err;
Amaury Denoyellebf91e392022-07-04 10:02:04 +02001070 }
1071
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001072 if (qcs_is_close_remote(qcs)) {
1073 TRACE_DATA("skipping STREAM for remotely closed", QMUX_EV_QCC_RECV, qcc->conn);
1074 goto out;
1075 }
1076
Amaury Denoyellefa241932023-02-14 15:36:36 +01001077 if (offset + len < qcs->rx.offset ||
1078 (offset + len == qcs->rx.offset && (!fin || (qcs->flags & QC_SF_SIZE_KNOWN)))) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001079 TRACE_DATA("already received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1080 goto out;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001081 }
1082
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001083 TRACE_PROTO("receiving STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001084 qcs_idle_open(qcs);
1085
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001086 if (offset + len > qcs->rx.offset_max) {
1087 uint64_t diff = offset + len - qcs->rx.offset_max;
1088 qcs->rx.offset_max = offset + len;
1089 qcc->lfctl.offsets_recv += diff;
1090
1091 if (offset + len > qcs->rx.msd ||
1092 qcc->lfctl.offsets_recv > qcc->lfctl.md) {
1093 /* RFC 9000 4.1. Data Flow Control
1094 *
1095 * A receiver MUST close the connection with an error
1096 * of type FLOW_CONTROL_ERROR if the sender violates
1097 * the advertised connection or stream data limits
1098 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001099 TRACE_ERROR("flow control error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001100 qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001101 qcc_set_error(qcc, QC_ERR_FLOW_CONTROL_ERROR, 0);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001102 goto err;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001103 }
1104 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001105
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001106 if (!qc_get_ncbuf(qcs, &qcs->rx.ncbuf) || ncb_is_null(&qcs->rx.ncbuf)) {
Amaury Denoyelled00b3092023-05-11 17:00:54 +02001107 TRACE_ERROR("receive ncbuf alloc failure", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1108 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
1109 goto err;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001110 }
1111
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001112 TRACE_DATA("newly received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001113 if (offset < qcs->rx.offset) {
Frédéric Lécaillea18c3332022-07-04 09:54:58 +02001114 size_t diff = qcs->rx.offset - offset;
1115
1116 len -= diff;
1117 data += diff;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001118 offset = qcs->rx.offset;
1119 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001120
Amaury Denoyellefa241932023-02-14 15:36:36 +01001121 if (len) {
1122 ret = ncb_add(&qcs->rx.ncbuf, offset - qcs->rx.offset, data, len, NCB_ADD_COMPARE);
1123 switch (ret) {
1124 case NCB_RET_OK:
1125 break;
1126
1127 case NCB_RET_DATA_REJ:
Amaury Denoyellecc3d7162022-05-20 15:14:57 +02001128 /* RFC 9000 2.2. Sending and Receiving Data
1129 *
1130 * An endpoint could receive data for a stream at the
1131 * same stream offset multiple times. Data that has
1132 * already been received can be discarded. The data at
1133 * a given offset MUST NOT change if it is sent
1134 * multiple times; an endpoint MAY treat receipt of
1135 * different data at the same offset within a stream as
1136 * a connection error of type PROTOCOL_VIOLATION.
1137 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +02001138 TRACE_ERROR("overlapping data rejected", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001139 qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001140 qcc_set_error(qcc, QC_ERR_PROTOCOL_VIOLATION, 0);
Amaury Denoyellefa241932023-02-14 15:36:36 +01001141 return 1;
1142
1143 case NCB_RET_GAP_SIZE:
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001144 TRACE_DATA("cannot bufferize frame due to gap size limit", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV,
1145 qcc->conn, qcs);
Amaury Denoyellefa241932023-02-14 15:36:36 +01001146 return 1;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001147 }
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02001148 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001149
1150 if (fin)
Amaury Denoyelle3f39b402022-07-01 16:11:03 +02001151 qcs->flags |= QC_SF_SIZE_KNOWN;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001152
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001153 if (qcs->flags & QC_SF_SIZE_KNOWN &&
1154 qcs->rx.offset_max == qcs->rx.offset + ncb_data(&qcs->rx.ncbuf, 0)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001155 qcs_close_remote(qcs);
Amaury Denoyelled1310f82022-09-16 13:30:59 +02001156 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001157
Amaury Denoyellefa241932023-02-14 15:36:36 +01001158 if ((ncb_data(&qcs->rx.ncbuf, 0) && !(qcs->flags & QC_SF_DEM_FULL)) || fin) {
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001159 qcc_decode_qcs(qcc, qcs);
Amaury Denoyelle418ba212022-08-02 15:57:16 +02001160 qcc_refresh_timeout(qcc);
1161 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +02001162
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001163 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001164 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001165 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001166
1167 err:
1168 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1169 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +01001170}
1171
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001172/* Handle a new MAX_DATA frame. <max> must contains the maximum data field of
1173 * the frame.
1174 *
1175 * Returns 0 on success else non-zero.
1176 */
1177int qcc_recv_max_data(struct qcc *qcc, uint64_t max)
1178{
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001179 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1180
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001181 TRACE_PROTO("receiving MAX_DATA", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001182 if (qcc->rfctl.md < max) {
1183 qcc->rfctl.md = max;
Amaury Denoyelleb7143a82023-03-22 15:08:01 +01001184 TRACE_DATA("increase remote max-data", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001185
1186 if (qcc->flags & QC_CF_BLK_MFCTL) {
1187 qcc->flags &= ~QC_CF_BLK_MFCTL;
1188 tasklet_wakeup(qcc->wait_event.tasklet);
1189 }
1190 }
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001191
1192 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001193 return 0;
1194}
1195
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001196/* Handle a new MAX_STREAM_DATA frame. <max> must contains the maximum data
1197 * field of the frame and <id> is the identifier of the QUIC stream.
1198 *
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001199 * Returns 0 on success else non-zero. On error, the received frame should not
1200 * be acknowledged.
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001201 */
1202int qcc_recv_max_stream_data(struct qcc *qcc, uint64_t id, uint64_t max)
1203{
1204 struct qcs *qcs;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001205
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001206 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1207
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001208 if (qcc->flags & QC_CF_ERRL) {
1209 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001210 goto err;
1211 }
1212
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001213 /* RFC 9000 19.10. MAX_STREAM_DATA Frames
1214 *
1215 * Receiving a MAX_STREAM_DATA frame for a locally
1216 * initiated stream that has not yet been created MUST be treated as a
1217 * connection error of type STREAM_STATE_ERROR. An endpoint that
1218 * receives a MAX_STREAM_DATA frame for a receive-only stream MUST
1219 * terminate the connection with error STREAM_STATE_ERROR.
1220 */
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001221 if (qcc_get_qcs(qcc, id, 0, 1, &qcs))
1222 goto err;
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001223
1224 if (qcs) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001225 TRACE_PROTO("receiving MAX_STREAM_DATA", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001226 if (max > qcs->tx.msd) {
1227 qcs->tx.msd = max;
Amaury Denoyelleb7143a82023-03-22 15:08:01 +01001228 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 +01001229
1230 if (qcs->flags & QC_SF_BLK_SFCTL) {
1231 qcs->flags &= ~QC_SF_BLK_SFCTL;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001232 /* TODO optim: only wakeup IO-CB if stream has data to sent. */
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001233 tasklet_wakeup(qcc->wait_event.tasklet);
1234 }
1235 }
1236 }
1237
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001238 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1239 qcc_refresh_timeout(qcc);
1240
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001241 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1242 return 0;
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001243
1244 err:
1245 TRACE_DEVEL("leaving on error", QMUX_EV_QCC_RECV, qcc->conn);
1246 return 1;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001247}
1248
1249/* Handle a new RESET_STREAM frame from stream ID <id> with error code <err>
1250 * and final stream size <final_size>.
1251 *
1252 * Returns 0 on success else non-zero. On error, the received frame should not
1253 * be acknowledged.
1254 */
1255int qcc_recv_reset_stream(struct qcc *qcc, uint64_t id, uint64_t err, uint64_t final_size)
1256{
1257 struct qcs *qcs;
1258
1259 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1260
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001261 if (qcc->flags & QC_CF_ERRL) {
1262 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001263 goto err;
1264 }
1265
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001266 /* RFC 9000 19.4. RESET_STREAM Frames
1267 *
1268 * An endpoint that receives a RESET_STREAM frame for a send-only stream
1269 * MUST terminate the connection with error STREAM_STATE_ERROR.
1270 */
1271 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
1272 TRACE_ERROR("RESET_STREAM for send-only stream received", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001273 qcc_set_error(qcc, QC_ERR_STREAM_STATE_ERROR, 0);
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001274 goto err;
1275 }
1276
Amaury Denoyelle3cb78142023-05-15 11:31:20 +02001277 /* RFC 9000 3.2. Receiving Stream States
1278 *
1279 * A RESET_STREAM signal might be suppressed or withheld
1280 * if stream data is completely received and is buffered to be read by
1281 * the application. If the RESET_STREAM is suppressed, the receiving
1282 * part of the stream remains in "Data Recvd".
1283 */
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001284 if (!qcs || qcs_is_close_remote(qcs))
1285 goto out;
1286
1287 TRACE_PROTO("receiving RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1288 qcs_idle_open(qcs);
1289
Amaury Denoyelle3cb78142023-05-15 11:31:20 +02001290 /* Ensure stream closure is not forbidden by application protocol. */
Amaury Denoyellee269aeb2023-01-30 12:13:22 +01001291 if (qcc->app_ops->close) {
1292 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_RD)) {
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 Denoyelle5854fc02022-12-09 16:25:48 +01001298 if (qcs->rx.offset_max > final_size ||
1299 ((qcs->flags & QC_SF_SIZE_KNOWN) && qcs->rx.offset_max != final_size)) {
1300 TRACE_ERROR("final size error on RESET_STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001301 qcc_set_error(qcc, QC_ERR_FINAL_SIZE_ERROR, 0);
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001302 goto err;
1303 }
1304
Amaury Denoyelle3cb78142023-05-15 11:31:20 +02001305 /* RFC 9000 3.2. Receiving Stream States
1306 *
1307 * An
1308 * implementation MAY interrupt delivery of stream data, discard any
1309 * data that was not consumed, and signal the receipt of the
1310 * RESET_STREAM.
1311 */
1312 qcs->flags |= QC_SF_SIZE_KNOWN|QC_SF_RECV_RESET;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001313 qcs_close_remote(qcs);
1314 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
1315
1316 if (qcs_sc(qcs)) {
Amaury Denoyelle37d78992023-05-24 10:49:44 +02001317 se_fl_set(qcs->sd, SE_FL_EOS);
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001318 qcs_alert(qcs);
1319 }
1320
1321 out:
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001322 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001323 return 0;
Amaury Denoyelle5854fc02022-12-09 16:25:48 +01001324
1325 err:
1326 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1327 return 1;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001328}
1329
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001330/* Handle a new STOP_SENDING frame for stream ID <id>. The error code should be
1331 * specified in <err>.
1332 *
1333 * Returns 0 on success else non-zero. On error, the received frame should not
1334 * be acknowledged.
1335 */
1336int qcc_recv_stop_sending(struct qcc *qcc, uint64_t id, uint64_t err)
1337{
1338 struct qcs *qcs;
1339
1340 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1341
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001342 if (qcc->flags & QC_CF_ERRL) {
1343 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001344 goto err;
1345 }
1346
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001347 /* RFC 9000 19.5. STOP_SENDING Frames
1348 *
1349 * Receiving a STOP_SENDING frame for a
1350 * locally initiated stream that has not yet been created MUST be
1351 * treated as a connection error of type STREAM_STATE_ERROR. An
1352 * endpoint that receives a STOP_SENDING frame for a receive-only stream
1353 * MUST terminate the connection with error STREAM_STATE_ERROR.
1354 */
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001355 if (qcc_get_qcs(qcc, id, 0, 1, &qcs))
1356 goto err;
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001357
1358 if (!qcs)
1359 goto out;
1360
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001361 TRACE_PROTO("receiving STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelled7755372022-10-03 17:20:31 +02001362
1363 /* RFC 9000 3.5. Solicited State Transitions
1364 *
1365 * An endpoint is expected to send another STOP_SENDING frame if a
1366 * packet containing a previous STOP_SENDING is lost. However, once
1367 * either all stream data or a RESET_STREAM frame has been received for
1368 * the stream -- that is, the stream is in any state other than "Recv"
1369 * or "Size Known" -- sending a STOP_SENDING frame is unnecessary.
1370 */
1371
1372 /* TODO thanks to previous RFC clause, STOP_SENDING is ignored if current stream
1373 * has already been closed locally. This is useful to not emit multiple
1374 * RESET_STREAM for a single stream. This is functional if stream is
1375 * locally closed due to all data transmitted, but in this case the RFC
1376 * advices to use an explicit RESET_STREAM.
1377 */
1378 if (qcs_is_close_local(qcs)) {
1379 TRACE_STATE("ignoring STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1380 goto out;
1381 }
1382
Amaury Denoyelle96ca1b72022-08-09 17:36:38 +02001383 qcs_idle_open(qcs);
1384
Amaury Denoyelle87f87662023-01-30 12:12:43 +01001385 if (qcc->app_ops->close) {
1386 if (qcc->app_ops->close(qcs, QCC_APP_OPS_CLOSE_SIDE_WR)) {
1387 TRACE_ERROR("closure rejected by app layer", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1388 goto out;
1389 }
1390 }
1391
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001392 /* RFC 9000 3.5. Solicited State Transitions
1393 *
1394 * An endpoint that receives a STOP_SENDING frame
1395 * MUST send a RESET_STREAM frame if the stream is in the "Ready" or
1396 * "Send" state. If the stream is in the "Data Sent" state, the
1397 * endpoint MAY defer sending the RESET_STREAM frame until the packets
1398 * containing outstanding data are acknowledged or declared lost. If
1399 * any outstanding data is declared lost, the endpoint SHOULD send a
1400 * RESET_STREAM frame instead of retransmitting the data.
1401 *
1402 * An endpoint SHOULD copy the error code from the STOP_SENDING frame to
1403 * the RESET_STREAM frame it sends, but it can use any application error
1404 * code.
1405 */
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001406 qcc_reset_stream(qcs, err);
1407
Amaury Denoyelle152beee2023-05-24 14:43:43 +02001408 /* Report send error to stream-endpoint layer. */
1409 if (qcs_sc(qcs)) {
1410 se_fl_set_error(qcs->sd);
1411 qcs_alert(qcs);
1412 }
1413
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001414 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1415 qcc_refresh_timeout(qcc);
1416
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001417 out:
1418 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1419 return 0;
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001420
1421 err:
1422 TRACE_DEVEL("leaving on error", QMUX_EV_QCC_RECV, qcc->conn);
1423 return 1;
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001424}
1425
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001426/* Signal the closing of remote stream with id <id>. Flow-control for new
1427 * streams may be allocated for the peer if needed.
1428 */
1429static int qcc_release_remote_stream(struct qcc *qcc, uint64_t id)
Amaury Denoyellec055e302022-02-07 16:09:06 +01001430{
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001431 struct quic_frame *frm;
1432
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001433 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn);
1434
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001435 if (quic_stream_is_bidi(id)) {
1436 ++qcc->lfctl.cl_bidi_r;
1437 if (qcc->lfctl.cl_bidi_r > qcc->lfctl.ms_bidi_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001438 TRACE_DATA("increase max stream limit with MAX_STREAMS_BIDI", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001439 frm = qc_frm_alloc(QUIC_FT_MAX_STREAMS_BIDI);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +01001440 if (!frm) {
Amaury Denoyelle58721f22023-05-09 18:01:09 +02001441 qcc_set_error(qcc, QC_ERR_INTERNAL_ERROR, 0);
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +01001442 goto err;
1443 }
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001444
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001445 frm->max_streams_bidi.max_streams = qcc->lfctl.ms_bidi +
1446 qcc->lfctl.cl_bidi_r;
1447 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
1448 tasklet_wakeup(qcc->wait_event.tasklet);
1449
1450 qcc->lfctl.ms_bidi += qcc->lfctl.cl_bidi_r;
1451 qcc->lfctl.cl_bidi_r = 0;
1452 }
1453 }
1454 else {
Amaury Denoyelle91077312022-12-22 18:56:09 +01001455 /* TODO unidirectional stream flow control with MAX_STREAMS_UNI
1456 * emission not implemented. It should be unnecessary for
1457 * HTTP/3 but may be required if other application protocols
1458 * are supported.
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001459 */
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001460 }
1461
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001462 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
1463
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001464 return 0;
Amaury Denoyelleabbb5ad2023-03-09 10:16:38 +01001465
1466 err:
1467 TRACE_DEVEL("leaving on error", QMUX_EV_QCS_END, qcc->conn);
1468 return 1;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001469}
1470
Ilya Shipitsin5e87bcf2021-12-25 11:45:52 +05001471/* detaches the QUIC stream from its QCC and releases it to the QCS pool. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001472static void qcs_destroy(struct qcs *qcs)
1473{
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001474 struct qcc *qcc = qcs->qcc;
1475 struct connection *conn = qcc->conn;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001476 const uint64_t id = qcs->id;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001477
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001478 TRACE_ENTER(QMUX_EV_QCS_END, conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001479
Amaury Denoyelle178fbff2023-03-22 11:17:59 +01001480 /* MUST not removed a stream with sending prepared data left. This is
1481 * to ensure consistency on connection flow-control calculation.
1482 */
1483 BUG_ON(qcs->tx.offset < qcs->tx.sent_offset);
1484
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02001485 if (!(qcc->flags & QC_CF_ERRL)) {
Amaury Denoyelleb47310d2023-03-09 15:49:48 +01001486 if (quic_stream_is_remote(qcc, id))
1487 qcc_release_remote_stream(qcc, id);
1488 }
Amaury Denoyellec055e302022-02-07 16:09:06 +01001489
Amaury Denoyelledccbd732022-03-29 18:36:59 +02001490 qcs_free(qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001491
1492 TRACE_LEAVE(QMUX_EV_QCS_END, conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001493}
1494
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001495/* Transfer as much as possible data on <qcs> from <in> to <out>. This is done
1496 * in respect with available flow-control at stream and connection level.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001497 *
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +02001498 * Returns the total bytes of transferred data or a negative error code.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001499 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001500static int qcs_xfer_data(struct qcs *qcs, struct buffer *out, struct buffer *in)
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001501{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001502 struct qcc *qcc = qcs->qcc;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001503 int left, to_xfer;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001504 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001505
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001506 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001507
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +02001508 if (!qc_get_buf(qcs, out)) {
1509 TRACE_ERROR("buffer alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1510 goto err;
1511 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001512
1513 /*
1514 * QCS out buffer diagram
1515 * head left to_xfer
1516 * -------------> ----------> ----->
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001517 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001518 * |...............|xxxxxxxxxxx|<<<<<
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001519 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001520 * ^ ack-off ^ sent-off ^ off
1521 *
1522 * STREAM frame
1523 * ^ ^
1524 * |xxxxxxxxxxxxxxxxx|
1525 */
1526
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001527 BUG_ON_HOT(qcs->tx.sent_offset < qcs->stream->ack_offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001528 BUG_ON_HOT(qcs->tx.offset < qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001529 BUG_ON_HOT(qcc->tx.offsets < qcc->tx.sent_offsets);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001530
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001531 left = qcs->tx.offset - qcs->tx.sent_offset;
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001532 to_xfer = QUIC_MIN(b_data(in), b_room(out));
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001533
1534 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
1535 /* do not exceed flow control limit */
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001536 if (qcs->tx.offset + to_xfer > qcs->tx.msd) {
1537 TRACE_DATA("do not exceed stream flow control", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001538 to_xfer = qcs->tx.msd - qcs->tx.offset;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001539 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001540
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001541 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001542 /* do not overcome flow control limit on connection */
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001543 if (qcc->tx.offsets + to_xfer > qcc->rfctl.md) {
1544 TRACE_DATA("do not exceed conn flow control", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001545 to_xfer = qcc->rfctl.md - qcc->tx.offsets;
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001546 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001547
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001548 if (!left && !to_xfer)
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001549 goto out;
1550
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001551 total = b_force_xfer(out, in, to_xfer);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001552
1553 out:
1554 {
1555 struct qcs_xfer_data_trace_arg arg = {
1556 .prep = b_data(out), .xfer = total,
1557 };
1558 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_XFER_DATA,
1559 qcc->conn, qcs, &arg);
1560 }
1561
1562 return total;
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +02001563
1564 err:
1565 TRACE_DEVEL("leaving on error", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1566 return -1;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001567}
1568
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001569/* Prepare a STREAM frame for <qcs> instance using <out> as payload. The frame
1570 * is appended in <frm_list>. Set <fin> if this is supposed to be the last
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001571 * stream frame. If <out> is NULL an empty STREAM frame is built : this may be
1572 * useful if FIN needs to be sent without any data left.
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001573 *
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001574 * Returns the payload length of the STREAM frame or a negative error code.
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001575 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001576static int qcs_build_stream_frm(struct qcs *qcs, struct buffer *out, char fin,
1577 struct list *frm_list)
1578{
1579 struct qcc *qcc = qcs->qcc;
1580 struct quic_frame *frm;
1581 int head, total;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001582 uint64_t base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001583
1584 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1585
Amaury Denoyellea4569202022-04-15 17:29:25 +02001586 /* if ack_offset < buf_offset, it points to an older buffer. */
1587 base_off = MAX(qcs->stream->buf_offset, qcs->stream->ack_offset);
1588 BUG_ON(qcs->tx.sent_offset < base_off);
1589
1590 head = qcs->tx.sent_offset - base_off;
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001591 total = out ? b_data(out) - head : 0;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001592 BUG_ON(total < 0);
1593
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001594 if (!total && !fin) {
1595 /* No need to send anything if total is NULL and no FIN to signal. */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001596 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1597 return 0;
1598 }
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001599 BUG_ON((!total && qcs->tx.sent_offset > qcs->tx.offset) ||
1600 (total && qcs->tx.sent_offset >= qcs->tx.offset));
Amaury Denoyellea4569202022-04-15 17:29:25 +02001601 BUG_ON(qcs->tx.sent_offset + total > qcs->tx.offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001602 BUG_ON(qcc->tx.sent_offsets + total > qcc->rfctl.md);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001603
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001604 TRACE_PROTO("sending STREAM frame", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001605 frm = qc_frm_alloc(QUIC_FT_STREAM_8);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001606 if (!frm) {
1607 TRACE_ERROR("frame alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001608 goto err;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001609 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001610
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001611 frm->stream.stream = qcs->stream;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001612 frm->stream.id = qcs->id;
Amaury Denoyelle1dac0182023-02-02 16:45:07 +01001613 frm->stream.offset.key = 0;
Amaury Denoyelleebfafc22023-03-07 18:07:08 +01001614 frm->stream.dup = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001615
Amaury Denoyelle42c5b752023-04-25 16:39:32 +02001616 if (total) {
1617 frm->stream.buf = out;
1618 frm->stream.data = (unsigned char *)b_peek(out, head);
1619 }
1620 else {
1621 /* Empty STREAM frame. */
1622 frm->stream.buf = NULL;
1623 frm->stream.data = NULL;
1624 }
1625
Amaury Denoyellefecfa0d2021-12-07 16:50:14 +01001626 /* FIN is positioned only when the buffer has been totally emptied. */
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001627 if (fin)
1628 frm->type |= QUIC_STREAM_FRAME_TYPE_FIN_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001629
1630 if (qcs->tx.sent_offset) {
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001631 frm->type |= QUIC_STREAM_FRAME_TYPE_OFF_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001632 frm->stream.offset.key = qcs->tx.sent_offset;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001633 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001634
Amaury Denoyelle42c5b752023-04-25 16:39:32 +02001635 /* Always set length bit as we do not know if there is remaining frames
1636 * in the final packet after this STREAM.
1637 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001638 frm->type |= QUIC_STREAM_FRAME_TYPE_LEN_BIT;
1639 frm->stream.len = total;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001640
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001641 LIST_APPEND(frm_list, &frm->list);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001642
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001643 out:
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001644 {
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001645 struct qcs_build_stream_trace_arg arg = {
1646 .len = frm->stream.len, .fin = fin,
1647 .offset = frm->stream.offset.key,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001648 };
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001649 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_BUILD_STRM,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001650 qcc->conn, qcs, &arg);
1651 }
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001652
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001653 return total;
1654
1655 err:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001656 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001657 return -1;
1658}
1659
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001660/* Check after transferring data from qcs.tx.buf if FIN must be set on the next
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001661 * STREAM frame for <qcs>.
1662 *
1663 * Returns true if FIN must be set else false.
1664 */
1665static int qcs_stream_fin(struct qcs *qcs)
1666{
1667 return qcs->flags & QC_SF_FIN_STREAM && !b_data(&qcs->tx.buf);
1668}
1669
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01001670/* Return true if <qcs> has data to send in new STREAM frames. */
1671static forceinline int qcs_need_sending(struct qcs *qcs)
1672{
1673 return b_data(&qcs->tx.buf) || qcs->tx.sent_offset < qcs->tx.offset ||
1674 qcs_stream_fin(qcs);
1675}
1676
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001677/* This function must be called by the upper layer to inform about the sending
1678 * of a STREAM frame for <qcs> instance. The frame is of <data> length and on
1679 * <offset>.
1680 */
1681void qcc_streams_sent_done(struct qcs *qcs, uint64_t data, uint64_t offset)
1682{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001683 struct qcc *qcc = qcs->qcc;
1684 uint64_t diff;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001685
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001686 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1687
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001688 BUG_ON(offset > qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001689 BUG_ON(offset + data > qcs->tx.offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001690
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001691 /* check if the STREAM frame has already been notified. It can happen
1692 * for retransmission.
1693 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001694 if (offset + data < qcs->tx.sent_offset) {
1695 TRACE_DEVEL("offset already notified", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1696 goto out;
1697 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001698
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001699 qcs_idle_open(qcs);
1700
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001701 diff = offset + data - qcs->tx.sent_offset;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001702 if (diff) {
1703 /* increase offset sum on connection */
1704 qcc->tx.sent_offsets += diff;
1705 BUG_ON_HOT(qcc->tx.sent_offsets > qcc->rfctl.md);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001706 if (qcc->tx.sent_offsets == qcc->rfctl.md) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001707 qcc->flags |= QC_CF_BLK_MFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001708 TRACE_STATE("connection flow-control reached", QMUX_EV_QCS_SEND, qcc->conn);
1709 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001710
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001711 /* increase offset on stream */
1712 qcs->tx.sent_offset += diff;
1713 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.msd);
1714 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.offset);
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001715 if (qcs->tx.sent_offset == qcs->tx.msd) {
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001716 qcs->flags |= QC_SF_BLK_SFCTL;
Amaury Denoyelle31d20572023-01-06 15:29:59 +01001717 TRACE_STATE("stream flow-control reached", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1718 }
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001719
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01001720 /* If qcs.stream.buf is full, release it to the lower layer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001721 if (qcs->tx.offset == qcs->tx.sent_offset &&
1722 b_full(&qcs->stream->buf->buf)) {
1723 qc_stream_buf_release(qcs->stream);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001724 }
Amaury Denoyelle1bcb6952023-04-28 16:24:44 +02001725
1726 /* Add measurement for send rate. This is done at the MUX layer
1727 * to account only for STREAM frames without retransmission.
Amaury Denoyelle1bcb6952023-04-28 16:24:44 +02001728 */
Amaury Denoyellebc0adfa2023-04-28 16:46:11 +02001729 increment_send_rate(diff, 0);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001730 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001731
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001732 if (qcs->tx.offset == qcs->tx.sent_offset && !b_data(&qcs->tx.buf)) {
1733 /* Remove stream from send_list if all was sent. */
1734 LIST_DEL_INIT(&qcs->el_send);
1735 TRACE_STATE("stream sent done", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1736
1737 if (qcs->flags & (QC_SF_FIN_STREAM|QC_SF_DETACH)) {
1738 /* Close stream locally. */
1739 qcs_close_local(qcs);
1740 /* Reset flag to not emit multiple FIN STREAM frames. */
1741 qcs->flags &= ~QC_SF_FIN_STREAM;
1742 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001743 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001744
1745 out:
1746 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001747}
1748
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001749/* Returns true if subscribe set, false otherwise. */
1750static int qcc_subscribe_send(struct qcc *qcc)
1751{
1752 struct connection *conn = qcc->conn;
Amaury Denoyelleb2e31d32023-05-10 11:57:40 +02001753
1754 /* Do not subscribe if lower layer in error. */
1755 if (conn->flags & CO_FL_ERROR)
1756 return 0;
1757
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001758 if (qcc->wait_event.events & SUB_RETRY_SEND)
1759 return 1;
1760
1761 TRACE_DEVEL("subscribe for send", QMUX_EV_QCC_SEND, qcc->conn);
1762 conn->xprt->subscribe(conn, conn->xprt_ctx, SUB_RETRY_SEND, &qcc->wait_event);
1763 return 1;
1764}
1765
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001766/* Wrapper for send on transport layer. Send a list of frames <frms> for the
1767 * connection <qcc>.
1768 *
1769 * Returns 0 if all data sent with success else non-zero.
1770 */
1771static int qc_send_frames(struct qcc *qcc, struct list *frms)
1772{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001773 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
1774
1775 if (LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001776 TRACE_DEVEL("no frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1777 goto err;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001778 }
Frédéric Lécaille4e22f282022-03-18 18:38:19 +01001779
Amaury Denoyellecaa16542023-02-28 15:11:26 +01001780 if (!qc_send_mux(qcc->conn->handle.qc, frms)) {
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001781 TRACE_DEVEL("error on sending", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001782 qcc_subscribe_send(qcc);
Amaury Denoyelle036cc5d2022-09-26 15:02:31 +02001783 goto err;
Amaury Denoyellecaa16542023-02-28 15:11:26 +01001784 }
Amaury Denoyellee9c4cc12022-03-04 15:29:53 +01001785
Amaury Denoyelledb5d1a12022-03-10 16:42:23 +01001786 /* If there is frames left at this stage, transport layer is blocked.
1787 * Subscribe on it to retry later.
1788 */
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001789 if (!LIST_ISEMPTY(frms)) {
Amaury Denoyelleb35e32e2023-05-03 09:50:25 +02001790 TRACE_DEVEL("remaining frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1791 qcc_subscribe_send(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001792 goto err;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001793 }
1794
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001795 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001796 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001797
1798 err:
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02001799 TRACE_DEVEL("leaving on error", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001800 return 1;
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001801}
1802
1803/* Emit a RESET_STREAM on <qcs>.
1804 *
1805 * Returns 0 if the frame has been successfully sent else non-zero.
1806 */
1807static int qcs_send_reset(struct qcs *qcs)
1808{
1809 struct list frms = LIST_HEAD_INIT(frms);
1810 struct quic_frame *frm;
1811
1812 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1813
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001814 frm = qc_frm_alloc(QUIC_FT_RESET_STREAM);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001815 if (!frm) {
1816 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001817 return 1;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001818 }
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001819
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001820 frm->reset_stream.id = qcs->id;
1821 frm->reset_stream.app_error_code = qcs->err;
1822 frm->reset_stream.final_size = qcs->tx.sent_offset;
1823
1824 LIST_APPEND(&frms, &frm->list);
1825 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle131f2d92023-05-09 14:10:55 +02001826 if (!LIST_ISEMPTY(&frms))
1827 qc_frm_free(&frm);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001828 TRACE_DEVEL("cannot send RESET_STREAM", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1829 return 1;
1830 }
1831
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001832 qcs_close_local(qcs);
1833 qcs->flags &= ~QC_SF_TO_RESET;
1834
1835 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001836 return 0;
1837}
1838
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001839/* Emit a STOP_SENDING on <qcs>.
1840 *
1841 * Returns 0 if the frame has been successfully sent else non-zero.
1842 */
1843static int qcs_send_stop_sending(struct qcs *qcs)
1844{
1845 struct list frms = LIST_HEAD_INIT(frms);
1846 struct quic_frame *frm;
1847 struct qcc *qcc = qcs->qcc;
1848
1849 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1850
1851 /* RFC 9000 3.3. Permitted Frame Types
1852 *
1853 * A
1854 * receiver MAY send a STOP_SENDING frame in any state where it has not
1855 * received a RESET_STREAM frame -- that is, states other than "Reset
1856 * Recvd" or "Reset Read". However, there is little value in sending a
1857 * STOP_SENDING frame in the "Data Recvd" state, as all stream data has
1858 * been received. A sender could receive either of these two types of
1859 * frames in any state as a result of delayed delivery of packets.¶
1860 */
1861 if (qcs_is_close_remote(qcs)) {
1862 TRACE_STATE("skip STOP_SENDING on remote already closed", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1863 goto done;
1864 }
1865
Amaury Denoyelle40c24f12023-01-27 17:47:49 +01001866 frm = qc_frm_alloc(QUIC_FT_STOP_SENDING);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001867 if (!frm) {
1868 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1869 return 1;
1870 }
1871
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001872 frm->stop_sending.id = qcs->id;
1873 frm->stop_sending.app_error_code = qcs->err;
1874
1875 LIST_APPEND(&frms, &frm->list);
1876 if (qc_send_frames(qcs->qcc, &frms)) {
Amaury Denoyelle131f2d92023-05-09 14:10:55 +02001877 if (!LIST_ISEMPTY(&frms))
1878 qc_frm_free(&frm);
Amaury Denoyelle663e8722022-12-09 14:58:28 +01001879 TRACE_DEVEL("cannot send STOP_SENDING", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1880 return 1;
1881 }
1882
1883 done:
1884 qcs->flags &= ~QC_SF_TO_STOP_SENDING;
1885
1886 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1887 return 0;
1888}
1889
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001890/* Used internally by qc_send function. Proceed to send for <qcs>. This will
1891 * transfer data from qcs buffer to its quic_stream counterpart. A STREAM frame
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001892 * is then generated and inserted in <frms> list.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001893 *
1894 * Returns the total bytes transferred between qcs and quic_stream buffers. Can
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001895 * be null if out buffer cannot be allocated. On error a negative error code is
1896 * used.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001897 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001898static int _qc_send_qcs(struct qcs *qcs, struct list *frms)
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001899{
1900 struct qcc *qcc = qcs->qcc;
1901 struct buffer *buf = &qcs->tx.buf;
1902 struct buffer *out = qc_stream_buf_get(qcs->stream);
Amaury Denoyelle6c501ed2023-05-12 16:19:32 +02001903 int xfer = 0, buf_avail;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001904 char fin = 0;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001905
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001906 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1907
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001908 /* Cannot send STREAM on remote unidirectional streams. */
1909 BUG_ON(quic_stream_is_uni(qcs->id) && quic_stream_is_remote(qcc, qcs->id));
1910
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001911 if (b_data(buf)) {
1912 /* Allocate <out> buffer if not already done. */
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001913 if (!out) {
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001914 if (qcc->flags & QC_CF_CONN_FULL)
1915 goto out;
1916
Amaury Denoyelle6c501ed2023-05-12 16:19:32 +02001917 out = qc_stream_buf_alloc(qcs->stream, qcs->tx.offset,
1918 &buf_avail);
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001919 if (!out) {
Amaury Denoyelle1611a762023-05-15 13:56:46 +02001920 if (buf_avail) {
Amaury Denoyelle6c501ed2023-05-12 16:19:32 +02001921 TRACE_ERROR("stream desc alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1922 goto err;
1923 }
1924
Amaury Denoyelle1611a762023-05-15 13:56:46 +02001925 TRACE_STATE("hitting stream desc buffer limit", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001926 qcc->flags |= QC_CF_CONN_FULL;
1927 goto out;
1928 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001929 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001930
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001931 /* Transfer data from <buf> to <out>. */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001932 xfer = qcs_xfer_data(qcs, out, buf);
Amaury Denoyelle0abde9d2023-05-11 16:52:17 +02001933 if (xfer < 0)
1934 goto err;
1935
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001936 if (xfer > 0) {
1937 qcs_notify_send(qcs);
1938 qcs->flags &= ~QC_SF_BLK_MROOM;
1939 }
1940
1941 qcs->tx.offset += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001942 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001943 qcc->tx.offsets += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001944 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001945
Amaury Denoyellea57ab0f2023-04-26 11:38:11 +02001946 /* out buffer cannot be emptied if qcs offsets differ. */
1947 BUG_ON(!b_data(out) && qcs->tx.sent_offset != qcs->tx.offset);
1948 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001949
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001950 /* FIN is set if all incoming data were transferred. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001951 fin = qcs_stream_fin(qcs);
1952
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001953 /* Build a new STREAM frame with <out> buffer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001954 if (qcs->tx.sent_offset != qcs->tx.offset || fin) {
Amaury Denoyelle04b22082023-05-03 09:50:39 +02001955 /* Skip STREAM frame allocation if already subscribed for send.
1956 * Happens on sendto transient error or network congestion.
1957 */
1958 if (qcc->wait_event.events & SUB_RETRY_SEND) {
1959 TRACE_DEVEL("already subscribed for sending",
1960 QMUX_EV_QCS_SEND, qcc->conn, qcs);
1961 goto err;
1962 }
1963
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001964 if (qcs_build_stream_frm(qcs, out, fin, frms) < 0)
1965 goto err;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001966 }
1967
Amaury Denoyelle1ec78ff2023-03-22 11:58:32 +01001968 out:
1969 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001970 return xfer;
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001971
1972 err:
1973 TRACE_DEVEL("leaving on error", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1974 return -1;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001975}
1976
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001977/* Proceed to sending. Loop through all available streams for the <qcc>
1978 * instance and try to send as much as possible.
1979 *
1980 * Returns the total of bytes sent to the transport layer.
1981 */
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001982static int qc_send(struct qcc *qcc)
1983{
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001984 struct list frms = LIST_HEAD_INIT(frms);
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001985 /* Temporary list for QCS on error. */
1986 struct list qcs_failed = LIST_HEAD_INIT(qcs_failed);
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02001987 struct qcs *qcs, *qcs_tmp, *first_qcs = NULL;
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02001988 int ret, total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001989
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001990 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001991
Amaury Denoyelle04b22082023-05-03 09:50:39 +02001992 /* TODO if socket in transient error, sending should be temporarily
1993 * disabled for all frames. However, checking for send subscription is
1994 * not valid as this may be caused by a congestion error which only
1995 * apply for STREAM frames.
1996 */
1997
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02001998 /* Check for transport error. */
1999 if (qcc->flags & QC_CF_ERR_CONN || qcc->conn->flags & CO_FL_ERROR) {
2000 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
2001 goto out;
2002 }
2003
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002004 /* Check for locally detected connection error. */
2005 if (qcc->flags & QC_CF_ERRL) {
2006 /* Prepare a CONNECTION_CLOSE if not already done. */
2007 if (!(qcc->flags & QC_CF_ERRL_DONE)) {
2008 TRACE_DATA("report a connection error", QMUX_EV_QCC_SEND|QMUX_EV_QCC_ERR, qcc->conn);
2009 quic_set_connection_close(qcc->conn->handle.qc, qcc->err);
2010 qcc->flags |= QC_CF_ERRL_DONE;
2011 }
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002012 goto out;
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002013 }
2014
2015 if (qcc->conn->flags & CO_FL_SOCK_WR_SH) {
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002016 qcc->conn->flags |= CO_FL_ERROR;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002017 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002018 goto out;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002019 }
2020
Amaury Denoyellec985cb12022-05-16 14:29:59 +02002021 if (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
2022 if (qc_send_frames(qcc, &qcc->lfctl.frms)) {
2023 TRACE_DEVEL("flow-control frames rejected by transport, aborting send", QMUX_EV_QCC_SEND, qcc->conn);
2024 goto out;
2025 }
2026 }
Amaury Denoyellec9337802022-04-04 16:36:34 +02002027
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01002028 if (qcc->flags & QC_CF_BLK_MFCTL)
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002029 goto out;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01002030
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01002031 /* Send STREAM/STOP_SENDING/RESET_STREAM data for registered streams. */
2032 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_list, el_send) {
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02002033 /* Check if all QCS were processed. */
2034 if (qcs == first_qcs)
2035 break;
2036
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01002037 /* Stream must not be present in send_list if it has nothing to send. */
2038 BUG_ON(!(qcs->flags & (QC_SF_TO_STOP_SENDING|QC_SF_TO_RESET)) &&
2039 !qcs_need_sending(qcs));
Amaury Denoyellec6195d72022-05-23 11:39:14 +02002040
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01002041 /* Each STOP_SENDING/RESET_STREAM frame is sent individually to
2042 * guarantee its emission.
2043 *
2044 * TODO multiplex several frames in same datagram to optimize sending
2045 */
2046 if (qcs->flags & QC_SF_TO_STOP_SENDING) {
2047 if (qcs_send_stop_sending(qcs))
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002048 goto sent_done;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01002049
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01002050 /* Remove stream from send_list if it had only STOP_SENDING
2051 * to send.
2052 */
2053 if (!(qcs->flags & QC_SF_TO_RESET) && !qcs_need_sending(qcs)) {
2054 LIST_DEL_INIT(&qcs->el_send);
2055 continue;
2056 }
Amaury Denoyellee2ec9422022-03-10 16:46:18 +01002057 }
2058
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002059 if (qcs->flags & QC_SF_TO_RESET) {
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01002060 if (qcs_send_reset(qcs))
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002061 goto sent_done;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002062
Amaury Denoyelle0a1154a2023-01-06 17:43:11 +01002063 /* RFC 9000 3.3. Permitted Frame Types
2064 *
2065 * A sender MUST NOT send
2066 * a STREAM or STREAM_DATA_BLOCKED frame for a stream in the
2067 * "Reset Sent" state or any terminal state -- that is, after
2068 * sending a RESET_STREAM frame.
2069 */
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002070 LIST_DEL_INIT(&qcs->el_send);
Amaury Denoyelled2f80a22022-04-15 17:30:49 +02002071 continue;
2072 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02002073
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002074 if (!(qcs->flags & QC_SF_BLK_SFCTL)) {
2075 if ((ret = _qc_send_qcs(qcs, &frms)) < 0) {
2076 /* Temporarily remove QCS from send-list. */
2077 LIST_DEL_INIT(&qcs->el_send);
2078 LIST_APPEND(&qcs_failed, &qcs->el_send);
2079 continue;
2080 }
2081
2082 total += ret;
Amaury Denoyelle7c5591f2023-04-21 14:48:01 +02002083 if (ret) {
2084 /* Move QCS with some bytes transferred at the
2085 * end of send-list for next iterations.
2086 */
2087 LIST_DEL_INIT(&qcs->el_send);
2088 LIST_APPEND(&qcc->send_list, &qcs->el_send);
2089 /* Remember first moved QCS as checkpoint to interrupt loop */
2090 if (!first_qcs)
2091 first_qcs = qcs;
2092 }
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002093 }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02002094 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02002095
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01002096 /* Retry sending until no frame to send, data rejected or connection
2097 * flow-control limit reached.
2098 */
2099 while (qc_send_frames(qcc, &frms) == 0 && !(qcc->flags & QC_CF_BLK_MFCTL)) {
2100 /* Reloop over <qcc.send_list>. Useful for streams which have
2101 * fulfilled their qc_stream_desc buf and have now release it.
2102 */
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002103 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_list, el_send) {
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01002104 /* Only streams blocked on flow-control or waiting on a
2105 * new qc_stream_desc should be present in send_list as
2106 * long as transport layer can handle all data.
2107 */
2108 BUG_ON(qcs->stream->buf && !(qcs->flags & QC_SF_BLK_SFCTL));
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02002109
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002110 if (!(qcs->flags & QC_SF_BLK_SFCTL)) {
2111 if ((ret = _qc_send_qcs(qcs, &frms)) < 0) {
2112 LIST_DEL_INIT(&qcs->el_send);
2113 LIST_APPEND(&qcs_failed, &qcs->el_send);
2114 continue;
2115 }
2116
2117 total += ret;
2118 }
Amaury Denoyellea9de7ea2023-01-06 17:16:47 +01002119 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02002120 }
Frédéric Lécaille8526f142021-09-20 17:58:22 +02002121
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002122 sent_done:
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02002123 /* Deallocate frames that the transport layer has rejected. */
2124 if (!LIST_ISEMPTY(&frms)) {
2125 struct quic_frame *frm, *frm2;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002126
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01002127 list_for_each_entry_safe(frm, frm2, &frms, list)
2128 qc_frm_free(&frm);
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02002129 }
2130
Amaury Denoyelle93d2ebe2023-04-19 11:42:24 +02002131 /* Re-insert on-error QCS at the end of the send-list. */
2132 if (!LIST_ISEMPTY(&qcs_failed)) {
2133 list_for_each_entry_safe(qcs, qcs_tmp, &qcs_failed, el_send) {
2134 LIST_DEL_INIT(&qcs->el_send);
2135 LIST_APPEND(&qcc->send_list, &qcs->el_send);
2136 }
2137
2138 if (!(qcc->flags & QC_CF_BLK_MFCTL))
2139 tasklet_wakeup(qcc->wait_event.tasklet);
2140 }
2141
Amaury Denoyelle2ad41b82023-05-10 11:59:10 +02002142 out:
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002143 if (qcc->conn->flags & CO_FL_ERROR && !(qcc->flags & QC_CF_ERR_CONN)) {
2144 TRACE_ERROR("error reported by transport layer",
2145 QMUX_EV_QCC_SEND, qcc->conn);
2146 qcc->flags |= QC_CF_ERR_CONN;
2147 }
2148
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002149 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01002150 return total;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002151}
2152
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002153/* Proceed on receiving. Loop through all streams from <qcc> and use decode_qcs
2154 * operation.
2155 *
2156 * Returns 0 on success else non-zero.
2157 */
2158static int qc_recv(struct qcc *qcc)
2159{
2160 struct eb64_node *node;
2161 struct qcs *qcs;
2162
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002163 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellee1cad8b2022-05-23 18:52:11 +02002164
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002165 if (qcc->flags & QC_CF_ERRL) {
2166 TRACE_DATA("connection on error", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002167 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02002168 return 0;
2169 }
2170
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002171 node = eb64_first(&qcc->streams_by_id);
2172 while (node) {
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002173 uint64_t id;
2174
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002175 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002176 id = qcs->id;
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002177
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002178 if (!ncb_data(&qcs->rx.ncbuf, 0) || (qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002179 node = eb64_next(node);
2180 continue;
2181 }
2182
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02002183 if (quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002184 node = eb64_next(node);
2185 continue;
2186 }
2187
2188 qcc_decode_qcs(qcc, qcs);
2189 node = eb64_next(node);
2190 }
2191
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002192 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002193 return 0;
2194}
2195
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002196
2197/* Release all streams which have their transfer operation achieved.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01002198 *
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002199 * Returns true if at least one stream is released.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01002200 */
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002201static int qc_purge_streams(struct qcc *qcc)
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002202{
2203 struct eb64_node *node;
2204 int release = 0;
2205
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002206 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002207
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002208 node = eb64_first(&qcc->streams_by_id);
2209 while (node) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02002210 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002211 node = eb64_next(node);
2212
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002213 /* Release not attached closed streams. */
2214 if (qcs->st == QC_SS_CLO && !qcs_sc(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002215 TRACE_STATE("purging closed stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002216 qcs_destroy(qcs);
2217 release = 1;
2218 continue;
2219 }
2220
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002221 /* Release detached streams with empty buffer. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002222 if (qcs->flags & QC_SF_DETACH) {
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02002223 if (qcs_is_close_local(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002224 TRACE_STATE("purging detached stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002225 qcs_destroy(qcs);
2226 release = 1;
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02002227 continue;
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002228 }
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002229 }
2230 }
2231
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002232 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002233 return release;
2234}
2235
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002236/* Execute application layer shutdown. If this operation is not defined, a
2237 * CONNECTION_CLOSE will be prepared as a fallback. This function is protected
2238 * against multiple invocation with the flag QC_CF_APP_SHUT.
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002239 */
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002240static void qc_shutdown(struct qcc *qcc)
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002241{
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002242 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002243
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002244 if (qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL)) {
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002245 TRACE_DATA("connection on error", QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002246 goto out;
Amaury Denoyelle665817a2023-03-20 17:34:22 +01002247 }
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002248
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002249 if (qcc->flags & QC_CF_APP_SHUT)
2250 goto out;
2251
2252 TRACE_STATE("perform graceful shutdown", QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002253 if (qcc->app_ops && qcc->app_ops->shutdown) {
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002254 qcc->app_ops->shutdown(qcc->ctx);
Amaury Denoyellea154dc02022-06-13 17:09:01 +02002255 qc_send(qcc);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002256 }
2257 else {
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002258 qcc->err = quic_err_app(QC_ERR_NO_ERROR);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002259 }
2260
Amaury Denoyelle51f116d2023-05-04 15:49:02 +02002261 /* Register "no error" code at transport layer. Do not use
2262 * quic_set_connection_close() as retransmission may be performed to
2263 * finalized transfers. Do not overwrite quic-conn existing code if
2264 * already set.
2265 *
2266 * TODO implement a wrapper function for this in quic-conn module
2267 */
2268 if (!(qcc->conn->handle.qc->flags & QUIC_FL_CONN_IMMEDIATE_CLOSE))
2269 qcc->conn->handle.qc->err = qcc->err;
2270
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002271 out:
2272 qcc->flags |= QC_CF_APP_SHUT;
2273 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
2274}
2275
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002276/* Loop through all qcs from <qcc>. Report error on stream endpoint if
2277 * connection on error and wake them.
2278 */
2279static int qc_wake_some_streams(struct qcc *qcc)
2280{
2281 struct qcs *qcs;
2282 struct eb64_node *node;
2283
2284 TRACE_POINT(QMUX_EV_QCC_WAKE, qcc->conn);
2285
2286 for (node = eb64_first(&qcc->streams_by_id); node;
2287 node = eb64_next(node)) {
2288 qcs = eb64_entry(node, struct qcs, by_id);
2289
2290 if (!qcs_sc(qcs))
2291 continue;
2292
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002293 if (qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL)) {
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002294 TRACE_POINT(QMUX_EV_QCC_WAKE, qcc->conn, qcs);
2295 se_fl_set_error(qcs->sd);
2296 qcs_alert(qcs);
2297 }
2298 }
2299
2300 return 0;
2301}
2302
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002303/* Conduct operations which should be made for <qcc> connection after
2304 * input/output. Most notably, closed streams are purged which may leave the
2305 * connection has ready to be released.
2306 *
2307 * Returns 1 if <qcc> must be released else 0.
2308 */
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002309static int qc_process(struct qcc *qcc)
2310{
2311 qc_purge_streams(qcc);
2312
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +01002313 /* Check if a soft-stop is in progress.
2314 *
2315 * TODO this is relevant for frontend connections only.
2316 */
2317 if (unlikely(qcc->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED))) {
2318 int close = 1;
2319
2320 /* If using listener socket, soft-stop is not supported. The
2321 * connection must be closed immediately.
2322 */
2323 if (!qc_test_fd(qcc->conn->handle.qc)) {
2324 TRACE_DEVEL("proxy disabled with listener socket, closing connection", QMUX_EV_QCC_WAKE, qcc->conn);
2325 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2326 qc_send(qcc);
2327 goto out;
2328 }
2329
2330 TRACE_DEVEL("proxy disabled, prepare connection soft-stop", QMUX_EV_QCC_WAKE, qcc->conn);
2331
2332 /* If a close-spread-time option is set, we want to avoid
2333 * closing all the active HTTP3 connections at once so we add a
2334 * random factor that will spread the closing.
2335 */
2336 if (tick_isset(global.close_spread_end)) {
2337 int remaining_window = tick_remain(now_ms, global.close_spread_end);
2338 if (remaining_window) {
2339 /* This should increase the closing rate the
2340 * further along the window we are. */
2341 close = (remaining_window <= statistical_prng_range(global.close_spread_time));
2342 }
2343 }
2344 else if (global.tune.options & GTUNE_DISABLE_ACTIVE_CLOSE) {
2345 close = 0; /* let the client close his connection himself */
2346 }
2347
2348 if (close)
2349 qc_shutdown(qcc);
2350 }
2351
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002352 /* Report error if set on stream endpoint layer. */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002353 if (qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL))
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002354 qc_wake_some_streams(qcc);
2355
Amaury Denoyelleb3aa07c2023-01-24 18:20:28 +01002356 out:
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002357 if (qcc_is_dead(qcc))
2358 return 1;
2359
2360 return 0;
2361}
2362
Amaury Denoyelleb30247b2023-01-24 18:18:23 +01002363/* release function. This one should be called to free all resources allocated
2364 * to the mux.
2365 */
2366static void qc_release(struct qcc *qcc)
2367{
2368 struct connection *conn = qcc->conn;
2369 struct eb64_node *node;
2370
2371 TRACE_ENTER(QMUX_EV_QCC_END, conn);
2372
2373 qc_shutdown(qcc);
2374
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002375 if (qcc->task) {
2376 task_destroy(qcc->task);
2377 qcc->task = NULL;
2378 }
2379
Tim Duesterhusb1ec21d2023-04-22 17:47:32 +02002380 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002381 if (conn && qcc->wait_event.events) {
2382 conn->xprt->unsubscribe(conn, conn->xprt_ctx,
2383 qcc->wait_event.events,
2384 &qcc->wait_event);
2385 }
2386
2387 /* liberate remaining qcs instances */
2388 node = eb64_first(&qcc->streams_by_id);
2389 while (node) {
2390 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
2391 node = eb64_next(node);
2392 qcs_free(qcs);
2393 }
2394
2395 while (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
2396 struct quic_frame *frm = LIST_ELEM(qcc->lfctl.frms.n, struct quic_frame *, list);
Amaury Denoyelle57b3eaa2023-02-02 16:12:09 +01002397 qc_frm_free(&frm);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002398 }
2399
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02002400 if (qcc->app_ops && qcc->app_ops->release)
2401 qcc->app_ops->release(qcc->ctx);
2402 TRACE_PROTO("application layer released", QMUX_EV_QCC_END, conn);
2403
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02002404 pool_free(pool_head_qcc, qcc);
2405
2406 if (conn) {
2407 LIST_DEL_INIT(&conn->stopping_list);
2408
2409 conn->handle.qc->conn = NULL;
2410 conn->mux = NULL;
2411 conn->ctx = NULL;
2412
2413 TRACE_DEVEL("freeing conn", QMUX_EV_QCC_END, conn);
2414
2415 conn_stop_tracking(conn);
2416 conn_full_close(conn);
2417 if (conn->destroy_cb)
2418 conn->destroy_cb(conn);
2419 conn_free(conn);
2420 }
2421
2422 TRACE_LEAVE(QMUX_EV_QCC_END);
2423}
2424
Willy Tarreau41e701e2022-09-08 15:12:59 +02002425struct task *qc_io_cb(struct task *t, void *ctx, unsigned int status)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002426{
Amaury Denoyelle769e9ff2021-10-05 11:43:50 +02002427 struct qcc *qcc = ctx;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002428
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002429 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002430
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002431 qc_send(qcc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002432
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02002433 qc_recv(qcc);
2434
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002435 if (qc_process(qcc)) {
2436 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
2437 goto release;
2438 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002439
2440 qcc_refresh_timeout(qcc);
2441
Amaury Denoyelled3973852022-07-25 14:56:54 +02002442 end:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002443 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
2444 return NULL;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002445
Amaury Denoyelle3baab742022-08-11 18:35:55 +02002446 release:
2447 qc_release(qcc);
2448 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002449 return NULL;
2450}
2451
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002452static struct task *qc_timeout_task(struct task *t, void *ctx, unsigned int state)
2453{
2454 struct qcc *qcc = ctx;
2455 int expired = tick_is_expired(t->expire, now_ms);
2456
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002457 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc ? qcc->conn : NULL);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002458
2459 if (qcc) {
2460 if (!expired) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002461 TRACE_DEVEL("not expired", QMUX_EV_QCC_WAKE, qcc->conn);
2462 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002463 }
2464
2465 if (!qcc_may_expire(qcc)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002466 TRACE_DEVEL("cannot expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002467 t->expire = TICK_ETERNITY;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002468 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002469 }
2470 }
2471
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002472 task_destroy(t);
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002473
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002474 if (!qcc) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002475 TRACE_DEVEL("no more qcc", QMUX_EV_QCC_WAKE);
2476 goto out;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002477 }
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01002478
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002479 qcc->task = NULL;
2480
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002481 /* TODO depending on the timeout condition, different shutdown mode
2482 * should be used. For http keep-alive or disabled proxy, a graceful
2483 * shutdown should occurs. For all other cases, an immediate close
2484 * seems legitimate.
2485 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002486 if (qcc_is_dead(qcc)) {
2487 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002488 qc_release(qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002489 }
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002490
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002491 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002492 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002493 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002494
2495 requeue:
2496 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
2497 return t;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002498}
2499
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002500static int qc_init(struct connection *conn, struct proxy *prx,
2501 struct session *sess, struct buffer *input)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002502{
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002503 struct qcc *qcc;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002504 struct quic_transport_params *lparams, *rparams;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002505
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002506 TRACE_ENTER(QMUX_EV_QCC_NEW);
2507
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002508 qcc = pool_alloc(pool_head_qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002509 if (!qcc) {
2510 TRACE_ERROR("alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002511 goto fail_no_qcc;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002512 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002513
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002514 qcc->conn = conn;
2515 conn->ctx = qcc;
Amaury Denoyellec603de42022-07-25 11:21:46 +02002516 qcc->nb_hreq = qcc->nb_sc = 0;
Amaury Denoyellece1f30d2022-02-01 15:14:24 +01002517 qcc->flags = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002518
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002519 qcc->app_ops = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002520
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002521 qcc->streams_by_id = EB_ROOT_UNIQUE;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002522
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002523 /* Server parameters, params used for RX flow control. */
Willy Tarreau784b8682022-04-11 14:18:10 +02002524 lparams = &conn->handle.qc->rx.params;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002525
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002526 qcc->rx.max_data = lparams->initial_max_data;
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02002527 qcc->tx.sent_offsets = qcc->tx.offsets = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002528
2529 /* Client initiated streams must respect the server flow control. */
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002530 qcc->strms[QCS_CLT_BIDI].max_streams = lparams->initial_max_streams_bidi;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002531 qcc->strms[QCS_CLT_BIDI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002532 qcc->strms[QCS_CLT_BIDI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002533 qcc->strms[QCS_CLT_BIDI].tx.max_data = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002534
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002535 qcc->strms[QCS_CLT_UNI].max_streams = lparams->initial_max_streams_uni;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002536 qcc->strms[QCS_CLT_UNI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002537 qcc->strms[QCS_CLT_UNI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002538 qcc->strms[QCS_CLT_UNI].tx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002539
2540 /* Server initiated streams must respect the server flow control. */
2541 qcc->strms[QCS_SRV_BIDI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002542 qcc->strms[QCS_SRV_BIDI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002543 qcc->strms[QCS_SRV_BIDI].rx.max_data = lparams->initial_max_stream_data_bidi_local;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002544 qcc->strms[QCS_SRV_BIDI].tx.max_data = 0;
2545
2546 qcc->strms[QCS_SRV_UNI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002547 qcc->strms[QCS_SRV_UNI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01002548 qcc->strms[QCS_SRV_UNI].rx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01002549 qcc->strms[QCS_SRV_UNI].tx.max_data = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002550
Amaury Denoyellec985cb12022-05-16 14:29:59 +02002551 LIST_INIT(&qcc->lfctl.frms);
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002552 qcc->lfctl.ms_bidi = qcc->lfctl.ms_bidi_init = lparams->initial_max_streams_bidi;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02002553 qcc->lfctl.ms_uni = lparams->initial_max_streams_uni;
Amaury Denoyelle44d09122022-04-26 11:21:10 +02002554 qcc->lfctl.msd_bidi_l = lparams->initial_max_stream_data_bidi_local;
2555 qcc->lfctl.msd_bidi_r = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002556 qcc->lfctl.msd_uni_r = lparams->initial_max_stream_data_uni;
Amaury Denoyelle78396e52022-03-21 17:13:32 +01002557 qcc->lfctl.cl_bidi_r = 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01002558
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002559 qcc->lfctl.md = qcc->lfctl.md_init = lparams->initial_max_data;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02002560 qcc->lfctl.offsets_recv = qcc->lfctl.offsets_consume = 0;
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02002561
Willy Tarreau784b8682022-04-11 14:18:10 +02002562 rparams = &conn->handle.qc->tx.params;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01002563 qcc->rfctl.md = rparams->initial_max_data;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002564 qcc->rfctl.msd_bidi_l = rparams->initial_max_stream_data_bidi_local;
2565 qcc->rfctl.msd_bidi_r = rparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02002566 qcc->rfctl.msd_uni_l = rparams->initial_max_stream_data_uni;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01002567
Amaury Denoyellea509ffb2022-07-04 15:50:33 +02002568 if (conn_is_back(conn)) {
2569 qcc->next_bidi_l = 0x00;
2570 qcc->largest_bidi_r = 0x01;
2571 qcc->next_uni_l = 0x02;
2572 qcc->largest_uni_r = 0x03;
2573 }
2574 else {
2575 qcc->largest_bidi_r = 0x00;
2576 qcc->next_bidi_l = 0x01;
2577 qcc->largest_uni_r = 0x02;
2578 qcc->next_uni_l = 0x03;
2579 }
2580
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002581 qcc->wait_event.tasklet = tasklet_new();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002582 if (!qcc->wait_event.tasklet) {
2583 TRACE_ERROR("taslket alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002584 goto fail_no_tasklet;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002585 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002586
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01002587 LIST_INIT(&qcc->send_list);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02002588
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002589 qcc->wait_event.tasklet->process = qc_io_cb;
2590 qcc->wait_event.tasklet->context = qcc;
Frédéric Lécaillef27b66f2022-03-18 22:49:22 +01002591 qcc->wait_event.events = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002592
Amaury Denoyelle07bf8f42022-07-22 16:16:03 +02002593 qcc->proxy = prx;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002594 /* haproxy timeouts */
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002595 qcc->task = NULL;
Amaury Denoyelleeb7d3202023-02-08 15:55:24 +01002596 if (conn_is_back(qcc->conn)) {
2597 qcc->timeout = prx->timeout.server;
2598 qcc->shut_timeout = tick_isset(prx->timeout.serverfin) ?
2599 prx->timeout.serverfin : prx->timeout.server;
2600 }
2601 else {
2602 qcc->timeout = prx->timeout.client;
2603 qcc->shut_timeout = tick_isset(prx->timeout.clientfin) ?
2604 prx->timeout.clientfin : prx->timeout.client;
2605 }
2606
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002607 if (tick_isset(qcc->timeout)) {
2608 qcc->task = task_new_here();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002609 if (!qcc->task) {
2610 TRACE_ERROR("timeout task alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002611 goto fail_no_timeout_task;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002612 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002613 qcc->task->process = qc_timeout_task;
2614 qcc->task->context = qcc;
2615 qcc->task->expire = tick_add(now_ms, qcc->timeout);
2616 }
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +02002617 qcc_reset_idle_start(qcc);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02002618 LIST_INIT(&qcc->opening_list);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002619
Willy Tarreau784b8682022-04-11 14:18:10 +02002620 HA_ATOMIC_STORE(&conn->handle.qc->qcc, qcc);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002621
2622 if (qcc_install_app_ops(qcc, conn->handle.qc->app_ops)) {
Amaury Denoyelle8d44bfa2023-05-04 15:16:01 +02002623 TRACE_PROTO("Cannot install app layer", QMUX_EV_QCC_NEW|QMUX_EV_QCC_ERR, qcc->conn);
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002624 /* prepare a CONNECTION_CLOSE frame */
2625 quic_set_connection_close(conn->handle.qc, quic_err_transport(QC_ERR_APPLICATION_ERROR));
2626 goto fail_install_app_ops;
2627 }
2628
Frédéric Lécaille9969adb2023-01-18 11:52:21 +01002629 if (qcc->app_ops == &h3_ops)
2630 proxy_inc_fe_cum_sess_ver_ctr(sess->listener, prx, 3);
2631
Amaury Denoyelleed820822023-04-19 17:58:39 +02002632 /* Register conn for idle front closing. This is done once everything is allocated. */
2633 if (!conn_is_back(conn))
2634 LIST_APPEND(&mux_stopping_data[tid].list, &conn->stopping_list);
2635
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002636 /* init read cycle */
2637 tasklet_wakeup(qcc->wait_event.tasklet);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002638
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002639 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002640 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002641
Amaury Denoyelleb4d119f2023-01-25 17:44:36 +01002642 fail_install_app_ops:
2643 if (qcc->app_ops && qcc->app_ops->release)
2644 qcc->app_ops->release(qcc->ctx);
Amaury Denoyelleee65efb2023-05-12 16:29:48 +02002645 task_destroy(qcc->task);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002646 fail_no_timeout_task:
2647 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002648 fail_no_tasklet:
2649 pool_free(pool_head_qcc, qcc);
2650 fail_no_qcc:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002651 TRACE_LEAVE(QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002652 return -1;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002653}
2654
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002655static void qc_destroy(void *ctx)
2656{
2657 struct qcc *qcc = ctx;
2658
2659 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
2660 qc_release(qcc);
2661 TRACE_LEAVE(QMUX_EV_QCC_END);
2662}
2663
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002664static void qc_detach(struct sedesc *sd)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002665{
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002666 struct qcs *qcs = sd->se;
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002667 struct qcc *qcc = qcs->qcc;
2668
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002669 TRACE_ENTER(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002670
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002671 /* TODO this BUG_ON_HOT() is not correct as the stconn layer may detach
2672 * from the stream even if it is not closed remotely at the QUIC layer.
2673 * This happens for example when a stream must be closed due to a
2674 * rejected request. To better handle these cases, it will be required
2675 * to implement shutr/shutw MUX operations. Once this is done, this
2676 * BUG_ON_HOT() statement can be adjusted.
2677 */
2678 //BUG_ON_HOT(!qcs_is_close_remote(qcs));
Amaury Denoyellec603de42022-07-25 11:21:46 +02002679
2680 qcc_rm_sc(qcc);
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002681
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002682 if (!qcs_is_close_local(qcs) &&
2683 !(qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL))) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002684 TRACE_STATE("remaining data, detaching qcs", QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002685 qcs->flags |= QC_SF_DETACH;
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002686 qcc_refresh_timeout(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002687
2688 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002689 return;
2690 }
2691
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002692 qcs_destroy(qcs);
Amaury Denoyelle1136e922022-02-01 10:33:09 +01002693
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002694 if (qcc_is_dead(qcc)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002695 TRACE_STATE("killing dead connection", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002696 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002697 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002698 else if (qcc->task) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002699 TRACE_DEVEL("refreshing connection's timeout", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002700 qcc_refresh_timeout(qcc);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002701 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002702 else {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002703 TRACE_DEVEL("completed", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002704 }
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002705
2706 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002707 return;
2708
2709 release:
2710 qc_release(qcc);
2711 TRACE_LEAVE(QMUX_EV_STRM_END);
2712 return;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002713}
2714
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002715/* Called from the upper layer, to receive data */
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002716static size_t qc_recv_buf(struct stconn *sc, struct buffer *buf,
2717 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002718{
Willy Tarreau3215e732022-05-27 10:09:11 +02002719 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle16494692023-05-15 11:35:45 +02002720 struct qcc *qcc = qcs->qcc;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002721 size_t ret = 0;
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002722 char fin = 0;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002723
Amaury Denoyelle16494692023-05-15 11:35:45 +02002724 TRACE_ENTER(QMUX_EV_STRM_RECV, qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002725
Amaury Denoyelled80fbca2022-09-19 17:02:28 +02002726 ret = qcs_http_rcv_buf(qcs, buf, count, &fin);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002727
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002728 if (b_data(&qcs->rx.app_buf)) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002729 se_fl_set(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002730 }
2731 else {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002732 se_fl_clr(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002733
Amaury Denoyellebf86d892023-05-12 18:16:31 +02002734 /* Set end-of-input when full message properly received. */
Christopher Faulet85eabfb2023-02-23 14:52:09 +01002735 if (fin) {
Amaury Denoyelle16494692023-05-15 11:35:45 +02002736 TRACE_STATE("report end-of-input", QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyelle8de35922023-05-24 10:48:52 +02002737 se_fl_set(qcs->sd, SE_FL_EOI|SE_FL_EOS);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002738
Christopher Faulet85eabfb2023-02-23 14:52:09 +01002739 /* If request EOM is reported to the upper layer, it means the
2740 * QCS now expects data from the opposite side.
2741 */
2742 se_expect_data(qcs->sd);
2743 }
2744
Amaury Denoyelle3cb78142023-05-15 11:31:20 +02002745 /* Set end-of-stream on read closed. */
2746 if (qcs->flags & QC_SF_RECV_RESET ||
2747 qcc->conn->flags & CO_FL_SOCK_RD_SH) {
2748 TRACE_STATE("report end-of-stream", QMUX_EV_STRM_RECV, qcc->conn, qcs);
2749 se_fl_set(qcs->sd, SE_FL_EOS);
2750
2751 /* Set error if EOI not reached. This may happen on
2752 * RESET_STREAM reception or connection error.
2753 */
2754 if (!se_fl_test(qcs->sd, SE_FL_EOI)) {
2755 TRACE_STATE("report error on stream aborted", QMUX_EV_STRM_RECV, qcc->conn, qcs);
2756 se_fl_set(qcs->sd, SE_FL_EOS | SE_FL_ERROR);
2757 }
2758 }
2759
Amaury Denoyelle16494692023-05-15 11:35:45 +02002760 if (se_fl_test(qcs->sd, SE_FL_ERR_PENDING)) {
2761 TRACE_STATE("report error", QMUX_EV_STRM_RECV, qcc->conn, qcs);
2762 se_fl_set(qcs->sd, SE_FL_ERROR);
2763 }
2764
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002765 if (b_size(&qcs->rx.app_buf)) {
2766 b_free(&qcs->rx.app_buf);
2767 offer_buffers(NULL, 1);
2768 }
2769 }
2770
Amaury Denoyelleb8901d22023-05-03 15:30:04 +02002771 /* Restart demux if it was interrupted on full buffer. */
2772 if (ret && qcs->flags & QC_SF_DEM_FULL) {
2773 /* There must be data left for demux if it was interrupted on
2774 * full buffer. If this assumption is incorrect wakeup is not
2775 * necessary.
2776 */
2777 BUG_ON(!ncb_data(&qcs->rx.ncbuf, 0));
2778
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002779 qcs->flags &= ~QC_SF_DEM_FULL;
Amaury Denoyelle16494692023-05-15 11:35:45 +02002780 if (!(qcc->flags & QC_CF_ERRL))
2781 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002782 }
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002783
Amaury Denoyelle16494692023-05-15 11:35:45 +02002784 TRACE_LEAVE(QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002785
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002786 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002787}
2788
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002789static size_t qc_send_buf(struct stconn *sc, struct buffer *buf,
2790 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002791{
Willy Tarreau3215e732022-05-27 10:09:11 +02002792 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002793 size_t ret = 0;
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002794 char fin;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002795
2796 TRACE_ENTER(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002797
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02002798 /* stream layer has been detached so no transfer must occur after. */
2799 BUG_ON_HOT(qcs->flags & QC_SF_DETACH);
2800
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002801 /* Report error if set on stream endpoint layer. */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002802 if (qcs->qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL)) {
Amaury Denoyelle35542ce2023-05-03 18:16:40 +02002803 se_fl_set(qcs->sd, SE_FL_ERROR);
2804 TRACE_DEVEL("connection in error", QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2805 goto end;
2806 }
2807
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002808 if (qcs_is_close_local(qcs) || (qcs->flags & QC_SF_TO_RESET)) {
Amaury Denoyelle0ed617a2022-09-20 14:46:40 +02002809 ret = qcs_http_reset_buf(qcs, buf, count);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002810 goto end;
2811 }
2812
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002813 ret = qcs_http_snd_buf(qcs, buf, count, &fin);
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002814 if (fin) {
2815 TRACE_STATE("reached stream fin", QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002816 qcs->flags |= QC_SF_FIN_STREAM;
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002817 }
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002818
Amaury Denoyelleab6cdec2023-01-10 10:41:41 +01002819 if (ret || fin) {
Amaury Denoyellef9b03262023-01-09 10:34:25 +01002820 qcc_send_stream(qcs, 0);
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002821 if (!(qcs->qcc->wait_event.events & SUB_RETRY_SEND))
2822 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
2823 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002824
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002825 end:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002826 TRACE_LEAVE(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2827
2828 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002829}
2830
2831/* Called from the upper layer, to subscribe <es> to events <event_type>. The
2832 * event subscriber <es> is not allowed to change from a previous call as long
2833 * as at least one event is still subscribed. The <event_type> must only be a
2834 * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0.
2835 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002836static int qc_subscribe(struct stconn *sc, int event_type,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002837 struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002838{
Willy Tarreau3215e732022-05-27 10:09:11 +02002839 return qcs_subscribe(__sc_mux_strm(sc), event_type, es);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002840}
2841
2842/* Called from the upper layer, to unsubscribe <es> from events <event_type>.
2843 * The <es> pointer is not allowed to differ from the one passed to the
2844 * subscribe() call. It always returns zero.
2845 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002846static int qc_unsubscribe(struct stconn *sc, int event_type, struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002847{
Willy Tarreau3215e732022-05-27 10:09:11 +02002848 struct qcs *qcs = __sc_mux_strm(sc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002849
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002850 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
2851 BUG_ON(qcs->subs && qcs->subs != es);
2852
2853 es->events &= ~event_type;
2854 if (!es->events)
2855 qcs->subs = NULL;
2856
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002857 return 0;
2858}
2859
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002860static int qc_wake(struct connection *conn)
2861{
2862 struct qcc *qcc = conn->ctx;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002863
2864 TRACE_ENTER(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002865
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002866 if (qc_process(qcc)) {
2867 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002868 goto release;
Amaury Denoyelle14dbb842023-01-24 18:19:47 +01002869 }
2870
2871 qc_wake_some_streams(qcc);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002872
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002873 qcc_refresh_timeout(qcc);
2874
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002875 TRACE_LEAVE(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002876 return 0;
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002877
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002878 release:
2879 qc_release(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002880 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002881 return 1;
2882}
2883
Amaury Denoyellea473f192022-12-21 10:21:58 +01002884static void qc_shutw(struct stconn *sc, enum co_shw_mode mode)
2885{
2886 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002887 struct qcc *qcc = qcs->qcc;
Amaury Denoyellea473f192022-12-21 10:21:58 +01002888
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002889 TRACE_ENTER(QMUX_EV_STRM_SHUT, qcc->conn, qcs);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002890
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002891 /* Early closure reported if QC_SF_FIN_STREAM not yet set. */
Amaury Denoyellea473f192022-12-21 10:21:58 +01002892 if (!qcs_is_close_local(qcs) &&
2893 !(qcs->flags & (QC_SF_FIN_STREAM|QC_SF_TO_RESET))) {
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002894
2895 if (qcs->flags & QC_SF_UNKNOWN_PL_LENGTH) {
2896 /* Close stream with a FIN STREAM frame. */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002897 if (!(qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL))) {
Amaury Denoyelle3fd40932023-05-10 10:41:47 +02002898 TRACE_STATE("set FIN STREAM",
2899 QMUX_EV_STRM_SHUT, qcc->conn, qcs);
2900 qcs->flags |= QC_SF_FIN_STREAM;
2901 qcc_send_stream(qcs, 0);
2902 }
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002903 }
2904 else {
2905 /* RESET_STREAM necessary. */
Amaury Denoyelle5f67b172023-05-04 18:52:42 +02002906 if (!(qcc->flags & (QC_CF_ERR_CONN|QC_CF_ERRL)))
Amaury Denoyelle3fd40932023-05-10 10:41:47 +02002907 qcc_reset_stream(qcs, 0);
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002908 se_fl_set_error(qcs->sd);
2909 }
2910
2911 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002912 }
2913
Amaury Denoyelled4af0412023-05-03 18:17:19 +02002914 out:
Amaury Denoyelle24962dd2023-04-24 17:50:23 +02002915 TRACE_LEAVE(QMUX_EV_STRM_SHUT, qcc->conn, qcs);
Amaury Denoyellea473f192022-12-21 10:21:58 +01002916}
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002917
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002918/* for debugging with CLI's "show sess" command. May emit multiple lines, each
2919 * new one being prefixed with <pfx>, if <pfx> is not NULL, otherwise a single
2920 * line is used. Each field starts with a space so it's safe to print it after
2921 * existing fields.
2922 */
2923static int qc_show_sd(struct buffer *msg, struct sedesc *sd, const char *pfx)
2924{
2925 struct qcs *qcs = sd->se;
2926 struct qcc *qcc;
2927 int ret = 0;
2928
2929 if (!qcs)
2930 return ret;
2931
2932 chunk_appendf(msg, " qcs=%p .flg=%#x .id=%llu .st=%s .ctx=%p, .err=%#llx",
2933 qcs, qcs->flags, (ull)qcs->id, qcs_st_to_str(qcs->st), qcs->ctx, (ull)qcs->err);
2934
2935 if (pfx)
2936 chunk_appendf(msg, "\n%s", pfx);
2937
2938 qcc = qcs->qcc;
2939 chunk_appendf(msg, " qcc=%p .flg=%#x .nbsc=%llu .nbhreq=%llu, .task=%p",
2940 qcc, qcc->flags, (ull)qcc->nb_sc, (ull)qcc->nb_hreq, qcc->task);
2941 return ret;
2942}
2943
2944
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002945static const struct mux_ops qc_ops = {
2946 .init = qc_init,
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002947 .destroy = qc_destroy,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002948 .detach = qc_detach,
Amaury Denoyelleb7ce79c2022-11-24 10:51:19 +01002949 .rcv_buf = qc_recv_buf,
2950 .snd_buf = qc_send_buf,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002951 .subscribe = qc_subscribe,
2952 .unsubscribe = qc_unsubscribe,
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002953 .wake = qc_wake,
Amaury Denoyellea473f192022-12-21 10:21:58 +01002954 .shutw = qc_shutw,
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002955 .show_sd = qc_show_sd,
Willy Tarreaub5821e12022-04-26 11:54:08 +02002956 .flags = MX_FL_HTX|MX_FL_NO_UPG|MX_FL_FRAMED,
Willy Tarreau671bd5a2022-04-11 09:29:21 +02002957 .name = "QUIC",
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002958};
2959
2960static struct mux_proto_list mux_proto_quic =
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002961 { .token = IST("quic"), .mode = PROTO_MODE_HTTP, .side = PROTO_SIDE_FE, .mux = &qc_ops };
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002962
2963INITCALL1(STG_REGISTER, register_mux_proto, &mux_proto_quic);