blob: e97621caa693d6d2dc7eff28d60a5e6ef1009679 [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. */
Amaury Denoyelle176174f2022-10-21 17:02:18 +020088 if (quic_stream_is_bidi(id)) {
89 qcs->tx.msd = quic_stream_is_local(qcc, id) ? qcc->rfctl.msd_bidi_r :
90 qcc->rfctl.msd_bidi_l;
91 }
92 else if (quic_stream_is_local(qcc, id)) {
93 qcs->tx.msd = qcc->rfctl.msd_uni_l;
94 }
Amaury Denoyelle6ea78192022-03-07 15:47:02 +010095
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +020096 qcs->rx.ncbuf = NCBUF_NULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +010097 qcs->rx.app_buf = BUF_NULL;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +020098 qcs->rx.offset = qcs->rx.offset_max = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +010099
Amaury Denoyelle176174f2022-10-21 17:02:18 +0200100 if (quic_stream_is_bidi(id)) {
101 qcs->rx.msd = quic_stream_is_local(qcc, id) ? qcc->lfctl.msd_bidi_l :
102 qcc->lfctl.msd_bidi_r;
103 }
104 else if (quic_stream_is_remote(qcc, id)) {
105 qcs->rx.msd = qcc->lfctl.msd_uni_r;
106 }
Amaury Denoyellea9773552022-05-16 14:38:25 +0200107 qcs->rx.msd_init = qcs->rx.msd;
Amaury Denoyelle44d09122022-04-26 11:21:10 +0200108
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100109 qcs->tx.buf = BUF_NULL;
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100110 qcs->tx.offset = 0;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +0100111 qcs->tx.sent_offset = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100112
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100113 qcs->wait_event.tasklet = NULL;
114 qcs->wait_event.events = 0;
115 qcs->subs = NULL;
116
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200117 qcs->err = 0;
118
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100119 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100120 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100121 return qcs;
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200122
123 err:
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200124 if (qcs->ctx && qcc->app_ops->detach)
125 qcc->app_ops->detach(qcs);
126
Amaury Denoyelle93fba322022-05-24 16:53:14 +0200127 qc_stream_desc_release(qcs->stream);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200128 pool_free(pool_head_qcs, qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200129
130 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle17014a62022-04-27 15:09:27 +0200131 return NULL;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100132}
133
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200134static void qc_free_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
135{
136 struct buffer buf;
137
Amaury Denoyelle7313f5e2022-05-17 18:53:21 +0200138 if (ncb_is_null(ncbuf))
139 return;
140
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200141 buf = b_make(ncbuf->area, ncbuf->size, 0, 0);
142 b_free(&buf);
Amaury Denoyelle7313f5e2022-05-17 18:53:21 +0200143 offer_buffers(NULL, 1);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200144
145 *ncbuf = NCBUF_NULL;
146}
147
Amaury Denoyelledccbd732022-03-29 18:36:59 +0200148/* Free a qcs. This function must only be done to remove a stream on allocation
149 * error or connection shutdown. Else use qcs_destroy which handle all the
150 * QUIC connection mechanism.
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100151 */
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200152static void qcs_free(struct qcs *qcs)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100153{
Amaury Denoyelle3baab742022-08-11 18:35:55 +0200154 struct qcc *qcc = qcs->qcc;
155
156 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200157
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200158 qc_free_ncbuf(qcs, &qcs->rx.ncbuf);
Amaury Denoyelledccbd732022-03-29 18:36:59 +0200159 b_free(&qcs->tx.buf);
Amaury Denoyelledccbd732022-03-29 18:36:59 +0200160
Amaury Denoyelle3baab742022-08-11 18:35:55 +0200161 BUG_ON(!qcc->strms[qcs_id_type(qcs->id)].nb_streams);
162 --qcc->strms[qcs_id_type(qcs->id)].nb_streams;
Amaury Denoyelledccbd732022-03-29 18:36:59 +0200163
Amaury Denoyelle3baab742022-08-11 18:35:55 +0200164 if (qcs->ctx && qcc->app_ops->detach)
165 qcc->app_ops->detach(qcs);
Amaury Denoyelle47447af2022-04-27 15:17:11 +0200166
Amaury Denoyellee4301da2022-04-19 17:59:50 +0200167 qc_stream_desc_release(qcs->stream);
168
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +0200169 BUG_ON(qcs->sd && !se_fl_test(qcs->sd, SE_FL_ORPHAN));
170 sedesc_free(qcs->sd);
Amaury Denoyellee4301da2022-04-19 17:59:50 +0200171
172 eb64_delete(&qcs->by_id);
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100173 pool_free(pool_head_qcs, qcs);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200174
Amaury Denoyelle3baab742022-08-11 18:35:55 +0200175 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100176}
177
Amaury Denoyelle3abeb572022-07-04 11:42:27 +0200178static forceinline struct stconn *qcs_sc(const struct qcs *qcs)
179{
180 return qcs->sd ? qcs->sd->sc : NULL;
181}
182
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200183/* Reset the <qcc> inactivity timeout for http-keep-alive timeout. */
184static forceinline void qcc_reset_idle_start(struct qcc *qcc)
185{
186 qcc->idle_start = now_ms;
187}
188
Amaury Denoyellec603de42022-07-25 11:21:46 +0200189/* Decrement <qcc> sc. */
190static forceinline void qcc_rm_sc(struct qcc *qcc)
191{
192 BUG_ON_HOT(!qcc->nb_sc);
193 --qcc->nb_sc;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200194
195 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
196 * refreshed after this on stream detach.
197 */
198 if (!qcc->nb_sc && !qcc->nb_hreq)
199 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200200}
201
202/* Decrement <qcc> hreq. */
203static forceinline void qcc_rm_hreq(struct qcc *qcc)
204{
205 BUG_ON_HOT(!qcc->nb_hreq);
206 --qcc->nb_hreq;
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +0200207
208 /* Reset qcc idle start for http-keep-alive timeout. Timeout will be
209 * refreshed after this on I/O handler.
210 */
211 if (!qcc->nb_sc && !qcc->nb_hreq)
212 qcc_reset_idle_start(qcc);
Amaury Denoyellec603de42022-07-25 11:21:46 +0200213}
214
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200215static inline int qcc_is_dead(const struct qcc *qcc)
216{
217 /* Mux connection is considered dead if :
218 * - all stream-desc are detached AND
219 * = connection is on error OR
220 * = mux timeout has already fired or is unset
221 */
222 if (!qcc->nb_sc && ((qcc->conn->flags & CO_FL_ERROR) || !qcc->task))
223 return 1;
224
225 return 0;
226}
227
228/* Return true if the mux timeout should be armed. */
229static inline int qcc_may_expire(struct qcc *qcc)
230{
231 return !qcc->nb_sc;
232}
233
234/* Refresh the timeout on <qcc> if needed depending on its state. */
235static void qcc_refresh_timeout(struct qcc *qcc)
236{
237 const struct proxy *px = qcc->proxy;
238
239 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
240
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200241 if (!qcc->task) {
242 TRACE_DEVEL("already expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200243 goto leave;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200244 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200245
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200246 /* Check if upper layer is responsible of timeout management. */
247 if (!qcc_may_expire(qcc)) {
248 TRACE_DEVEL("not eligible for timeout", QMUX_EV_QCC_WAKE, qcc->conn);
249 qcc->task->expire = TICK_ETERNITY;
250 task_queue(qcc->task);
251 goto leave;
252 }
253
254 /* TODO if connection is idle on frontend and proxy is disabled, remove
255 * it with global close_spread delay applied.
256 */
257
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200258 /* TODO implement client/server-fin timeout for graceful shutdown */
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200259
260 /* Frontend timeout management
261 * - detached streams with data left to send -> default timeout
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200262 * - stream waiting on incomplete request or no stream yet activated -> timeout http-request
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200263 * - idle after stream processing -> timeout http-keep-alive
264 */
265 if (!conn_is_back(qcc->conn)) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200266 if (qcc->nb_hreq) {
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200267 TRACE_DEVEL("one or more requests still in progress", QMUX_EV_QCC_WAKE, qcc->conn);
268 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200269 task_queue(qcc->task);
270 goto leave;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200271 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200272
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200273 if (!LIST_ISEMPTY(&qcc->opening_list) || unlikely(!qcc->largest_bidi_r)) {
274 int timeout = px->timeout.httpreq;
275 struct qcs *qcs = NULL;
276 int base_time;
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200277
Amaury Denoyelle30e260e2022-08-03 11:17:57 +0200278 /* Use start time of first stream waiting on HTTP or
279 * qcc idle if no stream not yet used.
280 */
281 if (likely(!LIST_ISEMPTY(&qcc->opening_list)))
282 qcs = LIST_ELEM(qcc->opening_list.n, struct qcs *, el_opening);
283 base_time = qcs ? qcs->start : qcc->idle_start;
284
285 TRACE_DEVEL("waiting on http request", QMUX_EV_QCC_WAKE, qcc->conn, qcs);
286 qcc->task->expire = tick_add_ifset(base_time, timeout);
287 }
288 else {
289 /* Use http-request timeout if keep-alive timeout not set */
290 int timeout = tick_isset(px->timeout.httpka) ?
291 px->timeout.httpka : px->timeout.httpreq;
292
293 TRACE_DEVEL("at least one request achieved but none currently in progress", QMUX_EV_QCC_WAKE, qcc->conn);
294 qcc->task->expire = tick_add_ifset(qcc->idle_start, timeout);
295 }
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200296 }
Amaury Denoyelle6ec98372022-08-01 17:59:38 +0200297
298 /* fallback to default timeout if frontend specific undefined or for
299 * backend connections.
300 */
301 if (!tick_isset(qcc->task->expire)) {
302 TRACE_DEVEL("fallback to default timeout", QMUX_EV_QCC_WAKE, qcc->conn);
303 qcc->task->expire = tick_add_ifset(now_ms, qcc->timeout);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200304 }
305
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200306 task_queue(qcc->task);
307
308 leave:
309 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
310}
311
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200312/* Mark a stream as open if it was idle. This can be used on every
313 * successful emission/reception operation to update the stream state.
314 */
315static void qcs_idle_open(struct qcs *qcs)
316{
317 /* This operation must not be used if the stream is already closed. */
318 BUG_ON_HOT(qcs->st == QC_SS_CLO);
319
320 if (qcs->st == QC_SS_IDLE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200321 TRACE_STATE("opening stream", QMUX_EV_QCS_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200322 qcs->st = QC_SS_OPEN;
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200323 }
324}
325
326/* Close the local channel of <qcs> instance. */
327static void qcs_close_local(struct qcs *qcs)
328{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200329 TRACE_STATE("closing stream locally", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
330
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200331 /* The stream must have already been opened. */
332 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
333
334 /* This operation cannot be used multiple times. */
335 BUG_ON_HOT(qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO);
336
337 if (quic_stream_is_bidi(qcs->id)) {
338 qcs->st = (qcs->st == QC_SS_HREM) ? QC_SS_CLO : QC_SS_HLOC;
Amaury Denoyelleafb7b9d2022-09-19 11:58:24 +0200339
340 if (qcs->flags & QC_SF_HREQ_RECV)
341 qcc_rm_hreq(qcs->qcc);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200342 }
343 else {
344 /* Only local uni streams are valid for this operation. */
345 BUG_ON_HOT(quic_stream_is_remote(qcs->qcc, qcs->id));
346 qcs->st = QC_SS_CLO;
347 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200348}
349
350/* Close the remote channel of <qcs> instance. */
351static void qcs_close_remote(struct qcs *qcs)
352{
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200353 TRACE_STATE("closing stream remotely", QMUX_EV_QCS_RECV, qcs->qcc->conn, qcs);
354
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200355 /* The stream must have already been opened. */
356 BUG_ON_HOT(qcs->st == QC_SS_IDLE);
357
358 /* This operation cannot be used multiple times. */
359 BUG_ON_HOT(qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO);
360
361 if (quic_stream_is_bidi(qcs->id)) {
362 qcs->st = (qcs->st == QC_SS_HLOC) ? QC_SS_CLO : QC_SS_HREM;
363 }
364 else {
365 /* Only remote uni streams are valid for this operation. */
366 BUG_ON_HOT(quic_stream_is_local(qcs->qcc, qcs->id));
367 qcs->st = QC_SS_CLO;
368 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200369}
370
371static int qcs_is_close_local(struct qcs *qcs)
372{
373 return qcs->st == QC_SS_HLOC || qcs->st == QC_SS_CLO;
374}
375
376static __maybe_unused int qcs_is_close_remote(struct qcs *qcs)
377{
378 return qcs->st == QC_SS_HREM || qcs->st == QC_SS_CLO;
379}
380
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100381struct buffer *qc_get_buf(struct qcs *qcs, struct buffer *bptr)
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100382{
Amaury Denoyelledeed7772021-12-03 11:36:46 +0100383 struct buffer *buf = b_alloc(bptr);
384 BUG_ON(!buf);
385 return buf;
Frédéric Lécailledfbae762021-02-18 09:59:01 +0100386}
387
Amaury Denoyellea441ec92022-07-04 15:48:57 +0200388static struct ncbuf *qc_get_ncbuf(struct qcs *qcs, struct ncbuf *ncbuf)
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200389{
390 struct buffer buf = BUF_NULL;
391
392 if (ncb_is_null(ncbuf)) {
393 b_alloc(&buf);
394 BUG_ON(b_is_null(&buf));
395
396 *ncbuf = ncb_make(buf.area, buf.size, 0);
397 ncb_init(ncbuf, 0);
398 }
399
400 return ncbuf;
401}
402
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500403/* Notify an eventual subscriber on <qcs> or else wakeup up the stconn layer if
Amaury Denoyelle4561f842022-07-06 14:54:34 +0200404 * initialized.
405 */
406static void qcs_alert(struct qcs *qcs)
407{
408 if (qcs->subs) {
409 qcs_notify_recv(qcs);
410 qcs_notify_send(qcs);
411 }
412 else if (qcs_sc(qcs) && qcs->sd->sc->app_ops->wake) {
413 qcs->sd->sc->app_ops->wake(qcs->sd->sc);
414 }
415}
416
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100417int qcs_subscribe(struct qcs *qcs, int event_type, struct wait_event *es)
418{
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100419 struct qcc *qcc = qcs->qcc;
420
421 TRACE_ENTER(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100422
423 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
424 BUG_ON(qcs->subs && qcs->subs != es);
425
426 es->events |= event_type;
427 qcs->subs = es;
428
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100429 if (event_type & SUB_RETRY_RECV)
430 TRACE_DEVEL("subscribe(recv)", QMUX_EV_STRM_RECV, qcc->conn, qcs);
431
432 if (event_type & SUB_RETRY_SEND)
433 TRACE_DEVEL("subscribe(send)", QMUX_EV_STRM_SEND, qcc->conn, qcs);
434
435 TRACE_LEAVE(QMUX_EV_STRM_SEND|QMUX_EV_STRM_RECV, qcc->conn, qcs);
436
Amaury Denoyellea3f222d2021-12-06 11:24:00 +0100437 return 0;
438}
439
440void qcs_notify_recv(struct qcs *qcs)
441{
442 if (qcs->subs && qcs->subs->events & SUB_RETRY_RECV) {
443 tasklet_wakeup(qcs->subs->tasklet);
444 qcs->subs->events &= ~SUB_RETRY_RECV;
445 if (!qcs->subs->events)
446 qcs->subs = NULL;
447 }
448}
449
450void qcs_notify_send(struct qcs *qcs)
451{
452 if (qcs->subs && qcs->subs->events & SUB_RETRY_SEND) {
453 tasklet_wakeup(qcs->subs->tasklet);
454 qcs->subs->events &= ~SUB_RETRY_SEND;
455 if (!qcs->subs->events)
456 qcs->subs = NULL;
457 }
458}
459
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200460/* Open a locally initiated stream for the connection <qcc>. Set <bidi> for a
461 * bidirectional stream, else an unidirectional stream is opened. The next
462 * available ID on the connection will be used according to the stream type.
463 *
464 * Returns the allocated stream instance or NULL on error.
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100465 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200466struct qcs *qcc_init_stream_local(struct qcc *qcc, int bidi)
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100467{
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200468 struct qcs *qcs;
469 enum qcs_type type;
470 uint64_t *next;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100471
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200472 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
473
474 if (bidi) {
475 next = &qcc->next_bidi_l;
476 type = conn_is_back(qcc->conn) ? QCS_CLT_BIDI : QCS_SRV_BIDI;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100477 }
478 else {
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200479 next = &qcc->next_uni_l;
480 type = conn_is_back(qcc->conn) ? QCS_CLT_UNI : QCS_SRV_UNI;
481 }
482
483 /* TODO ensure that we won't overflow remote peer flow control limit on
484 * streams. Else, we should emit a STREAMS_BLOCKED frame.
485 */
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100486
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200487 qcs = qcs_new(qcc, *next, type);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200488 if (!qcs) {
489 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200490 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200491 }
Amaury Denoyellec055e302022-02-07 16:09:06 +0100492
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200493 TRACE_PROTO("opening local stream", QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200494 *next += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100495
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200496 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200497 return qcs;
498}
499
500/* Open a remote initiated stream for the connection <qcc> with ID <id>. The
501 * caller is responsible to ensure that a stream with the same ID was not
502 * already opened. This function will also create all intermediaries streams
503 * with ID smaller than <id> not already opened before.
504 *
505 * Returns the allocated stream instance or NULL on error.
506 */
Amaury Denoyelleb1437232022-07-08 11:53:22 +0200507static struct qcs *qcc_init_stream_remote(struct qcc *qcc, uint64_t id)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200508{
509 struct qcs *qcs = NULL;
510 enum qcs_type type;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200511 uint64_t *largest, max_id;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100512
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200513 TRACE_ENTER(QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyelle7272cd72022-03-29 15:15:54 +0200514
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200515 BUG_ON_HOT(quic_stream_is_local(qcc, id));
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100516
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200517 if (quic_stream_is_bidi(id)) {
518 largest = &qcc->largest_bidi_r;
519 type = conn_is_back(qcc->conn) ? QCS_SRV_BIDI : QCS_CLT_BIDI;
520 }
521 else {
522 largest = &qcc->largest_uni_r;
523 type = conn_is_back(qcc->conn) ? QCS_SRV_UNI : QCS_CLT_UNI;
524 }
525
Amaury Denoyellebf3c2082022-08-16 11:29:08 +0200526 /* RFC 9000 4.6. Controlling Concurrency
527 *
528 * An endpoint that receives a frame with a stream ID exceeding the
529 * limit it has sent MUST treat this as a connection error of type
530 * STREAM_LIMIT_ERROR
531 */
532 max_id = quic_stream_is_bidi(id) ? qcc->lfctl.ms_bidi * 4 :
533 qcc->lfctl.ms_uni * 4;
534 if (id >= max_id) {
535 TRACE_ERROR("flow control error", QMUX_EV_QCS_NEW|QMUX_EV_PROTO_ERR, qcc->conn);
536 qcc_emit_cc(qcc, QC_ERR_STREAM_LIMIT_ERROR);
537 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200538 }
539
540 /* Only stream ID not already opened can be used. */
541 BUG_ON(id < *largest);
542
543 while (id >= *largest) {
Amaury Denoyellefd79ddb2022-08-16 11:13:45 +0200544 const char *str = *largest < id ? "initializing intermediary remote stream" :
545 "initializing remote stream";
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200546
547 qcs = qcs_new(qcc, *largest, type);
548 if (!qcs) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200549 /* TODO emit RESET_STREAM */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200550 TRACE_ERROR("stream fallocation failure", QMUX_EV_QCS_NEW, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200551 goto err;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100552 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200553
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200554 TRACE_PROTO(str, QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200555 *largest += 4;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100556 }
557
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200558 out:
559 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn, qcs);
Amaury Denoyelle50742292022-03-29 14:57:19 +0200560 return qcs;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200561
562 err:
563 TRACE_LEAVE(QMUX_EV_QCS_NEW, qcc->conn);
564 return NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200565}
566
567/* Use this function for a stream <id> which is not in <qcc> stream tree. It
568 * returns true if the associated stream is closed.
569 */
570static int qcc_stream_id_is_closed(struct qcc *qcc, uint64_t id)
571{
572 uint64_t *largest;
573
574 /* This function must only be used for stream not present in the stream tree. */
575 BUG_ON_HOT(eb64_lookup(&qcc->streams_by_id, id));
576
577 if (quic_stream_is_local(qcc, id)) {
578 largest = quic_stream_is_uni(id) ? &qcc->next_uni_l :
579 &qcc->next_bidi_l;
580 }
581 else {
582 largest = quic_stream_is_uni(id) ? &qcc->largest_uni_r :
583 &qcc->largest_bidi_r;
584 }
585
586 return id < *largest;
587}
588
589/* Retrieve the stream instance from <id> ID. This can be used when receiving
590 * STREAM, STREAM_DATA_BLOCKED, RESET_STREAM, MAX_STREAM_DATA or STOP_SENDING
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200591 * frames. Set to false <receive_only> or <send_only> if these particular types
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200592 * of streams are not allowed. If the stream instance is found, it is stored in
593 * <out>.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200594 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200595 * Returns 0 on success else non-zero. On error, a RESET_STREAM or a
596 * CONNECTION_CLOSE is automatically emitted. Beware that <out> may be NULL
597 * on success if the stream has already been closed.
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200598 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200599int qcc_get_qcs(struct qcc *qcc, uint64_t id, int receive_only, int send_only,
600 struct qcs **out)
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200601{
602 struct eb64_node *node;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200603
604 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200605 *out = NULL;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200606
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200607 if (!receive_only && quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200608 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 +0200609 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200610 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200611 }
612
613 if (!send_only && quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200614 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 +0200615 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200616 goto err;
Amaury Denoyelle5fbb8692022-07-06 15:43:21 +0200617 }
618
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200619 /* Search the stream in the connection tree. */
620 node = eb64_lookup(&qcc->streams_by_id, id);
621 if (node) {
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200622 *out = eb64_entry(node, struct qcs, by_id);
623 TRACE_DEVEL("using stream from connection tree", QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200624 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200625 }
626
627 /* Check if stream is already closed. */
628 if (qcc_stream_id_is_closed(qcc, id)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200629 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200630 /* Consider this as a success even if <out> is left NULL. */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200631 goto out;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200632 }
633
634 /* Create the stream. This is valid only for remote initiated one. A
Ilya Shipitsin3b64a282022-07-29 22:26:53 +0500635 * local stream must have already been explicitly created by the
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200636 * application protocol layer.
637 */
638 if (quic_stream_is_local(qcc, id)) {
639 /* RFC 9000 19.8. STREAM Frames
640 *
641 * An endpoint MUST terminate the connection with error
642 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
643 * initiated stream that has not yet been created, or for a send-only
644 * stream.
645 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200646 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 +0200647 qcc_emit_cc(qcc, QC_ERR_STREAM_STATE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200648 goto err;
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200649 }
650 else {
651 /* Remote stream not found - try to open it. */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200652 *out = qcc_init_stream_remote(qcc, id);
653 if (!*out) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200654 TRACE_ERROR("stream creation error", QMUX_EV_QCC_RECV|QMUX_EV_QCC_NQCS, qcc->conn, NULL, &id);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200655 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200656 }
Amaury Denoyellea509ffb2022-07-04 15:50:33 +0200657 }
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100658
659 out:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200660 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn, *out);
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200661 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200662
663 err:
664 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
665 return 1;
Amaury Denoyelle8a5b27a2021-12-21 11:53:10 +0100666}
667
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200668/* Simple function to duplicate a buffer */
669static inline struct buffer qcs_b_dup(const struct ncbuf *b)
670{
671 return b_make(ncb_orig(b), b->size, b->head, ncb_data(b, 0));
672}
673
Amaury Denoyelle36d4b5e2022-07-01 11:25:40 +0200674/* Remove <bytes> from <qcs> Rx buffer. Flow-control for received offsets may
675 * be allocated for the peer if needed.
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200676 */
677static void qcs_consume(struct qcs *qcs, uint64_t bytes)
678{
679 struct qcc *qcc = qcs->qcc;
680 struct quic_frame *frm;
681 struct ncbuf *buf = &qcs->rx.ncbuf;
682 enum ncb_ret ret;
683
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200684 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
685
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200686 ret = ncb_advance(buf, bytes);
687 if (ret) {
688 ABORT_NOW(); /* should not happens because removal only in data */
689 }
690
691 if (ncb_is_empty(buf))
692 qc_free_ncbuf(qcs, buf);
693
694 qcs->rx.offset += bytes;
695 if (qcs->rx.msd - qcs->rx.offset < qcs->rx.msd_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200696 TRACE_DATA("increase stream credit via MAX_STREAM_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200697 frm = pool_zalloc(pool_head_quic_frame);
698 BUG_ON(!frm); /* TODO handle this properly */
699
700 qcs->rx.msd = qcs->rx.offset + qcs->rx.msd_init;
701
702 LIST_INIT(&frm->reflist);
703 frm->type = QUIC_FT_MAX_STREAM_DATA;
704 frm->max_stream_data.id = qcs->id;
705 frm->max_stream_data.max_stream_data = qcs->rx.msd;
706
707 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
708 tasklet_wakeup(qcc->wait_event.tasklet);
709 }
710
711 qcc->lfctl.offsets_consume += bytes;
712 if (qcc->lfctl.md - qcc->lfctl.offsets_consume < qcc->lfctl.md_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200713 TRACE_DATA("increase conn credit via MAX_DATA", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200714 frm = pool_zalloc(pool_head_quic_frame);
715 BUG_ON(!frm); /* TODO handle this properly */
716
717 qcc->lfctl.md = qcc->lfctl.offsets_consume + qcc->lfctl.md_init;
718
719 LIST_INIT(&frm->reflist);
720 frm->type = QUIC_FT_MAX_DATA;
721 frm->max_data.max_data = qcc->lfctl.md;
722
723 LIST_APPEND(&qcs->qcc->lfctl.frms, &frm->list);
724 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
725 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200726
727 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200728}
729
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200730/* Decode the content of STREAM frames already received on the stream instance
731 * <qcs>.
732 *
733 * Returns 0 on success else non-zero.
734 */
735static int qcc_decode_qcs(struct qcc *qcc, struct qcs *qcs)
736{
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200737 struct buffer b;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200738 ssize_t ret;
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200739 int fin = 0;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200740
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200741 TRACE_ENTER(QMUX_EV_QCS_RECV, qcc->conn, qcs);
742
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200743 b = qcs_b_dup(&qcs->rx.ncbuf);
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200744
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200745 /* Signal FIN to application if STREAM FIN received with all data. */
746 if (qcs_is_close_remote(qcs))
Amaury Denoyelle6befccd2022-07-01 11:26:04 +0200747 fin = 1;
748
749 ret = qcc->app_ops->decode_qcs(qcs, &b, fin);
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200750 if (ret < 0) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200751 TRACE_ERROR("decoding error", QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200752 goto err;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200753 }
754
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200755 if (ret) {
756 qcs_consume(qcs, ret);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200757 qcs_notify_recv(qcs);
758 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200759
760 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200761 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200762
763 err:
764 TRACE_LEAVE(QMUX_EV_QCS_RECV, qcc->conn, qcs);
765 return 1;
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200766}
767
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200768/* Emit a CONNECTION_CLOSE_APP with error <err>. Reserved for application error
Amaury Denoyelled666d742022-07-13 15:15:58 +0200769 * code. To close the connection right away, set <immediate> : this is useful
770 * when dealing with a connection fatal error. Else a graceful shutdown will be
771 * conducted : the error-code is only registered. The lower layer is
772 * responsible to close the connection when deemed suitable. Note that in this
773 * case the error code might be overwritten if an immediate close is requested
774 * in the interval.
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200775 */
Amaury Denoyelled666d742022-07-13 15:15:58 +0200776void qcc_emit_cc_app(struct qcc *qcc, int err, int immediate)
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200777{
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200778 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
779
Amaury Denoyelled666d742022-07-13 15:15:58 +0200780 if (immediate) {
781 quic_set_connection_close(qcc->conn->handle.qc, quic_err_app(err));
782 qcc->flags |= QC_CF_CC_EMIT;
783 tasklet_wakeup(qcc->wait_event.tasklet);
784 }
785 else {
786 /* Only register the error code for graceful shutdown. */
787 qcc->conn->handle.qc->err = quic_err_app(err);
788 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200789
790 TRACE_LEAVE(QMUX_EV_QCC_END, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200791}
792
793/* Prepare for the emission of RESET_STREAM on <qcs> with error code <err>. */
794void qcc_reset_stream(struct qcs *qcs, int err)
795{
796 struct qcc *qcc = qcs->qcc;
797
798 if ((qcs->flags & QC_SF_TO_RESET) || qcs_is_close_local(qcs))
799 return;
800
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200801 TRACE_STATE("reset stream", QMUX_EV_QCS_END, qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +0200802 qcs->flags |= QC_SF_TO_RESET;
803 qcs->err = err;
804 tasklet_wakeup(qcc->wait_event.tasklet);
Amaury Denoyellef9e190e2022-05-23 16:12:15 +0200805}
806
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200807/* Install the <app_ops> applicative layer of a QUIC connection on mux <qcc>.
808 * Returns 0 on success else non-zero.
809 */
810int qcc_install_app_ops(struct qcc *qcc, const struct qcc_app_ops *app_ops)
811{
812 TRACE_ENTER(QMUX_EV_QCC_NEW, qcc->conn);
813
814 qcc->app_ops = app_ops;
815 if (qcc->app_ops->init && !qcc->app_ops->init(qcc)) {
816 TRACE_ERROR("app ops init error", QMUX_EV_QCC_NEW, qcc->conn);
817 goto err;
818 }
819
820 TRACE_PROTO("application layer initialized", QMUX_EV_QCC_NEW, qcc->conn);
821
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200822 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
823 return 0;
824
825 err:
826 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
827 return 1;
828}
829
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200830/* Handle a new STREAM frame for stream with id <id>. Payload is pointed by
831 * <data> with length <len> and represents the offset <offset>. <fin> is set if
832 * the QUIC frame FIN bit is set.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100833 *
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200834 * Returns 0 on success else non-zero. On error, the received frame should not
835 * be acknowledged.
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100836 */
837int qcc_recv(struct qcc *qcc, uint64_t id, uint64_t len, uint64_t offset,
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200838 char fin, char *data)
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100839{
840 struct qcs *qcs;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200841 enum ncb_ret ret;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100842
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100843 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
844
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200845 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200846 TRACE_DATA("connection closed", QMUX_EV_QCC_RECV, qcc->conn);
847 goto err;
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +0200848 }
849
Amaury Denoyelle6754d7e2022-05-23 16:12:49 +0200850 /* RFC 9000 19.8. STREAM Frames
851 *
852 * An endpoint MUST terminate the connection with error
853 * STREAM_STATE_ERROR if it receives a STREAM frame for a locally
854 * initiated stream that has not yet been created, or for a send-only
855 * stream.
856 */
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200857 if (qcc_get_qcs(qcc, id, 1, 0, &qcs)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200858 TRACE_DATA("qcs retrieval error", QMUX_EV_QCC_RECV, qcc->conn);
859 goto err;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200860 }
861
862 if (!qcs) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200863 TRACE_DATA("already closed stream", QMUX_EV_QCC_RECV, qcc->conn);
864 goto out;
Amaury Denoyelle57161b72022-07-07 15:02:32 +0200865 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100866
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200867 /* RFC 9000 4.5. Stream Final Size
868 *
869 * Once a final size for a stream is known, it cannot change. If a
870 * RESET_STREAM or STREAM frame is received indicating a change in the
871 * final size for the stream, an endpoint SHOULD respond with an error
872 * of type FINAL_SIZE_ERROR; see Section 11 for details on error
873 * handling.
874 */
875 if (qcs->flags & QC_SF_SIZE_KNOWN &&
876 (offset + len > qcs->rx.offset_max || (fin && offset + len < qcs->rx.offset_max))) {
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200877 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 +0200878 qcc_emit_cc(qcc, QC_ERR_FINAL_SIZE_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200879 goto err;
Amaury Denoyellebf91e392022-07-04 10:02:04 +0200880 }
881
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100882 if (offset + len <= qcs->rx.offset) {
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200883 /* TODO offset may have been received without FIN first and now
884 * with it. In this case, it must be notified to be able to
885 * close the stream.
886 */
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200887 TRACE_DATA("already received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
888 goto out;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100889 }
890
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200891 TRACE_PROTO("receiving STREAM", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200892 qcs_idle_open(qcs);
893
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200894 if (offset + len > qcs->rx.offset_max) {
895 uint64_t diff = offset + len - qcs->rx.offset_max;
896 qcs->rx.offset_max = offset + len;
897 qcc->lfctl.offsets_recv += diff;
898
899 if (offset + len > qcs->rx.msd ||
900 qcc->lfctl.offsets_recv > qcc->lfctl.md) {
901 /* RFC 9000 4.1. Data Flow Control
902 *
903 * A receiver MUST close the connection with an error
904 * of type FLOW_CONTROL_ERROR if the sender violates
905 * the advertised connection or stream data limits
906 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200907 TRACE_ERROR("flow control error", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200908 qcc->conn, qcs);
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200909 qcc_emit_cc(qcc, QC_ERR_FLOW_CONTROL_ERROR);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200910 goto err;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +0200911 }
912 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100913
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200914 if (!qc_get_ncbuf(qcs, &qcs->rx.ncbuf) || ncb_is_null(&qcs->rx.ncbuf)) {
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100915 /* TODO should mark qcs as full */
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200916 ABORT_NOW();
917 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100918 }
919
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200920 TRACE_DATA("newly received offset", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200921 if (offset < qcs->rx.offset) {
Frédéric Lécaillea18c3332022-07-04 09:54:58 +0200922 size_t diff = qcs->rx.offset - offset;
923
924 len -= diff;
925 data += diff;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200926 offset = qcs->rx.offset;
927 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100928
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200929 ret = ncb_add(&qcs->rx.ncbuf, offset - qcs->rx.offset, data, len, NCB_ADD_COMPARE);
930 if (ret != NCB_RET_OK) {
931 if (ret == NCB_RET_DATA_REJ) {
Amaury Denoyellecc3d7162022-05-20 15:14:57 +0200932 /* RFC 9000 2.2. Sending and Receiving Data
933 *
934 * An endpoint could receive data for a stream at the
935 * same stream offset multiple times. Data that has
936 * already been received can be discarded. The data at
937 * a given offset MUST NOT change if it is sent
938 * multiple times; an endpoint MAY treat receipt of
939 * different data at the same offset within a stream as
940 * a connection error of type PROTOCOL_VIOLATION.
941 */
Amaury Denoyellec7fb0d22022-08-10 16:39:54 +0200942 TRACE_ERROR("overlapping data rejected", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV|QMUX_EV_PROTO_ERR,
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200943 qcc->conn, qcs);
Amaury Denoyellecc3d7162022-05-20 15:14:57 +0200944 qcc_emit_cc(qcc, QC_ERR_PROTOCOL_VIOLATION);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200945 }
946 else if (ret == NCB_RET_GAP_SIZE) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +0200947 TRACE_DATA("cannot bufferize frame due to gap size limit", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV,
948 qcc->conn, qcs);
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200949 }
950 return 1;
951 }
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100952
953 if (fin)
Amaury Denoyelle3f39b402022-07-01 16:11:03 +0200954 qcs->flags |= QC_SF_SIZE_KNOWN;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100955
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200956 if (qcs->flags & QC_SF_SIZE_KNOWN &&
957 qcs->rx.offset_max == qcs->rx.offset + ncb_data(&qcs->rx.ncbuf, 0)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200958 qcs_close_remote(qcs);
Amaury Denoyelled1310f82022-09-16 13:30:59 +0200959 }
Amaury Denoyelle38e60062022-07-01 16:48:42 +0200960
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200961 if (ncb_data(&qcs->rx.ncbuf, 0) && !(qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200962 qcc_decode_qcs(qcc, qcs);
Amaury Denoyelle418ba212022-08-02 15:57:16 +0200963 qcc_refresh_timeout(qcc);
964 }
Amaury Denoyelle3a086402022-05-18 11:38:22 +0200965
Amaury Denoyelle849b24f2022-05-24 17:22:07 +0200966 if (qcs->flags & QC_SF_READ_ABORTED) {
967 /* TODO should send a STOP_SENDING */
968 qcs_free(qcs);
969 }
970
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200971 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +0100972 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100973 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +0200974
975 err:
976 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
977 return 1;
Amaury Denoyelle0e3010b2022-02-28 11:37:48 +0100978}
979
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +0100980/* Handle a new MAX_DATA frame. <max> must contains the maximum data field of
981 * the frame.
982 *
983 * Returns 0 on success else non-zero.
984 */
985int qcc_recv_max_data(struct qcc *qcc, uint64_t max)
986{
Amaury Denoyelle392e94e2022-07-06 15:44:16 +0200987 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
988
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +0200989 TRACE_PROTO("receiving MAX_DATA", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +0100990 if (qcc->rfctl.md < max) {
991 qcc->rfctl.md = max;
Amaury Denoyelle392e94e2022-07-06 15:44:16 +0200992 TRACE_DEVEL("increase remote max-data", QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +0100993
994 if (qcc->flags & QC_CF_BLK_MFCTL) {
995 qcc->flags &= ~QC_CF_BLK_MFCTL;
996 tasklet_wakeup(qcc->wait_event.tasklet);
997 }
998 }
Amaury Denoyelle392e94e2022-07-06 15:44:16 +0200999
1000 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle1e5e5132022-03-08 16:23:03 +01001001 return 0;
1002}
1003
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001004/* Handle a new MAX_STREAM_DATA frame. <max> must contains the maximum data
1005 * field of the frame and <id> is the identifier of the QUIC stream.
1006 *
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001007 * Returns 0 on success else non-zero. On error, the received frame should not
1008 * be acknowledged.
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001009 */
1010int qcc_recv_max_stream_data(struct qcc *qcc, uint64_t id, uint64_t max)
1011{
1012 struct qcs *qcs;
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001013
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001014 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1015
Amaury Denoyelleb68559a2022-07-06 15:45:20 +02001016 /* RFC 9000 19.10. MAX_STREAM_DATA Frames
1017 *
1018 * Receiving a MAX_STREAM_DATA frame for a locally
1019 * initiated stream that has not yet been created MUST be treated as a
1020 * connection error of type STREAM_STATE_ERROR. An endpoint that
1021 * receives a MAX_STREAM_DATA frame for a receive-only stream MUST
1022 * terminate the connection with error STREAM_STATE_ERROR.
1023 */
1024 if (qcc_get_qcs(qcc, id, 0, 1, &qcs)) {
1025 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1026 return 1;
1027 }
1028
1029 if (qcs) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001030 TRACE_PROTO("receiving MAX_STREAM_DATA", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001031 if (max > qcs->tx.msd) {
1032 qcs->tx.msd = max;
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001033 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 +01001034
1035 if (qcs->flags & QC_SF_BLK_SFCTL) {
1036 qcs->flags &= ~QC_SF_BLK_SFCTL;
1037 tasklet_wakeup(qcc->wait_event.tasklet);
1038 }
1039 }
1040 }
1041
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001042 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1043 qcc_refresh_timeout(qcc);
1044
Amaury Denoyelle392e94e2022-07-06 15:44:16 +02001045 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle8727ff42022-03-08 10:39:55 +01001046 return 0;
1047}
1048
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001049/* Handle a new STOP_SENDING frame for stream ID <id>. The error code should be
1050 * specified in <err>.
1051 *
1052 * Returns 0 on success else non-zero. On error, the received frame should not
1053 * be acknowledged.
1054 */
1055int qcc_recv_stop_sending(struct qcc *qcc, uint64_t id, uint64_t err)
1056{
1057 struct qcs *qcs;
1058
1059 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
1060
1061 /* RFC 9000 19.5. STOP_SENDING Frames
1062 *
1063 * Receiving a STOP_SENDING frame for a
1064 * locally initiated stream that has not yet been created MUST be
1065 * treated as a connection error of type STREAM_STATE_ERROR. An
1066 * endpoint that receives a STOP_SENDING frame for a receive-only stream
1067 * MUST terminate the connection with error STREAM_STATE_ERROR.
1068 */
1069 if (qcc_get_qcs(qcc, id, 0, 1, &qcs)) {
1070 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1071 return 1;
1072 }
1073
1074 if (!qcs)
1075 goto out;
1076
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001077 TRACE_PROTO("receiving STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
Amaury Denoyelled7755372022-10-03 17:20:31 +02001078
1079 /* RFC 9000 3.5. Solicited State Transitions
1080 *
1081 * An endpoint is expected to send another STOP_SENDING frame if a
1082 * packet containing a previous STOP_SENDING is lost. However, once
1083 * either all stream data or a RESET_STREAM frame has been received for
1084 * the stream -- that is, the stream is in any state other than "Recv"
1085 * or "Size Known" -- sending a STOP_SENDING frame is unnecessary.
1086 */
1087
1088 /* TODO thanks to previous RFC clause, STOP_SENDING is ignored if current stream
1089 * has already been closed locally. This is useful to not emit multiple
1090 * RESET_STREAM for a single stream. This is functional if stream is
1091 * locally closed due to all data transmitted, but in this case the RFC
1092 * advices to use an explicit RESET_STREAM.
1093 */
1094 if (qcs_is_close_local(qcs)) {
1095 TRACE_STATE("ignoring STOP_SENDING", QMUX_EV_QCC_RECV|QMUX_EV_QCS_RECV, qcc->conn, qcs);
1096 goto out;
1097 }
1098
Amaury Denoyelle96ca1b72022-08-09 17:36:38 +02001099 qcs_idle_open(qcs);
1100
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001101 /* RFC 9000 3.5. Solicited State Transitions
1102 *
1103 * An endpoint that receives a STOP_SENDING frame
1104 * MUST send a RESET_STREAM frame if the stream is in the "Ready" or
1105 * "Send" state. If the stream is in the "Data Sent" state, the
1106 * endpoint MAY defer sending the RESET_STREAM frame until the packets
1107 * containing outstanding data are acknowledged or declared lost. If
1108 * any outstanding data is declared lost, the endpoint SHOULD send a
1109 * RESET_STREAM frame instead of retransmitting the data.
1110 *
1111 * An endpoint SHOULD copy the error code from the STOP_SENDING frame to
1112 * the RESET_STREAM frame it sends, but it can use any application error
1113 * code.
1114 */
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001115 qcc_reset_stream(qcs, err);
1116
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001117 if (qcc_may_expire(qcc) && !qcc->nb_hreq)
1118 qcc_refresh_timeout(qcc);
1119
Amaury Denoyellea5b50752022-07-04 11:44:53 +02001120 out:
1121 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
1122 return 0;
1123}
1124
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001125/* Signal the closing of remote stream with id <id>. Flow-control for new
1126 * streams may be allocated for the peer if needed.
1127 */
1128static int qcc_release_remote_stream(struct qcc *qcc, uint64_t id)
Amaury Denoyellec055e302022-02-07 16:09:06 +01001129{
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001130 struct quic_frame *frm;
1131
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001132 TRACE_ENTER(QMUX_EV_QCS_END, qcc->conn);
1133
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001134 if (quic_stream_is_bidi(id)) {
1135 ++qcc->lfctl.cl_bidi_r;
1136 if (qcc->lfctl.cl_bidi_r > qcc->lfctl.ms_bidi_init / 2) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001137 TRACE_DATA("increase max stream limit with MAX_STREAMS_BIDI", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001138 frm = pool_zalloc(pool_head_quic_frame);
1139 BUG_ON(!frm); /* TODO handle this properly */
1140
1141 LIST_INIT(&frm->reflist);
1142 frm->type = QUIC_FT_MAX_STREAMS_BIDI;
1143 frm->max_streams_bidi.max_streams = qcc->lfctl.ms_bidi +
1144 qcc->lfctl.cl_bidi_r;
1145 LIST_APPEND(&qcc->lfctl.frms, &frm->list);
1146 tasklet_wakeup(qcc->wait_event.tasklet);
1147
1148 qcc->lfctl.ms_bidi += qcc->lfctl.cl_bidi_r;
1149 qcc->lfctl.cl_bidi_r = 0;
1150 }
1151 }
1152 else {
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001153 /* TODO in HTTP/3 unidirectional streams cannot be closed or a
1154 * H3_CLOSED_CRITICAL_STREAM will be triggered before
1155 * entering here. If a new application protocol is supported it
1156 * might be necessary to implement MAX_STREAMS_UNI emission.
1157 */
1158 ABORT_NOW();
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001159 }
1160
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001161 TRACE_LEAVE(QMUX_EV_QCS_END, qcc->conn);
1162
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001163 return 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001164}
1165
Ilya Shipitsin5e87bcf2021-12-25 11:45:52 +05001166/* detaches the QUIC stream from its QCC and releases it to the QCS pool. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001167static void qcs_destroy(struct qcs *qcs)
1168{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001169 struct connection *conn = qcs->qcc->conn;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001170 const uint64_t id = qcs->id;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001171
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001172 TRACE_ENTER(QMUX_EV_QCS_END, conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001173
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001174 if (quic_stream_is_remote(qcs->qcc, id))
1175 qcc_release_remote_stream(qcs->qcc, id);
Amaury Denoyellec055e302022-02-07 16:09:06 +01001176
Amaury Denoyelledccbd732022-03-29 18:36:59 +02001177 qcs_free(qcs);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001178
1179 TRACE_LEAVE(QMUX_EV_QCS_END, conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001180}
1181
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001182/* Transfer as much as possible data on <qcs> from <in> to <out>. This is done
1183 * in respect with available flow-control at stream and connection level.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001184 *
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001185 * Returns the total bytes of transferred data.
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001186 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001187static int qcs_xfer_data(struct qcs *qcs, struct buffer *out, struct buffer *in)
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001188{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001189 struct qcc *qcc = qcs->qcc;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001190 int left, to_xfer;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001191 int total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001192
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001193 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001194
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001195 qc_get_buf(qcs, out);
1196
1197 /*
1198 * QCS out buffer diagram
1199 * head left to_xfer
1200 * -------------> ----------> ----->
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001201 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001202 * |...............|xxxxxxxxxxx|<<<<<
Amaury Denoyellee0320b82022-03-11 19:12:23 +01001203 * --------------------------------------------------
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001204 * ^ ack-off ^ sent-off ^ off
1205 *
1206 * STREAM frame
1207 * ^ ^
1208 * |xxxxxxxxxxxxxxxxx|
1209 */
1210
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001211 BUG_ON_HOT(qcs->tx.sent_offset < qcs->stream->ack_offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001212 BUG_ON_HOT(qcs->tx.offset < qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001213 BUG_ON_HOT(qcc->tx.offsets < qcc->tx.sent_offsets);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001214
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001215 left = qcs->tx.offset - qcs->tx.sent_offset;
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001216 to_xfer = QUIC_MIN(b_data(in), b_room(out));
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001217
1218 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
1219 /* do not exceed flow control limit */
1220 if (qcs->tx.offset + to_xfer > qcs->tx.msd)
1221 to_xfer = qcs->tx.msd - qcs->tx.offset;
1222
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001223 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001224 /* do not overcome flow control limit on connection */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001225 if (qcc->tx.offsets + to_xfer > qcc->rfctl.md)
1226 to_xfer = qcc->rfctl.md - qcc->tx.offsets;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001227
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001228 if (!left && !to_xfer)
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001229 goto out;
1230
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001231 total = b_force_xfer(out, in, to_xfer);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001232
1233 out:
1234 {
1235 struct qcs_xfer_data_trace_arg arg = {
1236 .prep = b_data(out), .xfer = total,
1237 };
1238 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_XFER_DATA,
1239 qcc->conn, qcs, &arg);
1240 }
1241
1242 return total;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001243}
1244
Amaury Denoyellefe8f5552022-04-27 16:44:49 +02001245/* Prepare a STREAM frame for <qcs> instance using <out> as payload. The frame
1246 * is appended in <frm_list>. Set <fin> if this is supposed to be the last
1247 * stream frame.
1248 *
1249 * Returns the length of the STREAM frame or a negative error code.
1250 */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001251static int qcs_build_stream_frm(struct qcs *qcs, struct buffer *out, char fin,
1252 struct list *frm_list)
1253{
1254 struct qcc *qcc = qcs->qcc;
1255 struct quic_frame *frm;
1256 int head, total;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001257 uint64_t base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001258
1259 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1260
Amaury Denoyellea4569202022-04-15 17:29:25 +02001261 /* if ack_offset < buf_offset, it points to an older buffer. */
1262 base_off = MAX(qcs->stream->buf_offset, qcs->stream->ack_offset);
1263 BUG_ON(qcs->tx.sent_offset < base_off);
1264
1265 head = qcs->tx.sent_offset - base_off;
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001266 total = b_data(out) - head;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001267 BUG_ON(total < 0);
1268
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001269 if (!total && !fin) {
1270 /* No need to send anything if total is NULL and no FIN to signal. */
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001271 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1272 return 0;
1273 }
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001274 BUG_ON((!total && qcs->tx.sent_offset > qcs->tx.offset) ||
1275 (total && qcs->tx.sent_offset >= qcs->tx.offset));
Amaury Denoyellea4569202022-04-15 17:29:25 +02001276 BUG_ON(qcs->tx.sent_offset + total > qcs->tx.offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001277 BUG_ON(qcc->tx.sent_offsets + total > qcc->rfctl.md);
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001278
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001279 TRACE_PROTO("sending STREAM frame", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001280 frm = pool_zalloc(pool_head_quic_frame);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001281 if (!frm) {
1282 TRACE_ERROR("frame alloc failure", QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001283 goto err;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001284 }
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001285
Frédéric Lécailleb9171912022-04-21 17:32:10 +02001286 LIST_INIT(&frm->reflist);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001287 frm->type = QUIC_FT_STREAM_8;
Amaury Denoyelle7272cd72022-03-29 15:15:54 +02001288 frm->stream.stream = qcs->stream;
Amaury Denoyelled8e680c2022-03-29 15:18:44 +02001289 frm->stream.id = qcs->id;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001290 frm->stream.buf = out;
1291 frm->stream.data = (unsigned char *)b_peek(out, head);
1292
Amaury Denoyellefecfa0d2021-12-07 16:50:14 +01001293 /* FIN is positioned only when the buffer has been totally emptied. */
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001294 if (fin)
1295 frm->type |= QUIC_STREAM_FRAME_TYPE_FIN_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001296
1297 if (qcs->tx.sent_offset) {
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001298 frm->type |= QUIC_STREAM_FRAME_TYPE_OFF_BIT;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001299 frm->stream.offset.key = qcs->tx.sent_offset;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001300 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001301
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001302 frm->type |= QUIC_STREAM_FRAME_TYPE_LEN_BIT;
1303 frm->stream.len = total;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001304
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001305 LIST_APPEND(frm_list, &frm->list);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001306
Frédéric Lécailled2ba0962021-09-20 17:50:03 +02001307 out:
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001308 {
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001309 struct qcs_build_stream_trace_arg arg = {
1310 .len = frm->stream.len, .fin = fin,
1311 .offset = frm->stream.offset.key,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001312 };
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001313 TRACE_LEAVE(QMUX_EV_QCS_SEND|QMUX_EV_QCS_BUILD_STRM,
Amaury Denoyellefdcec362022-03-25 09:28:10 +01001314 qcc->conn, qcs, &arg);
1315 }
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001316
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001317 return total;
1318
1319 err:
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001320 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001321 return -1;
1322}
1323
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001324/* Check after transferring data from qcs.tx.buf if FIN must be set on the next
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001325 * STREAM frame for <qcs>.
1326 *
1327 * Returns true if FIN must be set else false.
1328 */
1329static int qcs_stream_fin(struct qcs *qcs)
1330{
1331 return qcs->flags & QC_SF_FIN_STREAM && !b_data(&qcs->tx.buf);
1332}
1333
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001334/* This function must be called by the upper layer to inform about the sending
1335 * of a STREAM frame for <qcs> instance. The frame is of <data> length and on
1336 * <offset>.
1337 */
1338void qcc_streams_sent_done(struct qcs *qcs, uint64_t data, uint64_t offset)
1339{
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001340 struct qcc *qcc = qcs->qcc;
1341 uint64_t diff;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001342
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001343 TRACE_ENTER(QMUX_EV_QCS_SEND, qcc->conn, qcs);
1344
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001345 BUG_ON(offset > qcs->tx.sent_offset);
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001346 BUG_ON(offset + data > qcs->tx.offset);
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001347
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001348 /* check if the STREAM frame has already been notified. It can happen
1349 * for retransmission.
1350 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001351 if (offset + data < qcs->tx.sent_offset) {
1352 TRACE_DEVEL("offset already notified", QMUX_EV_QCS_SEND, qcc->conn, qcs);
1353 goto out;
1354 }
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001355
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001356 qcs_idle_open(qcs);
1357
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001358 diff = offset + data - qcs->tx.sent_offset;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001359 if (diff) {
1360 /* increase offset sum on connection */
1361 qcc->tx.sent_offsets += diff;
1362 BUG_ON_HOT(qcc->tx.sent_offsets > qcc->rfctl.md);
1363 if (qcc->tx.sent_offsets == qcc->rfctl.md)
1364 qcc->flags |= QC_CF_BLK_MFCTL;
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001365
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001366 /* increase offset on stream */
1367 qcs->tx.sent_offset += diff;
1368 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.msd);
1369 BUG_ON_HOT(qcs->tx.sent_offset > qcs->tx.offset);
1370 if (qcs->tx.sent_offset == qcs->tx.msd)
1371 qcs->flags |= QC_SF_BLK_SFCTL;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001372
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001373 if (qcs->tx.offset == qcs->tx.sent_offset &&
1374 b_full(&qcs->stream->buf->buf)) {
1375 qc_stream_buf_release(qcs->stream);
1376 /* prepare qcs for immediate send retry if data to send */
1377 if (b_data(&qcs->tx.buf))
1378 LIST_APPEND(&qcc->send_retry_list, &qcs->el);
1379 }
1380 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001381
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02001382 if (qcs->tx.offset == qcs->tx.sent_offset && !b_data(&qcs->tx.buf) &&
1383 qcs->flags & (QC_SF_FIN_STREAM|QC_SF_DETACH)) {
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001384 /* Close stream locally. */
1385 qcs_close_local(qcs);
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001386 /* Reset flag to not emit multiple FIN STREAM frames. */
1387 qcs->flags &= ~QC_SF_FIN_STREAM;
Amaury Denoyellea4569202022-04-15 17:29:25 +02001388 }
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001389
1390 out:
1391 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcc->conn, qcs);
Amaury Denoyelle54445d02022-03-10 16:44:14 +01001392}
1393
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001394/* Wrapper for send on transport layer. Send a list of frames <frms> for the
1395 * connection <qcc>.
1396 *
1397 * Returns 0 if all data sent with success else non-zero.
1398 */
1399static int qc_send_frames(struct qcc *qcc, struct list *frms)
1400{
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001401 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
1402
1403 if (LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001404 TRACE_DEVEL("no frames to send", QMUX_EV_QCC_SEND, qcc->conn);
1405 goto err;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001406 }
Frédéric Lécaille4e22f282022-03-18 18:38:19 +01001407
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001408 LIST_INIT(&qcc->send_retry_list);
1409
Amaury Denoyelle036cc5d2022-09-26 15:02:31 +02001410 if (!qc_send_mux(qcc->conn->handle.qc, frms))
1411 goto err;
Amaury Denoyellee9c4cc12022-03-04 15:29:53 +01001412
Amaury Denoyelledb5d1a12022-03-10 16:42:23 +01001413 /* If there is frames left at this stage, transport layer is blocked.
1414 * Subscribe on it to retry later.
1415 */
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001416 if (!LIST_ISEMPTY(frms)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001417 TRACE_DEVEL("remaining frames to send, subscribing", QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001418 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1419 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001420 goto err;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001421 }
1422
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001423 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001424 return 0;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001425
1426 err:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001427 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001428 return 1;
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001429}
1430
1431/* Emit a RESET_STREAM on <qcs>.
1432 *
1433 * Returns 0 if the frame has been successfully sent else non-zero.
1434 */
1435static int qcs_send_reset(struct qcs *qcs)
1436{
1437 struct list frms = LIST_HEAD_INIT(frms);
1438 struct quic_frame *frm;
1439
1440 TRACE_ENTER(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1441
1442 frm = pool_zalloc(pool_head_quic_frame);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001443 if (!frm) {
1444 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001445 return 1;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001446 }
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001447
1448 LIST_INIT(&frm->reflist);
1449 frm->type = QUIC_FT_RESET_STREAM;
1450 frm->reset_stream.id = qcs->id;
1451 frm->reset_stream.app_error_code = qcs->err;
1452 frm->reset_stream.final_size = qcs->tx.sent_offset;
1453
1454 LIST_APPEND(&frms, &frm->list);
1455 if (qc_send_frames(qcs->qcc, &frms)) {
1456 pool_free(pool_head_quic_frame, frm);
1457 TRACE_DEVEL("cannot send RESET_STREAM", QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
1458 return 1;
1459 }
1460
1461 if (qcs_sc(qcs)) {
1462 se_fl_set_error(qcs->sd);
1463 qcs_alert(qcs);
1464 }
1465
1466 qcs_close_local(qcs);
1467 qcs->flags &= ~QC_SF_TO_RESET;
1468
1469 TRACE_LEAVE(QMUX_EV_QCS_SEND, qcs->qcc->conn, qcs);
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001470 return 0;
1471}
1472
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001473/* Used internally by qc_send function. Proceed to send for <qcs>. This will
1474 * transfer data from qcs buffer to its quic_stream counterpart. A STREAM frame
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001475 * is then generated and inserted in <frms> list.
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001476 *
1477 * Returns the total bytes transferred between qcs and quic_stream buffers. Can
1478 * be null if out buffer cannot be allocated.
1479 */
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001480static int _qc_send_qcs(struct qcs *qcs, struct list *frms)
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001481{
1482 struct qcc *qcc = qcs->qcc;
1483 struct buffer *buf = &qcs->tx.buf;
1484 struct buffer *out = qc_stream_buf_get(qcs->stream);
1485 int xfer = 0;
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001486 char fin = 0;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001487
1488 /* Allocate <out> buffer if necessary. */
1489 if (!out) {
1490 if (qcc->flags & QC_CF_CONN_FULL)
1491 return 0;
1492
1493 out = qc_stream_buf_alloc(qcs->stream, qcs->tx.offset);
1494 if (!out) {
1495 qcc->flags |= QC_CF_CONN_FULL;
1496 return 0;
1497 }
1498 }
1499
1500 /* Transfer data from <buf> to <out>. */
1501 if (b_data(buf)) {
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001502 xfer = qcs_xfer_data(qcs, out, buf);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001503 if (xfer > 0) {
1504 qcs_notify_send(qcs);
1505 qcs->flags &= ~QC_SF_BLK_MROOM;
1506 }
1507
1508 qcs->tx.offset += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001509 BUG_ON_HOT(qcs->tx.offset > qcs->tx.msd);
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001510 qcc->tx.offsets += xfer;
Amaury Denoyelle78fa5592022-06-10 15:18:12 +02001511 BUG_ON_HOT(qcc->tx.offsets > qcc->rfctl.md);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001512 }
1513
1514 /* out buffer cannot be emptied if qcs offsets differ. */
1515 BUG_ON(!b_data(out) && qcs->tx.sent_offset != qcs->tx.offset);
1516
Ilya Shipitsin3b64a282022-07-29 22:26:53 +05001517 /* FIN is set if all incoming data were transferred. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001518 fin = qcs_stream_fin(qcs);
1519
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001520 /* Build a new STREAM frame with <out> buffer. */
Amaury Denoyellee53b4892022-07-08 17:19:40 +02001521 if (qcs->tx.sent_offset != qcs->tx.offset || fin) {
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001522 int ret;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001523 ret = qcs_build_stream_frm(qcs, out, fin, frms);
Amaury Denoyelleb50f3112022-04-28 14:41:50 +02001524 if (ret < 0) { ABORT_NOW(); /* TODO handle this properly */ }
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001525 }
1526
1527 return xfer;
1528}
1529
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001530/* Proceed to sending. Loop through all available streams for the <qcc>
1531 * instance and try to send as much as possible.
1532 *
1533 * Returns the total of bytes sent to the transport layer.
1534 */
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001535static int qc_send(struct qcc *qcc)
1536{
Amaury Denoyelle6ccfa3c2022-03-10 16:45:53 +01001537 struct list frms = LIST_HEAD_INIT(frms);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001538 struct eb64_node *node;
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001539 struct qcs *qcs, *qcs_tmp;
1540 int total = 0, tmp_total = 0;
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001541
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001542 TRACE_ENTER(QMUX_EV_QCC_SEND, qcc->conn);
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001543
Amaury Denoyelle9fab9fd2022-05-20 15:04:38 +02001544 if (qcc->conn->flags & CO_FL_SOCK_WR_SH || qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001545 qcc->conn->flags |= CO_FL_ERROR;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001546 TRACE_DEVEL("connection on error", QMUX_EV_QCC_SEND, qcc->conn);
1547 goto err;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02001548 }
1549
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001550 if (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1551 if (qc_send_frames(qcc, &qcc->lfctl.frms)) {
1552 TRACE_DEVEL("flow-control frames rejected by transport, aborting send", QMUX_EV_QCC_SEND, qcc->conn);
1553 goto out;
1554 }
1555 }
Amaury Denoyellec9337802022-04-04 16:36:34 +02001556
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001557 if (qcc->flags & QC_CF_BLK_MFCTL)
1558 return 0;
1559
Frédéric Lécaille3dd79d32022-09-08 17:53:36 +02001560 if (!(qcc->flags & QC_CF_APP_FINAL) && !eb_is_empty(&qcc->streams_by_id) &&
1561 qcc->app_ops->finalize) {
1562 /* Finalize the application layer before sending any stream.
1563 * For h3 this consists in preparing the control stream data (SETTINGS h3).
1564 */
1565 qcc->app_ops->finalize(qcc->ctx);
1566 qcc->flags |= QC_CF_APP_FINAL;
1567 }
1568
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001569 /* loop through all streams, construct STREAM frames if data available.
1570 * TODO optimize the loop to favor streams which are not too heavy.
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001571 */
1572 node = eb64_first(&qcc->streams_by_id);
1573 while (node) {
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001574 int ret;
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001575 uint64_t id;
1576
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001577 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001578 id = qcs->id;
Amaury Denoyelle2c71fe52022-02-09 18:16:49 +01001579
Amaury Denoyellec6195d72022-05-23 11:39:14 +02001580 if (quic_stream_is_uni(id) && quic_stream_is_remote(qcc, id)) {
Amaury Denoyellee2ec9422022-03-10 16:46:18 +01001581 node = eb64_next(node);
1582 continue;
1583 }
1584
Amaury Denoyelle843a1192022-07-04 11:44:38 +02001585 if (qcs->flags & QC_SF_TO_RESET) {
1586 qcs_send_reset(qcs);
1587 node = eb64_next(node);
1588 continue;
1589 }
1590
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001591 if (qcs_is_close_local(qcs)) {
1592 node = eb64_next(node);
1593 continue;
1594 }
1595
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001596 if (qcs->flags & QC_SF_BLK_SFCTL) {
1597 node = eb64_next(node);
1598 continue;
1599 }
1600
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001601 if (!b_data(&qcs->tx.buf) && !qc_stream_buf_get(qcs->stream)) {
Amaury Denoyelled2f80a22022-04-15 17:30:49 +02001602 node = eb64_next(node);
1603 continue;
1604 }
Amaury Denoyellea4569202022-04-15 17:29:25 +02001605
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001606 ret = _qc_send_qcs(qcs, &frms);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001607 total += ret;
1608 node = eb64_next(node);
1609 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001610
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001611 if (qc_send_frames(qcc, &frms)) {
1612 /* data rejected by transport layer, do not retry. */
1613 goto out;
1614 }
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001615
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001616 retry:
1617 tmp_total = 0;
1618 list_for_each_entry_safe(qcs, qcs_tmp, &qcc->send_retry_list, el) {
1619 int ret;
1620 BUG_ON(!b_data(&qcs->tx.buf));
1621 BUG_ON(qc_stream_buf_get(qcs->stream));
Amaury Denoyelleda6ad202022-04-12 11:41:04 +02001622
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001623 ret = _qc_send_qcs(qcs, &frms);
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001624 tmp_total += ret;
1625 LIST_DELETE(&qcs->el);
Frédéric Lécaille578a7892021-09-13 16:13:00 +02001626 }
Frédéric Lécaille8526f142021-09-20 17:58:22 +02001627
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001628 total += tmp_total;
1629 if (!qc_send_frames(qcc, &frms) && !LIST_ISEMPTY(&qcc->send_retry_list))
1630 goto retry;
Amaury Denoyellee257d9e2021-12-03 14:39:29 +01001631
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001632 out:
Amaury Denoyelle43c090c2022-06-10 15:16:40 +02001633 /* Deallocate frames that the transport layer has rejected. */
1634 if (!LIST_ISEMPTY(&frms)) {
1635 struct quic_frame *frm, *frm2;
1636 list_for_each_entry_safe(frm, frm2, &frms, list) {
1637 LIST_DELETE(&frm->list);
1638 pool_free(pool_head_quic_frame, frm);
1639 }
1640 }
1641
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001642 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
Amaury Denoyelle75d14ad2022-03-22 15:10:29 +01001643 return total;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001644
1645 err:
1646 TRACE_LEAVE(QMUX_EV_QCC_SEND, qcc->conn);
1647 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001648}
1649
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001650/* Proceed on receiving. Loop through all streams from <qcc> and use decode_qcs
1651 * operation.
1652 *
1653 * Returns 0 on success else non-zero.
1654 */
1655static int qc_recv(struct qcc *qcc)
1656{
1657 struct eb64_node *node;
1658 struct qcs *qcs;
1659
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001660 TRACE_ENTER(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyellee1cad8b2022-05-23 18:52:11 +02001661
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001662 if (qcc->flags & QC_CF_CC_EMIT) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001663 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle5c4373a2022-05-24 14:47:48 +02001664 return 0;
1665 }
1666
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001667 node = eb64_first(&qcc->streams_by_id);
1668 while (node) {
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001669 uint64_t id;
1670
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001671 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001672 id = qcs->id;
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001673
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001674 if (!ncb_data(&qcs->rx.ncbuf, 0) || (qcs->flags & QC_SF_DEM_FULL)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001675 node = eb64_next(node);
1676 continue;
1677 }
1678
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +02001679 if (quic_stream_is_uni(id) && quic_stream_is_local(qcc, id)) {
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001680 node = eb64_next(node);
1681 continue;
1682 }
1683
1684 qcc_decode_qcs(qcc, qcs);
1685 node = eb64_next(node);
Amaury Denoyelle849b24f2022-05-24 17:22:07 +02001686
1687 if (qcs->flags & QC_SF_READ_ABORTED) {
1688 /* TODO should send a STOP_SENDING */
1689 qcs_free(qcs);
1690 }
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001691 }
1692
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001693 TRACE_LEAVE(QMUX_EV_QCC_RECV, qcc->conn);
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001694 return 0;
1695}
1696
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001697
1698/* Release all streams which have their transfer operation achieved.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01001699 *
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001700 * Returns true if at least one stream is released.
Amaury Denoyelle6a4aebf2022-02-01 10:16:05 +01001701 */
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001702static int qc_purge_streams(struct qcc *qcc)
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001703{
1704 struct eb64_node *node;
1705 int release = 0;
1706
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001707 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001708
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001709 node = eb64_first(&qcc->streams_by_id);
1710 while (node) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02001711 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001712 node = eb64_next(node);
1713
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001714 /* Release not attached closed streams. */
1715 if (qcs->st == QC_SS_CLO && !qcs_sc(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001716 TRACE_STATE("purging closed stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02001717 qcs_destroy(qcs);
1718 release = 1;
1719 continue;
1720 }
1721
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001722 /* Release detached streams with empty buffer. */
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001723 if (qcs->flags & QC_SF_DETACH) {
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02001724 if (qcs_is_close_local(qcs)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02001725 TRACE_STATE("purging detached stream", QMUX_EV_QCC_WAKE, qcs->qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001726 qcs_destroy(qcs);
1727 release = 1;
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001728 continue;
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001729 }
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001730
1731 qcc->conn->xprt->subscribe(qcc->conn, qcc->conn->xprt_ctx,
1732 SUB_RETRY_SEND, &qcc->wait_event);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001733 }
1734 }
1735
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001736 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001737 return release;
1738}
1739
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001740/* release function. This one should be called to free all resources allocated
1741 * to the mux.
1742 */
1743static void qc_release(struct qcc *qcc)
1744{
1745 struct connection *conn = qcc->conn;
1746 struct eb64_node *node;
1747
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001748 TRACE_ENTER(QMUX_EV_QCC_END, conn);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001749
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001750 if (qcc->app_ops && qcc->app_ops->shutdown) {
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001751 /* Application protocol with dedicated connection closing
1752 * procedure.
1753 */
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001754 qcc->app_ops->shutdown(qcc->ctx);
Amaury Denoyellea154dc02022-06-13 17:09:01 +02001755
1756 /* useful if application protocol should emit some closing
1757 * frames. For example HTTP/3 GOAWAY frame.
1758 */
1759 qc_send(qcc);
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001760 }
1761 else {
1762 qcc_emit_cc_app(qcc, QC_ERR_NO_ERROR, 0);
1763 }
1764
1765 if (qcc->task) {
1766 task_destroy(qcc->task);
1767 qcc->task = NULL;
1768 }
1769
1770 if (qcc->wait_event.tasklet)
1771 tasklet_free(qcc->wait_event.tasklet);
1772 if (conn && qcc->wait_event.events) {
1773 conn->xprt->unsubscribe(conn, conn->xprt_ctx,
1774 qcc->wait_event.events,
1775 &qcc->wait_event);
1776 }
1777
1778 /* liberate remaining qcs instances */
1779 node = eb64_first(&qcc->streams_by_id);
1780 while (node) {
1781 struct qcs *qcs = eb64_entry(node, struct qcs, by_id);
1782 node = eb64_next(node);
1783 qcs_free(qcs);
1784 }
1785
1786 while (!LIST_ISEMPTY(&qcc->lfctl.frms)) {
1787 struct quic_frame *frm = LIST_ELEM(qcc->lfctl.frms.n, struct quic_frame *, list);
1788 LIST_DELETE(&frm->list);
1789 pool_free(pool_head_quic_frame, frm);
1790 }
1791
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001792 if (qcc->app_ops && qcc->app_ops->release)
1793 qcc->app_ops->release(qcc->ctx);
1794 TRACE_PROTO("application layer released", QMUX_EV_QCC_END, conn);
1795
Amaury Denoyellec49d5d12022-07-15 10:32:53 +02001796 pool_free(pool_head_qcc, qcc);
1797
1798 if (conn) {
1799 LIST_DEL_INIT(&conn->stopping_list);
1800
1801 conn->handle.qc->conn = NULL;
1802 conn->mux = NULL;
1803 conn->ctx = NULL;
1804
1805 TRACE_DEVEL("freeing conn", QMUX_EV_QCC_END, conn);
1806
1807 conn_stop_tracking(conn);
1808 conn_full_close(conn);
1809 if (conn->destroy_cb)
1810 conn->destroy_cb(conn);
1811 conn_free(conn);
1812 }
1813
1814 TRACE_LEAVE(QMUX_EV_QCC_END);
1815}
1816
Willy Tarreau41e701e2022-09-08 15:12:59 +02001817struct task *qc_io_cb(struct task *t, void *ctx, unsigned int status)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001818{
Amaury Denoyelle769e9ff2021-10-05 11:43:50 +02001819 struct qcc *qcc = ctx;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001820
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001821 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc->conn);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001822
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001823 qc_send(qcc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001824
Amaury Denoyellec1a6dfd2022-07-08 14:04:21 +02001825 if (qc_purge_streams(qcc)) {
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02001826 if (qcc_is_dead(qcc)) {
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001827 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001828 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02001829 }
Amaury Denoyelle2873a312021-12-08 14:42:55 +01001830 }
1831
Amaury Denoyelle37c2e4a2022-05-16 13:54:59 +02001832 qc_recv(qcc);
1833
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02001834 /* TODO check if qcc proxy is disabled. If yes, use graceful shutdown
1835 * to close the connection.
1836 */
1837
1838 qcc_refresh_timeout(qcc);
1839
Amaury Denoyelled3973852022-07-25 14:56:54 +02001840 end:
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001841 TRACE_LEAVE(QMUX_EV_QCC_WAKE, qcc->conn);
1842 return NULL;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001843
Amaury Denoyelle3baab742022-08-11 18:35:55 +02001844 release:
1845 qc_release(qcc);
1846 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001847 return NULL;
1848}
1849
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001850static struct task *qc_timeout_task(struct task *t, void *ctx, unsigned int state)
1851{
1852 struct qcc *qcc = ctx;
1853 int expired = tick_is_expired(t->expire, now_ms);
1854
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001855 TRACE_ENTER(QMUX_EV_QCC_WAKE, qcc ? qcc->conn : NULL);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001856
1857 if (qcc) {
1858 if (!expired) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001859 TRACE_DEVEL("not expired", QMUX_EV_QCC_WAKE, qcc->conn);
1860 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001861 }
1862
1863 if (!qcc_may_expire(qcc)) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001864 TRACE_DEVEL("cannot expired", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001865 t->expire = TICK_ETERNITY;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001866 goto requeue;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001867 }
1868 }
1869
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001870 task_destroy(t);
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01001871
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001872 if (!qcc) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001873 TRACE_DEVEL("no more qcc", QMUX_EV_QCC_WAKE);
1874 goto out;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001875 }
Amaury Denoyelleea3e0352022-02-21 10:05:16 +01001876
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001877 qcc->task = NULL;
1878
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02001879 /* TODO depending on the timeout condition, different shutdown mode
1880 * should be used. For http keep-alive or disabled proxy, a graceful
1881 * shutdown should occurs. For all other cases, an immediate close
1882 * seems legitimate.
1883 */
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001884 if (qcc_is_dead(qcc)) {
1885 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001886 qc_release(qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001887 }
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001888
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001889 out:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01001890 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001891 return NULL;
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02001892
1893 requeue:
1894 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
1895 return t;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001896}
1897
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001898static int qc_init(struct connection *conn, struct proxy *prx,
1899 struct session *sess, struct buffer *input)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001900{
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001901 struct qcc *qcc;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001902 struct quic_transport_params *lparams, *rparams;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001903
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001904 TRACE_ENTER(QMUX_EV_QCC_NEW);
1905
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001906 qcc = pool_alloc(pool_head_qcc);
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001907 if (!qcc) {
1908 TRACE_ERROR("alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001909 goto fail_no_qcc;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001910 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001911
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001912 qcc->conn = conn;
1913 conn->ctx = qcc;
Amaury Denoyellec603de42022-07-25 11:21:46 +02001914 qcc->nb_hreq = qcc->nb_sc = 0;
Amaury Denoyellece1f30d2022-02-01 15:14:24 +01001915 qcc->flags = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001916
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001917 qcc->app_ops = NULL;
Amaury Denoyelle0aba11e2022-09-29 18:31:24 +02001918 if (qcc_install_app_ops(qcc, conn->handle.qc->app_ops)) {
1919 TRACE_PROTO("Cannot install app layer", QMUX_EV_QCC_NEW, qcc->conn);
1920 /* prepare a CONNECTION_CLOSE frame */
1921 quic_set_connection_close(conn->handle.qc, quic_err_transport(QC_ERR_APPLICATION_ERROR));
1922 goto fail_no_tasklet;
1923 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001924
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001925 qcc->streams_by_id = EB_ROOT_UNIQUE;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001926
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001927 /* Server parameters, params used for RX flow control. */
Willy Tarreau784b8682022-04-11 14:18:10 +02001928 lparams = &conn->handle.qc->rx.params;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001929
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001930 qcc->rx.max_data = lparams->initial_max_data;
Amaury Denoyelleb9e06402022-06-10 15:16:21 +02001931 qcc->tx.sent_offsets = qcc->tx.offsets = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001932
1933 /* Client initiated streams must respect the server flow control. */
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001934 qcc->strms[QCS_CLT_BIDI].max_streams = lparams->initial_max_streams_bidi;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001935 qcc->strms[QCS_CLT_BIDI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001936 qcc->strms[QCS_CLT_BIDI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001937 qcc->strms[QCS_CLT_BIDI].tx.max_data = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001938
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001939 qcc->strms[QCS_CLT_UNI].max_streams = lparams->initial_max_streams_uni;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001940 qcc->strms[QCS_CLT_UNI].nb_streams = 0;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001941 qcc->strms[QCS_CLT_UNI].rx.max_data = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001942 qcc->strms[QCS_CLT_UNI].tx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001943
1944 /* Server initiated streams must respect the server flow control. */
1945 qcc->strms[QCS_SRV_BIDI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001946 qcc->strms[QCS_SRV_BIDI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001947 qcc->strms[QCS_SRV_BIDI].rx.max_data = lparams->initial_max_stream_data_bidi_local;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001948 qcc->strms[QCS_SRV_BIDI].tx.max_data = 0;
1949
1950 qcc->strms[QCS_SRV_UNI].max_streams = 0;
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001951 qcc->strms[QCS_SRV_UNI].nb_streams = 0;
Amaury Denoyelle749cb642022-02-09 10:25:29 +01001952 qcc->strms[QCS_SRV_UNI].rx.max_data = lparams->initial_max_stream_data_uni;
Amaury Denoyellef3b0ba72021-12-08 15:12:01 +01001953 qcc->strms[QCS_SRV_UNI].tx.max_data = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001954
Amaury Denoyellec985cb12022-05-16 14:29:59 +02001955 LIST_INIT(&qcc->lfctl.frms);
Amaury Denoyelle78396e52022-03-21 17:13:32 +01001956 qcc->lfctl.ms_bidi = qcc->lfctl.ms_bidi_init = lparams->initial_max_streams_bidi;
Amaury Denoyellebf3c2082022-08-16 11:29:08 +02001957 qcc->lfctl.ms_uni = lparams->initial_max_streams_uni;
Amaury Denoyelle44d09122022-04-26 11:21:10 +02001958 qcc->lfctl.msd_bidi_l = lparams->initial_max_stream_data_bidi_local;
1959 qcc->lfctl.msd_bidi_r = lparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02001960 qcc->lfctl.msd_uni_r = lparams->initial_max_stream_data_uni;
Amaury Denoyelle78396e52022-03-21 17:13:32 +01001961 qcc->lfctl.cl_bidi_r = 0;
Amaury Denoyellec055e302022-02-07 16:09:06 +01001962
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02001963 qcc->lfctl.md = qcc->lfctl.md_init = lparams->initial_max_data;
Amaury Denoyelled46b0f52022-05-20 15:05:07 +02001964 qcc->lfctl.offsets_recv = qcc->lfctl.offsets_consume = 0;
Amaury Denoyellec830e1e2022-05-16 16:19:59 +02001965
Willy Tarreau784b8682022-04-11 14:18:10 +02001966 rparams = &conn->handle.qc->tx.params;
Amaury Denoyelle05ce55e2022-03-08 10:35:42 +01001967 qcc->rfctl.md = rparams->initial_max_data;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001968 qcc->rfctl.msd_bidi_l = rparams->initial_max_stream_data_bidi_local;
1969 qcc->rfctl.msd_bidi_r = rparams->initial_max_stream_data_bidi_remote;
Amaury Denoyelle176174f2022-10-21 17:02:18 +02001970 qcc->rfctl.msd_uni_l = rparams->initial_max_stream_data_uni;
Amaury Denoyelle6ea78192022-03-07 15:47:02 +01001971
Amaury Denoyellea509ffb2022-07-04 15:50:33 +02001972 if (conn_is_back(conn)) {
1973 qcc->next_bidi_l = 0x00;
1974 qcc->largest_bidi_r = 0x01;
1975 qcc->next_uni_l = 0x02;
1976 qcc->largest_uni_r = 0x03;
1977 }
1978 else {
1979 qcc->largest_bidi_r = 0x00;
1980 qcc->next_bidi_l = 0x01;
1981 qcc->largest_uni_r = 0x02;
1982 qcc->next_uni_l = 0x03;
1983 }
1984
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001985 qcc->wait_event.tasklet = tasklet_new();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001986 if (!qcc->wait_event.tasklet) {
1987 TRACE_ERROR("taslket alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001988 goto fail_no_tasklet;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02001989 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001990
Amaury Denoyelle1b2dba52022-04-15 17:32:04 +02001991 LIST_INIT(&qcc->send_retry_list);
1992
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001993 qcc->wait_event.tasklet->process = qc_io_cb;
1994 qcc->wait_event.tasklet->context = qcc;
Frédéric Lécaillef27b66f2022-03-18 22:49:22 +01001995 qcc->wait_event.events = 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01001996
Amaury Denoyelle07bf8f42022-07-22 16:16:03 +02001997 qcc->proxy = prx;
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01001998 /* haproxy timeouts */
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02001999 qcc->task = NULL;
Amaury Denoyelleb6309452022-07-25 14:51:56 +02002000 qcc->timeout = conn_is_back(qcc->conn) ? prx->timeout.server :
2001 prx->timeout.client;
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002002 if (tick_isset(qcc->timeout)) {
2003 qcc->task = task_new_here();
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002004 if (!qcc->task) {
2005 TRACE_ERROR("timeout task alloc failure", QMUX_EV_QCC_NEW);
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002006 goto fail_no_timeout_task;
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002007 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002008 qcc->task->process = qc_timeout_task;
2009 qcc->task->context = qcc;
2010 qcc->task->expire = tick_add(now_ms, qcc->timeout);
2011 }
Amaury Denoyellebd6ec1b2022-07-25 11:53:18 +02002012 qcc_reset_idle_start(qcc);
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02002013 LIST_INIT(&qcc->opening_list);
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002014
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002015 if (!conn_is_back(conn)) {
2016 if (!LIST_INLIST(&conn->stopping_list)) {
2017 LIST_APPEND(&mux_stopping_data[tid].list,
2018 &conn->stopping_list);
2019 }
2020 }
2021
Willy Tarreau784b8682022-04-11 14:18:10 +02002022 HA_ATOMIC_STORE(&conn->handle.qc->qcc, qcc);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002023 /* init read cycle */
2024 tasklet_wakeup(qcc->wait_event.tasklet);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002025
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002026 TRACE_LEAVE(QMUX_EV_QCC_NEW, qcc->conn);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002027 return 0;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002028
Amaury Denoyelleaebe26f2022-01-13 16:28:06 +01002029 fail_no_timeout_task:
2030 tasklet_free(qcc->wait_event.tasklet);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002031 fail_no_tasklet:
Amaury Denoyelle0aba11e2022-09-29 18:31:24 +02002032 if (qcc->app_ops && qcc->app_ops->release)
2033 qcc->app_ops->release(qcc->ctx);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002034 pool_free(pool_head_qcc, qcc);
2035 fail_no_qcc:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002036 TRACE_LEAVE(QMUX_EV_QCC_NEW);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002037 return -1;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002038}
2039
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002040static void qc_destroy(void *ctx)
2041{
2042 struct qcc *qcc = ctx;
2043
2044 TRACE_ENTER(QMUX_EV_QCC_END, qcc->conn);
2045 qc_release(qcc);
2046 TRACE_LEAVE(QMUX_EV_QCC_END);
2047}
2048
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002049static void qc_detach(struct sedesc *sd)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002050{
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002051 struct qcs *qcs = sd->se;
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002052 struct qcc *qcc = qcs->qcc;
2053
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002054 TRACE_ENTER(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002055
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002056 /* TODO this BUG_ON_HOT() is not correct as the stconn layer may detach
2057 * from the stream even if it is not closed remotely at the QUIC layer.
2058 * This happens for example when a stream must be closed due to a
2059 * rejected request. To better handle these cases, it will be required
2060 * to implement shutr/shutw MUX operations. Once this is done, this
2061 * BUG_ON_HOT() statement can be adjusted.
2062 */
2063 //BUG_ON_HOT(!qcs_is_close_remote(qcs));
Amaury Denoyellec603de42022-07-25 11:21:46 +02002064
2065 qcc_rm_sc(qcc);
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002066
Amaury Denoyelle20d1f842022-07-11 11:23:17 +02002067 if (!qcs_is_close_local(qcs) && !(qcc->conn->flags & CO_FL_ERROR)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002068 TRACE_STATE("remaining data, detaching qcs", QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002069 qcs->flags |= QC_SF_DETACH;
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002070 qcc_refresh_timeout(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002071
2072 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn, qcs);
Amaury Denoyelle2873a312021-12-08 14:42:55 +01002073 return;
2074 }
2075
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002076 qcs_destroy(qcs);
Amaury Denoyelle1136e922022-02-01 10:33:09 +01002077
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002078 if (qcc_is_dead(qcc)) {
Amaury Denoyelle047d86a2022-08-10 16:42:35 +02002079 TRACE_STATE("killing dead connection", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002080 goto release;
Amaury Denoyelle06890aa2022-04-04 16:15:06 +02002081 }
Amaury Denoyellea3daaec2022-04-21 16:29:27 +02002082 else if (qcc->task) {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002083 TRACE_DEVEL("refreshing connection's timeout", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002084 qcc_refresh_timeout(qcc);
Amaury Denoyelle916f0ac2021-12-06 16:03:47 +01002085 }
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002086 else {
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002087 TRACE_DEVEL("completed", QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002088 }
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002089
2090 TRACE_LEAVE(QMUX_EV_STRM_END, qcc->conn);
Amaury Denoyelle35a66c02022-08-12 15:56:21 +02002091 return;
2092
2093 release:
2094 qc_release(qcc);
2095 TRACE_LEAVE(QMUX_EV_STRM_END);
2096 return;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002097}
2098
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002099/* Called from the upper layer, to receive data */
Willy Tarreau3215e732022-05-27 10:09:11 +02002100static size_t qc_rcv_buf(struct stconn *sc, struct buffer *buf,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002101 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002102{
Willy Tarreau3215e732022-05-27 10:09:11 +02002103 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002104 size_t ret = 0;
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002105 char fin = 0;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002106
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002107 TRACE_ENTER(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002108
Amaury Denoyelled80fbca2022-09-19 17:02:28 +02002109 ret = qcs_http_rcv_buf(qcs, buf, count, &fin);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002110
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002111 if (b_data(&qcs->rx.app_buf)) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002112 se_fl_set(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002113 }
2114 else {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002115 se_fl_clr(qcs->sd, SE_FL_RCV_MORE | SE_FL_WANT_ROOM);
2116 if (se_fl_test(qcs->sd, SE_FL_ERR_PENDING))
2117 se_fl_set(qcs->sd, SE_FL_ERROR);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002118
Amaury Denoyelle72a78e82022-07-29 15:34:12 +02002119 /* Set end-of-input if FIN received and all data extracted. */
Amaury Denoyelleeb53e5b2022-02-14 17:11:32 +01002120 if (fin)
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002121 se_fl_set(qcs->sd, SE_FL_EOI);
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002122
2123 if (b_size(&qcs->rx.app_buf)) {
2124 b_free(&qcs->rx.app_buf);
2125 offer_buffers(NULL, 1);
2126 }
2127 }
2128
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002129 if (ret) {
2130 qcs->flags &= ~QC_SF_DEM_FULL;
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002131 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +02002132 }
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002133
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002134 TRACE_LEAVE(QMUX_EV_STRM_RECV, qcs->qcc->conn, qcs);
2135
Amaury Denoyelle9a327a72022-02-14 17:11:09 +01002136 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002137}
2138
Willy Tarreau3215e732022-05-27 10:09:11 +02002139static size_t qc_snd_buf(struct stconn *sc, struct buffer *buf,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002140 size_t count, int flags)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002141{
Willy Tarreau3215e732022-05-27 10:09:11 +02002142 struct qcs *qcs = __sc_mux_strm(sc);
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002143 size_t ret;
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002144 char fin;
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002145
2146 TRACE_ENTER(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002147
Amaury Denoyelle3dc4e5a2022-09-13 16:49:21 +02002148 /* stream layer has been detached so no transfer must occur after. */
2149 BUG_ON_HOT(qcs->flags & QC_SF_DETACH);
2150
Amaury Denoyelle843a1192022-07-04 11:44:38 +02002151 if (qcs_is_close_local(qcs) || (qcs->flags & QC_SF_TO_RESET)) {
Amaury Denoyelle0ed617a2022-09-20 14:46:40 +02002152 ret = qcs_http_reset_buf(qcs, buf, count);
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002153 goto end;
2154 }
2155
Amaury Denoyelle9534e592022-09-19 17:14:27 +02002156 ret = qcs_http_snd_buf(qcs, buf, count, &fin);
2157 if (fin)
2158 qcs->flags |= QC_SF_FIN_STREAM;
2159
2160 if (ret) {
2161 if (!(qcs->qcc->wait_event.events & SUB_RETRY_SEND))
2162 tasklet_wakeup(qcs->qcc->wait_event.tasklet);
2163 }
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002164
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002165 end:
Amaury Denoyelle4f137572022-03-24 17:10:00 +01002166 TRACE_LEAVE(QMUX_EV_STRM_SEND, qcs->qcc->conn, qcs);
2167
2168 return ret;
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002169}
2170
2171/* Called from the upper layer, to subscribe <es> to events <event_type>. The
2172 * event subscriber <es> is not allowed to change from a previous call as long
2173 * as at least one event is still subscribed. The <event_type> must only be a
2174 * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0.
2175 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002176static int qc_subscribe(struct stconn *sc, int event_type,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002177 struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002178{
Willy Tarreau3215e732022-05-27 10:09:11 +02002179 return qcs_subscribe(__sc_mux_strm(sc), event_type, es);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002180}
2181
2182/* Called from the upper layer, to unsubscribe <es> from events <event_type>.
2183 * The <es> pointer is not allowed to differ from the one passed to the
2184 * subscribe() call. It always returns zero.
2185 */
Willy Tarreau3215e732022-05-27 10:09:11 +02002186static int qc_unsubscribe(struct stconn *sc, int event_type, struct wait_event *es)
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002187{
Willy Tarreau3215e732022-05-27 10:09:11 +02002188 struct qcs *qcs = __sc_mux_strm(sc);
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002189
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002190 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
2191 BUG_ON(qcs->subs && qcs->subs != es);
2192
2193 es->events &= ~event_type;
2194 if (!es->events)
2195 qcs->subs = NULL;
2196
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002197 return 0;
2198}
2199
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002200/* Loop through all qcs from <qcc>. If CO_FL_ERROR is set on the connection,
Willy Tarreau4596fe22022-05-17 19:07:51 +02002201 * report SE_FL_ERR_PENDING|SE_FL_ERROR on the attached stream connectors and
2202 * wake them.
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002203 */
2204static int qc_wake_some_streams(struct qcc *qcc)
2205{
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002206 struct qcs *qcs;
2207 struct eb64_node *node;
2208
2209 for (node = eb64_first(&qcc->streams_by_id); node;
2210 node = eb64_next(node)) {
Amaury Denoyellee4301da2022-04-19 17:59:50 +02002211 qcs = eb64_entry(node, struct qcs, by_id);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002212
Amaury Denoyelle3abeb572022-07-04 11:42:27 +02002213 if (!qcs_sc(qcs))
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002214 continue;
2215
2216 if (qcc->conn->flags & CO_FL_ERROR) {
Willy Tarreaud7b7e0d2022-05-27 16:09:35 +02002217 se_fl_set(qcs->sd, SE_FL_ERR_PENDING);
2218 if (se_fl_test(qcs->sd, SE_FL_EOS))
2219 se_fl_set(qcs->sd, SE_FL_ERROR);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002220
Amaury Denoyelle4561f842022-07-06 14:54:34 +02002221 qcs_alert(qcs);
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002222 }
2223 }
2224
2225 return 0;
2226}
2227
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002228static int qc_wake(struct connection *conn)
2229{
2230 struct qcc *qcc = conn->ctx;
Willy Tarreau784b8682022-04-11 14:18:10 +02002231 struct proxy *prx = conn->handle.qc->li->bind_conf->frontend;
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002232
2233 TRACE_ENTER(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002234
2235 /* Check if a soft-stop is in progress.
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002236 *
cui flitera94bedc2022-08-29 14:42:57 +08002237 * TODO this is relevant for frontend connections only.
Amaury Denoyelled0c62322022-05-23 08:52:58 +02002238 *
2239 * TODO Client should be notified with a H3 GOAWAY and then a
2240 * CONNECTION_CLOSE. However, quic-conn uses the listener socket for
2241 * sending which at this stage is already closed.
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002242 */
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002243 if (unlikely(prx->flags & (PR_FL_DISABLED|PR_FL_STOPPED)))
Amaury Denoyelled0c62322022-05-23 08:52:58 +02002244 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002245
Willy Tarreau784b8682022-04-11 14:18:10 +02002246 if (conn->handle.qc->flags & QUIC_FL_CONN_NOTIFY_CLOSE)
Amaury Denoyelleb515b0a2022-04-06 10:28:43 +02002247 qcc->conn->flags |= (CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH);
2248
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002249 qc_send(qcc);
2250
Amaury Denoyellefe035ec2022-04-06 15:46:30 +02002251 qc_wake_some_streams(qcc);
2252
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002253 if (qcc_is_dead(qcc))
2254 goto release;
2255
Amaury Denoyelle5fc05d12022-07-25 14:58:48 +02002256 qcc_refresh_timeout(qcc);
2257
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002258 TRACE_LEAVE(QMUX_EV_QCC_WAKE, conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002259 return 0;
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002260
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002261 release:
Amaury Denoyelle4c9a1642022-08-10 16:58:01 +02002262 TRACE_STATE("releasing dead connection", QMUX_EV_QCC_WAKE, qcc->conn);
Amaury Denoyelled97fc802022-04-06 16:13:09 +02002263 qc_release(qcc);
Amaury Denoyellef0b67f92022-08-10 16:14:32 +02002264 TRACE_LEAVE(QMUX_EV_QCC_WAKE);
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002265 return 1;
2266}
2267
Amaury Denoyelle38e60062022-07-01 16:48:42 +02002268
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002269/* for debugging with CLI's "show sess" command. May emit multiple lines, each
2270 * new one being prefixed with <pfx>, if <pfx> is not NULL, otherwise a single
2271 * line is used. Each field starts with a space so it's safe to print it after
2272 * existing fields.
2273 */
2274static int qc_show_sd(struct buffer *msg, struct sedesc *sd, const char *pfx)
2275{
2276 struct qcs *qcs = sd->se;
2277 struct qcc *qcc;
2278 int ret = 0;
2279
2280 if (!qcs)
2281 return ret;
2282
2283 chunk_appendf(msg, " qcs=%p .flg=%#x .id=%llu .st=%s .ctx=%p, .err=%#llx",
2284 qcs, qcs->flags, (ull)qcs->id, qcs_st_to_str(qcs->st), qcs->ctx, (ull)qcs->err);
2285
2286 if (pfx)
2287 chunk_appendf(msg, "\n%s", pfx);
2288
2289 qcc = qcs->qcc;
2290 chunk_appendf(msg, " qcc=%p .flg=%#x .nbsc=%llu .nbhreq=%llu, .task=%p",
2291 qcc, qcc->flags, (ull)qcc->nb_sc, (ull)qcc->nb_hreq, qcc->task);
2292 return ret;
2293}
2294
2295
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002296static const struct mux_ops qc_ops = {
2297 .init = qc_init,
Amaury Denoyelle2461bd52022-04-13 16:54:52 +02002298 .destroy = qc_destroy,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002299 .detach = qc_detach,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002300 .rcv_buf = qc_rcv_buf,
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002301 .snd_buf = qc_snd_buf,
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002302 .subscribe = qc_subscribe,
2303 .unsubscribe = qc_unsubscribe,
Amaury Denoyelle0e0969d2022-01-31 15:41:14 +01002304 .wake = qc_wake,
Willy Tarreaub4a4fee2022-09-02 16:00:40 +02002305 .show_sd = qc_show_sd,
Willy Tarreaub5821e12022-04-26 11:54:08 +02002306 .flags = MX_FL_HTX|MX_FL_NO_UPG|MX_FL_FRAMED,
Willy Tarreau671bd5a2022-04-11 09:29:21 +02002307 .name = "QUIC",
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002308};
2309
2310static struct mux_proto_list mux_proto_quic =
Amaury Denoyelledeed7772021-12-03 11:36:46 +01002311 { .token = IST("quic"), .mode = PROTO_MODE_HTTP, .side = PROTO_SIDE_FE, .mux = &qc_ops };
Frédéric Lécailledfbae762021-02-18 09:59:01 +01002312
2313INITCALL1(STG_REGISTER, register_mux_proto, &mux_proto_quic);