Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 1 | /* |
Willy Tarreau | f7bc57c | 2012-10-03 00:19:48 +0200 | [diff] [blame] | 2 | * RAW transport layer over SOCK_STREAM sockets. |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 3 | * |
Willy Tarreau | b277d6e | 2012-05-11 16:59:14 +0200 | [diff] [blame] | 4 | * Copyright 2000-2012 Willy Tarreau <w@1wt.eu> |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 5 | * |
| 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 Tarreau | 6b4aad4 | 2009-01-18 21:59:13 +0100 | [diff] [blame] | 13 | #define _GNU_SOURCE |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 14 | #include <errno.h> |
| 15 | #include <fcntl.h> |
| 16 | #include <stdio.h> |
| 17 | #include <stdlib.h> |
| 18 | |
| 19 | #include <sys/socket.h> |
| 20 | #include <sys/stat.h> |
| 21 | #include <sys/types.h> |
Dmitry Sivachenko | caf5898 | 2009-08-24 15:11:06 +0400 | [diff] [blame] | 22 | #include <netinet/tcp.h> |
| 23 | |
Willy Tarreau | 4c7e4b7 | 2020-05-27 12:58:42 +0200 | [diff] [blame] | 24 | #include <haproxy/api.h> |
Willy Tarreau | 2741c8c | 2020-06-02 11:28:02 +0200 | [diff] [blame] | 25 | #include <haproxy/buf.h> |
Willy Tarreau | 7ea393d | 2020-06-04 18:02:10 +0200 | [diff] [blame] | 26 | #include <haproxy/connection.h> |
Willy Tarreau | 36979d9 | 2020-06-05 17:27:29 +0200 | [diff] [blame] | 27 | #include <haproxy/errors.h> |
Willy Tarreau | b255105 | 2020-06-09 09:07:15 +0200 | [diff] [blame] | 28 | #include <haproxy/fd.h> |
Willy Tarreau | f268ee8 | 2020-06-04 17:05:57 +0200 | [diff] [blame] | 29 | #include <haproxy/global.h> |
Willy Tarreau | b255105 | 2020-06-09 09:07:15 +0200 | [diff] [blame] | 30 | #include <haproxy/pipe.h> |
Amaury Denoyelle | bc0adfa | 2023-04-28 16:46:11 +0200 | [diff] [blame] | 31 | #include <haproxy/proxy.h> |
Willy Tarreau | b255105 | 2020-06-09 09:07:15 +0200 | [diff] [blame] | 32 | #include <haproxy/tools.h> |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 33 | |
Willy Tarreau | b277d6e | 2012-05-11 16:59:14 +0200 | [diff] [blame] | 34 | |
Willy Tarreau | e573323 | 2019-05-22 19:24:06 +0200 | [diff] [blame] | 35 | #if defined(USE_LINUX_SPLICE) |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 36 | |
| 37 | /* A pipe contains 16 segments max, and it's common to see segments of 1448 bytes |
| 38 | * because of timestamps. Use this as a hint for not looping on splice(). |
| 39 | */ |
| 40 | #define SPLICE_FULL_HINT 16*1448 |
| 41 | |
Willy Tarreau | a9de333 | 2009-11-28 07:47:10 +0100 | [diff] [blame] | 42 | /* how many data we attempt to splice at once when the buffer is configured for |
| 43 | * infinite forwarding */ |
| 44 | #define MAX_SPLICE_AT_ONCE (1<<30) |
| 45 | |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 46 | /* Returns : |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 47 | * -1 if splice() is not supported |
| 48 | * >= 0 to report the amount of spliced bytes. |
| 49 | * connection flags are updated (error, read0, wait_room, wait_data). |
| 50 | * The caller must have previously allocated the pipe. |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 51 | */ |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 52 | int raw_sock_to_pipe(struct connection *conn, void *xprt_ctx, struct pipe *pipe, unsigned int count) |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 53 | { |
Willy Tarreau | 31971e5 | 2009-09-20 12:07:52 +0200 | [diff] [blame] | 54 | int ret; |
Willy Tarreau | afad0e0 | 2012-08-09 14:45:22 +0200 | [diff] [blame] | 55 | int retval = 0; |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 56 | |
Willy Tarreau | f79c817 | 2013-10-21 16:30:56 +0200 | [diff] [blame] | 57 | |
Willy Tarreau | fd803bb | 2014-01-20 15:13:07 +0100 | [diff] [blame] | 58 | if (!conn_ctrl_ready(conn)) |
Willy Tarreau | f79c817 | 2013-10-21 16:30:56 +0200 | [diff] [blame] | 59 | return 0; |
| 60 | |
Willy Tarreau | 07ecfc5 | 2022-04-11 18:07:03 +0200 | [diff] [blame] | 61 | BUG_ON(conn->flags & CO_FL_FDLESS); |
| 62 | |
Willy Tarreau | 585744b | 2017-08-24 14:31:19 +0200 | [diff] [blame] | 63 | if (!fd_recv_ready(conn->handle.fd)) |
Willy Tarreau | fd803bb | 2014-01-20 15:13:07 +0100 | [diff] [blame] | 64 | return 0; |
| 65 | |
Willy Tarreau | e2a0eec | 2020-01-17 09:59:40 +0100 | [diff] [blame] | 66 | conn->flags &= ~CO_FL_WAIT_ROOM; |
Willy Tarreau | ce3eda7 | 2013-12-05 00:49:40 +0100 | [diff] [blame] | 67 | errno = 0; |
| 68 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 69 | /* Under Linux, if FD_POLL_HUP is set, we have reached the end. |
| 70 | * Since older splice() implementations were buggy and returned |
| 71 | * EAGAIN on end of read, let's bypass the call to splice() now. |
| 72 | */ |
Willy Tarreau | f509065 | 2021-04-06 17:23:40 +0200 | [diff] [blame] | 73 | if (unlikely(!(fdtab[conn->handle.fd].state & FD_POLL_IN))) { |
Willy Tarreau | 6f5d141 | 2012-10-04 20:38:49 +0200 | [diff] [blame] | 74 | /* stop here if we reached the end of data */ |
Willy Tarreau | f509065 | 2021-04-06 17:23:40 +0200 | [diff] [blame] | 75 | if ((fdtab[conn->handle.fd].state & (FD_POLL_ERR|FD_POLL_HUP)) == FD_POLL_HUP) |
Willy Tarreau | 6f5d141 | 2012-10-04 20:38:49 +0200 | [diff] [blame] | 76 | goto out_read0; |
| 77 | |
| 78 | /* report error on POLL_ERR before connection establishment */ |
Willy Tarreau | f509065 | 2021-04-06 17:23:40 +0200 | [diff] [blame] | 79 | if ((fdtab[conn->handle.fd].state & FD_POLL_ERR) && (conn->flags & CO_FL_WAIT_L4_CONN)) { |
Willy Tarreau | 26f4a04 | 2013-12-04 23:44:10 +0100 | [diff] [blame] | 80 | conn->flags |= CO_FL_ERROR | CO_FL_SOCK_RD_SH | CO_FL_SOCK_WR_SH; |
Willy Tarreau | ce3eda7 | 2013-12-05 00:49:40 +0100 | [diff] [blame] | 81 | errno = 0; /* let the caller do a getsockopt() if it wants it */ |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 82 | goto leave; |
Willy Tarreau | 6f5d141 | 2012-10-04 20:38:49 +0200 | [diff] [blame] | 83 | } |
| 84 | } |
Willy Tarreau | a9de333 | 2009-11-28 07:47:10 +0100 | [diff] [blame] | 85 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 86 | while (count) { |
| 87 | if (count > MAX_SPLICE_AT_ONCE) |
| 88 | count = MAX_SPLICE_AT_ONCE; |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 89 | |
Willy Tarreau | 585744b | 2017-08-24 14:31:19 +0200 | [diff] [blame] | 90 | ret = splice(conn->handle.fd, NULL, pipe->prod, NULL, count, |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 91 | SPLICE_F_MOVE|SPLICE_F_NONBLOCK); |
| 92 | |
| 93 | if (ret <= 0) { |
Willy Tarreau | 3844747 | 2019-05-22 19:55:24 +0200 | [diff] [blame] | 94 | if (ret == 0) |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 95 | goto out_read0; |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 96 | |
Willy Tarreau | acef5e2 | 2022-04-25 20:32:15 +0200 | [diff] [blame] | 97 | if (errno == EAGAIN || errno == EWOULDBLOCK) { |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 98 | /* there are two reasons for EAGAIN : |
| 99 | * - nothing in the socket buffer (standard) |
| 100 | * - pipe is full |
Willy Tarreau | 3844747 | 2019-05-22 19:55:24 +0200 | [diff] [blame] | 101 | * The difference between these two situations |
| 102 | * is problematic. Since we don't know if the |
| 103 | * pipe is full, we'll stop if the pipe is not |
| 104 | * empty. Anyway, we will almost always fill or |
| 105 | * empty the pipe. |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 106 | */ |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 107 | if (pipe->data) { |
Ilya Shipitsin | ce7b00f | 2020-03-23 22:28:40 +0500 | [diff] [blame] | 108 | /* always stop reading until the pipe is flushed */ |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 109 | conn->flags |= CO_FL_WAIT_ROOM; |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 110 | break; |
| 111 | } |
Willy Tarreau | 8dd348c | 2020-02-28 14:09:12 +0100 | [diff] [blame] | 112 | /* socket buffer exhausted */ |
| 113 | fd_cant_recv(conn->handle.fd); |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 114 | break; |
| 115 | } |
Willy Tarreau | 45b8893 | 2012-11-12 12:00:09 +0100 | [diff] [blame] | 116 | else if (errno == ENOSYS || errno == EINVAL || errno == EBADF) { |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 117 | /* splice not supported on this end, disable it. |
| 118 | * We can safely return -1 since there is no |
| 119 | * chance that any data has been piped yet. |
| 120 | */ |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 121 | retval = -1; |
| 122 | goto leave; |
Willy Tarreau | dc340a9 | 2009-06-28 23:10:19 +0200 | [diff] [blame] | 123 | } |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 124 | else if (errno == EINTR) { |
| 125 | /* try again */ |
| 126 | continue; |
| 127 | } |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 128 | /* here we have another error */ |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 129 | conn->flags |= CO_FL_ERROR; |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 130 | break; |
| 131 | } /* ret <= 0 */ |
| 132 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 133 | retval += ret; |
| 134 | pipe->data += ret; |
Willy Tarreau | 4fc90ef | 2013-04-06 11:29:39 +0200 | [diff] [blame] | 135 | count -= ret; |
Willy Tarreau | baf2a50 | 2013-01-07 16:38:26 +0100 | [diff] [blame] | 136 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 137 | if (pipe->data >= SPLICE_FULL_HINT || ret >= global.tune.recv_enough) { |
| 138 | /* We've read enough of it for this time, let's stop before |
| 139 | * being asked to poll. |
| 140 | */ |
Willy Tarreau | 61d39a0 | 2013-07-18 21:49:32 +0200 | [diff] [blame] | 141 | conn->flags |= CO_FL_WAIT_ROOM; |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 142 | break; |
| 143 | } |
| 144 | } /* while */ |
| 145 | |
Willy Tarreau | 665e6ee | 2012-10-04 20:20:46 +0200 | [diff] [blame] | 146 | if (unlikely(conn->flags & CO_FL_WAIT_L4_CONN) && retval) |
| 147 | conn->flags &= ~CO_FL_WAIT_L4_CONN; |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 148 | |
| 149 | leave: |
Amaury Denoyelle | bc0adfa | 2023-04-28 16:46:11 +0200 | [diff] [blame] | 150 | if (retval > 0) |
| 151 | increment_send_rate(retval, 1); |
| 152 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 153 | return retval; |
Willy Tarreau | 3eba98a | 2009-01-25 13:56:13 +0100 | [diff] [blame] | 154 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 155 | out_read0: |
| 156 | conn_sock_read0(conn); |
Willy Tarreau | 665e6ee | 2012-10-04 20:20:46 +0200 | [diff] [blame] | 157 | conn->flags &= ~CO_FL_WAIT_L4_CONN; |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 158 | goto leave; |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 159 | } |
| 160 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 161 | /* Send as many bytes as possible from the pipe to the connection's socket. |
| 162 | */ |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 163 | int raw_sock_from_pipe(struct connection *conn, void *xprt_ctx, struct pipe *pipe) |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 164 | { |
| 165 | int ret, done; |
| 166 | |
Willy Tarreau | fd803bb | 2014-01-20 15:13:07 +0100 | [diff] [blame] | 167 | if (!conn_ctrl_ready(conn)) |
| 168 | return 0; |
| 169 | |
Willy Tarreau | 07ecfc5 | 2022-04-11 18:07:03 +0200 | [diff] [blame] | 170 | BUG_ON(conn->flags & CO_FL_FDLESS); |
| 171 | |
Willy Tarreau | 585744b | 2017-08-24 14:31:19 +0200 | [diff] [blame] | 172 | if (!fd_send_ready(conn->handle.fd)) |
Willy Tarreau | f79c817 | 2013-10-21 16:30:56 +0200 | [diff] [blame] | 173 | return 0; |
| 174 | |
Willy Tarreau | a8c7e8e | 2020-01-23 18:17:55 +0100 | [diff] [blame] | 175 | if (conn->flags & CO_FL_SOCK_WR_SH) { |
| 176 | /* it's already closed */ |
| 177 | conn->flags |= CO_FL_ERROR | CO_FL_SOCK_RD_SH; |
| 178 | errno = EPIPE; |
| 179 | return 0; |
| 180 | } |
| 181 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 182 | done = 0; |
| 183 | while (pipe->data) { |
Willy Tarreau | 585744b | 2017-08-24 14:31:19 +0200 | [diff] [blame] | 184 | ret = splice(pipe->cons, NULL, conn->handle.fd, NULL, pipe->data, |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 185 | SPLICE_F_MOVE|SPLICE_F_NONBLOCK); |
| 186 | |
| 187 | if (ret <= 0) { |
Willy Tarreau | acef5e2 | 2022-04-25 20:32:15 +0200 | [diff] [blame] | 188 | if (ret == 0 || errno == EAGAIN || errno == EWOULDBLOCK) { |
Willy Tarreau | 8dd348c | 2020-02-28 14:09:12 +0100 | [diff] [blame] | 189 | fd_cant_send(conn->handle.fd); |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 190 | break; |
| 191 | } |
| 192 | else if (errno == EINTR) |
| 193 | continue; |
| 194 | |
| 195 | /* here we have another error */ |
| 196 | conn->flags |= CO_FL_ERROR; |
| 197 | break; |
| 198 | } |
| 199 | |
| 200 | done += ret; |
| 201 | pipe->data -= ret; |
| 202 | } |
Willy Tarreau | ccf3f6d | 2019-09-05 17:05:05 +0200 | [diff] [blame] | 203 | if (unlikely(conn->flags & CO_FL_WAIT_L4_CONN) && done) { |
Willy Tarreau | 665e6ee | 2012-10-04 20:20:46 +0200 | [diff] [blame] | 204 | conn->flags &= ~CO_FL_WAIT_L4_CONN; |
Willy Tarreau | ccf3f6d | 2019-09-05 17:05:05 +0200 | [diff] [blame] | 205 | } |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 206 | |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 207 | return done; |
| 208 | } |
| 209 | |
Willy Tarreau | e573323 | 2019-05-22 19:24:06 +0200 | [diff] [blame] | 210 | #endif /* USE_LINUX_SPLICE */ |
Willy Tarreau | 6b4aad4 | 2009-01-18 21:59:13 +0100 | [diff] [blame] | 211 | |
| 212 | |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 213 | /* Receive up to <count> bytes from connection <conn>'s socket and store them |
Willy Tarreau | abf08d9 | 2014-01-14 11:31:27 +0100 | [diff] [blame] | 214 | * into buffer <buf>. Only one call to recv() is performed, unless the |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 215 | * buffer wraps, in which case a second call may be performed. The connection's |
| 216 | * flags are updated with whatever special event is detected (error, read0, |
| 217 | * empty). The caller is responsible for taking care of those events and |
| 218 | * avoiding the call if inappropriate. The function does not call the |
| 219 | * connection's polling update function, so the caller is responsible for this. |
Willy Tarreau | ce3eda7 | 2013-12-05 00:49:40 +0100 | [diff] [blame] | 220 | * errno is cleared before starting so that the caller knows that if it spots an |
| 221 | * error without errno, it's pending and can be retrieved via getsockopt(SO_ERROR). |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 222 | */ |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 223 | static size_t raw_sock_to_buf(struct connection *conn, void *xprt_ctx, struct buffer *buf, size_t count, int flags) |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 224 | { |
Willy Tarreau | bfc4d77 | 2018-07-18 11:22:03 +0200 | [diff] [blame] | 225 | ssize_t ret; |
| 226 | size_t try, done = 0; |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 227 | |
Willy Tarreau | fd803bb | 2014-01-20 15:13:07 +0100 | [diff] [blame] | 228 | if (!conn_ctrl_ready(conn)) |
Willy Tarreau | f79c817 | 2013-10-21 16:30:56 +0200 | [diff] [blame] | 229 | return 0; |
| 230 | |
Willy Tarreau | 07ecfc5 | 2022-04-11 18:07:03 +0200 | [diff] [blame] | 231 | BUG_ON(conn->flags & CO_FL_FDLESS); |
| 232 | |
Willy Tarreau | 585744b | 2017-08-24 14:31:19 +0200 | [diff] [blame] | 233 | if (!fd_recv_ready(conn->handle.fd)) |
Willy Tarreau | fd803bb | 2014-01-20 15:13:07 +0100 | [diff] [blame] | 234 | return 0; |
| 235 | |
Willy Tarreau | e2a0eec | 2020-01-17 09:59:40 +0100 | [diff] [blame] | 236 | conn->flags &= ~CO_FL_WAIT_ROOM; |
Willy Tarreau | ce3eda7 | 2013-12-05 00:49:40 +0100 | [diff] [blame] | 237 | errno = 0; |
| 238 | |
Willy Tarreau | f509065 | 2021-04-06 17:23:40 +0200 | [diff] [blame] | 239 | if (unlikely(!(fdtab[conn->handle.fd].state & FD_POLL_IN))) { |
Willy Tarreau | 6f5d141 | 2012-10-04 20:38:49 +0200 | [diff] [blame] | 240 | /* stop here if we reached the end of data */ |
Willy Tarreau | f509065 | 2021-04-06 17:23:40 +0200 | [diff] [blame] | 241 | if ((fdtab[conn->handle.fd].state & (FD_POLL_ERR|FD_POLL_HUP)) == FD_POLL_HUP) |
Willy Tarreau | 6f5d141 | 2012-10-04 20:38:49 +0200 | [diff] [blame] | 242 | goto read0; |
| 243 | |
| 244 | /* report error on POLL_ERR before connection establishment */ |
Willy Tarreau | f509065 | 2021-04-06 17:23:40 +0200 | [diff] [blame] | 245 | if ((fdtab[conn->handle.fd].state & FD_POLL_ERR) && (conn->flags & CO_FL_WAIT_L4_CONN)) { |
Willy Tarreau | 26f4a04 | 2013-12-04 23:44:10 +0100 | [diff] [blame] | 246 | conn->flags |= CO_FL_ERROR | CO_FL_SOCK_RD_SH | CO_FL_SOCK_WR_SH; |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 247 | goto leave; |
Willy Tarreau | 6f5d141 | 2012-10-04 20:38:49 +0200 | [diff] [blame] | 248 | } |
| 249 | } |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 250 | |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 251 | /* read the largest possible block. For this, we perform only one call |
| 252 | * to recv() unless the buffer wraps and we exactly fill the first hunk, |
| 253 | * in which case we accept to do it once again. A new attempt is made on |
| 254 | * EINTR too. |
| 255 | */ |
Willy Tarreau | abf08d9 | 2014-01-14 11:31:27 +0100 | [diff] [blame] | 256 | while (count > 0) { |
Willy Tarreau | 591d445 | 2018-06-15 17:21:00 +0200 | [diff] [blame] | 257 | try = b_contig_space(buf); |
| 258 | if (!try) |
| 259 | break; |
| 260 | |
Willy Tarreau | abf08d9 | 2014-01-14 11:31:27 +0100 | [diff] [blame] | 261 | if (try > count) |
| 262 | try = count; |
| 263 | |
Willy Tarreau | 8f9c72d | 2018-06-07 18:46:28 +0200 | [diff] [blame] | 264 | ret = recv(conn->handle.fd, b_tail(buf), try, 0); |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 265 | |
| 266 | if (ret > 0) { |
Olivier Houchard | acd1403 | 2018-06-28 18:17:23 +0200 | [diff] [blame] | 267 | b_add(buf, ret); |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 268 | done += ret; |
| 269 | if (ret < try) { |
Willy Tarreau | 8dd348c | 2020-02-28 14:09:12 +0100 | [diff] [blame] | 270 | /* socket buffer exhausted */ |
| 271 | fd_cant_recv(conn->handle.fd); |
| 272 | |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 273 | /* unfortunately, on level-triggered events, POLL_HUP |
| 274 | * is generally delivered AFTER the system buffer is |
Willy Tarreau | 6812871 | 2017-03-13 12:04:34 +0100 | [diff] [blame] | 275 | * empty, unless the poller supports POLL_RDHUP. If |
| 276 | * we know this is the case, we don't try to read more |
| 277 | * as we know there's no more available. Similarly, if |
| 278 | * there's no problem with lingering we don't even try |
| 279 | * to read an unlikely close from the client since we'll |
| 280 | * close first anyway. |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 281 | */ |
Willy Tarreau | f509065 | 2021-04-06 17:23:40 +0200 | [diff] [blame] | 282 | if (fdtab[conn->handle.fd].state & FD_POLL_HUP) |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 283 | goto read0; |
Willy Tarreau | 6c11bd2 | 2014-01-24 00:54:27 +0100 | [diff] [blame] | 284 | |
Willy Tarreau | b41a6e9 | 2021-04-06 17:49:19 +0200 | [diff] [blame] | 285 | if (!(fdtab[conn->handle.fd].state & FD_LINGER_RISK) || |
Willy Tarreau | 6812871 | 2017-03-13 12:04:34 +0100 | [diff] [blame] | 286 | (cur_poller.flags & HAP_POLL_F_RDHUP)) { |
Willy Tarreau | 6812871 | 2017-03-13 12:04:34 +0100 | [diff] [blame] | 287 | break; |
| 288 | } |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 289 | } |
| 290 | count -= ret; |
Willy Tarreau | 716bec2 | 2020-02-20 11:04:40 +0100 | [diff] [blame] | 291 | |
| 292 | if (flags & CO_RFL_READ_ONCE) |
| 293 | break; |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 294 | } |
| 295 | else if (ret == 0) { |
| 296 | goto read0; |
| 297 | } |
Willy Tarreau | acef5e2 | 2022-04-25 20:32:15 +0200 | [diff] [blame] | 298 | else if (errno == EAGAIN || errno == EWOULDBLOCK || errno == ENOTCONN) { |
Willy Tarreau | 8dd348c | 2020-02-28 14:09:12 +0100 | [diff] [blame] | 299 | /* socket buffer exhausted */ |
| 300 | fd_cant_recv(conn->handle.fd); |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 301 | break; |
| 302 | } |
| 303 | else if (errno != EINTR) { |
Willy Tarreau | 26f4a04 | 2013-12-04 23:44:10 +0100 | [diff] [blame] | 304 | conn->flags |= CO_FL_ERROR | CO_FL_SOCK_RD_SH | CO_FL_SOCK_WR_SH; |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 305 | break; |
| 306 | } |
| 307 | } |
Willy Tarreau | 665e6ee | 2012-10-04 20:20:46 +0200 | [diff] [blame] | 308 | |
| 309 | if (unlikely(conn->flags & CO_FL_WAIT_L4_CONN) && done) |
| 310 | conn->flags &= ~CO_FL_WAIT_L4_CONN; |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 311 | |
| 312 | leave: |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 313 | return done; |
| 314 | |
| 315 | read0: |
| 316 | conn_sock_read0(conn); |
Willy Tarreau | 665e6ee | 2012-10-04 20:20:46 +0200 | [diff] [blame] | 317 | conn->flags &= ~CO_FL_WAIT_L4_CONN; |
Willy Tarreau | debdc4b | 2012-12-07 00:01:33 +0100 | [diff] [blame] | 318 | |
| 319 | /* Now a final check for a possible asynchronous low-level error |
| 320 | * report. This can happen when a connection receives a reset |
| 321 | * after a shutdown, both POLL_HUP and POLL_ERR are queued, and |
| 322 | * we might have come from there by just checking POLL_HUP instead |
| 323 | * of recv()'s return value 0, so we have no way to tell there was |
| 324 | * an error without checking. |
| 325 | */ |
Christopher Faulet | dfefebc | 2022-11-18 14:52:08 +0100 | [diff] [blame] | 326 | if (unlikely(!done && fdtab[conn->handle.fd].state & FD_POLL_ERR)) |
Willy Tarreau | 26f4a04 | 2013-12-04 23:44:10 +0100 | [diff] [blame] | 327 | conn->flags |= CO_FL_ERROR | CO_FL_SOCK_RD_SH | CO_FL_SOCK_WR_SH; |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 328 | goto leave; |
Willy Tarreau | 2ba4465 | 2012-08-20 17:30:32 +0200 | [diff] [blame] | 329 | } |
| 330 | |
| 331 | |
Willy Tarreau | 787db9a | 2018-06-14 18:31:46 +0200 | [diff] [blame] | 332 | /* Send up to <count> pending bytes from buffer <buf> to connection <conn>'s |
| 333 | * socket. <flags> may contain some CO_SFL_* flags to hint the system about |
| 334 | * other pending data for example, but this flag is ignored at the moment. |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 335 | * Only one call to send() is performed, unless the buffer wraps, in which case |
| 336 | * a second call may be performed. The connection's flags are updated with |
| 337 | * whatever special event is detected (error, empty). The caller is responsible |
| 338 | * for taking care of those events and avoiding the call if inappropriate. The |
| 339 | * function does not call the connection's polling update function, so the caller |
Willy Tarreau | 787db9a | 2018-06-14 18:31:46 +0200 | [diff] [blame] | 340 | * is responsible for this. It's up to the caller to update the buffer's contents |
| 341 | * based on the return value. |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 342 | */ |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 343 | static size_t raw_sock_from_buf(struct connection *conn, void *xprt_ctx, const struct buffer *buf, size_t count, int flags) |
Willy Tarreau | 0c2fc1f | 2009-01-18 15:30:37 +0100 | [diff] [blame] | 344 | { |
Willy Tarreau | 787db9a | 2018-06-14 18:31:46 +0200 | [diff] [blame] | 345 | ssize_t ret; |
| 346 | size_t try, done; |
| 347 | int send_flag; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 348 | |
Willy Tarreau | fd803bb | 2014-01-20 15:13:07 +0100 | [diff] [blame] | 349 | if (!conn_ctrl_ready(conn)) |
| 350 | return 0; |
| 351 | |
Willy Tarreau | 07ecfc5 | 2022-04-11 18:07:03 +0200 | [diff] [blame] | 352 | BUG_ON(conn->flags & CO_FL_FDLESS); |
| 353 | |
Willy Tarreau | 585744b | 2017-08-24 14:31:19 +0200 | [diff] [blame] | 354 | if (!fd_send_ready(conn->handle.fd)) |
Willy Tarreau | f79c817 | 2013-10-21 16:30:56 +0200 | [diff] [blame] | 355 | return 0; |
| 356 | |
Willy Tarreau | c6fc774 | 2022-08-29 16:48:14 +0200 | [diff] [blame] | 357 | if (unlikely(fdtab[conn->handle.fd].state & FD_POLL_ERR)) { |
| 358 | /* an error was reported on the FD, we can't send anymore */ |
| 359 | conn->flags |= CO_FL_ERROR | CO_FL_SOCK_WR_SH | CO_FL_SOCK_RD_SH; |
| 360 | errno = EPIPE; |
| 361 | return 0; |
| 362 | } |
| 363 | |
Willy Tarreau | a8c7e8e | 2020-01-23 18:17:55 +0100 | [diff] [blame] | 364 | if (conn->flags & CO_FL_SOCK_WR_SH) { |
| 365 | /* it's already closed */ |
| 366 | conn->flags |= CO_FL_ERROR | CO_FL_SOCK_RD_SH; |
| 367 | errno = EPIPE; |
| 368 | return 0; |
| 369 | } |
| 370 | |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 371 | done = 0; |
| 372 | /* send the largest possible block. For this we perform only one call |
| 373 | * to send() unless the buffer wraps and we exactly fill the first hunk, |
| 374 | * in which case we accept to do it once again. |
Willy Tarreau | 5bd8c37 | 2009-01-19 00:32:22 +0100 | [diff] [blame] | 375 | */ |
Willy Tarreau | 787db9a | 2018-06-14 18:31:46 +0200 | [diff] [blame] | 376 | while (count) { |
| 377 | try = b_contig_data(buf, done); |
| 378 | if (try > count) |
| 379 | try = count; |
Willy Tarreau | f890dc9 | 2008-12-13 21:12:26 +0100 | [diff] [blame] | 380 | |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 381 | send_flag = MSG_DONTWAIT | MSG_NOSIGNAL; |
Willy Tarreau | 787db9a | 2018-06-14 18:31:46 +0200 | [diff] [blame] | 382 | if (try < count || flags & CO_SFL_MSG_MORE) |
Willy Tarreau | 7e4086d | 2014-02-02 01:44:13 +0100 | [diff] [blame] | 383 | send_flag |= MSG_MORE; |
Willy Tarreau | fb14edc | 2009-06-14 15:24:37 +0200 | [diff] [blame] | 384 | |
Willy Tarreau | 787db9a | 2018-06-14 18:31:46 +0200 | [diff] [blame] | 385 | ret = send(conn->handle.fd, b_peek(buf, done), try, send_flag); |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 386 | |
| 387 | if (ret > 0) { |
Willy Tarreau | 787db9a | 2018-06-14 18:31:46 +0200 | [diff] [blame] | 388 | count -= ret; |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 389 | done += ret; |
Willy Tarreau | b38903c | 2008-11-23 21:33:29 +0100 | [diff] [blame] | 390 | |
Willy Tarreau | ab3e1d3 | 2007-06-03 14:10:36 +0200 | [diff] [blame] | 391 | /* if the system buffer is full, don't insist */ |
Willy Tarreau | 8dd348c | 2020-02-28 14:09:12 +0100 | [diff] [blame] | 392 | if (ret < try) { |
| 393 | fd_cant_send(conn->handle.fd); |
Willy Tarreau | 6996e15 | 2007-04-30 14:37:43 +0200 | [diff] [blame] | 394 | break; |
Willy Tarreau | 8dd348c | 2020-02-28 14:09:12 +0100 | [diff] [blame] | 395 | } |
Willy Tarreau | 3381bf8 | 2020-01-17 17:39:35 +0100 | [diff] [blame] | 396 | if (!count) |
Willy Tarreau | 3110eb7 | 2020-02-21 10:21:46 +0100 | [diff] [blame] | 397 | fd_stop_send(conn->handle.fd); |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 398 | } |
Willy Tarreau | acef5e2 | 2022-04-25 20:32:15 +0200 | [diff] [blame] | 399 | else if (ret == 0 || errno == EAGAIN || errno == EWOULDBLOCK || errno == ENOTCONN || errno == EINPROGRESS) { |
Willy Tarreau | 0c2fc1f | 2009-01-18 15:30:37 +0100 | [diff] [blame] | 400 | /* nothing written, we need to poll for write first */ |
Willy Tarreau | 8dd348c | 2020-02-28 14:09:12 +0100 | [diff] [blame] | 401 | fd_cant_send(conn->handle.fd); |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 402 | break; |
Willy Tarreau | 8374918 | 2007-04-15 20:56:27 +0200 | [diff] [blame] | 403 | } |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 404 | else if (errno != EINTR) { |
Willy Tarreau | 26f4a04 | 2013-12-04 23:44:10 +0100 | [diff] [blame] | 405 | conn->flags |= CO_FL_ERROR | CO_FL_SOCK_RD_SH | CO_FL_SOCK_WR_SH; |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 406 | break; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 407 | } |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 408 | } |
Willy Tarreau | ccf3f6d | 2019-09-05 17:05:05 +0200 | [diff] [blame] | 409 | if (unlikely(conn->flags & CO_FL_WAIT_L4_CONN) && done) { |
Willy Tarreau | 665e6ee | 2012-10-04 20:20:46 +0200 | [diff] [blame] | 410 | conn->flags &= ~CO_FL_WAIT_L4_CONN; |
Willy Tarreau | ccf3f6d | 2019-09-05 17:05:05 +0200 | [diff] [blame] | 411 | } |
Willy Tarreau | 256b9c5 | 2017-10-25 09:30:13 +0200 | [diff] [blame] | 412 | |
Amaury Denoyelle | bc0adfa | 2023-04-28 16:46:11 +0200 | [diff] [blame] | 413 | if (done > 0) |
| 414 | increment_send_rate(done, 0); |
| 415 | |
Willy Tarreau | 5368d80 | 2012-08-21 18:22:06 +0200 | [diff] [blame] | 416 | return done; |
Willy Tarreau | 0c2fc1f | 2009-01-18 15:30:37 +0100 | [diff] [blame] | 417 | } |
Willy Tarreau | 6996e15 | 2007-04-30 14:37:43 +0200 | [diff] [blame] | 418 | |
Willy Tarreau | ee1a6fc | 2020-01-17 07:52:13 +0100 | [diff] [blame] | 419 | /* Called from the upper layer, to subscribe <es> to events <event_type>. The |
| 420 | * event subscriber <es> is not allowed to change from a previous call as long |
| 421 | * as at least one event is still subscribed. The <event_type> must only be a |
| 422 | * combination of SUB_RETRY_RECV and SUB_RETRY_SEND. It always returns 0. |
| 423 | */ |
| 424 | static int raw_sock_subscribe(struct connection *conn, void *xprt_ctx, int event_type, struct wait_event *es) |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 425 | { |
Willy Tarreau | ee1a6fc | 2020-01-17 07:52:13 +0100 | [diff] [blame] | 426 | return conn_subscribe(conn, xprt_ctx, event_type, es); |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 427 | } |
| 428 | |
Willy Tarreau | ee1a6fc | 2020-01-17 07:52:13 +0100 | [diff] [blame] | 429 | /* Called from the upper layer, to unsubscribe <es> from events <event_type>. |
| 430 | * The <es> pointer is not allowed to differ from the one passed to the |
| 431 | * subscribe() call. It always returns zero. |
| 432 | */ |
| 433 | static int raw_sock_unsubscribe(struct connection *conn, void *xprt_ctx, int event_type, struct wait_event *es) |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 434 | { |
Willy Tarreau | ee1a6fc | 2020-01-17 07:52:13 +0100 | [diff] [blame] | 435 | return conn_unsubscribe(conn, xprt_ctx, event_type, es); |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 436 | } |
Willy Tarreau | 0c2fc1f | 2009-01-18 15:30:37 +0100 | [diff] [blame] | 437 | |
Olivier Houchard | ca1a57f | 2021-03-14 00:34:49 +0100 | [diff] [blame] | 438 | static void raw_sock_close(struct connection *conn, void *xprt_ctx) |
| 439 | { |
| 440 | if (conn->subs != NULL) { |
| 441 | conn_unsubscribe(conn, NULL, conn->subs->events, conn->subs); |
| 442 | } |
| 443 | } |
| 444 | |
Olivier Houchard | 5149b59 | 2019-05-23 17:47:36 +0200 | [diff] [blame] | 445 | /* We can't have an underlying XPRT, so just return -1 to signify failure */ |
| 446 | static int raw_sock_remove_xprt(struct connection *conn, void *xprt_ctx, void *toremove_ctx, const struct xprt_ops *newops, void *newctx) |
| 447 | { |
| 448 | /* This is the lowest xprt we can have, so if we get there we didn't |
| 449 | * find the xprt we wanted to remove, that's a bug |
| 450 | */ |
| 451 | BUG_ON(1); |
| 452 | return -1; |
| 453 | } |
| 454 | |
Willy Tarreau | f7bc57c | 2012-10-03 00:19:48 +0200 | [diff] [blame] | 455 | /* transport-layer operations for RAW sockets */ |
Willy Tarreau | d9f5cca | 2016-12-22 21:08:52 +0100 | [diff] [blame] | 456 | static struct xprt_ops raw_sock = { |
Willy Tarreau | c578891 | 2012-08-24 18:12:41 +0200 | [diff] [blame] | 457 | .snd_buf = raw_sock_from_buf, |
| 458 | .rcv_buf = raw_sock_to_buf, |
Olivier Houchard | e179d0e | 2019-03-21 18:27:17 +0100 | [diff] [blame] | 459 | .subscribe = raw_sock_subscribe, |
| 460 | .unsubscribe = raw_sock_unsubscribe, |
Olivier Houchard | 5149b59 | 2019-05-23 17:47:36 +0200 | [diff] [blame] | 461 | .remove_xprt = raw_sock_remove_xprt, |
Willy Tarreau | e573323 | 2019-05-22 19:24:06 +0200 | [diff] [blame] | 462 | #if defined(USE_LINUX_SPLICE) |
Willy Tarreau | 96199b1 | 2012-08-24 00:46:52 +0200 | [diff] [blame] | 463 | .rcv_pipe = raw_sock_to_pipe, |
| 464 | .snd_pipe = raw_sock_from_pipe, |
| 465 | #endif |
Willy Tarreau | c578891 | 2012-08-24 18:12:41 +0200 | [diff] [blame] | 466 | .shutr = NULL, |
| 467 | .shutw = NULL, |
Olivier Houchard | ca1a57f | 2021-03-14 00:34:49 +0100 | [diff] [blame] | 468 | .close = raw_sock_close, |
Willy Tarreau | 8e0bb0a | 2016-11-24 16:58:12 +0100 | [diff] [blame] | 469 | .name = "RAW", |
Willy Tarreau | 5c979a9 | 2012-05-07 17:15:39 +0200 | [diff] [blame] | 470 | }; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 471 | |
Willy Tarreau | 13e1410 | 2016-12-22 20:25:26 +0100 | [diff] [blame] | 472 | |
Olivier Houchard | 0d00593 | 2017-08-14 15:59:44 +0200 | [diff] [blame] | 473 | static void __raw_sock_init(void) |
Willy Tarreau | 13e1410 | 2016-12-22 20:25:26 +0100 | [diff] [blame] | 474 | { |
| 475 | xprt_register(XPRT_RAW, &raw_sock); |
| 476 | } |
| 477 | |
Willy Tarreau | 79367f9 | 2022-04-25 19:18:24 +0200 | [diff] [blame] | 478 | INITCALL0(STG_REGISTER, __raw_sock_init); |
| 479 | |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 480 | /* |
| 481 | * Local variables: |
| 482 | * c-indent-level: 8 |
| 483 | * c-basic-offset: 8 |
| 484 | * End: |
| 485 | */ |