blob: d51e35ff8eb2a977969c3c3b0ff492323888e148 [file] [log] [blame]
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001/*
2 * HTTP/3 protocol processing
3 *
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public
6 * License as published by the Free Software Foundation, version 2.1
7 * exclusively.
8 *
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
13 *
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, write to the Free Software
16 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
17 */
18
Amaury Denoyelle5c25dc52022-09-30 17:44:15 +020019#include <import/ist.h>
20
21#include <haproxy/api.h>
Frédéric Lécailleccac11f2021-03-03 16:09:02 +010022#include <haproxy/buf.h>
Amaury Denoyelle5c25dc52022-09-30 17:44:15 +020023#include <haproxy/chunk.h>
Amaury Denoyelle99043552021-08-24 15:36:02 +020024#include <haproxy/connection.h>
Frédéric Lécailleccac11f2021-03-03 16:09:02 +010025#include <haproxy/dynbuf.h>
26#include <haproxy/h3.h>
Frédéric Lécaille6f7607e2022-05-25 22:25:37 +020027#include <haproxy/h3_stats.h>
Amaury Denoyelleb49fa1a2021-08-24 15:30:12 +020028#include <haproxy/http.h>
Amaury Denoyelle5c25dc52022-09-30 17:44:15 +020029#include <haproxy/http-hdr-t.h>
Amaury Denoyelle115ccce2022-08-17 18:02:47 +020030#include <haproxy/http_htx.h>
Amaury Denoyelleb49fa1a2021-08-24 15:30:12 +020031#include <haproxy/htx.h>
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +020032#include <haproxy/intops.h>
Frédéric Lécailleccac11f2021-03-03 16:09:02 +010033#include <haproxy/istbuf.h>
Amaury Denoyelle846cc042022-04-04 16:13:44 +020034#include <haproxy/mux_quic.h>
Frédéric Lécailleccac11f2021-03-03 16:09:02 +010035#include <haproxy/pool.h>
36#include <haproxy/qpack-dec.h>
Amaury Denoyelle15b09612021-08-24 16:20:27 +020037#include <haproxy/qpack-enc.h>
Amaury Denoyelle92fa63f2022-09-30 18:11:13 +020038#include <haproxy/quic_conn-t.h>
Amaury Denoyelle15b09612021-08-24 16:20:27 +020039#include <haproxy/quic_enc.h>
Amaury Denoyelle5c25dc52022-09-30 17:44:15 +020040#include <haproxy/stats-t.h>
Frédéric Lécailleccac11f2021-03-03 16:09:02 +010041#include <haproxy/tools.h>
Amaury Denoyelle016aa932022-05-30 15:49:36 +020042#include <haproxy/trace.h>
Frédéric Lécailleccac11f2021-03-03 16:09:02 +010043
Amaury Denoyelle016aa932022-05-30 15:49:36 +020044/* trace source and events */
45static void h3_trace(enum trace_level level, uint64_t mask,
46 const struct trace_source *src,
47 const struct ist where, const struct ist func,
48 const void *a1, const void *a2, const void *a3, const void *a4);
49
50static const struct trace_event h3_trace_events[] = {
Amaury Denoyelle494512d2022-05-30 15:50:34 +020051#define H3_EV_RX_FRAME (1ULL << 0)
52 { .mask = H3_EV_RX_FRAME, .name = "rx_frame", .desc = "receipt of any H3 frame" },
53#define H3_EV_RX_DATA (1ULL << 1)
54 { .mask = H3_EV_RX_DATA, .name = "rx_data", .desc = "receipt of H3 DATA frame" },
55#define H3_EV_RX_HDR (1ULL << 2)
56 { .mask = H3_EV_RX_HDR, .name = "rx_hdr", .desc = "receipt of H3 HEADERS frame" },
57#define H3_EV_RX_SETTINGS (1ULL << 3)
58 { .mask = H3_EV_RX_SETTINGS, .name = "rx_settings", .desc = "receipt of H3 SETTINGS frame" },
Amaury Denoyellea717eb72022-05-30 15:51:01 +020059#define H3_EV_TX_DATA (1ULL << 4)
60 { .mask = H3_EV_TX_DATA, .name = "tx_data", .desc = "transmission of H3 DATA frame" },
61#define H3_EV_TX_HDR (1ULL << 5)
62 { .mask = H3_EV_TX_HDR, .name = "tx_hdr", .desc = "transmission of H3 HEADERS frame" },
63#define H3_EV_TX_SETTINGS (1ULL << 6)
64 { .mask = H3_EV_TX_SETTINGS, .name = "tx_settings", .desc = "transmission of H3 SETTINGS frame" },
Amaury Denoyelled5581d52022-05-30 15:51:31 +020065#define H3_EV_H3S_NEW (1ULL << 7)
66 { .mask = H3_EV_H3S_NEW, .name = "h3s_new", .desc = "new H3 stream" },
67#define H3_EV_H3S_END (1ULL << 8)
68 { .mask = H3_EV_H3S_END, .name = "h3s_end", .desc = "H3 stream terminated" },
Amaury Denoyelle016aa932022-05-30 15:49:36 +020069 { }
70};
71
72static const struct name_desc h3_trace_lockon_args[4] = {
73 /* arg1 */ { /* already used by the connection */ },
74 /* arg2 */ { .name="qcs", .desc="QUIC stream" },
75 /* arg3 */ { },
76 /* arg4 */ { }
77};
78
79static const struct name_desc h3_trace_decoding[] = {
80#define H3_VERB_CLEAN 1
81 { .name="clean", .desc="only user-friendly stuff, generally suitable for level \"user\"" },
82#define H3_VERB_MINIMAL 2
83 { .name="minimal", .desc="report only qcc/qcs state and flags, no real decoding" },
84 { /* end */ }
85};
86
87struct trace_source trace_h3 = {
88 .name = IST("h3"),
89 .desc = "HTTP/3 transcoder",
90 .arg_def = TRC_ARG1_CONN, /* TRACE()'s first argument is always a connection */
91 .default_cb = h3_trace,
92 .known_events = h3_trace_events,
93 .lockon_args = h3_trace_lockon_args,
94 .decoding = h3_trace_decoding,
95 .report_events = ~0, /* report everything by default */
96};
97
98#define TRACE_SOURCE &trace_h3
99INITCALL1(STG_REGISTER, trace_register_source, TRACE_SOURCE);
100
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100101#if defined(DEBUG_H3)
102#define h3_debug_printf fprintf
103#define h3_debug_hexdump debug_hexdump
104#else
105#define h3_debug_printf(...) do { } while (0)
106#define h3_debug_hexdump(...) do { } while (0)
107#endif
108
Amaury Denoyelle302ecd42022-05-24 15:24:32 +0200109#define H3_CF_SETTINGS_SENT 0x00000001 /* SETTINGS frame already sent on local control stream */
110#define H3_CF_SETTINGS_RECV 0x00000002 /* SETTINGS frame already received on remote control stream */
111#define H3_CF_UNI_CTRL_SET 0x00000004 /* Remote H3 Control stream opened */
112#define H3_CF_UNI_QPACK_DEC_SET 0x00000008 /* Remote QPACK decoder stream opened */
113#define H3_CF_UNI_QPACK_ENC_SET 0x00000010 /* Remote QPACK encoder stream opened */
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100114
115/* Default settings */
Amaury Denoyelle33949392021-08-24 15:16:58 +0200116static uint64_t h3_settings_qpack_max_table_capacity = 0;
117static uint64_t h3_settings_qpack_blocked_streams = 4096;
118static uint64_t h3_settings_max_field_section_size = QUIC_VARINT_8_BYTE_MAX; /* Unlimited */
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100119
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +0200120struct h3c {
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100121 struct qcc *qcc;
Amaury Denoyelled7010392022-07-13 15:17:29 +0200122 struct qcs *ctrl_strm; /* Control stream */
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100123 enum h3_err err;
124 uint32_t flags;
Amaury Denoyelle9cc47512022-05-24 16:27:41 +0200125
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100126 /* Settings */
127 uint64_t qpack_max_table_capacity;
128 uint64_t qpack_blocked_streams;
129 uint64_t max_field_section_size;
Amaury Denoyelle9cc47512022-05-24 16:27:41 +0200130
Amaury Denoyelle114c9c82022-03-28 14:53:45 +0200131 uint64_t id_goaway; /* stream ID used for a GOAWAY frame */
132
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100133 struct buffer_wait buf_wait; /* wait list for buffer allocations */
Frédéric Lécaille6f7607e2022-05-25 22:25:37 +0200134 /* Stats counters */
135 struct h3_counters *prx_counters;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100136};
137
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +0200138DECLARE_STATIC_POOL(pool_head_h3c, "h3c", sizeof(struct h3c));
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100139
Amaury Denoyelle35550642022-05-24 15:14:53 +0200140#define H3_SF_UNI_INIT 0x00000001 /* stream type not parsed for unidirectional stream */
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200141#define H3_SF_UNI_NO_H3 0x00000002 /* unidirectional stream does not carry H3 frames */
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100142#define H3_SF_HAVE_CLEN 0x00000004 /* content-length header is present */
Amaury Denoyelle35550642022-05-24 15:14:53 +0200143
Amaury Denoyelle67e92d32022-04-27 18:04:01 +0200144struct h3s {
Amaury Denoyellec0156792022-06-03 15:29:07 +0200145 struct h3c *h3c;
146
Amaury Denoyelle3236a8e2022-05-24 15:24:03 +0200147 enum h3s_t type;
Amaury Denoyelle8d818c62022-08-02 11:32:45 +0200148 enum h3s_st_req st_req; /* only used for request streams */
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200149 int demux_frame_len;
150 int demux_frame_type;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200151
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100152 unsigned long long body_len; /* known request body length from content-length header if present */
153 unsigned long long data_len; /* total length of all parsed DATA */
154
Amaury Denoyelle35550642022-05-24 15:14:53 +0200155 int flags;
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100156 int err; /* used for stream reset */
Amaury Denoyelle67e92d32022-04-27 18:04:01 +0200157};
158
159DECLARE_STATIC_POOL(pool_head_h3s, "h3s", sizeof(struct h3s));
160
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200161/* Initialize an uni-stream <qcs> by reading its type from <b>.
Amaury Denoyelle35550642022-05-24 15:14:53 +0200162 *
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200163 * Returns the count of consumed bytes or a negative error code.
Amaury Denoyelle35550642022-05-24 15:14:53 +0200164 */
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200165static ssize_t h3_init_uni_stream(struct h3c *h3c, struct qcs *qcs,
166 struct buffer *b)
Amaury Denoyelle35550642022-05-24 15:14:53 +0200167{
168 /* decode unidirectional stream type */
169 struct h3s *h3s = qcs->ctx;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200170 uint64_t type;
171 size_t len = 0, ret;
172
Amaury Denoyelled5581d52022-05-30 15:51:31 +0200173 TRACE_ENTER(H3_EV_H3S_NEW, qcs->qcc->conn, qcs);
174
Amaury Denoyelle35550642022-05-24 15:14:53 +0200175 BUG_ON_HOT(!quic_stream_is_uni(qcs->id) ||
176 h3s->flags & H3_SF_UNI_INIT);
177
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200178 ret = b_quic_dec_int(&type, b, &len);
Amaury Denoyelle35550642022-05-24 15:14:53 +0200179 if (!ret) {
180 ABORT_NOW();
181 }
182
183 switch (type) {
184 case H3_UNI_S_T_CTRL:
185 if (h3c->flags & H3_CF_UNI_CTRL_SET) {
Amaury Denoyelled666d742022-07-13 15:15:58 +0200186 qcc_emit_cc_app(qcs->qcc, H3_STREAM_CREATION_ERROR, 1);
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200187 return -1;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200188 }
189 h3c->flags |= H3_CF_UNI_CTRL_SET;
190 h3s->type = H3S_T_CTRL;
191 break;
192
193 case H3_UNI_S_T_PUSH:
194 /* TODO not supported for the moment */
195 h3s->type = H3S_T_PUSH;
196 break;
197
198 case H3_UNI_S_T_QPACK_DEC:
199 if (h3c->flags & H3_CF_UNI_QPACK_DEC_SET) {
Amaury Denoyelled666d742022-07-13 15:15:58 +0200200 qcc_emit_cc_app(qcs->qcc, H3_STREAM_CREATION_ERROR, 1);
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200201 return -1;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200202 }
203 h3c->flags |= H3_CF_UNI_QPACK_DEC_SET;
204 h3s->type = H3S_T_QPACK_DEC;
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200205 h3s->flags |= H3_SF_UNI_NO_H3;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200206 break;
207
208 case H3_UNI_S_T_QPACK_ENC:
209 if (h3c->flags & H3_CF_UNI_QPACK_ENC_SET) {
Amaury Denoyelled666d742022-07-13 15:15:58 +0200210 qcc_emit_cc_app(qcs->qcc, H3_STREAM_CREATION_ERROR, 1);
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200211 return -1;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200212 }
213 h3c->flags |= H3_CF_UNI_QPACK_ENC_SET;
214 h3s->type = H3S_T_QPACK_ENC;
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200215 h3s->flags |= H3_SF_UNI_NO_H3;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200216 break;
217
218 default:
Amaury Denoyelle849b24f2022-05-24 17:22:07 +0200219 /* draft-ietf-quic-http34 9. Extensions to HTTP/3
220 *
221 * Implementations MUST [...] abort reading on unidirectional
222 * streams that have unknown or unsupported types.
223 */
Amaury Denoyelle663e8722022-12-09 14:58:28 +0100224 qcc_abort_stream_read(qcs);
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200225 return -1;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200226 };
227
228 h3s->flags |= H3_SF_UNI_INIT;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200229
Amaury Denoyelled5581d52022-05-30 15:51:31 +0200230 TRACE_LEAVE(H3_EV_H3S_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200231 return len;
Amaury Denoyelle35550642022-05-24 15:14:53 +0200232}
233
Amaury Denoyelle26aa3992022-08-16 17:42:47 +0200234/* Parse a buffer <b> for a <qcs> uni-stream which does not contains H3 frames.
235 * This may be used for QPACK encoder/decoder streams for example. <fin> is set
236 * if this is the last frame of the stream.
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200237 *
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200238 * Returns the number of consumed bytes or a negative error code.
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200239 */
Amaury Denoyelle26aa3992022-08-16 17:42:47 +0200240static ssize_t h3_parse_uni_stream_no_h3(struct qcs *qcs, struct buffer *b, int fin)
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200241{
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200242 struct h3s *h3s = qcs->ctx;
243
244 BUG_ON_HOT(!quic_stream_is_uni(qcs->id) ||
245 !(h3s->flags & H3_SF_UNI_NO_H3));
246
247 switch (h3s->type) {
248 case H3S_T_QPACK_DEC:
Amaury Denoyelle26aa3992022-08-16 17:42:47 +0200249 if (qpack_decode_dec(b, fin, qcs))
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200250 return -1;
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200251 break;
252 case H3S_T_QPACK_ENC:
Amaury Denoyelle26aa3992022-08-16 17:42:47 +0200253 if (qpack_decode_enc(b, fin, qcs))
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200254 return -1;
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200255 break;
Amaury Denoyelle849b24f2022-05-24 17:22:07 +0200256 case H3S_T_UNKNOWN:
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200257 default:
Amaury Denoyelle849b24f2022-05-24 17:22:07 +0200258 /* Unknown stream should be flagged with QC_SF_READ_ABORTED. */
259 ABORT_NOW();
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200260 }
261
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200262 /* TODO adjust return code */
Amaury Denoyellefc99a692022-05-24 15:25:19 +0200263 return 0;
264}
265
Amaury Denoyelle88d5dd12022-05-31 11:44:52 +0200266/* Decode a H3 frame header from <rxbuf> buffer. The frame type is stored in
267 * <ftype> and length in <flen>.
268 *
269 * Returns the size of the H3 frame header. Note that the input buffer is not
270 * consumed.
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100271 */
272static inline size_t h3_decode_frm_header(uint64_t *ftype, uint64_t *flen,
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200273 struct buffer *b)
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100274{
275 size_t hlen;
276
277 hlen = 0;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200278 if (!b_quic_dec_int(ftype, b, &hlen) ||
279 !b_quic_dec_int(flen, b, &hlen)) {
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100280 return 0;
Amaury Denoyelle88d5dd12022-05-31 11:44:52 +0200281 }
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100282
283 return hlen;
284}
285
Amaury Denoyelle302ecd42022-05-24 15:24:32 +0200286/* Check if H3 frame of type <ftype> is valid when received on stream <qcs>.
287 *
288 * Returns a boolean. If false, a connection error H3_FRAME_UNEXPECTED should
289 * be reported.
290 */
291static int h3_is_frame_valid(struct h3c *h3c, struct qcs *qcs, uint64_t ftype)
292{
293 struct h3s *h3s = qcs->ctx;
294 const uint64_t id = qcs->id;
295
296 BUG_ON_HOT(h3s->type == H3S_T_UNKNOWN);
297
298 switch (ftype) {
299 case H3_FT_DATA:
Amaury Denoyelle8d818c62022-08-02 11:32:45 +0200300 return h3s->type != H3S_T_CTRL && (h3s->st_req == H3S_ST_REQ_HEADERS ||
301 h3s->st_req == H3S_ST_REQ_DATA);
302
Amaury Denoyelle302ecd42022-05-24 15:24:32 +0200303 case H3_FT_HEADERS:
Amaury Denoyelle8d818c62022-08-02 11:32:45 +0200304 return h3s->type != H3S_T_CTRL && h3s->st_req != H3S_ST_REQ_TRAILERS;
Amaury Denoyelle302ecd42022-05-24 15:24:32 +0200305
306 case H3_FT_CANCEL_PUSH:
307 case H3_FT_GOAWAY:
308 case H3_FT_MAX_PUSH_ID:
309 /* Only allowed for control stream. First frame of control
310 * stream MUST be SETTINGS.
311 */
312 return h3s->type == H3S_T_CTRL &&
313 (h3c->flags & H3_CF_SETTINGS_RECV);
314
315 case H3_FT_SETTINGS:
316 /* draft-ietf-quic-http34 7.2.4. SETTINGS
317 *
318 * If an endpoint receives a second SETTINGS frame on the control
319 * stream, the endpoint MUST respond with a connection error of type
320 * H3_FRAME_UNEXPECTED.
321 */
322 return h3s->type == H3S_T_CTRL &&
323 !(h3c->flags & H3_CF_SETTINGS_RECV);
324
325 case H3_FT_PUSH_PROMISE:
326 return h3s->type != H3S_T_CTRL &&
327 (id & QCS_ID_SRV_INTIATOR_BIT);
328
329 default:
330 /* draft-ietf-quic-http34 9. Extensions to HTTP/3
331 *
332 * Implementations MUST discard frames [...] that have unknown
333 * or unsupported types.
334 */
335 return h3s->type != H3S_T_CTRL || (h3c->flags & H3_CF_SETTINGS_RECV);
336 }
337}
338
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100339/* Check from stream <qcs> that length of all DATA frames does not exceed with
340 * a previously parsed content-length header. <fin> must be set for the last
341 * data of the stream so that length of DATA frames must be equal to the
342 * content-length.
343 *
344 * This must only be called for a stream with H3_SF_HAVE_CLEN flag.
345 *
346 * Return 0 on valid else non-zero.
347 */
348static int h3_check_body_size(struct qcs *qcs, int fin)
349{
350 struct h3s *h3s = qcs->ctx;
351 int ret = 0;
352 TRACE_ENTER(H3_EV_RX_FRAME, qcs->qcc->conn, qcs);
353
354 /* Reserved for streams with a previously parsed content-length header. */
355 BUG_ON(!(h3s->flags & H3_SF_HAVE_CLEN));
356
357 /* RFC 9114 4.1.2. Malformed Requests and Responses
358 *
359 * A request or response that is defined as having content when it
360 * contains a Content-Length header field (Section 8.6 of [HTTP]) is
361 * malformed if the value of the Content-Length header field does not
362 * equal the sum of the DATA frame lengths received.
363 *
364 * TODO for backend support
365 * A response that is
366 * defined as never having content, even when a Content-Length is
367 * present, can have a non-zero Content-Length header field even though
368 * no content is included in DATA frames.
369 */
370 if (h3s->data_len > h3s->body_len ||
371 (fin && h3s->data_len < h3s->body_len)) {
372 TRACE_ERROR("Content-length does not match DATA frame size", H3_EV_RX_FRAME|H3_EV_RX_DATA, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100373 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100374 ret = -1;
375 }
376
377 TRACE_LEAVE(H3_EV_RX_FRAME, qcs->qcc->conn, qcs);
378 return ret;
379}
380
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100381/* Parse from buffer <buf> a H3 HEADERS frame of length <len>. Data are copied
Willy Tarreau4596fe22022-05-17 19:07:51 +0200382 * in a local HTX buffer and transfer to the stream connector layer. <fin> must be
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100383 * set if this is the last data to transfer from this stream.
384 *
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100385 * Returns the number of consumed bytes or a negative error code. On error
386 * either the connection should be closed or the stream reset using codes
387 * provided in h3c.err / h3s.err.
Amaury Denoyelleb9ce14e2021-11-08 09:13:42 +0100388 */
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200389static ssize_t h3_headers_to_htx(struct qcs *qcs, const struct buffer *buf,
390 uint64_t len, char fin)
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100391{
Amaury Denoyelle2bc47862022-06-30 10:04:42 +0200392 struct h3s *h3s = qcs->ctx;
393 struct h3c *h3c = h3s->h3c;
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100394 struct buffer htx_buf = BUF_NULL;
395 struct buffer *tmp = get_trash_chunk();
Amaury Denoyelle7059ebc2021-12-08 15:51:04 +0100396 struct htx *htx = NULL;
Amaury Denoyelleb49fa1a2021-08-24 15:30:12 +0200397 struct htx_sl *sl;
Amaury Denoyellefd7cdc32021-08-24 15:13:20 +0200398 struct http_hdr list[global.tune.max_http_hdr];
Amaury Denoyelleb49fa1a2021-08-24 15:30:12 +0200399 unsigned int flags = HTX_SL_F_NONE;
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100400 struct ist meth = IST_NULL, path = IST_NULL;
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100401 struct ist scheme = IST_NULL, authority = IST_NULL;
Amaury Denoyelle2bc47862022-06-30 10:04:42 +0200402 int hdr_idx, ret;
Amaury Denoyelled6fb7a02022-12-07 14:31:42 +0100403 int cookie = -1, last_cookie = -1, i;
404
405 /* RFC 9114 4.1.2. Malformed Requests and Responses
406 *
407 * A malformed request or response is one that is an otherwise valid
408 * sequence of frames but is invalid due to:
409 * - the presence of prohibited fields or pseudo-header fields,
410 * - the absence of mandatory pseudo-header fields,
411 * - invalid values for pseudo-header fields,
412 * - pseudo-header fields after fields,
413 * - an invalid sequence of HTTP messages,
414 * - the inclusion of uppercase field names, or
415 * - the inclusion of invalid characters in field names or values.
416 *
417 * [...]
418 *
419 * Intermediaries that process HTTP requests or responses (i.e., any
420 * intermediary not acting as a tunnel) MUST NOT forward a malformed
421 * request or response. Malformed requests or responses that are
422 * detected MUST be treated as a stream error of type H3_MESSAGE_ERROR.
423 */
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100424
Amaury Denoyelle494512d2022-05-30 15:50:34 +0200425 TRACE_ENTER(H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
426
Amaury Denoyelle8d818c62022-08-02 11:32:45 +0200427 /* TODO support trailer parsing in this function */
428
Amaury Denoyelle30f23f52022-04-27 14:41:53 +0200429 /* TODO support buffer wrapping */
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200430 BUG_ON(b_head(buf) + len >= b_wrap(buf));
Amaury Denoyelle2bc47862022-06-30 10:04:42 +0200431 ret = qpack_decode_fs((const unsigned char *)b_head(buf), len, tmp,
432 list, sizeof(list) / sizeof(list[0]));
433 if (ret < 0) {
434 TRACE_ERROR("QPACK decoding error", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
435 h3c->err = -ret;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100436 len = -1;
437 goto out;
Amaury Denoyelle60ef19f2022-06-14 17:38:36 +0200438 }
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100439
440 qc_get_buf(qcs, &htx_buf);
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100441 BUG_ON(!b_size(&htx_buf)); /* TODO */
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100442 htx = htx_from_buf(&htx_buf);
443
444 /* first treat pseudo-header to build the start line */
445 hdr_idx = 0;
446 while (1) {
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100447 /* RFC 9114 4.3. HTTP Control Data
448 *
449 * Endpoints MUST treat a request or response that contains
450 * undefined or invalid pseudo-header fields as malformed.
451 *
452 * All pseudo-header fields MUST appear in the header section before
453 * regular header fields. Any request or response that contains a
454 * pseudo-header field that appears in a header section after a regular
455 * header field MUST be treated as malformed.
456 */
457
458 /* Stop at first non pseudo-header. */
459 if (!istmatch(list[hdr_idx].n, ist(":")))
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100460 break;
461
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100462 /* pseudo-header. Malformed name with uppercase character or
463 * invalid token will be rejected in the else clause.
464 */
465 if (isteq(list[hdr_idx].n, ist(":method"))) {
466 if (isttest(meth)) {
467 TRACE_ERROR("duplicated method pseudo-header", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100468 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100469 len = -1;
470 goto out;
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100471 }
472 meth = list[hdr_idx].v;
473 }
474 else if (isteq(list[hdr_idx].n, ist(":path"))) {
475 if (isttest(path)) {
476 TRACE_ERROR("duplicated path pseudo-header", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100477 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100478 len = -1;
479 goto out;
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100480 }
481 path = list[hdr_idx].v;
482 }
483 else if (isteq(list[hdr_idx].n, ist(":scheme"))) {
484 if (isttest(scheme)) {
485 /* duplicated pseudo-header */
486 TRACE_ERROR("duplicated scheme pseudo-header", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100487 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100488 len = -1;
489 goto out;
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100490 }
491 scheme = list[hdr_idx].v;
492 }
493 else if (isteq(list[hdr_idx].n, ist(":authority"))) {
494 if (isttest(authority)) {
495 TRACE_ERROR("duplicated authority pseudo-header", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100496 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100497 len = -1;
498 goto out;
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100499 }
500 authority = list[hdr_idx].v;
501 }
502 else {
503 TRACE_ERROR("unknown pseudo-header", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100504 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100505 len = -1;
506 goto out;
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100507 }
508
509 ++hdr_idx;
510 }
511
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100512 if (!istmatch(meth, ist("CONNECT"))) {
513 /* RFC 9114 4.3.1. Request Pseudo-Header Fields
514 *
515 * All HTTP/3 requests MUST include exactly one value for the :method,
516 * :scheme, and :path pseudo-header fields, unless the request is a
517 * CONNECT request; see Section 4.4.
518 */
519 if (!isttest(meth) || !isttest(scheme) || !isttest(path)) {
520 TRACE_ERROR("missing mandatory pseudo-header", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100521 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100522 len = -1;
523 goto out;
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100524 }
525 }
526
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100527 flags |= HTX_SL_F_VER_11;
Amaury Denoyelle0fa14a62022-04-26 16:24:39 +0200528 flags |= HTX_SL_F_XFER_LEN;
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100529
530 sl = htx_add_stline(htx, HTX_BLK_REQ_SL, flags, meth, path, ist("HTTP/3.0"));
Amaury Denoyelle2bc47862022-06-30 10:04:42 +0200531 if (!sl) {
532 h3c->err = H3_INTERNAL_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100533 len = -1;
534 goto out;
Amaury Denoyelle2bc47862022-06-30 10:04:42 +0200535 }
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100536
537 if (fin)
538 sl->flags |= HTX_SL_F_BODYLESS;
539
540 sl->info.req.meth = find_http_meth(meth.ptr, meth.len);
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100541
Amaury Denoyellec4913f62022-12-15 10:58:05 +0100542 if (isttest(authority)) {
543 if (!htx_add_header(htx, ist("host"), authority)) {
544 h3c->err = H3_INTERNAL_ERROR;
545 len = -1;
546 goto out;
547 }
548 }
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100549
550 /* now treat standard headers */
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100551 while (1) {
552 if (isteq(list[hdr_idx].n, ist("")))
553 break;
554
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100555 if (istmatch(list[hdr_idx].n, ist(":"))) {
556 TRACE_ERROR("pseudo-header field after fields", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100557 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100558 len = -1;
559 goto out;
Amaury Denoyelle7b5a6712022-12-07 14:33:26 +0100560 }
561
Amaury Denoyelled6fb7a02022-12-07 14:31:42 +0100562 for (i = 0; i < list[hdr_idx].n.len; ++i) {
563 const char c = list[hdr_idx].n.ptr[i];
564 if ((uint8_t)(c - 'A') < 'Z' - 'A' || !HTTP_IS_TOKEN(c)) {
565 TRACE_ERROR("invalid characters in field name", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100566 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100567 len = -1;
568 goto out;
Amaury Denoyelled6fb7a02022-12-07 14:31:42 +0100569 }
570 }
571
Amaury Denoyelle115ccce2022-08-17 18:02:47 +0200572 if (isteq(list[hdr_idx].n, ist("cookie"))) {
573 http_cookie_register(list, hdr_idx, &cookie, &last_cookie);
Amaury Denoyelle19942e32022-12-15 09:18:25 +0100574 ++hdr_idx;
Amaury Denoyelle115ccce2022-08-17 18:02:47 +0200575 continue;
576 }
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100577 else if (isteq(list[hdr_idx].n, ist("content-length"))) {
578 ret = http_parse_cont_len_header(&list[hdr_idx].v,
579 &h3s->body_len,
580 h3s->flags & H3_SF_HAVE_CLEN);
581 if (ret < 0) {
582 TRACE_ERROR("invalid content-length", H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100583 h3s->err = H3_MESSAGE_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100584 len = -1;
585 goto out;
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100586 }
587 else if (!ret) {
588 /* Skip duplicated value. */
589 ++hdr_idx;
590 continue;
591 }
592
593 h3s->flags |= H3_SF_HAVE_CLEN;
594 /* This will fail if current frame is the last one and
595 * content-length is not null.
596 */
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100597 if (h3_check_body_size(qcs, fin)) {
598 len = -1;
599 goto out;
600 }
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100601 }
Amaury Denoyelle115ccce2022-08-17 18:02:47 +0200602
Amaury Denoyellec4913f62022-12-15 10:58:05 +0100603 if (!htx_add_header(htx, list[hdr_idx].n, list[hdr_idx].v)) {
604 h3c->err = H3_INTERNAL_ERROR;
605 len = -1;
606 goto out;
607 }
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100608 ++hdr_idx;
609 }
610
Amaury Denoyelle115ccce2022-08-17 18:02:47 +0200611 if (cookie >= 0) {
612 if (http_cookie_merge(htx, list, cookie)) {
613 h3c->err = H3_INTERNAL_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100614 len = -1;
615 goto out;
Amaury Denoyelle115ccce2022-08-17 18:02:47 +0200616 }
617 }
618
Amaury Denoyellec4913f62022-12-15 10:58:05 +0100619 if (!htx_add_endof(htx, HTX_BLK_EOH)) {
620 h3c->err = H3_INTERNAL_ERROR;
621 len = -1;
622 goto out;
623 }
624
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100625 if (fin)
626 htx->flags |= HTX_FL_EOM;
627
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100628 htx_to_buf(htx, &htx_buf);
629 htx = NULL;
630
Amaury Denoyelle2bc47862022-06-30 10:04:42 +0200631 if (!qc_attach_sc(qcs, &htx_buf)) {
632 h3c->err = H3_INTERNAL_ERROR;
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100633 len = -1;
634 goto out;
Amaury Denoyelle2bc47862022-06-30 10:04:42 +0200635 }
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100636
Amaury Denoyelle114c9c82022-03-28 14:53:45 +0200637 /* RFC 9114 5.2. Connection Shutdown
638 *
639 * The GOAWAY frame contains an identifier that
640 * indicates to the receiver the range of requests or pushes that were
641 * or might be processed in this connection. The server sends a client-
642 * initiated bidirectional stream ID; the client sends a push ID.
643 * Requests or pushes with the indicated identifier or greater are
644 * rejected (Section 4.1.1) by the sender of the GOAWAY. This
645 * identifier MAY be zero if no requests or pushes were processed.
646 */
647 if (qcs->id >= h3c->id_goaway)
648 h3c->id_goaway = qcs->id + 4;
649
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100650 out:
651 /* HTX may be non NULL if error before previous htx_to_buf(). */
652 if (htx)
653 htx_to_buf(htx, &htx_buf);
654
Willy Tarreau4596fe22022-05-17 19:07:51 +0200655 /* buffer is transferred to the stream connector and set to NULL
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100656 * except on stream creation error.
657 */
Amaury Denoyelle788fc052022-12-15 10:53:55 +0100658 if (b_size(&htx_buf)) {
659 b_free(&htx_buf);
660 offer_buffers(NULL, 1);
661 }
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100662
Amaury Denoyelle494512d2022-05-30 15:50:34 +0200663 TRACE_LEAVE(H3_EV_RX_FRAME|H3_EV_RX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle314578a2022-04-27 14:52:52 +0200664 return len;
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100665}
666
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100667/* Copy from buffer <buf> a H3 DATA frame of length <len> in QUIC stream <qcs>
668 * HTX buffer. <fin> must be set if this is the last data to transfer from this
669 * stream.
670 *
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200671 * Returns the number of consumed bytes or a negative error code.
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100672 */
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200673static ssize_t h3_data_to_htx(struct qcs *qcs, const struct buffer *buf,
674 uint64_t len, char fin)
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100675{
676 struct buffer *appbuf;
677 struct htx *htx = NULL;
Amaury Denoyelle1290f1e2022-05-13 14:49:05 +0200678 size_t htx_sent = 0;
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100679 int htx_space;
Amaury Denoyelle30f23f52022-04-27 14:41:53 +0200680 char *head;
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100681
Amaury Denoyelle494512d2022-05-30 15:50:34 +0200682 TRACE_ENTER(H3_EV_RX_FRAME|H3_EV_RX_DATA, qcs->qcc->conn, qcs);
683
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100684 appbuf = qc_get_buf(qcs, &qcs->rx.app_buf);
685 BUG_ON(!appbuf);
686 htx = htx_from_buf(appbuf);
687
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200688 if (len > b_data(buf)) {
689 len = b_data(buf);
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200690 fin = 0;
691 }
692
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200693 head = b_head(buf);
Amaury Denoyelle30f23f52022-04-27 14:41:53 +0200694 retry:
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100695 htx_space = htx_free_data_space(htx);
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +0200696 if (!htx_space) {
697 qcs->flags |= QC_SF_DEM_FULL;
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200698 goto out;
Amaury Denoyellef1fc0b32022-05-02 11:07:06 +0200699 }
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200700
701 if (len > htx_space) {
702 len = htx_space;
703 fin = 0;
Amaury Denoyelleff191de2022-02-21 18:38:29 +0100704 }
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100705
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200706 if (head + len > b_wrap(buf)) {
707 size_t contig = b_wrap(buf) - head;
708 htx_sent = htx_add_data(htx, ist2(b_head(buf), contig));
Amaury Denoyelle73d6ffe2022-05-16 13:54:31 +0200709 if (htx_sent < contig) {
710 qcs->flags |= QC_SF_DEM_FULL;
711 goto out;
712 }
713
Amaury Denoyelle30f23f52022-04-27 14:41:53 +0200714 len -= contig;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200715 head = b_orig(buf);
Amaury Denoyelle30f23f52022-04-27 14:41:53 +0200716 goto retry;
Amaury Denoyelleff191de2022-02-21 18:38:29 +0100717 }
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100718
Amaury Denoyelle30f23f52022-04-27 14:41:53 +0200719 htx_sent += htx_add_data(htx, ist2(head, len));
Amaury Denoyelle73d6ffe2022-05-16 13:54:31 +0200720 if (htx_sent < len) {
721 qcs->flags |= QC_SF_DEM_FULL;
722 goto out;
723 }
Amaury Denoyelle30f23f52022-04-27 14:41:53 +0200724
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200725 if (fin && len == htx_sent)
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100726 htx->flags |= HTX_FL_EOM;
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100727
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200728 out:
729 htx_to_buf(htx, appbuf);
Amaury Denoyelle494512d2022-05-30 15:50:34 +0200730
731 TRACE_LEAVE(H3_EV_RX_FRAME|H3_EV_RX_DATA, qcs->qcc->conn, qcs);
Amaury Denoyelle314578a2022-04-27 14:52:52 +0200732 return htx_sent;
Amaury Denoyelle91379f72022-02-14 17:14:59 +0100733}
734
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200735/* Parse a SETTINGS frame of length <len> of payload <buf>.
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200736 *
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200737 * Returns the number of consumed bytes or a negative error code.
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200738 */
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200739static ssize_t h3_parse_settings_frm(struct h3c *h3c, const struct buffer *buf,
740 size_t len)
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200741{
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200742 struct buffer b;
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200743 uint64_t id, value;
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200744 size_t ret = 0;
745 long mask = 0; /* used to detect duplicated settings identifier */
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200746
Amaury Denoyelle494512d2022-05-30 15:50:34 +0200747 TRACE_ENTER(H3_EV_RX_FRAME|H3_EV_RX_SETTINGS, h3c->qcc->conn);
748
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200749 /* Work on a copy of <buf>. */
Amaury Denoyelle3a2fcfd2022-06-09 11:54:38 +0200750 b = b_make(b_orig(buf), b_size(buf), b_head_ofs(buf), len);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200751
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200752 while (b_data(&b)) {
753 if (!b_quic_dec_int(&id, &b, &ret) || !b_quic_dec_int(&value, &b, &ret)) {
754 h3c->err = H3_FRAME_ERROR;
755 return -1;
756 }
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200757
758 h3_debug_printf(stderr, "%s id: %llu value: %llu\n",
759 __func__, (unsigned long long)id, (unsigned long long)value);
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200760
761 /* draft-ietf-quic-http34 7.2.4. SETTINGS
762 *
763 * The same setting identifier MUST NOT occur more than once in the
764 * SETTINGS frame. A receiver MAY treat the presence of duplicate
765 * setting identifiers as a connection error of type H3_SETTINGS_ERROR.
766 */
767
768 /* Ignore duplicate check for ID too big used for GREASE. */
769 if (id < sizeof(mask)) {
770 if (ha_bit_test(id, &mask)) {
771 h3c->err = H3_SETTINGS_ERROR;
772 return -1;
773 }
774 ha_bit_set(id, &mask);
775 }
776
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200777 switch (id) {
778 case H3_SETTINGS_QPACK_MAX_TABLE_CAPACITY:
779 h3c->qpack_max_table_capacity = value;
780 break;
781 case H3_SETTINGS_MAX_FIELD_SECTION_SIZE:
782 h3c->max_field_section_size = value;
783 break;
784 case H3_SETTINGS_QPACK_BLOCKED_STREAMS:
785 h3c->qpack_blocked_streams = value;
786 break;
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200787
788 case H3_SETTINGS_RESERVED_0:
789 case H3_SETTINGS_RESERVED_2:
790 case H3_SETTINGS_RESERVED_3:
791 case H3_SETTINGS_RESERVED_4:
792 case H3_SETTINGS_RESERVED_5:
793 /* draft-ietf-quic-http34 7.2.4.1. Defined SETTINGS Parameters
794 *
795 * Setting identifiers which were defined in [HTTP2] where there is no
796 * corresponding HTTP/3 setting have also been reserved
797 * (Section 11.2.2). These reserved settings MUST NOT be sent, and
798 * their receipt MUST be treated as a connection error of type
799 * H3_SETTINGS_ERROR.
800 */
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200801 h3c->err = H3_SETTINGS_ERROR;
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200802 return -1;
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200803 default:
804 /* MUST be ignored */
805 break;
806 }
807 }
808
Frédéric Lécaillebefcf702022-09-08 16:04:55 +0200809 TRACE_LEAVE(H3_EV_RX_FRAME|H3_EV_RX_SETTINGS, h3c->qcc->conn);
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200810 return ret;
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200811}
812
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100813/* Decode <qcs> remotely initiated bidi-stream. <fin> must be set to indicate
814 * that we received the last data of the stream.
Amaury Denoyelle0ffd6e72022-05-24 11:07:28 +0200815 *
816 * Returns 0 on success else non-zero.
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100817 */
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200818static ssize_t h3_decode_qcs(struct qcs *qcs, struct buffer *b, int fin)
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100819{
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200820 struct h3s *h3s = qcs->ctx;
Amaury Denoyellec0156792022-06-03 15:29:07 +0200821 struct h3c *h3c = h3s->h3c;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200822 ssize_t total = 0, ret;
Amaury Denoyelle7b0f1222022-02-14 17:13:55 +0100823
Amaury Denoyellebb970422022-04-12 16:40:52 +0200824 h3_debug_printf(stderr, "%s: STREAM ID: %lu\n", __func__, qcs->id);
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200825 if (!b_data(b))
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100826 return 0;
827
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200828 if (quic_stream_is_uni(qcs->id) && !(h3s->flags & H3_SF_UNI_INIT)) {
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200829 if ((ret = h3_init_uni_stream(h3c, qcs, b)) < 0)
830 return -1;
831
832 total += ret;
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200833 }
834
835 if (quic_stream_is_uni(qcs->id) && (h3s->flags & H3_SF_UNI_NO_H3)) {
836 /* For non-h3 STREAM, parse it and return immediately. */
Amaury Denoyelle26aa3992022-08-16 17:42:47 +0200837 if ((ret = h3_parse_uni_stream_no_h3(qcs, b, fin)) < 0)
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200838 return -1;
839
840 total += ret;
841 return total;
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200842 }
843
Amaury Denoyelle6b02c6b2022-08-16 17:16:47 +0200844 /* RFC 9114 6.2.1. Control Streams
845 *
846 * The sender MUST NOT close the control stream, and the receiver MUST NOT
847 * request that the sender close the control stream. If either control
848 * stream is closed at any point, this MUST be treated as a connection
849 * error of type H3_CLOSED_CRITICAL_STREAM.
850 */
851 if (h3s->type == H3S_T_CTRL && fin) {
852 qcc_emit_cc_app(qcs->qcc, H3_CLOSED_CRITICAL_STREAM, 1);
853 return -1;
854 }
855
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100856 while (b_data(b) && !(qcs->flags & QC_SF_DEM_FULL) && !h3c->err && !h3s->err) {
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100857 uint64_t ftype, flen;
Amaury Denoyelle95b93a32022-02-14 15:49:53 +0100858 char last_stream_frame = 0;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100859
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200860 if (!h3s->demux_frame_len) {
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100861 /* Switch to a new frame. */
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200862 size_t hlen = h3_decode_frm_header(&ftype, &flen, b);
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200863 if (!hlen)
864 break;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100865
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200866 h3_debug_printf(stderr, "%s: ftype: %lu, flen: %lu\n",
867 __func__, ftype, flen);
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100868
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200869 h3s->demux_frame_type = ftype;
870 h3s->demux_frame_len = flen;
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200871 total += hlen;
Amaury Denoyelle417c7c02022-05-31 14:18:33 +0200872
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100873 /* Check that content-length is not exceeded on a new DATA frame. */
874 if (ftype == H3_FT_DATA) {
875 h3s->data_len += flen;
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100876 if (h3s->flags & H3_SF_HAVE_CLEN && h3_check_body_size(qcs, fin))
877 break;
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100878 }
879
Amaury Denoyelle417c7c02022-05-31 14:18:33 +0200880 if (!h3_is_frame_valid(h3c, qcs, ftype)) {
Amaury Denoyelled666d742022-07-13 15:15:58 +0200881 qcc_emit_cc_app(qcs->qcc, H3_FRAME_UNEXPECTED, 1);
Amaury Denoyelledca4c532022-06-07 18:24:34 +0200882 return -1;
Amaury Denoyelle417c7c02022-05-31 14:18:33 +0200883 }
884
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200885 if (!b_data(b))
Amaury Denoyelle417c7c02022-05-31 14:18:33 +0200886 break;
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200887 }
Amaury Denoyelle0484f922022-02-15 16:59:39 +0100888
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200889 flen = h3s->demux_frame_len;
890 ftype = h3s->demux_frame_type;
Amaury Denoyelle80097cc2022-05-24 11:13:46 +0200891
892 /* Do not demux incomplete frames except H3 DATA which can be
893 * fragmented in multiple HTX blocks.
894 */
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200895 if (flen > b_data(b) && ftype != H3_FT_DATA) {
Amaury Denoyelle80097cc2022-05-24 11:13:46 +0200896 /* Reject frames bigger than bufsize.
897 *
898 * TODO HEADERS should in complement be limited with H3
899 * SETTINGS_MAX_FIELD_SECTION_SIZE parameter to prevent
900 * excessive decompressed size.
901 */
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200902 if (flen > QC_S_RX_BUF_SZ) {
Amaury Denoyelled666d742022-07-13 15:15:58 +0200903 qcc_emit_cc_app(qcs->qcc, H3_EXCESSIVE_LOAD, 1);
Amaury Denoyelledca4c532022-06-07 18:24:34 +0200904 return -1;
Amaury Denoyelle80097cc2022-05-24 11:13:46 +0200905 }
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +0200906 break;
Amaury Denoyelleb5454d42022-05-12 16:56:16 +0200907 }
Amaury Denoyelle80097cc2022-05-24 11:13:46 +0200908
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100909 /* Check content-length equality with DATA frames length on the last frame. */
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100910 if (fin && h3s->flags & H3_SF_HAVE_CLEN && h3_check_body_size(qcs, fin))
911 break;
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +0100912
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200913 last_stream_frame = (fin && flen == b_data(b));
Amaury Denoyelle95b93a32022-02-14 15:49:53 +0100914
Frédéric Lécaille6f7607e2022-05-25 22:25:37 +0200915 h3_inc_frame_type_cnt(h3c->prx_counters, ftype);
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100916 switch (ftype) {
917 case H3_FT_DATA:
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200918 ret = h3_data_to_htx(qcs, b, flen, last_stream_frame);
Amaury Denoyelle8d818c62022-08-02 11:32:45 +0200919 h3s->st_req = H3S_ST_REQ_DATA;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100920 break;
921 case H3_FT_HEADERS:
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200922 ret = h3_headers_to_htx(qcs, b, flen, last_stream_frame);
Amaury Denoyelle8d818c62022-08-02 11:32:45 +0200923 h3s->st_req = (h3s->st_req == H3S_ST_REQ_BEFORE) ?
924 H3S_ST_REQ_HEADERS : H3S_ST_REQ_TRAILERS;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100925 break;
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200926 case H3_FT_CANCEL_PUSH:
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100927 case H3_FT_PUSH_PROMISE:
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200928 case H3_FT_MAX_PUSH_ID:
929 case H3_FT_GOAWAY:
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100930 /* Not supported */
Amaury Denoyelle80097cc2022-05-24 11:13:46 +0200931 ret = flen;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100932 break;
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200933 case H3_FT_SETTINGS:
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200934 ret = h3_parse_settings_frm(qcs->qcc->ctx, b, flen);
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200935 if (ret < 0) {
Amaury Denoyelled666d742022-07-13 15:15:58 +0200936 qcc_emit_cc_app(qcs->qcc, h3c->err, 1);
Amaury Denoyelledca4c532022-06-07 18:24:34 +0200937 return -1;
Amaury Denoyelle8c6176b2022-05-24 18:16:49 +0200938 }
939 h3c->flags |= H3_CF_SETTINGS_RECV;
Amaury Denoyellef8db5aa2022-05-24 15:26:07 +0200940 break;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100941 default:
Amaury Denoyelled1acaf92021-11-15 15:52:55 +0100942 /* draft-ietf-quic-http34 9. Extensions to HTTP/3
Amaury Denoyelle302ecd42022-05-24 15:24:32 +0200943 *
944 * Implementations MUST discard frames [...] that have unknown
945 * or unsupported types.
Amaury Denoyelled1acaf92021-11-15 15:52:55 +0100946 */
947 h3_debug_printf(stderr, "ignore unknown frame type 0x%lx\n", ftype);
Amaury Denoyelle80097cc2022-05-24 11:13:46 +0200948 ret = flen;
949 break;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100950 }
Amaury Denoyelle314578a2022-04-27 14:52:52 +0200951
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100952 if (ret > 0) {
Amaury Denoyelle291ee252022-05-02 10:35:39 +0200953 BUG_ON(h3s->demux_frame_len < ret);
954 h3s->demux_frame_len -= ret;
Amaury Denoyelle62eef852022-06-03 16:40:34 +0200955 b_del(b, ret);
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200956 total += ret;
Amaury Denoyelle291ee252022-05-02 10:35:39 +0200957 }
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100958 }
959
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +0100960 /* Interrupt decoding on stream/connection error detected. */
961 if (h3s->err) {
962 qcc_abort_stream_read(qcs);
963 qcc_reset_stream(qcs, h3s->err);
964 return b_data(b);
965 }
966 else if (h3c->err) {
967 qcc_emit_cc_app(qcs->qcc, h3c->err, 1);
968 return b_data(b);
969 }
970
Amaury Denoyelle03cc62c2022-04-27 16:53:16 +0200971 /* TODO may be useful to wakeup the MUX if blocked due to full buffer.
972 * However, currently, io-cb of MUX does not handle Rx.
973 */
974
Amaury Denoyelle1f21ebd2022-06-07 17:30:55 +0200975 return total;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100976}
977
Amaury Denoyellea5871362021-10-07 16:26:12 +0200978/* Returns buffer for data sending.
979 * May be NULL if the allocation failed.
980 */
981static struct buffer *mux_get_buf(struct qcs *qcs)
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100982{
Amaury Denoyellea5871362021-10-07 16:26:12 +0200983 if (!b_size(&qcs->tx.buf))
984 b_alloc(&qcs->tx.buf);
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100985
Amaury Denoyellea5871362021-10-07 16:26:12 +0200986 return &qcs->tx.buf;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100987}
988
Amaury Denoyelle6b923942022-05-23 14:25:53 +0200989/* Function used to emit stream data from <qcs> control uni-stream */
990static int h3_control_send(struct qcs *qcs, void *ctx)
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100991{
992 int ret;
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +0200993 struct h3c *h3c = ctx;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +0100994 unsigned char data[(2 + 3) * 2 * QUIC_VARINT_MAX_SIZE]; /* enough for 3 settings */
Amaury Denoyellea5871362021-10-07 16:26:12 +0200995 struct buffer pos, *res;
Amaury Denoyelle65df3ad2022-05-24 15:06:10 +0200996 size_t frm_len;
Amaury Denoyelle65df3ad2022-05-24 15:06:10 +0200997
Amaury Denoyellea717eb72022-05-30 15:51:01 +0200998 TRACE_ENTER(H3_EV_TX_SETTINGS, qcs->qcc->conn, qcs);
999
Amaury Denoyelle65df3ad2022-05-24 15:06:10 +02001000 BUG_ON_HOT(h3c->flags & H3_CF_SETTINGS_SENT);
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001001
1002 ret = 0;
Amaury Denoyellea5871362021-10-07 16:26:12 +02001003 pos = b_make((char *)data, sizeof(data), 0, 0);
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001004
Amaury Denoyelle65df3ad2022-05-24 15:06:10 +02001005 frm_len = quic_int_getsize(H3_SETTINGS_QPACK_MAX_TABLE_CAPACITY) +
1006 quic_int_getsize(h3_settings_qpack_max_table_capacity) +
1007 quic_int_getsize(H3_SETTINGS_QPACK_BLOCKED_STREAMS) +
1008 quic_int_getsize(h3_settings_qpack_blocked_streams);
1009 if (h3_settings_max_field_section_size) {
1010 frm_len += quic_int_getsize(H3_SETTINGS_MAX_FIELD_SECTION_SIZE) +
1011 quic_int_getsize(h3_settings_max_field_section_size);
1012 }
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001013
Amaury Denoyelle65df3ad2022-05-24 15:06:10 +02001014 b_quic_enc_int(&pos, H3_UNI_S_T_CTRL);
1015 /* Build a SETTINGS frame */
1016 b_quic_enc_int(&pos, H3_FT_SETTINGS);
1017 b_quic_enc_int(&pos, frm_len);
1018 b_quic_enc_int(&pos, H3_SETTINGS_QPACK_MAX_TABLE_CAPACITY);
1019 b_quic_enc_int(&pos, h3_settings_qpack_max_table_capacity);
1020 b_quic_enc_int(&pos, H3_SETTINGS_QPACK_BLOCKED_STREAMS);
1021 b_quic_enc_int(&pos, h3_settings_qpack_blocked_streams);
1022 if (h3_settings_max_field_section_size) {
1023 b_quic_enc_int(&pos, H3_SETTINGS_MAX_FIELD_SECTION_SIZE);
1024 b_quic_enc_int(&pos, h3_settings_max_field_section_size);
1025 }
Amaury Denoyellea5871362021-10-07 16:26:12 +02001026
Amaury Denoyelle65df3ad2022-05-24 15:06:10 +02001027 res = mux_get_buf(qcs);
1028 if (b_room(res) < b_data(&pos)) {
1029 // TODO the mux should be put in blocked state, with
1030 // the stream in state waiting for settings to be sent
1031 ABORT_NOW();
1032 }
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001033
Amaury Denoyelle65df3ad2022-05-24 15:06:10 +02001034 ret = b_force_xfer(res, &pos, b_data(&pos));
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001035 if (ret > 0) {
1036 /* Register qcs for sending before other streams. */
Amaury Denoyellef9b03262023-01-09 10:34:25 +01001037 qcc_send_stream(qcs, 1);
Amaury Denoyelle65df3ad2022-05-24 15:06:10 +02001038 h3c->flags |= H3_CF_SETTINGS_SENT;
Amaury Denoyelle20f2a422023-01-03 14:39:24 +01001039 }
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001040
Amaury Denoyellea717eb72022-05-30 15:51:01 +02001041 TRACE_LEAVE(H3_EV_TX_SETTINGS, qcs->qcc->conn, qcs);
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001042 return ret;
1043}
1044
Amaury Denoyelle15b09612021-08-24 16:20:27 +02001045static int h3_resp_headers_send(struct qcs *qcs, struct htx *htx)
1046{
1047 struct buffer outbuf;
1048 struct buffer headers_buf = BUF_NULL;
1049 struct buffer *res;
1050 struct http_hdr list[global.tune.max_http_hdr];
1051 struct htx_sl *sl;
1052 struct htx_blk *blk;
1053 enum htx_blk_type type;
1054 int frame_length_size; /* size in bytes of frame length varint field */
1055 int ret = 0;
1056 int hdr;
1057 int status = 0;
1058
Amaury Denoyellea717eb72022-05-30 15:51:01 +02001059 TRACE_ENTER(H3_EV_TX_HDR, qcs->qcc->conn, qcs);
1060
Amaury Denoyelle15b09612021-08-24 16:20:27 +02001061 sl = NULL;
1062 hdr = 0;
1063 for (blk = htx_get_head_blk(htx); blk; blk = htx_get_next_blk(htx, blk)) {
1064 type = htx_get_blk_type(blk);
1065
1066 if (type == HTX_BLK_UNUSED)
1067 continue;
1068
1069 if (type == HTX_BLK_EOH)
1070 break;
1071
1072 if (type == HTX_BLK_RES_SL) {
1073 /* start-line -> HEADERS h3 frame */
1074 BUG_ON(sl);
1075 sl = htx_get_blk_ptr(htx, blk);
1076 /* TODO should be on h3 layer */
1077 status = sl->info.res.status;
1078 }
1079 else if (type == HTX_BLK_HDR) {
Amaury Denoyelle60ef19f2022-06-14 17:38:36 +02001080 if (unlikely(hdr >= sizeof(list) / sizeof(list[0]) - 1))
Amaury Denoyellefa7fadc2022-06-15 15:52:27 +02001081 goto err;
Amaury Denoyelle15b09612021-08-24 16:20:27 +02001082 list[hdr].n = htx_get_blk_name(htx, blk);
1083 list[hdr].v = htx_get_blk_value(htx, blk);
1084 hdr++;
1085 }
1086 else {
1087 ABORT_NOW();
1088 goto err;
1089 }
1090 }
1091
1092 BUG_ON(!sl);
1093
1094 list[hdr].n = ist("");
1095
Amaury Denoyelled3d97c62021-10-05 11:45:58 +02001096 res = mux_get_buf(qcs);
Amaury Denoyelle15b09612021-08-24 16:20:27 +02001097
1098 /* At least 5 bytes to store frame type + length as a varint max size */
1099 if (b_room(res) < 5)
1100 ABORT_NOW();
1101
1102 b_reset(&outbuf);
1103 outbuf = b_make(b_tail(res), b_contig_space(res), 0, 0);
1104 /* Start the headers after frame type + length */
1105 headers_buf = b_make(b_head(res) + 5, b_size(res) - 5, 0, 0);
1106
1107 if (qpack_encode_field_section_line(&headers_buf))
1108 ABORT_NOW();
1109 if (qpack_encode_int_status(&headers_buf, status))
1110 ABORT_NOW();
1111
1112 for (hdr = 0; hdr < sizeof(list) / sizeof(list[0]); ++hdr) {
1113 if (isteq(list[hdr].n, ist("")))
1114 break;
1115
Amaury Denoyelleffafb3d2022-02-15 16:10:42 +01001116 /* draft-ietf-quic-http34 4.1. HTTP Message Exchanges
1117 * Transfer codings (see Section 6.1 of [HTTP11]) are not
1118 * defined for HTTP/3; the Transfer-Encoding header field MUST
1119 * NOT be used.
1120 */
1121 if (isteq(list[hdr].n, ist("transfer-encoding")))
1122 continue;
1123
Amaury Denoyelle15b09612021-08-24 16:20:27 +02001124 if (qpack_encode_header(&headers_buf, list[hdr].n, list[hdr].v))
1125 ABORT_NOW();
1126 }
1127
1128 /* Now that all headers are encoded, we are certain that res buffer is
1129 * big enough
1130 */
1131 frame_length_size = quic_int_getsize(b_data(&headers_buf));
1132 res->head += 4 - frame_length_size;
1133 b_putchr(res, 0x01); /* h3 HEADERS frame type */
1134 if (!b_quic_enc_int(res, b_data(&headers_buf)))
1135 ABORT_NOW();
1136 b_add(res, b_data(&headers_buf));
1137
1138 ret = 0;
1139 blk = htx_get_head_blk(htx);
1140 while (blk) {
1141 type = htx_get_blk_type(blk);
1142 ret += htx_get_blksz(blk);
1143 blk = htx_remove_blk(htx, blk);
1144 if (type == HTX_BLK_EOH)
1145 break;
1146 }
1147
Amaury Denoyellea717eb72022-05-30 15:51:01 +02001148 TRACE_LEAVE(H3_EV_TX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle15b09612021-08-24 16:20:27 +02001149 return ret;
1150
1151 err:
Amaury Denoyellea717eb72022-05-30 15:51:01 +02001152 TRACE_DEVEL("leaving on error", H3_EV_TX_HDR, qcs->qcc->conn, qcs);
Amaury Denoyelle15b09612021-08-24 16:20:27 +02001153 return 0;
1154}
1155
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001156/* Returns the total of bytes sent. */
Amaury Denoyelle9534e592022-09-19 17:14:27 +02001157static int h3_resp_data_send(struct qcs *qcs, struct htx *htx, size_t count)
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001158{
1159 struct buffer outbuf;
1160 struct buffer *res;
1161 size_t total = 0;
Amaury Denoyellea543eb12021-10-06 14:53:13 +02001162 int bsize, fsize, hsize;
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001163 struct htx_blk *blk;
1164 enum htx_blk_type type;
1165
Amaury Denoyellea717eb72022-05-30 15:51:01 +02001166 TRACE_ENTER(H3_EV_TX_DATA, qcs->qcc->conn, qcs);
1167
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001168 new_frame:
1169 if (!count || htx_is_empty(htx))
1170 goto end;
1171
1172 blk = htx_get_head_blk(htx);
1173 type = htx_get_blk_type(blk);
1174 fsize = bsize = htx_get_blksz(blk);
1175
1176 if (type != HTX_BLK_DATA)
1177 goto end;
1178
Amaury Denoyelled3d97c62021-10-05 11:45:58 +02001179 res = mux_get_buf(qcs);
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001180
1181 if (fsize > count)
1182 fsize = count;
1183
Amaury Denoyellea543eb12021-10-06 14:53:13 +02001184 /* h3 DATA headers : 1-byte frame type + varint frame length */
1185 hsize = 1 + QUIC_VARINT_MAX_SIZE;
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001186
Amaury Denoyellea543eb12021-10-06 14:53:13 +02001187 while (1) {
1188 b_reset(&outbuf);
1189 outbuf = b_make(b_tail(res), b_contig_space(res), 0, 0);
1190 if (b_size(&outbuf) > hsize || !b_space_wraps(res))
1191 break;
1192 b_slow_realign(res, trash.area, b_data(res));
1193 }
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001194
Amaury Denoyelle84ea8dc2021-12-03 14:40:01 +01001195 /* Not enough room for headers and at least one data byte, block the
Willy Tarreau4596fe22022-05-17 19:07:51 +02001196 * stream. It is expected that the stream connector layer will subscribe
1197 * on SEND.
Amaury Denoyellea543eb12021-10-06 14:53:13 +02001198 */
Amaury Denoyelle84ea8dc2021-12-03 14:40:01 +01001199 if (b_size(&outbuf) <= hsize) {
1200 qcs->flags |= QC_SF_BLK_MROOM;
1201 goto end;
1202 }
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001203
Amaury Denoyellea543eb12021-10-06 14:53:13 +02001204 if (b_size(&outbuf) < hsize + fsize)
1205 fsize = b_size(&outbuf) - hsize;
1206 BUG_ON(fsize <= 0);
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001207
Amaury Denoyellea543eb12021-10-06 14:53:13 +02001208 b_putchr(&outbuf, 0x00); /* h3 frame type = DATA */
1209 b_quic_enc_int(&outbuf, fsize); /* h3 frame length */
1210
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001211 b_putblk(&outbuf, htx_get_blk_ptr(htx, blk), fsize);
Amaury Denoyellea543eb12021-10-06 14:53:13 +02001212 total += fsize;
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001213 count -= fsize;
1214
1215 if (fsize == bsize)
1216 htx_remove_blk(htx, blk);
1217 else
1218 htx_cut_data_blk(htx, blk, fsize);
1219
Amaury Denoyellea543eb12021-10-06 14:53:13 +02001220 /* commit the buffer */
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001221 b_add(res, b_data(&outbuf));
1222 goto new_frame;
1223
1224 end:
Amaury Denoyellea717eb72022-05-30 15:51:01 +02001225 TRACE_LEAVE(H3_EV_TX_DATA, qcs->qcc->conn, qcs);
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001226 return total;
1227}
1228
Amaury Denoyelle9534e592022-09-19 17:14:27 +02001229static size_t h3_snd_buf(struct qcs *qcs, struct htx *htx, size_t count)
Amaury Denoyelle26dfd902021-08-24 16:33:53 +02001230{
1231 size_t total = 0;
Amaury Denoyelle26dfd902021-08-24 16:33:53 +02001232 enum htx_blk_type btype;
1233 struct htx_blk *blk;
1234 uint32_t bsize;
1235 int32_t idx;
1236 int ret;
1237
Amaury Denoyelled8769d12022-03-25 15:28:33 +01001238 h3_debug_printf(stderr, "%s\n", __func__);
Amaury Denoyelledeed7772021-12-03 11:36:46 +01001239
Amaury Denoyelle84ea8dc2021-12-03 14:40:01 +01001240 while (count && !htx_is_empty(htx) && !(qcs->flags & QC_SF_BLK_MROOM)) {
Amaury Denoyelle26dfd902021-08-24 16:33:53 +02001241 idx = htx_get_head(htx);
1242 blk = htx_get_blk(htx, idx);
1243 btype = htx_get_blk_type(blk);
1244 bsize = htx_get_blksz(blk);
1245
1246 /* Not implemented : QUIC on backend side */
1247 BUG_ON(btype == HTX_BLK_REQ_SL);
1248
1249 switch (btype) {
1250 case HTX_BLK_RES_SL:
Amaury Denoyelle15b09612021-08-24 16:20:27 +02001251 /* start-line -> HEADERS h3 frame */
1252 ret = h3_resp_headers_send(qcs, htx);
1253 if (ret > 0) {
1254 total += ret;
1255 count -= ret;
1256 if (ret < bsize)
1257 goto out;
1258 }
1259 break;
Amaury Denoyelle26dfd902021-08-24 16:33:53 +02001260
1261 case HTX_BLK_DATA:
Amaury Denoyelle9534e592022-09-19 17:14:27 +02001262 ret = h3_resp_data_send(qcs, htx, count);
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001263 if (ret > 0) {
Amaury Denoyelle8e2a9982021-08-24 16:24:37 +02001264 total += ret;
1265 count -= ret;
1266 if (ret < bsize)
1267 goto out;
1268 }
1269 break;
Amaury Denoyelle26dfd902021-08-24 16:33:53 +02001270
1271 case HTX_BLK_TLR:
1272 case HTX_BLK_EOT:
1273 /* TODO trailers */
1274
1275 default:
1276 htx_remove_blk(htx, blk);
1277 total += bsize;
1278 count -= bsize;
1279 break;
1280 }
1281 }
1282
Amaury Denoyelle26dfd902021-08-24 16:33:53 +02001283 out:
1284 return total;
Amaury Denoyellef52151d2021-08-24 16:11:18 +02001285}
1286
Amaury Denoyellec0156792022-06-03 15:29:07 +02001287static int h3_attach(struct qcs *qcs, void *conn_ctx)
Amaury Denoyelle67e92d32022-04-27 18:04:01 +02001288{
1289 struct h3s *h3s;
1290
Amaury Denoyelled5581d52022-05-30 15:51:31 +02001291 TRACE_ENTER(H3_EV_H3S_NEW, qcs->qcc->conn, qcs);
1292
Amaury Denoyelle67e92d32022-04-27 18:04:01 +02001293 h3s = pool_alloc(pool_head_h3s);
1294 if (!h3s)
1295 return 1;
1296
1297 qcs->ctx = h3s;
Amaury Denoyellec0156792022-06-03 15:29:07 +02001298 h3s->h3c = conn_ctx;
1299
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +02001300 h3s->demux_frame_len = 0;
1301 h3s->demux_frame_type = 0;
Amaury Denoyelled2c5ee62022-12-08 16:54:42 +01001302 h3s->body_len = 0;
1303 h3s->data_len = 0;
Amaury Denoyelle35550642022-05-24 15:14:53 +02001304 h3s->flags = 0;
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +01001305 h3s->err = 0;
Amaury Denoyelle48f01bd2022-04-27 15:37:20 +02001306
Amaury Denoyelle3236a8e2022-05-24 15:24:03 +02001307 if (quic_stream_is_bidi(qcs->id)) {
1308 h3s->type = H3S_T_REQ;
Amaury Denoyelle8d818c62022-08-02 11:32:45 +02001309 h3s->st_req = H3S_ST_REQ_BEFORE;
Amaury Denoyelle30e260e2022-08-03 11:17:57 +02001310 qcs_wait_http_req(qcs);
Amaury Denoyelle3236a8e2022-05-24 15:24:03 +02001311 }
1312 else {
1313 /* stream type must be decoded for unidirectional streams */
1314 h3s->type = H3S_T_UNKNOWN;
1315 }
1316
Amaury Denoyelled5581d52022-05-30 15:51:31 +02001317 TRACE_LEAVE(H3_EV_H3S_NEW, qcs->qcc->conn, qcs);
Amaury Denoyelle67e92d32022-04-27 18:04:01 +02001318 return 0;
1319}
1320
Amaury Denoyelle67e92d32022-04-27 18:04:01 +02001321static void h3_detach(struct qcs *qcs)
1322{
1323 struct h3s *h3s = qcs->ctx;
Amaury Denoyelled5581d52022-05-30 15:51:31 +02001324
1325 TRACE_ENTER(H3_EV_H3S_END, qcs->qcc->conn, qcs);
1326
Amaury Denoyelle67e92d32022-04-27 18:04:01 +02001327 pool_free(pool_head_h3s, h3s);
1328 qcs->ctx = NULL;
Amaury Denoyelled5581d52022-05-30 15:51:31 +02001329
1330 TRACE_LEAVE(H3_EV_H3S_END, qcs->qcc->conn, qcs);
Amaury Denoyelle67e92d32022-04-27 18:04:01 +02001331}
1332
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001333static int h3_finalize(void *ctx)
1334{
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001335 struct h3c *h3c = ctx;
Amaury Denoyelle9cc47512022-05-24 16:27:41 +02001336 struct qcs *qcs;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001337
Amaury Denoyelleb1437232022-07-08 11:53:22 +02001338 qcs = qcc_init_stream_local(h3c->qcc, 0);
Amaury Denoyelle9cc47512022-05-24 16:27:41 +02001339 if (!qcs)
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001340 return 0;
1341
Amaury Denoyelle9cc47512022-05-24 16:27:41 +02001342 h3_control_send(qcs, h3c);
Amaury Denoyelled7010392022-07-13 15:17:29 +02001343 h3c->ctrl_strm = qcs;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001344
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001345 return 1;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001346}
1347
Amaury Denoyelle114c9c82022-03-28 14:53:45 +02001348/* Generate a GOAWAY frame for <h3c> connection on the control stream.
1349 *
1350 * Returns 0 on success else non-zero.
1351 */
1352static int h3_send_goaway(struct h3c *h3c)
1353{
1354 struct qcs *qcs = h3c->ctrl_strm;
1355 struct buffer pos, *res;
1356 unsigned char data[3 * QUIC_VARINT_MAX_SIZE];
1357 size_t frm_len = quic_int_getsize(h3c->id_goaway);
1358
1359 if (!qcs)
1360 return 1;
1361
1362 pos = b_make((char *)data, sizeof(data), 0, 0);
1363
1364 b_quic_enc_int(&pos, H3_FT_GOAWAY);
1365 b_quic_enc_int(&pos, frm_len);
1366 b_quic_enc_int(&pos, h3c->id_goaway);
1367
1368 res = mux_get_buf(qcs);
1369 if (!res || b_room(res) < b_data(&pos)) {
1370 /* Do not try forcefully to emit GOAWAY if no space left. */
1371 return 1;
1372 }
1373
1374 b_force_xfer(res, &pos, b_data(&pos));
1375
1376 return 0;
1377}
1378
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001379/* Initialize the HTTP/3 context for <qcc> mux.
1380 * Return 1 if succeeded, 0 if not.
1381 */
1382static int h3_init(struct qcc *qcc)
1383{
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001384 struct h3c *h3c;
Frédéric Lécaille6f7607e2022-05-25 22:25:37 +02001385 struct quic_conn *qc = qcc->conn->handle.qc;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001386
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001387 h3c = pool_alloc(pool_head_h3c);
1388 if (!h3c)
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001389 goto fail_no_h3;
1390
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001391 h3c->qcc = qcc;
Amaury Denoyelled7010392022-07-13 15:17:29 +02001392 h3c->ctrl_strm = NULL;
Amaury Denoyelle2fe93ab2022-12-09 15:01:31 +01001393 h3c->err = 0;
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001394 h3c->flags = 0;
Amaury Denoyelle114c9c82022-03-28 14:53:45 +02001395 h3c->id_goaway = 0;
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001396
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001397 qcc->ctx = h3c;
Amaury Denoyelle5c25dc52022-09-30 17:44:15 +02001398 /* TODO cleanup only ref to quic_conn */
Frédéric Lécaille6f7607e2022-05-25 22:25:37 +02001399 h3c->prx_counters =
1400 EXTRA_COUNTERS_GET(qc->li->bind_conf->frontend->extra_counters_fe,
1401 &h3_stats_module);
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001402 LIST_INIT(&h3c->buf_wait.list);
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001403
1404 return 1;
1405
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001406 fail_no_h3:
1407 return 0;
1408}
1409
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001410/* Send a HTTP/3 GOAWAY followed by a CONNECTION_CLOSE_APP. */
1411static void h3_shutdown(void *ctx)
Amaury Denoyelle8347f272022-03-29 14:46:55 +02001412{
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001413 struct h3c *h3c = ctx;
Amaury Denoyelle069288b2022-07-15 10:58:25 +02001414
1415 /* RFC 9114 5.2. Connection Shutdown
1416 *
Amaury Denoyelle114c9c82022-03-28 14:53:45 +02001417 * Even when a connection is not idle, either endpoint can decide to
1418 * stop using the connection and initiate a graceful connection close.
1419 * Endpoints initiate the graceful shutdown of an HTTP/3 connection by
1420 * sending a GOAWAY frame.
1421 */
1422 h3_send_goaway(h3c);
1423
1424 /* RFC 9114 5.2. Connection Shutdown
1425 *
Amaury Denoyelle069288b2022-07-15 10:58:25 +02001426 * An endpoint that completes a
1427 * graceful shutdown SHOULD use the H3_NO_ERROR error code when closing
1428 * the connection.
1429 */
1430 qcc_emit_cc_app(h3c->qcc, H3_NO_ERROR, 0);
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001431}
Amaury Denoyelle069288b2022-07-15 10:58:25 +02001432
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001433static void h3_release(void *ctx)
1434{
1435 struct h3c *h3c = ctx;
Amaury Denoyelle8d1ecac2022-05-24 14:55:43 +02001436 pool_free(pool_head_h3c, h3c);
Amaury Denoyelle8347f272022-03-29 14:46:55 +02001437}
1438
Frédéric Lécaille6f7607e2022-05-25 22:25:37 +02001439/* Increment the h3 error code counters for <error_code> value */
1440static void h3_stats_inc_err_cnt(void *ctx, int err_code)
1441{
1442 struct h3c *h3c = ctx;
1443
1444 h3_inc_err_cnt(h3c->prx_counters, err_code);
1445}
1446
Amaury Denoyelle016aa932022-05-30 15:49:36 +02001447/* h3 trace handler */
1448static void h3_trace(enum trace_level level, uint64_t mask,
1449 const struct trace_source *src,
1450 const struct ist where, const struct ist func,
1451 const void *a1, const void *a2, const void *a3, const void *a4)
1452{
1453 const struct connection *conn = a1;
1454 const struct qcc *qcc = conn ? conn->ctx : NULL;
1455 const struct qcs *qcs = a2;
1456
Frédéric Lécaille1c725aa2022-09-08 15:49:37 +02001457 if (!qcc)
1458 return;
1459
Amaury Denoyelle016aa932022-05-30 15:49:36 +02001460 if (src->verbosity > H3_VERB_CLEAN) {
1461 chunk_appendf(&trace_buf, " : qcc=%p(F)", qcc);
Frédéric Lécaille2eb5faa2022-09-08 16:03:13 +02001462 if (qcc->conn->handle.qc)
1463 chunk_appendf(&trace_buf, " qc=%p", qcc->conn->handle.qc);
Amaury Denoyelle016aa932022-05-30 15:49:36 +02001464
1465 if (qcs)
Frédéric Lécaille628e89c2022-06-24 12:13:53 +02001466 chunk_appendf(&trace_buf, " qcs=%p(%llu)", qcs, (ull)qcs->id);
Amaury Denoyelle016aa932022-05-30 15:49:36 +02001467 }
1468}
1469
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001470/* HTTP/3 application layer operations */
1471const struct qcc_app_ops h3_ops = {
1472 .init = h3_init,
Amaury Denoyelle67e92d32022-04-27 18:04:01 +02001473 .attach = h3_attach,
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001474 .decode_qcs = h3_decode_qcs,
Amaury Denoyelleabbe91e2021-11-12 16:09:29 +01001475 .snd_buf = h3_snd_buf,
Amaury Denoyelle67e92d32022-04-27 18:04:01 +02001476 .detach = h3_detach,
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001477 .finalize = h3_finalize,
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001478 .shutdown = h3_shutdown,
Frédéric Lécaille6f7607e2022-05-25 22:25:37 +02001479 .inc_err_cnt = h3_stats_inc_err_cnt,
Amaury Denoyellef8aaf8b2022-09-14 16:23:47 +02001480 .release = h3_release,
Frédéric Lécailleccac11f2021-03-03 16:09:02 +01001481};