blob: 3d435c47ce94a8b9002a8abf734fa246fee69f36 [file] [log] [blame]
Willy Tarreaubaaee002006-06-26 02:48:02 +02001/*
Willy Tarreauc7e42382012-08-24 19:22:53 +02002 * include/proto/channel.h
3 * Channel management definitions, macros and inline functions.
Willy Tarreau7c3c5412009-12-13 15:53:05 +01004 *
Willy Tarreaua27dc192014-11-27 22:10:04 +01005 * Copyright (C) 2000-2014 Willy Tarreau - w@1wt.eu
Willy Tarreau7c3c5412009-12-13 15:53:05 +01006 *
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation, version 2.1
10 * exclusively.
11 *
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
16 *
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, write to the Free Software
19 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
20 */
Willy Tarreaubaaee002006-06-26 02:48:02 +020021
Willy Tarreauc7e42382012-08-24 19:22:53 +020022#ifndef _PROTO_CHANNEL_H
23#define _PROTO_CHANNEL_H
Willy Tarreaubaaee002006-06-26 02:48:02 +020024
Willy Tarreau7341d942007-05-13 19:56:02 +020025#include <stdio.h>
Willy Tarreau0f772532006-12-23 20:51:41 +010026#include <stdlib.h>
Willy Tarreau7341d942007-05-13 19:56:02 +020027#include <string.h>
Willy Tarreau0f772532006-12-23 20:51:41 +010028
Willy Tarreaue3ba5f02006-06-29 18:54:54 +020029#include <common/config.h>
Willy Tarreauc7e42382012-08-24 19:22:53 +020030#include <common/chunk.h>
Willy Tarreau0c303ee2008-07-07 00:09:58 +020031#include <common/ticks.h>
Willy Tarreaufa645582007-06-03 15:59:52 +020032#include <common/time.h>
33
Thierry FOURNIERac836ba2014-12-16 15:41:18 +010034#include <types/channel.h>
Willy Tarreau7c3c5412009-12-13 15:53:05 +010035#include <types/global.h>
Willy Tarreau87b09662015-04-03 00:22:06 +020036#include <types/stream.h>
Willy Tarreau73796532014-11-28 14:10:28 +010037#include <types/stream_interface.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020038
Willy Tarreau7341d942007-05-13 19:56:02 +020039/* perform minimal intializations, report 0 in case of error, 1 if OK. */
Willy Tarreau8263d2b2012-08-28 00:06:31 +020040int init_channel();
Willy Tarreau7341d942007-05-13 19:56:02 +020041
Willy Tarreau55a69062012-10-26 00:21:52 +020042unsigned long long __channel_forward(struct channel *chn, unsigned long long bytes);
Willy Tarreau8263d2b2012-08-28 00:06:31 +020043
44/* SI-to-channel functions working with buffers */
Willy Tarreau974ced62012-10-12 23:11:02 +020045int bi_putblk(struct channel *chn, const char *str, int len);
Willy Tarreaub034b252014-12-08 18:14:53 +010046struct buffer *bi_swpbuf(struct channel *chn, struct buffer *buf);
Willy Tarreau974ced62012-10-12 23:11:02 +020047int bi_putchr(struct channel *chn, char c);
Thierry FOURNIERca16b032015-02-16 19:26:48 +010048int bi_getline_nc(struct channel *chn, char **blk1, int *len1, char **blk2, int *len2);
49int bi_getblk_nc(struct channel *chn, char **blk1, int *len1, char **blk2, int *len2);
Willy Tarreau974ced62012-10-12 23:11:02 +020050int bo_inject(struct channel *chn, const char *msg, int len);
51int bo_getline(struct channel *chn, char *str, int len);
52int bo_getblk(struct channel *chn, char *blk, int len, int offset);
Thierry FOURNIERca16b032015-02-16 19:26:48 +010053int bo_getline_nc(struct channel *chn, char **blk1, int *len1, char **blk2, int *len2);
54int bo_getblk_nc(struct channel *chn, char **blk1, int *len1, char **blk2, int *len2);
55
Willy Tarreau74b08c92010-09-08 17:04:31 +020056
Willy Tarreau87b09662015-04-03 00:22:06 +020057/* returns a pointer to the stream the channel belongs to */
Thierry FOURNIER27929fb2015-09-25 08:36:11 +020058static inline struct stream *chn_strm(const struct channel *chn)
Willy Tarreaud5ccfa32014-12-28 13:03:53 +010059{
60 if (chn->flags & CF_ISRESP)
Willy Tarreau87b09662015-04-03 00:22:06 +020061 return LIST_ELEM(chn, struct stream *, res);
Willy Tarreaud5ccfa32014-12-28 13:03:53 +010062 else
Willy Tarreau87b09662015-04-03 00:22:06 +020063 return LIST_ELEM(chn, struct stream *, req);
Willy Tarreaud5ccfa32014-12-28 13:03:53 +010064}
65
Willy Tarreau73796532014-11-28 14:10:28 +010066/* returns a pointer to the stream interface feeding the channel (producer) */
67static inline struct stream_interface *chn_prod(const struct channel *chn)
68{
Willy Tarreau5decc052014-11-28 14:22:12 +010069 if (chn->flags & CF_ISRESP)
Willy Tarreau87b09662015-04-03 00:22:06 +020070 return &LIST_ELEM(chn, struct stream *, res)->si[1];
Willy Tarreau5decc052014-11-28 14:22:12 +010071 else
Willy Tarreau87b09662015-04-03 00:22:06 +020072 return &LIST_ELEM(chn, struct stream *, req)->si[0];
Willy Tarreau73796532014-11-28 14:10:28 +010073}
74
75/* returns a pointer to the stream interface consuming the channel (producer) */
76static inline struct stream_interface *chn_cons(const struct channel *chn)
77{
Willy Tarreau5decc052014-11-28 14:22:12 +010078 if (chn->flags & CF_ISRESP)
Willy Tarreau87b09662015-04-03 00:22:06 +020079 return &LIST_ELEM(chn, struct stream *, res)->si[0];
Willy Tarreau5decc052014-11-28 14:22:12 +010080 else
Willy Tarreau87b09662015-04-03 00:22:06 +020081 return &LIST_ELEM(chn, struct stream *, req)->si[1];
Willy Tarreau73796532014-11-28 14:10:28 +010082}
83
Willy Tarreau8263d2b2012-08-28 00:06:31 +020084/* Initialize all fields in the channel. */
Willy Tarreau974ced62012-10-12 23:11:02 +020085static inline void channel_init(struct channel *chn)
Willy Tarreau54469402006-07-29 16:59:06 +020086{
Willy Tarreau2a4b5432014-11-24 11:39:34 +010087 chn->buf = &buf_empty;
Willy Tarreau974ced62012-10-12 23:11:02 +020088 chn->to_forward = 0;
Willy Tarreaub145c782014-02-09 17:45:16 +010089 chn->last_read = now_ms;
Willy Tarreau8f39dcd2014-02-09 08:31:49 +010090 chn->xfer_small = chn->xfer_large = 0;
Willy Tarreau974ced62012-10-12 23:11:02 +020091 chn->total = 0;
92 chn->pipe = NULL;
93 chn->analysers = 0;
Willy Tarreau974ced62012-10-12 23:11:02 +020094 chn->flags = 0;
Willy Tarreau54469402006-07-29 16:59:06 +020095}
96
Willy Tarreau55a69062012-10-26 00:21:52 +020097/* Schedule up to <bytes> more bytes to be forwarded via the channel without
98 * notifying the owner task. Any data pending in the buffer are scheduled to be
99 * sent as well, in the limit of the number of bytes to forward. This must be
100 * the only method to use to schedule bytes to be forwarded. If the requested
101 * number is too large, it is automatically adjusted. The number of bytes taken
102 * into account is returned. Directly touching ->to_forward will cause lockups
103 * when buf->o goes down to zero if nobody is ready to push the remaining data.
104 */
105static inline unsigned long long channel_forward(struct channel *chn, unsigned long long bytes)
106{
107 /* hint: avoid comparisons on long long for the fast case, since if the
108 * length does not fit in an unsigned it, it will never be forwarded at
109 * once anyway.
110 */
111 if (bytes <= ~0U) {
112 unsigned int bytes32 = bytes;
113
114 if (bytes32 <= chn->buf->i) {
115 /* OK this amount of bytes might be forwarded at once */
116 b_adv(chn->buf, bytes32);
117 return bytes;
118 }
119 }
120 return __channel_forward(chn, bytes);
121}
122
Willy Tarreau8bf242b2016-05-04 14:05:58 +0200123/* Forwards any input data and marks the channel for permanent forwarding */
124static inline void channel_forward_forever(struct channel *chn)
125{
126 b_adv(chn->buf, chn->buf->i);
127 chn->to_forward = CHN_INFINITE_FORWARD;
128}
129
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200130/*********************************************************************/
131/* These functions are used to compute various channel content sizes */
132/*********************************************************************/
Willy Tarreau4b517ca2011-11-25 20:33:58 +0100133
Willy Tarreau8e21bb92012-08-24 22:40:29 +0200134/* Reports non-zero if the channel is empty, which means both its
135 * buffer and pipe are empty. The construct looks strange but is
136 * jump-less and much more efficient on both 32 and 64-bit than
137 * the boolean test.
138 */
139static inline unsigned int channel_is_empty(struct channel *c)
140{
Willy Tarreau9b28e032012-10-12 23:49:43 +0200141 return !(c->buf->o | (long)c->pipe);
Willy Tarreau8e21bb92012-08-24 22:40:29 +0200142}
143
Willy Tarreauba0902e2015-01-13 14:39:16 +0100144/* Returns non-zero if the channel is rewritable, which means that the buffer
145 * it is attached to has at least <maxrewrite> bytes immediately available.
146 * This is used to decide when a request or response may be parsed when some
147 * data from a previous exchange might still be present.
Willy Tarreau379357a2013-06-08 12:55:46 +0200148 */
Willy Tarreauba0902e2015-01-13 14:39:16 +0100149static inline int channel_is_rewritable(const struct channel *chn)
Willy Tarreau379357a2013-06-08 12:55:46 +0200150{
151 int rem = chn->buf->size;
152
153 rem -= chn->buf->o;
154 rem -= chn->buf->i;
155 rem -= global.tune.maxrewrite;
156 return rem >= 0;
157}
158
Willy Tarreau55e58f22016-05-02 16:05:10 +0200159/* Returns non-zero if the channel is congested with data in transit waiting
160 * for leaving, indicating to the caller that it should wait for the reserve to
161 * be released before starting to process new data in case it needs the ability
162 * to append data. This is meant to be used while waiting for a clean response
163 * buffer before processing a request.
164 */
165static inline int channel_congested(const struct channel *chn)
166{
167 if (!chn->buf->o)
168 return 0;
169
170 if (!channel_is_rewritable(chn))
171 return 1;
172
173 if (chn->buf->p + chn->buf->i >
174 chn->buf->data + chn->buf->size - global.tune.maxrewrite)
175 return 1;
176
177 return 0;
178}
179
Willy Tarreau9c06ee42015-01-14 16:08:45 +0100180/* Tells whether data are likely to leave the buffer. This is used to know when
181 * we can safely ignore the reserve since we know we cannot retry a connection.
182 * It returns zero if data are blocked, non-zero otherwise.
183 */
184static inline int channel_may_send(const struct channel *chn)
185{
Willy Tarreau73796532014-11-28 14:10:28 +0100186 return chn_cons(chn)->state == SI_ST_EST;
Willy Tarreau9c06ee42015-01-14 16:08:45 +0100187}
188
Willy Tarreau3889fff2015-01-13 20:20:10 +0100189/* Returns non-zero if the channel can still receive data. This is used to
Willy Tarreau379357a2013-06-08 12:55:46 +0200190 * decide when to stop reading into a buffer when we want to ensure that we
191 * leave the reserve untouched after all pending outgoing data are forwarded.
192 * The reserved space is taken into account if ->to_forward indicates that an
193 * end of transfer is close to happen. Note that both ->buf->o and ->to_forward
194 * are considered as available since they're supposed to leave the buffer. The
195 * test is optimized to avoid as many operations as possible for the fast case
Willy Tarreau4b46a3e2016-04-20 20:09:22 +0200196 * and to be used as an "if" condition. Just like channel_recv_limit(), we
197 * never allow to overwrite the reserve until the output stream interface is
198 * connected, otherwise we could spin on a POST with http-send-name-header.
Willy Tarreau4b517ca2011-11-25 20:33:58 +0100199 */
Willy Tarreau3889fff2015-01-13 20:20:10 +0100200static inline int channel_may_recv(const struct channel *chn)
Willy Tarreau4b517ca2011-11-25 20:33:58 +0100201{
Willy Tarreau9b28e032012-10-12 23:49:43 +0200202 int rem = chn->buf->size;
Willy Tarreau9dab5fc2012-05-07 11:56:55 +0200203
Willy Tarreau4428a292014-11-28 20:54:13 +0100204 if (chn->buf == &buf_empty)
Willy Tarreau3889fff2015-01-13 20:20:10 +0100205 return 1;
Willy Tarreau4428a292014-11-28 20:54:13 +0100206
Willy Tarreau9b28e032012-10-12 23:49:43 +0200207 rem -= chn->buf->o;
208 rem -= chn->buf->i;
Willy Tarreau9dab5fc2012-05-07 11:56:55 +0200209 if (!rem)
Willy Tarreau3889fff2015-01-13 20:20:10 +0100210 return 0; /* buffer already full */
Willy Tarreau9dab5fc2012-05-07 11:56:55 +0200211
Willy Tarreau93dc4782016-04-21 12:12:45 +0200212 if (rem > global.tune.maxrewrite)
213 return 1; /* reserve not yet reached */
Willy Tarreau4b46a3e2016-04-20 20:09:22 +0200214
Willy Tarreau93dc4782016-04-21 12:12:45 +0200215 if (!channel_may_send(chn))
216 return 0; /* don't touch reserve until we can send */
Willy Tarreau9dab5fc2012-05-07 11:56:55 +0200217
Willy Tarreau93dc4782016-04-21 12:12:45 +0200218 /* Now we know there's some room left in the reserve and we may
219 * forward. As long as i-to_fwd < size-maxrw, we may still
220 * receive. This is equivalent to i+maxrw-size < to_fwd,
221 * which is logical since i+maxrw-size is what overlaps with
222 * the reserve, and we want to ensure they're covered by scheduled
223 * forwards.
224 */
225 rem = chn->buf->i + global.tune.maxrewrite - chn->buf->size;
226 return rem < 0 || (unsigned int)rem < chn->to_forward;
Willy Tarreau4b517ca2011-11-25 20:33:58 +0100227}
228
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200229/* Returns true if the channel's input is already closed */
Willy Tarreau974ced62012-10-12 23:11:02 +0200230static inline int channel_input_closed(struct channel *chn)
Willy Tarreau74b08c92010-09-08 17:04:31 +0200231{
Willy Tarreau974ced62012-10-12 23:11:02 +0200232 return ((chn->flags & CF_SHUTR) != 0);
Willy Tarreau74b08c92010-09-08 17:04:31 +0200233}
234
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200235/* Returns true if the channel's output is already closed */
Willy Tarreau974ced62012-10-12 23:11:02 +0200236static inline int channel_output_closed(struct channel *chn)
Willy Tarreau74b08c92010-09-08 17:04:31 +0200237{
Willy Tarreau974ced62012-10-12 23:11:02 +0200238 return ((chn->flags & CF_SHUTW) != 0);
Willy Tarreau74b08c92010-09-08 17:04:31 +0200239}
240
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200241/* Check channel timeouts, and set the corresponding flags. The likely/unlikely
242 * have been optimized for fastest normal path. The read/write timeouts are not
243 * set if there was activity on the channel. That way, we don't have to update
244 * the timeout on every I/O. Note that the analyser timeout is always checked.
Willy Tarreau2eb52f02008-09-04 09:14:08 +0200245 */
Willy Tarreau974ced62012-10-12 23:11:02 +0200246static inline void channel_check_timeouts(struct channel *chn)
Willy Tarreau2eb52f02008-09-04 09:14:08 +0200247{
Willy Tarreau974ced62012-10-12 23:11:02 +0200248 if (likely(!(chn->flags & (CF_SHUTR|CF_READ_TIMEOUT|CF_READ_ACTIVITY|CF_READ_NOEXP))) &&
249 unlikely(tick_is_expired(chn->rex, now_ms)))
250 chn->flags |= CF_READ_TIMEOUT;
Willy Tarreau2eb52f02008-09-04 09:14:08 +0200251
Willy Tarreau974ced62012-10-12 23:11:02 +0200252 if (likely(!(chn->flags & (CF_SHUTW|CF_WRITE_TIMEOUT|CF_WRITE_ACTIVITY))) &&
253 unlikely(tick_is_expired(chn->wex, now_ms)))
254 chn->flags |= CF_WRITE_TIMEOUT;
Willy Tarreau2eb52f02008-09-04 09:14:08 +0200255
Willy Tarreau974ced62012-10-12 23:11:02 +0200256 if (likely(!(chn->flags & CF_ANA_TIMEOUT)) &&
257 unlikely(tick_is_expired(chn->analyse_exp, now_ms)))
258 chn->flags |= CF_ANA_TIMEOUT;
Willy Tarreau2eb52f02008-09-04 09:14:08 +0200259}
260
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200261/* Erase any content from channel <buf> and adjusts flags accordingly. Note
Willy Tarreau0abebcc2009-01-08 00:09:41 +0100262 * that any spliced data is not affected since we may not have any access to
263 * it.
Willy Tarreaue393fe22008-08-16 22:18:07 +0200264 */
Willy Tarreau974ced62012-10-12 23:11:02 +0200265static inline void channel_erase(struct channel *chn)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200266{
Willy Tarreau974ced62012-10-12 23:11:02 +0200267 chn->to_forward = 0;
Willy Tarreau474cf542014-11-24 10:54:47 +0100268 b_reset(chn->buf);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200269}
270
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200271/* marks the channel as "shutdown" ASAP for reads */
Willy Tarreau974ced62012-10-12 23:11:02 +0200272static inline void channel_shutr_now(struct channel *chn)
Willy Tarreaufa7e1022008-10-19 07:30:41 +0200273{
Willy Tarreau974ced62012-10-12 23:11:02 +0200274 chn->flags |= CF_SHUTR_NOW;
Willy Tarreaufa7e1022008-10-19 07:30:41 +0200275}
276
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200277/* marks the channel as "shutdown" ASAP for writes */
Willy Tarreau974ced62012-10-12 23:11:02 +0200278static inline void channel_shutw_now(struct channel *chn)
Willy Tarreaufa7e1022008-10-19 07:30:41 +0200279{
Willy Tarreau974ced62012-10-12 23:11:02 +0200280 chn->flags |= CF_SHUTW_NOW;
Willy Tarreaufa7e1022008-10-19 07:30:41 +0200281}
282
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200283/* marks the channel as "shutdown" ASAP in both directions */
Willy Tarreau974ced62012-10-12 23:11:02 +0200284static inline void channel_abort(struct channel *chn)
Willy Tarreaufa7e1022008-10-19 07:30:41 +0200285{
Willy Tarreau974ced62012-10-12 23:11:02 +0200286 chn->flags |= CF_SHUTR_NOW | CF_SHUTW_NOW;
287 chn->flags &= ~CF_AUTO_CONNECT;
Willy Tarreaufa7e1022008-10-19 07:30:41 +0200288}
289
Willy Tarreau520d95e2009-09-19 21:04:57 +0200290/* allow the consumer to try to establish a new connection. */
Willy Tarreau974ced62012-10-12 23:11:02 +0200291static inline void channel_auto_connect(struct channel *chn)
Willy Tarreau3da77c52008-08-29 09:58:42 +0200292{
Willy Tarreau974ced62012-10-12 23:11:02 +0200293 chn->flags |= CF_AUTO_CONNECT;
Willy Tarreau3da77c52008-08-29 09:58:42 +0200294}
295
Willy Tarreau520d95e2009-09-19 21:04:57 +0200296/* prevent the consumer from trying to establish a new connection, and also
297 * disable auto shutdown forwarding.
298 */
Willy Tarreau974ced62012-10-12 23:11:02 +0200299static inline void channel_dont_connect(struct channel *chn)
Willy Tarreau3da77c52008-08-29 09:58:42 +0200300{
Willy Tarreau974ced62012-10-12 23:11:02 +0200301 chn->flags &= ~(CF_AUTO_CONNECT|CF_AUTO_CLOSE);
Willy Tarreau3da77c52008-08-29 09:58:42 +0200302}
303
Willy Tarreau520d95e2009-09-19 21:04:57 +0200304/* allow the producer to forward shutdown requests */
Willy Tarreau974ced62012-10-12 23:11:02 +0200305static inline void channel_auto_close(struct channel *chn)
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100306{
Willy Tarreau974ced62012-10-12 23:11:02 +0200307 chn->flags |= CF_AUTO_CLOSE;
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100308}
309
Willy Tarreau520d95e2009-09-19 21:04:57 +0200310/* prevent the producer from forwarding shutdown requests */
Willy Tarreau974ced62012-10-12 23:11:02 +0200311static inline void channel_dont_close(struct channel *chn)
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100312{
Willy Tarreau974ced62012-10-12 23:11:02 +0200313 chn->flags &= ~CF_AUTO_CLOSE;
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100314}
315
Willy Tarreau90deb182010-01-07 00:20:41 +0100316/* allow the producer to read / poll the input */
Willy Tarreau974ced62012-10-12 23:11:02 +0200317static inline void channel_auto_read(struct channel *chn)
Willy Tarreau90deb182010-01-07 00:20:41 +0100318{
Willy Tarreau974ced62012-10-12 23:11:02 +0200319 chn->flags &= ~CF_DONT_READ;
Willy Tarreau90deb182010-01-07 00:20:41 +0100320}
321
322/* prevent the producer from read / poll the input */
Willy Tarreau974ced62012-10-12 23:11:02 +0200323static inline void channel_dont_read(struct channel *chn)
Willy Tarreau90deb182010-01-07 00:20:41 +0100324{
Willy Tarreau974ced62012-10-12 23:11:02 +0200325 chn->flags |= CF_DONT_READ;
Willy Tarreau90deb182010-01-07 00:20:41 +0100326}
327
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200328
329/*************************************************/
330/* Buffer operations in the context of a channel */
331/*************************************************/
332
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200333
334/* Return the max number of bytes the buffer can contain so that once all the
Willy Tarreau169c4702016-04-20 18:05:17 +0200335 * pending bytes are forwarded, the buffer still has global.tune.maxrewrite
Willy Tarreau974ced62012-10-12 23:11:02 +0200336 * bytes free. The result sits between chn->size - maxrewrite and chn->size.
Willy Tarreau169c4702016-04-20 18:05:17 +0200337 * It is important to mention that if buf->i is already larger than size-maxrw
338 * the condition above cannot be satisfied and the lowest size will be returned
339 * anyway. The principles are the following :
340 * 0) the empty buffer has a limit of zero
341 * 1) a non-connected buffer cannot touch the reserve
342 * 2) infinite forward can always fill the buffer since all data will leave
343 * 3) all output bytes are considered in transit since they're leaving
344 * 4) all input bytes covered by to_forward are considered in transit since
345 * they'll be converted to output bytes.
346 * 5) all input bytes not covered by to_forward as considered remaining
347 * 6) all bytes scheduled to be forwarded minus what is already in the input
348 * buffer will be in transit during future rounds.
349 * 7) 4+5+6 imply that the amount of input bytes (i) is irrelevant to the max
350 * usable length, only to_forward and output count. The difference is
351 * visible when to_forward > i.
352 * 8) the reserve may be covered up to the amount of bytes in transit since
353 * these bytes will only take temporary space.
Willy Tarreau999f6432016-01-25 01:09:11 +0100354 *
Willy Tarreau169c4702016-04-20 18:05:17 +0200355 * A typical buffer looks like this :
Willy Tarreau999f6432016-01-25 01:09:11 +0100356 *
Willy Tarreau169c4702016-04-20 18:05:17 +0200357 * <-------------- max_len ----------->
358 * <---- o ----><----- i -----> <--- 0..maxrewrite --->
359 * +------------+--------------+-------+----------------------+
360 * |////////////|\\\\\\\\\\\\\\|xxxxxxx| reserve |
361 * +------------+--------+-----+-------+----------------------+
362 * <- fwd -> <-avail->
363 *
364 * Or when to_forward > i :
365 *
366 * <-------------- max_len ----------->
367 * <---- o ----><----- i -----> <--- 0..maxrewrite --->
368 * +------------+--------------+-------+----------------------+
369 * |////////////|\\\\\\\\\\\\\\|xxxxxxx| reserve |
370 * +------------+--------+-----+-------+----------------------+
371 * <-avail->
372 * <------------------ fwd ---------------->
373 *
374 * - the amount of buffer bytes in transit is : min(i, fwd) + o
375 * - some scheduled bytes may be in transit (up to fwd - i)
376 * - the reserve is max(0, maxrewrite - transit)
377 * - the maximum usable buffer length is size - reserve.
378 * - the available space is max_len - i - o
379 *
380 * So the formula to compute the buffer's maximum length to protect the reserve
381 * when reading new data is :
382 *
383 * max = size - maxrewrite + min(maxrewrite, transit)
384 * = size - max(maxrewrite - transit, 0)
385 *
386 * But WARNING! The conditions might change during the transfer and it could
387 * very well happen that a buffer would contain more bytes than max_len due to
388 * i+o already walking over the reserve (eg: after a header rewrite), including
389 * i or o alone hitting the limit. So it is critical to always consider that
390 * bounds may have already been crossed and that available space may be negative
391 * for example. Due to this it is perfectly possible for this function to return
392 * a value that is lower than current i+o.
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200393 */
Willy Tarreau3f5096d2015-01-14 20:21:43 +0100394static inline int channel_recv_limit(const struct channel *chn)
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200395{
Willy Tarreauef907fe2016-05-03 17:46:24 +0200396 unsigned int transit;
Willy Tarreau999f6432016-01-25 01:09:11 +0100397 int reserve;
398
399 /* return zero if empty */
400 reserve = chn->buf->size;
401 if (chn->buf == &buf_empty)
402 goto end;
403
404 /* return size - maxrewrite if we can't send */
405 reserve = global.tune.maxrewrite;
406 if (unlikely(!channel_may_send(chn)))
407 goto end;
408
Willy Tarreauef907fe2016-05-03 17:46:24 +0200409 /* We need to check what remains of the reserve after o and to_forward
410 * have been transmitted, but they can overflow together and they can
411 * cause an integer underflow in the comparison since both are unsigned
412 * while maxrewrite is signed.
413 * The code below has been verified for being a valid check for this :
414 * - if (o + to_forward) overflow => return size [ large enough ]
415 * - if o + to_forward >= maxrw => return size [ large enough ]
416 * - otherwise return size - (maxrw - (o + to_forward))
Willy Tarreau999f6432016-01-25 01:09:11 +0100417 */
Willy Tarreauef907fe2016-05-03 17:46:24 +0200418 transit = chn->buf->o + chn->to_forward;
419 reserve -= transit;
420 if (transit < chn->to_forward || // addition overflow
421 transit >= (unsigned)global.tune.maxrewrite) // enough transit data
Willy Tarreau169c4702016-04-20 18:05:17 +0200422 return chn->buf->size;
Willy Tarreau999f6432016-01-25 01:09:11 +0100423 end:
424 return chn->buf->size - reserve;
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200425}
426
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200427/* Returns the amount of space available at the input of the buffer, taking the
428 * reserved space into account if ->to_forward indicates that an end of transfer
429 * is close to happen. The test is optimized to avoid as many operations as
430 * possible for the fast case.
431 */
Willy Tarreaub5051f82015-01-14 20:25:34 +0100432static inline int channel_recv_max(const struct channel *chn)
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200433{
Willy Tarreau27bb0e12015-01-14 15:56:50 +0100434 int ret;
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200435
Willy Tarreau3f5096d2015-01-14 20:21:43 +0100436 ret = channel_recv_limit(chn) - chn->buf->i - chn->buf->o;
Willy Tarreau27bb0e12015-01-14 15:56:50 +0100437 if (ret < 0)
438 ret = 0;
439 return ret;
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200440}
441
Willy Tarreau319f7452015-01-14 20:32:59 +0100442/* Truncate any unread data in the channel's buffer, and disable forwarding.
443 * Outgoing data are left intact. This is mainly to be used to send error
444 * messages after existing data.
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200445 */
Willy Tarreau319f7452015-01-14 20:32:59 +0100446static inline void channel_truncate(struct channel *chn)
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200447{
Willy Tarreau9b28e032012-10-12 23:49:43 +0200448 if (!chn->buf->o)
Willy Tarreau974ced62012-10-12 23:11:02 +0200449 return channel_erase(chn);
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200450
Willy Tarreau974ced62012-10-12 23:11:02 +0200451 chn->to_forward = 0;
Willy Tarreau9b28e032012-10-12 23:49:43 +0200452 if (!chn->buf->i)
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200453 return;
454
Willy Tarreau9b28e032012-10-12 23:49:43 +0200455 chn->buf->i = 0;
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200456}
457
Willy Tarreaubaaee002006-06-26 02:48:02 +0200458/*
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200459 * Advance the channel buffer's read pointer by <len> bytes. This is useful
460 * when data have been read directly from the buffer. It is illegal to call
461 * this function with <len> causing a wrapping at the end of the buffer. It's
462 * the caller's responsibility to ensure that <len> is never larger than
Willy Tarreau974ced62012-10-12 23:11:02 +0200463 * chn->o. Channel flag WRITE_PARTIAL is set.
Willy Tarreau2b7addc2009-08-31 07:37:22 +0200464 */
Willy Tarreau974ced62012-10-12 23:11:02 +0200465static inline void bo_skip(struct channel *chn, int len)
Willy Tarreau2b7addc2009-08-31 07:37:22 +0200466{
Willy Tarreau9b28e032012-10-12 23:49:43 +0200467 chn->buf->o -= len;
Willy Tarreau9dab5fc2012-05-07 11:56:55 +0200468
Willy Tarreau5fb38032012-12-16 19:39:09 +0100469 if (buffer_empty(chn->buf))
Willy Tarreau9b28e032012-10-12 23:49:43 +0200470 chn->buf->p = chn->buf->data;
Willy Tarreau2b7addc2009-08-31 07:37:22 +0200471
Willy Tarreaufb0e9202009-09-23 23:47:55 +0200472 /* notify that some data was written to the SI from the buffer */
Willy Tarreau974ced62012-10-12 23:11:02 +0200473 chn->flags |= CF_WRITE_PARTIAL;
Willy Tarreau2b7addc2009-08-31 07:37:22 +0200474}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200475
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200476/* Tries to copy chunk <chunk> into the channel's buffer after length controls.
Willy Tarreau974ced62012-10-12 23:11:02 +0200477 * The chn->o and to_forward pointers are updated. If the channel's input is
Willy Tarreau74b08c92010-09-08 17:04:31 +0200478 * closed, -2 is returned. If the block is too large for this buffer, -3 is
479 * returned. If there is not enough room left in the buffer, -1 is returned.
480 * Otherwise the number of bytes copied is returned (0 being a valid number).
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200481 * Channel flag READ_PARTIAL is updated if some data can be transferred. The
Willy Tarreauf941cf22012-08-27 20:53:34 +0200482 * chunk's length is updated with the number of bytes sent.
Willy Tarreauaeac3192009-08-31 08:09:57 +0200483 */
Willy Tarreau974ced62012-10-12 23:11:02 +0200484static inline int bi_putchk(struct channel *chn, struct chunk *chunk)
Willy Tarreauaeac3192009-08-31 08:09:57 +0200485{
486 int ret;
487
Willy Tarreau974ced62012-10-12 23:11:02 +0200488 ret = bi_putblk(chn, chunk->str, chunk->len);
Willy Tarreau74b08c92010-09-08 17:04:31 +0200489 if (ret > 0)
490 chunk->len -= ret;
Willy Tarreauaeac3192009-08-31 08:09:57 +0200491 return ret;
492}
493
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200494/* Tries to copy string <str> at once into the channel's buffer after length
Willy Tarreau974ced62012-10-12 23:11:02 +0200495 * controls. The chn->o and to_forward pointers are updated. If the channel's
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200496 * input is closed, -2 is returned. If the block is too large for this buffer,
497 * -3 is returned. If there is not enough room left in the buffer, -1 is
498 * returned. Otherwise the number of bytes copied is returned (0 being a valid
499 * number). Channel flag READ_PARTIAL is updated if some data can be
500 * transferred.
Willy Tarreau74b08c92010-09-08 17:04:31 +0200501 */
Willy Tarreau974ced62012-10-12 23:11:02 +0200502static inline int bi_putstr(struct channel *chn, const char *str)
Willy Tarreau74b08c92010-09-08 17:04:31 +0200503{
Willy Tarreau974ced62012-10-12 23:11:02 +0200504 return bi_putblk(chn, str, strlen(str));
Willy Tarreau74b08c92010-09-08 17:04:31 +0200505}
506
507/*
Willy Tarreau8263d2b2012-08-28 00:06:31 +0200508 * Return one char from the channel's buffer. If the buffer is empty and the
509 * channel is closed, return -2. If the buffer is just empty, return -1. The
510 * buffer's pointer is not advanced, it's up to the caller to call bo_skip(buf,
511 * 1) when it has consumed the char. Also note that this function respects the
Willy Tarreau974ced62012-10-12 23:11:02 +0200512 * chn->o limit.
Willy Tarreau74b08c92010-09-08 17:04:31 +0200513 */
Willy Tarreau974ced62012-10-12 23:11:02 +0200514static inline int bo_getchr(struct channel *chn)
Willy Tarreau74b08c92010-09-08 17:04:31 +0200515{
516 /* closed or empty + imminent close = -2; empty = -1 */
Willy Tarreau974ced62012-10-12 23:11:02 +0200517 if (unlikely((chn->flags & CF_SHUTW) || channel_is_empty(chn))) {
518 if (chn->flags & (CF_SHUTW|CF_SHUTW_NOW))
Willy Tarreau74b08c92010-09-08 17:04:31 +0200519 return -2;
520 return -1;
521 }
Willy Tarreau9b28e032012-10-12 23:49:43 +0200522 return *buffer_wrap_sub(chn->buf, chn->buf->p - chn->buf->o);
Willy Tarreau74b08c92010-09-08 17:04:31 +0200523}
524
Willy Tarreaubaaee002006-06-26 02:48:02 +0200525
Willy Tarreauc7e42382012-08-24 19:22:53 +0200526#endif /* _PROTO_CHANNEL_H */
Willy Tarreaubaaee002006-06-26 02:48:02 +0200527
528/*
529 * Local variables:
530 * c-indent-level: 8
531 * c-basic-offset: 8
532 * End:
533 */