blob: fab32ca298f04cee8625952a5b93e1f298fb2b96 [file] [log] [blame]
Willy Tarreaubaaee002006-06-26 02:48:02 +02001/*
2 * Functions operating on SOCK_STREAM and buffers.
3 *
Willy Tarreaue09e0ce2007-03-18 16:31:29 +01004 * Copyright 2000-2007 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
13#include <errno.h>
14#include <fcntl.h>
15#include <stdio.h>
16#include <stdlib.h>
17
18#include <sys/socket.h>
19#include <sys/stat.h>
20#include <sys/types.h>
21
Willy Tarreau2dd0d472006-06-29 17:53:05 +020022#include <common/compat.h>
Willy Tarreaue3ba5f02006-06-29 18:54:54 +020023#include <common/config.h>
Willy Tarreaud6f087e2008-01-18 17:20:13 +010024#include <common/debug.h>
Willy Tarreau83749182007-04-15 20:56:27 +020025#include <common/standard.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020026#include <common/time.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020027
Willy Tarreaubaaee002006-06-26 02:48:02 +020028#include <types/buffers.h>
29#include <types/global.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020030#include <types/polling.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020031
32#include <proto/client.h>
33#include <proto/fd.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020034#include <proto/stream_sock.h>
35#include <proto/task.h>
36
37
38/*
Willy Tarreaud7971282006-07-29 18:36:34 +020039 * this function is called on a read event from a stream socket.
Willy Tarreau83749182007-04-15 20:56:27 +020040 * It returns 0 if we have a high confidence that we will not be
41 * able to read more data without polling first. Returns non-zero
42 * otherwise.
Willy Tarreaubaaee002006-06-26 02:48:02 +020043 */
Willy Tarreaud7971282006-07-29 18:36:34 +020044int stream_sock_read(int fd) {
Willy Tarreaud6f087e2008-01-18 17:20:13 +010045 __label__ out_eternity, out_wakeup, out_shutdown_r, out_error;
Willy Tarreau54469402006-07-29 16:59:06 +020046 struct buffer *b = fdtab[fd].cb[DIR_RD].b;
Willy Tarreau8a7af602008-05-03 23:07:14 +020047 int ret, max, retval, cur_read;
Willy Tarreaub8949f12007-03-23 22:39:59 +010048 int read_poll = MAX_READ_POLL_LOOPS;
Willy Tarreaubaaee002006-06-26 02:48:02 +020049
50#ifdef DEBUG_FULL
Willy Tarreaud6f087e2008-01-18 17:20:13 +010051 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 +020052#endif
53
Willy Tarreau83749182007-04-15 20:56:27 +020054 retval = 1;
55
Willy Tarreaud6f087e2008-01-18 17:20:13 +010056 /* stop immediately on errors */
57 if (fdtab[fd].state == FD_STERROR || (fdtab[fd].ev & FD_POLL_ERR))
Willy Tarreau6996e152007-04-30 14:37:43 +020058 goto out_error;
Willy Tarreaud6f087e2008-01-18 17:20:13 +010059
60 /* stop here if we reached the end of data */
61 if ((fdtab[fd].ev & (FD_POLL_IN|FD_POLL_HUP)) == FD_POLL_HUP)
62 goto out_shutdown_r;
Willy Tarreau83749182007-04-15 20:56:27 +020063
Willy Tarreau8a7af602008-05-03 23:07:14 +020064 cur_read = 0;
Willy Tarreau6996e152007-04-30 14:37:43 +020065 while (1) {
66 /*
67 * 1. compute the maximum block size we can read at once.
68 */
Willy Tarreau83749182007-04-15 20:56:27 +020069 if (b->l == 0) { /* let's realign the buffer to optimize I/O */
70 b->r = b->w = b->lr = b->data;
71 max = b->rlim - b->data;
72 }
73 else if (b->r > b->w) {
74 max = b->rlim - b->r;
75 }
76 else {
77 max = b->w - b->r;
78 /* FIXME: theorically, if w>0, we shouldn't have rlim < data+size anymore
79 * since it means that the rewrite protection has been removed. This
80 * implies that the if statement can be removed.
81 */
82 if (max > b->rlim - b->data)
Willy Tarreaubaaee002006-06-26 02:48:02 +020083 max = b->rlim - b->data;
Willy Tarreau83749182007-04-15 20:56:27 +020084 }
Willy Tarreaubaaee002006-06-26 02:48:02 +020085
Willy Tarreau6996e152007-04-30 14:37:43 +020086 if (unlikely(max == 0)) {
87 /* Not anymore room to store data. This should theorically
88 * never happen, but better safe than sorry !
89 */
Willy Tarreau83749182007-04-15 20:56:27 +020090 EV_FD_CLR(fd, DIR_RD);
Willy Tarreau6996e152007-04-30 14:37:43 +020091 goto out_eternity;
Willy Tarreau83749182007-04-15 20:56:27 +020092 }
Willy Tarreaubaaee002006-06-26 02:48:02 +020093
Willy Tarreau6996e152007-04-30 14:37:43 +020094 /*
95 * 2. read the largest possible block
96 */
Willy Tarreaubaaee002006-06-26 02:48:02 +020097#ifndef MSG_NOSIGNAL
Willy Tarreau83749182007-04-15 20:56:27 +020098 {
99 int skerr;
100 socklen_t lskerr = sizeof(skerr);
101
102 ret = getsockopt(fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr);
103 if (ret == -1 || skerr)
104 ret = -1;
105 else
106 ret = recv(fd, b->r, max, 0);
107 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200108#else
Willy Tarreau83749182007-04-15 20:56:27 +0200109 ret = recv(fd, b->r, max, MSG_NOSIGNAL);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200110#endif
Willy Tarreau83749182007-04-15 20:56:27 +0200111 if (ret > 0) {
112 b->r += ret;
113 b->l += ret;
Willy Tarreau8a7af602008-05-03 23:07:14 +0200114 cur_read += ret;
Willy Tarreau83749182007-04-15 20:56:27 +0200115 b->flags |= BF_PARTIAL_READ;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200116
Willy Tarreau83749182007-04-15 20:56:27 +0200117 if (b->r == b->data + BUFSIZE) {
118 b->r = b->data; /* wrap around the buffer */
119 }
Willy Tarreau9641e8f2007-03-23 23:02:09 +0100120
Willy Tarreau83749182007-04-15 20:56:27 +0200121 b->total += ret;
Willy Tarreau9641e8f2007-03-23 23:02:09 +0100122
Willy Tarreau6996e152007-04-30 14:37:43 +0200123 if (b->l == b->rlim - b->data) {
124 /* The buffer is now full, there's no point in going through
125 * the loop again.
126 */
Willy Tarreau8a7af602008-05-03 23:07:14 +0200127 if (!(b->flags & BF_STREAMER_FAST) && (cur_read == b->l)) {
128 b->xfer_small = 0;
129 b->xfer_large++;
130 if (b->xfer_large >= 3) {
131 /* we call this buffer a fast streamer if it manages
132 * to be filled in one call 3 consecutive times.
133 */
134 b->flags |= (BF_STREAMER | BF_STREAMER_FAST);
135 //fputc('+', stderr);
136 }
137 }
138 else if ((b->flags & (BF_STREAMER | BF_STREAMER_FAST)) &&
139 (cur_read <= BUFSIZE / 2)) {
140 b->xfer_large = 0;
141 b->xfer_small++;
142 if (b->xfer_small >= 2) {
143 /* if the buffer has been at least half full twice,
144 * we receive faster than we send, so at least it
145 * is not a "fast streamer".
146 */
147 b->flags &= ~BF_STREAMER_FAST;
148 //fputc('-', stderr);
149 }
150 }
151 else {
152 b->xfer_small = 0;
153 b->xfer_large = 0;
154 }
155
Willy Tarreau6996e152007-04-30 14:37:43 +0200156 EV_FD_CLR(fd, DIR_RD);
157 goto out_eternity;
158 }
159
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200160 /* if too many bytes were missing from last read, it means that
161 * it's pointless trying to read again because the system does
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100162 * not have them in buffers. BTW, if FD_POLL_HUP was present,
163 * it means that we have reached the end and that the connection
164 * is closed.
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200165 */
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100166 if (ret < max) {
Willy Tarreau8a7af602008-05-03 23:07:14 +0200167 if ((b->flags & (BF_STREAMER | BF_STREAMER_FAST)) &&
168 (cur_read <= BUFSIZE / 2)) {
169 b->xfer_large = 0;
170 b->xfer_small++;
171 if (b->xfer_small >= 3) {
172 /* we have read less than half of the buffer in
173 * one pass, and this happened at least 3 times.
174 * This is definitely not a streamer.
175 */
176 b->flags &= ~(BF_STREAMER | BF_STREAMER_FAST);
177 //fputc('!', stderr);
178 }
179 }
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100180 if (fdtab[fd].ev & FD_POLL_HUP)
181 goto out_shutdown_r;
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200182 break;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100183 }
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200184
185 /* generally if we read something smaller than 1 or 2 MSS,
Willy Tarreau83749182007-04-15 20:56:27 +0200186 * it means that it's not worth trying to read again. It may
187 * also happen on headers, but the application then can stop
188 * reading before we start polling.
189 */
190 if (ret < MIN_RET_FOR_READ_LOOP)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200191 break;
Willy Tarreau83749182007-04-15 20:56:27 +0200192
Willy Tarreau6996e152007-04-30 14:37:43 +0200193 if (--read_poll <= 0)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200194 break;
Willy Tarreau83749182007-04-15 20:56:27 +0200195
Willy Tarreau83749182007-04-15 20:56:27 +0200196 }
197 else if (ret == 0) {
Willy Tarreau6996e152007-04-30 14:37:43 +0200198 /* connection closed */
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100199 goto out_shutdown_r;
Willy Tarreau83749182007-04-15 20:56:27 +0200200 }
Willy Tarreau9f195292007-04-15 21:26:58 +0200201 else if (errno == EAGAIN) {
202 /* Ignore EAGAIN but inform the poller that there is
Willy Tarreau6996e152007-04-30 14:37:43 +0200203 * nothing to read left. But we may have done some work
204 * justifying to notify the task.
Willy Tarreau9f195292007-04-15 21:26:58 +0200205 */
Willy Tarreau83749182007-04-15 20:56:27 +0200206 retval = 0;
207 break;
208 }
209 else {
Willy Tarreau6996e152007-04-30 14:37:43 +0200210 goto out_error;
Willy Tarreau83749182007-04-15 20:56:27 +0200211 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200212 } /* while (1) */
Willy Tarreaubaaee002006-06-26 02:48:02 +0200213
Willy Tarreau6996e152007-04-30 14:37:43 +0200214 /*
215 * The only way to get out of this loop is to have stopped reading
216 * without any error nor close, either by limiting the number of
217 * loops, or because of an EAGAIN. We only rearm the timer if we
218 * have at least read something.
219 */
220
221 if (b->flags & BF_PARTIAL_READ) {
Willy Tarreaua8b55e32007-05-13 16:08:19 +0200222 if (tv_add_ifset(&b->rex, &now, &b->rto))
Willy Tarreau6996e152007-04-30 14:37:43 +0200223 goto out_wakeup;
Willy Tarreau6996e152007-04-30 14:37:43 +0200224 out_eternity:
225 tv_eternity(&b->rex);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200226 }
227
Willy Tarreau6996e152007-04-30 14:37:43 +0200228 out_wakeup:
229 if (b->flags & BF_READ_STATUS)
230 task_wakeup(fdtab[fd].owner);
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100231 fdtab[fd].ev &= ~FD_POLL_IN;
Willy Tarreau83749182007-04-15 20:56:27 +0200232 return retval;
Willy Tarreau6996e152007-04-30 14:37:43 +0200233
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100234 out_shutdown_r:
235 fdtab[fd].ev &= ~FD_POLL_HUP;
236 b->flags |= BF_READ_NULL;
237 goto out_eternity;
238
Willy Tarreau6996e152007-04-30 14:37:43 +0200239 out_error:
240 /* There was an error. we must wakeup the task. No need to clear
241 * the events, the task will do it.
242 */
243 fdtab[fd].state = FD_STERROR;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100244 fdtab[fd].ev &= ~FD_POLL_STICKY;
Willy Tarreau6996e152007-04-30 14:37:43 +0200245 b->flags |= BF_READ_ERROR;
246 goto out_eternity;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200247}
248
249
250/*
Willy Tarreauf8306d52006-07-29 19:01:31 +0200251 * this function is called on a write event from a stream socket.
Willy Tarreau83749182007-04-15 20:56:27 +0200252 * It returns 0 if we have a high confidence that we will not be
253 * able to write more data without polling first. Returns non-zero
254 * otherwise.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200255 */
Willy Tarreauf8306d52006-07-29 19:01:31 +0200256int stream_sock_write(int fd) {
Willy Tarreau6996e152007-04-30 14:37:43 +0200257 __label__ out_eternity, out_wakeup, out_error;
Willy Tarreau54469402006-07-29 16:59:06 +0200258 struct buffer *b = fdtab[fd].cb[DIR_WR].b;
Willy Tarreau83749182007-04-15 20:56:27 +0200259 int ret, max, retval;
260 int write_poll = MAX_WRITE_POLL_LOOPS;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200261
262#ifdef DEBUG_FULL
Willy Tarreauf8306d52006-07-29 19:01:31 +0200263 fprintf(stderr,"stream_sock_write : fd=%d, owner=%p\n", fd, fdtab[fd].owner);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200264#endif
265
Willy Tarreau83749182007-04-15 20:56:27 +0200266 retval = 1;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100267 if (fdtab[fd].state == FD_STERROR || (fdtab[fd].ev & FD_POLL_ERR))
Willy Tarreau6996e152007-04-30 14:37:43 +0200268 goto out_error;
Willy Tarreau83749182007-04-15 20:56:27 +0200269
Willy Tarreau6996e152007-04-30 14:37:43 +0200270 while (1) {
Willy Tarreau83749182007-04-15 20:56:27 +0200271 if (b->l == 0) { /* let's realign the buffer to optimize I/O */
272 b->r = b->w = b->lr = b->data;
273 max = 0;
274 }
275 else if (b->r > b->w) {
276 max = b->r - b->w;
277 }
278 else {
279 max = b->data + BUFSIZE - b->w;
280 }
281
Willy Tarreaubaaee002006-06-26 02:48:02 +0200282 if (max == 0) {
Willy Tarreauf8306d52006-07-29 19:01:31 +0200283 /* may be we have received a connection acknowledgement in TCP mode without data */
Willy Tarreau6996e152007-04-30 14:37:43 +0200284 if (likely(fdtab[fd].state == FD_STCONN)) {
Willy Tarreau6996e152007-04-30 14:37:43 +0200285 /* We have no data to send to check the connection, and
286 * getsockopt() will not inform us whether the connection
287 * is still pending. So we'll reuse connect() to check the
288 * state of the socket. This has the advantage of givig us
289 * the following info :
290 * - error
291 * - connecting (EALREADY, EINPROGRESS)
292 * - connected (EISCONN, 0)
293 */
Willy Tarreaue94ebd02007-10-09 17:14:37 +0200294 if ((connect(fd, fdtab[fd].peeraddr, fdtab[fd].peerlen) == 0))
Willy Tarreau6996e152007-04-30 14:37:43 +0200295 errno = 0;
296
297 if (errno == EALREADY || errno == EINPROGRESS) {
298 retval = 0;
299 goto out_wakeup;
Willy Tarreauf8306d52006-07-29 19:01:31 +0200300 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200301
302 if (errno && errno != EISCONN)
303 goto out_error;
304
305 /* OK we just need to indicate that we got a connection
306 * and that we wrote nothing.
307 */
308 b->flags |= BF_WRITE_NULL;
309 fdtab[fd].state = FD_STREADY;
Willy Tarreauf8306d52006-07-29 19:01:31 +0200310 }
311
Willy Tarreau6996e152007-04-30 14:37:43 +0200312 /* Funny, we were called to write something but there wasn't
313 * anything. Theorically we cannot get there, but just in case,
314 * let's disable the write event and pretend we never came there.
315 */
Willy Tarreauf161a342007-04-08 16:59:42 +0200316 EV_FD_CLR(fd, DIR_WR);
Willy Tarreau83749182007-04-15 20:56:27 +0200317 goto out_eternity;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200318 }
319
320#ifndef MSG_NOSIGNAL
321 {
322 int skerr;
323 socklen_t lskerr = sizeof(skerr);
324
Willy Tarreauc6423482006-10-15 14:59:03 +0200325 ret = getsockopt(fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr);
326 if (ret == -1 || skerr)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200327 ret = -1;
328 else
329 ret = send(fd, b->w, max, MSG_DONTWAIT);
330 }
331#else
332 ret = send(fd, b->w, max, MSG_DONTWAIT | MSG_NOSIGNAL);
333#endif
334
335 if (ret > 0) {
336 b->l -= ret;
337 b->w += ret;
338
Willy Tarreau0f9f5052006-07-29 17:39:25 +0200339 b->flags |= BF_PARTIAL_WRITE;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200340
341 if (b->w == b->data + BUFSIZE) {
342 b->w = b->data; /* wrap around the buffer */
343 }
Willy Tarreau83749182007-04-15 20:56:27 +0200344
Willy Tarreau6996e152007-04-30 14:37:43 +0200345 if (!b->l) {
346 EV_FD_CLR(fd, DIR_WR);
347 goto out_eternity;
348 }
Willy Tarreau83749182007-04-15 20:56:27 +0200349
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200350 /* if the system buffer is full, don't insist */
351 if (ret < max)
352 break;
353
Willy Tarreau6996e152007-04-30 14:37:43 +0200354 if (--write_poll <= 0)
355 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200356 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200357 else if (ret == 0 || errno == EAGAIN) {
358 /* nothing written, just pretend we were never called
359 * and wait for the socket to be ready. But we may have
360 * done some work justifying to notify the task.
361 */
Willy Tarreau83749182007-04-15 20:56:27 +0200362 retval = 0;
363 break;
364 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200365 else {
Willy Tarreau6996e152007-04-30 14:37:43 +0200366 goto out_error;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200367 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200368 } /* while (1) */
Willy Tarreaubaaee002006-06-26 02:48:02 +0200369
Willy Tarreau6996e152007-04-30 14:37:43 +0200370 /*
371 * The only way to get out of this loop is to have stopped writing
372 * without any error, either by limiting the number of loops, or
373 * because of an EAGAIN. We only rearm the timer if we have at least
374 * written something.
375 */
376
377 if (b->flags & BF_PARTIAL_WRITE) {
Willy Tarreaua8b55e32007-05-13 16:08:19 +0200378 if (tv_add_ifset(&b->wex, &now, &b->wto)) {
Willy Tarreau83749182007-04-15 20:56:27 +0200379 /* FIXME: to prevent the client from expiring read timeouts during writes,
380 * we refresh it. A solution would be to merge read+write timeouts into a
381 * unique one, although that needs some study particularly on full-duplex
382 * TCP connections. */
Willy Tarreaufa645582007-06-03 15:59:52 +0200383 if (!(b->flags & BF_SHUTR_STATUS))
384 b->rex = b->wex;
Willy Tarreau6996e152007-04-30 14:37:43 +0200385 goto out_wakeup;
Willy Tarreau83749182007-04-15 20:56:27 +0200386 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200387 out_eternity:
388 tv_eternity(&b->wex);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200389 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200390
Willy Tarreau6996e152007-04-30 14:37:43 +0200391 out_wakeup:
392 if (b->flags & BF_WRITE_STATUS)
393 task_wakeup(fdtab[fd].owner);
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100394 fdtab[fd].ev &= ~FD_POLL_OUT;
Willy Tarreau83749182007-04-15 20:56:27 +0200395 return retval;
Willy Tarreau6996e152007-04-30 14:37:43 +0200396
397 out_error:
398 /* There was an error. we must wakeup the task. No need to clear
399 * the events, the task will do it.
400 */
401 fdtab[fd].state = FD_STERROR;
Willy Tarreaud6f087e2008-01-18 17:20:13 +0100402 fdtab[fd].ev &= ~FD_POLL_STICKY;
Willy Tarreau6996e152007-04-30 14:37:43 +0200403 b->flags |= BF_WRITE_ERROR;
404 goto out_eternity;
405
406
Willy Tarreaubaaee002006-06-26 02:48:02 +0200407}
408
Willy Tarreaubaaee002006-06-26 02:48:02 +0200409
410
411/*
412 * Local variables:
413 * c-indent-level: 8
414 * c-basic-offset: 8
415 * End:
416 */