blob: f563755edd18a10bb028e7bafc5b4521b8e5e531 [file] [log] [blame]
Willy Tarreaubaaee002006-06-26 02:48:02 +02001/*
2 * Functions operating on SOCK_STREAM and buffers.
3 *
Willy Tarreau3eba98a2009-01-25 13:56:13 +01004 * Copyright 2000-2009 Willy Tarreau <w@1wt.eu>
Willy Tarreaubaaee002006-06-26 02:48:02 +02005 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version
9 * 2 of the License, or (at your option) any later version.
10 *
11 */
12
Willy Tarreau6b4aad42009-01-18 21:59:13 +010013#define _GNU_SOURCE
Willy Tarreaubaaee002006-06-26 02:48:02 +020014#include <errno.h>
15#include <fcntl.h>
16#include <stdio.h>
17#include <stdlib.h>
18
Willy Tarreaufb14edc2009-06-14 15:24:37 +020019#include <netinet/tcp.h>
20
Willy Tarreaubaaee002006-06-26 02:48:02 +020021#include <sys/socket.h>
22#include <sys/stat.h>
23#include <sys/types.h>
24
Willy Tarreau2dd0d472006-06-29 17:53:05 +020025#include <common/compat.h>
Willy Tarreaue3ba5f02006-06-29 18:54:54 +020026#include <common/config.h>
Willy Tarreaud6f087e2008-01-18 17:20:13 +010027#include <common/debug.h>
Willy Tarreau83749182007-04-15 20:56:27 +020028#include <common/standard.h>
Willy Tarreau0c303ee2008-07-07 00:09:58 +020029#include <common/ticks.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020030#include <common/time.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020031
Willy Tarreau2d212792008-08-27 21:41:35 +020032#include <proto/buffers.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020033#include <proto/client.h>
34#include <proto/fd.h>
Willy Tarreau3eba98a2009-01-25 13:56:13 +010035#include <proto/pipe.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020036#include <proto/stream_sock.h>
37#include <proto/task.h>
38
Willy Tarreau5bd8c372009-01-19 00:32:22 +010039#include <types/global.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020040
Willy Tarreau6b4aad42009-01-18 21:59:13 +010041/* On recent Linux kernels, the splice() syscall may be used for faster data copy.
42 * But it's not always defined on some OS versions, and it even happens that some
43 * definitions are wrong with some glibc due to an offset bug in syscall().
44 */
45
46#if defined(CONFIG_HAP_LINUX_SPLICE)
47#include <unistd.h>
48#include <sys/syscall.h>
49
50#ifndef SPLICE_F_MOVE
51#define SPLICE_F_MOVE 0x1
52#endif
53
54#ifndef SPLICE_F_NONBLOCK
55#define SPLICE_F_NONBLOCK 0x2
56#endif
57
58#ifndef SPLICE_F_MORE
59#define SPLICE_F_MORE 0x4
60#endif
61
62#ifndef __NR_splice
63#if defined(__powerpc__) || defined(__powerpc64__)
64#define __NR_splice 283
65#elif defined(__sparc__) || defined(__sparc64__)
66#define __NR_splice 232
67#elif defined(__x86_64__)
68#define __NR_splice 275
69#elif defined(__alpha__)
70#define __NR_splice 468
71#elif defined (__i386__)
72#define __NR_splice 313
73#else
74#warning unsupported architecture, guessing __NR_splice=313 like x86...
75#define __NR_splice 313
76#endif /* $arch */
77
78_syscall6(int, splice, int, fdin, loff_t *, off_in, int, fdout, loff_t *, off_out, size_t, len, unsigned long, flags)
79
80#endif /* __NR_splice */
Willy Tarreau5bd8c372009-01-19 00:32:22 +010081
82/* A pipe contains 16 segments max, and it's common to see segments of 1448 bytes
83 * because of timestamps. Use this as a hint for not looping on splice().
84 */
85#define SPLICE_FULL_HINT 16*1448
86
87/* Returns :
88 * -1 if splice is not possible or not possible anymore and we must switch to
89 * user-land copy (eg: to_forward reached)
90 * 0 when we know that polling is required to get more data (EAGAIN)
91 * 1 for all other cases (we can safely try again, or if an activity has been
92 * detected (DATA/NULL/ERR))
93 * Sets :
94 * BF_READ_NULL
95 * BF_READ_PARTIAL
96 * BF_WRITE_PARTIAL (during copy)
97 * BF_EMPTY (during copy)
98 * SI_FL_ERR
99 * SI_FL_WAIT_ROOM
100 * (SI_FL_WAIT_RECV)
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100101 *
102 * This function automatically allocates a pipe from the pipe pool. It also
103 * carefully ensures to clear b->pipe whenever it leaves the pipe empty.
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100104 */
105static int stream_sock_splice_in(struct buffer *b, struct stream_interface *si)
106{
107 int fd = si->fd;
108 int ret, max, total = 0;
109 int retval = 1;
110
111 if (!b->to_forward)
112 return -1;
113
114 if (!(b->flags & BF_KERN_SPLICING))
115 return -1;
116
117 if (b->l) {
118 /* We're embarrassed, there are already data pending in
119 * the buffer and we don't want to have them at two
120 * locations at a time. Let's indicate we need some
121 * place and ask the consumer to hurry.
122 */
123 si->flags |= SI_FL_WAIT_ROOM;
124 EV_FD_CLR(fd, DIR_RD);
125 b->rex = TICK_ETERNITY;
126 b->cons->chk_snd(b->cons);
127 return 1;
128 }
129
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100130 if (unlikely(b->pipe == NULL)) {
131 if (pipes_used >= global.maxpipes || !(b->pipe = get_pipe())) {
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100132 b->flags &= ~BF_KERN_SPLICING;
133 return -1;
134 }
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100135 }
136
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100137 /* At this point, b->pipe is valid */
138
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100139 while (1) {
140 max = b->to_forward;
141 if (max <= 0) {
142 /* It looks like the buffer + the pipe already contain
143 * the maximum amount of data to be transferred. Try to
144 * send those data immediately on the other side if it
145 * is currently waiting.
146 */
147 retval = -1; /* end of forwarding */
148 break;
149 }
150
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100151 ret = splice(fd, NULL, b->pipe->prod, NULL, max,
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100152 SPLICE_F_MOVE|SPLICE_F_NONBLOCK);
153
154 if (ret <= 0) {
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100155 if (ret == 0) {
Willy Tarreau98b306b2009-01-25 11:11:32 +0100156 /* connection closed. This is only detected by
157 * recent kernels (>= 2.6.27.13).
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100158 */
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100159 b->flags |= BF_READ_NULL;
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100160 retval = 1; /* no need for further polling */
161 break;
162 }
163
164 if (errno == EAGAIN) {
165 /* there are two reasons for EAGAIN :
166 * - nothing in the socket buffer (standard)
167 * - pipe is full
Willy Tarreau98b306b2009-01-25 11:11:32 +0100168 * - the connection is closed (kernel < 2.6.27.13)
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100169 * Since we don't know if pipe is full, we'll
170 * stop if the pipe is not empty. Anyway, we
171 * will almost always fill/empty the pipe.
172 */
173
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100174 if (b->pipe->data) {
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100175 si->flags |= SI_FL_WAIT_ROOM;
176 retval = 1;
177 break;
178 }
179
Willy Tarreau98b306b2009-01-25 11:11:32 +0100180 /* We don't know if the connection was closed.
181 * But if we're called upon POLLIN with an empty
182 * pipe and get EAGAIN, it is suspect enought to
183 * try to fall back to the normal recv scheme
184 * which will be able to deal with the situation.
185 */
186 retval = -1;
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100187 break;
188 }
Willy Tarreaudc340a92009-06-28 23:10:19 +0200189
190 if (errno == ENOSYS) {
191 /* splice not supported on this end, disable it */
192 b->flags &= ~BF_KERN_SPLICING;
193 si->flags &= ~SI_FL_CAP_SPLICE;
194 put_pipe(b->pipe);
195 b->pipe = NULL;
196 return -1;
197 }
198
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100199 /* here we have another error */
200 si->flags |= SI_FL_ERR;
201 retval = 1;
202 break;
203 } /* ret <= 0 */
204
205 b->to_forward -= ret;
206 total += ret;
207 b->total += ret;
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100208 b->pipe->data += ret;
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100209 b->flags |= BF_READ_PARTIAL;
210 b->flags &= ~BF_EMPTY; /* to prevent shutdowns */
211
Willy Tarreau6f4a82c2009-03-21 20:43:57 +0100212 if (b->pipe->data >= SPLICE_FULL_HINT ||
213 ret >= global.tune.recv_enough) {
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100214 /* We've read enough of it for this time. */
215 retval = 1;
216 break;
217 }
218 } /* while */
219
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100220 if (unlikely(!b->pipe->data)) {
221 put_pipe(b->pipe);
222 b->pipe = NULL;
223 }
224
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100225 return retval;
226}
227
Willy Tarreau6b4aad42009-01-18 21:59:13 +0100228#endif /* CONFIG_HAP_LINUX_SPLICE */
229
230
Willy Tarreaubaaee002006-06-26 02:48:02 +0200231/*
Willy Tarreaud7971282006-07-29 18:36:34 +0200232 * this function is called on a read event from a stream socket.
Willy Tarreau83749182007-04-15 20:56:27 +0200233 * It returns 0 if we have a high confidence that we will not be
234 * able to read more data without polling first. Returns non-zero
235 * otherwise.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200236 */
Willy Tarreaud7971282006-07-29 18:36:34 +0200237int stream_sock_read(int fd) {
Willy Tarreaue5ed4062008-08-30 03:17:31 +0200238 struct stream_interface *si = fdtab[fd].owner;
Willy Tarreau48adac52008-08-30 04:58:38 +0200239 struct buffer *b = si->ib;
Willy Tarreau8a7af602008-05-03 23:07:14 +0200240 int ret, max, retval, cur_read;
Willy Tarreaub8949f12007-03-23 22:39:59 +0100241 int read_poll = MAX_READ_POLL_LOOPS;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200242
243#ifdef DEBUG_FULL
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100244 fprintf(stderr,"stream_sock_read : fd=%d, ev=0x%02x, owner=%p\n", fd, fdtab[fd].ev, fdtab[fd].owner);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200245#endif
246
Willy Tarreau83749182007-04-15 20:56:27 +0200247 retval = 1;
248
Willy Tarreau71543652009-07-14 19:55:05 +0200249 /* stop immediately on errors. Note that we DON'T want to stop on
250 * POLL_ERR, as the poller might report a write error while there
251 * are still data available in the recv buffer. This typically
252 * happens when we send too large a request to a backend server
253 * which rejects it before reading it all.
254 */
255 if (fdtab[fd].state == FD_STERROR)
Willy Tarreau6996e152007-04-30 14:37:43 +0200256 goto out_error;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100257
258 /* stop here if we reached the end of data */
259 if ((fdtab[fd].ev & (FD_POLL_IN|FD_POLL_HUP)) == FD_POLL_HUP)
260 goto out_shutdown_r;
Willy Tarreau83749182007-04-15 20:56:27 +0200261
Willy Tarreaud06e7112009-03-29 10:18:41 +0200262 /* maybe we were called immediately after an asynchronous shutr */
263 if (b->flags & BF_SHUTR)
264 goto out_wakeup;
265
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100266#if defined(CONFIG_HAP_LINUX_SPLICE)
267 if (b->to_forward && b->flags & BF_KERN_SPLICING) {
Willy Tarreau98b306b2009-01-25 11:11:32 +0100268
269 /* Under Linux, if FD_POLL_HUP is set, we have reached the end.
270 * Since older splice() implementations were buggy and returned
271 * EAGAIN on end of read, let's bypass the call to splice() now.
272 */
273 if (fdtab[fd].ev & FD_POLL_HUP)
274 goto out_shutdown_r;
275
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100276 retval = stream_sock_splice_in(b, si);
277
278 if (retval >= 0) {
279 if (si->flags & SI_FL_ERR)
280 goto out_error;
281 if (b->flags & BF_READ_NULL)
282 goto out_shutdown_r;
283 goto out_wakeup;
284 }
285 /* splice not possible (anymore), let's go on on standard copy */
286 }
287#endif
Willy Tarreau8a7af602008-05-03 23:07:14 +0200288 cur_read = 0;
Willy Tarreau6996e152007-04-30 14:37:43 +0200289 while (1) {
290 /*
291 * 1. compute the maximum block size we can read at once.
292 */
Willy Tarreau03d60bb2009-01-09 11:13:00 +0100293 if (b->l == 0) {
294 /* let's realign the buffer to optimize I/O */
295 b->r = b->w = b->lr = b->data;
296 max = b->max_len;
Willy Tarreau83749182007-04-15 20:56:27 +0200297 }
298 else if (b->r > b->w) {
Willy Tarreau03d60bb2009-01-09 11:13:00 +0100299 max = b->data + b->max_len - b->r;
Willy Tarreau83749182007-04-15 20:56:27 +0200300 }
301 else {
302 max = b->w - b->r;
Willy Tarreau03d60bb2009-01-09 11:13:00 +0100303 if (max > b->max_len)
304 max = b->max_len;
Willy Tarreau83749182007-04-15 20:56:27 +0200305 }
Willy Tarreau74ab2ac2008-11-23 17:23:07 +0100306
Willy Tarreau9c0fe592009-01-18 16:25:31 +0100307 if (max == 0) {
308 b->flags |= BF_FULL;
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100309 si->flags |= SI_FL_WAIT_ROOM;
Willy Tarreau9c0fe592009-01-18 16:25:31 +0100310 break;
311 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200312
Willy Tarreau6996e152007-04-30 14:37:43 +0200313 /*
314 * 2. read the largest possible block
315 */
Willy Tarreaud6d06902009-08-19 11:22:33 +0200316 if (MSG_NOSIGNAL) {
317 ret = recv(fd, b->r, max, MSG_NOSIGNAL);
318 } else {
Willy Tarreau83749182007-04-15 20:56:27 +0200319 int skerr;
320 socklen_t lskerr = sizeof(skerr);
321
322 ret = getsockopt(fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr);
323 if (ret == -1 || skerr)
324 ret = -1;
325 else
326 ret = recv(fd, b->r, max, 0);
327 }
Willy Tarreaud6d06902009-08-19 11:22:33 +0200328
Willy Tarreau83749182007-04-15 20:56:27 +0200329 if (ret > 0) {
330 b->r += ret;
331 b->l += ret;
Willy Tarreau8a7af602008-05-03 23:07:14 +0200332 cur_read += ret;
Willy Tarreaub38903c2008-11-23 21:33:29 +0100333
Willy Tarreau0abebcc2009-01-08 00:09:41 +0100334 /* if we're allowed to directly forward data, we must update send_max */
335 if (b->to_forward > 0) {
336 int fwd = MIN(b->to_forward, ret);
337 b->send_max += fwd;
338 b->to_forward -= fwd;
339 }
Willy Tarreauf890dc92008-12-13 21:12:26 +0100340
Willy Tarreaub38903c2008-11-23 21:33:29 +0100341 if (fdtab[fd].state == FD_STCONN)
342 fdtab[fd].state = FD_STREADY;
343
Willy Tarreau3da77c52008-08-29 09:58:42 +0200344 b->flags |= BF_READ_PARTIAL;
Willy Tarreaue393fe22008-08-16 22:18:07 +0200345 b->flags &= ~BF_EMPTY;
Willy Tarreau74ab2ac2008-11-23 17:23:07 +0100346
Willy Tarreaua07a34e2009-08-16 23:27:46 +0200347 if (b->r == b->data + b->size) {
Willy Tarreau83749182007-04-15 20:56:27 +0200348 b->r = b->data; /* wrap around the buffer */
349 }
Willy Tarreau9641e8f2007-03-23 23:02:09 +0100350
Willy Tarreau83749182007-04-15 20:56:27 +0200351 b->total += ret;
Willy Tarreau9641e8f2007-03-23 23:02:09 +0100352
Willy Tarreau03d60bb2009-01-09 11:13:00 +0100353 if (b->l >= b->max_len) {
Willy Tarreau6996e152007-04-30 14:37:43 +0200354 /* The buffer is now full, there's no point in going through
355 * the loop again.
356 */
Willy Tarreau8a7af602008-05-03 23:07:14 +0200357 if (!(b->flags & BF_STREAMER_FAST) && (cur_read == b->l)) {
358 b->xfer_small = 0;
359 b->xfer_large++;
360 if (b->xfer_large >= 3) {
361 /* we call this buffer a fast streamer if it manages
362 * to be filled in one call 3 consecutive times.
363 */
364 b->flags |= (BF_STREAMER | BF_STREAMER_FAST);
365 //fputc('+', stderr);
366 }
367 }
368 else if ((b->flags & (BF_STREAMER | BF_STREAMER_FAST)) &&
Willy Tarreaua07a34e2009-08-16 23:27:46 +0200369 (cur_read <= b->size / 2)) {
Willy Tarreau8a7af602008-05-03 23:07:14 +0200370 b->xfer_large = 0;
371 b->xfer_small++;
372 if (b->xfer_small >= 2) {
373 /* if the buffer has been at least half full twice,
374 * we receive faster than we send, so at least it
375 * is not a "fast streamer".
376 */
377 b->flags &= ~BF_STREAMER_FAST;
378 //fputc('-', stderr);
379 }
380 }
381 else {
382 b->xfer_small = 0;
383 b->xfer_large = 0;
384 }
Willy Tarreau9c0fe592009-01-18 16:25:31 +0100385
386 b->flags |= BF_FULL;
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100387 si->flags |= SI_FL_WAIT_ROOM;
Willy Tarreau9c0fe592009-01-18 16:25:31 +0100388 break;
Willy Tarreau6996e152007-04-30 14:37:43 +0200389 }
390
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200391 /* if too many bytes were missing from last read, it means that
392 * it's pointless trying to read again because the system does
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100393 * not have them in buffers. BTW, if FD_POLL_HUP was present,
394 * it means that we have reached the end and that the connection
395 * is closed.
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200396 */
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100397 if (ret < max) {
Willy Tarreau8a7af602008-05-03 23:07:14 +0200398 if ((b->flags & (BF_STREAMER | BF_STREAMER_FAST)) &&
Willy Tarreaua07a34e2009-08-16 23:27:46 +0200399 (cur_read <= b->size / 2)) {
Willy Tarreau8a7af602008-05-03 23:07:14 +0200400 b->xfer_large = 0;
401 b->xfer_small++;
402 if (b->xfer_small >= 3) {
403 /* we have read less than half of the buffer in
404 * one pass, and this happened at least 3 times.
405 * This is definitely not a streamer.
406 */
407 b->flags &= ~(BF_STREAMER | BF_STREAMER_FAST);
408 //fputc('!', stderr);
409 }
410 }
Willy Tarreau2bea3a12008-08-28 09:47:43 +0200411 /* unfortunately, on level-triggered events, POLL_HUP
412 * is generally delivered AFTER the system buffer is
413 * empty, so this one might never match.
414 */
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100415 if (fdtab[fd].ev & FD_POLL_HUP)
416 goto out_shutdown_r;
Willy Tarreau2bea3a12008-08-28 09:47:43 +0200417
418 /* if a streamer has read few data, it may be because we
419 * have exhausted system buffers. It's not worth trying
420 * again.
421 */
422 if (b->flags & BF_STREAMER)
423 break;
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200424
Willy Tarreau6f4a82c2009-03-21 20:43:57 +0100425 /* generally if we read something smaller than 1 or 2 MSS,
426 * it means that either we have exhausted the system's
427 * buffers (streamer or question-response protocol) or
428 * that the connection will be closed. Streamers are
429 * easily detected so we return early. For other cases,
430 * it's still better to perform a last read to be sure,
431 * because it may save one complete poll/read/wakeup cycle
432 * in case of shutdown.
433 */
434 if (ret < MIN_RET_FOR_READ_LOOP && b->flags & BF_STREAMER)
435 break;
436
437 /* if we read a large block smaller than what we requested,
438 * it's almost certain we'll never get anything more.
439 */
440 if (ret >= global.tune.recv_enough)
441 break;
442 }
Willy Tarreau83749182007-04-15 20:56:27 +0200443
Willy Tarreau1b194fe2009-03-21 21:10:04 +0100444 if ((b->flags & BF_READ_DONTWAIT) || --read_poll <= 0)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200445 break;
Willy Tarreau83749182007-04-15 20:56:27 +0200446 }
447 else if (ret == 0) {
Willy Tarreau6996e152007-04-30 14:37:43 +0200448 /* connection closed */
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100449 goto out_shutdown_r;
Willy Tarreau83749182007-04-15 20:56:27 +0200450 }
Willy Tarreau9f195292007-04-15 21:26:58 +0200451 else if (errno == EAGAIN) {
452 /* Ignore EAGAIN but inform the poller that there is
Willy Tarreauaf78d0f2009-01-08 10:09:08 +0100453 * nothing to read left if we did not read much, ie
454 * less than what we were still expecting to read.
455 * But we may have done some work justifying to notify
456 * the task.
Willy Tarreau9f195292007-04-15 21:26:58 +0200457 */
Willy Tarreauaf78d0f2009-01-08 10:09:08 +0100458 if (cur_read < MIN_RET_FOR_READ_LOOP)
459 retval = 0;
Willy Tarreau83749182007-04-15 20:56:27 +0200460 break;
461 }
462 else {
Willy Tarreau6996e152007-04-30 14:37:43 +0200463 goto out_error;
Willy Tarreau83749182007-04-15 20:56:27 +0200464 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200465 } /* while (1) */
Willy Tarreaubaaee002006-06-26 02:48:02 +0200466
Willy Tarreau6996e152007-04-30 14:37:43 +0200467 out_wakeup:
Willy Tarreau9c0fe592009-01-18 16:25:31 +0100468 /* We might have some data the consumer is waiting for */
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100469 if ((b->send_max || b->pipe) && (b->cons->flags & SI_FL_WAIT_DATA)) {
470 int last_len = b->pipe ? b->pipe->data : 0;
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100471
Willy Tarreau3ffeba12008-12-14 14:42:35 +0100472 b->cons->chk_snd(b->cons);
473
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100474 /* check if the consumer has freed some space */
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100475 if (!(b->flags & BF_FULL) &&
476 (!last_len || !b->pipe || b->pipe->data < last_len))
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100477 si->flags &= ~SI_FL_WAIT_ROOM;
478 }
479
480 if (si->flags & SI_FL_WAIT_ROOM) {
Willy Tarreau9c0fe592009-01-18 16:25:31 +0100481 EV_FD_CLR(fd, DIR_RD);
482 b->rex = TICK_ETERNITY;
483 }
Willy Tarreaud06e7112009-03-29 10:18:41 +0200484 else if ((b->flags & (BF_SHUTR|BF_READ_PARTIAL|BF_FULL|BF_READ_NOEXP)) == BF_READ_PARTIAL)
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100485 b->rex = tick_add_ifset(now_ms, b->rto);
Willy Tarreau9c0fe592009-01-18 16:25:31 +0100486
Willy Tarreau6b66f3e2008-12-14 17:31:54 +0100487 /* we have to wake up if there is a special event or if we don't have
488 * any more data to forward.
489 */
Willy Tarreau1b194fe2009-03-21 21:10:04 +0100490 if ((b->flags & (BF_READ_NULL|BF_READ_ERROR|BF_SHUTR|BF_READ_DONTWAIT)) ||
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100491 !b->to_forward ||
492 si->state != SI_ST_EST ||
493 b->cons->state != SI_ST_EST ||
494 (si->flags & SI_FL_ERR))
Willy Tarreau6b66f3e2008-12-14 17:31:54 +0100495 task_wakeup(si->owner, TASK_WOKEN_IO);
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100496
Willy Tarreau1b194fe2009-03-21 21:10:04 +0100497 b->flags &= ~BF_READ_DONTWAIT;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100498 fdtab[fd].ev &= ~FD_POLL_IN;
Willy Tarreau83749182007-04-15 20:56:27 +0200499 return retval;
Willy Tarreau6996e152007-04-30 14:37:43 +0200500
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100501 out_shutdown_r:
Willy Tarreaue5ed4062008-08-30 03:17:31 +0200502 /* we received a shutdown */
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100503 fdtab[fd].ev &= ~FD_POLL_HUP;
504 b->flags |= BF_READ_NULL;
Willy Tarreau99126c32008-11-27 10:30:51 +0100505 stream_sock_shutr(si);
Willy Tarreau0c303ee2008-07-07 00:09:58 +0200506 goto out_wakeup;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100507
Willy Tarreau6996e152007-04-30 14:37:43 +0200508 out_error:
Willy Tarreaucff64112008-11-03 06:26:53 +0100509 /* Read error on the file descriptor. We mark the FD as STERROR so
510 * that we don't use it anymore. The error is reported to the stream
511 * interface which will take proper action. We must not perturbate the
512 * buffer because the stream interface wants to ensure transparent
513 * connection retries.
Willy Tarreau6996e152007-04-30 14:37:43 +0200514 */
Willy Tarreaucff64112008-11-03 06:26:53 +0100515
Willy Tarreau6996e152007-04-30 14:37:43 +0200516 fdtab[fd].state = FD_STERROR;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100517 fdtab[fd].ev &= ~FD_POLL_STICKY;
Willy Tarreau1714e0f2009-03-28 20:54:53 +0100518 EV_FD_REM(fd);
Willy Tarreaucff64112008-11-03 06:26:53 +0100519 si->flags |= SI_FL_ERR;
Willy Tarreau9c0fe592009-01-18 16:25:31 +0100520 retval = 1;
521 goto out_wakeup;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200522}
523
524
525/*
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100526 * This function is called to send buffer data to a stream socket.
527 * It returns -1 in case of unrecoverable error, 0 if the caller needs to poll
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100528 * before calling it again, otherwise 1. If a pipe was associated with the
529 * buffer and it empties it, it releases it as well.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200530 */
Willy Tarreaua456f2a2009-01-18 17:38:44 +0100531static int stream_sock_write_loop(struct stream_interface *si, struct buffer *b)
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100532{
Willy Tarreau83749182007-04-15 20:56:27 +0200533 int write_poll = MAX_WRITE_POLL_LOOPS;
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100534 int retval = 1;
535 int ret, max;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200536
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100537#if defined(CONFIG_HAP_LINUX_SPLICE)
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100538 while (b->pipe) {
539 ret = splice(b->pipe->cons, NULL, si->fd, NULL, b->pipe->data,
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100540 SPLICE_F_MOVE|SPLICE_F_NONBLOCK);
541 if (ret <= 0) {
542 if (ret == 0 || errno == EAGAIN) {
543 retval = 0;
544 return retval;
545 }
546 /* here we have another error */
547 retval = -1;
548 return retval;
549 }
550
551 b->flags |= BF_WRITE_PARTIAL;
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100552 b->pipe->data -= ret;
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100553
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100554 if (!b->pipe->data) {
555 put_pipe(b->pipe);
556 b->pipe = NULL;
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100557 break;
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100558 }
Willy Tarreau5bd8c372009-01-19 00:32:22 +0100559
560 if (--write_poll <= 0)
561 return retval;
562 }
563
564 /* At this point, the pipe is empty, but we may still have data pending
565 * in the normal buffer.
566 */
567 if (!b->l) {
568 b->flags |= BF_EMPTY;
569 return retval;
570 }
571#endif
Willy Tarreaud2def0f2009-01-18 17:37:33 +0100572 if (!b->send_max)
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100573 return retval;
Willy Tarreau83749182007-04-15 20:56:27 +0200574
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100575 /* when we're in this loop, we already know that there is no spliced
576 * data left, and that there are sendable buffered data.
577 */
Willy Tarreau6996e152007-04-30 14:37:43 +0200578 while (1) {
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100579 if (b->r > b->w)
Willy Tarreau83749182007-04-15 20:56:27 +0200580 max = b->r - b->w;
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100581 else
Willy Tarreaua07a34e2009-08-16 23:27:46 +0200582 max = b->data + b->size - b->w;
Willy Tarreau83749182007-04-15 20:56:27 +0200583
Willy Tarreauf890dc92008-12-13 21:12:26 +0100584 /* limit the amount of outgoing data if required */
585 if (max > b->send_max)
586 max = b->send_max;
587
Willy Tarreaufb14edc2009-06-14 15:24:37 +0200588
Willy Tarreauc9fce2f2009-08-16 14:13:47 +0200589#if defined(TCP_CORK) && defined(SOL_TCP)
Willy Tarreaufb14edc2009-06-14 15:24:37 +0200590 /*
591 * Check if we want to cork output before sending. This typically occurs
592 * when there are data left in the buffer, or when we reached the end of
593 * buffer but we know we will close, so we try to merge the ongoing FIN
594 * with the last data segment.
595 */
Willy Tarreau5d707e12009-06-28 11:09:07 +0200596 if ((fdtab[si->fd].flags & (FD_FL_TCP|FD_FL_TCP_NOLING|FD_FL_TCP_CORK)) == FD_FL_TCP) {
Willy Tarreaufb14edc2009-06-14 15:24:37 +0200597 if (unlikely((b->send_max == b->l &&
598 (b->flags & (BF_SHUTW|BF_SHUTW_NOW|BF_HIJACK|BF_WRITE_ENA|BF_SHUTR)) ==
599 (BF_WRITE_ENA|BF_SHUTR)))) {
600 /* we have to unconditionally reset TCP_NODELAY for CORK */
601 setsockopt(si->fd, IPPROTO_TCP, TCP_NODELAY, (char *) &zero, sizeof(zero));
602 setsockopt(si->fd, SOL_TCP, TCP_CORK, (char *) &one, sizeof(one));
603 fdtab[si->fd].flags = (fdtab[si->fd].flags & ~FD_FL_TCP_NODELAY) | FD_FL_TCP_CORK;
604 }
605 }
606#endif
607
Willy Tarreaud6d06902009-08-19 11:22:33 +0200608 if (MSG_NOSIGNAL) {
609 ret = send(si->fd, b->w, max, MSG_DONTWAIT | MSG_NOSIGNAL);
610 } else {
Willy Tarreaubaaee002006-06-26 02:48:02 +0200611 int skerr;
612 socklen_t lskerr = sizeof(skerr);
613
Willy Tarreau87bed622009-03-08 22:25:28 +0100614 ret = getsockopt(si->fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr);
Willy Tarreauc6423482006-10-15 14:59:03 +0200615 if (ret == -1 || skerr)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200616 ret = -1;
617 else
Willy Tarreau87bed622009-03-08 22:25:28 +0100618 ret = send(si->fd, b->w, max, MSG_DONTWAIT);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200619 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200620
621 if (ret > 0) {
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100622 if (fdtab[si->fd].state == FD_STCONN)
623 fdtab[si->fd].state = FD_STREADY;
Willy Tarreaub38903c2008-11-23 21:33:29 +0100624
Willy Tarreau3da77c52008-08-29 09:58:42 +0200625 b->flags |= BF_WRITE_PARTIAL;
Willy Tarreaue393fe22008-08-16 22:18:07 +0200626
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100627 b->w += ret;
Willy Tarreaua07a34e2009-08-16 23:27:46 +0200628 if (b->w == b->data + b->size)
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100629 b->w = b->data; /* wrap around the buffer */
630
631 b->l -= ret;
632 if (likely(b->l < b->max_len))
Willy Tarreaue393fe22008-08-16 22:18:07 +0200633 b->flags &= ~BF_FULL;
Willy Tarreau74ab2ac2008-11-23 17:23:07 +0100634
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100635 if (likely(!b->l)) {
636 /* optimize data alignment in the buffer */
637 b->r = b->w = b->lr = b->data;
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100638 if (likely(!b->pipe))
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100639 b->flags |= BF_EMPTY;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200640 }
Willy Tarreau83749182007-04-15 20:56:27 +0200641
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100642 b->send_max -= ret;
643 if (!b->send_max || !b->l)
644 break;
Willy Tarreau83749182007-04-15 20:56:27 +0200645
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200646 /* if the system buffer is full, don't insist */
647 if (ret < max)
648 break;
649
Willy Tarreau6996e152007-04-30 14:37:43 +0200650 if (--write_poll <= 0)
651 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200652 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200653 else if (ret == 0 || errno == EAGAIN) {
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100654 /* nothing written, we need to poll for write first */
Willy Tarreau83749182007-04-15 20:56:27 +0200655 retval = 0;
656 break;
657 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200658 else {
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100659 /* bad, we got an error */
660 retval = -1;
661 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200662 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200663 } /* while (1) */
Willy Tarreaubaaee002006-06-26 02:48:02 +0200664
Willy Tarreaufb14edc2009-06-14 15:24:37 +0200665 /* check if we need to uncork the output, for instance when the
666 * output buffer is empty but not shutr().
667 */
668 if (unlikely((fdtab[si->fd].flags & (FD_FL_TCP|FD_FL_TCP_NODELAY)) == FD_FL_TCP && (b->flags & BF_EMPTY))) {
669 if ((b->flags & (BF_SHUTW|BF_SHUTW_NOW|BF_HIJACK|BF_WRITE_ENA|BF_SHUTR)) != (BF_WRITE_ENA|BF_SHUTR)) {
Willy Tarreauc9fce2f2009-08-16 14:13:47 +0200670#if defined(TCP_CORK) && defined(SOL_TCP)
Willy Tarreaufb14edc2009-06-14 15:24:37 +0200671 if (fdtab[si->fd].flags & FD_FL_TCP_CORK)
672 setsockopt(si->fd, SOL_TCP, TCP_CORK, (char *) &zero, sizeof(zero));
673#endif
674 setsockopt(si->fd, IPPROTO_TCP, TCP_NODELAY, (char *) &one, sizeof(one));
675 fdtab[si->fd].flags = (fdtab[si->fd].flags & ~FD_FL_TCP_CORK) | FD_FL_TCP_NODELAY;
676 }
677 }
678
679
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100680 return retval;
681}
Willy Tarreau6996e152007-04-30 14:37:43 +0200682
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100683
684/*
685 * This function is called on a write event from a stream socket.
686 * It returns 0 if the caller needs to poll before calling it again, otherwise
687 * non-zero.
688 */
689int stream_sock_write(int fd)
690{
691 struct stream_interface *si = fdtab[fd].owner;
692 struct buffer *b = si->ob;
693 int retval = 1;
694
695#ifdef DEBUG_FULL
696 fprintf(stderr,"stream_sock_write : fd=%d, owner=%p\n", fd, fdtab[fd].owner);
697#endif
698
699 retval = 1;
Willy Tarreau71543652009-07-14 19:55:05 +0200700 if (fdtab[fd].state == FD_STERROR)
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100701 goto out_error;
702
Willy Tarreaud06e7112009-03-29 10:18:41 +0200703 /* we might have been called just after an asynchronous shutw */
704 if (b->flags & BF_SHUTW)
705 goto out_wakeup;
706
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100707 if (likely(!(b->flags & BF_EMPTY))) {
708 /* OK there are data waiting to be sent */
709 retval = stream_sock_write_loop(si, b);
710 if (retval < 0)
711 goto out_error;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200712 }
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100713 else {
714 /* may be we have received a connection acknowledgement in TCP mode without data */
715 if (likely(fdtab[fd].state == FD_STCONN)) {
716 /* We have no data to send to check the connection, and
717 * getsockopt() will not inform us whether the connection
718 * is still pending. So we'll reuse connect() to check the
719 * state of the socket. This has the advantage of givig us
720 * the following info :
721 * - error
722 * - connecting (EALREADY, EINPROGRESS)
723 * - connected (EISCONN, 0)
724 */
725 if ((connect(fd, fdtab[fd].peeraddr, fdtab[fd].peerlen) == 0))
726 errno = 0;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200727
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100728 if (errno == EALREADY || errno == EINPROGRESS) {
729 retval = 0;
730 goto out_may_wakeup;
731 }
Willy Tarreau3ffeba12008-12-14 14:42:35 +0100732
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100733 if (errno && errno != EISCONN)
734 goto out_error;
Willy Tarreaufa7e1022008-10-19 07:30:41 +0200735
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100736 /* OK we just need to indicate that we got a connection
737 * and that we wrote nothing.
738 */
739 b->flags |= BF_WRITE_NULL;
740 fdtab[fd].state = FD_STREADY;
741 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200742
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100743 /* Funny, we were called to write something but there wasn't
744 * anything. We can get there, for example if we were woken up
745 * on a write event to finish the splice, but the send_max is 0
746 * so we cannot write anything from the buffer. Let's disable
747 * the write event and pretend we never came there.
748 */
749 }
750
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100751 if (!b->pipe && !b->send_max) {
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100752 /* the connection is established but we can't write. Either the
753 * buffer is empty, or we just refrain from sending because the
754 * send_max limit was reached. Maybe we just wrote the last
755 * chunk and need to close.
756 */
757 if (((b->flags & (BF_SHUTW|BF_EMPTY|BF_HIJACK|BF_WRITE_ENA|BF_SHUTR)) ==
758 (BF_EMPTY|BF_WRITE_ENA|BF_SHUTR)) &&
759 (si->state == SI_ST_EST)) {
760 stream_sock_shutw(si);
761 goto out_wakeup;
762 }
763
Willy Tarreaud06e7112009-03-29 10:18:41 +0200764 if ((b->flags & (BF_EMPTY|BF_SHUTW)) == BF_EMPTY)
Willy Tarreauac128fe2009-01-09 13:05:19 +0100765 si->flags |= SI_FL_WAIT_DATA;
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100766
Willy Tarreauac128fe2009-01-09 13:05:19 +0100767 EV_FD_CLR(fd, DIR_WR);
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100768 b->wex = TICK_ETERNITY;
Willy Tarreauac128fe2009-01-09 13:05:19 +0100769 }
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100770
771 out_may_wakeup:
772 if (b->flags & BF_WRITE_ACTIVITY) {
773 /* update timeout if we have written something */
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100774 if ((b->send_max || b->pipe) &&
Willy Tarreaud2def0f2009-01-18 17:37:33 +0100775 (b->flags & (BF_SHUTW|BF_WRITE_PARTIAL)) == BF_WRITE_PARTIAL)
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100776 b->wex = tick_add_ifset(now_ms, b->wto);
777
778 out_wakeup:
779 if (tick_isset(si->ib->rex)) {
780 /* Note: to prevent the client from expiring read timeouts
781 * during writes, we refresh it. A better solution would be
782 * to merge read+write timeouts into a unique one, although
783 * that needs some study particularly on full-duplex TCP
784 * connections.
785 */
786 si->ib->rex = tick_add_ifset(now_ms, si->ib->rto);
787 }
788
789 /* the producer might be waiting for more room to store data */
Willy Tarreaud06e7112009-03-29 10:18:41 +0200790 if (likely((b->flags & (BF_SHUTW|BF_WRITE_PARTIAL|BF_FULL)) == BF_WRITE_PARTIAL &&
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100791 (b->prod->flags & SI_FL_WAIT_ROOM)))
792 b->prod->chk_rcv(b->prod);
793
794 /* we have to wake up if there is a special event or if we don't have
795 * any more data to forward and it's not planned to send any more.
796 */
797 if (likely((b->flags & (BF_WRITE_NULL|BF_WRITE_ERROR|BF_SHUTW)) ||
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100798 (!b->to_forward && !b->send_max && !b->pipe) ||
Willy Tarreau0c2fc1f2009-01-18 15:30:37 +0100799 si->state != SI_ST_EST ||
800 b->prod->state != SI_ST_EST))
801 task_wakeup(si->owner, TASK_WOKEN_IO);
802 }
803
804 fdtab[fd].ev &= ~FD_POLL_OUT;
805 return retval;
Willy Tarreauac128fe2009-01-09 13:05:19 +0100806
Willy Tarreau6996e152007-04-30 14:37:43 +0200807 out_error:
Willy Tarreaucff64112008-11-03 06:26:53 +0100808 /* Write error on the file descriptor. We mark the FD as STERROR so
809 * that we don't use it anymore. The error is reported to the stream
810 * interface which will take proper action. We must not perturbate the
811 * buffer because the stream interface wants to ensure transparent
812 * connection retries.
Willy Tarreau6996e152007-04-30 14:37:43 +0200813 */
Willy Tarreaucff64112008-11-03 06:26:53 +0100814
Willy Tarreau6996e152007-04-30 14:37:43 +0200815 fdtab[fd].state = FD_STERROR;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100816 fdtab[fd].ev &= ~FD_POLL_STICKY;
Willy Tarreau1714e0f2009-03-28 20:54:53 +0100817 EV_FD_REM(fd);
Willy Tarreaucff64112008-11-03 06:26:53 +0100818 si->flags |= SI_FL_ERR;
Willy Tarreaue5ed4062008-08-30 03:17:31 +0200819 task_wakeup(si->owner, TASK_WOKEN_IO);
820 return 1;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200821}
822
Willy Tarreau48adac52008-08-30 04:58:38 +0200823/*
Willy Tarreau3c6ab2e2008-09-04 11:19:41 +0200824 * This function performs a shutdown-write on a stream interface in a connected or
825 * init state (it does nothing for other states). It either shuts the write side
Willy Tarreau99126c32008-11-27 10:30:51 +0100826 * or closes the file descriptor and marks itself as closed. The buffer flags are
827 * updated to reflect the new state.
Willy Tarreau48adac52008-08-30 04:58:38 +0200828 */
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100829void stream_sock_shutw(struct stream_interface *si)
Willy Tarreau48adac52008-08-30 04:58:38 +0200830{
Willy Tarreau99126c32008-11-27 10:30:51 +0100831 if (si->ob->flags & BF_SHUTW)
832 return;
833 si->ob->flags |= BF_SHUTW;
834 si->ob->wex = TICK_ETERNITY;
Willy Tarreaub0ef7352008-12-14 13:26:20 +0100835 si->flags &= ~SI_FL_WAIT_DATA;
Willy Tarreau99126c32008-11-27 10:30:51 +0100836
Willy Tarreaub38903c2008-11-23 21:33:29 +0100837 switch (si->state) {
Willy Tarreaub38903c2008-11-23 21:33:29 +0100838 case SI_ST_EST:
Willy Tarreau720058c2009-07-14 19:21:50 +0200839 /* we have to shut before closing, otherwise some short messages
840 * may never leave the system, especially when there are remaining
841 * unread data in the socket input buffer, or when nolinger is set.
842 */
843 EV_FD_CLR(si->fd, DIR_WR);
844 shutdown(si->fd, SHUT_WR);
845
846 if (!(si->ib->flags & BF_SHUTR))
Willy Tarreaub38903c2008-11-23 21:33:29 +0100847 return;
Willy Tarreau5d707e12009-06-28 11:09:07 +0200848
Willy Tarreaub38903c2008-11-23 21:33:29 +0100849 /* fall through */
850 case SI_ST_CON:
Willy Tarreau8bfa4262008-11-27 09:25:45 +0100851 /* we may have to close a pending connection, and mark the
852 * response buffer as shutr
853 */
Willy Tarreau48adac52008-08-30 04:58:38 +0200854 fd_delete(si->fd);
Willy Tarreaufe3718a2008-11-30 18:14:12 +0100855 /* fall through */
856 case SI_ST_CER:
Willy Tarreau7f006512008-12-07 14:04:04 +0100857 si->state = SI_ST_DIS;
858 default:
Willy Tarreaud06e7112009-03-29 10:18:41 +0200859 si->flags &= ~SI_FL_WAIT_ROOM;
Willy Tarreau99126c32008-11-27 10:30:51 +0100860 si->ib->flags |= BF_SHUTR;
Willy Tarreaufe3718a2008-11-30 18:14:12 +0100861 si->ib->rex = TICK_ETERNITY;
Willy Tarreau127334e2009-03-28 10:47:26 +0100862 si->exp = TICK_ETERNITY;
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100863 return;
Willy Tarreau48adac52008-08-30 04:58:38 +0200864 }
Willy Tarreau48adac52008-08-30 04:58:38 +0200865}
Willy Tarreaubaaee002006-06-26 02:48:02 +0200866
Willy Tarreau2d212792008-08-27 21:41:35 +0200867/*
Willy Tarreau3c6ab2e2008-09-04 11:19:41 +0200868 * This function performs a shutdown-read on a stream interface in a connected or
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100869 * init state (it does nothing for other states). It either shuts the read side
Willy Tarreau99126c32008-11-27 10:30:51 +0100870 * or closes the file descriptor and marks itself as closed. The buffer flags are
871 * updated to reflect the new state.
Willy Tarreau3c6ab2e2008-09-04 11:19:41 +0200872 */
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100873void stream_sock_shutr(struct stream_interface *si)
Willy Tarreau3c6ab2e2008-09-04 11:19:41 +0200874{
Willy Tarreau99126c32008-11-27 10:30:51 +0100875 if (si->ib->flags & BF_SHUTR)
876 return;
877 si->ib->flags |= BF_SHUTR;
878 si->ib->rex = TICK_ETERNITY;
Willy Tarreaub0ef7352008-12-14 13:26:20 +0100879 si->flags &= ~SI_FL_WAIT_ROOM;
Willy Tarreau99126c32008-11-27 10:30:51 +0100880
Willy Tarreau8bfa4262008-11-27 09:25:45 +0100881 if (si->state != SI_ST_EST && si->state != SI_ST_CON)
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100882 return;
Willy Tarreau3c6ab2e2008-09-04 11:19:41 +0200883
Willy Tarreaucff64112008-11-03 06:26:53 +0100884 if (si->ob->flags & BF_SHUTW) {
Willy Tarreau3c6ab2e2008-09-04 11:19:41 +0200885 fd_delete(si->fd);
Willy Tarreau74ab2ac2008-11-23 17:23:07 +0100886 si->state = SI_ST_DIS;
Willy Tarreau127334e2009-03-28 10:47:26 +0100887 si->exp = TICK_ETERNITY;
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100888 return;
Willy Tarreau3c6ab2e2008-09-04 11:19:41 +0200889 }
890 EV_FD_CLR(si->fd, DIR_RD);
Willy Tarreau0a5d5dd2008-11-23 19:31:35 +0100891 return;
Willy Tarreau3c6ab2e2008-09-04 11:19:41 +0200892}
893
894/*
Willy Tarreau3a16b2c2008-08-28 08:54:27 +0200895 * Updates a connected stream_sock file descriptor status and timeouts
896 * according to the buffers' flags. It should only be called once after the
897 * buffer flags have settled down, and before they are cleared. It doesn't
898 * harm to call it as often as desired (it just slightly hurts performance).
899 */
Willy Tarreaub0253252008-11-30 21:37:12 +0100900void stream_sock_data_finish(struct stream_interface *si)
Willy Tarreau3a16b2c2008-08-28 08:54:27 +0200901{
Willy Tarreaub0253252008-11-30 21:37:12 +0100902 struct buffer *ib = si->ib;
903 struct buffer *ob = si->ob;
904 int fd = si->fd;
Willy Tarreau3a16b2c2008-08-28 08:54:27 +0200905
Willy Tarreaue5ed4062008-08-30 03:17:31 +0200906 DPRINTF(stderr,"[%u] %s: fd=%d owner=%p ib=%p, ob=%p, exp(r,w)=%u,%u ibf=%08x obf=%08x ibl=%d obl=%d si=%d\n",
Willy Tarreau3a16b2c2008-08-28 08:54:27 +0200907 now_ms, __FUNCTION__,
908 fd, fdtab[fd].owner,
909 ib, ob,
910 ib->rex, ob->wex,
911 ib->flags, ob->flags,
Willy Tarreaub0253252008-11-30 21:37:12 +0100912 ib->l, ob->l, si->state);
Willy Tarreau3a16b2c2008-08-28 08:54:27 +0200913
914 /* Check if we need to close the read side */
915 if (!(ib->flags & BF_SHUTR)) {
Willy Tarreau2d212792008-08-27 21:41:35 +0200916 /* Read not closed, update FD status and timeout for reads */
Willy Tarreau3a16b2c2008-08-28 08:54:27 +0200917 if (ib->flags & (BF_FULL|BF_HIJACK)) {
Willy Tarreau2d212792008-08-27 21:41:35 +0200918 /* stop reading */
Willy Tarreaub0ef7352008-12-14 13:26:20 +0100919 if ((ib->flags & (BF_FULL|BF_HIJACK)) == BF_FULL)
920 si->flags |= SI_FL_WAIT_ROOM;
Willy Tarreau2d212792008-08-27 21:41:35 +0200921 EV_FD_COND_C(fd, DIR_RD);
922 ib->rex = TICK_ETERNITY;
923 }
924 else {
925 /* (re)start reading and update timeout. Note: we don't recompute the timeout
926 * everytime we get here, otherwise it would risk never to expire. We only
927 * update it if is was not yet set, or if we already got some read status.
928 */
Willy Tarreaub0ef7352008-12-14 13:26:20 +0100929 si->flags &= ~SI_FL_WAIT_ROOM;
Willy Tarreau2d212792008-08-27 21:41:35 +0200930 EV_FD_COND_S(fd, DIR_RD);
Willy Tarreau86491c32008-12-14 09:04:47 +0100931 if (!(ib->flags & BF_READ_NOEXP) &&
932 (!tick_isset(ib->rex) || ib->flags & BF_READ_ACTIVITY))
Willy Tarreau2d212792008-08-27 21:41:35 +0200933 ib->rex = tick_add_ifset(now_ms, ib->rto);
934 }
935 }
936
937 /* Check if we need to close the write side */
938 if (!(ob->flags & BF_SHUTW)) {
Willy Tarreau2d212792008-08-27 21:41:35 +0200939 /* Write not closed, update FD status and timeout for writes */
Willy Tarreau3eba98a2009-01-25 13:56:13 +0100940 if ((ob->send_max == 0 && !ob->pipe) ||
Willy Tarreau3ffeba12008-12-14 14:42:35 +0100941 (ob->flags & BF_EMPTY) ||
Willy Tarreau3da77c52008-08-29 09:58:42 +0200942 (ob->flags & (BF_HIJACK|BF_WRITE_ENA)) == 0) {
Willy Tarreau2d212792008-08-27 21:41:35 +0200943 /* stop writing */
Willy Tarreaub0ef7352008-12-14 13:26:20 +0100944 if ((ob->flags & (BF_EMPTY|BF_HIJACK|BF_WRITE_ENA)) == (BF_EMPTY|BF_WRITE_ENA))
945 si->flags |= SI_FL_WAIT_DATA;
Willy Tarreau2d212792008-08-27 21:41:35 +0200946 EV_FD_COND_C(fd, DIR_WR);
947 ob->wex = TICK_ETERNITY;
948 }
949 else {
950 /* (re)start writing and update timeout. Note: we don't recompute the timeout
951 * everytime we get here, otherwise it would risk never to expire. We only
952 * update it if is was not yet set, or if we already got some write status.
953 */
Willy Tarreaub0ef7352008-12-14 13:26:20 +0100954 si->flags &= ~SI_FL_WAIT_DATA;
Willy Tarreau2d212792008-08-27 21:41:35 +0200955 EV_FD_COND_S(fd, DIR_WR);
Willy Tarreau3da77c52008-08-29 09:58:42 +0200956 if (!tick_isset(ob->wex) || ob->flags & BF_WRITE_ACTIVITY) {
Willy Tarreau2d212792008-08-27 21:41:35 +0200957 ob->wex = tick_add_ifset(now_ms, ob->wto);
Willy Tarreaud06e7112009-03-29 10:18:41 +0200958 if (tick_isset(ib->rex)) {
Willy Tarreau2d212792008-08-27 21:41:35 +0200959 /* Note: depending on the protocol, we don't know if we're waiting
960 * for incoming data or not. So in order to prevent the socket from
961 * expiring read timeouts during writes, we refresh the read timeout,
962 * except if it was already infinite.
963 */
Willy Tarreaud06e7112009-03-29 10:18:41 +0200964 ib->rex = tick_add_ifset(now_ms, ib->rto);
Willy Tarreau2d212792008-08-27 21:41:35 +0200965 }
966 }
967 }
968 }
Willy Tarreau2d212792008-08-27 21:41:35 +0200969}
970
Willy Tarreau3ffeba12008-12-14 14:42:35 +0100971/* This function is used for inter-stream-interface calls. It is called by the
972 * consumer to inform the producer side that it may be interested in checking
973 * for free space in the buffer. Note that it intentionally does not update
974 * timeouts, so that we can still check them later at wake-up.
975 */
976void stream_sock_chk_rcv(struct stream_interface *si)
977{
978 struct buffer *ib = si->ib;
979
980 DPRINTF(stderr,"[%u] %s: fd=%d owner=%p ib=%p, ob=%p, exp(r,w)=%u,%u ibf=%08x obf=%08x ibl=%d obl=%d si=%d\n",
981 now_ms, __FUNCTION__,
Vincenzo Farruggia9b97cff2009-01-30 16:49:10 +0000982 si->fd, fdtab[si->fd].owner,
983 ib, si->ob,
984 ib->rex, si->ob->wex,
985 ib->flags, si->ob->flags,
986 ib->l, si->ob->l, si->state);
Willy Tarreau3ffeba12008-12-14 14:42:35 +0100987
988 if (unlikely(si->state != SI_ST_EST || (ib->flags & BF_SHUTR)))
989 return;
990
991 if (ib->flags & (BF_FULL|BF_HIJACK)) {
992 /* stop reading */
993 if ((ib->flags & (BF_FULL|BF_HIJACK)) == BF_FULL)
994 si->flags |= SI_FL_WAIT_ROOM;
995 EV_FD_COND_C(si->fd, DIR_RD);
996 }
997 else {
998 /* (re)start reading */
999 si->flags &= ~SI_FL_WAIT_ROOM;
1000 EV_FD_COND_S(si->fd, DIR_RD);
1001 }
1002}
1003
1004
1005/* This function is used for inter-stream-interface calls. It is called by the
1006 * producer to inform the consumer side that it may be interested in checking
1007 * for data in the buffer. Note that it intentionally does not update timeouts,
1008 * so that we can still check them later at wake-up.
1009 */
1010void stream_sock_chk_snd(struct stream_interface *si)
1011{
1012 struct buffer *ob = si->ob;
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001013 int retval;
Willy Tarreau3ffeba12008-12-14 14:42:35 +01001014
1015 DPRINTF(stderr,"[%u] %s: fd=%d owner=%p ib=%p, ob=%p, exp(r,w)=%u,%u ibf=%08x obf=%08x ibl=%d obl=%d si=%d\n",
1016 now_ms, __FUNCTION__,
Vincenzo Farruggia9b97cff2009-01-30 16:49:10 +00001017 si->fd, fdtab[si->fd].owner,
1018 si->ib, ob,
1019 si->ib->rex, ob->wex,
1020 si->ib->flags, ob->flags,
1021 si->ib->l, ob->l, si->state);
Willy Tarreau3ffeba12008-12-14 14:42:35 +01001022
1023 if (unlikely(si->state != SI_ST_EST || (ob->flags & BF_SHUTW)))
1024 return;
1025
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001026 if (!(si->flags & SI_FL_WAIT_DATA) || /* not waiting for data */
1027 (fdtab[si->fd].ev & FD_POLL_OUT) || /* we'll be called anyway */
Willy Tarreau3eba98a2009-01-25 13:56:13 +01001028 !(ob->send_max || ob->pipe) || /* called with nothing to send ! */
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001029 !(ob->flags & (BF_HIJACK|BF_WRITE_ENA))) /* we may not write */
1030 return;
1031
1032 retval = stream_sock_write_loop(si, ob);
Willy Tarreauc54aef32009-07-27 20:08:06 +02001033 /* here, we have :
1034 * retval < 0 if an error was encountered during write.
1035 * retval = 0 if we can't write anymore without polling
1036 * retval = 1 if we're invited to come back when desired
1037 */
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001038 if (retval < 0) {
1039 /* Write error on the file descriptor. We mark the FD as STERROR so
1040 * that we don't use it anymore and we notify the task.
1041 */
1042 fdtab[si->fd].state = FD_STERROR;
1043 fdtab[si->fd].ev &= ~FD_POLL_STICKY;
Willy Tarreau1714e0f2009-03-28 20:54:53 +01001044 EV_FD_REM(si->fd);
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001045 si->flags |= SI_FL_ERR;
1046 goto out_wakeup;
1047 }
1048
Willy Tarreauc54aef32009-07-27 20:08:06 +02001049 /* OK, so now we know that retval >= 0 means that some data might have
1050 * been sent, and that we may have to poll first. We have to do that
1051 * too if the buffer is not empty.
1052 */
1053 if (ob->send_max == 0 && !ob->pipe) {
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001054 /* the connection is established but we can't write. Either the
1055 * buffer is empty, or we just refrain from sending because the
1056 * send_max limit was reached. Maybe we just wrote the last
1057 * chunk and need to close.
1058 */
1059 if (((ob->flags & (BF_SHUTW|BF_EMPTY|BF_HIJACK|BF_WRITE_ENA|BF_SHUTR)) ==
1060 (BF_EMPTY|BF_WRITE_ENA|BF_SHUTR)) &&
1061 (si->state == SI_ST_EST)) {
1062 stream_sock_shutw(si);
1063 goto out_wakeup;
1064 }
Willy Tarreaud06e7112009-03-29 10:18:41 +02001065
1066 if ((ob->flags & (BF_SHUTW|BF_EMPTY|BF_HIJACK|BF_WRITE_ENA)) == (BF_EMPTY|BF_WRITE_ENA))
Willy Tarreau3ffeba12008-12-14 14:42:35 +01001067 si->flags |= SI_FL_WAIT_DATA;
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001068 ob->wex = TICK_ETERNITY;
Willy Tarreau3ffeba12008-12-14 14:42:35 +01001069 }
1070 else {
Willy Tarreauc54aef32009-07-27 20:08:06 +02001071 /* Otherwise there are remaining data to be sent in the buffer,
1072 * which means we have to poll before doing so.
1073 */
Willy Tarreau3ffeba12008-12-14 14:42:35 +01001074 EV_FD_COND_S(si->fd, DIR_WR);
Willy Tarreauc54aef32009-07-27 20:08:06 +02001075 si->flags &= ~SI_FL_WAIT_DATA;
1076 if (!tick_isset(ob->wex))
1077 ob->wex = tick_add_ifset(now_ms, ob->wto);
Willy Tarreau3ffeba12008-12-14 14:42:35 +01001078 }
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001079
Willy Tarreauc9619462009-03-09 22:40:57 +01001080 if (likely(ob->flags & BF_WRITE_ACTIVITY)) {
1081 /* update timeout if we have written something */
1082 if ((ob->send_max || ob->pipe) &&
1083 (ob->flags & (BF_SHUTW|BF_WRITE_PARTIAL)) == BF_WRITE_PARTIAL)
1084 ob->wex = tick_add_ifset(now_ms, ob->wto);
1085
1086 if (tick_isset(si->ib->rex)) {
1087 /* Note: to prevent the client from expiring read timeouts
1088 * during writes, we refresh it. A better solution would be
1089 * to merge read+write timeouts into a unique one, although
1090 * that needs some study particularly on full-duplex TCP
1091 * connections.
1092 */
1093 si->ib->rex = tick_add_ifset(now_ms, si->ib->rto);
1094 }
1095 }
1096
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001097 /* in case of special condition (error, shutdown, end of write...), we
1098 * have to notify the task.
1099 */
1100 if (likely((ob->flags & (BF_WRITE_NULL|BF_WRITE_ERROR|BF_SHUTW)) ||
Willy Tarreau3eba98a2009-01-25 13:56:13 +01001101 (!ob->to_forward && !ob->send_max && !ob->pipe) ||
Willy Tarreaua456f2a2009-01-18 17:38:44 +01001102 si->state != SI_ST_EST)) {
1103 out_wakeup:
1104 task_wakeup(si->owner, TASK_WOKEN_IO);
1105 }
Willy Tarreau3ffeba12008-12-14 14:42:35 +01001106}
1107
Willy Tarreaubaaee002006-06-26 02:48:02 +02001108
1109/*
1110 * Local variables:
1111 * c-indent-level: 8
1112 * c-basic-offset: 8
1113 * End:
1114 */