blob: 419f0848918b669356e9a529cfde12f06a712b3a [file] [log] [blame]
Christopher Faulet99eff652019-08-11 23:11:30 +02001/*
2 * FastCGI mux-demux for connections
3 *
4 * Copyright (C) 2019 HAProxy Technologies, Christopher Faulet <cfaulet@haproxy.com>
5 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version
9 * 2 of the License, or (at your option) any later version.
10 *
11 */
12
Willy Tarreaub2551052020-06-09 09:07:15 +020013#include <import/ist.h>
Willy Tarreau63617db2021-10-06 18:23:40 +020014#include <import/eb32tree.h>
15#include <import/ebmbtree.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020016
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020017#include <haproxy/api.h>
Willy Tarreau6be78492020-06-05 00:00:29 +020018#include <haproxy/cfgparse.h>
Willy Tarreau7ea393d2020-06-04 18:02:10 +020019#include <haproxy/connection.h>
Christopher Faulet1329f2a2021-12-16 17:32:56 +010020#include <haproxy/conn_stream.h>
Willy Tarreau36979d92020-06-05 17:27:29 +020021#include <haproxy/errors.h>
Willy Tarreauc6599682020-06-04 21:33:21 +020022#include <haproxy/fcgi-app.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020023#include <haproxy/fcgi.h>
Willy Tarreau5413a872020-06-02 19:33:08 +020024#include <haproxy/h1.h>
Willy Tarreauc6fe8842020-06-04 09:00:02 +020025#include <haproxy/h1_htx.h>
Willy Tarreau87735332020-06-04 09:08:41 +020026#include <haproxy/http_htx.h>
Willy Tarreau16f958c2020-06-03 08:44:35 +020027#include <haproxy/htx.h>
Willy Tarreau853b2972020-05-27 18:01:47 +020028#include <haproxy/list.h>
Willy Tarreauaeed4a82020-06-04 22:01:04 +020029#include <haproxy/log.h>
Willy Tarreau6131d6a2020-06-02 16:48:09 +020030#include <haproxy/net_helper.h>
Willy Tarreauc5396bd2021-05-08 20:28:54 +020031#include <haproxy/proxy.h>
Willy Tarreau7cd8b6e2020-06-02 17:32:26 +020032#include <haproxy/regex.h>
Willy Tarreau48d25b32020-06-04 18:58:52 +020033#include <haproxy/session-t.h>
Willy Tarreaudfd3de82020-06-04 23:46:14 +020034#include <haproxy/stream.h>
Willy Tarreau5e539c92020-06-04 20:45:39 +020035#include <haproxy/stream_interface.h>
Willy Tarreauc6d61d72020-06-04 19:02:42 +020036#include <haproxy/trace.h>
Christopher Faulet5cd0e522021-06-11 13:34:42 +020037#include <haproxy/version.h>
Christopher Faulet99eff652019-08-11 23:11:30 +020038
Willy Tarreaub2551052020-06-09 09:07:15 +020039
Christopher Faulet99eff652019-08-11 23:11:30 +020040/* FCGI Connection flags (32 bits) */
41#define FCGI_CF_NONE 0x00000000
42
43/* Flags indicating why writing to the mux is blockes */
44#define FCGI_CF_MUX_MALLOC 0x00000001 /* mux is blocked on lack connection's mux buffer */
45#define FCGI_CF_MUX_MFULL 0x00000002 /* mux is blocked on connection's mux buffer full */
46#define FCGI_CF_MUX_BLOCK_ANY 0x00000003 /* mux is blocked on connection's mux buffer full */
47
48/* Flags indicating why writing to the demux is blocked.
49 * The first two ones directly affect the ability for the mux to receive data
50 * from the connection. The other ones affect the mux's ability to demux
51 * received data.
52 */
53#define FCGI_CF_DEM_DALLOC 0x00000004 /* demux blocked on lack of connection's demux buffer */
54#define FCGI_CF_DEM_DFULL 0x00000008 /* demux blocked on connection's demux buffer full */
55#define FCGI_CF_DEM_MROOM 0x00000010 /* demux blocked on lack of room in mux buffer */
56#define FCGI_CF_DEM_SALLOC 0x00000020 /* demux blocked on lack of stream's rx buffer */
57#define FCGI_CF_DEM_SFULL 0x00000040 /* demux blocked on stream request buffer full */
58#define FCGI_CF_DEM_TOOMANY 0x00000080 /* demux blocked waiting for some conn_streams to leave */
59#define FCGI_CF_DEM_BLOCK_ANY 0x000000F0 /* aggregate of the demux flags above except DALLOC/DFULL */
60
61/* Other flags */
62#define FCGI_CF_MPXS_CONNS 0x00000100 /* connection multiplexing is supported */
63#define FCGI_CF_ABRTS_SENT 0x00000200 /* a record ABORT was successfully sent to all active streams */
64#define FCGI_CF_ABRTS_FAILED 0x00000400 /* failed to abort processing of all streams */
65#define FCGI_CF_WAIT_FOR_HS 0x00000800 /* We did check that at least a stream was waiting for handshake */
Willy Tarreau714f3452021-05-09 06:47:26 +020066#define FCGI_CF_KEEP_CONN 0x00001000 /* HAProxy is responsible to close the connection */
Christopher Faulet99eff652019-08-11 23:11:30 +020067#define FCGI_CF_GET_VALUES 0x00002000 /* retrieve settings */
68
69/* FCGI connection state (fcgi_conn->state) */
70enum fcgi_conn_st {
71 FCGI_CS_INIT = 0, /* init done, waiting for sending GET_VALUES record */
72 FCGI_CS_SETTINGS, /* GET_VALUES sent, waiting for the GET_VALUES_RESULT record */
73 FCGI_CS_RECORD_H, /* GET_VALUES_RESULT received, waiting for a record header */
74 FCGI_CS_RECORD_D, /* Record header OK, waiting for a record data */
75 FCGI_CS_RECORD_P, /* Record processed, remains the padding */
76 FCGI_CS_CLOSED, /* abort requests if necessary and close the connection ASAP */
77 FCGI_CS_ENTRIES
78} __attribute__((packed));
79
80/* 32 buffers: one for the ring's root, rest for the mbuf itself */
81#define FCGI_C_MBUF_CNT 32
82
Christopher Fauletd1ac2b92020-12-02 19:12:22 +010083/* Size for a record header (also size of empty record) */
84#define FCGI_RECORD_HEADER_SZ 8
85
Christopher Faulet99eff652019-08-11 23:11:30 +020086/* FCGI connection descriptor */
87struct fcgi_conn {
88 struct connection *conn;
89
90 enum fcgi_conn_st state; /* FCGI connection state */
91 int16_t max_id; /* highest ID known on this connection, <0 before mgmt records */
92 uint32_t streams_limit; /* maximum number of concurrent streams the peer supports */
93 uint32_t flags; /* Connection flags: FCGI_CF_* */
94
95 int16_t dsi; /* dmux stream ID (<0 = idle ) */
96 uint16_t drl; /* demux record length (if dsi >= 0) */
97 uint8_t drt; /* demux record type (if dsi >= 0) */
98 uint8_t drp; /* demux record padding (if dsi >= 0) */
99
100 struct buffer dbuf; /* demux buffer */
101 struct buffer mbuf[FCGI_C_MBUF_CNT]; /* mux buffers (ring) */
102
103 int timeout; /* idle timeout duration in ticks */
104 int shut_timeout; /* idle timeout duration in ticks after shutdown */
105 unsigned int nb_streams; /* number of streams in the tree */
106 unsigned int nb_cs; /* number of attached conn_streams */
107 unsigned int nb_reserved; /* number of reserved streams */
108 unsigned int stream_cnt; /* total number of streams seen */
109
110 struct proxy *proxy; /* the proxy this connection was created for */
111 struct fcgi_app *app; /* FCGI application used by this mux */
112 struct task *task; /* timeout management task */
113 struct eb_root streams_by_id; /* all active streams by their ID */
114
115 struct list send_list; /* list of blocked streams requesting to send */
Christopher Faulet99eff652019-08-11 23:11:30 +0200116
117 struct buffer_wait buf_wait; /* Wait list for buffer allocation */
118 struct wait_event wait_event; /* To be used if we're waiting for I/Os */
119};
120
121
122/* FCGI stream state, in fcgi_strm->state */
123enum fcgi_strm_st {
124 FCGI_SS_IDLE = 0,
125 FCGI_SS_OPEN,
126 FCGI_SS_HREM, // half-closed(remote)
127 FCGI_SS_HLOC, // half-closed(local)
128 FCGI_SS_ERROR,
129 FCGI_SS_CLOSED,
130 FCGI_SS_ENTRIES
131} __attribute__((packed));
132
133
134/* FCGI stream flags (32 bits) */
135#define FCGI_SF_NONE 0x00000000
136#define FCGI_SF_ES_RCVD 0x00000001 /* end-of-stream received (empty STDOUT or EDN_REQUEST record) */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +0100137#define FCGI_SF_ES_SENT 0x00000002 /* end-of-stream sent (empty STDIN record) */
138#define FCGI_SF_EP_SENT 0x00000004 /* end-of-param sent (empty PARAMS record) */
139#define FCGI_SF_ABRT_SENT 0x00000008 /* abort sent (ABORT_REQUEST record) */
Christopher Faulet99eff652019-08-11 23:11:30 +0200140
141/* Stream flags indicating the reason the stream is blocked */
142#define FCGI_SF_BLK_MBUSY 0x00000010 /* blocked waiting for mux access (transient) */
143#define FCGI_SF_BLK_MROOM 0x00000020 /* blocked waiting for room in the mux */
144#define FCGI_SF_BLK_ANY 0x00000030 /* any of the reasons above */
145
146#define FCGI_SF_BEGIN_SENT 0x00000100 /* a BEGIN_REQUEST record was sent for this stream */
147#define FCGI_SF_OUTGOING_DATA 0x00000200 /* set whenever we've seen outgoing data */
Willy Tarreauf11be0e2020-01-16 16:59:45 +0100148#define FCGI_SF_NOTIFIED 0x00000400 /* a paused stream was notified to try to send again */
Christopher Faulet99eff652019-08-11 23:11:30 +0200149
150#define FCGI_SF_WANT_SHUTR 0x00001000 /* a stream couldn't shutr() (mux full/busy) */
151#define FCGI_SF_WANT_SHUTW 0x00002000 /* a stream couldn't shutw() (mux full/busy) */
152#define FCGI_SF_KILL_CONN 0x00004000 /* kill the whole connection with this stream */
153
Christopher Faulet99eff652019-08-11 23:11:30 +0200154
155/* FCGI stream descriptor */
156struct fcgi_strm {
157 struct conn_stream *cs;
158 struct session *sess;
159 struct fcgi_conn *fconn;
160
161 int32_t id; /* stream ID */
162
163 uint32_t flags; /* Connection flags: FCGI_SF_* */
164 enum fcgi_strm_st state; /* FCGI stream state */
165 int proto_status; /* FCGI_PS_* */
166
167 struct h1m h1m; /* response parser state for H1 */
168
169 struct buffer rxbuf; /* receive buffer, always valid (buf_empty or real buffer) */
170
171 struct eb32_node by_id; /* place in fcgi_conn's streams_by_id */
Willy Tarreau8907e4d2020-01-16 17:55:37 +0100172 struct wait_event *subs; /* Address of the wait_event the conn_stream associated is waiting on */
Christopher Faulet99eff652019-08-11 23:11:30 +0200173 struct list send_list; /* To be used when adding in fcgi_conn->send_list */
Willy Tarreau7aad7032020-01-16 17:20:57 +0100174 struct tasklet *shut_tl; /* deferred shutdown tasklet, to retry to close after we failed to by lack of space */
Christopher Faulet99eff652019-08-11 23:11:30 +0200175};
176
177/* Flags representing all default FCGI parameters */
178#define FCGI_SP_CGI_GATEWAY 0x00000001
179#define FCGI_SP_DOC_ROOT 0x00000002
180#define FCGI_SP_SCRIPT_NAME 0x00000004
181#define FCGI_SP_PATH_INFO 0x00000008
182#define FCGI_SP_REQ_URI 0x00000010
183#define FCGI_SP_REQ_METH 0x00000020
184#define FCGI_SP_REQ_QS 0x00000040
185#define FCGI_SP_SRV_PORT 0x00000080
186#define FCGI_SP_SRV_PROTO 0x00000100
187#define FCGI_SP_SRV_NAME 0x00000200
188#define FCGI_SP_REM_ADDR 0x00000400
189#define FCGI_SP_REM_PORT 0x00000800
190#define FCGI_SP_SCRIPT_FILE 0x00001000
191#define FCGI_SP_PATH_TRANS 0x00002000
192#define FCGI_SP_CONT_LEN 0x00004000
193#define FCGI_SP_HTTPS 0x00008000
Christopher Faulet5cd0e522021-06-11 13:34:42 +0200194#define FCGI_SP_SRV_SOFT 0x00010000
195#define FCGI_SP_MASK 0x0001FFFF
Christopher Faulet99eff652019-08-11 23:11:30 +0200196#define FCGI_SP_URI_MASK (FCGI_SP_SCRIPT_NAME|FCGI_SP_PATH_INFO|FCGI_SP_REQ_QS)
197
198/* FCGI parameters used when PARAMS record is sent */
199struct fcgi_strm_params {
200 uint32_t mask;
201 struct ist docroot;
202 struct ist scriptname;
203 struct ist pathinfo;
204 struct ist meth;
205 struct ist uri;
206 struct ist vsn;
207 struct ist qs;
208 struct ist srv_name;
209 struct ist srv_port;
210 struct ist rem_addr;
211 struct ist rem_port;
212 struct ist cont_len;
Christopher Faulet5cd0e522021-06-11 13:34:42 +0200213 struct ist srv_soft;
Christopher Faulet99eff652019-08-11 23:11:30 +0200214 int https;
215 struct buffer *p;
216};
217
218/* Maximum amount of data we're OK with re-aligning for buffer optimizations */
219#define MAX_DATA_REALIGN 1024
220
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200221/* trace source and events */
222static void fcgi_trace(enum trace_level level, uint64_t mask,
223 const struct trace_source *src,
224 const struct ist where, const struct ist func,
225 const void *a1, const void *a2, const void *a3, const void *a4);
226
227/* The event representation is split like this :
228 * fconn - internal FCGI connection
229 * fstrm - internal FCGI stream
230 * strm - application layer
231 * rx - data receipt
232 * tx - data transmission
233 * rsp - response parsing
234 */
235static const struct trace_event fcgi_trace_events[] = {
236#define FCGI_EV_FCONN_NEW (1ULL << 0)
237 { .mask = FCGI_EV_FCONN_NEW, .name = "fconn_new", .desc = "new FCGI connection" },
238#define FCGI_EV_FCONN_RECV (1ULL << 1)
239 { .mask = FCGI_EV_FCONN_RECV, .name = "fconn_recv", .desc = "Rx on FCGI connection" },
240#define FCGI_EV_FCONN_SEND (1ULL << 2)
241 { .mask = FCGI_EV_FCONN_SEND, .name = "fconn_send", .desc = "Tx on FCGI connection" },
242#define FCGI_EV_FCONN_BLK (1ULL << 3)
243 { .mask = FCGI_EV_FCONN_BLK, .name = "fconn_blk", .desc = "FCGI connection blocked" },
244#define FCGI_EV_FCONN_WAKE (1ULL << 4)
245 { .mask = FCGI_EV_FCONN_WAKE, .name = "fconn_wake", .desc = "FCGI connection woken up" },
246#define FCGI_EV_FCONN_END (1ULL << 5)
247 { .mask = FCGI_EV_FCONN_END, .name = "fconn_end", .desc = "FCGI connection terminated" },
248#define FCGI_EV_FCONN_ERR (1ULL << 6)
249 { .mask = FCGI_EV_FCONN_ERR, .name = "fconn_err", .desc = "error on FCGI connection" },
250
251#define FCGI_EV_RX_FHDR (1ULL << 7)
252 { .mask = FCGI_EV_RX_FHDR, .name = "rx_fhdr", .desc = "FCGI record header received" },
253#define FCGI_EV_RX_RECORD (1ULL << 8)
254 { .mask = FCGI_EV_RX_RECORD, .name = "rx_record", .desc = "receipt of any FCGI record" },
255#define FCGI_EV_RX_EOI (1ULL << 9)
256 { .mask = FCGI_EV_RX_EOI, .name = "rx_eoi", .desc = "receipt of end of FCGI input" },
257#define FCGI_EV_RX_GETVAL (1ULL << 10)
258 { .mask = FCGI_EV_RX_GETVAL, .name = "rx_get_values", .desc = "receipt of FCGI GET_VALUES_RESULT record" },
259#define FCGI_EV_RX_STDOUT (1ULL << 11)
260 { .mask = FCGI_EV_RX_STDOUT, .name = "rx_stdout", .desc = "receipt of FCGI STDOUT record" },
261#define FCGI_EV_RX_STDERR (1ULL << 12)
262 { .mask = FCGI_EV_RX_STDERR, .name = "rx_stderr", .desc = "receipt of FCGI STDERR record" },
263#define FCGI_EV_RX_ENDREQ (1ULL << 13)
264 { .mask = FCGI_EV_RX_ENDREQ, .name = "rx_end_req", .desc = "receipt of FCGI END_REQUEST record" },
265
266#define FCGI_EV_TX_RECORD (1ULL << 14)
267 { .mask = FCGI_EV_TX_RECORD, .name = "tx_record", .desc = "transmission of any FCGI record" },
268#define FCGI_EV_TX_EOI (1ULL << 15)
269 { .mask = FCGI_EV_TX_EOI, .name = "tx_eoi", .desc = "transmission of FCGI end of input" },
270#define FCGI_EV_TX_BEGREQ (1ULL << 16)
271 { .mask = FCGI_EV_TX_BEGREQ, .name = "tx_begin_request", .desc = "transmission of FCGI BEGIN_REQUEST record" },
272#define FCGI_EV_TX_GETVAL (1ULL << 17)
273 { .mask = FCGI_EV_TX_GETVAL, .name = "tx_get_values", .desc = "transmission of FCGI GET_VALUES record" },
274#define FCGI_EV_TX_PARAMS (1ULL << 18)
275 { .mask = FCGI_EV_TX_PARAMS, .name = "tx_params", .desc = "transmission of FCGI PARAMS record" },
276#define FCGI_EV_TX_STDIN (1ULL << 19)
277 { .mask = FCGI_EV_TX_STDIN, .name = "tx_stding", .desc = "transmission of FCGI STDIN record" },
278#define FCGI_EV_TX_ABORT (1ULL << 20)
279 { .mask = FCGI_EV_TX_ABORT, .name = "tx_abort", .desc = "transmission of FCGI ABORT record" },
280
281#define FCGI_EV_RSP_DATA (1ULL << 21)
282 { .mask = FCGI_EV_RSP_DATA, .name = "rsp_data", .desc = "parse any data of H1 response" },
283#define FCGI_EV_RSP_EOM (1ULL << 22)
284 { .mask = FCGI_EV_RSP_EOM, .name = "rsp_eom", .desc = "reach the end of message of H1 response" },
285#define FCGI_EV_RSP_HDRS (1ULL << 23)
286 { .mask = FCGI_EV_RSP_HDRS, .name = "rsp_headers", .desc = "parse headers of H1 response" },
287#define FCGI_EV_RSP_BODY (1ULL << 24)
288 { .mask = FCGI_EV_RSP_BODY, .name = "rsp_body", .desc = "parse body part of H1 response" },
289#define FCGI_EV_RSP_TLRS (1ULL << 25)
290 { .mask = FCGI_EV_RSP_TLRS, .name = "rsp_trailerus", .desc = "parse trailers of H1 response" },
291
292#define FCGI_EV_FSTRM_NEW (1ULL << 26)
293 { .mask = FCGI_EV_FSTRM_NEW, .name = "fstrm_new", .desc = "new FCGI stream" },
294#define FCGI_EV_FSTRM_BLK (1ULL << 27)
295 { .mask = FCGI_EV_FSTRM_BLK, .name = "fstrm_blk", .desc = "FCGI stream blocked" },
296#define FCGI_EV_FSTRM_END (1ULL << 28)
297 { .mask = FCGI_EV_FSTRM_END, .name = "fstrm_end", .desc = "FCGI stream terminated" },
298#define FCGI_EV_FSTRM_ERR (1ULL << 29)
299 { .mask = FCGI_EV_FSTRM_ERR, .name = "fstrm_err", .desc = "error on FCGI stream" },
300
301#define FCGI_EV_STRM_NEW (1ULL << 30)
302 { .mask = FCGI_EV_STRM_NEW, .name = "strm_new", .desc = "app-layer stream creation" },
303#define FCGI_EV_STRM_RECV (1ULL << 31)
304 { .mask = FCGI_EV_STRM_RECV, .name = "strm_recv", .desc = "receiving data for stream" },
305#define FCGI_EV_STRM_SEND (1ULL << 32)
306 { .mask = FCGI_EV_STRM_SEND, .name = "strm_send", .desc = "sending data for stream" },
307#define FCGI_EV_STRM_FULL (1ULL << 33)
308 { .mask = FCGI_EV_STRM_FULL, .name = "strm_full", .desc = "stream buffer full" },
309#define FCGI_EV_STRM_WAKE (1ULL << 34)
310 { .mask = FCGI_EV_STRM_WAKE, .name = "strm_wake", .desc = "stream woken up" },
311#define FCGI_EV_STRM_SHUT (1ULL << 35)
312 { .mask = FCGI_EV_STRM_SHUT, .name = "strm_shut", .desc = "stream shutdown" },
313#define FCGI_EV_STRM_END (1ULL << 36)
314 { .mask = FCGI_EV_STRM_END, .name = "strm_end", .desc = "detaching app-layer stream" },
315#define FCGI_EV_STRM_ERR (1ULL << 37)
316 { .mask = FCGI_EV_STRM_ERR, .name = "strm_err", .desc = "stream error" },
317
318 { }
319};
320
321static const struct name_desc fcgi_trace_lockon_args[4] = {
322 /* arg1 */ { /* already used by the connection */ },
323 /* arg2 */ { .name="fstrm", .desc="FCGI stream" },
324 /* arg3 */ { },
325 /* arg4 */ { }
326};
327
328
329static const struct name_desc fcgi_trace_decoding[] = {
330#define FCGI_VERB_CLEAN 1
331 { .name="clean", .desc="only user-friendly stuff, generally suitable for level \"user\"" },
332#define FCGI_VERB_MINIMAL 2
333 { .name="minimal", .desc="report only fconn/fstrm state and flags, no real decoding" },
334#define FCGI_VERB_SIMPLE 3
335 { .name="simple", .desc="add request/response status line or htx info when available" },
336#define FCGI_VERB_ADVANCED 4
337 { .name="advanced", .desc="add header fields or record decoding when available" },
338#define FCGI_VERB_COMPLETE 5
339 { .name="complete", .desc="add full data dump when available" },
340 { /* end */ }
341};
342
Willy Tarreau6eb3d372021-04-10 19:29:26 +0200343static struct trace_source trace_fcgi __read_mostly = {
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200344 .name = IST("fcgi"),
345 .desc = "FastCGI multiplexer",
346 .arg_def = TRC_ARG1_CONN, // TRACE()'s first argument is always a connection
347 .default_cb = fcgi_trace,
348 .known_events = fcgi_trace_events,
349 .lockon_args = fcgi_trace_lockon_args,
350 .decoding = fcgi_trace_decoding,
351 .report_events = ~0, // report everything by default
352};
353
354#define TRACE_SOURCE &trace_fcgi
355INITCALL1(STG_REGISTER, trace_register_source, TRACE_SOURCE);
356
Christopher Faulet99eff652019-08-11 23:11:30 +0200357/* FCGI connection and stream pools */
358DECLARE_STATIC_POOL(pool_head_fcgi_conn, "fcgi_conn", sizeof(struct fcgi_conn));
359DECLARE_STATIC_POOL(pool_head_fcgi_strm, "fcgi_strm", sizeof(struct fcgi_strm));
360
Willy Tarreau144f84a2021-03-02 16:09:26 +0100361struct task *fcgi_timeout_task(struct task *t, void *context, unsigned int state);
Christopher Faulet99eff652019-08-11 23:11:30 +0200362static int fcgi_process(struct fcgi_conn *fconn);
Willy Tarreau691d5032021-01-20 14:55:01 +0100363/* fcgi_io_cb is exported to see it resolved in "show fd" */
Willy Tarreau144f84a2021-03-02 16:09:26 +0100364struct task *fcgi_io_cb(struct task *t, void *ctx, unsigned int state);
Christopher Faulet99eff652019-08-11 23:11:30 +0200365static inline struct fcgi_strm *fcgi_conn_st_by_id(struct fcgi_conn *fconn, int id);
Willy Tarreau144f84a2021-03-02 16:09:26 +0100366struct task *fcgi_deferred_shut(struct task *t, void *ctx, unsigned int state);
Christopher Faulet99eff652019-08-11 23:11:30 +0200367static struct fcgi_strm *fcgi_conn_stream_new(struct fcgi_conn *fconn, struct conn_stream *cs, struct session *sess);
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200368static void fcgi_strm_notify_recv(struct fcgi_strm *fstrm);
369static void fcgi_strm_notify_send(struct fcgi_strm *fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +0200370static void fcgi_strm_alert(struct fcgi_strm *fstrm);
371static int fcgi_strm_send_abort(struct fcgi_conn *fconn, struct fcgi_strm *fstrm);
372
373/* a dmumy management stream */
374static const struct fcgi_strm *fcgi_mgmt_stream = &(const struct fcgi_strm){
375 .cs = NULL,
376 .fconn = NULL,
377 .state = FCGI_SS_CLOSED,
378 .flags = FCGI_SF_NONE,
379 .id = 0,
380};
381
382/* and a dummy idle stream for use with any unknown stream */
383static const struct fcgi_strm *fcgi_unknown_stream = &(const struct fcgi_strm){
384 .cs = NULL,
385 .fconn = NULL,
386 .state = FCGI_SS_IDLE,
387 .flags = FCGI_SF_NONE,
388 .id = 0,
389};
390
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200391/* returns a fconn state as an abbreviated 3-letter string, or "???" if unknown */
392static inline const char *fconn_st_to_str(enum fcgi_conn_st st)
393{
394 switch (st) {
395 case FCGI_CS_INIT : return "INI";
396 case FCGI_CS_SETTINGS : return "STG";
397 case FCGI_CS_RECORD_H : return "RDH";
398 case FCGI_CS_RECORD_D : return "RDD";
399 case FCGI_CS_RECORD_P : return "RDP";
400 case FCGI_CS_CLOSED : return "CLO";
401 default : return "???";
402 }
403}
404
405/* returns a fstrm state as an abbreviated 3-letter string, or "???" if unknown */
406static inline const char *fstrm_st_to_str(enum fcgi_strm_st st)
407{
408 switch (st) {
409 case FCGI_SS_IDLE : return "IDL";
410 case FCGI_SS_OPEN : return "OPN";
411 case FCGI_SS_HREM : return "RCL";
412 case FCGI_SS_HLOC : return "HCL";
413 case FCGI_SS_ERROR : return "ERR";
414 case FCGI_SS_CLOSED : return "CLO";
415 default : return "???";
416 }
417}
418
419
420/* the FCGI traces always expect that arg1, if non-null, is of type connection
421 * (from which we can derive fconn), that arg2, if non-null, is of type fstrm,
422 * and that arg3, if non-null, is a htx for rx/tx headers.
423 */
424static void fcgi_trace(enum trace_level level, uint64_t mask, const struct trace_source *src,
425 const struct ist where, const struct ist func,
426 const void *a1, const void *a2, const void *a3, const void *a4)
427{
428 const struct connection *conn = a1;
Willy Tarreau31a83062022-01-28 09:36:35 +0100429 struct fcgi_conn *fconn = conn ? conn->ctx : NULL;
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200430 const struct fcgi_strm *fstrm = a2;
431 const struct htx *htx = a3;
432 const size_t *val = a4;
433
434 if (!fconn)
435 fconn = (fstrm ? fstrm->fconn : NULL);
436
437 if (!fconn || src->verbosity < FCGI_VERB_CLEAN)
438 return;
439
440 /* Display the response state if fstrm is defined */
441 if (fstrm)
442 chunk_appendf(&trace_buf, " [rsp:%s]", h1m_state_str(fstrm->h1m.state));
443
444 if (src->verbosity == FCGI_VERB_CLEAN)
445 return;
446
447 /* Display the value to the 4th argument (level > STATE) */
448 if (src->level > TRACE_LEVEL_STATE && val)
Willy Tarreaue18f53e2019-11-27 15:41:31 +0100449 chunk_appendf(&trace_buf, " - VAL=%lu", (long)*val);
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200450
451 /* Display status-line if possible (verbosity > MINIMAL) */
452 if (src->verbosity > FCGI_VERB_MINIMAL && htx && htx_nbblks(htx)) {
453 const struct htx_blk *blk = htx_get_head_blk(htx);
454 const struct htx_sl *sl = htx_get_blk_ptr(htx, blk);
455 enum htx_blk_type type = htx_get_blk_type(blk);
456
457 if (type == HTX_BLK_REQ_SL || type == HTX_BLK_RES_SL)
458 chunk_appendf(&trace_buf, " - \"%.*s %.*s %.*s\"",
459 HTX_SL_P1_LEN(sl), HTX_SL_P1_PTR(sl),
460 HTX_SL_P2_LEN(sl), HTX_SL_P2_PTR(sl),
461 HTX_SL_P3_LEN(sl), HTX_SL_P3_PTR(sl));
462 }
463
464 /* Display fconn info and, if defined, fstrm info */
465 chunk_appendf(&trace_buf, " - fconn=%p(%s,0x%08x)", fconn, fconn_st_to_str(fconn->state), fconn->flags);
466 if (fstrm)
467 chunk_appendf(&trace_buf, " fstrm=%p(%d,%s,0x%08x)", fstrm, fstrm->id, fstrm_st_to_str(fstrm->state), fstrm->flags);
468
469 if (!fstrm || fstrm->id <= 0)
470 chunk_appendf(&trace_buf, " dsi=%d", fconn->dsi);
471 if (fconn->dsi >= 0 && (mask & FCGI_EV_RX_FHDR))
472 chunk_appendf(&trace_buf, " drt=%s", fcgi_rt_str(fconn->drt));
473
474 if (src->verbosity == FCGI_VERB_MINIMAL)
475 return;
476
477 /* Display mbuf and dbuf info (level > USER & verbosity > SIMPLE) */
478 if (src->level > TRACE_LEVEL_USER) {
479 if (src->verbosity == FCGI_VERB_COMPLETE ||
480 (src->verbosity == FCGI_VERB_ADVANCED && (mask & (FCGI_EV_FCONN_RECV|FCGI_EV_RX_RECORD))))
481 chunk_appendf(&trace_buf, " dbuf=%u@%p+%u/%u",
482 (unsigned int)b_data(&fconn->dbuf), b_orig(&fconn->dbuf),
483 (unsigned int)b_head_ofs(&fconn->dbuf), (unsigned int)b_size(&fconn->dbuf));
484 if (src->verbosity == FCGI_VERB_COMPLETE ||
485 (src->verbosity == FCGI_VERB_ADVANCED && (mask & (FCGI_EV_FCONN_SEND|FCGI_EV_TX_RECORD)))) {
Willy Tarreau31a83062022-01-28 09:36:35 +0100486 struct buffer *hmbuf = br_head(fconn->mbuf);
487 struct buffer *tmbuf = br_tail(fconn->mbuf);
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200488
489 chunk_appendf(&trace_buf, " .mbuf=[%u..%u|%u],h=[%u@%p+%u/%u],t=[%u@%p+%u/%u]",
490 br_head_idx(fconn->mbuf), br_tail_idx(fconn->mbuf), br_size(fconn->mbuf),
491 (unsigned int)b_data(hmbuf), b_orig(hmbuf),
492 (unsigned int)b_head_ofs(hmbuf), (unsigned int)b_size(hmbuf),
493 (unsigned int)b_data(tmbuf), b_orig(tmbuf),
494 (unsigned int)b_head_ofs(tmbuf), (unsigned int)b_size(tmbuf));
495 }
496
497 if (fstrm && (src->verbosity == FCGI_VERB_COMPLETE ||
498 (src->verbosity == FCGI_VERB_ADVANCED && (mask & (FCGI_EV_STRM_RECV|FCGI_EV_RSP_DATA)))))
499 chunk_appendf(&trace_buf, " rxbuf=%u@%p+%u/%u",
500 (unsigned int)b_data(&fstrm->rxbuf), b_orig(&fstrm->rxbuf),
501 (unsigned int)b_head_ofs(&fstrm->rxbuf), (unsigned int)b_size(&fstrm->rxbuf));
502 }
503
504 /* Display htx info if defined (level > USER) */
505 if (src->level > TRACE_LEVEL_USER && htx) {
506 int full = 0;
507
508 /* Full htx info (level > STATE && verbosity > SIMPLE) */
509 if (src->level > TRACE_LEVEL_STATE) {
510 if (src->verbosity == FCGI_VERB_COMPLETE)
511 full = 1;
512 else if (src->verbosity == FCGI_VERB_ADVANCED && (mask & (FCGI_EV_RSP_HDRS|FCGI_EV_TX_PARAMS)))
513 full = 1;
514 }
515
516 chunk_memcat(&trace_buf, "\n\t", 2);
517 htx_dump(&trace_buf, htx, full);
518 }
519}
Christopher Faulet99eff652019-08-11 23:11:30 +0200520
521/*****************************************************/
522/* functions below are for dynamic buffer management */
523/*****************************************************/
524
525/* Indicates whether or not the we may call the fcgi_recv() function to attempt
526 * to receive data into the buffer and/or demux pending data. The condition is
527 * a bit complex due to some API limits for now. The rules are the following :
528 * - if an error or a shutdown was detected on the connection and the buffer
529 * is empty, we must not attempt to receive
530 * - if the demux buf failed to be allocated, we must not try to receive and
531 * we know there is nothing pending
532 * - if no flag indicates a blocking condition, we may attempt to receive,
533 * regardless of whether the demux buffer is full or not, so that only
534 * de demux part decides whether or not to block. This is needed because
535 * the connection API indeed prevents us from re-enabling receipt that is
536 * already enabled in a polled state, so we must always immediately stop
537 * as soon as the demux can't proceed so as never to hit an end of read
538 * with data pending in the buffers.
539 * - otherwise must may not attempt
540 */
541static inline int fcgi_recv_allowed(const struct fcgi_conn *fconn)
542{
543 if (b_data(&fconn->dbuf) == 0 &&
544 (fconn->state == FCGI_CS_CLOSED ||
545 fconn->conn->flags & CO_FL_ERROR ||
546 conn_xprt_read0_pending(fconn->conn)))
547 return 0;
548
549 if (!(fconn->flags & FCGI_CF_DEM_DALLOC) &&
550 !(fconn->flags & FCGI_CF_DEM_BLOCK_ANY))
551 return 1;
552
553 return 0;
554}
555
556/* Restarts reading on the connection if it was not enabled */
557static inline void fcgi_conn_restart_reading(const struct fcgi_conn *fconn, int consider_buffer)
558{
559 if (!fcgi_recv_allowed(fconn))
560 return;
561 if ((!consider_buffer || !b_data(&fconn->dbuf)) &&
562 (fconn->wait_event.events & SUB_RETRY_RECV))
563 return;
564 tasklet_wakeup(fconn->wait_event.tasklet);
565}
566
567
568/* Tries to grab a buffer and to re-enable processing on mux <target>. The
569 * fcgi_conn flags are used to figure what buffer was requested. It returns 1 if
570 * the allocation succeeds, in which case the connection is woken up, or 0 if
571 * it's impossible to wake up and we prefer to be woken up later.
572 */
573static int fcgi_buf_available(void *target)
574{
575 struct fcgi_conn *fconn = target;
576 struct fcgi_strm *fstrm;
577
Willy Tarreaud68d4f12021-03-22 14:44:31 +0100578 if ((fconn->flags & FCGI_CF_DEM_DALLOC) && b_alloc(&fconn->dbuf)) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200579 TRACE_STATE("unblocking fconn, dbuf allocated", FCGI_EV_FCONN_RECV|FCGI_EV_FCONN_BLK|FCGI_EV_FCONN_WAKE, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +0200580 fconn->flags &= ~FCGI_CF_DEM_DALLOC;
581 fcgi_conn_restart_reading(fconn, 1);
582 return 1;
583 }
584
Willy Tarreaud68d4f12021-03-22 14:44:31 +0100585 if ((fconn->flags & FCGI_CF_MUX_MALLOC) && b_alloc(br_tail(fconn->mbuf))) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200586 TRACE_STATE("unblocking fconn, mbuf allocated", FCGI_EV_FCONN_SEND|FCGI_EV_FCONN_BLK|FCGI_EV_FCONN_WAKE, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +0200587 fconn->flags &= ~FCGI_CF_MUX_MALLOC;
Christopher Faulet99eff652019-08-11 23:11:30 +0200588 if (fconn->flags & FCGI_CF_DEM_MROOM) {
589 fconn->flags &= ~FCGI_CF_DEM_MROOM;
590 fcgi_conn_restart_reading(fconn, 1);
591 }
592 return 1;
593 }
594
595 if ((fconn->flags & FCGI_CF_DEM_SALLOC) &&
596 (fstrm = fcgi_conn_st_by_id(fconn, fconn->dsi)) && fstrm->cs &&
Willy Tarreaud68d4f12021-03-22 14:44:31 +0100597 b_alloc(&fstrm->rxbuf)) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200598 TRACE_STATE("unblocking fstrm, rxbuf allocated", FCGI_EV_STRM_RECV|FCGI_EV_FSTRM_BLK|FCGI_EV_STRM_WAKE, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +0200599 fconn->flags &= ~FCGI_CF_DEM_SALLOC;
600 fcgi_conn_restart_reading(fconn, 1);
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200601 fcgi_strm_notify_recv(fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +0200602 return 1;
603 }
604
605 return 0;
606}
607
608static inline struct buffer *fcgi_get_buf(struct fcgi_conn *fconn, struct buffer *bptr)
609{
610 struct buffer *buf = NULL;
611
Willy Tarreau2b718102021-04-21 07:32:39 +0200612 if (likely(!LIST_INLIST(&fconn->buf_wait.list)) &&
Willy Tarreaud68d4f12021-03-22 14:44:31 +0100613 unlikely((buf = b_alloc(bptr)) == NULL)) {
Christopher Faulet99eff652019-08-11 23:11:30 +0200614 fconn->buf_wait.target = fconn;
615 fconn->buf_wait.wakeup_cb = fcgi_buf_available;
Willy Tarreaub4e34762021-09-30 19:02:18 +0200616 LIST_APPEND(&th_ctx->buffer_wq, &fconn->buf_wait.list);
Christopher Faulet99eff652019-08-11 23:11:30 +0200617 }
618 return buf;
619}
620
621static inline void fcgi_release_buf(struct fcgi_conn *fconn, struct buffer *bptr)
622{
623 if (bptr->size) {
624 b_free(bptr);
Willy Tarreau4d77bbf2021-02-20 12:02:46 +0100625 offer_buffers(NULL, 1);
Christopher Faulet99eff652019-08-11 23:11:30 +0200626 }
627}
628
629static inline void fcgi_release_mbuf(struct fcgi_conn *fconn)
630{
631 struct buffer *buf;
632 unsigned int count = 0;
633
634 while (b_size(buf = br_head_pick(fconn->mbuf))) {
635 b_free(buf);
636 count++;
637 }
638 if (count)
Willy Tarreau4d77bbf2021-02-20 12:02:46 +0100639 offer_buffers(NULL, count);
Christopher Faulet99eff652019-08-11 23:11:30 +0200640}
641
642/* Returns the number of allocatable outgoing streams for the connection taking
643 * the number reserved streams into account.
644 */
645static inline int fcgi_streams_left(const struct fcgi_conn *fconn)
646{
647 int ret;
648
649 ret = (unsigned int)(0x7FFF - fconn->max_id) - fconn->nb_reserved - 1;
650 if (ret < 0)
651 ret = 0;
652 return ret;
653}
654
655/* Returns the number of streams in use on a connection to figure if it's
656 * idle or not. We check nb_cs and not nb_streams as the caller will want
657 * to know if it was the last one after a detach().
658 */
659static int fcgi_used_streams(struct connection *conn)
660{
661 struct fcgi_conn *fconn = conn->ctx;
662
663 return fconn->nb_cs;
664}
665
666/* Returns the number of concurrent streams available on the connection */
667static int fcgi_avail_streams(struct connection *conn)
668{
669 struct server *srv = objt_server(conn->target);
670 struct fcgi_conn *fconn = conn->ctx;
671 int ret1, ret2;
672
673 /* Don't open new stream if the connection is closed */
674 if (fconn->state == FCGI_CS_CLOSED)
675 return 0;
676
677 /* May be negative if this setting has changed */
678 ret1 = (fconn->streams_limit - fconn->nb_streams);
679
680 /* we must also consider the limit imposed by stream IDs */
681 ret2 = fcgi_streams_left(fconn);
682 ret1 = MIN(ret1, ret2);
683 if (ret1 > 0 && srv && srv->max_reuse >= 0) {
684 ret2 = ((fconn->stream_cnt <= srv->max_reuse) ? srv->max_reuse - fconn->stream_cnt + 1: 0);
685 ret1 = MIN(ret1, ret2);
686 }
687 return ret1;
688}
689
690/*****************************************************************/
691/* functions below are dedicated to the mux setup and management */
692/*****************************************************************/
693
694/* Initializes the mux once it's attached. Only outgoing connections are
695 * supported. So the context is already initialized before installing the
696 * mux. <input> is always used as Input buffer and may contain data. It is the
697 * caller responsibility to not reuse it anymore. Returns < 0 on error.
698 */
699static int fcgi_init(struct connection *conn, struct proxy *px, struct session *sess,
700 struct buffer *input)
701{
702 struct fcgi_conn *fconn;
703 struct fcgi_strm *fstrm;
704 struct fcgi_app *app = get_px_fcgi_app(px);
705 struct task *t = NULL;
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200706 void *conn_ctx = conn->ctx;
707
708 TRACE_ENTER(FCGI_EV_FSTRM_NEW);
Christopher Faulet99eff652019-08-11 23:11:30 +0200709
Christopher Faulet73518be2021-01-27 12:06:54 +0100710 if (!app) {
711 TRACE_ERROR("No FCGI app found, don't create fconn", FCGI_EV_FCONN_NEW|FCGI_EV_FCONN_END|FCGI_EV_FCONN_ERR);
Christopher Faulet99eff652019-08-11 23:11:30 +0200712 goto fail_conn;
Christopher Faulet73518be2021-01-27 12:06:54 +0100713 }
Christopher Faulet99eff652019-08-11 23:11:30 +0200714
715 fconn = pool_alloc(pool_head_fcgi_conn);
Christopher Faulet73518be2021-01-27 12:06:54 +0100716 if (!fconn) {
717 TRACE_ERROR("fconn allocation failure", FCGI_EV_FCONN_NEW|FCGI_EV_FCONN_END|FCGI_EV_FCONN_ERR);
Christopher Faulet99eff652019-08-11 23:11:30 +0200718 goto fail_conn;
Christopher Faulet73518be2021-01-27 12:06:54 +0100719 }
Christopher Faulet99eff652019-08-11 23:11:30 +0200720
721 fconn->shut_timeout = fconn->timeout = px->timeout.server;
722 if (tick_isset(px->timeout.serverfin))
723 fconn->shut_timeout = px->timeout.serverfin;
724
725 fconn->flags = FCGI_CF_NONE;
726
Ilya Shipitsin6fb0f212020-04-02 15:25:26 +0500727 /* Retrieve useful info from the FCGI app */
Christopher Faulet99eff652019-08-11 23:11:30 +0200728 if (app->flags & FCGI_APP_FL_KEEP_CONN)
729 fconn->flags |= FCGI_CF_KEEP_CONN;
730 if (app->flags & FCGI_APP_FL_GET_VALUES)
731 fconn->flags |= FCGI_CF_GET_VALUES;
732 if (app->flags & FCGI_APP_FL_MPXS_CONNS)
733 fconn->flags |= FCGI_CF_MPXS_CONNS;
734
735 fconn->proxy = px;
736 fconn->app = app;
737 fconn->task = NULL;
738 if (tick_isset(fconn->timeout)) {
Willy Tarreaubeeabf52021-10-01 18:23:30 +0200739 t = task_new_here();
Christopher Faulet73518be2021-01-27 12:06:54 +0100740 if (!t) {
741 TRACE_ERROR("fconn task allocation failure", FCGI_EV_FCONN_NEW|FCGI_EV_FCONN_END|FCGI_EV_FCONN_ERR);
Christopher Faulet99eff652019-08-11 23:11:30 +0200742 goto fail;
Christopher Faulet73518be2021-01-27 12:06:54 +0100743 }
Christopher Faulet99eff652019-08-11 23:11:30 +0200744
745 fconn->task = t;
746 t->process = fcgi_timeout_task;
747 t->context = fconn;
748 t->expire = tick_add(now_ms, fconn->timeout);
749 }
750
751 fconn->wait_event.tasklet = tasklet_new();
752 if (!fconn->wait_event.tasklet)
753 goto fail;
754 fconn->wait_event.tasklet->process = fcgi_io_cb;
755 fconn->wait_event.tasklet->context = fconn;
756 fconn->wait_event.events = 0;
757
758 /* Initialise the context. */
759 fconn->state = FCGI_CS_INIT;
760 fconn->conn = conn;
761 fconn->streams_limit = app->maxreqs;
762 fconn->max_id = -1;
763 fconn->nb_streams = 0;
764 fconn->nb_cs = 0;
765 fconn->nb_reserved = 0;
766 fconn->stream_cnt = 0;
767
768 fconn->dbuf = *input;
769 fconn->dsi = -1;
770
771 br_init(fconn->mbuf, sizeof(fconn->mbuf) / sizeof(fconn->mbuf[0]));
772 fconn->streams_by_id = EB_ROOT;
773 LIST_INIT(&fconn->send_list);
Willy Tarreau90f366b2021-02-20 11:49:49 +0100774 LIST_INIT(&fconn->buf_wait.list);
Christopher Faulet99eff652019-08-11 23:11:30 +0200775
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200776 conn->ctx = fconn;
777
Christopher Faulet99eff652019-08-11 23:11:30 +0200778 if (t)
779 task_queue(t);
780
781 /* FIXME: this is temporary, for outgoing connections we need to
782 * immediately allocate a stream until the code is modified so that the
783 * caller calls ->attach(). For now the outgoing cs is stored as
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200784 * conn->ctx by the caller and saved in conn_ctx.
Christopher Faulet99eff652019-08-11 23:11:30 +0200785 */
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200786 fstrm = fcgi_conn_stream_new(fconn, conn_ctx, sess);
Christopher Faulet99eff652019-08-11 23:11:30 +0200787 if (!fstrm)
788 goto fail;
789
Christopher Faulet99eff652019-08-11 23:11:30 +0200790
791 /* Repare to read something */
792 fcgi_conn_restart_reading(fconn, 1);
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200793 TRACE_LEAVE(FCGI_EV_FCONN_NEW, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +0200794 return 0;
795
796 fail:
797 task_destroy(t);
798 if (fconn->wait_event.tasklet)
799 tasklet_free(fconn->wait_event.tasklet);
800 pool_free(pool_head_fcgi_conn, fconn);
801 fail_conn:
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200802 conn->ctx = conn_ctx; // restore saved ctx
803 TRACE_DEVEL("leaving in error", FCGI_EV_FCONN_NEW|FCGI_EV_FCONN_END|FCGI_EV_FCONN_ERR);
Christopher Faulet99eff652019-08-11 23:11:30 +0200804 return -1;
805}
806
807/* Returns the next allocatable outgoing stream ID for the FCGI connection, or
808 * -1 if no more is allocatable.
809 */
810static inline int32_t fcgi_conn_get_next_sid(const struct fcgi_conn *fconn)
811{
812 int32_t id = (fconn->max_id + 1) | 1;
813
814 if ((id & 0x80000000U))
815 id = -1;
816 return id;
817}
818
819/* Returns the stream associated with id <id> or NULL if not found */
820static inline struct fcgi_strm *fcgi_conn_st_by_id(struct fcgi_conn *fconn, int id)
821{
822 struct eb32_node *node;
823
824 if (id == 0)
825 return (struct fcgi_strm *)fcgi_mgmt_stream;
826
827 if (id > fconn->max_id)
828 return (struct fcgi_strm *)fcgi_unknown_stream;
829
830 node = eb32_lookup(&fconn->streams_by_id, id);
831 if (!node)
832 return (struct fcgi_strm *)fcgi_unknown_stream;
833 return container_of(node, struct fcgi_strm, by_id);
834}
835
836
837/* Release function. This one should be called to free all resources allocated
838 * to the mux.
839 */
840static void fcgi_release(struct fcgi_conn *fconn)
841{
William Dauchy477757c2020-08-07 22:19:23 +0200842 struct connection *conn = NULL;
Christopher Faulet99eff652019-08-11 23:11:30 +0200843
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200844 TRACE_POINT(FCGI_EV_FCONN_END);
845
Christopher Faulet99eff652019-08-11 23:11:30 +0200846 if (fconn) {
847 /* The connection must be attached to this mux to be released */
848 if (fconn->conn && fconn->conn->ctx == fconn)
849 conn = fconn->conn;
850
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200851 TRACE_DEVEL("freeing fconn", FCGI_EV_FCONN_END, conn);
852
Willy Tarreau2b718102021-04-21 07:32:39 +0200853 if (LIST_INLIST(&fconn->buf_wait.list))
Willy Tarreau90f366b2021-02-20 11:49:49 +0100854 LIST_DEL_INIT(&fconn->buf_wait.list);
Christopher Faulet99eff652019-08-11 23:11:30 +0200855
856 fcgi_release_buf(fconn, &fconn->dbuf);
857 fcgi_release_mbuf(fconn);
858
859 if (fconn->task) {
860 fconn->task->context = NULL;
861 task_wakeup(fconn->task, TASK_WOKEN_OTHER);
862 fconn->task = NULL;
863 }
864 if (fconn->wait_event.tasklet)
865 tasklet_free(fconn->wait_event.tasklet);
Christopher Fauleta99db932019-09-18 11:11:46 +0200866 if (conn && fconn->wait_event.events != 0)
Christopher Faulet99eff652019-08-11 23:11:30 +0200867 conn->xprt->unsubscribe(conn, conn->xprt_ctx, fconn->wait_event.events,
868 &fconn->wait_event);
Christopher Faulet8694f252020-05-02 09:17:52 +0200869
870 pool_free(pool_head_fcgi_conn, fconn);
Christopher Faulet99eff652019-08-11 23:11:30 +0200871 }
872
873 if (conn) {
874 conn->mux = NULL;
875 conn->ctx = NULL;
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200876 TRACE_DEVEL("freeing conn", FCGI_EV_FCONN_END, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +0200877
878 conn_stop_tracking(conn);
879 conn_full_close(conn);
880 if (conn->destroy_cb)
881 conn->destroy_cb(conn);
882 conn_free(conn);
883 }
884}
885
Christopher Faulet6670e3e2020-10-08 15:26:33 +0200886/* Detect a pending read0 for a FCGI connection. It happens if a read0 is
887 * pending on the connection AND if there is no more data in the demux
888 * buffer. The function returns 1 to report a read0 or 0 otherwise.
889 */
890static int fcgi_conn_read0_pending(struct fcgi_conn *fconn)
891{
892 if (conn_xprt_read0_pending(fconn->conn) && !b_data(&fconn->dbuf))
893 return 1;
894 return 0;
895}
896
Christopher Faulet99eff652019-08-11 23:11:30 +0200897
Ilya Shipitsin6fb0f212020-04-02 15:25:26 +0500898/* Returns true if the FCGI connection must be release */
Christopher Faulet99eff652019-08-11 23:11:30 +0200899static inline int fcgi_conn_is_dead(struct fcgi_conn *fconn)
900{
901 if (eb_is_empty(&fconn->streams_by_id) && /* don't close if streams exist */
902 (!(fconn->flags & FCGI_CF_KEEP_CONN) || /* don't keep the connection alive */
903 (fconn->conn->flags & CO_FL_ERROR) || /* errors close immediately */
904 (fconn->state == FCGI_CS_CLOSED && !fconn->task) ||/* a timeout stroke earlier */
905 (!(fconn->conn->owner)) || /* Nobody's left to take care of the connection, drop it now */
906 (!br_data(fconn->mbuf) && /* mux buffer empty, also process clean events below */
907 conn_xprt_read0_pending(fconn->conn))))
908 return 1;
909 return 0;
910}
911
912
913/********************************************************/
914/* functions below are for the FCGI protocol processing */
915/********************************************************/
916
Christopher Faulet99eff652019-08-11 23:11:30 +0200917/* Marks an error on the stream. */
918static inline void fcgi_strm_error(struct fcgi_strm *fstrm)
919{
920 if (fstrm->id && fstrm->state != FCGI_SS_ERROR) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200921 TRACE_POINT(FCGI_EV_FSTRM_ERR, fstrm->fconn->conn, fstrm);
922 if (fstrm->state < FCGI_SS_ERROR) {
Christopher Faulet99eff652019-08-11 23:11:30 +0200923 fstrm->state = FCGI_SS_ERROR;
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200924 TRACE_STATE("switching to ERROR", FCGI_EV_FSTRM_ERR, fstrm->fconn->conn, fstrm);
925 }
Christopher Faulet99eff652019-08-11 23:11:30 +0200926 if (fstrm->cs)
927 cs_set_error(fstrm->cs);
928 }
929}
930
931/* Attempts to notify the data layer of recv availability */
932static void fcgi_strm_notify_recv(struct fcgi_strm *fstrm)
933{
Willy Tarreau8907e4d2020-01-16 17:55:37 +0100934 if (fstrm->subs && (fstrm->subs->events & SUB_RETRY_RECV)) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200935 TRACE_POINT(FCGI_EV_STRM_WAKE, fstrm->fconn->conn, fstrm);
Willy Tarreau8907e4d2020-01-16 17:55:37 +0100936 tasklet_wakeup(fstrm->subs->tasklet);
937 fstrm->subs->events &= ~SUB_RETRY_RECV;
938 if (!fstrm->subs->events)
939 fstrm->subs = NULL;
Christopher Faulet99eff652019-08-11 23:11:30 +0200940 }
941}
942
943/* Attempts to notify the data layer of send availability */
944static void fcgi_strm_notify_send(struct fcgi_strm *fstrm)
945{
Willy Tarreau8907e4d2020-01-16 17:55:37 +0100946 if (fstrm->subs && (fstrm->subs->events & SUB_RETRY_SEND)) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200947 TRACE_POINT(FCGI_EV_STRM_WAKE, fstrm->fconn->conn, fstrm);
Willy Tarreauf11be0e2020-01-16 16:59:45 +0100948 fstrm->flags |= FCGI_SF_NOTIFIED;
Willy Tarreau8907e4d2020-01-16 17:55:37 +0100949 tasklet_wakeup(fstrm->subs->tasklet);
950 fstrm->subs->events &= ~SUB_RETRY_SEND;
951 if (!fstrm->subs->events)
952 fstrm->subs = NULL;
Christopher Faulet99eff652019-08-11 23:11:30 +0200953 }
Willy Tarreau7aad7032020-01-16 17:20:57 +0100954 else if (fstrm->flags & (FCGI_SF_WANT_SHUTR | FCGI_SF_WANT_SHUTW)) {
955 TRACE_POINT(FCGI_EV_STRM_WAKE, fstrm->fconn->conn, fstrm);
956 tasklet_wakeup(fstrm->shut_tl);
957 }
Christopher Faulet99eff652019-08-11 23:11:30 +0200958}
959
960/* Alerts the data layer, trying to wake it up by all means, following
961 * this sequence :
962 * - if the fcgi stream' data layer is subscribed to recv, then it's woken up
963 * for recv
964 * - if its subscribed to send, then it's woken up for send
965 * - if it was subscribed to neither, its ->wake() callback is called
966 * It is safe to call this function with a closed stream which doesn't have a
967 * conn_stream anymore.
968 */
969static void fcgi_strm_alert(struct fcgi_strm *fstrm)
970{
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200971 TRACE_POINT(FCGI_EV_STRM_WAKE, fstrm->fconn->conn, fstrm);
Willy Tarreau8907e4d2020-01-16 17:55:37 +0100972 if (fstrm->subs ||
Willy Tarreau7aad7032020-01-16 17:20:57 +0100973 (fstrm->flags & (FCGI_SF_WANT_SHUTR|FCGI_SF_WANT_SHUTW))) {
Christopher Faulet99eff652019-08-11 23:11:30 +0200974 fcgi_strm_notify_recv(fstrm);
975 fcgi_strm_notify_send(fstrm);
976 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200977 else if (fstrm->cs && fstrm->cs->data_cb->wake != NULL) {
978 TRACE_POINT(FCGI_EV_STRM_WAKE, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +0200979 fstrm->cs->data_cb->wake(fstrm->cs);
Christopher Faulet5c0f8592019-10-04 15:21:17 +0200980 }
Christopher Faulet99eff652019-08-11 23:11:30 +0200981}
982
983/* Writes the 16-bit record size <len> at address <record> */
984static inline void fcgi_set_record_size(void *record, uint16_t len)
985{
986 uint8_t *out = (record + 4);
987
988 *out = (len >> 8);
989 *(out + 1) = (len & 0xff);
990}
991
992/* Writes the 16-bit stream id <id> at address <record> */
993static inline void fcgi_set_record_id(void *record, uint16_t id)
994{
995 uint8_t *out = (record + 2);
996
997 *out = (id >> 8);
998 *(out + 1) = (id & 0xff);
999}
1000
1001/* Marks a FCGI stream as CLOSED and decrement the number of active streams for
1002 * its connection if the stream was not yet closed. Please use this exclusively
1003 * before closing a stream to ensure stream count is well maintained.
1004 */
1005static inline void fcgi_strm_close(struct fcgi_strm *fstrm)
1006{
1007 if (fstrm->state != FCGI_SS_CLOSED) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001008 TRACE_ENTER(FCGI_EV_FSTRM_END, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001009 fstrm->fconn->nb_streams--;
1010 if (!fstrm->id)
1011 fstrm->fconn->nb_reserved--;
1012 if (fstrm->cs) {
1013 if (!(fstrm->cs->flags & CS_FL_EOS) && !b_data(&fstrm->rxbuf))
1014 fcgi_strm_notify_recv(fstrm);
1015 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001016 fstrm->state = FCGI_SS_CLOSED;
1017 TRACE_STATE("switching to CLOSED", FCGI_EV_FSTRM_END, fstrm->fconn->conn, fstrm);
1018 TRACE_LEAVE(FCGI_EV_FSTRM_END, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001019 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001020}
1021
1022/* Detaches a FCGI stream from its FCGI connection and releases it to the
1023 * fcgi_strm pool.
1024 */
1025static void fcgi_strm_destroy(struct fcgi_strm *fstrm)
1026{
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001027 struct connection *conn = fstrm->fconn->conn;
1028
1029 TRACE_ENTER(FCGI_EV_FSTRM_END, conn, fstrm);
1030
Christopher Faulet99eff652019-08-11 23:11:30 +02001031 fcgi_strm_close(fstrm);
1032 eb32_delete(&fstrm->by_id);
1033 if (b_size(&fstrm->rxbuf)) {
1034 b_free(&fstrm->rxbuf);
Willy Tarreau4d77bbf2021-02-20 12:02:46 +01001035 offer_buffers(NULL, 1);
Christopher Faulet99eff652019-08-11 23:11:30 +02001036 }
Willy Tarreau8907e4d2020-01-16 17:55:37 +01001037 if (fstrm->subs)
1038 fstrm->subs->events = 0;
Christopher Faulet99eff652019-08-11 23:11:30 +02001039 /* There's no need to explicitly call unsubscribe here, the only
1040 * reference left would be in the fconn send_list/fctl_list, and if
1041 * we're in it, we're getting out anyway
1042 */
1043 LIST_DEL_INIT(&fstrm->send_list);
Willy Tarreau7aad7032020-01-16 17:20:57 +01001044 tasklet_free(fstrm->shut_tl);
Christopher Faulet99eff652019-08-11 23:11:30 +02001045 pool_free(pool_head_fcgi_strm, fstrm);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001046
1047 TRACE_LEAVE(FCGI_EV_FSTRM_END, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001048}
1049
1050/* Allocates a new stream <id> for connection <fconn> and adds it into fconn's
1051 * stream tree. In case of error, nothing is added and NULL is returned. The
1052 * causes of errors can be any failed memory allocation. The caller is
1053 * responsible for checking if the connection may support an extra stream prior
1054 * to calling this function.
1055 */
1056static struct fcgi_strm *fcgi_strm_new(struct fcgi_conn *fconn, int id)
1057{
1058 struct fcgi_strm *fstrm;
1059
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001060 TRACE_ENTER(FCGI_EV_FSTRM_NEW, fconn->conn);
1061
Christopher Faulet99eff652019-08-11 23:11:30 +02001062 fstrm = pool_alloc(pool_head_fcgi_strm);
Christopher Faulet73518be2021-01-27 12:06:54 +01001063 if (!fstrm) {
1064 TRACE_ERROR("fstrm allocation failure", FCGI_EV_FSTRM_NEW|FCGI_EV_FSTRM_ERR|FCGI_EV_FSTRM_END, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001065 goto out;
Christopher Faulet73518be2021-01-27 12:06:54 +01001066 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001067
Willy Tarreau7aad7032020-01-16 17:20:57 +01001068 fstrm->shut_tl = tasklet_new();
1069 if (!fstrm->shut_tl) {
Christopher Faulet73518be2021-01-27 12:06:54 +01001070 TRACE_ERROR("fstrm shut tasklet allocation failure", FCGI_EV_FSTRM_NEW|FCGI_EV_FSTRM_ERR|FCGI_EV_FSTRM_END, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001071 pool_free(pool_head_fcgi_strm, fstrm);
1072 goto out;
1073 }
Willy Tarreau8907e4d2020-01-16 17:55:37 +01001074 fstrm->subs = NULL;
Willy Tarreau7aad7032020-01-16 17:20:57 +01001075 fstrm->shut_tl->process = fcgi_deferred_shut;
1076 fstrm->shut_tl->context = fstrm;
Christopher Faulet99eff652019-08-11 23:11:30 +02001077 LIST_INIT(&fstrm->send_list);
Christopher Faulet99eff652019-08-11 23:11:30 +02001078 fstrm->fconn = fconn;
1079 fstrm->cs = NULL;
1080 fstrm->flags = FCGI_SF_NONE;
1081 fstrm->proto_status = 0;
1082 fstrm->state = FCGI_SS_IDLE;
1083 fstrm->rxbuf = BUF_NULL;
1084
1085 h1m_init_res(&fstrm->h1m);
1086 fstrm->h1m.err_pos = -1; // don't care about errors on the request path
1087 fstrm->h1m.flags |= (H1_MF_NO_PHDR|H1_MF_CLEAN_CONN_HDR);
1088
1089 fstrm->by_id.key = fstrm->id = id;
1090 if (id > 0)
1091 fconn->max_id = id;
1092 else
1093 fconn->nb_reserved++;
1094
1095 eb32_insert(&fconn->streams_by_id, &fstrm->by_id);
1096 fconn->nb_streams++;
1097 fconn->stream_cnt++;
1098
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001099 TRACE_LEAVE(FCGI_EV_FSTRM_NEW, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001100 return fstrm;
1101
1102 out:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001103 TRACE_DEVEL("leaving in error", FCGI_EV_FSTRM_NEW|FCGI_EV_FSTRM_ERR|FCGI_EV_FSTRM_END, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001104 return NULL;
1105}
1106
1107/* Allocates a new stream associated to conn_stream <cs> on the FCGI connection
1108 * <fconn> and returns it, or NULL in case of memory allocation error or if the
1109 * highest possible stream ID was reached.
1110 */
1111static struct fcgi_strm *fcgi_conn_stream_new(struct fcgi_conn *fconn, struct conn_stream *cs,
1112 struct session *sess)
1113{
1114 struct fcgi_strm *fstrm = NULL;
1115
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001116 TRACE_ENTER(FCGI_EV_FSTRM_NEW, fconn->conn);
1117 if (fconn->nb_streams >= fconn->streams_limit) {
Christopher Faulet73518be2021-01-27 12:06:54 +01001118 TRACE_ERROR("streams_limit reached", FCGI_EV_FSTRM_NEW|FCGI_EV_FSTRM_END|FCGI_EV_FSTRM_ERR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001119 goto out;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001120 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001121
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001122 if (fcgi_streams_left(fconn) < 1) {
Christopher Faulet73518be2021-01-27 12:06:54 +01001123 TRACE_ERROR("!streams_left", FCGI_EV_FSTRM_NEW|FCGI_EV_FSTRM_END|FCGI_EV_FSTRM_ERR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001124 goto out;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001125 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001126
1127 /* Defer choosing the ID until we send the first message to create the stream */
1128 fstrm = fcgi_strm_new(fconn, 0);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001129 if (!fstrm) {
Christopher Faulet73518be2021-01-27 12:06:54 +01001130 TRACE_ERROR("fstream allocation failure", FCGI_EV_FSTRM_NEW|FCGI_EV_FSTRM_END|FCGI_EV_FSTRM_ERR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001131 goto out;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001132 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001133
1134 fstrm->cs = cs;
1135 fstrm->sess = sess;
1136 cs->ctx = fstrm;
1137 fconn->nb_cs++;
1138
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001139 TRACE_LEAVE(FCGI_EV_FSTRM_NEW, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001140 return fstrm;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001141
1142 out:
Christopher Faulet73518be2021-01-27 12:06:54 +01001143 TRACE_DEVEL("leaving on error", FCGI_EV_FSTRM_NEW|FCGI_EV_FSTRM_END|FCGI_EV_FSTRM_ERR, fconn->conn);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001144 return NULL;
Christopher Faulet99eff652019-08-11 23:11:30 +02001145}
1146
1147/* Wakes a specific stream and assign its conn_stream some CS_FL_* flags among
1148 * CS_FL_ERR_PENDING and CS_FL_ERROR if needed. The stream's state is
1149 * automatically updated accordingly. If the stream is orphaned, it is
1150 * destroyed.
1151 */
1152static void fcgi_strm_wake_one_stream(struct fcgi_strm *fstrm)
1153{
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001154 struct fcgi_conn *fconn = fstrm->fconn;
1155
1156 TRACE_ENTER(FCGI_EV_STRM_WAKE, fconn->conn, fstrm);
1157
Christopher Faulet99eff652019-08-11 23:11:30 +02001158 if (!fstrm->cs) {
1159 /* this stream was already orphaned */
1160 fcgi_strm_destroy(fstrm);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001161 TRACE_DEVEL("leaving with no fstrm", FCGI_EV_STRM_WAKE, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001162 return;
1163 }
1164
Christopher Faulet6670e3e2020-10-08 15:26:33 +02001165 if (fcgi_conn_read0_pending(fconn)) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001166 if (fstrm->state == FCGI_SS_OPEN) {
Christopher Faulet99eff652019-08-11 23:11:30 +02001167 fstrm->state = FCGI_SS_HREM;
Ilya Shipitsinf38a0182020-12-21 01:16:17 +05001168 TRACE_STATE("switching to HREM", FCGI_EV_STRM_WAKE|FCGI_EV_FSTRM_END, fconn->conn, fstrm);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001169 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001170 else if (fstrm->state == FCGI_SS_HLOC)
1171 fcgi_strm_close(fstrm);
1172 }
1173
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001174 if ((fconn->state == FCGI_CS_CLOSED || fconn->conn->flags & CO_FL_ERROR)) {
Christopher Faulet99eff652019-08-11 23:11:30 +02001175 fstrm->cs->flags |= CS_FL_ERR_PENDING;
1176 if (fstrm->cs->flags & CS_FL_EOS)
1177 fstrm->cs->flags |= CS_FL_ERROR;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001178
1179 if (fstrm->state < FCGI_SS_ERROR) {
Christopher Faulet99eff652019-08-11 23:11:30 +02001180 fstrm->state = FCGI_SS_ERROR;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001181 TRACE_STATE("switching to ERROR", FCGI_EV_STRM_WAKE|FCGI_EV_FSTRM_END, fconn->conn, fstrm);
1182 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001183 }
1184
1185 fcgi_strm_alert(fstrm);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001186
1187 TRACE_LEAVE(FCGI_EV_STRM_WAKE, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001188}
1189
1190/* Wakes unassigned streams (ID == 0) attached to the connection. */
1191static void fcgi_wake_unassigned_streams(struct fcgi_conn *fconn)
1192{
1193 struct eb32_node *node;
1194 struct fcgi_strm *fstrm;
1195
1196 node = eb32_lookup(&fconn->streams_by_id, 0);
1197 while (node) {
1198 fstrm = container_of(node, struct fcgi_strm, by_id);
1199 if (fstrm->id > 0)
1200 break;
1201 node = eb32_next(node);
1202 fcgi_strm_wake_one_stream(fstrm);
1203 }
1204}
1205
1206/* Wakes the streams attached to the connection, whose id is greater than <last>
1207 * or unassigned.
1208 */
1209static void fcgi_wake_some_streams(struct fcgi_conn *fconn, int last)
1210{
1211 struct eb32_node *node;
1212 struct fcgi_strm *fstrm;
1213
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001214 TRACE_ENTER(FCGI_EV_STRM_WAKE, fconn->conn);
1215
Christopher Faulet99eff652019-08-11 23:11:30 +02001216 /* Wake all streams with ID > last */
1217 node = eb32_lookup_ge(&fconn->streams_by_id, last + 1);
1218 while (node) {
1219 fstrm = container_of(node, struct fcgi_strm, by_id);
1220 node = eb32_next(node);
1221 fcgi_strm_wake_one_stream(fstrm);
1222 }
1223 fcgi_wake_unassigned_streams(fconn);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001224
1225 TRACE_LEAVE(FCGI_EV_STRM_WAKE, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001226}
1227
1228static int fcgi_set_default_param(struct fcgi_conn *fconn, struct fcgi_strm *fstrm,
1229 struct htx *htx, struct htx_sl *sl,
1230 struct fcgi_strm_params *params)
1231{
1232 struct connection *cli_conn = objt_conn(fstrm->sess->origin);
Christopher Fauletf835dea2021-12-21 14:35:17 +01001233 const struct sockaddr_storage *src = si_src(si_opposite(cs_si(fstrm->cs)));
1234 const struct sockaddr_storage *dst = si_dst(si_opposite(cs_si(fstrm->cs)));
Christopher Faulet99eff652019-08-11 23:11:30 +02001235 struct ist p;
1236
1237 if (!sl)
1238 goto error;
1239
1240 if (!(params->mask & FCGI_SP_DOC_ROOT))
1241 params->docroot = fconn->app->docroot;
1242
1243 if (!(params->mask & FCGI_SP_REQ_METH)) {
1244 p = htx_sl_req_meth(sl);
1245 params->meth = ist2(b_tail(params->p), p.len);
Tim Duesterhus9f7ed8a2021-11-08 09:05:04 +01001246 chunk_istcat(params->p, p);
Christopher Faulet99eff652019-08-11 23:11:30 +02001247 }
1248 if (!(params->mask & FCGI_SP_REQ_URI)) {
Christopher Fauletfb38c912021-04-26 09:38:55 +02001249 p = h1_get_uri(sl);
Christopher Faulet99eff652019-08-11 23:11:30 +02001250 params->uri = ist2(b_tail(params->p), p.len);
Tim Duesterhus9f7ed8a2021-11-08 09:05:04 +01001251 chunk_istcat(params->p, p);
Christopher Faulet99eff652019-08-11 23:11:30 +02001252 }
1253 if (!(params->mask & FCGI_SP_SRV_PROTO)) {
1254 p = htx_sl_req_vsn(sl);
1255 params->vsn = ist2(b_tail(params->p), p.len);
Tim Duesterhus9f7ed8a2021-11-08 09:05:04 +01001256 chunk_istcat(params->p, p);
Christopher Faulet99eff652019-08-11 23:11:30 +02001257 }
1258 if (!(params->mask & FCGI_SP_SRV_PORT)) {
1259 char *end;
1260 int port = 0;
Christopher Faulet568008d2021-10-25 07:56:51 +02001261 if (dst)
1262 port = get_host_port(dst);
Christopher Faulet99eff652019-08-11 23:11:30 +02001263 end = ultoa_o(port, b_tail(params->p), b_room(params->p));
1264 if (!end)
1265 goto error;
1266 params->srv_port = ist2(b_tail(params->p), end - b_tail(params->p));
1267 params->p->data += params->srv_port.len;
1268 }
1269 if (!(params->mask & FCGI_SP_SRV_NAME)) {
1270 /* If no Host header found, use the server address to fill
1271 * srv_name */
1272 if (!istlen(params->srv_name)) {
1273 char *ptr = NULL;
1274
Christopher Faulet568008d2021-10-25 07:56:51 +02001275 if (dst)
1276 if (addr_to_str(dst, b_tail(params->p), b_room(params->p)) != -1)
Christopher Faulet99eff652019-08-11 23:11:30 +02001277 ptr = b_tail(params->p);
1278 if (ptr) {
Tim Duesterhusdcf753a2021-03-04 17:31:47 +01001279 params->srv_name = ist(ptr);
Christopher Faulet99eff652019-08-11 23:11:30 +02001280 params->p->data += params->srv_name.len;
1281 }
1282 }
1283 }
1284 if (!(params->mask & FCGI_SP_REM_ADDR)) {
1285 char *ptr = NULL;
1286
Christopher Faulet568008d2021-10-25 07:56:51 +02001287 if (src)
1288 if (addr_to_str(src, b_tail(params->p), b_room(params->p)) != -1)
Christopher Faulet99eff652019-08-11 23:11:30 +02001289 ptr = b_tail(params->p);
1290 if (ptr) {
Tim Duesterhusdcf753a2021-03-04 17:31:47 +01001291 params->rem_addr = ist(ptr);
Christopher Faulet99eff652019-08-11 23:11:30 +02001292 params->p->data += params->rem_addr.len;
1293 }
1294 }
1295 if (!(params->mask & FCGI_SP_REM_PORT)) {
1296 char *end;
1297 int port = 0;
Christopher Faulet568008d2021-10-25 07:56:51 +02001298 if (src)
1299 port = get_host_port(src);
Christopher Faulet99eff652019-08-11 23:11:30 +02001300 end = ultoa_o(port, b_tail(params->p), b_room(params->p));
1301 if (!end)
1302 goto error;
1303 params->rem_port = ist2(b_tail(params->p), end - b_tail(params->p));
1304 params->p->data += params->rem_port.len;
1305 }
1306 if (!(params->mask & FCGI_SP_CONT_LEN)) {
1307 struct htx_blk *blk;
1308 enum htx_blk_type type;
1309 char *end;
1310 size_t len = 0;
1311
1312 for (blk = htx_get_head_blk(htx); blk; blk = htx_get_next_blk(htx, blk)) {
1313 type = htx_get_blk_type(blk);
1314
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001315 if (type == HTX_BLK_TLR || type == HTX_BLK_EOT)
Christopher Faulet99eff652019-08-11 23:11:30 +02001316 break;
1317 if (type == HTX_BLK_DATA)
1318 len += htx_get_blksz(blk);
1319 }
1320 end = ultoa_o(len, b_tail(params->p), b_room(params->p));
1321 if (!end)
1322 goto error;
1323 params->cont_len = ist2(b_tail(params->p), end - b_tail(params->p));
1324 params->p->data += params->cont_len.len;
1325 }
Willy Tarreaud2ae3852021-10-06 11:40:11 +02001326
Christopher Faulet99eff652019-08-11 23:11:30 +02001327 if (!(params->mask & FCGI_SP_HTTPS)) {
Christopher Fauletbb86a0f2020-04-24 07:19:04 +02001328 if (cli_conn)
Willy Tarreau1057bee2021-10-06 11:38:44 +02001329 params->https = conn_is_ssl(cli_conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001330 }
Willy Tarreaud2ae3852021-10-06 11:40:11 +02001331
Christopher Faulet99eff652019-08-11 23:11:30 +02001332 if ((params->mask & FCGI_SP_URI_MASK) != FCGI_SP_URI_MASK) {
1333 /* one of scriptname, pathinfo or query_string is no set */
Amaury Denoyellec453f952021-07-06 11:40:12 +02001334 struct http_uri_parser parser = http_uri_parser_init(params->uri);
1335 struct ist path = http_parse_path(&parser);
Christopher Faulet99eff652019-08-11 23:11:30 +02001336 int len;
1337
Christopher Faulet99eff652019-08-11 23:11:30 +02001338 /* No scrit_name set but no valid path ==> error */
1339 if (!(params->mask & FCGI_SP_SCRIPT_NAME) && !istlen(path))
1340 goto error;
1341
Christopher Faulet99eff652019-08-11 23:11:30 +02001342 /* If there is a query-string, Set it if not already set */
Christopher Faulet0f17a442020-07-23 15:44:37 +02001343 if (!(params->mask & FCGI_SP_REQ_QS)) {
1344 struct ist qs = istfind(path, '?');
1345
1346 /* Update the path length */
1347 path.len -= qs.len;
1348
1349 /* Set the query-string skipping the '?', if any */
1350 if (istlen(qs))
1351 params->qs = istnext(qs);
1352 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001353
1354 /* If the script_name is set, don't try to deduce the path_info
1355 * too. The opposite is not true.
1356 */
1357 if (params->mask & FCGI_SP_SCRIPT_NAME) {
1358 params->mask |= FCGI_SP_PATH_INFO;
1359 goto end;
1360 }
1361
Christopher Faulet0f17a442020-07-23 15:44:37 +02001362 /* Decode the path. it must first be copied to keep the URI
1363 * untouched.
1364 */
Tim Duesterhus9f7ed8a2021-11-08 09:05:04 +01001365 chunk_istcat(params->p, path);
Christopher Faulet0f17a442020-07-23 15:44:37 +02001366 path.ptr = b_tail(params->p) - path.len;
1367 len = url_decode(ist0(path), 0);
1368 if (len < 0)
1369 goto error;
1370 path.len = len;
1371
Christopher Faulet99eff652019-08-11 23:11:30 +02001372 /* script_name not set, preset it with the path for now */
Christopher Faulet0f17a442020-07-23 15:44:37 +02001373 params->scriptname = path;
Christopher Faulet99eff652019-08-11 23:11:30 +02001374
1375 /* If there is no regex to match the pathinfo, just to the last
1376 * part and see if the index must be used.
1377 */
1378 if (!fconn->app->pathinfo_re)
1379 goto check_index;
1380
Christopher Faulet28cb3662020-02-14 14:47:37 +01001381 /* If some special characters are found in the decoded path (\n
Ilya Shipitsin01881082021-08-07 14:41:56 +05001382 * or \0), the PATH_INFO regex cannot match. This is theoretically
Christopher Faulet28cb3662020-02-14 14:47:37 +01001383 * valid, but probably unexpected, to have such characters. So,
Ilya Shipitsin6fb0f212020-04-02 15:25:26 +05001384 * to avoid any surprises, an error is triggered in this
Christopher Faulet28cb3662020-02-14 14:47:37 +01001385 * case.
1386 */
1387 if (istchr(path, '\n') || istchr(path, '\0'))
1388 goto error;
1389
Christopher Faulet99eff652019-08-11 23:11:30 +02001390 /* The regex does not match, just to the last part and see if
1391 * the index must be used.
1392 */
1393 if (!regex_exec_match2(fconn->app->pathinfo_re, path.ptr, len, MAX_MATCH, pmatch, 0))
1394 goto check_index;
1395
Christopher Faulet6c57f2d2020-02-14 16:55:52 +01001396 /* We must have at least 1 capture for the script name,
1397 * otherwise we do nothing and jump to the last part.
Christopher Faulet99eff652019-08-11 23:11:30 +02001398 */
Christopher Faulet6c57f2d2020-02-14 16:55:52 +01001399 if (pmatch[1].rm_so == -1 || pmatch[1].rm_eo == -1)
Christopher Faulet99eff652019-08-11 23:11:30 +02001400 goto check_index;
1401
Christopher Faulet6c57f2d2020-02-14 16:55:52 +01001402 /* Finally we can set the script_name and the path_info. The
1403 * path_info is set if not already defined, and if it was
1404 * captured
1405 */
Christopher Faulet99eff652019-08-11 23:11:30 +02001406 params->scriptname = ist2(path.ptr + pmatch[1].rm_so, pmatch[1].rm_eo - pmatch[1].rm_so);
Christopher Faulet6c57f2d2020-02-14 16:55:52 +01001407 if (!(params->mask & FCGI_SP_PATH_INFO) && (pmatch[2].rm_so == -1 || pmatch[2].rm_eo == -1))
1408 params->pathinfo = ist2(path.ptr + pmatch[2].rm_so, pmatch[2].rm_eo - pmatch[2].rm_so);
Christopher Faulet99eff652019-08-11 23:11:30 +02001409
1410 check_index:
1411 len = params->scriptname.len;
1412 /* the script_name if finished by a '/' so we can add the index
1413 * part, if any.
1414 */
1415 if (istlen(fconn->app->index) && params->scriptname.ptr[len-1] == '/') {
1416 struct ist sn = params->scriptname;
1417
1418 params->scriptname = ist2(b_tail(params->p), len+fconn->app->index.len);
Tim Duesterhus9f7ed8a2021-11-08 09:05:04 +01001419 chunk_istcat(params->p, sn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001420 chunk_memcat(params->p, fconn->app->index.ptr, fconn->app->index.len);
1421 }
1422 }
1423
Christopher Faulet5cd0e522021-06-11 13:34:42 +02001424 if (!(params->mask & FCGI_SP_SRV_SOFT)) {
1425 params->srv_soft = ist2(b_tail(params->p), 0);
1426 chunk_appendf(params->p, "HAProxy %s", haproxy_version);
1427 params->srv_soft.len = b_tail(params->p) - params->srv_soft.ptr;
1428 }
1429
Christopher Faulet99eff652019-08-11 23:11:30 +02001430 end:
1431 return 1;
1432 error:
1433 return 0;
1434}
1435
1436static int fcgi_encode_default_param(struct fcgi_conn *fconn, struct fcgi_strm *fstrm,
1437 struct fcgi_strm_params *params, struct buffer *outbuf, int flag)
1438{
1439 struct fcgi_param p;
1440
1441 if (params->mask & flag)
1442 return 1;
1443
1444 chunk_reset(&trash);
1445
1446 switch (flag) {
1447 case FCGI_SP_CGI_GATEWAY:
1448 p.n = ist("GATEWAY_INTERFACE");
1449 p.v = ist("CGI/1.1");
1450 goto encode;
1451 case FCGI_SP_DOC_ROOT:
1452 p.n = ist("DOCUMENT_ROOT");
1453 p.v = params->docroot;
1454 goto encode;
1455 case FCGI_SP_SCRIPT_NAME:
1456 p.n = ist("SCRIPT_NAME");
1457 p.v = params->scriptname;
1458 goto encode;
1459 case FCGI_SP_PATH_INFO:
1460 p.n = ist("PATH_INFO");
1461 p.v = params->pathinfo;
1462 goto encode;
1463 case FCGI_SP_REQ_URI:
1464 p.n = ist("REQUEST_URI");
1465 p.v = params->uri;
1466 goto encode;
1467 case FCGI_SP_REQ_METH:
1468 p.n = ist("REQUEST_METHOD");
1469 p.v = params->meth;
1470 goto encode;
1471 case FCGI_SP_REQ_QS:
1472 p.n = ist("QUERY_STRING");
1473 p.v = params->qs;
1474 goto encode;
1475 case FCGI_SP_SRV_NAME:
1476 p.n = ist("SERVER_NAME");
1477 p.v = params->srv_name;
1478 goto encode;
1479 case FCGI_SP_SRV_PORT:
1480 p.n = ist("SERVER_PORT");
1481 p.v = params->srv_port;
1482 goto encode;
1483 case FCGI_SP_SRV_PROTO:
1484 p.n = ist("SERVER_PROTOCOL");
1485 p.v = params->vsn;
1486 goto encode;
1487 case FCGI_SP_REM_ADDR:
1488 p.n = ist("REMOTE_ADDR");
1489 p.v = params->rem_addr;
1490 goto encode;
1491 case FCGI_SP_REM_PORT:
1492 p.n = ist("REMOTE_PORT");
1493 p.v = params->rem_port;
1494 goto encode;
1495 case FCGI_SP_SCRIPT_FILE:
1496 p.n = ist("SCRIPT_FILENAME");
1497 chunk_memcat(&trash, params->docroot.ptr, params->docroot.len);
1498 chunk_memcat(&trash, params->scriptname.ptr, params->scriptname.len);
1499 p.v = ist2(b_head(&trash), b_data(&trash));
1500 goto encode;
1501 case FCGI_SP_PATH_TRANS:
1502 if (!istlen(params->pathinfo))
1503 goto skip;
1504 p.n = ist("PATH_TRANSLATED");
1505 chunk_memcat(&trash, params->docroot.ptr, params->docroot.len);
1506 chunk_memcat(&trash, params->pathinfo.ptr, params->pathinfo.len);
1507 p.v = ist2(b_head(&trash), b_data(&trash));
1508 goto encode;
1509 case FCGI_SP_CONT_LEN:
1510 p.n = ist("CONTENT_LENGTH");
1511 p.v = params->cont_len;
1512 goto encode;
1513 case FCGI_SP_HTTPS:
1514 if (!params->https)
1515 goto skip;
1516 p.n = ist("HTTPS");
1517 p.v = ist("on");
1518 goto encode;
Christopher Faulet5cd0e522021-06-11 13:34:42 +02001519 case FCGI_SP_SRV_SOFT:
1520 p.n = ist("SERVER_SOFTWARE");
1521 p.v = params->srv_soft;
1522 goto encode;
Christopher Faulet99eff652019-08-11 23:11:30 +02001523 default:
1524 goto skip;
1525 }
1526
1527 encode:
1528 if (!istlen(p.v))
1529 goto skip;
1530 if (!fcgi_encode_param(outbuf, &p))
1531 return 0;
1532 skip:
1533 params->mask |= flag;
1534 return 1;
1535}
1536
1537/* Sends a GET_VALUES record. Returns > 0 on success, 0 if it couldn't do
1538 * anything. It is highly unexpected, but if the record is larger than a buffer
1539 * and cannot be encoded in one time, an error is triggered and the connection is
1540 * closed. GET_VALUES record cannot be split.
1541 */
1542static int fcgi_conn_send_get_values(struct fcgi_conn *fconn)
1543{
1544 struct buffer outbuf;
1545 struct buffer *mbuf;
1546 struct fcgi_param max_reqs = { .n = ist("FCGI_MAX_REQS"), .v = ist("")};
1547 struct fcgi_param mpxs_conns = { .n = ist("FCGI_MPXS_CONNS"), .v = ist("")};
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001548 int ret = 0;
1549
1550 TRACE_ENTER(FCGI_EV_TX_RECORD|FCGI_EV_TX_GETVAL, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001551
1552 mbuf = br_tail(fconn->mbuf);
1553 retry:
1554 if (!fcgi_get_buf(fconn, mbuf)) {
1555 fconn->flags |= FCGI_CF_MUX_MALLOC;
1556 fconn->flags |= FCGI_CF_DEM_MROOM;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001557 TRACE_STATE("waiting for fconn mbuf ring allocation", FCGI_EV_TX_RECORD|FCGI_EV_FCONN_BLK, fconn->conn);
1558 ret = 0;
1559 goto end;
Christopher Faulet99eff652019-08-11 23:11:30 +02001560 }
1561
1562 while (1) {
1563 outbuf = b_make(b_tail(mbuf), b_contig_space(mbuf), 0, 0);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001564 if (outbuf.size >= FCGI_RECORD_HEADER_SZ || !b_space_wraps(mbuf))
Christopher Faulet99eff652019-08-11 23:11:30 +02001565 break;
1566 realign_again:
1567 b_slow_realign(mbuf, trash.area, b_data(mbuf));
1568 }
1569
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001570 if (outbuf.size < FCGI_RECORD_HEADER_SZ)
Christopher Faulet99eff652019-08-11 23:11:30 +02001571 goto full;
1572
1573 /* vsn: 1(FCGI_VERSION), type: (9)FCGI_GET_VALUES, id: 0x0000,
1574 * len: 0x0000 (fill later), padding: 0x00, rsv: 0x00 */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001575 memcpy(outbuf.area, "\x01\x09\x00\x00\x00\x00\x00\x00", FCGI_RECORD_HEADER_SZ);
1576 outbuf.data = FCGI_RECORD_HEADER_SZ;
Christopher Faulet99eff652019-08-11 23:11:30 +02001577
1578 /* Note: Don't send the param FCGI_MAX_CONNS because its value cannot be
1579 * handled by HAProxy.
1580 */
1581 if (!fcgi_encode_param(&outbuf, &max_reqs) || !fcgi_encode_param(&outbuf, &mpxs_conns))
1582 goto full;
1583
1584 /* update the record's size now */
Willy Tarreau022e5e52020-09-10 09:33:15 +02001585 TRACE_PROTO("FCGI GET_VALUES record xferred", FCGI_EV_TX_RECORD|FCGI_EV_TX_GETVAL, fconn->conn, 0, 0, (size_t[]){outbuf.data-8});
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001586 fcgi_set_record_size(outbuf.area, outbuf.data - FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02001587 b_add(mbuf, outbuf.data);
1588 ret = 1;
1589
1590 end:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001591 TRACE_LEAVE(FCGI_EV_TX_RECORD|FCGI_EV_TX_GETVAL, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001592 return ret;
1593 full:
1594 /* Too large to be encoded. For GET_VALUES records, it is an error */
Christopher Faulet73518be2021-01-27 12:06:54 +01001595 if (!b_data(mbuf)) {
1596 TRACE_ERROR("GET_VALUES record too large", FCGI_EV_TX_RECORD|FCGI_EV_TX_GETVAL|FCGI_EV_FCONN_ERR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001597 goto fail;
Christopher Faulet73518be2021-01-27 12:06:54 +01001598 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001599
1600 if ((mbuf = br_tail_add(fconn->mbuf)) != NULL)
1601 goto retry;
1602 fconn->flags |= FCGI_CF_MUX_MFULL;
1603 fconn->flags |= FCGI_CF_DEM_MROOM;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001604 TRACE_STATE("mbuf ring full", FCGI_EV_TX_RECORD|FCGI_EV_FCONN_BLK, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001605 ret = 0;
1606 goto end;
1607 fail:
1608 fconn->state = FCGI_CS_CLOSED;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001609 TRACE_STATE("switching to CLOSED", FCGI_EV_TX_RECORD|FCGI_EV_TX_GETVAL|FCGI_EV_FCONN_END, fconn->conn);
1610 TRACE_DEVEL("leaving on error", FCGI_EV_TX_RECORD|FCGI_EV_TX_GETVAL|FCGI_EV_FCONN_ERR, fconn->conn);
1611 return 0;
Christopher Faulet99eff652019-08-11 23:11:30 +02001612}
1613
1614/* Processes a GET_VALUES_RESULT record. Returns > 0 on success, 0 if it
1615 * couldn't do anything. It is highly unexpected, but if the record is larger
1616 * than a buffer and cannot be decoded in one time, an error is triggered and
1617 * the connection is closed. GET_VALUES_RESULT record cannot be split.
1618 */
1619static int fcgi_conn_handle_values_result(struct fcgi_conn *fconn)
1620{
1621 struct buffer inbuf;
1622 struct buffer *dbuf;
1623 size_t offset;
1624
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001625 TRACE_ENTER(FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn);
1626
Christopher Faulet99eff652019-08-11 23:11:30 +02001627 dbuf = &fconn->dbuf;
1628
1629 /* Record too large to be fully decoded */
1630 if (b_size(dbuf) < (fconn->drl + fconn->drp))
1631 goto fail;
1632
1633 /* process full record only */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001634 if (b_data(dbuf) < (fconn->drl + fconn->drp)) {
1635 TRACE_DEVEL("leaving on missing data", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001636 return 0;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001637 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001638
1639 if (unlikely(b_contig_data(dbuf, b_head_ofs(dbuf)) < fconn->drl)) {
1640 /* Realign the dmux buffer if the record wraps. It is unexpected
1641 * at this stage because it should be the first record received
1642 * from the FCGI application.
1643 */
Christopher Faulet00d7cde2021-02-04 11:01:51 +01001644 b_slow_realign_ofs(dbuf, trash.area, 0);
Christopher Faulet99eff652019-08-11 23:11:30 +02001645 }
1646
1647 inbuf = b_make(b_head(dbuf), b_data(dbuf), 0, fconn->drl);
1648
1649 for (offset = 0; offset < b_data(&inbuf); ) {
1650 struct fcgi_param p;
1651 size_t ret;
1652
1653 ret = fcgi_aligned_decode_param(&inbuf, offset, &p);
1654 if (!ret) {
1655 /* name or value too large to be decoded at once */
Christopher Faulet73518be2021-01-27 12:06:54 +01001656 TRACE_ERROR("error decoding GET_VALUES_RESULT param", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL|FCGI_EV_FCONN_ERR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001657 goto fail;
1658 }
1659 offset += ret;
1660
1661 if (isteqi(p.n, ist("FCGI_MPXS_CONNS"))) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001662 if (isteq(p.v, ist("1"))) {
Willy Tarreau022e5e52020-09-10 09:33:15 +02001663 TRACE_STATE("set mpxs param", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn, 0, 0, (size_t[]){1});
Christopher Faulet99eff652019-08-11 23:11:30 +02001664 fconn->flags |= FCGI_CF_MPXS_CONNS;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001665 }
1666 else {
Willy Tarreau022e5e52020-09-10 09:33:15 +02001667 TRACE_STATE("set mpxs param", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn, 0, 0, (size_t[]){0});
Christopher Faulet99eff652019-08-11 23:11:30 +02001668 fconn->flags &= ~FCGI_CF_MPXS_CONNS;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001669 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001670 }
1671 else if (isteqi(p.n, ist("FCGI_MAX_REQS"))) {
1672 fconn->streams_limit = strl2ui(p.v.ptr, p.v.len);
Willy Tarreau022e5e52020-09-10 09:33:15 +02001673 TRACE_STATE("set streams_limit", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn, 0, 0, (size_t[]){fconn->streams_limit});
Christopher Faulet99eff652019-08-11 23:11:30 +02001674 }
1675 /*
1676 * Ignore all other params
1677 */
1678 }
1679
1680 /* Reset the number of concurrent streams supported if the FCGI
1681 * application does not support connection multiplexing
1682 */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001683 if (!(fconn->flags & FCGI_CF_MPXS_CONNS)) {
Christopher Faulet99eff652019-08-11 23:11:30 +02001684 fconn->streams_limit = 1;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001685 TRACE_STATE("no mpxs for streams_limit to 1", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn);
1686 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001687
1688 /* We must be sure to have read exactly the announced record length, no
1689 * more no less
1690 */
Christopher Faulet73518be2021-01-27 12:06:54 +01001691 if (offset != fconn->drl) {
1692 TRACE_ERROR("invalid GET_VALUES_RESULT record length", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL|FCGI_EV_FCONN_ERR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001693 goto fail;
Christopher Faulet73518be2021-01-27 12:06:54 +01001694 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001695
Willy Tarreau022e5e52020-09-10 09:33:15 +02001696 TRACE_PROTO("FCGI GET_VALUES_RESULT record rcvd", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn, 0, 0, (size_t[]){fconn->drl});
Christopher Faulet99eff652019-08-11 23:11:30 +02001697 b_del(&fconn->dbuf, fconn->drl + fconn->drp);
1698 fconn->drl = 0;
1699 fconn->drp = 0;
1700 fconn->state = FCGI_CS_RECORD_H;
1701 fcgi_wake_unassigned_streams(fconn);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001702 TRACE_STATE("switching to RECORD_H", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn);
1703 TRACE_LEAVE(FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001704 return 1;
1705 fail:
1706 fconn->state = FCGI_CS_CLOSED;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001707 TRACE_STATE("switching to CLOSED", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn);
1708 TRACE_DEVEL("leaving on error", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL|FCGI_EV_FCONN_ERR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001709 return 0;
1710}
1711
1712/* Sends an ABORT_REQUEST record for each active streams. Closed streams are
1713 * excluded, as the streams which already received the end-of-stream. It returns
1714 * > 0 if the record was sent tp all streams. Otherwise it returns 0.
1715 */
1716static int fcgi_conn_send_aborts(struct fcgi_conn *fconn)
1717{
1718 struct eb32_node *node;
1719 struct fcgi_strm *fstrm;
1720
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001721 TRACE_ENTER(FCGI_EV_TX_RECORD, fconn->conn);
1722
Christopher Faulet99eff652019-08-11 23:11:30 +02001723 node = eb32_lookup_ge(&fconn->streams_by_id, 1);
1724 while (node) {
1725 fstrm = container_of(node, struct fcgi_strm, by_id);
1726 node = eb32_next(node);
1727 if (fstrm->state != FCGI_SS_CLOSED &&
1728 !(fstrm->flags & (FCGI_SF_ES_RCVD|FCGI_SF_ABRT_SENT)) &&
1729 !fcgi_strm_send_abort(fconn, fstrm))
1730 return 0;
1731 }
1732 fconn->flags |= FCGI_CF_ABRTS_SENT;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001733 TRACE_STATE("aborts sent to all fstrms", FCGI_EV_TX_RECORD, fconn->conn);
1734 TRACE_LEAVE(FCGI_EV_TX_RECORD, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001735 return 1;
1736}
1737
1738/* Sends a BEGIN_REQUEST record. It returns > 0 on success, 0 if it couldn't do
1739 * anything. BEGIN_REQUEST record cannot be split. So we wait to have enough
1740 * space to proceed. It is small enough to be encoded in an empty buffer.
1741 */
1742static int fcgi_strm_send_begin_request(struct fcgi_conn *fconn, struct fcgi_strm *fstrm)
1743{
1744 struct buffer outbuf;
1745 struct buffer *mbuf;
1746 struct fcgi_begin_request rec = { .role = FCGI_RESPONDER, .flags = 0};
1747 int ret;
1748
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001749 TRACE_ENTER(FCGI_EV_TX_RECORD|FCGI_EV_TX_BEGREQ, fconn->conn, fstrm);
1750
Christopher Faulet99eff652019-08-11 23:11:30 +02001751 mbuf = br_tail(fconn->mbuf);
1752 retry:
1753 if (!fcgi_get_buf(fconn, mbuf)) {
1754 fconn->flags |= FCGI_CF_MUX_MALLOC;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001755 fstrm->flags |= FCGI_SF_BLK_MROOM;
1756 TRACE_STATE("waiting for fconn mbuf ring allocation", FCGI_EV_TX_RECORD|FCGI_EV_FSTRM_BLK|FCGI_EV_FCONN_BLK, fconn->conn, fstrm);
1757 ret = 0;
1758 goto end;
Christopher Faulet99eff652019-08-11 23:11:30 +02001759 }
1760
1761 while (1) {
1762 outbuf = b_make(b_tail(mbuf), b_contig_space(mbuf), 0, 0);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001763 if (outbuf.size >= FCGI_RECORD_HEADER_SZ || !b_space_wraps(mbuf))
Christopher Faulet99eff652019-08-11 23:11:30 +02001764 break;
1765 realign_again:
1766 b_slow_realign(mbuf, trash.area, b_data(mbuf));
1767 }
1768
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001769 if (outbuf.size < FCGI_RECORD_HEADER_SZ)
Christopher Faulet99eff652019-08-11 23:11:30 +02001770 goto full;
1771
1772 /* vsn: 1(FCGI_VERSION), type: (1)FCGI_BEGIN_REQUEST, id: fstrm->id,
1773 * len: 0x0008, padding: 0x00, rsv: 0x00 */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001774 memcpy(outbuf.area, "\x01\x01\x00\x00\x00\x08\x00\x00", FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02001775 fcgi_set_record_id(outbuf.area, fstrm->id);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001776 outbuf.data = FCGI_RECORD_HEADER_SZ;
Christopher Faulet99eff652019-08-11 23:11:30 +02001777
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001778 if (fconn->flags & FCGI_CF_KEEP_CONN) {
1779 TRACE_STATE("keep connection opened", FCGI_EV_TX_RECORD|FCGI_EV_TX_BEGREQ, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001780 rec.flags |= FCGI_KEEP_CONN;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001781 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001782 if (!fcgi_encode_begin_request(&outbuf, &rec))
1783 goto full;
1784
1785 /* commit the record */
Willy Tarreau022e5e52020-09-10 09:33:15 +02001786 TRACE_PROTO("FCGI BEGIN_REQUEST record xferred", FCGI_EV_TX_RECORD|FCGI_EV_TX_BEGREQ, fconn->conn, fstrm, 0, (size_t[]){0});
Christopher Faulet99eff652019-08-11 23:11:30 +02001787 b_add(mbuf, outbuf.data);
1788 fstrm->flags |= FCGI_SF_BEGIN_SENT;
1789 fstrm->state = FCGI_SS_OPEN;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001790 TRACE_STATE("switching to OPEN", FCGI_EV_TX_RECORD|FCGI_EV_TX_BEGREQ, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001791 ret = 1;
1792
1793 end:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001794 TRACE_LEAVE(FCGI_EV_TX_RECORD|FCGI_EV_TX_BEGREQ, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001795 return ret;
1796 full:
1797 if ((mbuf = br_tail_add(fconn->mbuf)) != NULL)
1798 goto retry;
1799 fconn->flags |= FCGI_CF_MUX_MFULL;
1800 fstrm->flags |= FCGI_SF_BLK_MROOM;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001801 TRACE_STATE("mbuf ring full", FCGI_EV_TX_RECORD|FCGI_EV_FSTRM_BLK|FCGI_EV_FCONN_BLK, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02001802 ret = 0;
1803 goto end;
1804}
1805
1806/* Sends an empty record of type <rtype>. It returns > 0 on success, 0 if it
1807 * couldn't do anything. Empty record cannot be split. So we wait to have enough
1808 * space to proceed. It is small enough to be encoded in an empty buffer.
1809 */
1810static int fcgi_strm_send_empty_record(struct fcgi_conn *fconn, struct fcgi_strm *fstrm,
1811 enum fcgi_record_type rtype)
1812{
1813 struct buffer outbuf;
1814 struct buffer *mbuf;
1815 int ret;
1816
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001817 TRACE_ENTER(FCGI_EV_TX_RECORD, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001818 mbuf = br_tail(fconn->mbuf);
1819 retry:
1820 if (!fcgi_get_buf(fconn, mbuf)) {
1821 fconn->flags |= FCGI_CF_MUX_MALLOC;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001822 fstrm->flags |= FCGI_SF_BLK_MROOM;
1823 TRACE_STATE("waiting for fconn mbuf ring allocation", FCGI_EV_TX_RECORD|FCGI_EV_FSTRM_BLK|FCGI_EV_FCONN_BLK, fconn->conn, fstrm);
1824 ret = 0;
1825 goto end;
Christopher Faulet99eff652019-08-11 23:11:30 +02001826 }
1827
1828 while (1) {
1829 outbuf = b_make(b_tail(mbuf), b_contig_space(mbuf), 0, 0);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001830 if (outbuf.size >= FCGI_RECORD_HEADER_SZ || !b_space_wraps(mbuf))
Christopher Faulet99eff652019-08-11 23:11:30 +02001831 break;
1832 realign_again:
1833 b_slow_realign(mbuf, trash.area, b_data(mbuf));
1834 }
1835
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001836 if (outbuf.size < FCGI_RECORD_HEADER_SZ)
Christopher Faulet99eff652019-08-11 23:11:30 +02001837 goto full;
1838
1839 /* vsn: 1(FCGI_VERSION), type: rtype, id: fstrm->id,
1840 * len: 0x0000, padding: 0x00, rsv: 0x00 */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001841 memcpy(outbuf.area, "\x01\x05\x00\x00\x00\x00\x00\x00", FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02001842 outbuf.area[1] = rtype;
1843 fcgi_set_record_id(outbuf.area, fstrm->id);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001844 outbuf.data = FCGI_RECORD_HEADER_SZ;
Christopher Faulet99eff652019-08-11 23:11:30 +02001845
1846 /* commit the record */
1847 b_add(mbuf, outbuf.data);
1848 ret = 1;
1849
1850 end:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001851 TRACE_LEAVE(FCGI_EV_TX_RECORD, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001852 return ret;
1853 full:
1854 if ((mbuf = br_tail_add(fconn->mbuf)) != NULL)
1855 goto retry;
1856 fconn->flags |= FCGI_CF_MUX_MFULL;
1857 fstrm->flags |= FCGI_SF_BLK_MROOM;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001858 TRACE_STATE("mbuf ring full", FCGI_EV_TX_RECORD|FCGI_EV_FSTRM_BLK|FCGI_EV_FCONN_BLK, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001859 ret = 0;
1860 goto end;
1861}
1862
1863
1864/* Sends an empty PARAMS record. It relies on fcgi_strm_send_empty_record(). It
1865 * marks the end of params.
1866 */
1867static int fcgi_strm_send_empty_params(struct fcgi_conn *fconn, struct fcgi_strm *fstrm)
1868{
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001869 int ret;
1870
1871 TRACE_POINT(FCGI_EV_TX_RECORD|FCGI_EV_TX_PARAMS, fconn->conn, fstrm);
1872 ret = fcgi_strm_send_empty_record(fconn, fstrm, FCGI_PARAMS);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001873 if (ret) {
1874 fstrm->flags |= FCGI_SF_EP_SENT;
Willy Tarreau022e5e52020-09-10 09:33:15 +02001875 TRACE_PROTO("FCGI PARAMS record xferred", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, 0, (size_t[]){0});
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001876 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001877 return ret;
Christopher Faulet99eff652019-08-11 23:11:30 +02001878}
1879
1880/* Sends an empty STDIN record. It relies on fcgi_strm_send_empty_record(). It
1881 * marks the end of input. On success, all the request was successfully sent.
1882 */
1883static int fcgi_strm_send_empty_stdin(struct fcgi_conn *fconn, struct fcgi_strm *fstrm)
1884{
1885 int ret;
1886
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001887 TRACE_POINT(FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN|FCGI_EV_TX_EOI, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001888 ret = fcgi_strm_send_empty_record(fconn, fstrm, FCGI_STDIN);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001889 if (ret) {
Christopher Faulet99eff652019-08-11 23:11:30 +02001890 fstrm->flags |= FCGI_SF_ES_SENT;
Willy Tarreau022e5e52020-09-10 09:33:15 +02001891 TRACE_PROTO("FCGI STDIN record xferred", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, 0, (size_t[]){0});
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001892 TRACE_USER("FCGI request fully xferred", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN|FCGI_EV_TX_EOI, fconn->conn, fstrm);
1893 TRACE_STATE("stdin data fully sent", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN|FCGI_EV_TX_EOI, fconn->conn, fstrm);
1894 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001895 return ret;
1896}
1897
1898/* Sends an ABORT_REQUEST record. It relies on fcgi_strm_send_empty_record(). It
1899 * stops the request processing.
1900 */
1901static int fcgi_strm_send_abort(struct fcgi_conn *fconn, struct fcgi_strm *fstrm)
1902{
1903 int ret;
1904
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001905 TRACE_POINT(FCGI_EV_TX_RECORD|FCGI_EV_TX_ABORT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02001906 ret = fcgi_strm_send_empty_record(fconn, fstrm, FCGI_ABORT_REQUEST);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001907 if (ret) {
Christopher Faulet99eff652019-08-11 23:11:30 +02001908 fstrm->flags |= FCGI_SF_ABRT_SENT;
Willy Tarreau022e5e52020-09-10 09:33:15 +02001909 TRACE_PROTO("FCGI ABORT record xferred", FCGI_EV_TX_RECORD|FCGI_EV_TX_ABORT, fconn->conn, fstrm, 0, (size_t[]){0});
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001910 TRACE_USER("FCGI request aborted", FCGI_EV_TX_RECORD|FCGI_EV_TX_ABORT, fconn->conn, fstrm);
1911 TRACE_STATE("abort sent", FCGI_EV_TX_RECORD|FCGI_EV_TX_ABORT, fconn->conn, fstrm);
1912 }
Christopher Faulet99eff652019-08-11 23:11:30 +02001913 return ret;
1914}
1915
1916/* Sends a PARAMS record. Returns > 0 on success, 0 if it couldn't do
1917 * anything. If there are too much K/V params to be encoded in a PARAMS record,
1918 * several records are sent. However, a K/V param cannot be split between 2
1919 * records.
1920 */
1921static size_t fcgi_strm_send_params(struct fcgi_conn *fconn, struct fcgi_strm *fstrm,
1922 struct htx *htx)
1923{
1924 struct buffer outbuf;
1925 struct buffer *mbuf;
1926 struct htx_blk *blk;
1927 struct htx_sl *sl = NULL;
1928 struct fcgi_strm_params params;
1929 size_t total = 0;
1930
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001931 TRACE_ENTER(FCGI_EV_TX_RECORD|FCGI_EV_TX_PARAMS, fconn->conn, fstrm, htx);
1932
Christopher Faulet99eff652019-08-11 23:11:30 +02001933 memset(&params, 0, sizeof(params));
1934 params.p = get_trash_chunk();
1935
1936 mbuf = br_tail(fconn->mbuf);
1937 retry:
1938 if (!fcgi_get_buf(fconn, mbuf)) {
1939 fconn->flags |= FCGI_CF_MUX_MALLOC;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02001940 fstrm->flags |= FCGI_SF_BLK_MROOM;
1941 TRACE_STATE("waiting for fconn mbuf ring allocation", FCGI_EV_TX_RECORD|FCGI_EV_FSTRM_BLK|FCGI_EV_FCONN_BLK, fconn->conn, fstrm);
1942 goto end;
Christopher Faulet99eff652019-08-11 23:11:30 +02001943 }
1944
1945 while (1) {
1946 outbuf = b_make(b_tail(mbuf), b_contig_space(mbuf), 0, 0);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001947 if (outbuf.size >= FCGI_RECORD_HEADER_SZ || !b_space_wraps(mbuf))
Christopher Faulet99eff652019-08-11 23:11:30 +02001948 break;
1949 realign_again:
1950 b_slow_realign(mbuf, trash.area, b_data(mbuf));
1951 }
1952
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001953 if (outbuf.size < FCGI_RECORD_HEADER_SZ)
Christopher Faulet99eff652019-08-11 23:11:30 +02001954 goto full;
1955
1956 /* vsn: 1(FCGI_VERSION), type: (4)FCGI_PARAMS, id: fstrm->id,
1957 * len: 0x0000 (fill later), padding: 0x00, rsv: 0x00 */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001958 memcpy(outbuf.area, "\x01\x04\x00\x00\x00\x00\x00\x00", FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02001959 fcgi_set_record_id(outbuf.area, fstrm->id);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01001960 outbuf.data = FCGI_RECORD_HEADER_SZ;
Christopher Faulet99eff652019-08-11 23:11:30 +02001961
1962 blk = htx_get_head_blk(htx);
1963 while (blk) {
1964 enum htx_blk_type type;
1965 uint32_t size = htx_get_blksz(blk);
1966 struct fcgi_param p;
1967
1968 type = htx_get_blk_type(blk);
1969 switch (type) {
1970 case HTX_BLK_REQ_SL:
1971 sl = htx_get_blk_ptr(htx, blk);
1972 if (sl->info.req.meth == HTTP_METH_HEAD)
1973 fstrm->h1m.flags |= H1_MF_METH_HEAD;
1974 if (sl->flags & HTX_SL_F_VER_11)
1975 fstrm->h1m.flags |= H1_MF_VER_11;
1976 break;
1977
1978 case HTX_BLK_HDR:
1979 p.n = htx_get_blk_name(htx, blk);
1980 p.v = htx_get_blk_value(htx, blk);
1981
1982 if (istmatch(p.n, ist(":fcgi-"))) {
1983 p.n.ptr += 6;
1984 p.n.len -= 6;
1985 if (isteq(p.n, ist("gateway_interface")))
1986 params.mask |= FCGI_SP_CGI_GATEWAY;
1987 else if (isteq(p.n, ist("document_root"))) {
1988 params.mask |= FCGI_SP_DOC_ROOT;
1989 params.docroot = p.v;
1990 }
1991 else if (isteq(p.n, ist("script_name"))) {
1992 params.mask |= FCGI_SP_SCRIPT_NAME;
1993 params.scriptname = p.v;
1994 }
1995 else if (isteq(p.n, ist("path_info"))) {
1996 params.mask |= FCGI_SP_PATH_INFO;
1997 params.pathinfo = p.v;
1998 }
1999 else if (isteq(p.n, ist("request_uri"))) {
2000 params.mask |= FCGI_SP_REQ_URI;
2001 params.uri = p.v;
2002 }
2003 else if (isteq(p.n, ist("request_meth")))
2004 params.mask |= FCGI_SP_REQ_METH;
2005 else if (isteq(p.n, ist("query_string")))
2006 params.mask |= FCGI_SP_REQ_QS;
2007 else if (isteq(p.n, ist("server_name")))
2008 params.mask |= FCGI_SP_SRV_NAME;
2009 else if (isteq(p.n, ist("server_port")))
2010 params.mask |= FCGI_SP_SRV_PORT;
2011 else if (isteq(p.n, ist("server_protocol")))
2012 params.mask |= FCGI_SP_SRV_PROTO;
2013 else if (isteq(p.n, ist("remote_addr")))
2014 params.mask |= FCGI_SP_REM_ADDR;
2015 else if (isteq(p.n, ist("remote_port")))
2016 params.mask |= FCGI_SP_REM_PORT;
2017 else if (isteq(p.n, ist("script_filename")))
2018 params.mask |= FCGI_SP_SCRIPT_FILE;
2019 else if (isteq(p.n, ist("path_translated")))
2020 params.mask |= FCGI_SP_PATH_TRANS;
2021 else if (isteq(p.n, ist("https")))
2022 params.mask |= FCGI_SP_HTTPS;
Christopher Faulet5cd0e522021-06-11 13:34:42 +02002023 else if (isteq(p.n, ist("server_software")))
2024 params.mask |= FCGI_SP_SRV_SOFT;
Christopher Faulet99eff652019-08-11 23:11:30 +02002025 }
2026 else if (isteq(p.n, ist("content-length"))) {
2027 p.n = ist("CONTENT_LENGTH");
2028 params.mask |= FCGI_SP_CONT_LEN;
2029 }
2030 else if (isteq(p.n, ist("content-type")))
2031 p.n = ist("CONTENT_TYPE");
2032 else {
2033 if (isteq(p.n, ist("host")))
2034 params.srv_name = p.v;
Christopher Fauletf56e8462021-09-28 10:56:36 +02002035 else if (isteq(p.n, ist("te"))) {
2036 /* "te" may only be sent with "trailers" if this value
2037 * is present, otherwise it must be deleted.
2038 */
2039 p.v = istist(p.v, ist("trailers"));
2040 if (!isttest(p.v) || (p.v.len > 8 && p.v.ptr[8] != ','))
2041 break;
2042 p.v = ist("trailers");
2043 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002044
Christopher Faulet67d58092019-10-02 10:51:38 +02002045 /* Skip header if same name is used to add the server name */
2046 if (fconn->proxy->server_id_hdr_name &&
2047 isteq(p.n, ist2(fconn->proxy->server_id_hdr_name, fconn->proxy->server_id_hdr_len)))
2048 break;
2049
Christopher Faulet99eff652019-08-11 23:11:30 +02002050 memcpy(trash.area, "http_", 5);
2051 memcpy(trash.area+5, p.n.ptr, p.n.len);
2052 p.n = ist2(trash.area, p.n.len+5);
2053 }
2054
2055 if (!fcgi_encode_param(&outbuf, &p)) {
2056 if (b_space_wraps(mbuf))
2057 goto realign_again;
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002058 if (outbuf.data == FCGI_RECORD_HEADER_SZ)
Christopher Faulet99eff652019-08-11 23:11:30 +02002059 goto full;
2060 goto done;
2061 }
2062 break;
2063
2064 case HTX_BLK_EOH:
Christopher Faulet72ba6cd2019-09-24 16:20:05 +02002065 if (fconn->proxy->server_id_hdr_name) {
2066 struct server *srv = objt_server(fconn->conn->target);
2067
2068 if (!srv)
2069 goto done;
2070
2071 memcpy(trash.area, "http_", 5);
2072 memcpy(trash.area+5, fconn->proxy->server_id_hdr_name, fconn->proxy->server_id_hdr_len);
2073 p.n = ist2(trash.area, fconn->proxy->server_id_hdr_len+5);
2074 p.v = ist(srv->id);
2075
2076 if (!fcgi_encode_param(&outbuf, &p)) {
2077 if (b_space_wraps(mbuf))
2078 goto realign_again;
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002079 if (outbuf.data == FCGI_RECORD_HEADER_SZ)
Christopher Faulet72ba6cd2019-09-24 16:20:05 +02002080 goto full;
2081 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002082 TRACE_STATE("add server name header", FCGI_EV_TX_RECORD|FCGI_EV_TX_PARAMS, fconn->conn, fstrm);
Christopher Faulet72ba6cd2019-09-24 16:20:05 +02002083 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002084 goto done;
2085
2086 default:
2087 break;
2088 }
2089 total += size;
2090 blk = htx_remove_blk(htx, blk);
2091 }
2092
2093 done:
Christopher Faulet73518be2021-01-27 12:06:54 +01002094 if (!fcgi_set_default_param(fconn, fstrm, htx, sl, &params)) {
2095 TRACE_ERROR("error setting default params", FCGI_EV_TX_RECORD|FCGI_EV_STRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002096 goto error;
Christopher Faulet73518be2021-01-27 12:06:54 +01002097 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002098
2099 if (!fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_CGI_GATEWAY) ||
2100 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_DOC_ROOT) ||
2101 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_SCRIPT_NAME) ||
2102 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_PATH_INFO) ||
2103 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_REQ_URI) ||
2104 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_REQ_METH) ||
2105 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_REQ_QS) ||
2106 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_SRV_NAME) ||
2107 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_SRV_PORT) ||
2108 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_SRV_PROTO) ||
2109 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_REM_ADDR) ||
2110 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_REM_PORT) ||
2111 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_SCRIPT_FILE) ||
2112 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_PATH_TRANS) ||
2113 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_CONT_LEN) ||
Christopher Faulet5cd0e522021-06-11 13:34:42 +02002114 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_SRV_SOFT) ||
Christopher Faulet73518be2021-01-27 12:06:54 +01002115 !fcgi_encode_default_param(fconn, fstrm, &params, &outbuf, FCGI_SP_HTTPS)) {
2116 TRACE_ERROR("error encoding default params", FCGI_EV_TX_RECORD|FCGI_EV_STRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002117 goto error;
Christopher Faulet73518be2021-01-27 12:06:54 +01002118 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002119
2120 /* update the record's size */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002121 TRACE_PROTO("FCGI PARAMS record xferred", FCGI_EV_TX_RECORD|FCGI_EV_TX_PARAMS, fconn->conn, fstrm, 0, (size_t[]){outbuf.data - FCGI_RECORD_HEADER_SZ});
2122 fcgi_set_record_size(outbuf.area, outbuf.data - FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02002123 b_add(mbuf, outbuf.data);
2124
2125 end:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002126 TRACE_LEAVE(FCGI_EV_TX_RECORD|FCGI_EV_TX_PARAMS, fconn->conn, fstrm, htx, (size_t[]){total});
Christopher Faulet99eff652019-08-11 23:11:30 +02002127 return total;
2128 full:
2129 if ((mbuf = br_tail_add(fconn->mbuf)) != NULL)
2130 goto retry;
2131 fconn->flags |= FCGI_CF_MUX_MFULL;
2132 fstrm->flags |= FCGI_SF_BLK_MROOM;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002133 TRACE_STATE("mbuf ring full", FCGI_EV_TX_RECORD|FCGI_EV_FSTRM_BLK|FCGI_EV_FCONN_BLK, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002134 if (total)
2135 goto error;
2136 goto end;
2137
2138 error:
2139 htx->flags |= HTX_FL_PROCESSING_ERROR;
Christopher Faulet73518be2021-01-27 12:06:54 +01002140 TRACE_ERROR("processing error sending PARAMS record", FCGI_EV_TX_RECORD|FCGI_EV_STRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002141 fcgi_strm_error(fstrm);
2142 goto end;
2143}
2144
2145/* Sends a STDIN record. Returns > 0 on success, 0 if it couldn't do
2146 * anything. STDIN records contain the request body.
2147 */
2148static size_t fcgi_strm_send_stdin(struct fcgi_conn *fconn, struct fcgi_strm *fstrm,
2149 struct htx *htx, size_t count, struct buffer *buf)
2150{
2151 struct buffer outbuf;
2152 struct buffer *mbuf;
2153 struct htx_blk *blk;
2154 enum htx_blk_type type;
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002155 uint32_t size, extra_bytes;
Christopher Faulet99eff652019-08-11 23:11:30 +02002156 size_t total = 0;
2157
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002158 extra_bytes = 0;
2159
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002160 TRACE_ENTER(FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, htx, (size_t[]){count});
Christopher Faulet99eff652019-08-11 23:11:30 +02002161 if (!count)
2162 goto end;
2163
2164 mbuf = br_tail(fconn->mbuf);
2165 retry:
2166 if (!fcgi_get_buf(fconn, mbuf)) {
2167 fconn->flags |= FCGI_CF_MUX_MALLOC;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002168 fstrm->flags |= FCGI_SF_BLK_MROOM;
2169 TRACE_STATE("waiting for fconn mbuf ring allocation", FCGI_EV_TX_RECORD|FCGI_EV_FSTRM_BLK|FCGI_EV_FCONN_BLK, fconn->conn, fstrm);
2170 goto end;
Christopher Faulet99eff652019-08-11 23:11:30 +02002171 }
2172
2173 /* Perform some optimizations to reduce the number of buffer copies.
2174 * First, if the mux's buffer is empty and the htx area contains exactly
2175 * one data block of the same size as the requested count, and this
2176 * count fits within the record size, then it's possible to simply swap
2177 * the caller's buffer with the mux's output buffer and adjust offsets
2178 * and length to match the entire DATA HTX block in the middle. In this
2179 * case we perform a true zero-copy operation from end-to-end. This is
2180 * the situation that happens all the time with large files. Second, if
2181 * this is not possible, but the mux's output buffer is empty, we still
2182 * have an opportunity to avoid the copy to the intermediary buffer, by
2183 * making the intermediary buffer's area point to the output buffer's
2184 * area. In this case we want to skip the HTX header to make sure that
2185 * copies remain aligned and that this operation remains possible all
2186 * the time. This goes for headers, data blocks and any data extracted
2187 * from the HTX blocks.
2188 */
2189 blk = htx_get_head_blk(htx);
2190 if (!blk)
2191 goto end;
2192 type = htx_get_blk_type(blk);
2193 size = htx_get_blksz(blk);
2194 if (unlikely(size == count && htx_nbblks(htx) == 1 && type == HTX_BLK_DATA)) {
2195 void *old_area = mbuf->area;
2196
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002197 /* Last block of the message: Reserve the size for the empty stdin record */
2198 if (htx->flags & HTX_FL_EOM)
2199 extra_bytes = FCGI_RECORD_HEADER_SZ;
2200
Christopher Faulet99eff652019-08-11 23:11:30 +02002201 if (b_data(mbuf)) {
2202 /* Too bad there are data left there. We're willing to memcpy/memmove
2203 * up to 1/4 of the buffer, which means that it's OK to copy a large
2204 * record into a buffer containing few data if it needs to be realigned,
2205 * and that it's also OK to copy few data without realigning. Otherwise
2206 * we'll pretend the mbuf is full and wait for it to become empty.
2207 */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002208 if (size + FCGI_RECORD_HEADER_SZ + extra_bytes <= b_room(mbuf) &&
Christopher Faulet99eff652019-08-11 23:11:30 +02002209 (b_data(mbuf) <= b_size(mbuf) / 4 ||
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002210 (size <= b_size(mbuf) / 4 && size + FCGI_RECORD_HEADER_SZ + extra_bytes <= b_contig_space(mbuf))))
Christopher Faulet99eff652019-08-11 23:11:30 +02002211 goto copy;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002212 goto full;
Christopher Faulet99eff652019-08-11 23:11:30 +02002213 }
2214
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002215 TRACE_PROTO("sending stding data (zero-copy)", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, htx, (size_t[]){size});
Christopher Faulet99eff652019-08-11 23:11:30 +02002216 /* map a FCGI record to the HTX block so that we can put the
2217 * record header there.
2218 */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002219 *mbuf = b_make(buf->area, buf->size, sizeof(struct htx) + blk->addr - FCGI_RECORD_HEADER_SZ, size + FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02002220 outbuf.area = b_head(mbuf);
2221
2222 /* prepend a FCGI record header just before the DATA block */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002223 memcpy(outbuf.area, "\x01\x05\x00\x00\x00\x00\x00\x00", FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02002224 fcgi_set_record_id(outbuf.area, fstrm->id);
2225 fcgi_set_record_size(outbuf.area, size);
2226
2227 /* and exchange with our old area */
2228 buf->area = old_area;
2229 buf->data = buf->head = 0;
2230 total += size;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002231
2232 htx = (struct htx *)buf->area;
2233 htx_reset(htx);
Christopher Faulet99eff652019-08-11 23:11:30 +02002234 goto end;
2235 }
2236
2237 copy:
2238 while (1) {
2239 outbuf = b_make(b_tail(mbuf), b_contig_space(mbuf), 0, 0);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002240 if (outbuf.size >= FCGI_RECORD_HEADER_SZ + extra_bytes || !b_space_wraps(mbuf))
Christopher Faulet99eff652019-08-11 23:11:30 +02002241 break;
2242 realign_again:
2243 b_slow_realign(mbuf, trash.area, b_data(mbuf));
2244 }
2245
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002246 if (outbuf.size < FCGI_RECORD_HEADER_SZ + extra_bytes)
Christopher Faulet99eff652019-08-11 23:11:30 +02002247 goto full;
2248
2249 /* vsn: 1(FCGI_VERSION), type: (5)FCGI_STDIN, id: fstrm->id,
2250 * len: 0x0000 (fill later), padding: 0x00, rsv: 0x00 */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002251 memcpy(outbuf.area, "\x01\x05\x00\x00\x00\x00\x00\x00", FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02002252 fcgi_set_record_id(outbuf.area, fstrm->id);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002253 outbuf.data = FCGI_RECORD_HEADER_SZ;
Christopher Faulet99eff652019-08-11 23:11:30 +02002254
2255 blk = htx_get_head_blk(htx);
2256 while (blk && count) {
2257 enum htx_blk_type type = htx_get_blk_type(blk);
2258 uint32_t size = htx_get_blksz(blk);
2259 struct ist v;
2260
2261 switch (type) {
2262 case HTX_BLK_DATA:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002263 TRACE_PROTO("sending stding data", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, htx, (size_t[]){size});
Christopher Faulet99eff652019-08-11 23:11:30 +02002264 v = htx_get_blk_value(htx, blk);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002265
2266 if (htx_is_unique_blk(htx, blk) && (htx->flags & HTX_FL_EOM))
2267 extra_bytes = FCGI_RECORD_HEADER_SZ; /* Last block of the message */
2268
2269 if (v.len > count) {
Christopher Faulet99eff652019-08-11 23:11:30 +02002270 v.len = count;
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002271 extra_bytes = 0;
2272 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002273
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002274 if (v.len + FCGI_RECORD_HEADER_SZ + extra_bytes > b_room(&outbuf)) {
Christopher Faulet99eff652019-08-11 23:11:30 +02002275 /* It doesn't fit at once. If it at least fits once split and
2276 * the amount of data to move is low, let's defragment the
2277 * buffer now.
2278 */
2279 if (b_space_wraps(mbuf) &&
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002280 b_data(&outbuf) + v.len + extra_bytes <= b_room(mbuf) &&
Christopher Faulet99eff652019-08-11 23:11:30 +02002281 b_data(mbuf) <= MAX_DATA_REALIGN)
2282 goto realign_again;
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002283 v.len = b_room(&outbuf) - FCGI_RECORD_HEADER_SZ - extra_bytes;
Christopher Faulet99eff652019-08-11 23:11:30 +02002284 }
2285 if (!v.len || !chunk_memcat(&outbuf, v.ptr, v.len)) {
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002286 if (outbuf.data == FCGI_RECORD_HEADER_SZ)
Christopher Faulet99eff652019-08-11 23:11:30 +02002287 goto full;
2288 goto done;
2289 }
2290 if (v.len != size) {
2291 total += v.len;
2292 count -= v.len;
2293 htx_cut_data_blk(htx, blk, v.len);
2294 goto done;
2295 }
2296 break;
2297
Christopher Faulet99eff652019-08-11 23:11:30 +02002298 default:
2299 break;
2300 }
2301 total += size;
2302 count -= size;
2303 blk = htx_remove_blk(htx, blk);
2304 }
2305
2306 done:
2307 /* update the record's size */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002308 TRACE_PROTO("FCGI STDIN record xferred", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, 0, (size_t[]){outbuf.data - FCGI_RECORD_HEADER_SZ});
2309 fcgi_set_record_size(outbuf.area, outbuf.data - FCGI_RECORD_HEADER_SZ);
Christopher Faulet99eff652019-08-11 23:11:30 +02002310 b_add(mbuf, outbuf.data);
2311
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002312 /* Send the empty stding here to finish the message */
2313 if (htx_is_empty(htx) && (htx->flags & HTX_FL_EOM)) {
2314 TRACE_PROTO("sending FCGI STDIN record", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, htx);
2315 if (!fcgi_strm_send_empty_stdin(fconn, fstrm)) {
2316 /* bytes already reserved for this record. It should not fail */
2317 htx->flags |= HTX_FL_PROCESSING_ERROR;
Christopher Faulet73518be2021-01-27 12:06:54 +01002318 TRACE_ERROR("processing error sending empty STDIN record", FCGI_EV_TX_RECORD|FCGI_EV_STRM_ERR, fconn->conn, fstrm);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002319 fcgi_strm_error(fstrm);
2320 }
2321 }
2322
Christopher Faulet99eff652019-08-11 23:11:30 +02002323 end:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002324 TRACE_LEAVE(FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, htx, (size_t[]){total});
Christopher Faulet99eff652019-08-11 23:11:30 +02002325 return total;
2326 full:
2327 if ((mbuf = br_tail_add(fconn->mbuf)) != NULL)
2328 goto retry;
2329 fconn->flags |= FCGI_CF_MUX_MFULL;
2330 fstrm->flags |= FCGI_SF_BLK_MROOM;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002331 TRACE_STATE("mbuf ring full", FCGI_EV_TX_RECORD|FCGI_EV_FSTRM_BLK|FCGI_EV_FCONN_BLK, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002332 goto end;
2333}
2334
2335/* Processes a STDOUT record. Returns > 0 on success, 0 if it couldn't do
2336 * anything. STDOUT records contain the entire response. All the content is
2337 * copied in the stream's rxbuf. The parsing will be handled in fcgi_rcv_buf().
2338 */
2339static int fcgi_strm_handle_stdout(struct fcgi_conn *fconn, struct fcgi_strm *fstrm)
2340{
2341 struct buffer *dbuf;
2342 size_t ret;
2343 size_t max;
2344
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002345 TRACE_ENTER(FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm);
2346
Christopher Faulet99eff652019-08-11 23:11:30 +02002347 dbuf = &fconn->dbuf;
2348
2349 /* Only padding remains */
2350 if (fconn->state == FCGI_CS_RECORD_P)
2351 goto end_transfer;
2352
2353 if (b_data(dbuf) < (fconn->drl + fconn->drp) &&
2354 b_size(dbuf) > (fconn->drl + fconn->drp) &&
2355 buf_room_for_htx_data(dbuf))
2356 goto fail; // incomplete record
2357
2358 if (!fcgi_get_buf(fconn, &fstrm->rxbuf)) {
2359 fconn->flags |= FCGI_CF_DEM_SALLOC;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002360 TRACE_STATE("waiting for fstrm rxbuf allocation", FCGI_EV_RX_RECORD|FCGI_EV_FSTRM_BLK, fconn->conn, fstrm);
2361 goto fail;
Christopher Faulet99eff652019-08-11 23:11:30 +02002362 }
2363
2364 /*max = MIN(b_room(&fstrm->rxbuf), fconn->drl);*/
2365 max = buf_room_for_htx_data(&fstrm->rxbuf);
2366 if (!b_data(&fstrm->rxbuf))
2367 fstrm->rxbuf.head = sizeof(struct htx);
2368 if (max > fconn->drl)
2369 max = fconn->drl;
2370
2371 ret = b_xfer(&fstrm->rxbuf, dbuf, max);
2372 if (!ret)
2373 goto fail;
2374 fconn->drl -= ret;
Willy Tarreau022e5e52020-09-10 09:33:15 +02002375 TRACE_DATA("move some data to fstrm rxbuf", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm, 0, (size_t[]){ret});
2376 TRACE_PROTO("FCGI STDOUT record rcvd", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm, 0, (size_t[]){ret});
Christopher Faulet99eff652019-08-11 23:11:30 +02002377
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002378 if (!buf_room_for_htx_data(&fstrm->rxbuf)) {
Christopher Faulet99eff652019-08-11 23:11:30 +02002379 fconn->flags |= FCGI_CF_DEM_SFULL;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002380 TRACE_STATE("fstrm rxbuf full", FCGI_EV_RX_RECORD|FCGI_EV_FSTRM_BLK, fconn->conn, fstrm);
2381 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002382
2383 if (fconn->drl)
2384 goto fail;
2385
2386 end_transfer:
Christopher Faulet6c99d3b2020-07-15 15:55:52 +02002387 fconn->state = FCGI_CS_RECORD_P;
Christopher Faulet99eff652019-08-11 23:11:30 +02002388 fconn->drl += fconn->drp;
2389 fconn->drp = 0;
2390 ret = MIN(b_data(&fconn->dbuf), fconn->drl);
2391 b_del(&fconn->dbuf, ret);
2392 fconn->drl -= ret;
2393 if (fconn->drl)
2394 goto fail;
2395
2396 fconn->state = FCGI_CS_RECORD_H;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002397 TRACE_STATE("switching to RECORD_H", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn, fstrm);
2398 TRACE_LEAVE(FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002399 return 1;
2400 fail:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002401 TRACE_DEVEL("leaving on missing data or error", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002402 return 0;
2403}
2404
2405
2406/* Processes an empty STDOUT. Returns > 0 on success, 0 if it couldn't do
2407 * anything. It only skip the padding in fact, there is no payload for such
Ilya Shipitsin6fb0f212020-04-02 15:25:26 +05002408 * records. It marks the end of the response.
Christopher Faulet99eff652019-08-11 23:11:30 +02002409 */
2410static int fcgi_strm_handle_empty_stdout(struct fcgi_conn *fconn, struct fcgi_strm *fstrm)
2411{
2412 int ret;
2413
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002414 TRACE_ENTER(FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm);
2415
Christopher Faulet99eff652019-08-11 23:11:30 +02002416 fconn->state = FCGI_CS_RECORD_P;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002417 TRACE_STATE("switching to RECORD_P", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002418 fconn->drl += fconn->drp;
2419 fconn->drp = 0;
2420 ret = MIN(b_data(&fconn->dbuf), fconn->drl);
2421 b_del(&fconn->dbuf, ret);
2422 fconn->drl -= ret;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002423 if (fconn->drl) {
2424 TRACE_DEVEL("leaving on missing data or error", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002425 return 0;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002426 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002427 fconn->state = FCGI_CS_RECORD_H;
Christopher Faulet3b3096e2020-07-15 16:04:49 +02002428 fstrm->flags |= FCGI_SF_ES_RCVD;
Willy Tarreau022e5e52020-09-10 09:33:15 +02002429 TRACE_PROTO("FCGI STDOUT record rcvd", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm, 0, (size_t[]){0});
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002430 TRACE_STATE("stdout data fully send, switching to RECORD_H", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR|FCGI_EV_RX_EOI, fconn->conn, fstrm);
2431 TRACE_LEAVE(FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002432 return 1;
2433}
2434
2435/* Processes a STDERR record. Returns > 0 on success, 0 if it couldn't do
2436 * anything.
2437 */
2438static int fcgi_strm_handle_stderr(struct fcgi_conn *fconn, struct fcgi_strm *fstrm)
2439{
2440 struct buffer *dbuf;
2441 struct buffer tag;
2442 size_t ret;
2443
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002444 TRACE_ENTER(FCGI_EV_RX_RECORD|FCGI_EV_RX_STDERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002445 dbuf = &fconn->dbuf;
2446
2447 /* Only padding remains */
Christopher Faulet7f854332020-07-15 15:46:30 +02002448 if (fconn->state == FCGI_CS_RECORD_P || !fconn->drl)
Christopher Faulet99eff652019-08-11 23:11:30 +02002449 goto end_transfer;
2450
2451 if (b_data(dbuf) < (fconn->drl + fconn->drp) &&
2452 b_size(dbuf) > (fconn->drl + fconn->drp) &&
2453 buf_room_for_htx_data(dbuf))
2454 goto fail; // incomplete record
2455
2456 chunk_reset(&trash);
2457 ret = b_xfer(&trash, dbuf, MIN(b_room(&trash), fconn->drl));
2458 if (!ret)
2459 goto fail;
2460 fconn->drl -= ret;
Willy Tarreau022e5e52020-09-10 09:33:15 +02002461 TRACE_PROTO("FCGI STDERR record rcvd", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDERR, fconn->conn, fstrm, 0, (size_t[]){ret});
Christopher Faulet99eff652019-08-11 23:11:30 +02002462
2463 trash.area[ret] = '\n';
2464 trash.area[ret+1] = '\0';
2465 tag.area = fconn->app->name; tag.data = strlen(fconn->app->name);
Christopher Fauletc45791a2019-09-24 14:30:46 +02002466 app_log(&fconn->app->logsrvs, &tag, LOG_ERR, "%s", trash.area);
Christopher Faulet99eff652019-08-11 23:11:30 +02002467
2468 if (fconn->drl)
2469 goto fail;
2470
2471 end_transfer:
Christopher Faulet6c99d3b2020-07-15 15:55:52 +02002472 fconn->state = FCGI_CS_RECORD_P;
Christopher Faulet99eff652019-08-11 23:11:30 +02002473 fconn->drl += fconn->drp;
2474 fconn->drp = 0;
2475 ret = MIN(b_data(&fconn->dbuf), fconn->drl);
2476 b_del(&fconn->dbuf, ret);
2477 fconn->drl -= ret;
2478 if (fconn->drl)
2479 goto fail;
2480 fconn->state = FCGI_CS_RECORD_H;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002481 TRACE_STATE("switching to RECORD_H", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn, fstrm);
2482 TRACE_LEAVE(FCGI_EV_RX_RECORD|FCGI_EV_RX_STDERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002483 return 1;
2484 fail:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002485 TRACE_DEVEL("leaving on missing data or error", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002486 return 0;
2487}
2488
2489/* Processes an END_REQUEST record. Returns > 0 on success, 0 if it couldn't do
2490 * anything. If the empty STDOUT record is not already received, this one marks
2491 * the end of the response. It is highly unexpected, but if the record is larger
2492 * than a buffer and cannot be decoded in one time, an error is triggered and
2493 * the connection is closed. END_REQUEST record cannot be split.
2494 */
2495static int fcgi_strm_handle_end_request(struct fcgi_conn *fconn, struct fcgi_strm *fstrm)
2496{
2497 struct buffer inbuf;
2498 struct buffer *dbuf;
2499 struct fcgi_end_request endreq;
2500
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002501 TRACE_ENTER(FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002502 dbuf = &fconn->dbuf;
2503
2504 /* Record too large to be fully decoded */
Christopher Faulet73518be2021-01-27 12:06:54 +01002505 if (b_size(dbuf) < (fconn->drl + fconn->drp)) {
2506 TRACE_ERROR("END_REQUEST record too large", FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ|FCGI_EV_FSTRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002507 goto fail;
Christopher Faulet73518be2021-01-27 12:06:54 +01002508 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002509
2510 /* process full record only */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002511 if (b_data(dbuf) < (fconn->drl + fconn->drp)) {
2512 TRACE_DEVEL("leaving on missing data", FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002513 return 0;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002514 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002515
2516 if (unlikely(b_contig_data(dbuf, b_head_ofs(dbuf)) < fconn->drl)) {
2517 /* Realign the dmux buffer if the record wraps. It is unexpected
2518 * at this stage because it should be the first record received
2519 * from the FCGI application.
2520 */
Christopher Faulet00d7cde2021-02-04 11:01:51 +01002521 b_slow_realign_ofs(dbuf, trash.area, 0);
Christopher Faulet99eff652019-08-11 23:11:30 +02002522 }
2523
2524 inbuf = b_make(b_head(dbuf), b_data(dbuf), 0, fconn->drl);
2525
Christopher Faulet73518be2021-01-27 12:06:54 +01002526 if (!fcgi_decode_end_request(&inbuf, 0, &endreq)) {
2527 TRACE_ERROR("END_REQUEST record decoding failure", FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ|FCGI_EV_FSTRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002528 goto fail;
Christopher Faulet73518be2021-01-27 12:06:54 +01002529 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002530
2531 fstrm->flags |= FCGI_SF_ES_RCVD;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002532 TRACE_STATE("end of script reported", FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ|FCGI_EV_RX_EOI, fconn->conn, fstrm);
Willy Tarreau022e5e52020-09-10 09:33:15 +02002533 TRACE_PROTO("FCGI END_REQUEST record rcvd", FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ, fconn->conn, fstrm, 0, (size_t[]){fconn->drl});
Christopher Faulet99eff652019-08-11 23:11:30 +02002534 fstrm->proto_status = endreq.errcode;
2535 fcgi_strm_close(fstrm);
2536
2537 b_del(&fconn->dbuf, fconn->drl + fconn->drp);
2538 fconn->drl = 0;
2539 fconn->drp = 0;
2540 fconn->state = FCGI_CS_RECORD_H;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002541 TRACE_STATE("switching to RECORD_H", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn, fstrm);
2542 TRACE_LEAVE(FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002543 return 1;
2544
2545 fail:
2546 fcgi_strm_error(fstrm);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002547 TRACE_DEVEL("leaving on error", FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ|FCGI_EV_FSTRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002548 return 0;
2549}
2550
2551/* process Rx records to be demultiplexed */
2552static void fcgi_process_demux(struct fcgi_conn *fconn)
2553{
2554 struct fcgi_strm *fstrm = NULL, *tmp_fstrm;
2555 struct fcgi_header hdr;
2556 int ret;
2557
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002558 TRACE_ENTER(FCGI_EV_FCONN_WAKE, fconn->conn);
2559
Christopher Faulet99eff652019-08-11 23:11:30 +02002560 if (fconn->state == FCGI_CS_CLOSED)
2561 return;
2562
2563 if (unlikely(fconn->state < FCGI_CS_RECORD_H)) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002564 if (fconn->state == FCGI_CS_INIT) {
2565 TRACE_STATE("waiting FCGI GET_VALUES to be sent", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR|FCGI_EV_RX_GETVAL, fconn->conn);
2566 return;
2567 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002568 if (fconn->state == FCGI_CS_SETTINGS) {
2569 /* ensure that what is pending is a valid GET_VALUES_RESULT record. */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002570 TRACE_STATE("receiving FCGI record header", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002571 ret = fcgi_decode_record_hdr(&fconn->dbuf, 0, &hdr);
Christopher Faulet73518be2021-01-27 12:06:54 +01002572 if (!ret) {
2573 TRACE_ERROR("header record decoding failure", FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ|FCGI_EV_FSTRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002574 goto fail;
Christopher Faulet73518be2021-01-27 12:06:54 +01002575 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002576 b_del(&fconn->dbuf, ret);
2577
2578 if (hdr.id || (hdr.type != FCGI_GET_VALUES_RESULT && hdr.type != FCGI_UNKNOWN_TYPE)) {
2579 fconn->state = FCGI_CS_CLOSED;
Christopher Faulet73518be2021-01-27 12:06:54 +01002580 TRACE_ERROR("unexpected record type or flags", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR|FCGI_EV_RX_GETVAL|FCGI_EV_FCONN_ERR, fconn->conn);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002581 TRACE_STATE("switching to CLOSED", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR|FCGI_EV_RX_GETVAL|FCGI_EV_FCONN_ERR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002582 goto fail;
2583 }
2584 goto new_record;
2585 }
2586 }
2587
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002588 /* process as many incoming records as possible below */
2589 while (1) {
2590 if (!b_data(&fconn->dbuf)) {
2591 TRACE_DEVEL("no more Rx data", FCGI_EV_RX_RECORD, fconn->conn);
2592 break;
2593 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002594
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002595 if (fconn->state == FCGI_CS_CLOSED) {
2596 TRACE_STATE("end of connection reported", FCGI_EV_RX_RECORD|FCGI_EV_RX_EOI, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002597 break;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002598 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002599
2600 if (fconn->state == FCGI_CS_RECORD_H) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002601 TRACE_PROTO("receiving FCGI record header", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002602 ret = fcgi_decode_record_hdr(&fconn->dbuf, 0, &hdr);
2603 if (!ret)
2604 break;
2605 b_del(&fconn->dbuf, ret);
2606
2607 new_record:
2608 fconn->dsi = hdr.id;
2609 fconn->drt = hdr.type;
2610 fconn->drl = hdr.len;
2611 fconn->drp = hdr.padding;
2612 fconn->state = FCGI_CS_RECORD_D;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002613 TRACE_STATE("FCGI record header rcvd, switching to RECORD_D", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002614 }
2615
2616 /* Only FCGI_CS_RECORD_D or FCGI_CS_RECORD_P */
2617 tmp_fstrm = fcgi_conn_st_by_id(fconn, fconn->dsi);
2618
2619 if (tmp_fstrm != fstrm && fstrm && fstrm->cs &&
2620 (b_data(&fstrm->rxbuf) ||
Christopher Faulet6670e3e2020-10-08 15:26:33 +02002621 fcgi_conn_read0_pending(fconn) ||
Christopher Faulet99eff652019-08-11 23:11:30 +02002622 fstrm->state == FCGI_SS_CLOSED ||
2623 (fstrm->flags & FCGI_SF_ES_RCVD) ||
2624 (fstrm->cs->flags & (CS_FL_ERROR|CS_FL_ERR_PENDING|CS_FL_EOS)))) {
2625 /* we may have to signal the upper layers */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002626 TRACE_DEVEL("notifying stream before switching SID", FCGI_EV_RX_RECORD|FCGI_EV_STRM_WAKE, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002627 fstrm->cs->flags |= CS_FL_RCV_MORE;
2628 fcgi_strm_notify_recv(fstrm);
2629 }
2630 fstrm = tmp_fstrm;
2631
2632 if (fstrm->state == FCGI_SS_CLOSED && fconn->dsi != 0) {
2633 /* ignore all record for closed streams */
2634 goto ignore_record;
2635 }
2636 if (fstrm->state == FCGI_SS_IDLE) {
2637 /* ignore all record for unknown streams */
2638 goto ignore_record;
2639 }
2640
2641 switch (fconn->drt) {
2642 case FCGI_GET_VALUES_RESULT:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002643 TRACE_PROTO("receiving FCGI GET_VALUES_RESULT record", FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002644 ret = fcgi_conn_handle_values_result(fconn);
2645 break;
2646
2647 case FCGI_STDOUT:
2648 if (fstrm->flags & FCGI_SF_ES_RCVD)
2649 goto ignore_record;
2650
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002651 TRACE_PROTO("receiving FCGI STDOUT record", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDOUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002652 if (fconn->drl)
2653 ret = fcgi_strm_handle_stdout(fconn, fstrm);
2654 else
2655 ret = fcgi_strm_handle_empty_stdout(fconn, fstrm);
2656 break;
2657
2658 case FCGI_STDERR:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002659 TRACE_PROTO("receiving FCGI STDERR record", FCGI_EV_RX_RECORD|FCGI_EV_RX_STDERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002660 ret = fcgi_strm_handle_stderr(fconn, fstrm);
2661 break;
2662
2663 case FCGI_END_REQUEST:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002664 TRACE_PROTO("receiving FCGI END_REQUEST record", FCGI_EV_RX_RECORD|FCGI_EV_RX_ENDREQ, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002665 ret = fcgi_strm_handle_end_request(fconn, fstrm);
2666 break;
2667
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002668 /* implement all extra record types here */
Christopher Faulet99eff652019-08-11 23:11:30 +02002669 default:
2670 ignore_record:
2671 /* drop records that we ignore. They may be
2672 * larger than the buffer so we drain all of
2673 * their contents until we reach the end.
2674 */
2675 fconn->state = FCGI_CS_RECORD_P;
2676 fconn->drl += fconn->drp;
2677 fconn->drp = 0;
2678 ret = MIN(b_data(&fconn->dbuf), fconn->drl);
Willy Tarreau022e5e52020-09-10 09:33:15 +02002679 TRACE_PROTO("receiving FCGI ignored record", FCGI_EV_RX_RECORD, fconn->conn, fstrm, 0, (size_t[]){ret});
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002680 TRACE_STATE("switching to RECORD_P", FCGI_EV_RX_RECORD, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002681 b_del(&fconn->dbuf, ret);
2682 fconn->drl -= ret;
2683 ret = (fconn->drl == 0);
2684 }
2685
2686 /* error or missing data condition met above ? */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002687 if (ret <= 0) {
2688 TRACE_DEVEL("insufficient data to proceed", FCGI_EV_RX_RECORD, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002689 break;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002690 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002691
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002692 if (fconn->state != FCGI_CS_RECORD_H && !(fconn->drl+fconn->drp)) {
Christopher Faulet99eff652019-08-11 23:11:30 +02002693 fconn->state = FCGI_CS_RECORD_H;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002694 TRACE_STATE("switching to RECORD_H", FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn);
2695 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002696 }
2697
2698 fail:
2699 /* we can go here on missing data, blocked response or error */
2700 if (fstrm && fstrm->cs &&
2701 (b_data(&fstrm->rxbuf) ||
Christopher Faulet6670e3e2020-10-08 15:26:33 +02002702 fcgi_conn_read0_pending(fconn) ||
Christopher Faulet99eff652019-08-11 23:11:30 +02002703 fstrm->state == FCGI_SS_CLOSED ||
2704 (fstrm->flags & FCGI_SF_ES_RCVD) ||
2705 (fstrm->cs->flags & (CS_FL_ERROR|CS_FL_ERR_PENDING|CS_FL_EOS)))) {
2706 /* we may have to signal the upper layers */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002707 TRACE_DEVEL("notifying stream before switching SID", FCGI_EV_RX_RECORD|FCGI_EV_STRM_WAKE, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02002708 fstrm->cs->flags |= CS_FL_RCV_MORE;
2709 fcgi_strm_notify_recv(fstrm);
2710 }
2711
2712 fcgi_conn_restart_reading(fconn, 0);
2713}
2714
2715/* process Tx records from streams to be multiplexed. Returns > 0 if it reached
2716 * the end.
2717 */
2718static int fcgi_process_mux(struct fcgi_conn *fconn)
2719{
2720 struct fcgi_strm *fstrm, *fstrm_back;
2721
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002722 TRACE_ENTER(FCGI_EV_FCONN_WAKE, fconn->conn);
2723
Christopher Faulet99eff652019-08-11 23:11:30 +02002724 if (unlikely(fconn->state < FCGI_CS_RECORD_H)) {
2725 if (unlikely(fconn->state == FCGI_CS_INIT)) {
2726 if (!(fconn->flags & FCGI_CF_GET_VALUES)) {
2727 fconn->state = FCGI_CS_RECORD_H;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002728 TRACE_STATE("switching to RECORD_H", FCGI_EV_TX_RECORD|FCGI_EV_RX_RECORD|FCGI_EV_RX_FHDR, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002729 fcgi_wake_unassigned_streams(fconn);
2730 goto mux;
2731 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002732 TRACE_PROTO("sending FCGI GET_VALUES record", FCGI_EV_TX_RECORD|FCGI_EV_TX_GETVAL, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002733 if (unlikely(!fcgi_conn_send_get_values(fconn)))
2734 goto fail;
2735 fconn->state = FCGI_CS_SETTINGS;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002736 TRACE_STATE("switching to SETTINGS", FCGI_EV_TX_RECORD|FCGI_EV_RX_RECORD|FCGI_EV_RX_GETVAL, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002737 }
2738 /* need to wait for the other side */
2739 if (fconn->state < FCGI_CS_RECORD_H)
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002740 goto done;
Christopher Faulet99eff652019-08-11 23:11:30 +02002741 }
2742
2743 mux:
2744 list_for_each_entry_safe(fstrm, fstrm_back, &fconn->send_list, send_list) {
2745 if (fconn->state == FCGI_CS_CLOSED || fconn->flags & FCGI_CF_MUX_BLOCK_ANY)
2746 break;
2747
Willy Tarreauf11be0e2020-01-16 16:59:45 +01002748 if (fstrm->flags & FCGI_SF_NOTIFIED)
Christopher Faulet99eff652019-08-11 23:11:30 +02002749 continue;
2750
Willy Tarreau7aad7032020-01-16 17:20:57 +01002751 /* If the sender changed his mind and unsubscribed, let's just
2752 * remove the stream from the send_list.
Christopher Faulet99eff652019-08-11 23:11:30 +02002753 */
Willy Tarreau8907e4d2020-01-16 17:55:37 +01002754 if (!(fstrm->flags & (FCGI_SF_WANT_SHUTR|FCGI_SF_WANT_SHUTW)) &&
2755 (!fstrm->subs || !(fstrm->subs->events & SUB_RETRY_SEND))) {
Christopher Faulet99eff652019-08-11 23:11:30 +02002756 LIST_DEL_INIT(&fstrm->send_list);
2757 continue;
2758 }
Willy Tarreau8907e4d2020-01-16 17:55:37 +01002759
2760 if (fstrm->subs && fstrm->subs->events & SUB_RETRY_SEND) {
Willy Tarreau7aad7032020-01-16 17:20:57 +01002761 TRACE_POINT(FCGI_EV_STRM_WAKE, fconn->conn, fstrm);
2762 fstrm->flags &= ~FCGI_SF_BLK_ANY;
Willy Tarreau7aad7032020-01-16 17:20:57 +01002763 fstrm->flags |= FCGI_SF_NOTIFIED;
Willy Tarreau8907e4d2020-01-16 17:55:37 +01002764 tasklet_wakeup(fstrm->subs->tasklet);
2765 fstrm->subs->events &= ~SUB_RETRY_SEND;
2766 if (!fstrm->subs->events)
2767 fstrm->subs = NULL;
Willy Tarreau7aad7032020-01-16 17:20:57 +01002768 } else {
2769 /* it's the shut request that was queued */
2770 TRACE_POINT(FCGI_EV_STRM_WAKE, fconn->conn, fstrm);
2771 tasklet_wakeup(fstrm->shut_tl);
2772 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002773 }
2774
2775 fail:
2776 if (fconn->state == FCGI_CS_CLOSED) {
2777 if (fconn->stream_cnt - fconn->nb_reserved > 0) {
2778 fcgi_conn_send_aborts(fconn);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002779 if (fconn->flags & FCGI_CF_MUX_BLOCK_ANY) {
2780 TRACE_DEVEL("leaving in blocked situation", FCGI_EV_FCONN_WAKE|FCGI_EV_FCONN_BLK, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002781 return 0;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002782 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002783 }
2784 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002785
2786 done:
2787 TRACE_LEAVE(FCGI_EV_FCONN_WAKE, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002788 return 1;
2789}
2790
2791
2792/* Attempt to read data, and subscribe if none available.
2793 * The function returns 1 if data has been received, otherwise zero.
2794 */
2795static int fcgi_recv(struct fcgi_conn *fconn)
2796{
2797 struct connection *conn = fconn->conn;
2798 struct buffer *buf;
2799 int max;
2800 size_t ret;
2801
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002802 TRACE_ENTER(FCGI_EV_FCONN_RECV, conn);
2803
2804 if (fconn->wait_event.events & SUB_RETRY_RECV) {
2805 TRACE_DEVEL("leaving on sub_recv", FCGI_EV_FCONN_RECV, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002806 return (b_data(&fconn->dbuf));
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002807 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002808
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002809 if (!fcgi_recv_allowed(fconn)) {
2810 TRACE_DEVEL("leaving on !recv_allowed", FCGI_EV_FCONN_RECV, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002811 return 1;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002812 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002813
2814 buf = fcgi_get_buf(fconn, &fconn->dbuf);
2815 if (!buf) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002816 TRACE_DEVEL("waiting for fconn dbuf allocation", FCGI_EV_FCONN_RECV|FCGI_EV_FCONN_BLK, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002817 fconn->flags |= FCGI_CF_DEM_DALLOC;
2818 return 0;
2819 }
2820
Christopher Faulet99eff652019-08-11 23:11:30 +02002821 if (!b_data(buf)) {
2822 /* try to pre-align the buffer like the
2823 * rxbufs will be to optimize memory copies. We'll make
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002824 * sure that the record header lands at the end of the
Christopher Faulet99eff652019-08-11 23:11:30 +02002825 * HTX block to alias it upon recv. We cannot use the
2826 * head because rcv_buf() will realign the buffer if
2827 * it's empty. Thus we cheat and pretend we already
2828 * have a few bytes there.
2829 */
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01002830 max = buf_room_for_htx_data(buf) + (fconn->state == FCGI_CS_RECORD_H ? FCGI_RECORD_HEADER_SZ : 0);
2831 buf->head = sizeof(struct htx) - (fconn->state == FCGI_CS_RECORD_H ? FCGI_RECORD_HEADER_SZ : 0);
Christopher Faulet99eff652019-08-11 23:11:30 +02002832 }
2833 else
2834 max = buf_room_for_htx_data(buf);
2835
2836 ret = max ? conn->xprt->rcv_buf(conn, conn->xprt_ctx, buf, max, 0) : 0;
2837
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002838 if (max && !ret && fcgi_recv_allowed(fconn)) {
2839 TRACE_DATA("failed to receive data, subscribing", FCGI_EV_FCONN_RECV, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002840 conn->xprt->subscribe(conn, conn->xprt_ctx, SUB_RETRY_RECV, &fconn->wait_event);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002841 }
2842 else
Willy Tarreau022e5e52020-09-10 09:33:15 +02002843 TRACE_DATA("recv data", FCGI_EV_FCONN_RECV, conn, 0, 0, (size_t[]){ret});
Christopher Faulet99eff652019-08-11 23:11:30 +02002844
2845 if (!b_data(buf)) {
2846 fcgi_release_buf(fconn, &fconn->dbuf);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002847 TRACE_LEAVE(FCGI_EV_FCONN_RECV, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002848 return (conn->flags & CO_FL_ERROR || conn_xprt_read0_pending(conn));
2849 }
2850
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002851 if (ret == max) {
2852 TRACE_DEVEL("fconn dbuf full", FCGI_EV_FCONN_RECV|FCGI_EV_FCONN_BLK, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002853 fconn->flags |= FCGI_CF_DEM_DFULL;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002854 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002855
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002856 TRACE_LEAVE(FCGI_EV_FCONN_RECV, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002857 return !!ret || (conn->flags & CO_FL_ERROR) || conn_xprt_read0_pending(conn);
2858}
2859
2860
2861/* Try to send data if possible.
2862 * The function returns 1 if data have been sent, otherwise zero.
2863 */
2864static int fcgi_send(struct fcgi_conn *fconn)
2865{
2866 struct connection *conn = fconn->conn;
2867 int done;
2868 int sent = 0;
2869
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002870 TRACE_ENTER(FCGI_EV_FCONN_SEND, conn);
2871
2872 if (conn->flags & CO_FL_ERROR) {
2873 TRACE_DEVEL("leaving on connection error", FCGI_EV_FCONN_SEND, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002874 return 1;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002875 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002876
2877
Willy Tarreau911db9b2020-01-23 16:27:54 +01002878 if (conn->flags & CO_FL_WAIT_XPRT) {
Christopher Faulet99eff652019-08-11 23:11:30 +02002879 /* a handshake was requested */
2880 goto schedule;
2881 }
2882
2883 /* This loop is quite simple : it tries to fill as much as it can from
2884 * pending streams into the existing buffer until it's reportedly full
2885 * or the end of send requests is reached. Then it tries to send this
2886 * buffer's contents out, marks it not full if at least one byte could
2887 * be sent, and tries again.
2888 *
2889 * The snd_buf() function normally takes a "flags" argument which may
2890 * be made of a combination of CO_SFL_MSG_MORE to indicate that more
2891 * data immediately comes and CO_SFL_STREAMER to indicate that the
2892 * connection is streaming lots of data (used to increase TLS record
2893 * size at the expense of latency). The former can be sent any time
2894 * there's a buffer full flag, as it indicates at least one stream
2895 * attempted to send and failed so there are pending data. An
2896 * alternative would be to set it as long as there's an active stream
2897 * but that would be problematic for ACKs until we have an absolute
2898 * guarantee that all waiters have at least one byte to send. The
2899 * latter should possibly not be set for now.
2900 */
2901
2902 done = 0;
2903 while (!done) {
2904 unsigned int flags = 0;
2905 unsigned int released = 0;
2906 struct buffer *buf;
2907
2908 /* fill as much as we can into the current buffer */
2909 while (((fconn->flags & (FCGI_CF_MUX_MFULL|FCGI_CF_MUX_MALLOC)) == 0) && !done)
2910 done = fcgi_process_mux(fconn);
2911
2912 if (fconn->flags & FCGI_CF_MUX_MALLOC)
2913 done = 1; // we won't go further without extra buffers
2914
2915 if (conn->flags & CO_FL_ERROR)
2916 break;
2917
2918 if (fconn->flags & (FCGI_CF_MUX_MFULL | FCGI_CF_DEM_MROOM))
2919 flags |= CO_SFL_MSG_MORE;
2920
2921 for (buf = br_head(fconn->mbuf); b_size(buf); buf = br_del_head(fconn->mbuf)) {
2922 if (b_data(buf)) {
2923 int ret;
2924
2925 ret = conn->xprt->snd_buf(conn, conn->xprt_ctx, buf, b_data(buf), flags);
2926 if (!ret) {
2927 done = 1;
2928 break;
2929 }
2930 sent = 1;
Willy Tarreau022e5e52020-09-10 09:33:15 +02002931 TRACE_DATA("send data", FCGI_EV_FCONN_SEND, conn, 0, 0, (size_t[]){ret});
Christopher Faulet99eff652019-08-11 23:11:30 +02002932 b_del(buf, ret);
2933 if (b_data(buf)) {
2934 done = 1;
2935 break;
2936 }
2937 }
2938 b_free(buf);
2939 released++;
2940 }
2941
2942 if (released)
Willy Tarreau4d77bbf2021-02-20 12:02:46 +01002943 offer_buffers(NULL, released);
Christopher Faulet99eff652019-08-11 23:11:30 +02002944
2945 /* wrote at least one byte, the buffer is not full anymore */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002946 if (fconn->flags & (FCGI_CF_MUX_MFULL | FCGI_CF_DEM_MROOM))
2947 TRACE_STATE("fconn mbuf ring not fill anymore", FCGI_EV_FCONN_SEND|FCGI_EV_FCONN_BLK, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002948 fconn->flags &= ~(FCGI_CF_MUX_MFULL | FCGI_CF_DEM_MROOM);
2949 }
2950
2951 if (conn->flags & CO_FL_SOCK_WR_SH) {
2952 /* output closed, nothing to send, clear the buffer to release it */
2953 b_reset(br_tail(fconn->mbuf));
2954 }
2955 /* We're not full anymore, so we can wake any task that are waiting
2956 * for us.
2957 */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002958 if (!(fconn->flags & (FCGI_CF_MUX_MFULL | FCGI_CF_DEM_MROOM)) && fconn->state >= FCGI_CS_RECORD_H) {
Christopher Faulet99eff652019-08-11 23:11:30 +02002959 struct fcgi_strm *fstrm;
2960
2961 list_for_each_entry(fstrm, &fconn->send_list, send_list) {
2962 if (fconn->state == FCGI_CS_CLOSED || fconn->flags & FCGI_CF_MUX_BLOCK_ANY)
2963 break;
2964
Willy Tarreauf11be0e2020-01-16 16:59:45 +01002965 if (fstrm->flags & FCGI_SF_NOTIFIED)
Christopher Faulet99eff652019-08-11 23:11:30 +02002966 continue;
2967
Willy Tarreau7aad7032020-01-16 17:20:57 +01002968 /* If the sender changed his mind and unsubscribed, let's just
2969 * remove the stream from the send_list.
Christopher Faulet99eff652019-08-11 23:11:30 +02002970 */
Willy Tarreau8907e4d2020-01-16 17:55:37 +01002971 if (!(fstrm->flags & (FCGI_SF_WANT_SHUTR|FCGI_SF_WANT_SHUTW)) &&
2972 (!fstrm->subs || !(fstrm->subs->events & SUB_RETRY_SEND))) {
Christopher Faulet99eff652019-08-11 23:11:30 +02002973 LIST_DEL_INIT(&fstrm->send_list);
2974 continue;
2975 }
Willy Tarreau8907e4d2020-01-16 17:55:37 +01002976
2977 if (fstrm->subs && fstrm->subs->events & SUB_RETRY_SEND) {
Willy Tarreau7aad7032020-01-16 17:20:57 +01002978 TRACE_DEVEL("waking up pending stream", FCGI_EV_FCONN_SEND|FCGI_EV_STRM_WAKE, conn, fstrm);
Willy Tarreau8907e4d2020-01-16 17:55:37 +01002979 fstrm->flags &= ~FCGI_SF_BLK_ANY;
Willy Tarreau7aad7032020-01-16 17:20:57 +01002980 fstrm->flags |= FCGI_SF_NOTIFIED;
Willy Tarreau8907e4d2020-01-16 17:55:37 +01002981 tasklet_wakeup(fstrm->subs->tasklet);
2982 fstrm->subs->events &= ~SUB_RETRY_SEND;
2983 if (!fstrm->subs->events)
2984 fstrm->subs = NULL;
Willy Tarreau7aad7032020-01-16 17:20:57 +01002985 } else {
2986 /* it's the shut request that was queued */
2987 TRACE_POINT(FCGI_EV_STRM_WAKE, fconn->conn, fstrm);
2988 tasklet_wakeup(fstrm->shut_tl);
2989 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002990 }
2991 }
2992 /* We're done, no more to send */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002993 if (!br_data(fconn->mbuf)) {
2994 TRACE_DEVEL("leaving with everything sent", FCGI_EV_FCONN_SEND, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02002995 return sent;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002996 }
Christopher Faulet99eff652019-08-11 23:11:30 +02002997schedule:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02002998 if (!(conn->flags & CO_FL_ERROR) && !(fconn->wait_event.events & SUB_RETRY_SEND)) {
2999 TRACE_STATE("more data to send, subscribing", FCGI_EV_FCONN_SEND, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003000 conn->xprt->subscribe(conn, conn->xprt_ctx, SUB_RETRY_SEND, &fconn->wait_event);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003001 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003002
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003003 TRACE_DEVEL("leaving with some data left to send", FCGI_EV_FCONN_SEND, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003004 return sent;
3005}
3006
3007/* this is the tasklet referenced in fconn->wait_event.tasklet */
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003008struct task *fcgi_io_cb(struct task *t, void *ctx, unsigned int state)
Christopher Faulet99eff652019-08-11 23:11:30 +02003009{
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003010 struct connection *conn;
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003011 struct fcgi_conn *fconn = ctx;
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003012 struct tasklet *tl = (struct tasklet *)t;
3013 int conn_in_list;
Christopher Faulet99eff652019-08-11 23:11:30 +02003014 int ret = 0;
3015
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003016 if (state & TASK_F_USR1) {
3017 /* the tasklet was idling on an idle connection, it might have
3018 * been stolen, let's be careful!
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003019 */
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003020 HA_SPIN_LOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
3021 if (tl->context == NULL) {
3022 /* The connection has been taken over by another thread,
3023 * we're no longer responsible for it, so just free the
3024 * tasklet, and do nothing.
3025 */
3026 HA_SPIN_UNLOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
3027 tasklet_free(tl);
3028 return NULL;
3029 }
3030 conn = fconn->conn;
3031 TRACE_POINT(FCGI_EV_FCONN_WAKE, conn);
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003032
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003033 conn_in_list = conn->flags & CO_FL_LIST_MASK;
3034 if (conn_in_list)
3035 conn_delete_from_tree(&conn->hash_node->node);
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003036
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003037 HA_SPIN_UNLOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
3038 } else {
3039 /* we're certain the connection was not in an idle list */
3040 conn = fconn->conn;
3041 TRACE_ENTER(FCGI_EV_FCONN_WAKE, conn);
3042 conn_in_list = 0;
3043 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003044
Christopher Faulet99eff652019-08-11 23:11:30 +02003045 if (!(fconn->wait_event.events & SUB_RETRY_SEND))
3046 ret = fcgi_send(fconn);
3047 if (!(fconn->wait_event.events & SUB_RETRY_RECV))
3048 ret |= fcgi_recv(fconn);
3049 if (ret || b_data(&fconn->dbuf))
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003050 ret = fcgi_process(fconn);
3051
3052 /* If we were in an idle list, we want to add it back into it,
3053 * unless fcgi_process() returned -1, which mean it has destroyed
3054 * the connection (testing !ret is enough, if fcgi_process() wasn't
3055 * called then ret will be 0 anyway.
3056 */
Willy Tarreau74163142021-03-13 11:30:19 +01003057 if (ret < 0)
3058 t = NULL;
3059
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003060 if (!ret && conn_in_list) {
3061 struct server *srv = objt_server(conn->target);
3062
Amaury Denoyelle5c7086f2021-01-11 09:21:52 +01003063 HA_SPIN_LOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003064 if (conn_in_list == CO_FL_SAFE_LIST)
Willy Tarreau430bf4a2021-03-04 09:45:32 +01003065 ebmb_insert(&srv->per_thr[tid].safe_conns, &conn->hash_node->node, sizeof(conn->hash_node->hash));
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003066 else
Willy Tarreau430bf4a2021-03-04 09:45:32 +01003067 ebmb_insert(&srv->per_thr[tid].idle_conns, &conn->hash_node->node, sizeof(conn->hash_node->hash));
Amaury Denoyelle5c7086f2021-01-11 09:21:52 +01003068 HA_SPIN_UNLOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003069 }
Willy Tarreau74163142021-03-13 11:30:19 +01003070 return t;
Christopher Faulet99eff652019-08-11 23:11:30 +02003071}
3072
3073/* callback called on any event by the connection handler.
3074 * It applies changes and returns zero, or < 0 if it wants immediate
3075 * destruction of the connection (which normally doesn not happen in FCGI).
3076 */
3077static int fcgi_process(struct fcgi_conn *fconn)
3078{
3079 struct connection *conn = fconn->conn;
3080
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003081 TRACE_POINT(FCGI_EV_FCONN_WAKE, conn);
3082
Christopher Faulet99eff652019-08-11 23:11:30 +02003083 if (b_data(&fconn->dbuf) && !(fconn->flags & FCGI_CF_DEM_BLOCK_ANY)) {
3084 fcgi_process_demux(fconn);
3085
3086 if (fconn->state == FCGI_CS_CLOSED || conn->flags & CO_FL_ERROR)
3087 b_reset(&fconn->dbuf);
3088
3089 if (buf_room_for_htx_data(&fconn->dbuf))
3090 fconn->flags &= ~FCGI_CF_DEM_DFULL;
3091 }
3092 fcgi_send(fconn);
3093
Christopher Fauletdfd10ab2021-10-06 14:24:19 +02003094 if (unlikely(fconn->proxy->flags & (PR_FL_DISABLED|PR_FL_STOPPED))) {
Christopher Faulet99eff652019-08-11 23:11:30 +02003095 /* frontend is stopping, reload likely in progress, let's try
3096 * to announce a graceful shutdown if not yet done. We don't
3097 * care if it fails, it will be tried again later.
3098 */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003099 TRACE_STATE("proxy stopped, sending ABORT to all streams", FCGI_EV_FCONN_WAKE|FCGI_EV_TX_RECORD, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003100 if (!(fconn->flags & (FCGI_CF_ABRTS_SENT|FCGI_CF_ABRTS_FAILED))) {
3101 if (fconn->stream_cnt - fconn->nb_reserved > 0)
3102 fcgi_conn_send_aborts(fconn);
3103 }
3104 }
3105
3106 /*
3107 * If we received early data, and the handshake is done, wake
3108 * any stream that was waiting for it.
3109 */
3110 if (!(fconn->flags & FCGI_CF_WAIT_FOR_HS) &&
Willy Tarreau911db9b2020-01-23 16:27:54 +01003111 (conn->flags & (CO_FL_EARLY_SSL_HS | CO_FL_WAIT_XPRT | CO_FL_EARLY_DATA)) == CO_FL_EARLY_DATA) {
Christopher Faulet99eff652019-08-11 23:11:30 +02003112 struct eb32_node *node;
3113 struct fcgi_strm *fstrm;
3114
3115 fconn->flags |= FCGI_CF_WAIT_FOR_HS;
3116 node = eb32_lookup_ge(&fconn->streams_by_id, 1);
3117
3118 while (node) {
3119 fstrm = container_of(node, struct fcgi_strm, by_id);
3120 if (fstrm->cs && fstrm->cs->flags & CS_FL_WAIT_FOR_HS)
3121 fcgi_strm_notify_recv(fstrm);
3122 node = eb32_next(node);
3123 }
3124 }
3125
Christopher Faulet6670e3e2020-10-08 15:26:33 +02003126 if ((conn->flags & CO_FL_ERROR) || fcgi_conn_read0_pending(fconn) ||
Christopher Faulet99eff652019-08-11 23:11:30 +02003127 fconn->state == FCGI_CS_CLOSED || (fconn->flags & FCGI_CF_ABRTS_FAILED) ||
3128 eb_is_empty(&fconn->streams_by_id)) {
3129 fcgi_wake_some_streams(fconn, 0);
3130
3131 if (eb_is_empty(&fconn->streams_by_id)) {
3132 /* no more stream, kill the connection now */
3133 fcgi_release(fconn);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003134 TRACE_DEVEL("leaving after releasing the connection", FCGI_EV_FCONN_WAKE);
Christopher Faulet99eff652019-08-11 23:11:30 +02003135 return -1;
3136 }
3137 }
3138
3139 if (!b_data(&fconn->dbuf))
3140 fcgi_release_buf(fconn, &fconn->dbuf);
3141
3142 if ((conn->flags & CO_FL_SOCK_WR_SH) ||
3143 fconn->state == FCGI_CS_CLOSED || (fconn->flags & FCGI_CF_ABRTS_FAILED) ||
3144 (!br_data(fconn->mbuf) && ((fconn->flags & FCGI_CF_MUX_BLOCK_ANY) || LIST_ISEMPTY(&fconn->send_list))))
3145 fcgi_release_mbuf(fconn);
3146
3147 if (fconn->task) {
3148 fconn->task->expire = tick_add(now_ms, (fconn->state == FCGI_CS_CLOSED ? fconn->shut_timeout : fconn->timeout));
3149 task_queue(fconn->task);
3150 }
3151
3152 fcgi_send(fconn);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003153 TRACE_LEAVE(FCGI_EV_FCONN_WAKE, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003154 return 0;
3155}
3156
3157
3158/* wake-up function called by the connection layer (mux_ops.wake) */
3159static int fcgi_wake(struct connection *conn)
3160{
3161 struct fcgi_conn *fconn = conn->ctx;
3162
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003163 TRACE_POINT(FCGI_EV_FCONN_WAKE, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003164 return (fcgi_process(fconn));
3165}
3166
Olivier Houchard9b8e11e2019-10-25 16:19:26 +02003167
3168static int fcgi_ctl(struct connection *conn, enum mux_ctl_type mux_ctl, void *output)
3169{
3170 int ret = 0;
3171 switch (mux_ctl) {
3172 case MUX_STATUS:
Willy Tarreau911db9b2020-01-23 16:27:54 +01003173 if (!(conn->flags & CO_FL_WAIT_XPRT))
Olivier Houchard9b8e11e2019-10-25 16:19:26 +02003174 ret |= MUX_STATUS_READY;
3175 return ret;
Christopher Faulet4c8ad842020-10-06 14:59:17 +02003176 case MUX_EXIT_STATUS:
3177 return MUX_ES_UNKNOWN;
Olivier Houchard9b8e11e2019-10-25 16:19:26 +02003178 default:
3179 return -1;
3180 }
3181}
3182
Christopher Faulet99eff652019-08-11 23:11:30 +02003183/* Connection timeout management. The principle is that if there's no receipt
3184 * nor sending for a certain amount of time, the connection is closed. If the
3185 * MUX buffer still has lying data or is not allocatable, the connection is
3186 * immediately killed. If it's allocatable and empty, we attempt to send a
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003187 * ABORT records.
Christopher Faulet99eff652019-08-11 23:11:30 +02003188 */
Willy Tarreau144f84a2021-03-02 16:09:26 +01003189struct task *fcgi_timeout_task(struct task *t, void *context, unsigned int state)
Christopher Faulet99eff652019-08-11 23:11:30 +02003190{
3191 struct fcgi_conn *fconn = context;
3192 int expired = tick_is_expired(t->expire, now_ms);
3193
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003194 TRACE_ENTER(FCGI_EV_FCONN_WAKE, (fconn ? fconn->conn : NULL));
3195
Willy Tarreau60814ff2020-06-30 11:19:23 +02003196 if (fconn) {
Amaury Denoyelle5c7086f2021-01-11 09:21:52 +01003197 HA_SPIN_LOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
Olivier Houchard48ce6a32020-07-02 11:58:05 +02003198
3199 /* Somebody already stole the connection from us, so we should not
3200 * free it, we just have to free the task.
3201 */
3202 if (!t->context) {
Amaury Denoyelle5c7086f2021-01-11 09:21:52 +01003203 HA_SPIN_UNLOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
Olivier Houchard48ce6a32020-07-02 11:58:05 +02003204 fconn = NULL;
3205 goto do_leave;
3206 }
3207
Willy Tarreau60814ff2020-06-30 11:19:23 +02003208 if (!expired) {
Amaury Denoyelle5c7086f2021-01-11 09:21:52 +01003209 HA_SPIN_UNLOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
Willy Tarreau60814ff2020-06-30 11:19:23 +02003210 TRACE_DEVEL("leaving (not expired)", FCGI_EV_FCONN_WAKE, fconn->conn);
3211 return t;
3212 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003213
Willy Tarreau60814ff2020-06-30 11:19:23 +02003214 /* We're about to destroy the connection, so make sure nobody attempts
3215 * to steal it from us.
3216 */
Willy Tarreau60814ff2020-06-30 11:19:23 +02003217 if (fconn->conn->flags & CO_FL_LIST_MASK)
Amaury Denoyelle8990b012021-02-19 15:29:16 +01003218 conn_delete_from_tree(&fconn->conn->hash_node->node);
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003219
Amaury Denoyelle5c7086f2021-01-11 09:21:52 +01003220 HA_SPIN_UNLOCK(IDLE_CONNS_LOCK, &idle_conns[tid].idle_conns_lock);
Willy Tarreau60814ff2020-06-30 11:19:23 +02003221 }
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01003222
Olivier Houchard48ce6a32020-07-02 11:58:05 +02003223do_leave:
Christopher Faulet99eff652019-08-11 23:11:30 +02003224 task_destroy(t);
3225
3226 if (!fconn) {
3227 /* resources were already deleted */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003228 TRACE_DEVEL("leaving (not more fconn)", FCGI_EV_FCONN_WAKE);
Christopher Faulet99eff652019-08-11 23:11:30 +02003229 return NULL;
3230 }
3231
3232 fconn->task = NULL;
3233 fconn->state = FCGI_CS_CLOSED;
3234 fcgi_wake_some_streams(fconn, 0);
3235
3236 if (br_data(fconn->mbuf)) {
3237 /* don't even try to send aborts, the buffer is stuck */
3238 fconn->flags |= FCGI_CF_ABRTS_FAILED;
3239 goto end;
3240 }
3241
3242 /* try to send but no need to insist */
3243 if (!fcgi_conn_send_aborts(fconn))
3244 fconn->flags |= FCGI_CF_ABRTS_FAILED;
3245
3246 if (br_data(fconn->mbuf) && !(fconn->flags & FCGI_CF_ABRTS_FAILED) &&
3247 conn_xprt_ready(fconn->conn)) {
3248 unsigned int released = 0;
3249 struct buffer *buf;
3250
3251 for (buf = br_head(fconn->mbuf); b_size(buf); buf = br_del_head(fconn->mbuf)) {
3252 if (b_data(buf)) {
3253 int ret = fconn->conn->xprt->snd_buf(fconn->conn, fconn->conn->xprt_ctx,
3254 buf, b_data(buf), 0);
3255 if (!ret)
3256 break;
3257 b_del(buf, ret);
3258 if (b_data(buf))
3259 break;
3260 b_free(buf);
3261 released++;
3262 }
3263 }
3264
3265 if (released)
Willy Tarreau4d77bbf2021-02-20 12:02:46 +01003266 offer_buffers(NULL, released);
Christopher Faulet99eff652019-08-11 23:11:30 +02003267 }
3268
3269 end:
3270 /* either we can release everything now or it will be done later once
3271 * the last stream closes.
3272 */
3273 if (eb_is_empty(&fconn->streams_by_id))
3274 fcgi_release(fconn);
3275
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003276 TRACE_LEAVE(FCGI_EV_FCONN_WAKE);
Christopher Faulet99eff652019-08-11 23:11:30 +02003277 return NULL;
3278}
3279
3280
3281/*******************************************/
3282/* functions below are used by the streams */
3283/*******************************************/
3284
3285/* Append the description of what is present in error snapshot <es> into <out>.
3286 * The description must be small enough to always fit in a buffer. The output
3287 * buffer may be the trash so the trash must not be used inside this function.
3288 */
3289static void fcgi_show_error_snapshot(struct buffer *out, const struct error_snapshot *es)
3290{
3291 chunk_appendf(out,
3292 " FCGI connection flags 0x%08x, FCGI stream flags 0x%08x\n"
3293 " H1 msg state %s(%d), H1 msg flags 0x%08x\n"
3294 " H1 chunk len %lld bytes, H1 body len %lld bytes :\n",
3295 es->ctx.h1.c_flags, es->ctx.h1.s_flags,
3296 h1m_state_str(es->ctx.h1.state), es->ctx.h1.state,
3297 es->ctx.h1.m_flags, es->ctx.h1.m_clen, es->ctx.h1.m_blen);
3298}
3299/*
3300 * Capture a bad response and archive it in the proxy's structure. By default
3301 * it tries to report the error position as h1m->err_pos. However if this one is
3302 * not set, it will then report h1m->next, which is the last known parsing
3303 * point. The function is able to deal with wrapping buffers. It always displays
3304 * buffers as a contiguous area starting at buf->p. The direction is determined
3305 * thanks to the h1m's flags.
3306 */
3307static void fcgi_strm_capture_bad_message(struct fcgi_conn *fconn, struct fcgi_strm *fstrm,
3308 struct h1m *h1m, struct buffer *buf)
3309{
3310 struct session *sess = fstrm->sess;
3311 struct proxy *proxy = fconn->proxy;
Olivier Houchardbdb00c52020-03-12 15:30:17 +01003312 struct proxy *other_end;
Christopher Faulet99eff652019-08-11 23:11:30 +02003313 union error_snapshot_ctx ctx;
3314
Christopher Fauletf835dea2021-12-21 14:35:17 +01003315 if (fstrm->cs && cs_strm(fstrm->cs)) {
Olivier Houchardbdb00c52020-03-12 15:30:17 +01003316 if (sess == NULL)
Christopher Faulet693b23b2022-02-28 09:09:05 +01003317 sess = __cs_strm(fstrm->cs)->sess;
Olivier Houchardbdb00c52020-03-12 15:30:17 +01003318 if (!(h1m->flags & H1_MF_RESP))
Christopher Faulet693b23b2022-02-28 09:09:05 +01003319 other_end = __cs_strm(fstrm->cs)->be;
Olivier Houchardbdb00c52020-03-12 15:30:17 +01003320 else
3321 other_end = sess->fe;
3322 } else
3323 other_end = NULL;
Christopher Faulet99eff652019-08-11 23:11:30 +02003324 /* http-specific part now */
3325 ctx.h1.state = h1m->state;
3326 ctx.h1.c_flags = fconn->flags;
3327 ctx.h1.s_flags = fstrm->flags;
3328 ctx.h1.m_flags = h1m->flags;
3329 ctx.h1.m_clen = h1m->curr_len;
3330 ctx.h1.m_blen = h1m->body_len;
3331
3332 proxy_capture_error(proxy, 1, other_end, fconn->conn->target, sess, buf, 0, 0,
3333 (h1m->err_pos >= 0) ? h1m->err_pos : h1m->next,
3334 &ctx, fcgi_show_error_snapshot);
3335}
3336
3337static size_t fcgi_strm_parse_headers(struct fcgi_strm *fstrm, struct h1m *h1m, struct htx *htx,
3338 struct buffer *buf, size_t *ofs, size_t max)
3339{
Christopher Fauletde471a42021-02-01 16:37:28 +01003340 size_t ret;
Christopher Faulet99eff652019-08-11 23:11:30 +02003341
Willy Tarreau022e5e52020-09-10 09:33:15 +02003342 TRACE_ENTER(FCGI_EV_RSP_DATA|FCGI_EV_RSP_HDRS, fstrm->fconn->conn, fstrm, 0, (size_t[]){max});
Christopher Faulet99eff652019-08-11 23:11:30 +02003343 ret = h1_parse_msg_hdrs(h1m, NULL, htx, buf, *ofs, max);
3344 if (!ret) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003345 TRACE_DEVEL("leaving on missing data or error", FCGI_EV_RSP_DATA|FCGI_EV_RSP_HDRS, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003346 if (htx->flags & HTX_FL_PARSING_ERROR) {
Christopher Faulet73518be2021-01-27 12:06:54 +01003347 TRACE_ERROR("parsing error, reject H1 response", FCGI_EV_RSP_DATA|FCGI_EV_RSP_HDRS|FCGI_EV_FSTRM_ERR, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003348 fcgi_strm_error(fstrm);
3349 fcgi_strm_capture_bad_message(fstrm->fconn, fstrm, h1m, buf);
3350 }
3351 goto end;
3352 }
3353
Christopher Fauletda3adeb2021-09-28 09:50:07 +02003354 /* Reject any message with an unknown transfer-encoding. In fact if any
3355 * encoding other than "chunked". A 422-Unprocessable-Content is
3356 * returned for an invalid request, a 502-Bad-Gateway for an invalid
3357 * response.
3358 */
3359 if (h1m->flags & H1_MF_TE_OTHER) {
3360 htx->flags |= HTX_FL_PARSING_ERROR;
3361 TRACE_ERROR("Unknown transfer-encoding", FCGI_EV_RSP_DATA|FCGI_EV_RSP_HDRS|FCGI_EV_FSTRM_ERR, fstrm->fconn->conn, fstrm);
3362 fcgi_strm_error(fstrm);
3363 fcgi_strm_capture_bad_message(fstrm->fconn, fstrm, h1m, buf);
3364 ret = 0;
3365 goto end;
3366 }
3367
Christopher Faulet99eff652019-08-11 23:11:30 +02003368 *ofs += ret;
3369 end:
Willy Tarreau022e5e52020-09-10 09:33:15 +02003370 TRACE_LEAVE(FCGI_EV_RSP_DATA|FCGI_EV_RSP_HDRS, fstrm->fconn->conn, fstrm, 0, (size_t[]){ret});
Christopher Faulet99eff652019-08-11 23:11:30 +02003371 return ret;
3372
3373}
3374
Christopher Fauletaf542632019-10-01 21:52:49 +02003375static size_t fcgi_strm_parse_data(struct fcgi_strm *fstrm, struct h1m *h1m, struct htx **htx,
Christopher Faulet99eff652019-08-11 23:11:30 +02003376 struct buffer *buf, size_t *ofs, size_t max, struct buffer *htxbuf)
3377{
Christopher Fauletde471a42021-02-01 16:37:28 +01003378 size_t ret;
Christopher Faulet99eff652019-08-11 23:11:30 +02003379
Willy Tarreau022e5e52020-09-10 09:33:15 +02003380 TRACE_ENTER(FCGI_EV_RSP_DATA|FCGI_EV_RSP_BODY, fstrm->fconn->conn, fstrm, 0, (size_t[]){max});
Christopher Faulet99eff652019-08-11 23:11:30 +02003381 ret = h1_parse_msg_data(h1m, htx, buf, *ofs, max, htxbuf);
Christopher Faulet76014fd2019-12-10 11:47:22 +01003382 if (!ret) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003383 TRACE_DEVEL("leaving on missing data or error", FCGI_EV_RSP_DATA|FCGI_EV_RSP_BODY, fstrm->fconn->conn, fstrm);
Christopher Fauletaf542632019-10-01 21:52:49 +02003384 if ((*htx)->flags & HTX_FL_PARSING_ERROR) {
Christopher Faulet73518be2021-01-27 12:06:54 +01003385 TRACE_ERROR("parsing error, reject H1 response", FCGI_EV_RSP_DATA|FCGI_EV_RSP_BODY|FCGI_EV_FSTRM_ERR, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003386 fcgi_strm_error(fstrm);
3387 fcgi_strm_capture_bad_message(fstrm->fconn, fstrm, h1m, buf);
3388 }
3389 goto end;
3390 }
3391 *ofs += ret;
3392 end:
Willy Tarreau022e5e52020-09-10 09:33:15 +02003393 TRACE_LEAVE(FCGI_EV_RSP_DATA|FCGI_EV_RSP_BODY, fstrm->fconn->conn, fstrm, 0, (size_t[]){ret});
Christopher Faulet99eff652019-08-11 23:11:30 +02003394 return ret;
3395}
3396
3397static size_t fcgi_strm_parse_trailers(struct fcgi_strm *fstrm, struct h1m *h1m, struct htx *htx,
3398 struct buffer *buf, size_t *ofs, size_t max)
3399{
Christopher Fauletde471a42021-02-01 16:37:28 +01003400 size_t ret;
Christopher Faulet99eff652019-08-11 23:11:30 +02003401
Willy Tarreau022e5e52020-09-10 09:33:15 +02003402 TRACE_ENTER(FCGI_EV_RSP_DATA|FCGI_EV_RSP_TLRS, fstrm->fconn->conn, fstrm, 0, (size_t[]){max});
Christopher Faulet99eff652019-08-11 23:11:30 +02003403 ret = h1_parse_msg_tlrs(h1m, htx, buf, *ofs, max);
Christopher Faulet76014fd2019-12-10 11:47:22 +01003404 if (!ret) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003405 TRACE_DEVEL("leaving on missing data or error", FCGI_EV_RSP_DATA|FCGI_EV_RSP_TLRS, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003406 if (htx->flags & HTX_FL_PARSING_ERROR) {
Christopher Faulet73518be2021-01-27 12:06:54 +01003407 TRACE_ERROR("parsing error, reject H1 response", FCGI_EV_RSP_DATA|FCGI_EV_RSP_TLRS|FCGI_EV_FSTRM_ERR, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003408 fcgi_strm_error(fstrm);
3409 fcgi_strm_capture_bad_message(fstrm->fconn, fstrm, h1m, buf);
3410 }
3411 goto end;
3412 }
3413 *ofs += ret;
Christopher Faulet99eff652019-08-11 23:11:30 +02003414 end:
Willy Tarreau022e5e52020-09-10 09:33:15 +02003415 TRACE_LEAVE(FCGI_EV_RSP_DATA|FCGI_EV_RSP_TLRS, fstrm->fconn->conn, fstrm, 0, (size_t[]){ret});
Christopher Faulet99eff652019-08-11 23:11:30 +02003416 return ret;
3417}
3418
Christopher Faulet99eff652019-08-11 23:11:30 +02003419static size_t fcgi_strm_parse_response(struct fcgi_strm *fstrm, struct buffer *buf, size_t count)
3420{
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003421 struct fcgi_conn *fconn = fstrm->fconn;
Christopher Faulet99eff652019-08-11 23:11:30 +02003422 struct htx *htx;
3423 struct h1m *h1m = &fstrm->h1m;
3424 size_t ret, data, total = 0;
3425
3426 htx = htx_from_buf(buf);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003427 TRACE_ENTER(FCGI_EV_RSP_DATA, fconn->conn, fstrm, htx, (size_t[]){count});
3428
Christopher Faulet99eff652019-08-11 23:11:30 +02003429 data = htx->data;
3430 if (fstrm->state == FCGI_SS_ERROR)
3431 goto end;
3432
3433 do {
3434 size_t used = htx_used_space(htx);
3435
3436 if (h1m->state <= H1_MSG_LAST_LF) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003437 TRACE_PROTO("parsing response headers", FCGI_EV_RSP_DATA|FCGI_EV_RSP_HDRS, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003438 ret = fcgi_strm_parse_headers(fstrm, h1m, htx, &fstrm->rxbuf, &total, count);
3439 if (!ret)
3440 break;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003441
3442 TRACE_USER("rcvd H1 response headers", FCGI_EV_RSP_DATA|FCGI_EV_RSP_HDRS, fconn->conn, fstrm, htx);
3443
Christopher Faulet99eff652019-08-11 23:11:30 +02003444 if ((h1m->flags & (H1_MF_VER_11|H1_MF_XFER_LEN)) == H1_MF_VER_11) {
3445 struct htx_blk *blk = htx_get_head_blk(htx);
3446 struct htx_sl *sl;
3447
3448 if (!blk)
3449 break;
3450 sl = htx_get_blk_ptr(htx, blk);
3451 sl->flags |= HTX_SL_F_XFER_LEN;
3452 htx->extra = 0;
3453 }
3454 }
3455 else if (h1m->state < H1_MSG_TRAILERS) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003456 TRACE_PROTO("parsing response payload", FCGI_EV_RSP_DATA|FCGI_EV_RSP_BODY, fconn->conn, fstrm);
Christopher Fauletbf774302021-06-02 12:04:40 +02003457 fcgi_strm_parse_data(fstrm, h1m, &htx, &fstrm->rxbuf, &total, count, buf);
Christopher Faulet1e857782020-12-08 10:38:22 +01003458
3459 if (!(h1m->flags & H1_MF_XFER_LEN) && fstrm->state != FCGI_SS_ERROR &&
3460 (fstrm->flags & FCGI_SF_ES_RCVD) && b_data(&fstrm->rxbuf) == total) {
3461 TRACE_DEVEL("end of data", FCGI_EV_RSP_DATA, fconn->conn, fstrm);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01003462 htx->flags |= HTX_FL_EOM;
Christopher Faulet1e857782020-12-08 10:38:22 +01003463 h1m->state = H1_MSG_DONE;
3464 TRACE_USER("H1 response fully rcvd", FCGI_EV_RSP_DATA|FCGI_EV_RSP_EOM, fconn->conn, fstrm, htx);
3465 }
3466
Christopher Faulet16a524c2021-02-02 21:16:03 +01003467 if (h1m->state < H1_MSG_TRAILERS)
Christopher Faulet99eff652019-08-11 23:11:30 +02003468 break;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003469
3470 TRACE_PROTO("rcvd response payload data", FCGI_EV_RSP_DATA|FCGI_EV_RSP_BODY, fconn->conn, fstrm, htx);
Christopher Faulet99eff652019-08-11 23:11:30 +02003471 }
3472 else if (h1m->state == H1_MSG_TRAILERS) {
Christopher Faulet76014fd2019-12-10 11:47:22 +01003473 TRACE_PROTO("parsing response trailers", FCGI_EV_RSP_DATA|FCGI_EV_RSP_TLRS, fconn->conn, fstrm);
Christopher Fauletbf774302021-06-02 12:04:40 +02003474 fcgi_strm_parse_trailers(fstrm, h1m, htx, &fstrm->rxbuf, &total, count);
Christopher Faulet16a524c2021-02-02 21:16:03 +01003475 if (h1m->state != H1_MSG_DONE)
Christopher Faulet99eff652019-08-11 23:11:30 +02003476 break;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003477
Christopher Faulet76014fd2019-12-10 11:47:22 +01003478 TRACE_PROTO("rcvd H1 response trailers", FCGI_EV_RSP_DATA|FCGI_EV_RSP_TLRS, fconn->conn, fstrm, htx);
Christopher Faulet99eff652019-08-11 23:11:30 +02003479 }
3480 else if (h1m->state == H1_MSG_DONE) {
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01003481 TRACE_USER("H1 response fully rcvd", FCGI_EV_RSP_DATA|FCGI_EV_RSP_EOM, fconn->conn, fstrm, htx);
Christopher Faulet99eff652019-08-11 23:11:30 +02003482 if (b_data(&fstrm->rxbuf) > total) {
3483 htx->flags |= HTX_FL_PARSING_ERROR;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003484 TRACE_PROTO("too much data, parsing error", FCGI_EV_RSP_DATA, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003485 fcgi_strm_error(fstrm);
3486 }
3487 break;
3488 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003489 else {
3490 htx->flags |= HTX_FL_PROCESSING_ERROR;
Christopher Faulet73518be2021-01-27 12:06:54 +01003491 TRACE_ERROR("unexpected processing error", FCGI_EV_RSP_DATA|FCGI_EV_STRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003492 fcgi_strm_error(fstrm);
3493 break;
3494 }
3495
3496 count -= htx_used_space(htx) - used;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003497 } while (fstrm->state != FCGI_SS_ERROR);
Christopher Faulet99eff652019-08-11 23:11:30 +02003498
3499 if (fstrm->state == FCGI_SS_ERROR) {
3500 b_reset(&fstrm->rxbuf);
3501 htx_to_buf(htx, buf);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003502 TRACE_DEVEL("leaving on error", FCGI_EV_RSP_DATA|FCGI_EV_STRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003503 return 0;
3504 }
3505
3506 b_del(&fstrm->rxbuf, total);
3507
3508 end:
3509 htx_to_buf(htx, buf);
3510 ret = htx->data - data;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003511 TRACE_LEAVE(FCGI_EV_RSP_DATA, fconn->conn, fstrm, htx, (size_t[]){ret});
Christopher Faulet99eff652019-08-11 23:11:30 +02003512 return ret;
3513}
3514
3515/*
3516 * Attach a new stream to a connection
3517 * (Used for outgoing connections)
3518 */
Christopher Faulete00ad352021-12-16 14:44:31 +01003519static int fcgi_attach(struct connection *conn, struct conn_stream *cs, struct session *sess)
Christopher Faulet99eff652019-08-11 23:11:30 +02003520{
Christopher Faulet99eff652019-08-11 23:11:30 +02003521 struct fcgi_strm *fstrm;
3522 struct fcgi_conn *fconn = conn->ctx;
3523
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003524 TRACE_ENTER(FCGI_EV_FSTRM_NEW, conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003525 fstrm = fcgi_conn_stream_new(fconn, cs, sess);
Christopher Faulete00ad352021-12-16 14:44:31 +01003526 if (!fstrm)
Christopher Faulet73518be2021-01-27 12:06:54 +01003527 goto err;
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003528
3529 /* the connection is not idle anymore, let's mark this */
3530 HA_ATOMIC_AND(&fconn->wait_event.tasklet->state, ~TASK_F_USR1);
Willy Tarreau4f8cd432021-03-02 17:27:58 +01003531 xprt_set_used(conn, conn->xprt, conn->xprt_ctx);
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003532
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003533 TRACE_LEAVE(FCGI_EV_FSTRM_NEW, conn, fstrm);
Christopher Faulete00ad352021-12-16 14:44:31 +01003534 return 0;
Christopher Faulet73518be2021-01-27 12:06:54 +01003535
3536 err:
3537 TRACE_DEVEL("leaving on error", FCGI_EV_FSTRM_NEW|FCGI_EV_FSTRM_ERR, conn);
Christopher Faulete00ad352021-12-16 14:44:31 +01003538 return -1;
Christopher Faulet99eff652019-08-11 23:11:30 +02003539}
3540
3541/* Retrieves the first valid conn_stream from this connection, or returns NULL.
3542 * We have to scan because we may have some orphan streams. It might be
3543 * beneficial to scan backwards from the end to reduce the likeliness to find
3544 * orphans.
3545 */
3546static const struct conn_stream *fcgi_get_first_cs(const struct connection *conn)
3547{
3548 struct fcgi_conn *fconn = conn->ctx;
3549 struct fcgi_strm *fstrm;
3550 struct eb32_node *node;
3551
3552 node = eb32_first(&fconn->streams_by_id);
3553 while (node) {
3554 fstrm = container_of(node, struct fcgi_strm, by_id);
3555 if (fstrm->cs)
3556 return fstrm->cs;
3557 node = eb32_next(node);
3558 }
3559 return NULL;
3560}
3561
3562/*
3563 * Destroy the mux and the associated connection, if it is no longer used
3564 */
3565static void fcgi_destroy(void *ctx)
3566{
3567 struct fcgi_conn *fconn = ctx;
3568
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003569 TRACE_POINT(FCGI_EV_FCONN_END, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003570 if (eb_is_empty(&fconn->streams_by_id) || !fconn->conn || fconn->conn->ctx != fconn)
3571 fcgi_release(fconn);
3572}
3573
3574/*
3575 * Detach the stream from the connection and possibly release the connection.
3576 */
3577static void fcgi_detach(struct conn_stream *cs)
3578{
3579 struct fcgi_strm *fstrm = cs->ctx;
3580 struct fcgi_conn *fconn;
3581 struct session *sess;
3582
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003583 TRACE_ENTER(FCGI_EV_STRM_END, (fstrm ? fstrm->fconn->conn : NULL), fstrm);
3584
Christopher Faulet99eff652019-08-11 23:11:30 +02003585 cs->ctx = NULL;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003586 if (!fstrm) {
3587 TRACE_LEAVE(FCGI_EV_STRM_END);
Christopher Faulet99eff652019-08-11 23:11:30 +02003588 return;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003589 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003590
Willy Tarreauf11be0e2020-01-16 16:59:45 +01003591 /* there's no txbuf so we're certain no to be able to send anything */
3592 fstrm->flags &= ~FCGI_SF_NOTIFIED;
Christopher Faulet99eff652019-08-11 23:11:30 +02003593
3594 sess = fstrm->sess;
3595 fconn = fstrm->fconn;
3596 fstrm->cs = NULL;
3597 fconn->nb_cs--;
3598
3599 if (fstrm->proto_status == FCGI_PS_CANT_MPX_CONN) {
3600 fconn->flags &= ~FCGI_CF_MPXS_CONNS;
3601 fconn->streams_limit = 1;
3602 }
3603 else if (fstrm->proto_status == FCGI_PS_OVERLOADED ||
3604 fstrm->proto_status == FCGI_PS_UNKNOWN_ROLE) {
3605 fconn->flags &= ~FCGI_CF_KEEP_CONN;
3606 fconn->state = FCGI_CS_CLOSED;
3607 }
3608
3609 /* this stream may be blocked waiting for some data to leave, so orphan
3610 * it in this case.
3611 */
Christopher Faulet897d6122021-12-17 17:28:35 +01003612 if (!(fconn->conn->flags & CO_FL_ERROR) &&
Christopher Faulet99eff652019-08-11 23:11:30 +02003613 (fconn->state != FCGI_CS_CLOSED) &&
Willy Tarreau7aad7032020-01-16 17:20:57 +01003614 (fstrm->flags & (FCGI_SF_BLK_MBUSY|FCGI_SF_BLK_MROOM)) &&
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003615 (fstrm->subs || (fstrm->flags & (FCGI_SF_WANT_SHUTR|FCGI_SF_WANT_SHUTW)))) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003616 TRACE_DEVEL("leaving on stream blocked", FCGI_EV_STRM_END|FCGI_EV_FSTRM_BLK, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003617 return;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003618 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003619
3620 if ((fconn->flags & FCGI_CF_DEM_BLOCK_ANY && fstrm->id == fconn->dsi)) {
3621 /* unblock the connection if it was blocked on this stream. */
3622 fconn->flags &= ~FCGI_CF_DEM_BLOCK_ANY;
3623 fcgi_conn_restart_reading(fconn, 1);
3624 }
3625
3626 fcgi_strm_destroy(fstrm);
3627
3628 if (!(fconn->conn->flags & (CO_FL_ERROR|CO_FL_SOCK_RD_SH|CO_FL_SOCK_WR_SH)) &&
Christopher Faulet9bcd9732020-05-02 09:21:24 +02003629 (fconn->flags & FCGI_CF_KEEP_CONN)) {
Christopher Faulet29ae7ff2020-07-01 15:51:46 +02003630 if (fconn->conn->flags & CO_FL_PRIVATE) {
Christopher Faulet08016ab2020-07-01 16:10:06 +02003631 /* Add the connection in the session serverlist, if not already done */
3632 if (!session_add_conn(sess, fconn->conn, fconn->conn->target)) {
3633 fconn->conn->owner = NULL;
3634 if (eb_is_empty(&fconn->streams_by_id)) {
3635 /* let's kill the connection right away */
3636 fconn->conn->mux->destroy(fconn);
3637 TRACE_DEVEL("outgoing connection killed", FCGI_EV_STRM_END|FCGI_EV_FCONN_ERR);
3638 return;
Christopher Faulet29ae7ff2020-07-01 15:51:46 +02003639 }
3640 }
Christopher Faulet08016ab2020-07-01 16:10:06 +02003641 if (eb_is_empty(&fconn->streams_by_id)) {
Christopher Faulet29ae7ff2020-07-01 15:51:46 +02003642 if (session_check_idle_conn(fconn->conn->owner, fconn->conn) != 0) {
3643 /* The connection is destroyed, let's leave */
Olivier Houchard2444aa52020-01-20 13:56:01 +01003644 TRACE_DEVEL("outgoing connection killed", FCGI_EV_STRM_END|FCGI_EV_FCONN_ERR);
Christopher Faulet66cd57e2020-05-02 09:08:54 +02003645 return;
Christopher Faulet99eff652019-08-11 23:11:30 +02003646 }
3647 }
3648 }
Christopher Faulet29ae7ff2020-07-01 15:51:46 +02003649 else {
3650 if (eb_is_empty(&fconn->streams_by_id)) {
Amaury Denoyelle46f041d2020-10-14 18:17:11 +02003651 /* If the connection is owned by the session, first remove it
3652 * from its list
3653 */
3654 if (fconn->conn->owner) {
3655 session_unown_conn(fconn->conn->owner, fconn->conn);
3656 fconn->conn->owner = NULL;
3657 }
3658
Willy Tarreaue388f2f2021-03-02 16:51:09 +01003659 /* mark that the tasklet may lose its context to another thread and
3660 * that the handler needs to check it under the idle conns lock.
3661 */
3662 HA_ATOMIC_OR(&fconn->wait_event.tasklet->state, TASK_F_USR1);
Willy Tarreau4f8cd432021-03-02 17:27:58 +01003663 xprt_set_idle(fconn->conn, fconn->conn->xprt, fconn->conn->xprt_ctx);
3664
Olivier Houcharddc2f2752020-02-13 19:12:07 +01003665 if (!srv_add_to_idle_list(objt_server(fconn->conn->target), fconn->conn, 1)) {
Olivier Houchard2444aa52020-01-20 13:56:01 +01003666 /* The server doesn't want it, let's kill the connection right away */
3667 fconn->conn->mux->destroy(fconn);
3668 TRACE_DEVEL("outgoing connection killed", FCGI_EV_STRM_END|FCGI_EV_FCONN_ERR);
3669 return;
3670 }
Olivier Houchard199d4fa2020-03-22 23:25:51 +01003671 /* At this point, the connection has been added to the
3672 * server idle list, so another thread may already have
3673 * hijacked it, so we can't do anything with it.
3674 */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003675 TRACE_DEVEL("reusable idle connection", FCGI_EV_STRM_END, fconn->conn);
3676 return;
3677 }
Amaury Denoyelle8990b012021-02-19 15:29:16 +01003678 else if (!fconn->conn->hash_node->node.node.leaf_p &&
Amaury Denoyelle46f041d2020-10-14 18:17:11 +02003679 fcgi_avail_streams(fconn->conn) > 0 && objt_server(fconn->conn->target) &&
Willy Tarreau2b718102021-04-21 07:32:39 +02003680 !LIST_INLIST(&fconn->conn->session_list)) {
Willy Tarreau430bf4a2021-03-04 09:45:32 +01003681 ebmb_insert(&__objt_server(fconn->conn->target)->per_thr[tid].avail_conns,
Amaury Denoyelle8990b012021-02-19 15:29:16 +01003682 &fconn->conn->hash_node->node,
3683 sizeof(fconn->conn->hash_node->hash));
Olivier Houcharddc2f2752020-02-13 19:12:07 +01003684 }
Christopher Faulet29ae7ff2020-07-01 15:51:46 +02003685 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003686 }
3687
3688 /* We don't want to close right now unless we're removing the last
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003689 * stream and the connection is in error.
Christopher Faulet99eff652019-08-11 23:11:30 +02003690 */
3691 if (fcgi_conn_is_dead(fconn)) {
3692 /* no more stream will come, kill it now */
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003693 TRACE_DEVEL("leaving, killing dead connection", FCGI_EV_STRM_END, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003694 fcgi_release(fconn);
3695 }
3696 else if (fconn->task) {
3697 fconn->task->expire = tick_add(now_ms, (fconn->state == FCGI_CS_CLOSED ? fconn->shut_timeout : fconn->timeout));
3698 task_queue(fconn->task);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003699 TRACE_DEVEL("leaving, refreshing connection's timeout", FCGI_EV_STRM_END, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003700 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003701 else
3702 TRACE_DEVEL("leaving", FCGI_EV_STRM_END, fconn->conn);
Christopher Faulet99eff652019-08-11 23:11:30 +02003703}
3704
3705
3706/* Performs a synchronous or asynchronous shutr(). */
3707static void fcgi_do_shutr(struct fcgi_strm *fstrm)
3708{
3709 struct fcgi_conn *fconn = fstrm->fconn;
Christopher Faulet99eff652019-08-11 23:11:30 +02003710
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003711 TRACE_ENTER(FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
3712
Christopher Faulet99eff652019-08-11 23:11:30 +02003713 if (fstrm->state == FCGI_SS_CLOSED)
3714 goto done;
3715
3716 /* a connstream may require us to immediately kill the whole connection
3717 * for example because of a "tcp-request content reject" rule that is
3718 * normally used to limit abuse.
3719 */
3720 if ((fstrm->flags & FCGI_SF_KILL_CONN) &&
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003721 !(fconn->flags & (FCGI_CF_ABRTS_SENT|FCGI_CF_ABRTS_FAILED))) {
3722 TRACE_STATE("stream wants to kill the connection", FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003723 fconn->state = FCGI_CS_CLOSED;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003724 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003725 else if (fstrm->flags & FCGI_SF_BEGIN_SENT) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003726 TRACE_STATE("no headers sent yet, trying a retryable abort", FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003727 if (!(fstrm->flags & (FCGI_SF_ES_SENT|FCGI_SF_ABRT_SENT)) &&
3728 !fcgi_strm_send_abort(fconn, fstrm))
3729 goto add_to_list;
3730 }
3731
3732 fcgi_strm_close(fstrm);
3733
3734 if (!(fconn->wait_event.events & SUB_RETRY_SEND))
3735 tasklet_wakeup(fconn->wait_event.tasklet);
3736 done:
3737 fstrm->flags &= ~FCGI_SF_WANT_SHUTR;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003738 TRACE_LEAVE(FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003739 return;
3740
3741 add_to_list:
Willy Tarreau7aad7032020-01-16 17:20:57 +01003742 /* Let the handler know we want to shutr, and add ourselves to the
3743 * send list if not yet done. fcgi_deferred_shut() will be
3744 * automatically called via the shut_tl tasklet when there's room
3745 * again.
3746 */
Willy Tarreau2b718102021-04-21 07:32:39 +02003747 if (!LIST_INLIST(&fstrm->send_list)) {
Christopher Faulet99eff652019-08-11 23:11:30 +02003748 if (fstrm->flags & (FCGI_SF_BLK_MBUSY|FCGI_SF_BLK_MROOM)) {
Willy Tarreau2b718102021-04-21 07:32:39 +02003749 LIST_APPEND(&fconn->send_list, &fstrm->send_list);
Christopher Faulet99eff652019-08-11 23:11:30 +02003750 }
3751 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003752 fstrm->flags |= FCGI_SF_WANT_SHUTR;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003753 TRACE_LEAVE(FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003754 return;
3755}
3756
3757/* Performs a synchronous or asynchronous shutw(). */
3758static void fcgi_do_shutw(struct fcgi_strm *fstrm)
3759{
3760 struct fcgi_conn *fconn = fstrm->fconn;
Christopher Faulet99eff652019-08-11 23:11:30 +02003761
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003762 TRACE_ENTER(FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
3763
Christopher Faulet99eff652019-08-11 23:11:30 +02003764 if (fstrm->state != FCGI_SS_HLOC || fstrm->state == FCGI_SS_CLOSED)
3765 goto done;
3766
3767 if (fstrm->state != FCGI_SS_ERROR && (fstrm->flags & FCGI_SF_BEGIN_SENT)) {
3768 if (!(fstrm->flags & (FCGI_SF_ES_SENT|FCGI_SF_ABRT_SENT)) &&
3769 !fcgi_strm_send_abort(fconn, fstrm))
3770 goto add_to_list;
3771
3772 if (fstrm->state == FCGI_SS_HREM)
3773 fcgi_strm_close(fstrm);
3774 else
3775 fstrm->state = FCGI_SS_HLOC;
3776 } else {
3777 /* a connstream may require us to immediately kill the whole connection
3778 * for example because of a "tcp-request content reject" rule that is
3779 * normally used to limit abuse.
3780 */
3781 if ((fstrm->flags & FCGI_SF_KILL_CONN) &&
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003782 !(fconn->flags & (FCGI_CF_ABRTS_SENT|FCGI_CF_ABRTS_FAILED))) {
3783 TRACE_STATE("stream wants to kill the connection", FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003784 fconn->state = FCGI_CS_CLOSED;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003785 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003786
3787 fcgi_strm_close(fstrm);
3788 }
3789
3790 if (!(fconn->wait_event.events & SUB_RETRY_SEND))
3791 tasklet_wakeup(fconn->wait_event.tasklet);
3792 done:
3793 fstrm->flags &= ~FCGI_SF_WANT_SHUTW;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003794 TRACE_LEAVE(FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003795 return;
3796
3797 add_to_list:
Willy Tarreau7aad7032020-01-16 17:20:57 +01003798 /* Let the handler know we want to shutr, and add ourselves to the
3799 * send list if not yet done. fcgi_deferred_shut() will be
3800 * automatically called via the shut_tl tasklet when there's room
3801 * again.
3802 */
Willy Tarreau2b718102021-04-21 07:32:39 +02003803 if (!LIST_INLIST(&fstrm->send_list)) {
Christopher Faulet99eff652019-08-11 23:11:30 +02003804 if (fstrm->flags & (FCGI_SF_BLK_MBUSY|FCGI_SF_BLK_MROOM)) {
Willy Tarreau2b718102021-04-21 07:32:39 +02003805 LIST_APPEND(&fconn->send_list, &fstrm->send_list);
Christopher Faulet99eff652019-08-11 23:11:30 +02003806 }
3807 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003808 fstrm->flags |= FCGI_SF_WANT_SHUTW;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003809 TRACE_LEAVE(FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003810 return;
3811}
3812
Willy Tarreau7aad7032020-01-16 17:20:57 +01003813/* This is the tasklet referenced in fstrm->shut_tl, it is used for
Christopher Faulet99eff652019-08-11 23:11:30 +02003814 * deferred shutdowns when the fcgi_detach() was done but the mux buffer was full
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003815 * and prevented the last record from being emitted.
Christopher Faulet99eff652019-08-11 23:11:30 +02003816 */
Willy Tarreau144f84a2021-03-02 16:09:26 +01003817struct task *fcgi_deferred_shut(struct task *t, void *ctx, unsigned int state)
Christopher Faulet99eff652019-08-11 23:11:30 +02003818{
3819 struct fcgi_strm *fstrm = ctx;
3820 struct fcgi_conn *fconn = fstrm->fconn;
3821
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003822 TRACE_ENTER(FCGI_EV_STRM_SHUT, fconn->conn, fstrm);
3823
Willy Tarreau7aad7032020-01-16 17:20:57 +01003824 if (fstrm->flags & FCGI_SF_NOTIFIED) {
3825 /* some data processing remains to be done first */
3826 goto end;
3827 }
3828
Christopher Faulet99eff652019-08-11 23:11:30 +02003829 if (fstrm->flags & FCGI_SF_WANT_SHUTW)
3830 fcgi_do_shutw(fstrm);
3831
3832 if (fstrm->flags & FCGI_SF_WANT_SHUTR)
3833 fcgi_do_shutr(fstrm);
3834
3835 if (!(fstrm->flags & (FCGI_SF_WANT_SHUTR|FCGI_SF_WANT_SHUTW))) {
3836 /* We're done trying to send, remove ourself from the send_list */
3837 LIST_DEL_INIT(&fstrm->send_list);
3838
3839 if (!fstrm->cs) {
3840 fcgi_strm_destroy(fstrm);
3841 if (fcgi_conn_is_dead(fconn))
3842 fcgi_release(fconn);
3843 }
3844 }
Willy Tarreau7aad7032020-01-16 17:20:57 +01003845 end:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003846 TRACE_LEAVE(FCGI_EV_STRM_SHUT);
Christopher Faulet99eff652019-08-11 23:11:30 +02003847 return NULL;
3848}
3849
3850/* shutr() called by the conn_stream (mux_ops.shutr) */
3851static void fcgi_shutr(struct conn_stream *cs, enum cs_shr_mode mode)
3852{
3853 struct fcgi_strm *fstrm = cs->ctx;
3854
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003855 TRACE_POINT(FCGI_EV_STRM_SHUT, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003856 if (cs->flags & CS_FL_KILL_CONN)
3857 fstrm->flags |= FCGI_SF_KILL_CONN;
3858
3859 if (!mode)
3860 return;
3861
3862 fcgi_do_shutr(fstrm);
3863}
3864
3865/* shutw() called by the conn_stream (mux_ops.shutw) */
3866static void fcgi_shutw(struct conn_stream *cs, enum cs_shw_mode mode)
3867{
3868 struct fcgi_strm *fstrm = cs->ctx;
3869
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003870 TRACE_POINT(FCGI_EV_STRM_SHUT, fstrm->fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003871 if (cs->flags & CS_FL_KILL_CONN)
3872 fstrm->flags |= FCGI_SF_KILL_CONN;
3873
3874 fcgi_do_shutw(fstrm);
3875}
3876
Willy Tarreauee1a6fc2020-01-17 07:52:13 +01003877/* Called from the upper layer, to subscribe <es> to events <event_type>. The
3878 * event subscriber <es> is not allowed to change from a previous call as long
3879 * as at least one event is still subscribed. The <event_type> must only be a
3880 * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0.
Christopher Faulet99eff652019-08-11 23:11:30 +02003881 */
Willy Tarreauee1a6fc2020-01-17 07:52:13 +01003882static int fcgi_subscribe(struct conn_stream *cs, int event_type, struct wait_event *es)
Christopher Faulet99eff652019-08-11 23:11:30 +02003883{
Christopher Faulet99eff652019-08-11 23:11:30 +02003884 struct fcgi_strm *fstrm = cs->ctx;
3885 struct fcgi_conn *fconn = fstrm->fconn;
3886
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003887 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
Willy Tarreauee1a6fc2020-01-17 07:52:13 +01003888 BUG_ON(fstrm->subs && fstrm->subs != es);
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003889
Willy Tarreauee1a6fc2020-01-17 07:52:13 +01003890 es->events |= event_type;
3891 fstrm->subs = es;
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003892
3893 if (event_type & SUB_RETRY_RECV)
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003894 TRACE_DEVEL("unsubscribe(recv)", FCGI_EV_STRM_RECV, fconn->conn, fstrm);
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003895
Christopher Faulet99eff652019-08-11 23:11:30 +02003896 if (event_type & SUB_RETRY_SEND) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003897 TRACE_DEVEL("unsubscribe(send)", FCGI_EV_STRM_SEND, fconn->conn, fstrm);
Willy Tarreau2b718102021-04-21 07:32:39 +02003898 if (!LIST_INLIST(&fstrm->send_list))
3899 LIST_APPEND(&fconn->send_list, &fstrm->send_list);
Christopher Faulet99eff652019-08-11 23:11:30 +02003900 }
Christopher Faulet99eff652019-08-11 23:11:30 +02003901 return 0;
3902}
3903
Willy Tarreauee1a6fc2020-01-17 07:52:13 +01003904/* Called from the upper layer, to unsubscribe <es> from events <event_type>
3905 * (undo fcgi_subscribe). The <es> pointer is not allowed to differ from the one
3906 * passed to the subscribe() call. It always returns zero.
Christopher Faulet99eff652019-08-11 23:11:30 +02003907 */
Willy Tarreauee1a6fc2020-01-17 07:52:13 +01003908static int fcgi_unsubscribe(struct conn_stream *cs, int event_type, struct wait_event *es)
Christopher Faulet99eff652019-08-11 23:11:30 +02003909{
Christopher Faulet99eff652019-08-11 23:11:30 +02003910 struct fcgi_strm *fstrm = cs->ctx;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003911 struct fcgi_conn *fconn = fstrm->fconn;
Christopher Faulet99eff652019-08-11 23:11:30 +02003912
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003913 BUG_ON(event_type & ~(SUB_RETRY_SEND|SUB_RETRY_RECV));
Willy Tarreauee1a6fc2020-01-17 07:52:13 +01003914 BUG_ON(fstrm->subs && fstrm->subs != es);
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003915
Willy Tarreauee1a6fc2020-01-17 07:52:13 +01003916 es->events &= ~event_type;
3917 if (!es->events)
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003918 fstrm->subs = NULL;
3919
3920 if (event_type & SUB_RETRY_RECV)
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003921 TRACE_DEVEL("subscribe(recv)", FCGI_EV_STRM_RECV, fconn->conn, fstrm);
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003922
Christopher Faulet99eff652019-08-11 23:11:30 +02003923 if (event_type & SUB_RETRY_SEND) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003924 TRACE_DEVEL("subscribe(send)", FCGI_EV_STRM_SEND, fconn->conn, fstrm);
Willy Tarreau8907e4d2020-01-16 17:55:37 +01003925 fstrm->flags &= ~FCGI_SF_NOTIFIED;
Willy Tarreau7aad7032020-01-16 17:20:57 +01003926 if (!(fstrm->flags & (FCGI_SF_WANT_SHUTR|FCGI_SF_WANT_SHUTW)))
3927 LIST_DEL_INIT(&fstrm->send_list);
Christopher Faulet99eff652019-08-11 23:11:30 +02003928 }
3929 return 0;
3930}
3931
Christopher Faulet564e39c2021-09-21 15:50:55 +02003932/* Called from the upper layer, to receive data
3933 *
3934 * The caller is responsible for defragmenting <buf> if necessary. But <flags>
3935 * must be tested to know the calling context. If CO_RFL_BUF_FLUSH is set, it
3936 * means the caller wants to flush input data (from the mux buffer and the
3937 * channel buffer) to be able to use kernel splicing or any kind of mux-to-mux
3938 * xfer. If CO_RFL_KEEP_RECV is set, the mux must always subscribe for read
3939 * events before giving back. CO_RFL_BUF_WET is set if <buf> is congested with
3940 * data scheduled for leaving soon. CO_RFL_BUF_NOT_STUCK is set to instruct the
3941 * mux it may optimize the data copy to <buf> if necessary. Otherwise, it should
3942 * copy as much data as possible.
3943 */
Christopher Faulet99eff652019-08-11 23:11:30 +02003944static size_t fcgi_rcv_buf(struct conn_stream *cs, struct buffer *buf, size_t count, int flags)
3945{
3946 struct fcgi_strm *fstrm = cs->ctx;
3947 struct fcgi_conn *fconn = fstrm->fconn;
3948 size_t ret = 0;
3949
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003950 TRACE_ENTER(FCGI_EV_STRM_RECV, fconn->conn, fstrm);
3951
Christopher Faulet99eff652019-08-11 23:11:30 +02003952 if (!(fconn->flags & FCGI_CF_DEM_SALLOC))
3953 ret = fcgi_strm_parse_response(fstrm, buf, count);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003954 else
3955 TRACE_STATE("fstrm rxbuf not allocated", FCGI_EV_STRM_RECV|FCGI_EV_FSTRM_BLK, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003956
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01003957 if (b_data(&fstrm->rxbuf))
Christopher Faulet99eff652019-08-11 23:11:30 +02003958 cs->flags |= (CS_FL_RCV_MORE | CS_FL_WANT_ROOM);
3959 else {
3960 cs->flags &= ~(CS_FL_RCV_MORE | CS_FL_WANT_ROOM);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01003961 if (fstrm->state == FCGI_SS_ERROR || (fstrm->h1m.state == H1_MSG_DONE)) {
Christopher Faulet99eff652019-08-11 23:11:30 +02003962 cs->flags |= CS_FL_EOI;
3963 if (!(fstrm->h1m.flags & (H1_MF_VER_11|H1_MF_XFER_LEN)))
3964 cs->flags |= CS_FL_EOS;
3965 }
Christopher Faulet6670e3e2020-10-08 15:26:33 +02003966 if (fcgi_conn_read0_pending(fconn))
Christopher Faulet99eff652019-08-11 23:11:30 +02003967 cs->flags |= CS_FL_EOS;
3968 if (cs->flags & CS_FL_ERR_PENDING)
3969 cs->flags |= CS_FL_ERROR;
3970 fcgi_release_buf(fconn, &fstrm->rxbuf);
3971 }
3972
3973 if (ret && fconn->dsi == fstrm->id) {
3974 /* demux is blocking on this stream's buffer */
3975 fconn->flags &= ~FCGI_CF_DEM_SFULL;
3976 fcgi_conn_restart_reading(fconn, 1);
3977 }
3978
Christopher Faulet5c0f8592019-10-04 15:21:17 +02003979 TRACE_LEAVE(FCGI_EV_STRM_RECV, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02003980 return ret;
3981}
3982
3983
Christopher Faulet99eff652019-08-11 23:11:30 +02003984/* Called from the upper layer, to send data from buffer <buf> for no more than
3985 * <count> bytes. Returns the number of bytes effectively sent. Some status
3986 * flags may be updated on the conn_stream.
3987 */
3988static size_t fcgi_snd_buf(struct conn_stream *cs, struct buffer *buf, size_t count, int flags)
3989{
3990 struct fcgi_strm *fstrm = cs->ctx;
3991 struct fcgi_conn *fconn = fstrm->fconn;
3992 size_t total = 0;
3993 size_t ret;
3994 struct htx *htx = NULL;
3995 struct htx_sl *sl;
3996 struct htx_blk *blk;
3997 uint32_t bsize;
3998
Willy Tarreau022e5e52020-09-10 09:33:15 +02003999 TRACE_ENTER(FCGI_EV_STRM_SEND, fconn->conn, fstrm, 0, (size_t[]){count});
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004000
Christopher Faulet99eff652019-08-11 23:11:30 +02004001 /* If we were not just woken because we wanted to send but couldn't,
4002 * and there's somebody else that is waiting to send, do nothing,
4003 * we will subscribe later and be put at the end of the list
4004 */
Willy Tarreauf11be0e2020-01-16 16:59:45 +01004005 if (!(fstrm->flags & FCGI_SF_NOTIFIED) && !LIST_ISEMPTY(&fconn->send_list)) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004006 TRACE_STATE("other streams already waiting, going to the queue and leaving", FCGI_EV_STRM_SEND|FCGI_EV_FSTRM_BLK, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02004007 return 0;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004008 }
Willy Tarreauf11be0e2020-01-16 16:59:45 +01004009 fstrm->flags &= ~FCGI_SF_NOTIFIED;
Christopher Faulet99eff652019-08-11 23:11:30 +02004010
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004011 if (fconn->state < FCGI_CS_RECORD_H) {
4012 TRACE_STATE("connection not ready, leaving", FCGI_EV_STRM_SEND|FCGI_EV_FSTRM_BLK, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02004013 return 0;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004014 }
Christopher Faulet99eff652019-08-11 23:11:30 +02004015
4016 htx = htxbuf(buf);
4017 if (fstrm->id == 0) {
4018 int32_t id = fcgi_conn_get_next_sid(fconn);
4019
4020 if (id < 0) {
4021 fcgi_strm_close(fstrm);
4022 cs->flags |= CS_FL_ERROR;
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004023 TRACE_DEVEL("couldn't get a stream ID, leaving in error", FCGI_EV_STRM_SEND|FCGI_EV_FSTRM_ERR|FCGI_EV_STRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02004024 return 0;
4025 }
4026
4027 eb32_delete(&fstrm->by_id);
4028 fstrm->by_id.key = fstrm->id = id;
4029 fconn->max_id = id;
4030 fconn->nb_reserved--;
4031 eb32_insert(&fconn->streams_by_id, &fstrm->by_id);
4032
4033
4034 /* Check if length of the body is known or if the message is
4035 * full. Otherwise, the request is invalid.
4036 */
4037 sl = http_get_stline(htx);
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01004038 if (!sl || (!(sl->flags & HTX_SL_F_CLEN) && !(htx->flags & HTX_FL_EOM))) {
Christopher Faulet99eff652019-08-11 23:11:30 +02004039 htx->flags |= HTX_FL_PARSING_ERROR;
4040 fcgi_strm_error(fstrm);
4041 goto done;
4042 }
4043 }
4044
4045 if (!(fstrm->flags & FCGI_SF_BEGIN_SENT)) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004046 TRACE_PROTO("sending FCGI BEGIN_REQUEST record", FCGI_EV_TX_RECORD|FCGI_EV_TX_BEGREQ, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02004047 if (!fcgi_strm_send_begin_request(fconn, fstrm))
4048 goto done;
4049 }
4050
4051 if (!(fstrm->flags & FCGI_SF_OUTGOING_DATA) && count)
4052 fstrm->flags |= FCGI_SF_OUTGOING_DATA;
4053
Christopher Fauletfe410d62020-05-19 15:13:00 +02004054 while (fstrm->state < FCGI_SS_HLOC && !(fstrm->flags & FCGI_SF_BLK_ANY) &&
Christopher Faulet99eff652019-08-11 23:11:30 +02004055 count && !htx_is_empty(htx)) {
4056 blk = htx_get_head_blk(htx);
William Lallemand13ed9fa2019-09-25 21:21:57 +02004057 ALREADY_CHECKED(blk);
Christopher Faulet99eff652019-08-11 23:11:30 +02004058 bsize = htx_get_blksz(blk);
4059
4060 switch (htx_get_blk_type(blk)) {
4061 case HTX_BLK_REQ_SL:
4062 case HTX_BLK_HDR:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004063 TRACE_USER("sending FCGI PARAMS record", FCGI_EV_TX_RECORD|FCGI_EV_TX_PARAMS, fconn->conn, fstrm, htx);
Christopher Faulet99eff652019-08-11 23:11:30 +02004064 ret = fcgi_strm_send_params(fconn, fstrm, htx);
4065 if (!ret) {
4066 goto done;
4067 }
4068 total += ret;
4069 count -= ret;
4070 break;
4071
4072 case HTX_BLK_EOH:
Christopher Fauletd1ac2b92020-12-02 19:12:22 +01004073 if (!(fstrm->flags & FCGI_SF_EP_SENT)) {
4074 TRACE_PROTO("sending FCGI PARAMS record", FCGI_EV_TX_RECORD|FCGI_EV_TX_PARAMS, fconn->conn, fstrm, htx);
4075 ret = fcgi_strm_send_empty_params(fconn, fstrm);
4076 if (!ret)
4077 goto done;
4078 }
4079 if (htx_is_unique_blk(htx, blk) && (htx->flags & HTX_FL_EOM)) {
4080 TRACE_PROTO("sending FCGI STDIN record", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, htx);
4081 ret = fcgi_strm_send_empty_stdin(fconn, fstrm);
4082 if (!ret)
4083 goto done;
4084 }
Christopher Faulet99eff652019-08-11 23:11:30 +02004085 goto remove_blk;
4086
4087 case HTX_BLK_DATA:
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004088 TRACE_PROTO("sending FCGI STDIN record", FCGI_EV_TX_RECORD|FCGI_EV_TX_STDIN, fconn->conn, fstrm, htx);
Christopher Faulet99eff652019-08-11 23:11:30 +02004089 ret = fcgi_strm_send_stdin(fconn, fstrm, htx, count, buf);
4090 if (ret > 0) {
4091 htx = htx_from_buf(buf);
4092 total += ret;
4093 count -= ret;
4094 if (ret < bsize)
4095 goto done;
4096 }
4097 break;
4098
Christopher Faulet99eff652019-08-11 23:11:30 +02004099 default:
4100 remove_blk:
4101 htx_remove_blk(htx, blk);
4102 total += bsize;
4103 count -= bsize;
4104 break;
4105 }
4106 }
4107
4108 done:
4109 if (fstrm->state >= FCGI_SS_HLOC) {
4110 /* trim any possibly pending data after we close (extra CR-LF,
4111 * unprocessed trailers, abnormal extra data, ...)
4112 */
4113 total += count;
4114 count = 0;
4115 }
4116
4117 if (fstrm->state == FCGI_SS_ERROR) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004118 TRACE_DEVEL("reporting error to the app-layer stream", FCGI_EV_STRM_SEND|FCGI_EV_FSTRM_ERR|FCGI_EV_STRM_ERR, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02004119 cs_set_error(cs);
4120 if (!(fstrm->flags & FCGI_SF_BEGIN_SENT) || fcgi_strm_send_abort(fconn, fstrm))
4121 fcgi_strm_close(fstrm);
4122 }
4123
4124 if (htx)
4125 htx_to_buf(htx, buf);
4126
Christopher Faulet99eff652019-08-11 23:11:30 +02004127 if (total > 0) {
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004128 if (!(fconn->wait_event.events & SUB_RETRY_SEND)) {
4129 TRACE_DEVEL("data queued, waking up fconn sender", FCGI_EV_STRM_SEND|FCGI_EV_FCONN_SEND|FCGI_EV_FCONN_WAKE, fconn->conn, fstrm);
Christopher Faulet99eff652019-08-11 23:11:30 +02004130 tasklet_wakeup(fconn->wait_event.tasklet);
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004131 }
Christopher Faulet99eff652019-08-11 23:11:30 +02004132
4133 /* Ok we managed to send something, leave the send_list */
Willy Tarreau7aad7032020-01-16 17:20:57 +01004134 if (!(fstrm->flags & (FCGI_SF_WANT_SHUTR|FCGI_SF_WANT_SHUTW)))
4135 LIST_DEL_INIT(&fstrm->send_list);
Christopher Faulet99eff652019-08-11 23:11:30 +02004136 }
Christopher Faulet5c0f8592019-10-04 15:21:17 +02004137
4138 TRACE_LEAVE(FCGI_EV_STRM_SEND, fconn->conn, fstrm, htx, (size_t[]){total});
Christopher Faulet99eff652019-08-11 23:11:30 +02004139 return total;
4140}
4141
4142/* for debugging with CLI's "show fd" command */
Willy Tarreau8050efe2021-01-21 08:26:06 +01004143static int fcgi_show_fd(struct buffer *msg, struct connection *conn)
Christopher Faulet99eff652019-08-11 23:11:30 +02004144{
4145 struct fcgi_conn *fconn = conn->ctx;
4146 struct fcgi_strm *fstrm = NULL;
4147 struct eb32_node *node;
4148 int send_cnt = 0;
4149 int tree_cnt = 0;
4150 int orph_cnt = 0;
4151 struct buffer *hmbuf, *tmbuf;
4152
4153 if (!fconn)
Willy Tarreau8050efe2021-01-21 08:26:06 +01004154 return 0;
Christopher Faulet99eff652019-08-11 23:11:30 +02004155
4156 list_for_each_entry(fstrm, &fconn->send_list, send_list)
4157 send_cnt++;
4158
4159 fstrm = NULL;
4160 node = eb32_first(&fconn->streams_by_id);
4161 while (node) {
4162 fstrm = container_of(node, struct fcgi_strm, by_id);
4163 tree_cnt++;
4164 if (!fstrm->cs)
4165 orph_cnt++;
4166 node = eb32_next(node);
4167 }
4168
4169 hmbuf = br_head(fconn->mbuf);
4170 tmbuf = br_tail(fconn->mbuf);
4171 chunk_appendf(msg, " fconn.st0=%d .maxid=%d .flg=0x%04x .nbst=%u"
4172 " .nbcs=%u .send_cnt=%d .tree_cnt=%d .orph_cnt=%d .sub=%d "
4173 ".dsi=%d .dbuf=%u@%p+%u/%u .mbuf=[%u..%u|%u],h=[%u@%p+%u/%u],t=[%u@%p+%u/%u]",
4174 fconn->state, fconn->max_id, fconn->flags,
4175 fconn->nb_streams, fconn->nb_cs, send_cnt, tree_cnt, orph_cnt,
4176 fconn->wait_event.events, fconn->dsi,
4177 (unsigned int)b_data(&fconn->dbuf), b_orig(&fconn->dbuf),
4178 (unsigned int)b_head_ofs(&fconn->dbuf), (unsigned int)b_size(&fconn->dbuf),
4179 br_head_idx(fconn->mbuf), br_tail_idx(fconn->mbuf), br_size(fconn->mbuf),
4180 (unsigned int)b_data(hmbuf), b_orig(hmbuf),
4181 (unsigned int)b_head_ofs(hmbuf), (unsigned int)b_size(hmbuf),
4182 (unsigned int)b_data(tmbuf), b_orig(tmbuf),
4183 (unsigned int)b_head_ofs(tmbuf), (unsigned int)b_size(tmbuf));
4184
4185 if (fstrm) {
4186 chunk_appendf(msg, " last_fstrm=%p .id=%d .flg=0x%04x .rxbuf=%u@%p+%u/%u .cs=%p",
4187 fstrm, fstrm->id, fstrm->flags,
4188 (unsigned int)b_data(&fstrm->rxbuf), b_orig(&fstrm->rxbuf),
4189 (unsigned int)b_head_ofs(&fstrm->rxbuf), (unsigned int)b_size(&fstrm->rxbuf),
4190 fstrm->cs);
4191 if (fstrm->cs)
Christopher Fauletf835dea2021-12-21 14:35:17 +01004192 chunk_appendf(msg, " .cs.flg=0x%08x .cs.app=%p",
4193 fstrm->cs->flags, fstrm->cs->app);
Willy Tarreau1776ffb2021-01-20 17:10:46 +01004194 chunk_appendf(&trash, " .subs=%p", fstrm->subs);
4195 if (fstrm->subs) {
Christopher Faulet6c93c4e2021-02-25 10:06:29 +01004196 chunk_appendf(&trash, "(ev=%d tl=%p", fstrm->subs->events, fstrm->subs->tasklet);
4197 chunk_appendf(&trash, " tl.calls=%d tl.ctx=%p tl.fct=",
4198 fstrm->subs->tasklet->calls,
4199 fstrm->subs->tasklet->context);
4200 resolve_sym_name(&trash, NULL, fstrm->subs->tasklet->process);
4201 chunk_appendf(&trash, ")");
Willy Tarreau1776ffb2021-01-20 17:10:46 +01004202 }
Christopher Faulet99eff652019-08-11 23:11:30 +02004203 }
Willy Tarreau8050efe2021-01-21 08:26:06 +01004204 return 0;
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01004205}
4206
4207/* Migrate the the connection to the current thread.
4208 * Return 0 if successful, non-zero otherwise.
4209 * Expected to be called with the old thread lock held.
4210 */
Olivier Houchard1662cdb2020-07-03 14:04:37 +02004211static int fcgi_takeover(struct connection *conn, int orig_tid)
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01004212{
4213 struct fcgi_conn *fcgi = conn->ctx;
Willy Tarreau88d18f82020-07-01 16:39:33 +02004214 struct task *task;
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01004215
4216 if (fd_takeover(conn->handle.fd, conn) != 0)
4217 return -1;
Olivier Houcharda74bb7e2020-07-03 14:01:21 +02004218
4219 if (conn->xprt->takeover && conn->xprt->takeover(conn, conn->xprt_ctx, orig_tid) != 0) {
4220 /* We failed to takeover the xprt, even if the connection may
4221 * still be valid, flag it as error'd, as we have already
4222 * taken over the fd, and wake the tasklet, so that it will
4223 * destroy it.
4224 */
4225 conn->flags |= CO_FL_ERROR;
4226 tasklet_wakeup_on(fcgi->wait_event.tasklet, orig_tid);
4227 return -1;
4228 }
4229
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01004230 if (fcgi->wait_event.events)
4231 fcgi->conn->xprt->unsubscribe(fcgi->conn, fcgi->conn->xprt_ctx,
4232 fcgi->wait_event.events, &fcgi->wait_event);
4233 /* To let the tasklet know it should free itself, and do nothing else,
4234 * set its context to NULL;
4235 */
4236 fcgi->wait_event.tasklet->context = NULL;
Olivier Houchard1662cdb2020-07-03 14:04:37 +02004237 tasklet_wakeup_on(fcgi->wait_event.tasklet, orig_tid);
Willy Tarreau88d18f82020-07-01 16:39:33 +02004238
4239 task = fcgi->task;
4240 if (task) {
4241 task->context = NULL;
4242 fcgi->task = NULL;
4243 __ha_barrier_store();
4244 task_kill(task);
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01004245
Willy Tarreaubeeabf52021-10-01 18:23:30 +02004246 fcgi->task = task_new_here();
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01004247 if (!fcgi->task) {
4248 fcgi_release(fcgi);
4249 return -1;
4250 }
4251 fcgi->task->process = fcgi_timeout_task;
4252 fcgi->task->context = fcgi;
4253 }
4254 fcgi->wait_event.tasklet = tasklet_new();
4255 if (!fcgi->wait_event.tasklet) {
4256 fcgi_release(fcgi);
4257 return -1;
4258 }
4259 fcgi->wait_event.tasklet->process = fcgi_io_cb;
4260 fcgi->wait_event.tasklet->context = fcgi;
4261 fcgi->conn->xprt->subscribe(fcgi->conn, fcgi->conn->xprt_ctx,
4262 SUB_RETRY_RECV, &fcgi->wait_event);
4263
4264 return 0;
Christopher Faulet99eff652019-08-11 23:11:30 +02004265}
4266
4267/****************************************/
Ilya Shipitsin6fb0f212020-04-02 15:25:26 +05004268/* MUX initialization and instantiation */
Christopher Faulet99eff652019-08-11 23:11:30 +02004269/****************************************/
4270
4271/* The mux operations */
4272static const struct mux_ops mux_fcgi_ops = {
4273 .init = fcgi_init,
4274 .wake = fcgi_wake,
4275 .attach = fcgi_attach,
4276 .get_first_cs = fcgi_get_first_cs,
4277 .detach = fcgi_detach,
4278 .destroy = fcgi_destroy,
4279 .avail_streams = fcgi_avail_streams,
4280 .used_streams = fcgi_used_streams,
4281 .rcv_buf = fcgi_rcv_buf,
4282 .snd_buf = fcgi_snd_buf,
4283 .subscribe = fcgi_subscribe,
4284 .unsubscribe = fcgi_unsubscribe,
4285 .shutr = fcgi_shutr,
4286 .shutw = fcgi_shutw,
Olivier Houchard9b8e11e2019-10-25 16:19:26 +02004287 .ctl = fcgi_ctl,
Christopher Faulet99eff652019-08-11 23:11:30 +02004288 .show_fd = fcgi_show_fd,
Olivier Houcharda41bb0b2020-03-10 18:46:06 +01004289 .takeover = fcgi_takeover,
Christopher Fauleta4600572021-03-08 15:28:28 +01004290 .flags = MX_FL_HTX|MX_FL_HOL_RISK|MX_FL_NO_UPG,
Christopher Faulet99eff652019-08-11 23:11:30 +02004291 .name = "FCGI",
4292};
4293
4294
4295/* this mux registers FCGI proto */
4296static struct mux_proto_list mux_proto_fcgi =
4297{ .token = IST("fcgi"), .mode = PROTO_MODE_HTTP, .side = PROTO_SIDE_BE, .mux = &mux_fcgi_ops };
4298
4299INITCALL1(STG_REGISTER, register_mux_proto, &mux_proto_fcgi);
4300
4301/*
4302 * Local variables:
4303 * c-indent-level: 8
4304 * c-basic-offset: 8
4305 * End:
4306 */