blob: 45413432295a21d03d92ba3cf4335593923491ef [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 Tarreau83749182007-04-15 20:56:27 +020024#include <common/standard.h>
Willy Tarreau2dd0d472006-06-29 17:53:05 +020025#include <common/time.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020026
Willy Tarreaubaaee002006-06-26 02:48:02 +020027#include <types/buffers.h>
28#include <types/global.h>
Willy Tarreaubaaee002006-06-26 02:48:02 +020029#include <types/polling.h>
Willy Tarreau6996e152007-04-30 14:37:43 +020030#include <types/session.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 Tarreau6996e152007-04-30 14:37:43 +020045 __label__ out_eternity, out_wakeup, out_error;
Willy Tarreau54469402006-07-29 16:59:06 +020046 struct buffer *b = fdtab[fd].cb[DIR_RD].b;
Willy Tarreau83749182007-04-15 20:56:27 +020047 int ret, max, retval;
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 Tarreaud7971282006-07-29 18:36:34 +020051 fprintf(stderr,"stream_sock_read : fd=%d, owner=%p\n", fd, 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 Tarreau83749182007-04-15 20:56:27 +020056 if (unlikely(fdtab[fd].ev & FD_POLL_HUP)) {
57 /* connection closed */
58 b->flags |= BF_READ_NULL;
Willy Tarreau6996e152007-04-30 14:37:43 +020059 goto out_eternity;
60 }
61 else if (unlikely(fdtab[fd].state == FD_STERROR || (fdtab[fd].ev & FD_POLL_ERR))) {
62 goto out_error;
Willy Tarreau83749182007-04-15 20:56:27 +020063 }
64
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;
114 b->flags |= BF_PARTIAL_READ;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200115
Willy Tarreau83749182007-04-15 20:56:27 +0200116 if (b->r == b->data + BUFSIZE) {
117 b->r = b->data; /* wrap around the buffer */
118 }
Willy Tarreau9641e8f2007-03-23 23:02:09 +0100119
Willy Tarreau83749182007-04-15 20:56:27 +0200120 b->total += ret;
Willy Tarreau9641e8f2007-03-23 23:02:09 +0100121
Willy Tarreau6996e152007-04-30 14:37:43 +0200122 if (b->l == b->rlim - b->data) {
123 /* The buffer is now full, there's no point in going through
124 * the loop again.
125 */
126 EV_FD_CLR(fd, DIR_RD);
127 goto out_eternity;
128 }
129
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200130 /* if too many bytes were missing from last read, it means that
131 * it's pointless trying to read again because the system does
132 * not have them in buffers.
133 */
134 if (ret < max)
135 break;
136
137 /* generally if we read something smaller than 1 or 2 MSS,
Willy Tarreau83749182007-04-15 20:56:27 +0200138 * it means that it's not worth trying to read again. It may
139 * also happen on headers, but the application then can stop
140 * reading before we start polling.
141 */
142 if (ret < MIN_RET_FOR_READ_LOOP)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200143 break;
Willy Tarreau83749182007-04-15 20:56:27 +0200144
Willy Tarreau6996e152007-04-30 14:37:43 +0200145 if (--read_poll <= 0)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200146 break;
Willy Tarreau83749182007-04-15 20:56:27 +0200147
Willy Tarreau83749182007-04-15 20:56:27 +0200148 }
149 else if (ret == 0) {
Willy Tarreau6996e152007-04-30 14:37:43 +0200150 /* connection closed */
Willy Tarreau83749182007-04-15 20:56:27 +0200151 b->flags |= BF_READ_NULL;
Willy Tarreau6996e152007-04-30 14:37:43 +0200152 goto out_eternity;
Willy Tarreau83749182007-04-15 20:56:27 +0200153 }
Willy Tarreau9f195292007-04-15 21:26:58 +0200154 else if (errno == EAGAIN) {
155 /* Ignore EAGAIN but inform the poller that there is
Willy Tarreau6996e152007-04-30 14:37:43 +0200156 * nothing to read left. But we may have done some work
157 * justifying to notify the task.
Willy Tarreau9f195292007-04-15 21:26:58 +0200158 */
Willy Tarreau83749182007-04-15 20:56:27 +0200159 retval = 0;
160 break;
161 }
162 else {
Willy Tarreau6996e152007-04-30 14:37:43 +0200163 goto out_error;
Willy Tarreau83749182007-04-15 20:56:27 +0200164 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200165 } /* while (1) */
Willy Tarreaubaaee002006-06-26 02:48:02 +0200166
Willy Tarreau6996e152007-04-30 14:37:43 +0200167 /*
168 * The only way to get out of this loop is to have stopped reading
169 * without any error nor close, either by limiting the number of
170 * loops, or because of an EAGAIN. We only rearm the timer if we
171 * have at least read something.
172 */
173
174 if (b->flags & BF_PARTIAL_READ) {
Willy Tarreaua8b55e32007-05-13 16:08:19 +0200175 if (tv_add_ifset(&b->rex, &now, &b->rto))
Willy Tarreau6996e152007-04-30 14:37:43 +0200176 goto out_wakeup;
Willy Tarreau6996e152007-04-30 14:37:43 +0200177 out_eternity:
178 tv_eternity(&b->rex);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200179 }
180
Willy Tarreau6996e152007-04-30 14:37:43 +0200181 out_wakeup:
182 if (b->flags & BF_READ_STATUS)
183 task_wakeup(fdtab[fd].owner);
Willy Tarreau83749182007-04-15 20:56:27 +0200184 fdtab[fd].ev &= ~FD_POLL_RD;
185 return retval;
Willy Tarreau6996e152007-04-30 14:37:43 +0200186
187 out_error:
188 /* There was an error. we must wakeup the task. No need to clear
189 * the events, the task will do it.
190 */
191 fdtab[fd].state = FD_STERROR;
192 b->flags |= BF_READ_ERROR;
193 goto out_eternity;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200194}
195
196
197/*
Willy Tarreauf8306d52006-07-29 19:01:31 +0200198 * this function is called on a write event from a stream socket.
Willy Tarreau83749182007-04-15 20:56:27 +0200199 * It returns 0 if we have a high confidence that we will not be
200 * able to write more data without polling first. Returns non-zero
201 * otherwise.
Willy Tarreaubaaee002006-06-26 02:48:02 +0200202 */
Willy Tarreauf8306d52006-07-29 19:01:31 +0200203int stream_sock_write(int fd) {
Willy Tarreau6996e152007-04-30 14:37:43 +0200204 __label__ out_eternity, out_wakeup, out_error;
Willy Tarreau54469402006-07-29 16:59:06 +0200205 struct buffer *b = fdtab[fd].cb[DIR_WR].b;
Willy Tarreau83749182007-04-15 20:56:27 +0200206 int ret, max, retval;
207 int write_poll = MAX_WRITE_POLL_LOOPS;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200208
209#ifdef DEBUG_FULL
Willy Tarreauf8306d52006-07-29 19:01:31 +0200210 fprintf(stderr,"stream_sock_write : fd=%d, owner=%p\n", fd, fdtab[fd].owner);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200211#endif
212
Willy Tarreau83749182007-04-15 20:56:27 +0200213 retval = 1;
Willy Tarreau6996e152007-04-30 14:37:43 +0200214 if (unlikely(fdtab[fd].state == FD_STERROR || (fdtab[fd].ev & FD_POLL_ERR)))
215 goto out_error;
Willy Tarreau83749182007-04-15 20:56:27 +0200216
Willy Tarreau6996e152007-04-30 14:37:43 +0200217 while (1) {
Willy Tarreau83749182007-04-15 20:56:27 +0200218 if (b->l == 0) { /* let's realign the buffer to optimize I/O */
219 b->r = b->w = b->lr = b->data;
220 max = 0;
221 }
222 else if (b->r > b->w) {
223 max = b->r - b->w;
224 }
225 else {
226 max = b->data + BUFSIZE - b->w;
227 }
228
Willy Tarreaubaaee002006-06-26 02:48:02 +0200229 if (max == 0) {
Willy Tarreauf8306d52006-07-29 19:01:31 +0200230 /* may be we have received a connection acknowledgement in TCP mode without data */
Willy Tarreau6996e152007-04-30 14:37:43 +0200231 if (likely(fdtab[fd].state == FD_STCONN)) {
232 struct session *s = fdtab[fd].owner->context;
233
234 /* We have no data to send to check the connection, and
235 * getsockopt() will not inform us whether the connection
236 * is still pending. So we'll reuse connect() to check the
237 * state of the socket. This has the advantage of givig us
238 * the following info :
239 * - error
240 * - connecting (EALREADY, EINPROGRESS)
241 * - connected (EISCONN, 0)
242 */
243 if ((connect(fd, (struct sockaddr *)&s->srv_addr, sizeof(s->srv_addr)) == 0))
244 errno = 0;
245
246 if (errno == EALREADY || errno == EINPROGRESS) {
247 retval = 0;
248 goto out_wakeup;
Willy Tarreauf8306d52006-07-29 19:01:31 +0200249 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200250
251 if (errno && errno != EISCONN)
252 goto out_error;
253
254 /* OK we just need to indicate that we got a connection
255 * and that we wrote nothing.
256 */
257 b->flags |= BF_WRITE_NULL;
258 fdtab[fd].state = FD_STREADY;
Willy Tarreauf8306d52006-07-29 19:01:31 +0200259 }
260
Willy Tarreau6996e152007-04-30 14:37:43 +0200261 /* Funny, we were called to write something but there wasn't
262 * anything. Theorically we cannot get there, but just in case,
263 * let's disable the write event and pretend we never came there.
264 */
Willy Tarreauf161a342007-04-08 16:59:42 +0200265 EV_FD_CLR(fd, DIR_WR);
Willy Tarreau83749182007-04-15 20:56:27 +0200266 goto out_eternity;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200267 }
268
269#ifndef MSG_NOSIGNAL
270 {
271 int skerr;
272 socklen_t lskerr = sizeof(skerr);
273
Willy Tarreauc6423482006-10-15 14:59:03 +0200274 ret = getsockopt(fd, SOL_SOCKET, SO_ERROR, &skerr, &lskerr);
275 if (ret == -1 || skerr)
Willy Tarreaubaaee002006-06-26 02:48:02 +0200276 ret = -1;
277 else
278 ret = send(fd, b->w, max, MSG_DONTWAIT);
279 }
280#else
281 ret = send(fd, b->w, max, MSG_DONTWAIT | MSG_NOSIGNAL);
282#endif
283
284 if (ret > 0) {
285 b->l -= ret;
286 b->w += ret;
287
Willy Tarreau0f9f5052006-07-29 17:39:25 +0200288 b->flags |= BF_PARTIAL_WRITE;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200289
290 if (b->w == b->data + BUFSIZE) {
291 b->w = b->data; /* wrap around the buffer */
292 }
Willy Tarreau83749182007-04-15 20:56:27 +0200293
Willy Tarreau6996e152007-04-30 14:37:43 +0200294 if (!b->l) {
295 EV_FD_CLR(fd, DIR_WR);
296 goto out_eternity;
297 }
Willy Tarreau83749182007-04-15 20:56:27 +0200298
Willy Tarreauab3e1d32007-06-03 14:10:36 +0200299 /* if the system buffer is full, don't insist */
300 if (ret < max)
301 break;
302
Willy Tarreau6996e152007-04-30 14:37:43 +0200303 if (--write_poll <= 0)
304 break;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200305 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200306 else if (ret == 0 || errno == EAGAIN) {
307 /* nothing written, just pretend we were never called
308 * and wait for the socket to be ready. But we may have
309 * done some work justifying to notify the task.
310 */
Willy Tarreau83749182007-04-15 20:56:27 +0200311 retval = 0;
312 break;
313 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200314 else {
Willy Tarreau6996e152007-04-30 14:37:43 +0200315 goto out_error;
Willy Tarreaubaaee002006-06-26 02:48:02 +0200316 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200317 } /* while (1) */
Willy Tarreaubaaee002006-06-26 02:48:02 +0200318
Willy Tarreau6996e152007-04-30 14:37:43 +0200319 /*
320 * The only way to get out of this loop is to have stopped writing
321 * without any error, either by limiting the number of loops, or
322 * because of an EAGAIN. We only rearm the timer if we have at least
323 * written something.
324 */
325
326 if (b->flags & BF_PARTIAL_WRITE) {
Willy Tarreaua8b55e32007-05-13 16:08:19 +0200327 if (tv_add_ifset(&b->wex, &now, &b->wto)) {
Willy Tarreau83749182007-04-15 20:56:27 +0200328 /* FIXME: to prevent the client from expiring read timeouts during writes,
329 * we refresh it. A solution would be to merge read+write timeouts into a
330 * unique one, although that needs some study particularly on full-duplex
331 * TCP connections. */
Willy Tarreaufa645582007-06-03 15:59:52 +0200332 if (!(b->flags & BF_SHUTR_STATUS))
333 b->rex = b->wex;
Willy Tarreau6996e152007-04-30 14:37:43 +0200334 goto out_wakeup;
Willy Tarreau83749182007-04-15 20:56:27 +0200335 }
Willy Tarreau6996e152007-04-30 14:37:43 +0200336 out_eternity:
337 tv_eternity(&b->wex);
Willy Tarreaubaaee002006-06-26 02:48:02 +0200338 }
Willy Tarreaubaaee002006-06-26 02:48:02 +0200339
Willy Tarreau6996e152007-04-30 14:37:43 +0200340 out_wakeup:
341 if (b->flags & BF_WRITE_STATUS)
342 task_wakeup(fdtab[fd].owner);
Willy Tarreau83749182007-04-15 20:56:27 +0200343 fdtab[fd].ev &= ~FD_POLL_WR;
344 return retval;
Willy Tarreau6996e152007-04-30 14:37:43 +0200345
346 out_error:
347 /* There was an error. we must wakeup the task. No need to clear
348 * the events, the task will do it.
349 */
350 fdtab[fd].state = FD_STERROR;
351 b->flags |= BF_WRITE_ERROR;
352 goto out_eternity;
353
354
Willy Tarreaubaaee002006-06-26 02:48:02 +0200355}
356
Willy Tarreaubaaee002006-06-26 02:48:02 +0200357
358
359/*
360 * Local variables:
361 * c-indent-level: 8
362 * c-basic-offset: 8
363 * End:
364 */