Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 1 | /* |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 2 | * FD polling functions for Linux epoll |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 3 | * |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 4 | * Copyright 2000-2014 Willy Tarreau <w@1wt.eu> |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +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. |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 10 | */ |
| 11 | |
| 12 | #include <unistd.h> |
| 13 | #include <sys/time.h> |
| 14 | #include <sys/types.h> |
| 15 | |
| 16 | #include <common/compat.h> |
| 17 | #include <common/config.h> |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 18 | #include <common/debug.h> |
Willy Tarreau | 43d8fb2 | 2011-08-22 17:12:02 +0200 | [diff] [blame] | 19 | #include <common/epoll.h> |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 20 | #include <common/standard.h> |
Willy Tarreau | 0c303ee | 2008-07-07 00:09:58 +0200 | [diff] [blame] | 21 | #include <common/ticks.h> |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 22 | #include <common/time.h> |
Willy Tarreau | 1db3771 | 2007-06-03 17:16:49 +0200 | [diff] [blame] | 23 | #include <common/tools.h> |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 24 | |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 25 | #include <types/global.h> |
| 26 | |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 27 | #include <proto/fd.h> |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 28 | |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 29 | |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 30 | /* private data */ |
| 31 | static struct epoll_event *epoll_events; |
| 32 | static int epoll_fd; |
| 33 | |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 34 | /* This structure may be used for any purpose. Warning! do not use it in |
| 35 | * recursive functions ! |
| 36 | */ |
| 37 | static struct epoll_event ev; |
| 38 | |
Willy Tarreau | 1c07b07 | 2013-01-07 16:19:18 +0100 | [diff] [blame] | 39 | #ifndef EPOLLRDHUP |
| 40 | /* EPOLLRDHUP was defined late in libc, and it appeared in kernel 2.6.17 */ |
| 41 | #define EPOLLRDHUP 0x2000 |
| 42 | #endif |
| 43 | |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 44 | /* |
Conrad Hoffmann | 041751c | 2014-05-20 14:28:24 +0200 | [diff] [blame] | 45 | * Immediately remove file descriptor from epoll set upon close. |
| 46 | * Since we forked, some fds share inodes with the other process, and epoll may |
| 47 | * send us events even though this process closed the fd (see man 7 epoll, |
| 48 | * "Questions and answers", Q 6). |
| 49 | */ |
| 50 | REGPRM1 static void __fd_clo(int fd) |
| 51 | { |
| 52 | if (unlikely(fdtab[fd].cloned)) { |
| 53 | epoll_ctl(epoll_fd, EPOLL_CTL_DEL, fd, &ev); |
| 54 | } |
| 55 | } |
| 56 | |
| 57 | /* |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 58 | * Linux epoll() poller |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 59 | */ |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 60 | REGPRM2 static void _do_poll(struct poller *p, int exp) |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 61 | { |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 62 | int status, eo, en; |
| 63 | int fd, opcode; |
| 64 | int count; |
| 65 | int updt_idx; |
| 66 | int wait_time; |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 67 | |
Willy Tarreau | 5be2f35 | 2014-11-19 19:43:05 +0100 | [diff] [blame] | 68 | /* first, scan the update list to find polling changes */ |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 69 | for (updt_idx = 0; updt_idx < fd_nbupdt; updt_idx++) { |
| 70 | fd = fd_updt[updt_idx]; |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 71 | fdtab[fd].updated = 0; |
| 72 | fdtab[fd].new = 0; |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 73 | |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 74 | if (!fdtab[fd].owner) |
| 75 | continue; |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 76 | |
Willy Tarreau | 25002d2 | 2014-01-25 10:32:56 +0100 | [diff] [blame] | 77 | eo = fdtab[fd].state; |
| 78 | en = fd_compute_new_polled_status(eo); |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 79 | |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 80 | if ((eo ^ en) & FD_EV_POLLED_RW) { |
| 81 | /* poll status changed */ |
| 82 | fdtab[fd].state = en; |
Willy Tarreau | f8cfa44 | 2012-10-04 21:54:41 +0200 | [diff] [blame] | 83 | |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 84 | if ((en & FD_EV_POLLED_RW) == 0) { |
| 85 | /* fd removed from poll list */ |
| 86 | opcode = EPOLL_CTL_DEL; |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 87 | } |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 88 | else if ((eo & FD_EV_POLLED_RW) == 0) { |
| 89 | /* new fd in the poll list */ |
| 90 | opcode = EPOLL_CTL_ADD; |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 91 | } |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 92 | else { |
| 93 | /* fd status changed */ |
| 94 | opcode = EPOLL_CTL_MOD; |
| 95 | } |
| 96 | |
| 97 | /* construct the epoll events based on new state */ |
| 98 | ev.events = 0; |
| 99 | if (en & FD_EV_POLLED_R) |
| 100 | ev.events |= EPOLLIN | EPOLLRDHUP; |
| 101 | |
| 102 | if (en & FD_EV_POLLED_W) |
| 103 | ev.events |= EPOLLOUT; |
| 104 | |
| 105 | ev.data.fd = fd; |
| 106 | epoll_ctl(epoll_fd, opcode, fd, &ev); |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 107 | } |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 108 | } |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 109 | fd_nbupdt = 0; |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 110 | |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 111 | /* compute the epoll_wait() timeout */ |
Willy Tarreau | 10146c9 | 2015-04-13 20:44:19 +0200 | [diff] [blame] | 112 | if (!exp) |
| 113 | wait_time = MAX_DELAY_MS; |
| 114 | else if (tick_is_expired(exp, now_ms)) |
Willy Tarreau | bdefc51 | 2007-05-14 02:02:04 +0200 | [diff] [blame] | 115 | wait_time = 0; |
Willy Tarreau | b0b37bc | 2008-06-23 14:00:57 +0200 | [diff] [blame] | 116 | else { |
Willy Tarreau | 10146c9 | 2015-04-13 20:44:19 +0200 | [diff] [blame] | 117 | wait_time = TICKS_TO_MS(tick_remain(now_ms, exp)) + 1; |
| 118 | if (wait_time > MAX_DELAY_MS) |
Willy Tarreau | b0b37bc | 2008-06-23 14:00:57 +0200 | [diff] [blame] | 119 | wait_time = MAX_DELAY_MS; |
| 120 | } |
Willy Tarreau | d825eef | 2007-05-12 22:35:00 +0200 | [diff] [blame] | 121 | |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 122 | /* now let's wait for polled events */ |
| 123 | |
Willy Tarreau | 45a1251 | 2011-09-10 16:56:42 +0200 | [diff] [blame] | 124 | gettimeofday(&before_poll, NULL); |
Willy Tarreau | cf181c9 | 2013-01-18 15:22:41 +0100 | [diff] [blame] | 125 | status = epoll_wait(epoll_fd, epoll_events, global.tune.maxpollevents, wait_time); |
Willy Tarreau | b0b37bc | 2008-06-23 14:00:57 +0200 | [diff] [blame] | 126 | tv_update_date(wait_time, status); |
Willy Tarreau | 45a1251 | 2011-09-10 16:56:42 +0200 | [diff] [blame] | 127 | measure_idle(); |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 128 | |
Willy Tarreau | e9f49e7 | 2012-11-11 17:42:00 +0100 | [diff] [blame] | 129 | /* process polled events */ |
| 130 | |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 131 | for (count = 0; count < status; count++) { |
Willy Tarreau | 1c07b07 | 2013-01-07 16:19:18 +0100 | [diff] [blame] | 132 | unsigned int n; |
| 133 | unsigned int e = epoll_events[count].events; |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 134 | fd = epoll_events[count].data.fd; |
| 135 | |
Willy Tarreau | 076be25 | 2012-07-06 16:02:29 +0200 | [diff] [blame] | 136 | if (!fdtab[fd].owner) |
| 137 | continue; |
| 138 | |
Willy Tarreau | 491c498 | 2012-07-06 11:16:01 +0200 | [diff] [blame] | 139 | /* it looks complicated but gcc can optimize it away when constants |
Willy Tarreau | 462c720 | 2012-12-13 22:26:37 +0100 | [diff] [blame] | 140 | * have same values... In fact it depends on gcc :-( |
Willy Tarreau | 491c498 | 2012-07-06 11:16:01 +0200 | [diff] [blame] | 141 | */ |
Willy Tarreau | 462c720 | 2012-12-13 22:26:37 +0100 | [diff] [blame] | 142 | if (EPOLLIN == FD_POLL_IN && EPOLLOUT == FD_POLL_OUT && |
| 143 | EPOLLPRI == FD_POLL_PRI && EPOLLERR == FD_POLL_ERR && |
| 144 | EPOLLHUP == FD_POLL_HUP) { |
Willy Tarreau | 6320c3c | 2012-12-13 23:52:58 +0100 | [diff] [blame] | 145 | n = e & (EPOLLIN|EPOLLOUT|EPOLLPRI|EPOLLERR|EPOLLHUP); |
Willy Tarreau | 462c720 | 2012-12-13 22:26:37 +0100 | [diff] [blame] | 146 | } |
| 147 | else { |
Willy Tarreau | 6320c3c | 2012-12-13 23:52:58 +0100 | [diff] [blame] | 148 | n = ((e & EPOLLIN ) ? FD_POLL_IN : 0) | |
Willy Tarreau | 462c720 | 2012-12-13 22:26:37 +0100 | [diff] [blame] | 149 | ((e & EPOLLPRI) ? FD_POLL_PRI : 0) | |
| 150 | ((e & EPOLLOUT) ? FD_POLL_OUT : 0) | |
| 151 | ((e & EPOLLERR) ? FD_POLL_ERR : 0) | |
| 152 | ((e & EPOLLHUP) ? FD_POLL_HUP : 0); |
| 153 | } |
Willy Tarreau | 491c498 | 2012-07-06 11:16:01 +0200 | [diff] [blame] | 154 | |
Willy Tarreau | 1c07b07 | 2013-01-07 16:19:18 +0100 | [diff] [blame] | 155 | /* always remap RDHUP to HUP as they're used similarly */ |
Willy Tarreau | 5a76769 | 2017-03-13 11:38:28 +0100 | [diff] [blame] | 156 | if (e & EPOLLRDHUP) { |
| 157 | cur_poller.flags |= HAP_POLL_F_RDHUP; |
Willy Tarreau | 1c07b07 | 2013-01-07 16:19:18 +0100 | [diff] [blame] | 158 | n |= FD_POLL_HUP; |
Willy Tarreau | 5a76769 | 2017-03-13 11:38:28 +0100 | [diff] [blame] | 159 | } |
Christopher Faulet | ab62f51 | 2017-08-30 10:34:36 +0200 | [diff] [blame] | 160 | fd_update_events(fd, n); |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 161 | } |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 162 | /* the caller will take care of cached events */ |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 163 | } |
| 164 | |
| 165 | /* |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 166 | * Initialization of the epoll() poller. |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 167 | * Returns 0 in case of failure, non-zero in case of success. If it fails, it |
| 168 | * disables the poller by setting its pref to 0. |
| 169 | */ |
Willy Tarreau | ef1d1f8 | 2007-04-16 00:25:25 +0200 | [diff] [blame] | 170 | REGPRM1 static int _do_init(struct poller *p) |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 171 | { |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 172 | p->private = NULL; |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 173 | |
| 174 | epoll_fd = epoll_create(global.maxsock + 1); |
| 175 | if (epoll_fd < 0) |
| 176 | goto fail_fd; |
| 177 | |
| 178 | epoll_events = (struct epoll_event*) |
Godbach | d39ae7d | 2014-12-17 16:14:26 +0800 | [diff] [blame] | 179 | calloc(1, sizeof(struct epoll_event) * global.tune.maxpollevents); |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 180 | |
| 181 | if (epoll_events == NULL) |
| 182 | goto fail_ee; |
| 183 | |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 184 | return 1; |
| 185 | |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 186 | fail_ee: |
| 187 | close(epoll_fd); |
Willy Tarreau | d79e79b | 2009-05-10 10:18:54 +0200 | [diff] [blame] | 188 | epoll_fd = -1; |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 189 | fail_fd: |
| 190 | p->pref = 0; |
| 191 | return 0; |
| 192 | } |
| 193 | |
| 194 | /* |
Willy Tarreau | f817e9f | 2014-01-10 16:58:45 +0100 | [diff] [blame] | 195 | * Termination of the epoll() poller. |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 196 | * Memory is released and the poller is marked as unselectable. |
| 197 | */ |
Willy Tarreau | ef1d1f8 | 2007-04-16 00:25:25 +0200 | [diff] [blame] | 198 | REGPRM1 static void _do_term(struct poller *p) |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 199 | { |
Willy Tarreau | a534fea | 2008-08-03 12:19:50 +0200 | [diff] [blame] | 200 | free(epoll_events); |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 201 | |
Willy Tarreau | d79e79b | 2009-05-10 10:18:54 +0200 | [diff] [blame] | 202 | if (epoll_fd >= 0) { |
| 203 | close(epoll_fd); |
| 204 | epoll_fd = -1; |
| 205 | } |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 206 | |
Willy Tarreau | 58094f2 | 2007-04-10 01:33:20 +0200 | [diff] [blame] | 207 | epoll_events = NULL; |
Willy Tarreau | e54e917 | 2007-04-09 09:23:31 +0200 | [diff] [blame] | 208 | p->private = NULL; |
| 209 | p->pref = 0; |
| 210 | } |
| 211 | |
| 212 | /* |
Willy Tarreau | 2ff7622 | 2007-04-09 19:29:56 +0200 | [diff] [blame] | 213 | * Check that the poller works. |
| 214 | * Returns 1 if OK, otherwise 0. |
| 215 | */ |
Willy Tarreau | ef1d1f8 | 2007-04-16 00:25:25 +0200 | [diff] [blame] | 216 | REGPRM1 static int _do_test(struct poller *p) |
Willy Tarreau | 2ff7622 | 2007-04-09 19:29:56 +0200 | [diff] [blame] | 217 | { |
| 218 | int fd; |
| 219 | |
| 220 | fd = epoll_create(global.maxsock + 1); |
| 221 | if (fd < 0) |
| 222 | return 0; |
| 223 | close(fd); |
| 224 | return 1; |
| 225 | } |
| 226 | |
| 227 | /* |
Willy Tarreau | fb8983f | 2007-06-03 16:40:44 +0200 | [diff] [blame] | 228 | * Recreate the epoll file descriptor after a fork(). Returns 1 if OK, |
| 229 | * otherwise 0. It will ensure that all processes will not share their |
| 230 | * epoll_fd. Some side effects were encountered because of this, such |
| 231 | * as epoll_wait() returning an FD which was previously deleted. |
| 232 | */ |
| 233 | REGPRM1 static int _do_fork(struct poller *p) |
| 234 | { |
Willy Tarreau | d79e79b | 2009-05-10 10:18:54 +0200 | [diff] [blame] | 235 | if (epoll_fd >= 0) |
| 236 | close(epoll_fd); |
Willy Tarreau | fb8983f | 2007-06-03 16:40:44 +0200 | [diff] [blame] | 237 | epoll_fd = epoll_create(global.maxsock + 1); |
| 238 | if (epoll_fd < 0) |
| 239 | return 0; |
| 240 | return 1; |
| 241 | } |
| 242 | |
| 243 | /* |
Willy Tarreau | ef1d1f8 | 2007-04-16 00:25:25 +0200 | [diff] [blame] | 244 | * It is a constructor, which means that it will automatically be called before |
| 245 | * main(). This is GCC-specific but it works at least since 2.95. |
| 246 | * Special care must be taken so that it does not need any uninitialized data. |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 247 | */ |
Willy Tarreau | ef1d1f8 | 2007-04-16 00:25:25 +0200 | [diff] [blame] | 248 | __attribute__((constructor)) |
| 249 | static void _do_register(void) |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 250 | { |
Willy Tarreau | ef1d1f8 | 2007-04-16 00:25:25 +0200 | [diff] [blame] | 251 | struct poller *p; |
| 252 | |
| 253 | if (nbpollers >= MAX_POLLERS) |
| 254 | return; |
Willy Tarreau | d79e79b | 2009-05-10 10:18:54 +0200 | [diff] [blame] | 255 | |
| 256 | epoll_fd = -1; |
Willy Tarreau | ef1d1f8 | 2007-04-16 00:25:25 +0200 | [diff] [blame] | 257 | p = &pollers[nbpollers++]; |
| 258 | |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 259 | p->name = "epoll"; |
| 260 | p->pref = 300; |
Willy Tarreau | 5a76769 | 2017-03-13 11:38:28 +0100 | [diff] [blame] | 261 | p->flags = 0; |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 262 | p->private = NULL; |
| 263 | |
Conrad Hoffmann | 041751c | 2014-05-20 14:28:24 +0200 | [diff] [blame] | 264 | p->clo = __fd_clo; |
Willy Tarreau | ef1d1f8 | 2007-04-16 00:25:25 +0200 | [diff] [blame] | 265 | p->test = _do_test; |
| 266 | p->init = _do_init; |
| 267 | p->term = _do_term; |
| 268 | p->poll = _do_poll; |
Willy Tarreau | fb8983f | 2007-06-03 16:40:44 +0200 | [diff] [blame] | 269 | p->fork = _do_fork; |
Willy Tarreau | 4f60f16 | 2007-04-08 16:39:58 +0200 | [diff] [blame] | 270 | } |
| 271 | |
| 272 | |
| 273 | /* |
| 274 | * Local variables: |
| 275 | * c-indent-level: 8 |
| 276 | * c-basic-offset: 8 |
| 277 | * End: |
| 278 | */ |