Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 1 | /* |
Willy Tarreau | c7e4238 | 2012-08-24 19:22:53 +0200 | [diff] [blame] | 2 | * include/proto/channel.h |
| 3 | * Channel management definitions, macros and inline functions. |
Willy Tarreau | 7c3c541 | 2009-12-13 15:53:05 +0100 | [diff] [blame] | 4 | * |
Willy Tarreau | a27dc19 | 2014-11-27 22:10:04 +0100 | [diff] [blame] | 5 | * Copyright (C) 2000-2014 Willy Tarreau - w@1wt.eu |
Willy Tarreau | 7c3c541 | 2009-12-13 15:53:05 +0100 | [diff] [blame] | 6 | * |
| 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 Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 21 | |
Willy Tarreau | c7e4238 | 2012-08-24 19:22:53 +0200 | [diff] [blame] | 22 | #ifndef _PROTO_CHANNEL_H |
| 23 | #define _PROTO_CHANNEL_H |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 24 | |
Willy Tarreau | a1bd1fa | 2019-03-29 17:26:33 +0100 | [diff] [blame] | 25 | #include <inttypes.h> |
Willy Tarreau | 7341d94 | 2007-05-13 19:56:02 +0200 | [diff] [blame] | 26 | #include <stdio.h> |
Willy Tarreau | 0f77253 | 2006-12-23 20:51:41 +0100 | [diff] [blame] | 27 | #include <stdlib.h> |
Willy Tarreau | 7341d94 | 2007-05-13 19:56:02 +0200 | [diff] [blame] | 28 | #include <string.h> |
Willy Tarreau | 0f77253 | 2006-12-23 20:51:41 +0100 | [diff] [blame] | 29 | |
Willy Tarreau | e3ba5f0 | 2006-06-29 18:54:54 +0200 | [diff] [blame] | 30 | #include <common/config.h> |
Willy Tarreau | c7e4238 | 2012-08-24 19:22:53 +0200 | [diff] [blame] | 31 | #include <common/chunk.h> |
Willy Tarreau | b96b77e | 2018-12-11 10:22:41 +0100 | [diff] [blame] | 32 | #include <common/htx.h> |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 33 | #include <common/ticks.h> |
Willy Tarreau | fa64558 | 2007-06-03 15:59:52 +0200 | [diff] [blame] | 34 | #include <common/time.h> |
| 35 | |
Thierry FOURNIER | ac836ba | 2014-12-16 15:41:18 +0100 | [diff] [blame] | 36 | #include <types/channel.h> |
Willy Tarreau | 7c3c541 | 2009-12-13 15:53:05 +0100 | [diff] [blame] | 37 | #include <types/global.h> |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 38 | #include <types/stream.h> |
Willy Tarreau | 7379653 | 2014-11-28 14:10:28 +0100 | [diff] [blame] | 39 | #include <types/stream_interface.h> |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 40 | |
Christopher Faulet | aad4585 | 2019-05-14 22:14:03 +0200 | [diff] [blame] | 41 | #include <proto/stream.h> |
Christopher Faulet | a73e59b | 2016-12-09 17:30:18 +0100 | [diff] [blame] | 42 | #include <proto/task.h> |
| 43 | |
Willy Tarreau | 7341d94 | 2007-05-13 19:56:02 +0200 | [diff] [blame] | 44 | /* perform minimal intializations, report 0 in case of error, 1 if OK. */ |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 45 | int init_channel(); |
Willy Tarreau | 7341d94 | 2007-05-13 19:56:02 +0200 | [diff] [blame] | 46 | |
Willy Tarreau | 55a6906 | 2012-10-26 00:21:52 +0200 | [diff] [blame] | 47 | unsigned long long __channel_forward(struct channel *chn, unsigned long long bytes); |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 48 | |
| 49 | /* SI-to-channel functions working with buffers */ |
Willy Tarreau | 06d80a9 | 2017-10-19 14:32:15 +0200 | [diff] [blame] | 50 | int ci_putblk(struct channel *chn, const char *str, int len); |
Willy Tarreau | 06d80a9 | 2017-10-19 14:32:15 +0200 | [diff] [blame] | 51 | int ci_putchr(struct channel *chn, char c); |
Willy Tarreau | 55f3ce1 | 2018-07-18 11:49:27 +0200 | [diff] [blame] | 52 | int ci_getline_nc(const struct channel *chn, char **blk1, size_t *len1, char **blk2, size_t *len2); |
| 53 | int ci_getblk_nc(const struct channel *chn, char **blk1, size_t *len1, char **blk2, size_t *len2); |
Willy Tarreau | 4d893d4 | 2018-07-12 15:43:32 +0200 | [diff] [blame] | 54 | int ci_insert_line2(struct channel *c, int pos, const char *str, int len); |
Willy Tarreau | 06d80a9 | 2017-10-19 14:32:15 +0200 | [diff] [blame] | 55 | int co_inject(struct channel *chn, const char *msg, int len); |
Willy Tarreau | 41ab868 | 2017-10-19 14:58:40 +0200 | [diff] [blame] | 56 | int co_getline(const struct channel *chn, char *str, int len); |
| 57 | int co_getblk(const struct channel *chn, char *blk, int len, int offset); |
Willy Tarreau | 55f3ce1 | 2018-07-18 11:49:27 +0200 | [diff] [blame] | 58 | int co_getline_nc(const struct channel *chn, const char **blk1, size_t *len1, const char **blk2, size_t *len2); |
| 59 | int co_getblk_nc(const struct channel *chn, const char **blk1, size_t *len1, const char **blk2, size_t *len2); |
Thierry FOURNIER | ca16b03 | 2015-02-16 19:26:48 +0100 | [diff] [blame] | 60 | |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 61 | |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 62 | /* returns a pointer to the stream the channel belongs to */ |
Thierry FOURNIER | 27929fb | 2015-09-25 08:36:11 +0200 | [diff] [blame] | 63 | static inline struct stream *chn_strm(const struct channel *chn) |
Willy Tarreau | d5ccfa3 | 2014-12-28 13:03:53 +0100 | [diff] [blame] | 64 | { |
| 65 | if (chn->flags & CF_ISRESP) |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 66 | return LIST_ELEM(chn, struct stream *, res); |
Willy Tarreau | d5ccfa3 | 2014-12-28 13:03:53 +0100 | [diff] [blame] | 67 | else |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 68 | return LIST_ELEM(chn, struct stream *, req); |
Willy Tarreau | d5ccfa3 | 2014-12-28 13:03:53 +0100 | [diff] [blame] | 69 | } |
| 70 | |
Willy Tarreau | 7379653 | 2014-11-28 14:10:28 +0100 | [diff] [blame] | 71 | /* returns a pointer to the stream interface feeding the channel (producer) */ |
| 72 | static inline struct stream_interface *chn_prod(const struct channel *chn) |
| 73 | { |
Willy Tarreau | 5decc05 | 2014-11-28 14:22:12 +0100 | [diff] [blame] | 74 | if (chn->flags & CF_ISRESP) |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 75 | return &LIST_ELEM(chn, struct stream *, res)->si[1]; |
Willy Tarreau | 5decc05 | 2014-11-28 14:22:12 +0100 | [diff] [blame] | 76 | else |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 77 | return &LIST_ELEM(chn, struct stream *, req)->si[0]; |
Willy Tarreau | 7379653 | 2014-11-28 14:10:28 +0100 | [diff] [blame] | 78 | } |
| 79 | |
| 80 | /* returns a pointer to the stream interface consuming the channel (producer) */ |
| 81 | static inline struct stream_interface *chn_cons(const struct channel *chn) |
| 82 | { |
Willy Tarreau | 5decc05 | 2014-11-28 14:22:12 +0100 | [diff] [blame] | 83 | if (chn->flags & CF_ISRESP) |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 84 | return &LIST_ELEM(chn, struct stream *, res)->si[0]; |
Willy Tarreau | 5decc05 | 2014-11-28 14:22:12 +0100 | [diff] [blame] | 85 | else |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 86 | return &LIST_ELEM(chn, struct stream *, req)->si[1]; |
Willy Tarreau | 7379653 | 2014-11-28 14:10:28 +0100 | [diff] [blame] | 87 | } |
| 88 | |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 89 | /* c_orig() : returns the pointer to the channel buffer's origin */ |
| 90 | static inline char *c_orig(const struct channel *c) |
| 91 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 92 | return b_orig(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 93 | } |
| 94 | |
| 95 | /* c_size() : returns the size of the channel's buffer */ |
| 96 | static inline size_t c_size(const struct channel *c) |
| 97 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 98 | return b_size(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 99 | } |
| 100 | |
| 101 | /* c_wrap() : returns the pointer to the channel buffer's wrapping point */ |
| 102 | static inline char *c_wrap(const struct channel *c) |
| 103 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 104 | return b_wrap(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 105 | } |
| 106 | |
| 107 | /* c_data() : returns the amount of data in the channel's buffer */ |
| 108 | static inline size_t c_data(const struct channel *c) |
| 109 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 110 | return b_data(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | /* c_room() : returns the room left in the channel's buffer */ |
| 114 | static inline size_t c_room(const struct channel *c) |
| 115 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 116 | return b_size(&c->buf) - b_data(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 117 | } |
| 118 | |
| 119 | /* c_empty() : returns a boolean indicating if the channel's buffer is empty */ |
| 120 | static inline size_t c_empty(const struct channel *c) |
| 121 | { |
| 122 | return !c_data(c); |
| 123 | } |
| 124 | |
| 125 | /* c_full() : returns a boolean indicating if the channel's buffer is full */ |
| 126 | static inline size_t c_full(const struct channel *c) |
| 127 | { |
| 128 | return !c_room(c); |
| 129 | } |
| 130 | |
| 131 | /* co_data() : returns the amount of output data in the channel's buffer */ |
| 132 | static inline size_t co_data(const struct channel *c) |
| 133 | { |
Olivier Houchard | 08afac0 | 2018-06-22 19:26:39 +0200 | [diff] [blame] | 134 | return c->output; |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 135 | } |
| 136 | |
| 137 | /* ci_data() : returns the amount of input data in the channel's buffer */ |
| 138 | static inline size_t ci_data(const struct channel *c) |
| 139 | { |
Willy Tarreau | 3ee8344 | 2018-06-15 16:42:02 +0200 | [diff] [blame] | 140 | return c_data(c) - co_data(c); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 141 | } |
| 142 | |
| 143 | /* ci_next() : for an absolute pointer <p> or a relative offset <o> pointing to |
| 144 | * a valid location within channel <c>'s buffer, returns either the absolute |
| 145 | * pointer or the relative offset pointing to the next byte, which usually is |
| 146 | * at (p + 1) unless p reaches the wrapping point and wrapping is needed. |
| 147 | */ |
| 148 | static inline size_t ci_next_ofs(const struct channel *c, size_t o) |
| 149 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 150 | return b_next_ofs(&c->buf, o); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 151 | } |
| 152 | static inline char *ci_next(const struct channel *c, const char *p) |
| 153 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 154 | return b_next(&c->buf, p); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 155 | } |
| 156 | |
| 157 | |
| 158 | /* c_ptr() : returns a pointer to an offset relative to the beginning of the |
| 159 | * input data in the buffer. If instead the offset is negative, a pointer to |
| 160 | * existing output data is returned. The function only takes care of wrapping, |
| 161 | * it's up to the caller to ensure the offset is always within byte count |
| 162 | * bounds. |
| 163 | */ |
| 164 | static inline char *c_ptr(const struct channel *c, ssize_t ofs) |
| 165 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 166 | return b_peek(&c->buf, co_data(c) + ofs); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 167 | } |
| 168 | |
| 169 | /* c_adv() : advances the channel's buffer by <adv> bytes, which means that the |
| 170 | * buffer's pointer advances, and that as many bytes from in are transferred |
| 171 | * from in to out. The caller is responsible for ensuring that adv is always |
| 172 | * smaller than or equal to b->i. |
| 173 | */ |
| 174 | static inline void c_adv(struct channel *c, size_t adv) |
| 175 | { |
Olivier Houchard | 08afac0 | 2018-06-22 19:26:39 +0200 | [diff] [blame] | 176 | c->output += adv; |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 177 | } |
| 178 | |
| 179 | /* c_rew() : rewinds the channel's buffer by <adv> bytes, which means that the |
| 180 | * buffer's pointer goes backwards, and that as many bytes from out are moved |
| 181 | * to in. The caller is responsible for ensuring that adv is always smaller |
| 182 | * than or equal to b->o. |
| 183 | */ |
| 184 | static inline void c_rew(struct channel *c, size_t adv) |
| 185 | { |
Olivier Houchard | 08afac0 | 2018-06-22 19:26:39 +0200 | [diff] [blame] | 186 | c->output -= adv; |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 187 | } |
| 188 | |
| 189 | /* c_realign_if_empty() : realign the channel's buffer if it's empty */ |
| 190 | static inline void c_realign_if_empty(struct channel *chn) |
| 191 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 192 | b_realign_if_empty(&chn->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 193 | } |
| 194 | |
Olivier Houchard | d4251a7 | 2018-06-29 16:17:34 +0200 | [diff] [blame] | 195 | /* Sets the amount of output for the channel */ |
| 196 | static inline void co_set_data(struct channel *c, size_t output) |
| 197 | { |
Olivier Houchard | 08afac0 | 2018-06-22 19:26:39 +0200 | [diff] [blame] | 198 | c->output = output; |
Olivier Houchard | d4251a7 | 2018-06-29 16:17:34 +0200 | [diff] [blame] | 199 | } |
| 200 | |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 201 | |
| 202 | /* co_head() : returns a pointer to the beginning of output data in the buffer. |
| 203 | * The "__" variants don't support wrapping, "ofs" are relative to |
| 204 | * the buffer's origin. |
| 205 | */ |
| 206 | static inline size_t __co_head_ofs(const struct channel *c) |
| 207 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 208 | return __b_peek_ofs(&c->buf, 0); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 209 | } |
| 210 | static inline char *__co_head(const struct channel *c) |
| 211 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 212 | return __b_peek(&c->buf, 0); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 213 | } |
| 214 | static inline size_t co_head_ofs(const struct channel *c) |
| 215 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 216 | return b_peek_ofs(&c->buf, 0); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 217 | } |
| 218 | static inline char *co_head(const struct channel *c) |
| 219 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 220 | return b_peek(&c->buf, 0); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 221 | } |
| 222 | |
| 223 | |
| 224 | /* co_tail() : returns a pointer to the end of output data in the buffer. |
| 225 | * The "__" variants don't support wrapping, "ofs" are relative to |
| 226 | * the buffer's origin. |
| 227 | */ |
| 228 | static inline size_t __co_tail_ofs(const struct channel *c) |
| 229 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 230 | return __b_peek_ofs(&c->buf, co_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 231 | } |
| 232 | static inline char *__co_tail(const struct channel *c) |
| 233 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 234 | return __b_peek(&c->buf, co_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 235 | } |
| 236 | static inline size_t co_tail_ofs(const struct channel *c) |
| 237 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 238 | return b_peek_ofs(&c->buf, co_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 239 | } |
| 240 | static inline char *co_tail(const struct channel *c) |
| 241 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 242 | return b_peek(&c->buf, co_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 243 | } |
| 244 | |
| 245 | |
| 246 | /* ci_head() : returns a pointer to the beginning of input data in the buffer. |
| 247 | * The "__" variants don't support wrapping, "ofs" are relative to |
| 248 | * the buffer's origin. |
| 249 | */ |
| 250 | static inline size_t __ci_head_ofs(const struct channel *c) |
| 251 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 252 | return __b_peek_ofs(&c->buf, co_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 253 | } |
| 254 | static inline char *__ci_head(const struct channel *c) |
| 255 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 256 | return __b_peek(&c->buf, co_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 257 | } |
| 258 | static inline size_t ci_head_ofs(const struct channel *c) |
| 259 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 260 | return b_peek_ofs(&c->buf, co_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 261 | } |
| 262 | static inline char *ci_head(const struct channel *c) |
| 263 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 264 | return b_peek(&c->buf, co_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 265 | } |
| 266 | |
| 267 | |
| 268 | /* ci_tail() : returns a pointer to the end of input data in the buffer. |
| 269 | * The "__" variants don't support wrapping, "ofs" are relative to |
| 270 | * the buffer's origin. |
| 271 | */ |
| 272 | static inline size_t __ci_tail_ofs(const struct channel *c) |
| 273 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 274 | return __b_peek_ofs(&c->buf, c_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 275 | } |
| 276 | static inline char *__ci_tail(const struct channel *c) |
| 277 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 278 | return __b_peek(&c->buf, c_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 279 | } |
| 280 | static inline size_t ci_tail_ofs(const struct channel *c) |
| 281 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 282 | return b_peek_ofs(&c->buf, c_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 283 | } |
| 284 | static inline char *ci_tail(const struct channel *c) |
| 285 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 286 | return b_peek(&c->buf, c_data(c)); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 287 | } |
| 288 | |
| 289 | |
| 290 | /* ci_stop() : returns the pointer to the byte following the end of input data |
| 291 | * in the channel buffer. It may be out of the buffer. It's used to |
| 292 | * compute lengths or stop pointers. |
| 293 | */ |
| 294 | static inline size_t __ci_stop_ofs(const struct channel *c) |
| 295 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 296 | return __b_stop_ofs(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 297 | } |
| 298 | static inline const char *__ci_stop(const struct channel *c) |
| 299 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 300 | return __b_stop(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 301 | } |
| 302 | static inline size_t ci_stop_ofs(const struct channel *c) |
| 303 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 304 | return b_stop_ofs(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 305 | } |
| 306 | static inline const char *ci_stop(const struct channel *c) |
| 307 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 308 | return b_stop(&c->buf); |
Willy Tarreau | 08d5ac8 | 2018-06-06 15:09:28 +0200 | [diff] [blame] | 309 | } |
| 310 | |
| 311 | |
Willy Tarreau | 7194d3c | 2018-06-06 16:55:45 +0200 | [diff] [blame] | 312 | /* Returns the amount of input data that can contiguously be read at once */ |
| 313 | static inline size_t ci_contig_data(const struct channel *c) |
| 314 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 315 | return b_contig_data(&c->buf, co_data(c)); |
Willy Tarreau | 7194d3c | 2018-06-06 16:55:45 +0200 | [diff] [blame] | 316 | } |
| 317 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 318 | /* Initialize all fields in the channel. */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 319 | static inline void channel_init(struct channel *chn) |
Willy Tarreau | 5446940 | 2006-07-29 16:59:06 +0200 | [diff] [blame] | 320 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 321 | chn->buf = BUF_NULL; |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 322 | chn->to_forward = 0; |
Willy Tarreau | b145c78 | 2014-02-09 17:45:16 +0100 | [diff] [blame] | 323 | chn->last_read = now_ms; |
Willy Tarreau | 8f39dcd | 2014-02-09 08:31:49 +0100 | [diff] [blame] | 324 | chn->xfer_small = chn->xfer_large = 0; |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 325 | chn->total = 0; |
| 326 | chn->pipe = NULL; |
| 327 | chn->analysers = 0; |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 328 | chn->flags = 0; |
Olivier Houchard | 08afac0 | 2018-06-22 19:26:39 +0200 | [diff] [blame] | 329 | chn->output = 0; |
Willy Tarreau | 5446940 | 2006-07-29 16:59:06 +0200 | [diff] [blame] | 330 | } |
| 331 | |
Willy Tarreau | 55a6906 | 2012-10-26 00:21:52 +0200 | [diff] [blame] | 332 | /* Schedule up to <bytes> more bytes to be forwarded via the channel without |
| 333 | * notifying the owner task. Any data pending in the buffer are scheduled to be |
| 334 | * sent as well, in the limit of the number of bytes to forward. This must be |
| 335 | * the only method to use to schedule bytes to be forwarded. If the requested |
| 336 | * number is too large, it is automatically adjusted. The number of bytes taken |
| 337 | * into account is returned. Directly touching ->to_forward will cause lockups |
| 338 | * when buf->o goes down to zero if nobody is ready to push the remaining data. |
| 339 | */ |
| 340 | static inline unsigned long long channel_forward(struct channel *chn, unsigned long long bytes) |
| 341 | { |
| 342 | /* hint: avoid comparisons on long long for the fast case, since if the |
| 343 | * length does not fit in an unsigned it, it will never be forwarded at |
| 344 | * once anyway. |
| 345 | */ |
| 346 | if (bytes <= ~0U) { |
| 347 | unsigned int bytes32 = bytes; |
| 348 | |
Willy Tarreau | 3ee8344 | 2018-06-15 16:42:02 +0200 | [diff] [blame] | 349 | if (bytes32 <= ci_data(chn)) { |
Willy Tarreau | 55a6906 | 2012-10-26 00:21:52 +0200 | [diff] [blame] | 350 | /* OK this amount of bytes might be forwarded at once */ |
Willy Tarreau | bcbd393 | 2018-06-06 07:13:22 +0200 | [diff] [blame] | 351 | c_adv(chn, bytes32); |
Willy Tarreau | 55a6906 | 2012-10-26 00:21:52 +0200 | [diff] [blame] | 352 | return bytes; |
| 353 | } |
| 354 | } |
| 355 | return __channel_forward(chn, bytes); |
| 356 | } |
| 357 | |
Willy Tarreau | 8bf242b | 2016-05-04 14:05:58 +0200 | [diff] [blame] | 358 | /* Forwards any input data and marks the channel for permanent forwarding */ |
| 359 | static inline void channel_forward_forever(struct channel *chn) |
| 360 | { |
Willy Tarreau | 3ee8344 | 2018-06-15 16:42:02 +0200 | [diff] [blame] | 361 | c_adv(chn, ci_data(chn)); |
Willy Tarreau | 8bf242b | 2016-05-04 14:05:58 +0200 | [diff] [blame] | 362 | chn->to_forward = CHN_INFINITE_FORWARD; |
| 363 | } |
| 364 | |
Christopher Faulet | e645829 | 2019-01-02 14:24:35 +0100 | [diff] [blame] | 365 | /* <len> bytes of input data was added into the channel <chn>. This functions |
| 366 | * must be called to update the channel state. It also handles the fast |
| 367 | * forwarding. */ |
| 368 | static inline void channel_add_input(struct channel *chn, unsigned int len) |
| 369 | { |
| 370 | if (chn->to_forward) { |
| 371 | unsigned long fwd = len; |
| 372 | if (chn->to_forward != CHN_INFINITE_FORWARD) { |
| 373 | if (fwd > chn->to_forward) |
| 374 | fwd = chn->to_forward; |
| 375 | chn->to_forward -= fwd; |
| 376 | } |
| 377 | c_adv(chn, fwd); |
| 378 | } |
| 379 | /* notify that some data was read */ |
| 380 | chn->total += len; |
| 381 | chn->flags |= CF_READ_PARTIAL; |
| 382 | } |
| 383 | |
Christopher Faulet | b2aedea | 2018-12-05 11:56:15 +0100 | [diff] [blame] | 384 | static inline unsigned long long channel_htx_forward(struct channel *chn, struct htx *htx, unsigned long long bytes) |
| 385 | { |
Christopher Faulet | a4f9dd4 | 2019-05-29 14:52:56 +0200 | [diff] [blame] | 386 | unsigned long long ret = 0; |
Christopher Faulet | b2aedea | 2018-12-05 11:56:15 +0100 | [diff] [blame] | 387 | |
Christopher Faulet | a4f9dd4 | 2019-05-29 14:52:56 +0200 | [diff] [blame] | 388 | if (htx->data) { |
| 389 | b_set_data(&chn->buf, htx->data); |
| 390 | ret = channel_forward(chn, bytes); |
| 391 | b_set_data(&chn->buf, b_size(&chn->buf)); |
| 392 | } |
Christopher Faulet | b2aedea | 2018-12-05 11:56:15 +0100 | [diff] [blame] | 393 | return ret; |
| 394 | } |
| 395 | |
| 396 | |
| 397 | static inline void channel_htx_forward_forever(struct channel *chn, struct htx *htx) |
| 398 | { |
Christopher Faulet | a4f9dd4 | 2019-05-29 14:52:56 +0200 | [diff] [blame] | 399 | c_adv(chn, htx->data - co_data(chn)); |
| 400 | chn->to_forward = CHN_INFINITE_FORWARD; |
Christopher Faulet | b2aedea | 2018-12-05 11:56:15 +0100 | [diff] [blame] | 401 | } |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 402 | /*********************************************************************/ |
| 403 | /* These functions are used to compute various channel content sizes */ |
| 404 | /*********************************************************************/ |
Willy Tarreau | 4b517ca | 2011-11-25 20:33:58 +0100 | [diff] [blame] | 405 | |
Willy Tarreau | 8e21bb9 | 2012-08-24 22:40:29 +0200 | [diff] [blame] | 406 | /* Reports non-zero if the channel is empty, which means both its |
| 407 | * buffer and pipe are empty. The construct looks strange but is |
| 408 | * jump-less and much more efficient on both 32 and 64-bit than |
| 409 | * the boolean test. |
| 410 | */ |
Willy Tarreau | 41ab868 | 2017-10-19 14:58:40 +0200 | [diff] [blame] | 411 | static inline unsigned int channel_is_empty(const struct channel *c) |
Willy Tarreau | 8e21bb9 | 2012-08-24 22:40:29 +0200 | [diff] [blame] | 412 | { |
Willy Tarreau | 3ee8344 | 2018-06-15 16:42:02 +0200 | [diff] [blame] | 413 | return !(co_data(c) | (long)c->pipe); |
Willy Tarreau | 8e21bb9 | 2012-08-24 22:40:29 +0200 | [diff] [blame] | 414 | } |
| 415 | |
Willy Tarreau | ba0902e | 2015-01-13 14:39:16 +0100 | [diff] [blame] | 416 | /* Returns non-zero if the channel is rewritable, which means that the buffer |
| 417 | * it is attached to has at least <maxrewrite> bytes immediately available. |
| 418 | * This is used to decide when a request or response may be parsed when some |
| 419 | * data from a previous exchange might still be present. |
Willy Tarreau | 379357a | 2013-06-08 12:55:46 +0200 | [diff] [blame] | 420 | */ |
Willy Tarreau | ba0902e | 2015-01-13 14:39:16 +0100 | [diff] [blame] | 421 | static inline int channel_is_rewritable(const struct channel *chn) |
Willy Tarreau | 379357a | 2013-06-08 12:55:46 +0200 | [diff] [blame] | 422 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 423 | int rem = chn->buf.size; |
Willy Tarreau | 379357a | 2013-06-08 12:55:46 +0200 | [diff] [blame] | 424 | |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 425 | rem -= b_data(&chn->buf); |
Willy Tarreau | 379357a | 2013-06-08 12:55:46 +0200 | [diff] [blame] | 426 | rem -= global.tune.maxrewrite; |
| 427 | return rem >= 0; |
| 428 | } |
| 429 | |
Willy Tarreau | 9c06ee4 | 2015-01-14 16:08:45 +0100 | [diff] [blame] | 430 | /* Tells whether data are likely to leave the buffer. This is used to know when |
| 431 | * we can safely ignore the reserve since we know we cannot retry a connection. |
| 432 | * It returns zero if data are blocked, non-zero otherwise. |
| 433 | */ |
| 434 | static inline int channel_may_send(const struct channel *chn) |
| 435 | { |
Willy Tarreau | 7379653 | 2014-11-28 14:10:28 +0100 | [diff] [blame] | 436 | return chn_cons(chn)->state == SI_ST_EST; |
Willy Tarreau | 9c06ee4 | 2015-01-14 16:08:45 +0100 | [diff] [blame] | 437 | } |
| 438 | |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 439 | /* HTX version of channel_may_recv(). Returns non-zero if the channel can still |
| 440 | * receive data. */ |
| 441 | static inline int channel_htx_may_recv(const struct channel *chn, const struct htx *htx) |
Willy Tarreau | 4b517ca | 2011-11-25 20:33:58 +0100 | [diff] [blame] | 442 | { |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 443 | uint32_t rem; |
Willy Tarreau | 9dab5fc | 2012-05-07 11:56:55 +0200 | [diff] [blame] | 444 | |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 445 | if (!htx->size) |
Willy Tarreau | 3889fff | 2015-01-13 20:20:10 +0100 | [diff] [blame] | 446 | return 1; |
Willy Tarreau | 4428a29 | 2014-11-28 20:54:13 +0100 | [diff] [blame] | 447 | |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 448 | rem = htx_free_data_space(htx); |
Willy Tarreau | 9dab5fc | 2012-05-07 11:56:55 +0200 | [diff] [blame] | 449 | if (!rem) |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 450 | return 0; /* htx already full */ |
Willy Tarreau | 9dab5fc | 2012-05-07 11:56:55 +0200 | [diff] [blame] | 451 | |
Willy Tarreau | 93dc478 | 2016-04-21 12:12:45 +0200 | [diff] [blame] | 452 | if (rem > global.tune.maxrewrite) |
| 453 | return 1; /* reserve not yet reached */ |
Willy Tarreau | 4b46a3e | 2016-04-20 20:09:22 +0200 | [diff] [blame] | 454 | |
Willy Tarreau | 93dc478 | 2016-04-21 12:12:45 +0200 | [diff] [blame] | 455 | if (!channel_may_send(chn)) |
| 456 | return 0; /* don't touch reserve until we can send */ |
Willy Tarreau | 9dab5fc | 2012-05-07 11:56:55 +0200 | [diff] [blame] | 457 | |
Willy Tarreau | 93dc478 | 2016-04-21 12:12:45 +0200 | [diff] [blame] | 458 | /* Now we know there's some room left in the reserve and we may |
| 459 | * forward. As long as i-to_fwd < size-maxrw, we may still |
| 460 | * receive. This is equivalent to i+maxrw-size < to_fwd, |
| 461 | * which is logical since i+maxrw-size is what overlaps with |
| 462 | * the reserve, and we want to ensure they're covered by scheduled |
| 463 | * forwards. |
| 464 | */ |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 465 | rem += co_data(chn); |
| 466 | if (rem > global.tune.maxrewrite) |
| 467 | return 1; |
| 468 | |
| 469 | return (global.tune.maxrewrite - rem < chn->to_forward); |
Willy Tarreau | 4b517ca | 2011-11-25 20:33:58 +0100 | [diff] [blame] | 470 | } |
| 471 | |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 472 | /* Returns non-zero if the channel can still receive data. This is used to |
| 473 | * decide when to stop reading into a buffer when we want to ensure that we |
| 474 | * leave the reserve untouched after all pending outgoing data are forwarded. |
| 475 | * The reserved space is taken into account if ->to_forward indicates that an |
| 476 | * end of transfer is close to happen. Note that both ->buf.o and ->to_forward |
| 477 | * are considered as available since they're supposed to leave the buffer. The |
| 478 | * test is optimized to avoid as many operations as possible for the fast case |
| 479 | * and to be used as an "if" condition. Just like channel_recv_limit(), we |
| 480 | * never allow to overwrite the reserve until the output stream interface is |
| 481 | * connected, otherwise we could spin on a POST with http-send-name-header. |
| 482 | */ |
| 483 | static inline int channel_may_recv(const struct channel *chn) |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 484 | { |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 485 | int rem = chn->buf.size; |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 486 | |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 487 | if (IS_HTX_STRM(chn_strm(chn))) |
| 488 | return channel_htx_may_recv(chn, htxbuf(&chn->buf)); |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 489 | |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 490 | if (b_is_null(&chn->buf)) |
| 491 | return 1; |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 492 | |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 493 | rem -= b_data(&chn->buf); |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 494 | if (!rem) |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 495 | return 0; /* buffer already full */ |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 496 | |
| 497 | if (rem > global.tune.maxrewrite) |
| 498 | return 1; /* reserve not yet reached */ |
| 499 | |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 500 | if (!channel_may_send(chn)) |
| 501 | return 0; /* don't touch reserve until we can send */ |
| 502 | |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 503 | /* Now we know there's some room left in the reserve and we may |
| 504 | * forward. As long as i-to_fwd < size-maxrw, we may still |
| 505 | * receive. This is equivalent to i+maxrw-size < to_fwd, |
| 506 | * which is logical since i+maxrw-size is what overlaps with |
| 507 | * the reserve, and we want to ensure they're covered by scheduled |
| 508 | * forwards. |
| 509 | */ |
Christopher Faulet | c042249 | 2021-04-07 08:10:41 +0200 | [diff] [blame^] | 510 | rem = ci_data(chn) + global.tune.maxrewrite - chn->buf.size; |
| 511 | return rem < 0 || (unsigned int)rem < chn->to_forward; |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 512 | } |
| 513 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 514 | /* Returns true if the channel's input is already closed */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 515 | static inline int channel_input_closed(struct channel *chn) |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 516 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 517 | return ((chn->flags & CF_SHUTR) != 0); |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 518 | } |
| 519 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 520 | /* Returns true if the channel's output is already closed */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 521 | static inline int channel_output_closed(struct channel *chn) |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 522 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 523 | return ((chn->flags & CF_SHUTW) != 0); |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 524 | } |
| 525 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 526 | /* Check channel timeouts, and set the corresponding flags. The likely/unlikely |
| 527 | * have been optimized for fastest normal path. The read/write timeouts are not |
| 528 | * set if there was activity on the channel. That way, we don't have to update |
| 529 | * the timeout on every I/O. Note that the analyser timeout is always checked. |
Willy Tarreau | 2eb52f0 | 2008-09-04 09:14:08 +0200 | [diff] [blame] | 530 | */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 531 | static inline void channel_check_timeouts(struct channel *chn) |
Willy Tarreau | 2eb52f0 | 2008-09-04 09:14:08 +0200 | [diff] [blame] | 532 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 533 | if (likely(!(chn->flags & (CF_SHUTR|CF_READ_TIMEOUT|CF_READ_ACTIVITY|CF_READ_NOEXP))) && |
| 534 | unlikely(tick_is_expired(chn->rex, now_ms))) |
| 535 | chn->flags |= CF_READ_TIMEOUT; |
Willy Tarreau | 2eb52f0 | 2008-09-04 09:14:08 +0200 | [diff] [blame] | 536 | |
Willy Tarreau | ede3d88 | 2018-10-24 17:17:56 +0200 | [diff] [blame] | 537 | if (likely(!(chn->flags & (CF_SHUTW|CF_WRITE_TIMEOUT|CF_WRITE_ACTIVITY))) && |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 538 | unlikely(tick_is_expired(chn->wex, now_ms))) |
| 539 | chn->flags |= CF_WRITE_TIMEOUT; |
Willy Tarreau | 2eb52f0 | 2008-09-04 09:14:08 +0200 | [diff] [blame] | 540 | |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 541 | if (likely(!(chn->flags & CF_ANA_TIMEOUT)) && |
| 542 | unlikely(tick_is_expired(chn->analyse_exp, now_ms))) |
| 543 | chn->flags |= CF_ANA_TIMEOUT; |
Willy Tarreau | 2eb52f0 | 2008-09-04 09:14:08 +0200 | [diff] [blame] | 544 | } |
| 545 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 546 | /* Erase any content from channel <buf> and adjusts flags accordingly. Note |
Willy Tarreau | 0abebcc | 2009-01-08 00:09:41 +0100 | [diff] [blame] | 547 | * that any spliced data is not affected since we may not have any access to |
| 548 | * it. |
Willy Tarreau | e393fe2 | 2008-08-16 22:18:07 +0200 | [diff] [blame] | 549 | */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 550 | static inline void channel_erase(struct channel *chn) |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 551 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 552 | chn->to_forward = 0; |
Olivier Houchard | 55071d3 | 2019-05-02 00:58:53 +0200 | [diff] [blame] | 553 | chn->output = 0; |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 554 | b_reset(&chn->buf); |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 555 | } |
| 556 | |
Christopher Faulet | f7ed195 | 2019-01-07 14:55:10 +0100 | [diff] [blame] | 557 | static inline void channel_htx_erase(struct channel *chn, struct htx *htx) |
| 558 | { |
| 559 | htx_reset(htx); |
| 560 | channel_erase(chn); |
| 561 | } |
| 562 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 563 | /* marks the channel as "shutdown" ASAP for reads */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 564 | static inline void channel_shutr_now(struct channel *chn) |
Willy Tarreau | fa7e102 | 2008-10-19 07:30:41 +0200 | [diff] [blame] | 565 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 566 | chn->flags |= CF_SHUTR_NOW; |
Willy Tarreau | fa7e102 | 2008-10-19 07:30:41 +0200 | [diff] [blame] | 567 | } |
| 568 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 569 | /* marks the channel as "shutdown" ASAP for writes */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 570 | static inline void channel_shutw_now(struct channel *chn) |
Willy Tarreau | fa7e102 | 2008-10-19 07:30:41 +0200 | [diff] [blame] | 571 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 572 | chn->flags |= CF_SHUTW_NOW; |
Willy Tarreau | fa7e102 | 2008-10-19 07:30:41 +0200 | [diff] [blame] | 573 | } |
| 574 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 575 | /* marks the channel as "shutdown" ASAP in both directions */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 576 | static inline void channel_abort(struct channel *chn) |
Willy Tarreau | fa7e102 | 2008-10-19 07:30:41 +0200 | [diff] [blame] | 577 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 578 | chn->flags |= CF_SHUTR_NOW | CF_SHUTW_NOW; |
| 579 | chn->flags &= ~CF_AUTO_CONNECT; |
Willy Tarreau | fa7e102 | 2008-10-19 07:30:41 +0200 | [diff] [blame] | 580 | } |
| 581 | |
Willy Tarreau | 520d95e | 2009-09-19 21:04:57 +0200 | [diff] [blame] | 582 | /* allow the consumer to try to establish a new connection. */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 583 | static inline void channel_auto_connect(struct channel *chn) |
Willy Tarreau | 3da77c5 | 2008-08-29 09:58:42 +0200 | [diff] [blame] | 584 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 585 | chn->flags |= CF_AUTO_CONNECT; |
Willy Tarreau | 3da77c5 | 2008-08-29 09:58:42 +0200 | [diff] [blame] | 586 | } |
| 587 | |
Willy Tarreau | 520d95e | 2009-09-19 21:04:57 +0200 | [diff] [blame] | 588 | /* prevent the consumer from trying to establish a new connection, and also |
| 589 | * disable auto shutdown forwarding. |
| 590 | */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 591 | static inline void channel_dont_connect(struct channel *chn) |
Willy Tarreau | 3da77c5 | 2008-08-29 09:58:42 +0200 | [diff] [blame] | 592 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 593 | chn->flags &= ~(CF_AUTO_CONNECT|CF_AUTO_CLOSE); |
Willy Tarreau | 3da77c5 | 2008-08-29 09:58:42 +0200 | [diff] [blame] | 594 | } |
| 595 | |
Willy Tarreau | 520d95e | 2009-09-19 21:04:57 +0200 | [diff] [blame] | 596 | /* allow the producer to forward shutdown requests */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 597 | static inline void channel_auto_close(struct channel *chn) |
Willy Tarreau | 0a5d5dd | 2008-11-23 19:31:35 +0100 | [diff] [blame] | 598 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 599 | chn->flags |= CF_AUTO_CLOSE; |
Willy Tarreau | 0a5d5dd | 2008-11-23 19:31:35 +0100 | [diff] [blame] | 600 | } |
| 601 | |
Willy Tarreau | 520d95e | 2009-09-19 21:04:57 +0200 | [diff] [blame] | 602 | /* prevent the producer from forwarding shutdown requests */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 603 | static inline void channel_dont_close(struct channel *chn) |
Willy Tarreau | 0a5d5dd | 2008-11-23 19:31:35 +0100 | [diff] [blame] | 604 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 605 | chn->flags &= ~CF_AUTO_CLOSE; |
Willy Tarreau | 0a5d5dd | 2008-11-23 19:31:35 +0100 | [diff] [blame] | 606 | } |
| 607 | |
Willy Tarreau | 90deb18 | 2010-01-07 00:20:41 +0100 | [diff] [blame] | 608 | /* allow the producer to read / poll the input */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 609 | static inline void channel_auto_read(struct channel *chn) |
Willy Tarreau | 90deb18 | 2010-01-07 00:20:41 +0100 | [diff] [blame] | 610 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 611 | chn->flags &= ~CF_DONT_READ; |
Willy Tarreau | 90deb18 | 2010-01-07 00:20:41 +0100 | [diff] [blame] | 612 | } |
| 613 | |
| 614 | /* prevent the producer from read / poll the input */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 615 | static inline void channel_dont_read(struct channel *chn) |
Willy Tarreau | 90deb18 | 2010-01-07 00:20:41 +0100 | [diff] [blame] | 616 | { |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 617 | chn->flags |= CF_DONT_READ; |
Willy Tarreau | 90deb18 | 2010-01-07 00:20:41 +0100 | [diff] [blame] | 618 | } |
| 619 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 620 | |
| 621 | /*************************************************/ |
| 622 | /* Buffer operations in the context of a channel */ |
| 623 | /*************************************************/ |
| 624 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 625 | |
| 626 | /* Return the max number of bytes the buffer can contain so that once all the |
Willy Tarreau | 169c470 | 2016-04-20 18:05:17 +0200 | [diff] [blame] | 627 | * pending bytes are forwarded, the buffer still has global.tune.maxrewrite |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 628 | * bytes free. The result sits between chn->size - maxrewrite and chn->size. |
Willy Tarreau | 169c470 | 2016-04-20 18:05:17 +0200 | [diff] [blame] | 629 | * It is important to mention that if buf->i is already larger than size-maxrw |
| 630 | * the condition above cannot be satisfied and the lowest size will be returned |
| 631 | * anyway. The principles are the following : |
| 632 | * 0) the empty buffer has a limit of zero |
| 633 | * 1) a non-connected buffer cannot touch the reserve |
| 634 | * 2) infinite forward can always fill the buffer since all data will leave |
| 635 | * 3) all output bytes are considered in transit since they're leaving |
| 636 | * 4) all input bytes covered by to_forward are considered in transit since |
| 637 | * they'll be converted to output bytes. |
| 638 | * 5) all input bytes not covered by to_forward as considered remaining |
| 639 | * 6) all bytes scheduled to be forwarded minus what is already in the input |
| 640 | * buffer will be in transit during future rounds. |
| 641 | * 7) 4+5+6 imply that the amount of input bytes (i) is irrelevant to the max |
| 642 | * usable length, only to_forward and output count. The difference is |
| 643 | * visible when to_forward > i. |
| 644 | * 8) the reserve may be covered up to the amount of bytes in transit since |
| 645 | * these bytes will only take temporary space. |
Willy Tarreau | 999f643 | 2016-01-25 01:09:11 +0100 | [diff] [blame] | 646 | * |
Willy Tarreau | 169c470 | 2016-04-20 18:05:17 +0200 | [diff] [blame] | 647 | * A typical buffer looks like this : |
Willy Tarreau | 999f643 | 2016-01-25 01:09:11 +0100 | [diff] [blame] | 648 | * |
Willy Tarreau | 169c470 | 2016-04-20 18:05:17 +0200 | [diff] [blame] | 649 | * <-------------- max_len -----------> |
| 650 | * <---- o ----><----- i -----> <--- 0..maxrewrite ---> |
| 651 | * +------------+--------------+-------+----------------------+ |
| 652 | * |////////////|\\\\\\\\\\\\\\|xxxxxxx| reserve | |
| 653 | * +------------+--------+-----+-------+----------------------+ |
| 654 | * <- fwd -> <-avail-> |
| 655 | * |
| 656 | * Or when to_forward > i : |
| 657 | * |
| 658 | * <-------------- max_len -----------> |
| 659 | * <---- o ----><----- i -----> <--- 0..maxrewrite ---> |
| 660 | * +------------+--------------+-------+----------------------+ |
| 661 | * |////////////|\\\\\\\\\\\\\\|xxxxxxx| reserve | |
| 662 | * +------------+--------+-----+-------+----------------------+ |
| 663 | * <-avail-> |
| 664 | * <------------------ fwd ----------------> |
| 665 | * |
| 666 | * - the amount of buffer bytes in transit is : min(i, fwd) + o |
| 667 | * - some scheduled bytes may be in transit (up to fwd - i) |
| 668 | * - the reserve is max(0, maxrewrite - transit) |
| 669 | * - the maximum usable buffer length is size - reserve. |
| 670 | * - the available space is max_len - i - o |
| 671 | * |
| 672 | * So the formula to compute the buffer's maximum length to protect the reserve |
| 673 | * when reading new data is : |
| 674 | * |
| 675 | * max = size - maxrewrite + min(maxrewrite, transit) |
| 676 | * = size - max(maxrewrite - transit, 0) |
| 677 | * |
| 678 | * But WARNING! The conditions might change during the transfer and it could |
| 679 | * very well happen that a buffer would contain more bytes than max_len due to |
| 680 | * i+o already walking over the reserve (eg: after a header rewrite), including |
| 681 | * i or o alone hitting the limit. So it is critical to always consider that |
| 682 | * bounds may have already been crossed and that available space may be negative |
| 683 | * for example. Due to this it is perfectly possible for this function to return |
| 684 | * a value that is lower than current i+o. |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 685 | */ |
Willy Tarreau | 3f5096d | 2015-01-14 20:21:43 +0100 | [diff] [blame] | 686 | static inline int channel_recv_limit(const struct channel *chn) |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 687 | { |
Willy Tarreau | ef907fe | 2016-05-03 17:46:24 +0200 | [diff] [blame] | 688 | unsigned int transit; |
Willy Tarreau | 999f643 | 2016-01-25 01:09:11 +0100 | [diff] [blame] | 689 | int reserve; |
| 690 | |
| 691 | /* return zero if empty */ |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 692 | reserve = chn->buf.size; |
| 693 | if (b_is_null(&chn->buf)) |
Willy Tarreau | 999f643 | 2016-01-25 01:09:11 +0100 | [diff] [blame] | 694 | goto end; |
| 695 | |
| 696 | /* return size - maxrewrite if we can't send */ |
| 697 | reserve = global.tune.maxrewrite; |
| 698 | if (unlikely(!channel_may_send(chn))) |
| 699 | goto end; |
| 700 | |
Willy Tarreau | ef907fe | 2016-05-03 17:46:24 +0200 | [diff] [blame] | 701 | /* We need to check what remains of the reserve after o and to_forward |
| 702 | * have been transmitted, but they can overflow together and they can |
| 703 | * cause an integer underflow in the comparison since both are unsigned |
| 704 | * while maxrewrite is signed. |
| 705 | * The code below has been verified for being a valid check for this : |
| 706 | * - if (o + to_forward) overflow => return size [ large enough ] |
| 707 | * - if o + to_forward >= maxrw => return size [ large enough ] |
| 708 | * - otherwise return size - (maxrw - (o + to_forward)) |
Willy Tarreau | 999f643 | 2016-01-25 01:09:11 +0100 | [diff] [blame] | 709 | */ |
Willy Tarreau | 3ee8344 | 2018-06-15 16:42:02 +0200 | [diff] [blame] | 710 | transit = co_data(chn) + chn->to_forward; |
Willy Tarreau | ef907fe | 2016-05-03 17:46:24 +0200 | [diff] [blame] | 711 | reserve -= transit; |
| 712 | if (transit < chn->to_forward || // addition overflow |
| 713 | transit >= (unsigned)global.tune.maxrewrite) // enough transit data |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 714 | return chn->buf.size; |
Willy Tarreau | 999f643 | 2016-01-25 01:09:11 +0100 | [diff] [blame] | 715 | end: |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 716 | return chn->buf.size - reserve; |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 717 | } |
| 718 | |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 719 | /* HTX version of channel_recv_limit(). Return the max number of bytes the HTX |
| 720 | * buffer can contain so that once all the pending bytes are forwarded, the |
| 721 | * buffer still has global.tune.maxrewrite bytes free. |
| 722 | */ |
| 723 | static inline int channel_htx_recv_limit(const struct channel *chn, const struct htx *htx) |
| 724 | { |
| 725 | unsigned int transit; |
| 726 | int reserve; |
| 727 | |
| 728 | /* return zeor if not allocated */ |
| 729 | if (!htx->size) |
| 730 | return 0; |
| 731 | |
| 732 | /* return max_data_space - maxrewrite if we can't send */ |
| 733 | reserve = global.tune.maxrewrite; |
| 734 | if (unlikely(!channel_may_send(chn))) |
| 735 | goto end; |
| 736 | |
| 737 | /* We need to check what remains of the reserve after o and to_forward |
| 738 | * have been transmitted, but they can overflow together and they can |
| 739 | * cause an integer underflow in the comparison since both are unsigned |
| 740 | * while maxrewrite is signed. |
| 741 | * The code below has been verified for being a valid check for this : |
Christopher Faulet | a135a4f | 2019-07-02 15:48:03 +0200 | [diff] [blame] | 742 | * - if (o + to_forward) overflow => return htx->size [ large enough ] |
| 743 | * - if o + to_forward >= maxrw => return htx->size [ large enough ] |
| 744 | * - otherwise return htx->size - (maxrw - (o + to_forward)) |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 745 | */ |
| 746 | transit = co_data(chn) + chn->to_forward; |
| 747 | reserve -= transit; |
| 748 | if (transit < chn->to_forward || // addition overflow |
| 749 | transit >= (unsigned)global.tune.maxrewrite) // enough transit data |
Christopher Faulet | a135a4f | 2019-07-02 15:48:03 +0200 | [diff] [blame] | 750 | return htx->size; |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 751 | end: |
Christopher Faulet | a135a4f | 2019-07-02 15:48:03 +0200 | [diff] [blame] | 752 | return (htx->size - reserve); |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 753 | } |
| 754 | |
Christopher Faulet | 87ebe94 | 2019-06-11 14:14:49 +0200 | [diff] [blame] | 755 | /* HTX version of channel_full(). Instead of checking if INPUT data exceeds |
| 756 | * (size - reserve), this function checks if the free space for data in <htx> |
| 757 | * and the data scheduled for output are lower to the reserve. In such case, the |
| 758 | * channel is considered as full. |
| 759 | */ |
| 760 | static inline int channel_htx_full(const struct channel *c, const struct htx *htx, |
| 761 | unsigned int reserve) |
| 762 | { |
| 763 | if (!htx->size) |
| 764 | return 0; |
| 765 | return (htx_free_data_space(htx) + co_data(c) <= reserve); |
| 766 | } |
| 767 | |
Willy Tarreau | 2375233 | 2018-06-15 14:54:53 +0200 | [diff] [blame] | 768 | /* Returns non-zero if the channel's INPUT buffer's is considered full, which |
| 769 | * means that it holds at least as much INPUT data as (size - reserve). This |
| 770 | * also means that data that are scheduled for output are considered as potential |
| 771 | * free space, and that the reserved space is always considered as not usable. |
| 772 | * This information alone cannot be used as a general purpose free space indicator. |
| 773 | * However it accurately indicates that too many data were fed in the buffer |
| 774 | * for an analyzer for instance. See the channel_may_recv() function for a more |
| 775 | * generic function taking everything into account. |
| 776 | */ |
| 777 | static inline int channel_full(const struct channel *c, unsigned int reserve) |
| 778 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 779 | if (b_is_null(&c->buf)) |
Willy Tarreau | 2375233 | 2018-06-15 14:54:53 +0200 | [diff] [blame] | 780 | return 0; |
| 781 | |
Christopher Faulet | 87ebe94 | 2019-06-11 14:14:49 +0200 | [diff] [blame] | 782 | if (IS_HTX_STRM(chn_strm(c))) |
| 783 | return channel_htx_full(c, htxbuf(&c->buf), reserve); |
Willy Tarreau | 2375233 | 2018-06-15 14:54:53 +0200 | [diff] [blame] | 784 | |
Christopher Faulet | 87ebe94 | 2019-06-11 14:14:49 +0200 | [diff] [blame] | 785 | return (ci_data(c) + reserve >= c_size(c)); |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 786 | } |
| 787 | |
Christopher Faulet | aad4585 | 2019-05-14 22:14:03 +0200 | [diff] [blame] | 788 | /* HTX version of channel_recv_max(). */ |
| 789 | static inline int channel_htx_recv_max(const struct channel *chn, const struct htx *htx) |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 790 | { |
Willy Tarreau | 27bb0e1 | 2015-01-14 15:56:50 +0100 | [diff] [blame] | 791 | int ret; |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 792 | |
Christopher Faulet | aad4585 | 2019-05-14 22:14:03 +0200 | [diff] [blame] | 793 | ret = channel_htx_recv_limit(chn, htx) - htx_used_space(htx); |
Willy Tarreau | 27bb0e1 | 2015-01-14 15:56:50 +0100 | [diff] [blame] | 794 | if (ret < 0) |
| 795 | ret = 0; |
| 796 | return ret; |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 797 | } |
| 798 | |
Christopher Faulet | aad4585 | 2019-05-14 22:14:03 +0200 | [diff] [blame] | 799 | /* Returns the amount of space available at the input of the buffer, taking the |
| 800 | * reserved space into account if ->to_forward indicates that an end of transfer |
| 801 | * is close to happen. The test is optimized to avoid as many operations as |
| 802 | * possible for the fast case. |
| 803 | */ |
| 804 | static inline int channel_recv_max(const struct channel *chn) |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 805 | { |
| 806 | int ret; |
| 807 | |
Christopher Faulet | aad4585 | 2019-05-14 22:14:03 +0200 | [diff] [blame] | 808 | if (IS_HTX_STRM(chn_strm(chn))) |
| 809 | return channel_htx_recv_max(chn, htxbuf(&chn->buf)); |
| 810 | |
| 811 | ret = channel_recv_limit(chn) - b_data(&chn->buf); |
Christopher Faulet | 5811db0 | 2019-01-07 13:57:01 +0100 | [diff] [blame] | 812 | if (ret < 0) |
| 813 | ret = 0; |
| 814 | return ret; |
| 815 | } |
| 816 | |
Willy Tarreau | 3f67999 | 2018-06-15 15:06:42 +0200 | [diff] [blame] | 817 | /* Returns the amount of bytes that can be written over the input data at once, |
| 818 | * including reserved space which may be overwritten. This is used by Lua to |
| 819 | * insert data in the input side just before the other data using buffer_replace(). |
| 820 | * The goal is to transfer these new data in the output buffer. |
| 821 | */ |
| 822 | static inline int ci_space_for_replace(const struct channel *chn) |
| 823 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 824 | const struct buffer *buf = &chn->buf; |
Willy Tarreau | 3f67999 | 2018-06-15 15:06:42 +0200 | [diff] [blame] | 825 | const char *end; |
| 826 | |
| 827 | /* If the input side data overflows, we cannot insert data contiguously. */ |
| 828 | if (b_head(buf) + b_data(buf) >= b_wrap(buf)) |
| 829 | return 0; |
| 830 | |
| 831 | /* Check the last byte used in the buffer, it may be a byte of the output |
| 832 | * side if the buffer wraps, or its the end of the buffer. |
| 833 | */ |
| 834 | end = b_head(buf); |
| 835 | if (end <= ci_head(chn)) |
| 836 | end = b_wrap(buf); |
| 837 | |
| 838 | /* Compute the amount of bytes which can be written. */ |
| 839 | return end - ci_tail(chn); |
| 840 | } |
| 841 | |
Christopher Faulet | a73e59b | 2016-12-09 17:30:18 +0100 | [diff] [blame] | 842 | /* Allocates a buffer for channel <chn>, but only if it's guaranteed that it's |
| 843 | * not the last available buffer or it's the response buffer. Unless the buffer |
| 844 | * is the response buffer, an extra control is made so that we always keep |
| 845 | * <tune.buffers.reserved> buffers available after this allocation. Returns 0 in |
| 846 | * case of failure, non-zero otherwise. |
| 847 | * |
| 848 | * If no buffer are available, the requester, represented by <wait> pointer, |
| 849 | * will be added in the list of objects waiting for an available buffer. |
| 850 | */ |
| 851 | static inline int channel_alloc_buffer(struct channel *chn, struct buffer_wait *wait) |
| 852 | { |
| 853 | int margin = 0; |
| 854 | |
| 855 | if (!(chn->flags & CF_ISRESP)) |
| 856 | margin = global.tune.reserved_bufs; |
| 857 | |
| 858 | if (b_alloc_margin(&chn->buf, margin) != NULL) |
| 859 | return 1; |
| 860 | |
Emeric Brun | a1dd243 | 2017-06-21 15:42:52 +0200 | [diff] [blame] | 861 | if (LIST_ISEMPTY(&wait->list)) { |
Christopher Faulet | 2a944ee | 2017-11-07 10:42:54 +0100 | [diff] [blame] | 862 | HA_SPIN_LOCK(BUF_WQ_LOCK, &buffer_wq_lock); |
Christopher Faulet | a73e59b | 2016-12-09 17:30:18 +0100 | [diff] [blame] | 863 | LIST_ADDQ(&buffer_wq, &wait->list); |
Christopher Faulet | 2a944ee | 2017-11-07 10:42:54 +0100 | [diff] [blame] | 864 | HA_SPIN_UNLOCK(BUF_WQ_LOCK, &buffer_wq_lock); |
Emeric Brun | a1dd243 | 2017-06-21 15:42:52 +0200 | [diff] [blame] | 865 | } |
| 866 | |
Christopher Faulet | a73e59b | 2016-12-09 17:30:18 +0100 | [diff] [blame] | 867 | return 0; |
| 868 | } |
| 869 | |
| 870 | /* Releases a possibly allocated buffer for channel <chn>. If it was not |
| 871 | * allocated, this function does nothing. Else the buffer is released and we try |
| 872 | * to wake up as many streams/applets as possible. */ |
| 873 | static inline void channel_release_buffer(struct channel *chn, struct buffer_wait *wait) |
| 874 | { |
Willy Tarreau | 0c7ed5d | 2018-07-10 09:53:31 +0200 | [diff] [blame] | 875 | if (c_size(chn) && c_empty(chn)) { |
Christopher Faulet | a73e59b | 2016-12-09 17:30:18 +0100 | [diff] [blame] | 876 | b_free(&chn->buf); |
Olivier Houchard | 673867c | 2018-05-25 16:58:52 +0200 | [diff] [blame] | 877 | offer_buffers(wait->target, tasks_run_queue); |
Christopher Faulet | a73e59b | 2016-12-09 17:30:18 +0100 | [diff] [blame] | 878 | } |
| 879 | } |
| 880 | |
Willy Tarreau | 319f745 | 2015-01-14 20:32:59 +0100 | [diff] [blame] | 881 | /* Truncate any unread data in the channel's buffer, and disable forwarding. |
| 882 | * Outgoing data are left intact. This is mainly to be used to send error |
| 883 | * messages after existing data. |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 884 | */ |
Willy Tarreau | 319f745 | 2015-01-14 20:32:59 +0100 | [diff] [blame] | 885 | static inline void channel_truncate(struct channel *chn) |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 886 | { |
Willy Tarreau | 3ee8344 | 2018-06-15 16:42:02 +0200 | [diff] [blame] | 887 | if (!co_data(chn)) |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 888 | return channel_erase(chn); |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 889 | |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 890 | chn->to_forward = 0; |
Willy Tarreau | 3ee8344 | 2018-06-15 16:42:02 +0200 | [diff] [blame] | 891 | if (!ci_data(chn)) |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 892 | return; |
| 893 | |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 894 | chn->buf.data = co_data(chn); |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 895 | } |
| 896 | |
Christopher Faulet | f7ed195 | 2019-01-07 14:55:10 +0100 | [diff] [blame] | 897 | static inline void channel_htx_truncate(struct channel *chn, struct htx *htx) |
| 898 | { |
| 899 | if (!co_data(chn)) |
| 900 | return channel_htx_erase(chn, htx); |
| 901 | |
| 902 | chn->to_forward = 0; |
| 903 | if (htx->data == co_data(chn)) |
| 904 | return; |
| 905 | htx_truncate(htx, co_data(chn)); |
| 906 | } |
| 907 | |
Willy Tarreau | 4cf1300 | 2018-06-06 06:53:15 +0200 | [diff] [blame] | 908 | /* This function realigns a possibly wrapping channel buffer so that the input |
| 909 | * part is contiguous and starts at the beginning of the buffer and the output |
| 910 | * part ends at the end of the buffer. This provides the best conditions since |
| 911 | * it allows the largest inputs to be processed at once and ensures that once |
| 912 | * the output data leaves, the whole buffer is available at once. |
| 913 | */ |
Willy Tarreau | fd8d42f | 2018-07-12 10:57:15 +0200 | [diff] [blame] | 914 | static inline void channel_slow_realign(struct channel *chn, char *swap) |
Willy Tarreau | 4cf1300 | 2018-06-06 06:53:15 +0200 | [diff] [blame] | 915 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 916 | return b_slow_realign(&chn->buf, swap, co_data(chn)); |
Willy Tarreau | 4cf1300 | 2018-06-06 06:53:15 +0200 | [diff] [blame] | 917 | } |
| 918 | |
Christopher Faulet | b2f4e83 | 2019-05-23 10:01:34 +0200 | [diff] [blame] | 919 | |
| 920 | /* Forward all headers of an HTX message, starting from the SL to the EOH. This |
Christopher Faulet | 421e769 | 2019-06-13 11:16:45 +0200 | [diff] [blame] | 921 | * function returns the position of the block after the EOH, if |
| 922 | * found. Otherwise, it returns -1. |
Christopher Faulet | b2f4e83 | 2019-05-23 10:01:34 +0200 | [diff] [blame] | 923 | */ |
Christopher Faulet | 421e769 | 2019-06-13 11:16:45 +0200 | [diff] [blame] | 924 | static inline int32_t channel_htx_fwd_headers(struct channel *chn, struct htx *htx) |
Christopher Faulet | b2f4e83 | 2019-05-23 10:01:34 +0200 | [diff] [blame] | 925 | { |
| 926 | int32_t pos; |
| 927 | size_t data = 0; |
| 928 | |
| 929 | for (pos = htx_get_first(htx); pos != -1; pos = htx_get_next(htx, pos)) { |
| 930 | struct htx_blk *blk = htx_get_blk(htx, pos); |
| 931 | data += htx_get_blksz(blk); |
| 932 | if (htx_get_blk_type(blk) == HTX_BLK_EOH) { |
Christopher Faulet | 421e769 | 2019-06-13 11:16:45 +0200 | [diff] [blame] | 933 | pos = htx_get_next(htx, pos); |
Christopher Faulet | b2f4e83 | 2019-05-23 10:01:34 +0200 | [diff] [blame] | 934 | break; |
| 935 | } |
| 936 | } |
| 937 | c_adv(chn, data); |
Christopher Faulet | 421e769 | 2019-06-13 11:16:45 +0200 | [diff] [blame] | 938 | return pos; |
Christopher Faulet | b2f4e83 | 2019-05-23 10:01:34 +0200 | [diff] [blame] | 939 | } |
| 940 | |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 941 | /* |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 942 | * Advance the channel buffer's read pointer by <len> bytes. This is useful |
| 943 | * when data have been read directly from the buffer. It is illegal to call |
| 944 | * this function with <len> causing a wrapping at the end of the buffer. It's |
| 945 | * the caller's responsibility to ensure that <len> is never larger than |
Christopher Faulet | 729b5b3 | 2019-02-25 15:50:12 +0100 | [diff] [blame] | 946 | * chn->o. Channel flags WRITE_PARTIAL and WROTE_DATA are set. |
Willy Tarreau | 2b7addc | 2009-08-31 07:37:22 +0200 | [diff] [blame] | 947 | */ |
Willy Tarreau | 06d80a9 | 2017-10-19 14:32:15 +0200 | [diff] [blame] | 948 | static inline void co_skip(struct channel *chn, int len) |
Willy Tarreau | 2b7addc | 2009-08-31 07:37:22 +0200 | [diff] [blame] | 949 | { |
Willy Tarreau | c9fa048 | 2018-07-10 17:43:27 +0200 | [diff] [blame] | 950 | b_del(&chn->buf, len); |
Olivier Houchard | 08afac0 | 2018-06-22 19:26:39 +0200 | [diff] [blame] | 951 | chn->output -= len; |
Willy Tarreau | 0c7ed5d | 2018-07-10 09:53:31 +0200 | [diff] [blame] | 952 | c_realign_if_empty(chn); |
Willy Tarreau | 2b7addc | 2009-08-31 07:37:22 +0200 | [diff] [blame] | 953 | |
Willy Tarreau | fb0e920 | 2009-09-23 23:47:55 +0200 | [diff] [blame] | 954 | /* notify that some data was written to the SI from the buffer */ |
Christopher Faulet | 729b5b3 | 2019-02-25 15:50:12 +0100 | [diff] [blame] | 955 | chn->flags |= CF_WRITE_PARTIAL | CF_WROTE_DATA; |
Christopher Faulet | ab1300b | 2019-07-05 13:44:29 +0200 | [diff] [blame] | 956 | chn_prod(chn)->flags &= ~SI_FL_RXBLK_ROOM; // si_rx_room_rdy() |
Willy Tarreau | 2b7addc | 2009-08-31 07:37:22 +0200 | [diff] [blame] | 957 | } |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 958 | |
Christopher Faulet | c6827d5 | 2019-02-25 10:44:51 +0100 | [diff] [blame] | 959 | /* HTX version of co_skip(). This function skips at most <len> bytes from the |
| 960 | * output of the channel <chn>. Depending on how data are stored in <htx> less |
| 961 | * than <len> bytes can be skipped. Channel flags WRITE_PARTIAL and WROTE_DATA |
| 962 | * are set. |
| 963 | */ |
| 964 | static inline void co_htx_skip(struct channel *chn, struct htx *htx, int len) |
| 965 | { |
| 966 | struct htx_ret htxret; |
| 967 | |
| 968 | htxret = htx_drain(htx, len); |
| 969 | if (htxret.ret) { |
| 970 | chn->output -= htxret.ret; |
| 971 | |
| 972 | /* notify that some data was written to the SI from the buffer */ |
| 973 | chn->flags |= CF_WRITE_PARTIAL | CF_WROTE_DATA; |
Christopher Faulet | ab1300b | 2019-07-05 13:44:29 +0200 | [diff] [blame] | 974 | chn_prod(chn)->flags &= ~SI_FL_RXBLK_ROOM; // si_rx_room_rdy() |
Christopher Faulet | c6827d5 | 2019-02-25 10:44:51 +0100 | [diff] [blame] | 975 | } |
| 976 | } |
Christopher Faulet | 729b5b3 | 2019-02-25 15:50:12 +0100 | [diff] [blame] | 977 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 978 | /* Tries to copy chunk <chunk> into the channel's buffer after length controls. |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 979 | * The chn->o and to_forward pointers are updated. If the channel's input is |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 980 | * closed, -2 is returned. If the block is too large for this buffer, -3 is |
| 981 | * returned. If there is not enough room left in the buffer, -1 is returned. |
| 982 | * Otherwise the number of bytes copied is returned (0 being a valid number). |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 983 | * Channel flag READ_PARTIAL is updated if some data can be transferred. The |
Willy Tarreau | f941cf2 | 2012-08-27 20:53:34 +0200 | [diff] [blame] | 984 | * chunk's length is updated with the number of bytes sent. |
Willy Tarreau | aeac319 | 2009-08-31 08:09:57 +0200 | [diff] [blame] | 985 | */ |
Willy Tarreau | 83061a8 | 2018-07-13 11:56:34 +0200 | [diff] [blame] | 986 | static inline int ci_putchk(struct channel *chn, struct buffer *chunk) |
Willy Tarreau | aeac319 | 2009-08-31 08:09:57 +0200 | [diff] [blame] | 987 | { |
| 988 | int ret; |
| 989 | |
Willy Tarreau | 843b7cb | 2018-07-13 10:54:26 +0200 | [diff] [blame] | 990 | ret = ci_putblk(chn, chunk->area, chunk->data); |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 991 | if (ret > 0) |
Willy Tarreau | 843b7cb | 2018-07-13 10:54:26 +0200 | [diff] [blame] | 992 | chunk->data -= ret; |
Willy Tarreau | aeac319 | 2009-08-31 08:09:57 +0200 | [diff] [blame] | 993 | return ret; |
| 994 | } |
| 995 | |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 996 | /* Tries to copy string <str> at once into the channel's buffer after length |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 997 | * controls. The chn->o and to_forward pointers are updated. If the channel's |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 998 | * input is closed, -2 is returned. If the block is too large for this buffer, |
| 999 | * -3 is returned. If there is not enough room left in the buffer, -1 is |
| 1000 | * returned. Otherwise the number of bytes copied is returned (0 being a valid |
| 1001 | * number). Channel flag READ_PARTIAL is updated if some data can be |
| 1002 | * transferred. |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 1003 | */ |
Willy Tarreau | 06d80a9 | 2017-10-19 14:32:15 +0200 | [diff] [blame] | 1004 | static inline int ci_putstr(struct channel *chn, const char *str) |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 1005 | { |
Willy Tarreau | 06d80a9 | 2017-10-19 14:32:15 +0200 | [diff] [blame] | 1006 | return ci_putblk(chn, str, strlen(str)); |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 1007 | } |
| 1008 | |
| 1009 | /* |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 1010 | * Return one char from the channel's buffer. If the buffer is empty and the |
| 1011 | * channel is closed, return -2. If the buffer is just empty, return -1. The |
Willy Tarreau | 06d80a9 | 2017-10-19 14:32:15 +0200 | [diff] [blame] | 1012 | * buffer's pointer is not advanced, it's up to the caller to call co_skip(buf, |
Willy Tarreau | 8263d2b | 2012-08-28 00:06:31 +0200 | [diff] [blame] | 1013 | * 1) when it has consumed the char. Also note that this function respects the |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 1014 | * chn->o limit. |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 1015 | */ |
Willy Tarreau | 06d80a9 | 2017-10-19 14:32:15 +0200 | [diff] [blame] | 1016 | static inline int co_getchr(struct channel *chn) |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 1017 | { |
| 1018 | /* closed or empty + imminent close = -2; empty = -1 */ |
Willy Tarreau | 974ced6 | 2012-10-12 23:11:02 +0200 | [diff] [blame] | 1019 | if (unlikely((chn->flags & CF_SHUTW) || channel_is_empty(chn))) { |
| 1020 | if (chn->flags & (CF_SHUTW|CF_SHUTW_NOW)) |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 1021 | return -2; |
| 1022 | return -1; |
| 1023 | } |
Willy Tarreau | 50227f9 | 2018-06-15 15:18:17 +0200 | [diff] [blame] | 1024 | return *co_head(chn); |
Willy Tarreau | 74b08c9 | 2010-09-08 17:04:31 +0200 | [diff] [blame] | 1025 | } |
| 1026 | |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 1027 | |
Willy Tarreau | c7e4238 | 2012-08-24 19:22:53 +0200 | [diff] [blame] | 1028 | #endif /* _PROTO_CHANNEL_H */ |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 1029 | |
| 1030 | /* |
| 1031 | * Local variables: |
| 1032 | * c-indent-level: 8 |
| 1033 | * c-basic-offset: 8 |
| 1034 | * End: |
| 1035 | */ |