blob: 3baab767f4cca4a7ebd449ffbb5077d6aaf9a6f8 [file] [log] [blame]
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001#include <haproxy/mux_quic.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002
Amaury Denoyelleeb01f592021-10-07 16:44:05 +02003#include <import/eb64tree.h>
4
Frédéric Lécailledfbae762021-02-18 09:59:01 +01005#include <haproxy/api.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +01006#include <haproxy/connection.h>
Amaury Denoyelledeed7772021-12-03 11:36:46 +01007#include <haproxy/dynbuf.h>
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02008#include <haproxy/list.h>
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +02009#include <haproxy/ncbuf.h>
Amaury Denoyelledeed7772021-12-03 11:36:46 +010010#include <haproxy/pool.h>
Amaury Denoyelled80fbca2022-09-19 17:02:28 +020011#include <haproxy/qmux_http.h>
Amaury Denoyelle36d50bf2022-09-19 16:12:38 +020012#include <haproxy/qmux_trace.h>
Amaury Denoyelle92fa63f2022-09-30 18:11:13 +020013#include <haproxy/quic_conn.h>
Amaury Denoyelle0cc02a32022-04-19 17:21:11 +020014#include <haproxy/quic_stream.h>
Frédéric Lécaille748ece62022-05-21 23:58:40 +020015#include <haproxy/quic_tp-t.h>
Amaury Denoyelleeb01f592021-10-07 16:44:05 +020016#include <haproxy/ssl_sock-t.h>
Willy Tarreaucb086c62022-05-27 09:47:12 +020017#include <haproxy/stconn.h>
Amaury Denoyelledd4fbfb2022-03-24 16:09:16 +010018#include <haproxy/trace.h>
Frédéric Lécailledfbae762021-02-18 09:59:01 +010019
Amaury Denoyelledeed7772021-12-03 11:36:46 +010020DECLARE_POOL(pool_head_qcc, "qcc", sizeof(struct qcc));
Frédéric Lécailledfbae762021-02-18 09:59:01 +010021DECLARE_POOL(pool_head_qcs, "qcs", sizeof(struct qcs));
22
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020023/* Emit a CONNECTION_CLOSE with error <err>. This will interrupt all future
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +020024 * send/receive operations.
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020025 */
26static void qcc_emit_cc(struct qcc *qcc, int err)
27{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +020028 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
29
30 TRACE_STATE("set CONNECTION_CLOSE on quic-conn", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle57e6db72022-07-13 15:07:56 +020031 quic_set_connection_close(qcc->conn->handle.qc, quic_err_transport(err));
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020032 qcc->flags |= QC_CF_CC_EMIT;
33 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +020034
35 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +020036}
37
Amaury Denoyelledeed7772021-12-03 11:36:46 +010038/* Allocate a new QUIC streams with id <id> and type <type>. */
Amaury Denoyellea509ffb2022-07-04 15:50:33 +020039static struct qcs *qcs_new(struct qcc *qcc, uint64_t id, enum qcs_type type)
Frédéric Lécailledfbae762021-02-18 09:59:01 +010040{
Amaury Denoyelledeed7772021-12-03 11:36:46 +010041 struct qcs *qcs;
Frédéric Lécailledfbae762021-02-18 09:59:01 +010042
Amaury Denoyelle4f137572022-03-24 17:10:00 +010043 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
44
Amaury Denoyelledeed7772021-12-03 11:36:46 +010045 qcs = pool_alloc(pool_head_qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020046 if (!qcs) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +020047 TRACE_ERROR("alloc failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle17014a62022-04-27 15:09:27 +020048 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020049 }
Amaury Denoyelle17014a62022-04-27 15:09:27 +020050
51 qcs->stream = NULL;
52 qcs->qcc = qcc;
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +020053 qcs->sd = NULL;
Amaury Denoyelle17014a62022-04-27 15:09:27 +020054 qcs->flags = QC_SF_NONE;
Amaury Denoyelle38e60062022-07-01 16:48:42 +020055 qcs->st = QC_SS_IDLE;
Amaury Denoyelle47447af2022-04-27 15:17:11 +020056 qcs->ctx = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +010057
Amaury Denoyelle30e260e2022-08-03 11:17:57 +020058 /* App callback attach may register the stream for http-request wait.
59 * These fields must be initialed before.
60 */
61 LIST_INIT(&qcs->el_opening);
62 qcs->start = TICK_ETERNITY;
63
Amaury Denoyelle93fba322022-05-24 16:53:14 +020064 /* Allocate transport layer stream descriptor. Only needed for TX. */
65 if (!quic_stream_is_uni(id) || !quic_stream_is_remote(qcc, id)) {
66 struct quic_conn *qc = qcc->conn->handle.qc;
67 qcs->stream = qc_stream_desc_new(id, type, qcs, qc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020068 if (!qcs->stream) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +020069 TRACE_ERROR("qc_stream_desc alloc failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle93fba322022-05-24 16:53:14 +020070 goto err;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020071 }
Amaury Denoyelle93fba322022-05-24 16:53:14 +020072 }
Amaury Denoyelle7272cd72022-03-29 15:15:54 +020073
Amaury Denoyelle3236a8e2022-05-24 15:24:03 +020074 qcs->id = qcs->by_id.key = id;
Amaury Denoyelle47447af2022-04-27 15:17:11 +020075 if (qcc->app_ops->attach) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020076 if (qcc->app_ops->attach(qcs, qcc->ctx)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +020077 TRACE_ERROR("app proto failure", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle47447af2022-04-27 15:17:11 +020078 goto err;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +020079 }
Amaury Denoyelle47447af2022-04-27 15:17:11 +020080 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +010081
Amaury Denoyelled8e680c2022-03-29 15:18:44 +020082 /* store transport layer stream descriptor in qcc tree */
Amaury Denoyellee4301da2022-04-19 17:59:50 +020083 eb64_insert(&qcc->streams_by_id, &qcs->by_id);
Christopher Faulet9ec2f4d2022-03-23 15:15:29 +010084
Amaury Denoyelledeed7772021-12-03 11:36:46 +010085 qcc->strms[type].nb_streams++;
Frédéric Lécailledfbae762021-02-18 09:59:01 +010086
Amaury Denoyelle6ea78192022-03-07 15:47:02 +010087 /* If stream is local, use peer remote-limit, or else the opposite. */
88 /* TODO use uni limit for unidirectional streams */
89 qcs->tx.msd = quic_stream_is_local(qcc, id) ? qcc->rfctl.msd_bidi_r :
90 qcc->rfctl.msd_bidi_l;
91
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +020092 qcs->rx.ncbuf = NCBUF_NULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +010093 qcs->rx.app_buf = BUF_NULL;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +020094 qcs->rx.offset = qcs->rx.offset_max = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +010095
Amaury Denoyelle44d09122022-04-26 11:21:10 +020096 /* TODO use uni limit for unidirectional streams */
97 qcs->rx.msd = quic_stream_is_local(qcc, id) ? qcc->lfctl.msd_bidi_l :
98 qcc->lfctl.msd_bidi_r;
Amaury Denoyellea9773552022-05-16 14:38:25 +020099 qcs->rx.msd_init = qcs->rx.msd;
Amaury Denoyelle44d09122022-04-26 11:21:10 +0200100
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100101 qcs->tx.buf = BUF_NULL;
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100102 qcs->tx.offset = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +0100103 qcs->tx.sent_offset = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100104
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100105 qcs->wait_event.tasklet = NULL;
106 qcs->wait_event.events = 0;
107 qcs->subs = NULL;
108
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200109 qcs->err = 0;
110
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100111 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100112 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100113 return qcs;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200114
115 err:
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200116 if (qcs->ctx && qcc->app_ops->detach)
117 qcc->app_ops->detach(qcs);
118
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200119 qc_stream_desc_release(qcs->stream);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200120 pool_free(pool_head_qcs, qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200121
122 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200123 return NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100124}
125
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200126static void qc_free_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
127{
128 struct buffer buf;
129
Amaury Denoyelle7313f5e2022-05-17 18:53:21 +0200130 if (ncb_is_null(ncbuf))
131 return;
132
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200133 buf = b_make(ncbuf->area, ncbuf->size, 0, 0);
134 b_free(&buf);
Amaury Denoyelle7313f5e2022-05-17 18:53:21 +0200135 offer_buffers(NULL, 1);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200136
137 *ncbuf = NCBUF_NULL;
138}
139
Amaury Denoyelledccbd732022-03-29 18:36:59 +0200140/* Free a qcs. This function must only be done to remove a stream on allocation
141 * error or connection shutdown. Else use qcs_destroy which handle all the
142 * QUIC connection mechanism.
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100143 */
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200144static void qcs_free(struct qcs *qcs)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100145{
Amaury Denoyelle3baab742022-08-11 18:35:55 +0200146 struct qcc *qcc = qcs->qcc;
147
148 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200149
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200150 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
Amaury Denoyelledccbd732022-03-29 18:36:59 +0200151 b_free(&qcs->tx.buf);
Amaury Denoyelledccbd732022-03-29 18:36:59 +0200152
Amaury Denoyelle3baab742022-08-11 18:35:55 +0200153 BUG_ON(!qcc->strms[qcs_id_type(qcs->id)].nb_streams);
154 --qcc->strms[qcs_id_type(qcs->id)].nb_streams;
Amaury Denoyelledccbd732022-03-29 18:36:59 +0200155
Amaury Denoyelle3baab742022-08-11 18:35:55 +0200156 if (qcs->ctx && qcc->app_ops->detach)
157 qcc->app_ops->detach(qcs);
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200158
Amaury Denoyellee4301da2022-04-19 17:59:50 +0200159 qc_stream_desc_release(qcs->stream);
160
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +0200161 BUG_ON(qcs->sd && !se_fl_test(qcs->sd, SE_FL_ORPHAN));
162 sedesc_free(qcs->sd);
Amaury Denoyellee4301da2022-04-19 17:59:50 +0200163
164 eb64_delete(&qcs->by_id);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100165 pool_free(pool_head_qcs, qcs);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200166
Amaury Denoyelle3baab742022-08-11 18:35:55 +0200167 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100168}
169
Amaury Denoyelle3abeb572022-07-04 11:42:27 +0200170static forceinline struct stconn *qcs_sc(const struct qcs *qcs)
171{
172 return qcs->sd ? qcs->sd->sc : NULL;
173}
174
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200175/* Reset the <qcc> inactivity timeout for http-keep-alive timeout. */
176static forceinline void qcc_reset_idle_start(struct qcc *qcc)
177{
178 qcc->idle_start = now_ms;
179}
180
Amaury Denoyellec603de42022-07-25 11:21:46 +0200181/* Decrement <qcc> sc. */
182static forceinline void qcc_rm_sc(struct qcc *qcc)
183{
184 BUG_ON_HOT(!qcc->nb_sc);
185 --qcc->nb_sc;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200186
187 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
188 * refreshed after this on stream detach.
189 */
190 if (!qcc->nb_sc && !qcc->nb_hreq)
191 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200192}
193
194/* Decrement <qcc> hreq. */
195static forceinline void qcc_rm_hreq(struct qcc *qcc)
196{
197 BUG_ON_HOT(!qcc->nb_hreq);
198 --qcc->nb_hreq;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200199
200 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
201 * refreshed after this on I/O handler.
202 */
203 if (!qcc->nb_sc && !qcc->nb_hreq)
204 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200205}
206
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200207static inline int qcc_is_dead(const struct qcc *qcc)
208{
209 /* Mux connection is considered dead if :
210 * - all stream-desc are detached AND
211 * = connection is on error OR
212 * = mux timeout has already fired or is unset
213 */
214 if (!qcc->nb_sc && ((qcc->conn->flags & CO_FL_ERROR) || !qcc->task))
215 return 1;
216
217 return 0;
218}
219
220/* Return true if the mux timeout should be armed. */
221static inline int qcc_may_expire(struct qcc *qcc)
222{
223 return !qcc->nb_sc;
224}
225
226/* Refresh the timeout on <qcc> if needed depending on its state. */
227static void qcc_refresh_timeout(struct qcc *qcc)
228{
229 const struct proxy *px = qcc->proxy;
230
231 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
232
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200233 if (!qcc->task) {
234 TRACE_DEVEL("already expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200235 goto leave;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200236 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200237
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200238 /* Check if upper layer is responsible of timeout management. */
239 if (!qcc_may_expire(qcc)) {
240 TRACE_DEVEL("not eligible for timeout", QMUX_EV_QCC_WAKE, qcc->conn);
241 qcc->task->expire = TICK_ETERNITY;
242 task_queue(qcc->task);
243 goto leave;
244 }
245
246 /* TODO if connection is idle on frontend and proxy is disabled, remove
247 * it with global close_spread delay applied.
248 */
249
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200250 /* TODO implement client/server-fin timeout for graceful shutdown */
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200251
252 /* Frontend timeout management
253 * - detached streams with data left to send -> default timeout
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200254 * - stream waiting on incomplete request or no stream yet activated -> timeout http-request
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200255 * - idle after stream processing -> timeout http-keep-alive
256 */
257 if (!conn_is_back(qcc->conn)) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200258 if (qcc->nb_hreq) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200259 TRACE_DEVEL("one or more requests still in progress", QMUX_EV_QCC_WAKE, qcc->conn);
260 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200261 task_queue(qcc->task);
262 goto leave;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200263 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200264
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200265 if (!LIST_ISEMPTY(&qcc->opening_list) || unlikely(!qcc->largest_bidi_r)) {
266 int timeout = px->timeout.httpreq;
267 struct qcs *qcs = NULL;
268 int base_time;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200269
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200270 /* Use start time of first stream waiting on HTTP or
271 * qcc idle if no stream not yet used.
272 */
273 if (likely(!LIST_ISEMPTY(&qcc->opening_list)))
274 qcs = LIST_ELEM(qcc->opening_list.n, struct qcs *, el_opening);
275 base_time = qcs ? qcs->start : qcc->idle_start;
276
277 TRACE_DEVEL("waiting on http request", QMUX_EV_QCC_WAKE, qcc->conn, qcs);
278 qcc->task->expire = tick_add_ifset(base_time, timeout);
279 }
280 else {
281 /* Use http-request timeout if keep-alive timeout not set */
282 int timeout = tick_isset(px->timeout.httpka) ?
283 px->timeout.httpka : px->timeout.httpreq;
284
285 TRACE_DEVEL("at least one request achieved but none currently in progress", QMUX_EV_QCC_WAKE, qcc->conn);
286 qcc->task->expire = tick_add_ifset(qcc->idle_start, timeout);
287 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200288 }
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200289
290 /* fallback to default timeout if frontend specific undefined or for
291 * backend connections.
292 */
293 if (!tick_isset(qcc->task->expire)) {
294 TRACE_DEVEL("fallback to default timeout", QMUX_EV_QCC_WAKE, qcc->conn);
295 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200296 }
297
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200298 task_queue(qcc->task);
299
300 leave:
301 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
302}
303
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200304/* Mark a stream as open if it was idle. This can be used on every
305 * successful emission/reception operation to update the stream state.
306 */
307static void qcs_idle_open(struct qcs *qcs)
308{
309 /* This operation must not be used if the stream is already closed. */
310 BUG_ON_HOT(qcs->st == QC_SS_CLO);
311
312 if (qcs->st == QC_SS_IDLE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200313 TRACE_STATE("opening stream", QMUX_EV_QCS_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200314 qcs->st = QC_SS_OPEN;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200315 }
316}
317
318/* Close the local channel of <qcs> instance. */
319static void qcs_close_local(struct qcs *qcs)
320{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200321 TRACE_STATE("closing stream locally", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
322
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200323 /* The stream must have already been opened. */
324 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
325
326 /* This operation cannot be used multiple times. */
327 BUG_ON_HOT(qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO);
328
329 if (quic_stream_is_bidi(qcs->id)) {
330 qcs->st = (qcs->st == QC_SS_HREM) ? QC_SS_CLO : QC_SS_HLOC;
Amaury Denoyelleafb7b9d2022-09-19 11:58:24 +0200331
332 if (qcs->flags & QC_SF_HREQ_RECV)
333 qcc_rm_hreq(qcs->qcc);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200334 }
335 else {
336 /* Only local uni streams are valid for this operation. */
337 BUG_ON_HOT(quic_stream_is_remote(qcs->qcc, qcs->id));
338 qcs->st = QC_SS_CLO;
339 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200340}
341
342/* Close the remote channel of <qcs> instance. */
343static void qcs_close_remote(struct qcs *qcs)
344{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200345 TRACE_STATE("closing stream remotely", QMUX_EV_QCS_RECV, qcs->qcc->conn, qcs);
346
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200347 /* The stream must have already been opened. */
348 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
349
350 /* This operation cannot be used multiple times. */
351 BUG_ON_HOT(qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO);
352
353 if (quic_stream_is_bidi(qcs->id)) {
354 qcs->st = (qcs->st == QC_SS_HLOC) ? QC_SS_CLO : QC_SS_HREM;
355 }
356 else {
357 /* Only remote uni streams are valid for this operation. */
358 BUG_ON_HOT(quic_stream_is_local(qcs->qcc, qcs->id));
359 qcs->st = QC_SS_CLO;
360 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200361}
362
363static int qcs_is_close_local(struct qcs *qcs)
364{
365 return qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO;
366}
367
368static __maybe_unused int qcs_is_close_remote(struct qcs *qcs)
369{
370 return qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO;
371}
372
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100373struct buffer *qc_get_buf(struct qcs *qcs, struct buffer *bptr)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100374{
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100375 struct buffer *buf = b_alloc(bptr);
376 BUG_ON(!buf);
377 return buf;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100378}
379
Amaury Denoyellea441ec92022-07-04 15:48:57 +0200380static struct ncbuf *qc_get_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200381{
382 struct buffer buf = BUF_NULL;
383
384 if (ncb_is_null(ncbuf)) {
385 b_alloc(&buf);
386 BUG_ON(b_is_null(&buf));
387
388 *ncbuf = ncb_make(buf.area, buf.size, 0);
389 ncb_init(ncbuf, 0);
390 }
391
392 return ncbuf;
393}
394
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500395/* Notify an eventual subscriber on <qcs> or else wakeup up the stconn layer if
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200396 * initialized.
397 */
398static void qcs_alert(struct qcs *qcs)
399{
400 if (qcs->subs) {
401 qcs_notify_recv(qcs);
402 qcs_notify_send(qcs);
403 }
404 else if (qcs_sc(qcs) && qcs->sd->sc->app_ops->wake) {
405 qcs->sd->sc->app_ops->wake(qcs->sd->sc);
406 }
407}
408
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100409int qcs_subscribe(struct qcs *qcs, int event_type, struct wait_event *es)
410{
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100411 struct qcc *qcc = qcs->qcc;
412
413 TRACE_ENTER(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100414
415 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
416 BUG_ON(qcs->subs && qcs->subs != es);
417
418 es->events |= event_type;
419 qcs->subs = es;
420
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100421 if (event_type & SUB_RETRY_RECV)
422 TRACE_DEVEL("subscribe(recv)", QMUX_EV_STRM_RECV, qcc->conn, qcs);
423
424 if (event_type & SUB_RETRY_SEND)
425 TRACE_DEVEL("subscribe(send)", QMUX_EV_STRM_SEND, qcc->conn, qcs);
426
427 TRACE_LEAVE(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
428
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100429 return 0;
430}
431
432void qcs_notify_recv(struct qcs *qcs)
433{
434 if (qcs->subs && qcs->subs->events & SUB_RETRY_RECV) {
435 tasklet_wakeup(qcs->subs->tasklet);
436 qcs->subs->events &= ~SUB_RETRY_RECV;
437 if (!qcs->subs->events)
438 qcs->subs = NULL;
439 }
440}
441
442void qcs_notify_send(struct qcs *qcs)
443{
444 if (qcs->subs && qcs->subs->events & SUB_RETRY_SEND) {
445 tasklet_wakeup(qcs->subs->tasklet);
446 qcs->subs->events &= ~SUB_RETRY_SEND;
447 if (!qcs->subs->events)
448 qcs->subs = NULL;
449 }
450}
451
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200452/* Open a locally initiated stream for the connection <qcc>. Set <bidi> for a
453 * bidirectional stream, else an unidirectional stream is opened. The next
454 * available ID on the connection will be used according to the stream type.
455 *
456 * Returns the allocated stream instance or NULL on error.
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100457 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200458struct qcs *qcc_init_stream_local(struct qcc *qcc, int bidi)
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100459{
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200460 struct qcs *qcs;
461 enum qcs_type type;
462 uint64_t *next;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100463
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200464 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
465
466 if (bidi) {
467 next = &qcc->next_bidi_l;
468 type = conn_is_back(qcc->conn) ? QCS_CLT_BIDI : QCS_SRV_BIDI;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100469 }
470 else {
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200471 next = &qcc->next_uni_l;
472 type = conn_is_back(qcc->conn) ? QCS_CLT_UNI : QCS_SRV_UNI;
473 }
474
475 /* TODO ensure that we won't overflow remote peer flow control limit on
476 * streams. Else, we should emit a STREAMS_BLOCKED frame.
477 */
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100478
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200479 qcs = qcs_new(qcc, *next, type);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200480 if (!qcs) {
481 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200482 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200483 }
Amaury Denoyellec055e302022-02-07 16:09:06 +0100484
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200485 TRACE_PROTO("opening local stream", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200486 *next += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100487
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200488 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200489 return qcs;
490}
491
492/* Open a remote initiated stream for the connection <qcc> with ID <id>. The
493 * caller is responsible to ensure that a stream with the same ID was not
494 * already opened. This function will also create all intermediaries streams
495 * with ID smaller than <id> not already opened before.
496 *
497 * Returns the allocated stream instance or NULL on error.
498 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200499static struct qcs *qcc_init_stream_remote(struct qcc *qcc, uint64_t id)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200500{
501 struct qcs *qcs = NULL;
502 enum qcs_type type;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200503 uint64_t *largest, max_id;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100504
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200505 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200506
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200507 BUG_ON_HOT(quic_stream_is_local(qcc, id));
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100508
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200509 if (quic_stream_is_bidi(id)) {
510 largest = &qcc->largest_bidi_r;
511 type = conn_is_back(qcc->conn) ? QCS_SRV_BIDI : QCS_CLT_BIDI;
512 }
513 else {
514 largest = &qcc->largest_uni_r;
515 type = conn_is_back(qcc->conn) ? QCS_SRV_UNI : QCS_CLT_UNI;
516 }
517
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200518 /* RFC 9000 4.6. Controlling Concurrency
519 *
520 * An endpoint that receives a frame with a stream ID exceeding the
521 * limit it has sent MUST treat this as a connection error of type
522 * STREAM_LIMIT_ERROR
523 */
524 max_id = quic_stream_is_bidi(id) ? qcc->lfctl.ms_bidi * 4 :
525 qcc->lfctl.ms_uni * 4;
526 if (id >= max_id) {
527 TRACE_ERROR("flow control error", QMUX_EV_QCS_NEW|QMUX_EV_PROTO_ERR, qcc->conn);
528 qcc_emit_cc(qcc, QC_ERR_STREAM_LIMIT_ERROR);
529 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200530 }
531
532 /* Only stream ID not already opened can be used. */
533 BUG_ON(id < *largest);
534
535 while (id >= *largest) {
Amaury Denoyellefd79ddb2022-08-16 11:13:45 +0200536 const char *str = *largest < id ? "initializing intermediary remote stream" :
537 "initializing remote stream";
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200538
539 qcs = qcs_new(qcc, *largest, type);
540 if (!qcs) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200541 /* TODO emit RESET_STREAM */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200542 TRACE_ERROR("stream fallocation failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200543 goto err;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100544 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200545
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200546 TRACE_PROTO(str, QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200547 *largest += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100548 }
549
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200550 out:
551 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle50742292022-03-29 14:57:19 +0200552 return qcs;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200553
554 err:
555 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
556 return NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200557}
558
559/* Use this function for a stream <id> which is not in <qcc> stream tree. It
560 * returns true if the associated stream is closed.
561 */
562static int qcc_stream_id_is_closed(struct qcc *qcc, uint64_t id)
563{
564 uint64_t *largest;
565
566 /* This function must only be used for stream not present in the stream tree. */
567 BUG_ON_HOT(eb64_lookup(&qcc->streams_by_id, id));
568
569 if (quic_stream_is_local(qcc, id)) {
570 largest = quic_stream_is_uni(id) ? &qcc->next_uni_l :
571 &qcc->next_bidi_l;
572 }
573 else {
574 largest = quic_stream_is_uni(id) ? &qcc->largest_uni_r :
575 &qcc->largest_bidi_r;
576 }
577
578 return id < *largest;
579}
580
581/* Retrieve the stream instance from <id> ID. This can be used when receiving
582 * STREAM, STREAM_DATA_BLOCKED, RESET_STREAM, MAX_STREAM_DATA or STOP_SENDING
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200583 * frames. Set to false <receive_only> or <send_only> if these particular types
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200584 * of streams are not allowed. If the stream instance is found, it is stored in
585 * <out>.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200586 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200587 * Returns 0 on success else non-zero. On error, a RESET_STREAM or a
588 * CONNECTION_CLOSE is automatically emitted. Beware that <out> may be NULL
589 * on success if the stream has already been closed.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200590 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200591int qcc_get_qcs(struct qcc *qcc, uint64_t id, int receive_only, int send_only,
592 struct qcs **out)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200593{
594 struct eb64_node *node;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200595
596 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200597 *out = NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200598
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200599 if (!receive_only && quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200600 TRACE_ERROR("receive-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200601 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200602 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200603 }
604
605 if (!send_only && quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200606 TRACE_ERROR("send-only stream not allowed", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200607 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200608 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200609 }
610
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200611 /* Search the stream in the connection tree. */
612 node = eb64_lookup(&qcc->streams_by_id, id);
613 if (node) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200614 *out = eb64_entry(node, struct qcs, by_id);
615 TRACE_DEVEL("using stream from connection tree", QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200616 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200617 }
618
619 /* Check if stream is already closed. */
620 if (qcc_stream_id_is_closed(qcc, id)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200621 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200622 /* Consider this as a success even if <out> is left NULL. */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200623 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200624 }
625
626 /* Create the stream. This is valid only for remote initiated one. A
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500627 * local stream must have already been explicitly created by the
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200628 * application protocol layer.
629 */
630 if (quic_stream_is_local(qcc, id)) {
631 /* RFC 9000 19.8. STREAM Frames
632 *
633 * An endpoint MUST terminate the connection with error
634 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
635 * initiated stream that has not yet been created, or for a send-only
636 * stream.
637 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200638 TRACE_ERROR("locally initiated stream not yet created", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS|QMUX_EV_PROTO_ERR, qcc->conn, NULL, &id);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200639 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200640 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200641 }
642 else {
643 /* Remote stream not found - try to open it. */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200644 *out = qcc_init_stream_remote(qcc, id);
645 if (!*out) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200646 TRACE_ERROR("stream creation error", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200647 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200648 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200649 }
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100650
651 out:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200652 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200653 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200654
655 err:
656 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
657 return 1;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100658}
659
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200660/* Simple function to duplicate a buffer */
661static inline struct buffer qcs_b_dup(const struct ncbuf *b)
662{
663 return b_make(ncb_orig(b), b->size, b->head, ncb_data(b, 0));
664}
665
Amaury Denoyelle36d4b5e2022-07-01 11:25:40 +0200666/* Remove <bytes> from <qcs> Rx buffer. Flow-control for received offsets may
667 * be allocated for the peer if needed.
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200668 */
669static void qcs_consume(struct qcs *qcs, uint64_t bytes)
670{
671 struct qcc *qcc = qcs->qcc;
672 struct quic_frame *frm;
673 struct ncbuf *buf = &qcs->rx.ncbuf;
674 enum ncb_ret ret;
675
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200676 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
677
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200678 ret = ncb_advance(buf, bytes);
679 if (ret) {
680 ABORT_NOW(); /* should not happens because removal only in data */
681 }
682
683 if (ncb_is_empty(buf))
684 qc_free_ncbuf(qcs, buf);
685
686 qcs->rx.offset += bytes;
687 if (qcs->rx.msd - qcs->rx.offset < qcs->rx.msd_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200688 TRACE_DATA("increase stream credit via MAX_STREAM_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200689 frm = pool_zalloc(pool_head_quic_frame);
690 BUG_ON(!frm); /* TODO handle this properly */
691
692 qcs->rx.msd = qcs->rx.offset + qcs->rx.msd_init;
693
694 LIST_INIT(&frm->reflist);
695 frm->type = QUIC_FT_MAX_STREAM_DATA;
696 frm->max_stream_data.id = qcs->id;
697 frm->max_stream_data.max_stream_data = qcs->rx.msd;
698
699 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
700 tasklet_wakeup(qcc->wait_event.tasklet);
701 }
702
703 qcc->lfctl.offsets_consume += bytes;
704 if (qcc->lfctl.md - qcc->lfctl.offsets_consume < qcc->lfctl.md_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200705 TRACE_DATA("increase conn credit via MAX_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200706 frm = pool_zalloc(pool_head_quic_frame);
707 BUG_ON(!frm); /* TODO handle this properly */
708
709 qcc->lfctl.md = qcc->lfctl.offsets_consume + qcc->lfctl.md_init;
710
711 LIST_INIT(&frm->reflist);
712 frm->type = QUIC_FT_MAX_DATA;
713 frm->max_data.max_data = qcc->lfctl.md;
714
715 LIST_APPEND(&qcs->qcc->lfctl.frms, &frm->list);
716 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
717 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200718
719 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200720}
721
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200722/* Decode the content of STREAM frames already received on the stream instance
723 * <qcs>.
724 *
725 * Returns 0 on success else non-zero.
726 */
727static int qcc_decode_qcs(struct qcc *qcc, struct qcs *qcs)
728{
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200729 struct buffer b;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200730 ssize_t ret;
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200731 int fin = 0;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200732
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200733 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
734
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200735 b = qcs_b_dup(&qcs->rx.ncbuf);
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200736
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200737 /* Signal FIN to application if STREAM FIN received with all data. */
738 if (qcs_is_close_remote(qcs))
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200739 fin = 1;
740
741 ret = qcc->app_ops->decode_qcs(qcs, &b, fin);
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200742 if (ret < 0) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200743 TRACE_ERROR("decoding error", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200744 goto err;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200745 }
746
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200747 if (ret) {
748 qcs_consume(qcs, ret);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200749 qcs_notify_recv(qcs);
750 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200751
752 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200753 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200754
755 err:
756 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
757 return 1;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200758}
759
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200760/* Emit a CONNECTION_CLOSE_APP with error <err>. Reserved for application error
Amaury Denoyelled666d742022-07-13 15:15:58 +0200761 * code. To close the connection right away, set <immediate> : this is useful
762 * when dealing with a connection fatal error. Else a graceful shutdown will be
763 * conducted : the error-code is only registered. The lower layer is
764 * responsible to close the connection when deemed suitable. Note that in this
765 * case the error code might be overwritten if an immediate close is requested
766 * in the interval.
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200767 */
Amaury Denoyelled666d742022-07-13 15:15:58 +0200768void qcc_emit_cc_app(struct qcc *qcc, int err, int immediate)
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200769{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200770 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
771
Amaury Denoyelled666d742022-07-13 15:15:58 +0200772 if (immediate) {
773 quic_set_connection_close(qcc->conn->handle.qc, quic_err_app(err));
774 qcc->flags |= QC_CF_CC_EMIT;
775 tasklet_wakeup(qcc->wait_event.tasklet);
776 }
777 else {
778 /* Only register the error code for graceful shutdown. */
779 qcc->conn->handle.qc->err = quic_err_app(err);
780 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200781
782 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200783}
784
785/* Prepare for the emission of RESET_STREAM on <qcs> with error code <err>. */
786void qcc_reset_stream(struct qcs *qcs, int err)
787{
788 struct qcc *qcc = qcs->qcc;
789
790 if ((qcs->flags & QC_SF_TO_RESET) || qcs_is_close_local(qcs))
791 return;
792
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200793 TRACE_STATE("reset stream", QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200794 qcs->flags |= QC_SF_TO_RESET;
795 qcs->err = err;
796 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200797}
798
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200799/* Install the <app_ops> applicative layer of a QUIC connection on mux <qcc>.
800 * Returns 0 on success else non-zero.
801 */
802int qcc_install_app_ops(struct qcc *qcc, const struct qcc_app_ops *app_ops)
803{
804 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn);
805
806 qcc->app_ops = app_ops;
807 if (qcc->app_ops->init && !qcc->app_ops->init(qcc)) {
808 TRACE_ERROR("app ops init error", QMUX_EV_QCC_NEW, qcc->conn);
809 goto err;
810 }
811
812 TRACE_PROTO("application layer initialized", QMUX_EV_QCC_NEW, qcc->conn);
813
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200814 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
815 return 0;
816
817 err:
818 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
819 return 1;
820}
821
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200822/* Handle a new STREAM frame for stream with id <id>. Payload is pointed by
823 * <data> with length <len> and represents the offset <offset>. <fin> is set if
824 * the QUIC frame FIN bit is set.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100825 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200826 * Returns 0 on success else non-zero. On error, the received frame should not
827 * be acknowledged.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100828 */
829int qcc_recv(struct qcc *qcc, uint64_t id, uint64_t len, uint64_t offset,
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200830 char fin, char *data)
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100831{
832 struct qcs *qcs;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200833 enum ncb_ret ret;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100834
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100835 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
836
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200837 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200838 TRACE_DATA("connection closed", QMUX_EV_QCC_RECV, qcc->conn);
839 goto err;
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200840 }
841
Amaury Denoyelle6754d7e2022-05-23 16:12:49 +0200842 /* RFC 9000 19.8. STREAM Frames
843 *
844 * An endpoint MUST terminate the connection with error
845 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
846 * initiated stream that has not yet been created, or for a send-only
847 * stream.
848 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200849 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200850 TRACE_DATA("qcs retrieval error", QMUX_EV_QCC_RECV, qcc->conn);
851 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200852 }
853
854 if (!qcs) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200855 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV, qcc->conn);
856 goto out;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200857 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100858
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200859 /* RFC 9000 4.5. Stream Final Size
860 *
861 * Once a final size for a stream is known, it cannot change. If a
862 * RESET_STREAM or STREAM frame is received indicating a change in the
863 * final size for the stream, an endpoint SHOULD respond with an error
864 * of type FINAL_SIZE_ERROR; see Section 11 for details on error
865 * handling.
866 */
867 if (qcs->flags & QC_SF_SIZE_KNOWN &&
868 (offset + len > qcs->rx.offset_max || (fin && offset + len < qcs->rx.offset_max))) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200869 TRACE_ERROR("final size error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR, qcc->conn, qcs);
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200870 qcc_emit_cc(qcc, QC_ERR_FINAL_SIZE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200871 goto err;
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200872 }
873
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100874 if (offset + len <= qcs->rx.offset) {
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200875 /* TODO offset may have been received without FIN first and now
876 * with it. In this case, it must be notified to be able to
877 * close the stream.
878 */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200879 TRACE_DATA("already received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
880 goto out;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100881 }
882
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200883 TRACE_PROTO("receiving STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200884 qcs_idle_open(qcs);
885
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200886 if (offset + len > qcs->rx.offset_max) {
887 uint64_t diff = offset + len - qcs->rx.offset_max;
888 qcs->rx.offset_max = offset + len;
889 qcc->lfctl.offsets_recv += diff;
890
891 if (offset + len > qcs->rx.msd ||
892 qcc->lfctl.offsets_recv > qcc->lfctl.md) {
893 /* RFC 9000 4.1. Data Flow Control
894 *
895 * A receiver MUST close the connection with an error
896 * of type FLOW_CONTROL_ERROR if the sender violates
897 * the advertised connection or stream data limits
898 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200899 TRACE_ERROR("flow control error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200900 qcc->conn, qcs);
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200901 qcc_emit_cc(qcc, QC_ERR_FLOW_CONTROL_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200902 goto err;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200903 }
904 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100905
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200906 if (!qc_get_ncbuf(qcs, &qcs->rx.ncbuf) || ncb_is_null(&qcs->rx.ncbuf)) {
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100907 /* TODO should mark qcs as full */
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200908 ABORT_NOW();
909 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100910 }
911
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200912 TRACE_DATA("newly received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200913 if (offset < qcs->rx.offset) {
Frédéric Lécaillea18c3332022-07-04 09:54:58 +0200914 size_t diff = qcs->rx.offset - offset;
915
916 len -= diff;
917 data += diff;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200918 offset = qcs->rx.offset;
919 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100920
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200921 ret = ncb_add(&qcs->rx.ncbuf, offset - qcs->rx.offset, data, len, NCB_ADD_COMPARE);
922 if (ret != NCB_RET_OK) {
923 if (ret == NCB_RET_DATA_REJ) {
Amaury Denoyellecc3d7162022-05-20 15:14:57 +0200924 /* RFC 9000 2.2. Sending and Receiving Data
925 *
926 * An endpoint could receive data for a stream at the
927 * same stream offset multiple times. Data that has
928 * already been received can be discarded. The data at
929 * a given offset MUST NOT change if it is sent
930 * multiple times; an endpoint MAY treat receipt of
931 * different data at the same offset within a stream as
932 * a connection error of type PROTOCOL_VIOLATION.
933 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200934 TRACE_ERROR("overlapping data rejected", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200935 qcc->conn, qcs);
Amaury Denoyellecc3d7162022-05-20 15:14:57 +0200936 qcc_emit_cc(qcc, QC_ERR_PROTOCOL_VIOLATION);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200937 }
938 else if (ret == NCB_RET_GAP_SIZE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200939 TRACE_DATA("cannot bufferize frame due to gap size limit", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV,
940 qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200941 }
942 return 1;
943 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100944
945 if (fin)
Amaury Denoyelle3f39b402022-07-01 16:11:03 +0200946 qcs->flags |= QC_SF_SIZE_KNOWN;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100947
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200948 if (qcs->flags & QC_SF_SIZE_KNOWN &&
949 qcs->rx.offset_max == qcs->rx.offset + ncb_data(&qcs->rx.ncbuf, 0)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200950 qcs_close_remote(qcs);
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200951 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200952
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200953 if (ncb_data(&qcs->rx.ncbuf, 0) && !(qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200954 qcc_decode_qcs(qcc, qcs);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200955 qcc_refresh_timeout(qcc);
956 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200957
Amaury Denoyelle849b24f2022-05-24 17:22:07 +0200958 if (qcs->flags & QC_SF_READ_ABORTED) {
959 /* TODO should send a STOP_SENDING */
960 qcs_free(qcs);
961 }
962
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200963 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100964 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100965 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200966
967 err:
968 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
969 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100970}
971
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +0100972/* Handle a new MAX_DATA frame. <max> must contains the maximum data field of
973 * the frame.
974 *
975 * Returns 0 on success else non-zero.
976 */
977int qcc_recv_max_data(struct qcc *qcc, uint64_t max)
978{
Amaury Denoyelle392e94e2022-07-06 15:44:16 +0200979 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
980
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200981 TRACE_PROTO("receiving MAX_DATA", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +0100982 if (qcc->rfctl.md < max) {
983 qcc->rfctl.md = max;
Amaury Denoyelle392e94e2022-07-06 15:44:16 +0200984 TRACE_DEVEL("increase remote max-data", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +0100985
986 if (qcc->flags & QC_CF_BLK_MFCTL) {
987 qcc->flags &= ~QC_CF_BLK_MFCTL;
988 tasklet_wakeup(qcc->wait_event.tasklet);
989 }
990 }
Amaury Denoyelle392e94e2022-07-06 15:44:16 +0200991
992 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +0100993 return 0;
994}
995
Amaury Denoyelle8727ff42022-03-08 10:39:55 +0100996/* Handle a new MAX_STREAM_DATA frame. <max> must contains the maximum data
997 * field of the frame and <id> is the identifier of the QUIC stream.
998 *
Amaury Denoyelleb68559a2022-07-06 15:45:20 +0200999 * Returns 0 on success else non-zero. On error, the received frame should not
1000 * be acknowledged.
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001001 */
1002int qcc_recv_max_stream_data(struct qcc *qcc, uint64_t id, uint64_t max)
1003{
1004 struct qcs *qcs;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001005
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001006 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1007
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001008 /* RFC 9000 19.10. MAX_STREAM_DATA Frames
1009 *
1010 * Receiving a MAX_STREAM_DATA frame for a locally
1011 * initiated stream that has not yet been created MUST be treated as a
1012 * connection error of type STREAM_STATE_ERROR. An endpoint that
1013 * receives a MAX_STREAM_DATA frame for a receive-only stream MUST
1014 * terminate the connection with error STREAM_STATE_ERROR.
1015 */
1016 if (qcc_get_qcs(qcc, id, 0, 1, &qcs)) {
1017 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1018 return 1;
1019 }
1020
1021 if (qcs) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001022 TRACE_PROTO("receiving MAX_STREAM_DATA", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001023 if (max > qcs->tx.msd) {
1024 qcs->tx.msd = max;
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001025 TRACE_DEVEL("increase remote max-stream-data", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001026
1027 if (qcs->flags & QC_SF_BLK_SFCTL) {
1028 qcs->flags &= ~QC_SF_BLK_SFCTL;
1029 tasklet_wakeup(qcc->wait_event.tasklet);
1030 }
1031 }
1032 }
1033
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001034 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1035 qcc_refresh_timeout(qcc);
1036
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001037 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001038 return 0;
1039}
1040
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001041/* Handle a new STOP_SENDING frame for stream ID <id>. The error code should be
1042 * specified in <err>.
1043 *
1044 * Returns 0 on success else non-zero. On error, the received frame should not
1045 * be acknowledged.
1046 */
1047int qcc_recv_stop_sending(struct qcc *qcc, uint64_t id, uint64_t err)
1048{
1049 struct qcs *qcs;
1050
1051 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1052
1053 /* RFC 9000 19.5. STOP_SENDING Frames
1054 *
1055 * Receiving a STOP_SENDING frame for a
1056 * locally initiated stream that has not yet been created MUST be
1057 * treated as a connection error of type STREAM_STATE_ERROR. An
1058 * endpoint that receives a STOP_SENDING frame for a receive-only stream
1059 * MUST terminate the connection with error STREAM_STATE_ERROR.
1060 */
1061 if (qcc_get_qcs(qcc, id, 0, 1, &qcs)) {
1062 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1063 return 1;
1064 }
1065
1066 if (!qcs)
1067 goto out;
1068
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001069 TRACE_PROTO("receiving STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelled7755372022-10-03 17:20:31 +02001070
1071 /* RFC 9000 3.5. Solicited State Transitions
1072 *
1073 * An endpoint is expected to send another STOP_SENDING frame if a
1074 * packet containing a previous STOP_SENDING is lost. However, once
1075 * either all stream data or a RESET_STREAM frame has been received for
1076 * the stream -- that is, the stream is in any state other than "Recv"
1077 * or "Size Known" -- sending a STOP_SENDING frame is unnecessary.
1078 */
1079
1080 /* TODO thanks to previous RFC clause, STOP_SENDING is ignored if current stream
1081 * has already been closed locally. This is useful to not emit multiple
1082 * RESET_STREAM for a single stream. This is functional if stream is
1083 * locally closed due to all data transmitted, but in this case the RFC
1084 * advices to use an explicit RESET_STREAM.
1085 */
1086 if (qcs_is_close_local(qcs)) {
1087 TRACE_STATE("ignoring STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1088 goto out;
1089 }
1090
Amaury Denoyelle96ca1b72022-08-09 17:36:38 +02001091 qcs_idle_open(qcs);
1092
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001093 /* RFC 9000 3.5. Solicited State Transitions
1094 *
1095 * An endpoint that receives a STOP_SENDING frame
1096 * MUST send a RESET_STREAM frame if the stream is in the "Ready" or
1097 * "Send" state. If the stream is in the "Data Sent" state, the
1098 * endpoint MAY defer sending the RESET_STREAM frame until the packets
1099 * containing outstanding data are acknowledged or declared lost. If
1100 * any outstanding data is declared lost, the endpoint SHOULD send a
1101 * RESET_STREAM frame instead of retransmitting the data.
1102 *
1103 * An endpoint SHOULD copy the error code from the STOP_SENDING frame to
1104 * the RESET_STREAM frame it sends, but it can use any application error
1105 * code.
1106 */
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001107 qcc_reset_stream(qcs, err);
1108
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001109 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1110 qcc_refresh_timeout(qcc);
1111
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001112 out:
1113 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1114 return 0;
1115}
1116
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001117/* Signal the closing of remote stream with id <id>. Flow-control for new
1118 * streams may be allocated for the peer if needed.
1119 */
1120static int qcc_release_remote_stream(struct qcc *qcc, uint64_t id)
Amaury Denoyellec055e302022-02-07 16:09:06 +01001121{
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001122 struct quic_frame *frm;
1123
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001124 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn);
1125
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001126 if (quic_stream_is_bidi(id)) {
1127 ++qcc->lfctl.cl_bidi_r;
1128 if (qcc->lfctl.cl_bidi_r > qcc->lfctl.ms_bidi_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001129 TRACE_DATA("increase max stream limit with MAX_STREAMS_BIDI", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001130 frm = pool_zalloc(pool_head_quic_frame);
1131 BUG_ON(!frm); /* TODO handle this properly */
1132
1133 LIST_INIT(&frm->reflist);
1134 frm->type = QUIC_FT_MAX_STREAMS_BIDI;
1135 frm->max_streams_bidi.max_streams = qcc->lfctl.ms_bidi +
1136 qcc->lfctl.cl_bidi_r;
1137 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
1138 tasklet_wakeup(qcc->wait_event.tasklet);
1139
1140 qcc->lfctl.ms_bidi += qcc->lfctl.cl_bidi_r;
1141 qcc->lfctl.cl_bidi_r = 0;
1142 }
1143 }
1144 else {
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001145 /* TODO in HTTP/3 unidirectional streams cannot be closed or a
1146 * H3_CLOSED_CRITICAL_STREAM will be triggered before
1147 * entering here. If a new application protocol is supported it
1148 * might be necessary to implement MAX_STREAMS_UNI emission.
1149 */
1150 ABORT_NOW();
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001151 }
1152
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001153 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
1154
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001155 return 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001156}
1157
Ilya Shipitsin5e87bcf2021-12-25 11:45:52 +05001158/* detaches the QUIC stream from its QCC and releases it to the QCS pool. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001159static void qcs_destroy(struct qcs *qcs)
1160{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001161 struct connection *conn = qcs->qcc->conn;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001162 const uint64_t id = qcs->id;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001163
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001164 TRACE_ENTER(QMUX_EV_QCS_END, conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001165
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001166 if (quic_stream_is_remote(qcs->qcc, id))
1167 qcc_release_remote_stream(qcs->qcc, id);
Amaury Denoyellec055e302022-02-07 16:09:06 +01001168
Amaury Denoyelledccbd732022-03-29 18:36:59 +02001169 qcs_free(qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001170
1171 TRACE_LEAVE(QMUX_EV_QCS_END, conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001172}
1173
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001174/* Transfer as much as possible data on <qcs> from <in> to <out>. This is done
1175 * in respect with available flow-control at stream and connection level.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001176 *
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001177 * Returns the total bytes of transferred data.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001178 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001179static int qcs_xfer_data(struct qcs *qcs, struct buffer *out, struct buffer *in)
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001180{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001181 struct qcc *qcc = qcs->qcc;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001182 int left, to_xfer;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001183 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001184
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001185 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001186
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001187 qc_get_buf(qcs, out);
1188
1189 /*
1190 * QCS out buffer diagram
1191 * head left to_xfer
1192 * -------------> ----------> ----->
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001193 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001194 * |...............|xxxxxxxxxxx|<<<<<
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001195 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001196 * ^ ack-off ^ sent-off ^ off
1197 *
1198 * STREAM frame
1199 * ^ ^
1200 * |xxxxxxxxxxxxxxxxx|
1201 */
1202
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001203 BUG_ON_HOT(qcs->tx.sent_offset < qcs->stream->ack_offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001204 BUG_ON_HOT(qcs->tx.offset < qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001205 BUG_ON_HOT(qcc->tx.offsets < qcc->tx.sent_offsets);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001206
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001207 left = qcs->tx.offset - qcs->tx.sent_offset;
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001208 to_xfer = QUIC_MIN(b_data(in), b_room(out));
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001209
1210 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
1211 /* do not exceed flow control limit */
1212 if (qcs->tx.offset + to_xfer > qcs->tx.msd)
1213 to_xfer = qcs->tx.msd - qcs->tx.offset;
1214
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001215 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001216 /* do not overcome flow control limit on connection */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001217 if (qcc->tx.offsets + to_xfer > qcc->rfctl.md)
1218 to_xfer = qcc->rfctl.md - qcc->tx.offsets;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001219
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001220 if (!left && !to_xfer)
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001221 goto out;
1222
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001223 total = b_force_xfer(out, in, to_xfer);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001224
1225 out:
1226 {
1227 struct qcs_xfer_data_trace_arg arg = {
1228 .prep = b_data(out), .xfer = total,
1229 };
1230 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_XFER_DATA,
1231 qcc->conn, qcs, &arg);
1232 }
1233
1234 return total;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001235}
1236
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001237/* Prepare a STREAM frame for <qcs> instance using <out> as payload. The frame
1238 * is appended in <frm_list>. Set <fin> if this is supposed to be the last
1239 * stream frame.
1240 *
1241 * Returns the length of the STREAM frame or a negative error code.
1242 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001243static int qcs_build_stream_frm(struct qcs *qcs, struct buffer *out, char fin,
1244 struct list *frm_list)
1245{
1246 struct qcc *qcc = qcs->qcc;
1247 struct quic_frame *frm;
1248 int head, total;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001249 uint64_t base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001250
1251 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1252
Amaury Denoyellea4569202022-04-15 17:29:25 +02001253 /* if ack_offset < buf_offset, it points to an older buffer. */
1254 base_off = MAX(qcs->stream->buf_offset, qcs->stream->ack_offset);
1255 BUG_ON(qcs->tx.sent_offset < base_off);
1256
1257 head = qcs->tx.sent_offset - base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001258 total = b_data(out) - head;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001259 BUG_ON(total < 0);
1260
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001261 if (!total && !fin) {
1262 /* No need to send anything if total is NULL and no FIN to signal. */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001263 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1264 return 0;
1265 }
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001266 BUG_ON((!total && qcs->tx.sent_offset > qcs->tx.offset) ||
1267 (total && qcs->tx.sent_offset >= qcs->tx.offset));
Amaury Denoyellea4569202022-04-15 17:29:25 +02001268 BUG_ON(qcs->tx.sent_offset + total > qcs->tx.offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001269 BUG_ON(qcc->tx.sent_offsets + total > qcc->rfctl.md);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001270
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001271 TRACE_PROTO("sending STREAM frame", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001272 frm = pool_zalloc(pool_head_quic_frame);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001273 if (!frm) {
1274 TRACE_ERROR("frame alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001275 goto err;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001276 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001277
Frédéric Lécailleb9171912022-04-21 17:32:10 +02001278 LIST_INIT(&frm->reflist);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001279 frm->type = QUIC_FT_STREAM_8;
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001280 frm->stream.stream = qcs->stream;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001281 frm->stream.id = qcs->id;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001282 frm->stream.buf = out;
1283 frm->stream.data = (unsigned char *)b_peek(out, head);
1284
Amaury Denoyellefecfa0d2021-12-07 16:50:14 +01001285 /* FIN is positioned only when the buffer has been totally emptied. */
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001286 if (fin)
1287 frm->type |= QUIC_STREAM_FRAME_TYPE_FIN_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001288
1289 if (qcs->tx.sent_offset) {
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001290 frm->type |= QUIC_STREAM_FRAME_TYPE_OFF_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001291 frm->stream.offset.key = qcs->tx.sent_offset;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001292 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001293
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001294 frm->type |= QUIC_STREAM_FRAME_TYPE_LEN_BIT;
1295 frm->stream.len = total;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001296
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001297 LIST_APPEND(frm_list, &frm->list);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001298
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001299 out:
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001300 {
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001301 struct qcs_build_stream_trace_arg arg = {
1302 .len = frm->stream.len, .fin = fin,
1303 .offset = frm->stream.offset.key,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001304 };
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001305 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_BUILD_STRM,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001306 qcc->conn, qcs, &arg);
1307 }
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001308
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001309 return total;
1310
1311 err:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001312 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001313 return -1;
1314}
1315
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001316/* Check after transferring data from qcs.tx.buf if FIN must be set on the next
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001317 * STREAM frame for <qcs>.
1318 *
1319 * Returns true if FIN must be set else false.
1320 */
1321static int qcs_stream_fin(struct qcs *qcs)
1322{
1323 return qcs->flags & QC_SF_FIN_STREAM && !b_data(&qcs->tx.buf);
1324}
1325
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001326/* This function must be called by the upper layer to inform about the sending
1327 * of a STREAM frame for <qcs> instance. The frame is of <data> length and on
1328 * <offset>.
1329 */
1330void qcc_streams_sent_done(struct qcs *qcs, uint64_t data, uint64_t offset)
1331{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001332 struct qcc *qcc = qcs->qcc;
1333 uint64_t diff;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001334
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001335 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1336
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001337 BUG_ON(offset > qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001338 BUG_ON(offset + data > qcs->tx.offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001339
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001340 /* check if the STREAM frame has already been notified. It can happen
1341 * for retransmission.
1342 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001343 if (offset + data < qcs->tx.sent_offset) {
1344 TRACE_DEVEL("offset already notified", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1345 goto out;
1346 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001347
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001348 qcs_idle_open(qcs);
1349
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001350 diff = offset + data - qcs->tx.sent_offset;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001351 if (diff) {
1352 /* increase offset sum on connection */
1353 qcc->tx.sent_offsets += diff;
1354 BUG_ON_HOT(qcc->tx.sent_offsets > qcc->rfctl.md);
1355 if (qcc->tx.sent_offsets == qcc->rfctl.md)
1356 qcc->flags |= QC_CF_BLK_MFCTL;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001357
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001358 /* increase offset on stream */
1359 qcs->tx.sent_offset += diff;
1360 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.msd);
1361 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.offset);
1362 if (qcs->tx.sent_offset == qcs->tx.msd)
1363 qcs->flags |= QC_SF_BLK_SFCTL;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001364
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001365 if (qcs->tx.offset == qcs->tx.sent_offset &&
1366 b_full(&qcs->stream->buf->buf)) {
1367 qc_stream_buf_release(qcs->stream);
1368 /* prepare qcs for immediate send retry if data to send */
1369 if (b_data(&qcs->tx.buf))
1370 LIST_APPEND(&qcc->send_retry_list, &qcs->el);
1371 }
1372 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001373
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02001374 if (qcs->tx.offset == qcs->tx.sent_offset && !b_data(&qcs->tx.buf) &&
1375 qcs->flags & (QC_SF_FIN_STREAM|QC_SF_DETACH)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001376 /* Close stream locally. */
1377 qcs_close_local(qcs);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001378 /* Reset flag to not emit multiple FIN STREAM frames. */
1379 qcs->flags &= ~QC_SF_FIN_STREAM;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001380 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001381
1382 out:
1383 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001384}
1385
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001386/* Wrapper for send on transport layer. Send a list of frames <frms> for the
1387 * connection <qcc>.
1388 *
1389 * Returns 0 if all data sent with success else non-zero.
1390 */
1391static int qc_send_frames(struct qcc *qcc, struct list *frms)
1392{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001393 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
1394
1395 if (LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001396 TRACE_DEVEL("no frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1397 goto err;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001398 }
Frédéric Lécaille4e22f282022-03-18 18:38:19 +01001399
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001400 LIST_INIT(&qcc->send_retry_list);
1401
Amaury Denoyelle036cc5d2022-09-26 15:02:31 +02001402 if (!qc_send_mux(qcc->conn->handle.qc, frms))
1403 goto err;
Amaury Denoyellee9c4cc12022-03-04 15:29:53 +01001404
Amaury Denoyelledb5d1a12022-03-10 16:42:23 +01001405 /* If there is frames left at this stage, transport layer is blocked.
1406 * Subscribe on it to retry later.
1407 */
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001408 if (!LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001409 TRACE_DEVEL("remaining frames to send, subscribing", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001410 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1411 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001412 goto err;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001413 }
1414
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001415 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001416 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001417
1418 err:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001419 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001420 return 1;
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001421}
1422
1423/* Emit a RESET_STREAM on <qcs>.
1424 *
1425 * Returns 0 if the frame has been successfully sent else non-zero.
1426 */
1427static int qcs_send_reset(struct qcs *qcs)
1428{
1429 struct list frms = LIST_HEAD_INIT(frms);
1430 struct quic_frame *frm;
1431
1432 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1433
1434 frm = pool_zalloc(pool_head_quic_frame);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001435 if (!frm) {
1436 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001437 return 1;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001438 }
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001439
1440 LIST_INIT(&frm->reflist);
1441 frm->type = QUIC_FT_RESET_STREAM;
1442 frm->reset_stream.id = qcs->id;
1443 frm->reset_stream.app_error_code = qcs->err;
1444 frm->reset_stream.final_size = qcs->tx.sent_offset;
1445
1446 LIST_APPEND(&frms, &frm->list);
1447 if (qc_send_frames(qcs->qcc, &frms)) {
1448 pool_free(pool_head_quic_frame, frm);
1449 TRACE_DEVEL("cannot send RESET_STREAM", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1450 return 1;
1451 }
1452
1453 if (qcs_sc(qcs)) {
1454 se_fl_set_error(qcs->sd);
1455 qcs_alert(qcs);
1456 }
1457
1458 qcs_close_local(qcs);
1459 qcs->flags &= ~QC_SF_TO_RESET;
1460
1461 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001462 return 0;
1463}
1464
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001465/* Used internally by qc_send function. Proceed to send for <qcs>. This will
1466 * transfer data from qcs buffer to its quic_stream counterpart. A STREAM frame
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001467 * is then generated and inserted in <frms> list.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001468 *
1469 * Returns the total bytes transferred between qcs and quic_stream buffers. Can
1470 * be null if out buffer cannot be allocated.
1471 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001472static int _qc_send_qcs(struct qcs *qcs, struct list *frms)
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001473{
1474 struct qcc *qcc = qcs->qcc;
1475 struct buffer *buf = &qcs->tx.buf;
1476 struct buffer *out = qc_stream_buf_get(qcs->stream);
1477 int xfer = 0;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001478 char fin = 0;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001479
1480 /* Allocate <out> buffer if necessary. */
1481 if (!out) {
1482 if (qcc->flags & QC_CF_CONN_FULL)
1483 return 0;
1484
1485 out = qc_stream_buf_alloc(qcs->stream, qcs->tx.offset);
1486 if (!out) {
1487 qcc->flags |= QC_CF_CONN_FULL;
1488 return 0;
1489 }
1490 }
1491
1492 /* Transfer data from <buf> to <out>. */
1493 if (b_data(buf)) {
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001494 xfer = qcs_xfer_data(qcs, out, buf);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001495 if (xfer > 0) {
1496 qcs_notify_send(qcs);
1497 qcs->flags &= ~QC_SF_BLK_MROOM;
1498 }
1499
1500 qcs->tx.offset += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001501 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001502 qcc->tx.offsets += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001503 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001504 }
1505
1506 /* out buffer cannot be emptied if qcs offsets differ. */
1507 BUG_ON(!b_data(out) && qcs->tx.sent_offset != qcs->tx.offset);
1508
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001509 /* FIN is set if all incoming data were transferred. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001510 fin = qcs_stream_fin(qcs);
1511
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001512 /* Build a new STREAM frame with <out> buffer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001513 if (qcs->tx.sent_offset != qcs->tx.offset || fin) {
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001514 int ret;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001515 ret = qcs_build_stream_frm(qcs, out, fin, frms);
Amaury Denoyelleb50f3112022-04-28 14:41:50 +02001516 if (ret < 0) { ABORT_NOW(); /* TODO handle this properly */ }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001517 }
1518
1519 return xfer;
1520}
1521
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001522/* Proceed to sending. Loop through all available streams for the <qcc>
1523 * instance and try to send as much as possible.
1524 *
1525 * Returns the total of bytes sent to the transport layer.
1526 */
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001527static int qc_send(struct qcc *qcc)
1528{
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001529 struct list frms = LIST_HEAD_INIT(frms);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001530 struct eb64_node *node;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001531 struct qcs *qcs, *qcs_tmp;
1532 int total = 0, tmp_total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001533
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001534 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001535
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +02001536 if (qcc->conn->flags & CO_FL_SOCK_WR_SH || qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001537 qcc->conn->flags |= CO_FL_ERROR;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001538 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
1539 goto err;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001540 }
1541
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001542 if (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1543 if (qc_send_frames(qcc, &qcc->lfctl.frms)) {
1544 TRACE_DEVEL("flow-control frames rejected by transport, aborting send", QMUX_EV_QCC_SEND, qcc->conn);
1545 goto out;
1546 }
1547 }
Amaury Denoyellec9337802022-04-04 16:36:34 +02001548
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001549 if (qcc->flags & QC_CF_BLK_MFCTL)
1550 return 0;
1551
Frédéric Lécaille3dd79d32022-09-08 17:53:36 +02001552 if (!(qcc->flags & QC_CF_APP_FINAL) && !eb_is_empty(&qcc->streams_by_id) &&
1553 qcc->app_ops->finalize) {
1554 /* Finalize the application layer before sending any stream.
1555 * For h3 this consists in preparing the control stream data (SETTINGS h3).
1556 */
1557 qcc->app_ops->finalize(qcc->ctx);
1558 qcc->flags |= QC_CF_APP_FINAL;
1559 }
1560
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001561 /* loop through all streams, construct STREAM frames if data available.
1562 * TODO optimize the loop to favor streams which are not too heavy.
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001563 */
1564 node = eb64_first(&qcc->streams_by_id);
1565 while (node) {
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001566 int ret;
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001567 uint64_t id;
1568
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001569 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001570 id = qcs->id;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001571
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001572 if (quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellee2ec9422022-03-10 16:46:18 +01001573 node = eb64_next(node);
1574 continue;
1575 }
1576
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001577 if (qcs->flags & QC_SF_TO_RESET) {
1578 qcs_send_reset(qcs);
1579 node = eb64_next(node);
1580 continue;
1581 }
1582
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001583 if (qcs_is_close_local(qcs)) {
1584 node = eb64_next(node);
1585 continue;
1586 }
1587
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001588 if (qcs->flags & QC_SF_BLK_SFCTL) {
1589 node = eb64_next(node);
1590 continue;
1591 }
1592
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001593 if (!b_data(&qcs->tx.buf) && !qc_stream_buf_get(qcs->stream)) {
Amaury Denoyelled2f80a22022-04-15 17:30:49 +02001594 node = eb64_next(node);
1595 continue;
1596 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001597
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001598 ret = _qc_send_qcs(qcs, &frms);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001599 total += ret;
1600 node = eb64_next(node);
1601 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001602
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001603 if (qc_send_frames(qcc, &frms)) {
1604 /* data rejected by transport layer, do not retry. */
1605 goto out;
1606 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001607
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001608 retry:
1609 tmp_total = 0;
1610 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_retry_list, el) {
1611 int ret;
1612 BUG_ON(!b_data(&qcs->tx.buf));
1613 BUG_ON(qc_stream_buf_get(qcs->stream));
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001614
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001615 ret = _qc_send_qcs(qcs, &frms);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001616 tmp_total += ret;
1617 LIST_DELETE(&qcs->el);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001618 }
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001619
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001620 total += tmp_total;
1621 if (!qc_send_frames(qcc, &frms) && !LIST_ISEMPTY(&qcc->send_retry_list))
1622 goto retry;
Amaury Denoyellee257d9e2021-12-03 14:39:29 +01001623
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001624 out:
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02001625 /* Deallocate frames that the transport layer has rejected. */
1626 if (!LIST_ISEMPTY(&frms)) {
1627 struct quic_frame *frm, *frm2;
1628 list_for_each_entry_safe(frm, frm2, &frms, list) {
1629 LIST_DELETE(&frm->list);
1630 pool_free(pool_head_quic_frame, frm);
1631 }
1632 }
1633
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001634 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001635 return total;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001636
1637 err:
1638 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
1639 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001640}
1641
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001642/* Proceed on receiving. Loop through all streams from <qcc> and use decode_qcs
1643 * operation.
1644 *
1645 * Returns 0 on success else non-zero.
1646 */
1647static int qc_recv(struct qcc *qcc)
1648{
1649 struct eb64_node *node;
1650 struct qcs *qcs;
1651
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001652 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellee1cad8b2022-05-23 18:52:11 +02001653
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001654 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001655 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001656 return 0;
1657 }
1658
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001659 node = eb64_first(&qcc->streams_by_id);
1660 while (node) {
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001661 uint64_t id;
1662
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001663 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001664 id = qcs->id;
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001665
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001666 if (!ncb_data(&qcs->rx.ncbuf, 0) || (qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001667 node = eb64_next(node);
1668 continue;
1669 }
1670
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001671 if (quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001672 node = eb64_next(node);
1673 continue;
1674 }
1675
1676 qcc_decode_qcs(qcc, qcs);
1677 node = eb64_next(node);
Amaury Denoyelle849b24f2022-05-24 17:22:07 +02001678
1679 if (qcs->flags & QC_SF_READ_ABORTED) {
1680 /* TODO should send a STOP_SENDING */
1681 qcs_free(qcs);
1682 }
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001683 }
1684
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001685 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001686 return 0;
1687}
1688
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001689
1690/* Release all streams which have their transfer operation achieved.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01001691 *
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001692 * Returns true if at least one stream is released.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01001693 */
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001694static int qc_purge_streams(struct qcc *qcc)
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001695{
1696 struct eb64_node *node;
1697 int release = 0;
1698
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001699 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001700
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001701 node = eb64_first(&qcc->streams_by_id);
1702 while (node) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02001703 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001704 node = eb64_next(node);
1705
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001706 /* Release not attached closed streams. */
1707 if (qcs->st == QC_SS_CLO && !qcs_sc(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001708 TRACE_STATE("purging closed stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001709 qcs_destroy(qcs);
1710 release = 1;
1711 continue;
1712 }
1713
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001714 /* Release detached streams with empty buffer. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001715 if (qcs->flags & QC_SF_DETACH) {
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02001716 if (qcs_is_close_local(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001717 TRACE_STATE("purging detached stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001718 qcs_destroy(qcs);
1719 release = 1;
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001720 continue;
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001721 }
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001722
1723 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1724 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001725 }
1726 }
1727
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001728 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001729 return release;
1730}
1731
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001732/* release function. This one should be called to free all resources allocated
1733 * to the mux.
1734 */
1735static void qc_release(struct qcc *qcc)
1736{
1737 struct connection *conn = qcc->conn;
1738 struct eb64_node *node;
1739
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001740 TRACE_ENTER(QMUX_EV_QCC_END, conn);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001741
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001742 if (qcc->app_ops && qcc->app_ops->shutdown) {
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001743 /* Application protocol with dedicated connection closing
1744 * procedure.
1745 */
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001746 qcc->app_ops->shutdown(qcc->ctx);
Amaury Denoyellea154dc02022-06-13 17:09:01 +02001747
1748 /* useful if application protocol should emit some closing
1749 * frames. For example HTTP/3 GOAWAY frame.
1750 */
1751 qc_send(qcc);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001752 }
1753 else {
1754 qcc_emit_cc_app(qcc, QC_ERR_NO_ERROR, 0);
1755 }
1756
1757 if (qcc->task) {
1758 task_destroy(qcc->task);
1759 qcc->task = NULL;
1760 }
1761
1762 if (qcc->wait_event.tasklet)
1763 tasklet_free(qcc->wait_event.tasklet);
1764 if (conn && qcc->wait_event.events) {
1765 conn->xprt->unsubscribe(conn, conn->xprt_ctx,
1766 qcc->wait_event.events,
1767 &qcc->wait_event);
1768 }
1769
1770 /* liberate remaining qcs instances */
1771 node = eb64_first(&qcc->streams_by_id);
1772 while (node) {
1773 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
1774 node = eb64_next(node);
1775 qcs_free(qcs);
1776 }
1777
1778 while (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1779 struct quic_frame *frm = LIST_ELEM(qcc->lfctl.frms.n, struct quic_frame *, list);
1780 LIST_DELETE(&frm->list);
1781 pool_free(pool_head_quic_frame, frm);
1782 }
1783
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001784 if (qcc->app_ops && qcc->app_ops->release)
1785 qcc->app_ops->release(qcc->ctx);
1786 TRACE_PROTO("application layer released", QMUX_EV_QCC_END, conn);
1787
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001788 pool_free(pool_head_qcc, qcc);
1789
1790 if (conn) {
1791 LIST_DEL_INIT(&conn->stopping_list);
1792
1793 conn->handle.qc->conn = NULL;
1794 conn->mux = NULL;
1795 conn->ctx = NULL;
1796
1797 TRACE_DEVEL("freeing conn", QMUX_EV_QCC_END, conn);
1798
1799 conn_stop_tracking(conn);
1800 conn_full_close(conn);
1801 if (conn->destroy_cb)
1802 conn->destroy_cb(conn);
1803 conn_free(conn);
1804 }
1805
1806 TRACE_LEAVE(QMUX_EV_QCC_END);
1807}
1808
Willy Tarreau41e701e2022-09-08 15:12:59 +02001809struct task *qc_io_cb(struct task *t, void *ctx, unsigned int status)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001810{
Amaury Denoyelle769e9ff2021-10-05 11:43:50 +02001811 struct qcc *qcc = ctx;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001812
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001813 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001814
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001815 qc_send(qcc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001816
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001817 if (qc_purge_streams(qcc)) {
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02001818 if (qcc_is_dead(qcc)) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001819 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001820 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02001821 }
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001822 }
1823
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001824 qc_recv(qcc);
1825
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02001826 /* TODO check if qcc proxy is disabled. If yes, use graceful shutdown
1827 * to close the connection.
1828 */
1829
1830 qcc_refresh_timeout(qcc);
1831
Amaury Denoyelled3973852022-07-25 14:56:54 +02001832 end:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001833 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
1834 return NULL;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001835
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001836 release:
1837 qc_release(qcc);
1838 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001839 return NULL;
1840}
1841
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001842static struct task *qc_timeout_task(struct task *t, void *ctx, unsigned int state)
1843{
1844 struct qcc *qcc = ctx;
1845 int expired = tick_is_expired(t->expire, now_ms);
1846
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001847 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc ? qcc->conn : NULL);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001848
1849 if (qcc) {
1850 if (!expired) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001851 TRACE_DEVEL("not expired", QMUX_EV_QCC_WAKE, qcc->conn);
1852 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001853 }
1854
1855 if (!qcc_may_expire(qcc)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001856 TRACE_DEVEL("cannot expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001857 t->expire = TICK_ETERNITY;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001858 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001859 }
1860 }
1861
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001862 task_destroy(t);
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01001863
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001864 if (!qcc) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001865 TRACE_DEVEL("no more qcc", QMUX_EV_QCC_WAKE);
1866 goto out;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001867 }
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01001868
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001869 qcc->task = NULL;
1870
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02001871 /* TODO depending on the timeout condition, different shutdown mode
1872 * should be used. For http keep-alive or disabled proxy, a graceful
1873 * shutdown should occurs. For all other cases, an immediate close
1874 * seems legitimate.
1875 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001876 if (qcc_is_dead(qcc)) {
1877 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001878 qc_release(qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001879 }
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001880
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001881 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001882 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001883 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001884
1885 requeue:
1886 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
1887 return t;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001888}
1889
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001890static int qc_init(struct connection *conn, struct proxy *prx,
1891 struct session *sess, struct buffer *input)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001892{
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001893 struct qcc *qcc;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001894 struct quic_transport_params *lparams, *rparams;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001895
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001896 TRACE_ENTER(QMUX_EV_QCC_NEW);
1897
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001898 qcc = pool_alloc(pool_head_qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001899 if (!qcc) {
1900 TRACE_ERROR("alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001901 goto fail_no_qcc;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001902 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001903
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001904 qcc->conn = conn;
1905 conn->ctx = qcc;
Amaury Denoyellec603de42022-07-25 11:21:46 +02001906 qcc->nb_hreq = qcc->nb_sc = 0;
Amaury Denoyellece1f30d2022-02-01 15:14:24 +01001907 qcc->flags = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001908
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001909 qcc->app_ops = NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001910
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001911 qcc->streams_by_id = EB_ROOT_UNIQUE;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001912
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001913 /* Server parameters, params used for RX flow control. */
Willy Tarreau784b8682022-04-11 14:18:10 +02001914 lparams = &conn->handle.qc->rx.params;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001915
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001916 qcc->rx.max_data = lparams->initial_max_data;
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001917 qcc->tx.sent_offsets = qcc->tx.offsets = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001918
1919 /* Client initiated streams must respect the server flow control. */
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001920 qcc->strms[QCS_CLT_BIDI].max_streams = lparams->initial_max_streams_bidi;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001921 qcc->strms[QCS_CLT_BIDI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001922 qcc->strms[QCS_CLT_BIDI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001923 qcc->strms[QCS_CLT_BIDI].tx.max_data = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001924
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001925 qcc->strms[QCS_CLT_UNI].max_streams = lparams->initial_max_streams_uni;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001926 qcc->strms[QCS_CLT_UNI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001927 qcc->strms[QCS_CLT_UNI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001928 qcc->strms[QCS_CLT_UNI].tx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001929
1930 /* Server initiated streams must respect the server flow control. */
1931 qcc->strms[QCS_SRV_BIDI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001932 qcc->strms[QCS_SRV_BIDI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001933 qcc->strms[QCS_SRV_BIDI].rx.max_data = lparams->initial_max_stream_data_bidi_local;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001934 qcc->strms[QCS_SRV_BIDI].tx.max_data = 0;
1935
1936 qcc->strms[QCS_SRV_UNI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001937 qcc->strms[QCS_SRV_UNI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001938 qcc->strms[QCS_SRV_UNI].rx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001939 qcc->strms[QCS_SRV_UNI].tx.max_data = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001940
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001941 LIST_INIT(&qcc->lfctl.frms);
Amaury Denoyelle78396e52022-03-21 17:13:32 +01001942 qcc->lfctl.ms_bidi = qcc->lfctl.ms_bidi_init = lparams->initial_max_streams_bidi;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001943 qcc->lfctl.ms_uni = lparams->initial_max_streams_uni;
Amaury Denoyelle44d09122022-04-26 11:21:10 +02001944 qcc->lfctl.msd_bidi_l = lparams->initial_max_stream_data_bidi_local;
1945 qcc->lfctl.msd_bidi_r = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle78396e52022-03-21 17:13:32 +01001946 qcc->lfctl.cl_bidi_r = 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001947
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02001948 qcc->lfctl.md = qcc->lfctl.md_init = lparams->initial_max_data;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001949 qcc->lfctl.offsets_recv = qcc->lfctl.offsets_consume = 0;
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02001950
Willy Tarreau784b8682022-04-11 14:18:10 +02001951 rparams = &conn->handle.qc->tx.params;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001952 qcc->rfctl.md = rparams->initial_max_data;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001953 qcc->rfctl.msd_bidi_l = rparams->initial_max_stream_data_bidi_local;
1954 qcc->rfctl.msd_bidi_r = rparams->initial_max_stream_data_bidi_remote;
1955
Amaury Denoyellea509ffb2022-07-04 15:50:33 +02001956 if (conn_is_back(conn)) {
1957 qcc->next_bidi_l = 0x00;
1958 qcc->largest_bidi_r = 0x01;
1959 qcc->next_uni_l = 0x02;
1960 qcc->largest_uni_r = 0x03;
1961 }
1962 else {
1963 qcc->largest_bidi_r = 0x00;
1964 qcc->next_bidi_l = 0x01;
1965 qcc->largest_uni_r = 0x02;
1966 qcc->next_uni_l = 0x03;
1967 }
1968
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001969 qcc->wait_event.tasklet = tasklet_new();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001970 if (!qcc->wait_event.tasklet) {
1971 TRACE_ERROR("taslket alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001972 goto fail_no_tasklet;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001973 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001974
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001975 LIST_INIT(&qcc->send_retry_list);
1976
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001977 qcc->subs = NULL;
1978 qcc->wait_event.tasklet->process = qc_io_cb;
1979 qcc->wait_event.tasklet->context = qcc;
Frédéric Lécaillef27b66f2022-03-18 22:49:22 +01001980 qcc->wait_event.events = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001981
Amaury Denoyelle07bf8f42022-07-22 16:16:03 +02001982 qcc->proxy = prx;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001983 /* haproxy timeouts */
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02001984 qcc->task = NULL;
Amaury Denoyelleb6309452022-07-25 14:51:56 +02001985 qcc->timeout = conn_is_back(qcc->conn) ? prx->timeout.server :
1986 prx->timeout.client;
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02001987 if (tick_isset(qcc->timeout)) {
1988 qcc->task = task_new_here();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001989 if (!qcc->task) {
1990 TRACE_ERROR("timeout task alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02001991 goto fail_no_timeout_task;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001992 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02001993 qcc->task->process = qc_timeout_task;
1994 qcc->task->context = qcc;
1995 qcc->task->expire = tick_add(now_ms, qcc->timeout);
1996 }
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +02001997 qcc_reset_idle_start(qcc);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001998 LIST_INIT(&qcc->opening_list);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001999
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002000 if (!conn_is_back(conn)) {
2001 if (!LIST_INLIST(&conn->stopping_list)) {
2002 LIST_APPEND(&mux_stopping_data[tid].list,
2003 &conn->stopping_list);
2004 }
2005 }
2006
Willy Tarreau784b8682022-04-11 14:18:10 +02002007 HA_ATOMIC_STORE(&conn->handle.qc->qcc, qcc);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002008 /* init read cycle */
2009 tasklet_wakeup(qcc->wait_event.tasklet);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002010
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002011 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002012 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002013
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002014 fail_no_timeout_task:
2015 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002016 fail_no_tasklet:
2017 pool_free(pool_head_qcc, qcc);
2018 fail_no_qcc:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002019 TRACE_LEAVE(QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002020 return -1;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002021}
2022
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002023static void qc_destroy(void *ctx)
2024{
2025 struct qcc *qcc = ctx;
2026
2027 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
2028 qc_release(qcc);
2029 TRACE_LEAVE(QMUX_EV_QCC_END);
2030}
2031
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002032static void qc_detach(struct sedesc *sd)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002033{
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002034 struct qcs *qcs = sd->se;
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002035 struct qcc *qcc = qcs->qcc;
2036
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002037 TRACE_ENTER(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002038
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002039 /* TODO this BUG_ON_HOT() is not correct as the stconn layer may detach
2040 * from the stream even if it is not closed remotely at the QUIC layer.
2041 * This happens for example when a stream must be closed due to a
2042 * rejected request. To better handle these cases, it will be required
2043 * to implement shutr/shutw MUX operations. Once this is done, this
2044 * BUG_ON_HOT() statement can be adjusted.
2045 */
2046 //BUG_ON_HOT(!qcs_is_close_remote(qcs));
Amaury Denoyellec603de42022-07-25 11:21:46 +02002047
2048 qcc_rm_sc(qcc);
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002049
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02002050 if (!qcs_is_close_local(qcs) && !(qcc->conn->flags & CO_FL_ERROR)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002051 TRACE_STATE("remaining data, detaching qcs", QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002052 qcs->flags |= QC_SF_DETACH;
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002053 qcc_refresh_timeout(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002054
2055 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002056 return;
2057 }
2058
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002059 qcs_destroy(qcs);
Amaury Denoyelle1136e922022-02-01 10:33:09 +01002060
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002061 if (qcc_is_dead(qcc)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002062 TRACE_STATE("killing dead connection", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002063 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002064 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002065 else if (qcc->task) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002066 TRACE_DEVEL("refreshing connection's timeout", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002067 qcc_refresh_timeout(qcc);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002068 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002069 else {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002070 TRACE_DEVEL("completed", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002071 }
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002072
2073 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002074 return;
2075
2076 release:
2077 qc_release(qcc);
2078 TRACE_LEAVE(QMUX_EV_STRM_END);
2079 return;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002080}
2081
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002082/* Called from the upper layer, to receive data */
Willy Tarreau3215e732022-05-27 10:09:11 +02002083static size_t qc_rcv_buf(struct stconn *sc, struct buffer *buf,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002084 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002085{
Willy Tarreau3215e732022-05-27 10:09:11 +02002086 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002087 size_t ret = 0;
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002088 char fin = 0;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002089
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002090 TRACE_ENTER(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002091
Amaury Denoyelled80fbca2022-09-19 17:02:28 +02002092 ret = qcs_http_rcv_buf(qcs, buf, count, &fin);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002093
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002094 if (b_data(&qcs->rx.app_buf)) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002095 se_fl_set(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002096 }
2097 else {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002098 se_fl_clr(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
2099 if (se_fl_test(qcs->sd, SE_FL_ERR_PENDING))
2100 se_fl_set(qcs->sd, SE_FL_ERROR);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002101
Amaury Denoyelle72a78e82022-07-29 15:34:12 +02002102 /* Set end-of-input if FIN received and all data extracted. */
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002103 if (fin)
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002104 se_fl_set(qcs->sd, SE_FL_EOI);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002105
2106 if (b_size(&qcs->rx.app_buf)) {
2107 b_free(&qcs->rx.app_buf);
2108 offer_buffers(NULL, 1);
2109 }
2110 }
2111
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002112 if (ret) {
2113 qcs->flags &= ~QC_SF_DEM_FULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002114 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002115 }
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002116
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002117 TRACE_LEAVE(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
2118
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002119 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002120}
2121
Willy Tarreau3215e732022-05-27 10:09:11 +02002122static size_t qc_snd_buf(struct stconn *sc, struct buffer *buf,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002123 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002124{
Willy Tarreau3215e732022-05-27 10:09:11 +02002125 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002126 size_t ret;
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002127 char fin;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002128
2129 TRACE_ENTER(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002130
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02002131 /* stream layer has been detached so no transfer must occur after. */
2132 BUG_ON_HOT(qcs->flags & QC_SF_DETACH);
2133
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002134 if (qcs_is_close_local(qcs) || (qcs->flags & QC_SF_TO_RESET)) {
Amaury Denoyelle0ed617a2022-09-20 14:46:40 +02002135 ret = qcs_http_reset_buf(qcs, buf, count);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002136 goto end;
2137 }
2138
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002139 ret = qcs_http_snd_buf(qcs, buf, count, &fin);
2140 if (fin)
2141 qcs->flags |= QC_SF_FIN_STREAM;
2142
2143 if (ret) {
2144 if (!(qcs->qcc->wait_event.events & SUB_RETRY_SEND))
2145 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
2146 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002147
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002148 end:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002149 TRACE_LEAVE(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2150
2151 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002152}
2153
2154/* Called from the upper layer, to subscribe <es> to events <event_type>. The
2155 * event subscriber <es> is not allowed to change from a previous call as long
2156 * as at least one event is still subscribed. The <event_type> must only be a
2157 * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0.
2158 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002159static int qc_subscribe(struct stconn *sc, int event_type,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002160 struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002161{
Willy Tarreau3215e732022-05-27 10:09:11 +02002162 return qcs_subscribe(__sc_mux_strm(sc), event_type, es);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002163}
2164
2165/* Called from the upper layer, to unsubscribe <es> from events <event_type>.
2166 * The <es> pointer is not allowed to differ from the one passed to the
2167 * subscribe() call. It always returns zero.
2168 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002169static int qc_unsubscribe(struct stconn *sc, int event_type, struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002170{
Willy Tarreau3215e732022-05-27 10:09:11 +02002171 struct qcs *qcs = __sc_mux_strm(sc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002172
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002173 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
2174 BUG_ON(qcs->subs && qcs->subs != es);
2175
2176 es->events &= ~event_type;
2177 if (!es->events)
2178 qcs->subs = NULL;
2179
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002180 return 0;
2181}
2182
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002183/* Loop through all qcs from <qcc>. If CO_FL_ERROR is set on the connection,
Willy Tarreau4596fe22022-05-17 19:07:51 +02002184 * report SE_FL_ERR_PENDING|SE_FL_ERROR on the attached stream connectors and
2185 * wake them.
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002186 */
2187static int qc_wake_some_streams(struct qcc *qcc)
2188{
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002189 struct qcs *qcs;
2190 struct eb64_node *node;
2191
2192 for (node = eb64_first(&qcc->streams_by_id); node;
2193 node = eb64_next(node)) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02002194 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002195
Amaury Denoyelle3abeb572022-07-04 11:42:27 +02002196 if (!qcs_sc(qcs))
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002197 continue;
2198
2199 if (qcc->conn->flags & CO_FL_ERROR) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002200 se_fl_set(qcs->sd, SE_FL_ERR_PENDING);
2201 if (se_fl_test(qcs->sd, SE_FL_EOS))
2202 se_fl_set(qcs->sd, SE_FL_ERROR);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002203
Amaury Denoyelle4561f842022-07-06 14:54:34 +02002204 qcs_alert(qcs);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002205 }
2206 }
2207
2208 return 0;
2209}
2210
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002211static int qc_wake(struct connection *conn)
2212{
2213 struct qcc *qcc = conn->ctx;
Willy Tarreau784b8682022-04-11 14:18:10 +02002214 struct proxy *prx = conn->handle.qc->li->bind_conf->frontend;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002215
2216 TRACE_ENTER(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002217
2218 /* Check if a soft-stop is in progress.
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002219 *
cui flitera94bedc2022-08-29 14:42:57 +08002220 * TODO this is relevant for frontend connections only.
Amaury Denoyelled0c62322022-05-23 08:52:58 +02002221 *
2222 * TODO Client should be notified with a H3 GOAWAY and then a
2223 * CONNECTION_CLOSE. However, quic-conn uses the listener socket for
2224 * sending which at this stage is already closed.
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002225 */
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002226 if (unlikely(prx->flags & (PR_FL_DISABLED|PR_FL_STOPPED)))
Amaury Denoyelled0c62322022-05-23 08:52:58 +02002227 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002228
Willy Tarreau784b8682022-04-11 14:18:10 +02002229 if (conn->handle.qc->flags & QUIC_FL_CONN_NOTIFY_CLOSE)
Amaury Denoyelleb515b0a2022-04-06 10:28:43 +02002230 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2231
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002232 qc_send(qcc);
2233
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002234 qc_wake_some_streams(qcc);
2235
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002236 if (qcc_is_dead(qcc))
2237 goto release;
2238
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002239 qcc_refresh_timeout(qcc);
2240
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002241 TRACE_LEAVE(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002242 return 0;
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002243
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002244 release:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002245 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002246 qc_release(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002247 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002248 return 1;
2249}
2250
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002251
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002252/* for debugging with CLI's "show sess" command. May emit multiple lines, each
2253 * new one being prefixed with <pfx>, if <pfx> is not NULL, otherwise a single
2254 * line is used. Each field starts with a space so it's safe to print it after
2255 * existing fields.
2256 */
2257static int qc_show_sd(struct buffer *msg, struct sedesc *sd, const char *pfx)
2258{
2259 struct qcs *qcs = sd->se;
2260 struct qcc *qcc;
2261 int ret = 0;
2262
2263 if (!qcs)
2264 return ret;
2265
2266 chunk_appendf(msg, " qcs=%p .flg=%#x .id=%llu .st=%s .ctx=%p, .err=%#llx",
2267 qcs, qcs->flags, (ull)qcs->id, qcs_st_to_str(qcs->st), qcs->ctx, (ull)qcs->err);
2268
2269 if (pfx)
2270 chunk_appendf(msg, "\n%s", pfx);
2271
2272 qcc = qcs->qcc;
2273 chunk_appendf(msg, " qcc=%p .flg=%#x .nbsc=%llu .nbhreq=%llu, .task=%p",
2274 qcc, qcc->flags, (ull)qcc->nb_sc, (ull)qcc->nb_hreq, qcc->task);
2275 return ret;
2276}
2277
2278
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002279static const struct mux_ops qc_ops = {
2280 .init = qc_init,
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002281 .destroy = qc_destroy,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002282 .detach = qc_detach,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002283 .rcv_buf = qc_rcv_buf,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002284 .snd_buf = qc_snd_buf,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002285 .subscribe = qc_subscribe,
2286 .unsubscribe = qc_unsubscribe,
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002287 .wake = qc_wake,
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002288 .show_sd = qc_show_sd,
Willy Tarreaub5821e12022-04-26 11:54:08 +02002289 .flags = MX_FL_HTX|MX_FL_NO_UPG|MX_FL_FRAMED,
Willy Tarreau671bd5a2022-04-11 09:29:21 +02002290 .name = "QUIC",
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002291};
2292
2293static struct mux_proto_list mux_proto_quic =
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002294 { .token = IST("quic"), .mode = PROTO_MODE_HTTP, .side = PROTO_SIDE_FE, .mux = &qc_ops };
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002295
2296INITCALL1(STG_REGISTER, register_mux_proto, &mux_proto_quic);