blob: dc156e58f8d6e37e23678070c624f232d7870db8 [file] [log] [blame]
Willy Tarreau4f60f162007-04-08 16:39:58 +02001/*
Willy Tarreaue9f49e72012-11-11 17:42:00 +01002 * FD polling functions for Linux epoll
Willy Tarreau4f60f162007-04-08 16:39:58 +02003 *
Willy Tarreauf817e9f2014-01-10 16:58:45 +01004 * Copyright 2000-2014 Willy Tarreau <w@1wt.eu>
Willy Tarreau4f60f162007-04-08 16:39:58 +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.
Willy Tarreau4f60f162007-04-08 16:39:58 +020010 */
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 Tarreaue9f49e72012-11-11 17:42:00 +010018#include <common/debug.h>
Willy Tarreau43d8fb22011-08-22 17:12:02 +020019#include <common/epoll.h>
Willy Tarreau60b639c2018-08-02 10:16:17 +020020#include <common/hathreads.h>
Willy Tarreau58094f22007-04-10 01:33:20 +020021#include <common/standard.h>
Willy Tarreau0c303ee2008-07-07 00:09:58 +020022#include <common/ticks.h>
Willy Tarreau4f60f162007-04-08 16:39:58 +020023#include <common/time.h>
Willy Tarreau1db37712007-06-03 17:16:49 +020024#include <common/tools.h>
Willy Tarreau4f60f162007-04-08 16:39:58 +020025
Willy Tarreau4f60f162007-04-08 16:39:58 +020026#include <types/global.h>
27
Willy Tarreau609aad92018-11-22 08:31:09 +010028#include <proto/activity.h>
Willy Tarreaue9f49e72012-11-11 17:42:00 +010029#include <proto/fd.h>
Willy Tarreaubeb859a2018-11-22 18:07:59 +010030#include <proto/signal.h>
Willy Tarreau4f60f162007-04-08 16:39:58 +020031
Willy Tarreau58094f22007-04-10 01:33:20 +020032
Willy Tarreau4f60f162007-04-08 16:39:58 +020033/* private data */
Christopher Fauletd4604ad2017-05-29 10:40:41 +020034static THREAD_LOCAL struct epoll_event *epoll_events = NULL;
Willy Tarreaud9e7e362018-01-18 19:16:02 +010035static int epoll_fd[MAX_THREADS]; // per-thread epoll_fd
Willy Tarreau4f60f162007-04-08 16:39:58 +020036
Willy Tarreau58094f22007-04-10 01:33:20 +020037/* This structure may be used for any purpose. Warning! do not use it in
38 * recursive functions !
39 */
Christopher Fauletd4604ad2017-05-29 10:40:41 +020040static THREAD_LOCAL struct epoll_event ev;
Willy Tarreau58094f22007-04-10 01:33:20 +020041
Willy Tarreau1c07b072013-01-07 16:19:18 +010042#ifndef EPOLLRDHUP
43/* EPOLLRDHUP was defined late in libc, and it appeared in kernel 2.6.17 */
44#define EPOLLRDHUP 0x2000
45#endif
46
Willy Tarreau4f60f162007-04-08 16:39:58 +020047/*
Conrad Hoffmann041751c2014-05-20 14:28:24 +020048 * Immediately remove file descriptor from epoll set upon close.
49 * Since we forked, some fds share inodes with the other process, and epoll may
50 * send us events even though this process closed the fd (see man 7 epoll,
51 * "Questions and answers", Q 6).
52 */
53REGPRM1 static void __fd_clo(int fd)
54{
Willy Tarreaud9e7e362018-01-18 19:16:02 +010055 if (unlikely(fdtab[fd].cloned)) {
Olivier Houchard53055052019-07-25 14:00:18 +000056 unsigned long m = polled_mask[fd].poll_recv | polled_mask[fd].poll_send;
Willy Tarreaud9e7e362018-01-18 19:16:02 +010057 int i;
58
59 for (i = global.nbthread - 1; i >= 0; i--)
60 if (m & (1UL << i))
61 epoll_ctl(epoll_fd[i], EPOLL_CTL_DEL, fd, &ev);
62 }
Conrad Hoffmann041751c2014-05-20 14:28:24 +020063}
64
Olivier Houchard6b96f722018-04-25 16:58:25 +020065static void _update_fd(int fd)
66{
67 int en, opcode;
68
69 en = fdtab[fd].state;
70
Olivier Houchard53055052019-07-25 14:00:18 +000071 if ((polled_mask[fd].poll_send | polled_mask[fd].poll_recv) & tid_bit) {
Willy Tarreau5bee3e22019-09-04 09:52:57 +020072 if (!(fdtab[fd].thread_mask & tid_bit) || !(en & FD_EV_ACTIVE_RW)) {
Olivier Houchard6b96f722018-04-25 16:58:25 +020073 /* fd removed from poll list */
74 opcode = EPOLL_CTL_DEL;
Olivier Houchard53055052019-07-25 14:00:18 +000075 if (polled_mask[fd].poll_recv & tid_bit)
76 _HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~tid_bit);
77 if (polled_mask[fd].poll_send & tid_bit)
78 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~tid_bit);
Olivier Houchard6b96f722018-04-25 16:58:25 +020079 }
80 else {
Willy Tarreau5bee3e22019-09-04 09:52:57 +020081 if (((en & FD_EV_ACTIVE_R) != 0) ==
Olivier Houchard53055052019-07-25 14:00:18 +000082 ((polled_mask[fd].poll_recv & tid_bit) != 0) &&
Willy Tarreau5bee3e22019-09-04 09:52:57 +020083 ((en & FD_EV_ACTIVE_W) != 0) ==
Olivier Houchard53055052019-07-25 14:00:18 +000084 ((polled_mask[fd].poll_send & tid_bit) != 0))
85 return;
Willy Tarreau5bee3e22019-09-04 09:52:57 +020086 if (en & FD_EV_ACTIVE_R) {
Olivier Houchard53055052019-07-25 14:00:18 +000087 if (!(polled_mask[fd].poll_recv & tid_bit))
88 _HA_ATOMIC_OR(&polled_mask[fd].poll_recv, tid_bit);
89 } else {
90 if (polled_mask[fd].poll_recv & tid_bit)
91 _HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~tid_bit);
92 }
Willy Tarreau5bee3e22019-09-04 09:52:57 +020093 if (en & FD_EV_ACTIVE_W) {
Olivier Houchard53055052019-07-25 14:00:18 +000094 if (!(polled_mask[fd].poll_send & tid_bit))
95 _HA_ATOMIC_OR(&polled_mask[fd].poll_send, tid_bit);
96 } else {
97 if (polled_mask[fd].poll_send & tid_bit)
98 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~tid_bit);
99 }
Olivier Houchard6b96f722018-04-25 16:58:25 +0200100 /* fd status changed */
101 opcode = EPOLL_CTL_MOD;
102 }
103 }
Willy Tarreau5bee3e22019-09-04 09:52:57 +0200104 else if ((fdtab[fd].thread_mask & tid_bit) && (en & FD_EV_ACTIVE_RW)) {
Olivier Houchard6b96f722018-04-25 16:58:25 +0200105 /* new fd in the poll list */
106 opcode = EPOLL_CTL_ADD;
Willy Tarreau5bee3e22019-09-04 09:52:57 +0200107 if (en & FD_EV_ACTIVE_R)
Olivier Houchard53055052019-07-25 14:00:18 +0000108 _HA_ATOMIC_OR(&polled_mask[fd].poll_recv, tid_bit);
Willy Tarreau5bee3e22019-09-04 09:52:57 +0200109 if (en & FD_EV_ACTIVE_W)
Olivier Houchard53055052019-07-25 14:00:18 +0000110 _HA_ATOMIC_OR(&polled_mask[fd].poll_send, tid_bit);
Olivier Houchard6b96f722018-04-25 16:58:25 +0200111 }
112 else {
113 return;
114 }
115
116 /* construct the epoll events based on new state */
117 ev.events = 0;
Willy Tarreau5bee3e22019-09-04 09:52:57 +0200118 if (en & FD_EV_ACTIVE_R)
Olivier Houchard6b96f722018-04-25 16:58:25 +0200119 ev.events |= EPOLLIN | EPOLLRDHUP;
120
Willy Tarreau5bee3e22019-09-04 09:52:57 +0200121 if (en & FD_EV_ACTIVE_W)
Olivier Houchard6b96f722018-04-25 16:58:25 +0200122 ev.events |= EPOLLOUT;
123
124 ev.data.fd = fd;
125 epoll_ctl(epoll_fd[tid], opcode, fd, &ev);
126}
127
Conrad Hoffmann041751c2014-05-20 14:28:24 +0200128/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100129 * Linux epoll() poller
Willy Tarreau4f60f162007-04-08 16:39:58 +0200130 */
Willy Tarreau2ae84e42019-05-28 16:44:05 +0200131REGPRM3 static void _do_poll(struct poller *p, int exp, int wake)
Willy Tarreau4f60f162007-04-08 16:39:58 +0200132{
Olivier Houchard6b96f722018-04-25 16:58:25 +0200133 int status;
134 int fd;
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100135 int count;
136 int updt_idx;
137 int wait_time;
Olivier Houchard6b96f722018-04-25 16:58:25 +0200138 int old_fd;
Willy Tarreau58094f22007-04-10 01:33:20 +0200139
Willy Tarreau5be2f352014-11-19 19:43:05 +0100140 /* first, scan the update list to find polling changes */
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100141 for (updt_idx = 0; updt_idx < fd_nbupdt; updt_idx++) {
142 fd = fd_updt[updt_idx];
Willy Tarreau58094f22007-04-10 01:33:20 +0200143
Olivier Houchardcb6c9272019-03-08 18:49:54 +0100144 _HA_ATOMIC_AND(&fdtab[fd].update_mask, ~tid_bit);
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100145 if (!fdtab[fd].owner) {
146 activity[tid].poll_drop++;
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100147 continue;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100148 }
Willy Tarreau58094f22007-04-10 01:33:20 +0200149
Olivier Houchard6b96f722018-04-25 16:58:25 +0200150 _update_fd(fd);
151 }
152 fd_nbupdt = 0;
153 /* Scan the global update list */
154 for (old_fd = fd = update_list.first; fd != -1; fd = fdtab[fd].update.next) {
155 if (fd == -2) {
156 fd = old_fd;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100157 continue;
158 }
Olivier Houchard6b96f722018-04-25 16:58:25 +0200159 else if (fd <= -3)
160 fd = -fd -4;
161 if (fd == -1)
162 break;
163 if (fdtab[fd].update_mask & tid_bit)
164 done_update_polling(fd);
165 else
166 continue;
167 if (!fdtab[fd].owner)
168 continue;
169 _update_fd(fd);
Willy Tarreau58094f22007-04-10 01:33:20 +0200170 }
Willy Tarreau4f60f162007-04-08 16:39:58 +0200171
Willy Tarreau60b639c2018-08-02 10:16:17 +0200172 thread_harmless_now();
173
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100174 /* now let's wait for polled events */
Willy Tarreau2ae84e42019-05-28 16:44:05 +0200175 wait_time = wake ? 0 : compute_poll_timeout(exp);
Willy Tarreau7e9c4ae2018-10-17 14:31:19 +0200176 tv_entering_poll();
Willy Tarreau609aad92018-11-22 08:31:09 +0100177 activity_count_runtime();
Willy Tarreaubeb859a2018-11-22 18:07:59 +0100178 do {
179 int timeout = (global.tune.options & GTUNE_BUSY_POLLING) ? 0 : wait_time;
180
181 status = epoll_wait(epoll_fd[tid], epoll_events, global.tune.maxpollevents, timeout);
182 tv_update_date(timeout, status);
183
184 if (status)
185 break;
186 if (timeout || !wait_time)
187 break;
Willy Tarreau2ae84e42019-05-28 16:44:05 +0200188 if (signal_queue_len || wake)
Willy Tarreaubeb859a2018-11-22 18:07:59 +0100189 break;
190 if (tick_isset(exp) && tick_is_expired(exp, now_ms))
191 break;
192 } while (1);
193
Willy Tarreau7e9c4ae2018-10-17 14:31:19 +0200194 tv_leaving_poll(wait_time, status);
Willy Tarreau4f60f162007-04-08 16:39:58 +0200195
Willy Tarreau60b639c2018-08-02 10:16:17 +0200196 thread_harmless_end();
Olivier Houchard305d5ab2019-07-24 18:07:06 +0200197 if (sleeping_thread_mask & tid_bit)
198 _HA_ATOMIC_AND(&sleeping_thread_mask, ~tid_bit);
Willy Tarreau60b639c2018-08-02 10:16:17 +0200199
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100200 /* process polled events */
201
Willy Tarreau4f60f162007-04-08 16:39:58 +0200202 for (count = 0; count < status; count++) {
Willy Tarreau1c07b072013-01-07 16:19:18 +0100203 unsigned int n;
204 unsigned int e = epoll_events[count].events;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200205 fd = epoll_events[count].data.fd;
206
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100207 if (!fdtab[fd].owner) {
208 activity[tid].poll_dead++;
209 continue;
210 }
211
212 if (!(fdtab[fd].thread_mask & tid_bit)) {
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100213 /* FD has been migrated */
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100214 activity[tid].poll_skip++;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100215 epoll_ctl(epoll_fd[tid], EPOLL_CTL_DEL, fd, &ev);
Olivier Houchard53055052019-07-25 14:00:18 +0000216 _HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~tid_bit);
217 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~tid_bit);
Willy Tarreau076be252012-07-06 16:02:29 +0200218 continue;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100219 }
Willy Tarreau076be252012-07-06 16:02:29 +0200220
Willy Tarreau6b308982019-09-06 19:05:50 +0200221 n = ((e & EPOLLIN) ? FD_EV_READY_R : 0) |
222 ((e & EPOLLOUT) ? FD_EV_READY_W : 0) |
223 ((e & EPOLLRDHUP) ? FD_EV_SHUT_R : 0) |
224 ((e & EPOLLHUP) ? FD_EV_SHUT_RW : 0) |
225 ((e & EPOLLERR) ? FD_EV_ERR_RW : 0);
Willy Tarreau491c4982012-07-06 11:16:01 +0200226
Willy Tarreau6b308982019-09-06 19:05:50 +0200227 if ((e & EPOLLRDHUP) && !(cur_poller.flags & HAP_POLL_F_RDHUP))
Olivier Houchardcb6c9272019-03-08 18:49:54 +0100228 _HA_ATOMIC_OR(&cur_poller.flags, HAP_POLL_F_RDHUP);
Willy Tarreau6b308982019-09-06 19:05:50 +0200229
Christopher Fauletab62f512017-08-30 10:34:36 +0200230 fd_update_events(fd, n);
Willy Tarreau4f60f162007-04-08 16:39:58 +0200231 }
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100232 /* the caller will take care of cached events */
Willy Tarreau4f60f162007-04-08 16:39:58 +0200233}
234
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200235static int init_epoll_per_thread()
236{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100237 int fd;
238
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200239 epoll_events = calloc(1, sizeof(struct epoll_event) * global.tune.maxpollevents);
240 if (epoll_events == NULL)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100241 goto fail_alloc;
242
Christopher Faulet3e805ed2018-01-25 16:18:09 +0100243 if (MAX_THREADS > 1 && tid) {
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100244 epoll_fd[tid] = epoll_create(global.maxsock + 1);
245 if (epoll_fd[tid] < 0)
246 goto fail_fd;
247 }
248
249 /* we may have to unregister some events initially registered on the
250 * original fd when it was alone, and/or to register events on the new
251 * fd for this thread. Let's just mark them as updated, the poller will
252 * do the rest.
253 */
Willy Tarreauce036bc2018-01-29 14:58:02 +0100254 for (fd = 0; fd < global.maxsock; fd++)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100255 updt_fd_polling(fd);
256
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200257 return 1;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100258 fail_fd:
259 free(epoll_events);
260 fail_alloc:
261 return 0;
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200262}
263
264static void deinit_epoll_per_thread()
265{
Christopher Faulet3e805ed2018-01-25 16:18:09 +0100266 if (MAX_THREADS > 1 && tid)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100267 close(epoll_fd[tid]);
268
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200269 free(epoll_events);
Christopher Fauletcd7879a2017-10-27 13:53:47 +0200270 epoll_events = NULL;
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200271}
272
Willy Tarreau4f60f162007-04-08 16:39:58 +0200273/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100274 * Initialization of the epoll() poller.
Willy Tarreaue54e9172007-04-09 09:23:31 +0200275 * Returns 0 in case of failure, non-zero in case of success. If it fails, it
276 * disables the poller by setting its pref to 0.
277 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200278REGPRM1 static int _do_init(struct poller *p)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200279{
Willy Tarreaue54e9172007-04-09 09:23:31 +0200280 p->private = NULL;
Willy Tarreaue54e9172007-04-09 09:23:31 +0200281
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100282 epoll_fd[tid] = epoll_create(global.maxsock + 1);
283 if (epoll_fd[tid] < 0)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200284 goto fail_fd;
285
Christopher Fauletcd7879a2017-10-27 13:53:47 +0200286 hap_register_per_thread_init(init_epoll_per_thread);
287 hap_register_per_thread_deinit(deinit_epoll_per_thread);
Willy Tarreaue54e9172007-04-09 09:23:31 +0200288
Willy Tarreaue54e9172007-04-09 09:23:31 +0200289 return 1;
290
Willy Tarreaue54e9172007-04-09 09:23:31 +0200291 fail_fd:
292 p->pref = 0;
293 return 0;
294}
295
296/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100297 * Termination of the epoll() poller.
Willy Tarreaue54e9172007-04-09 09:23:31 +0200298 * Memory is released and the poller is marked as unselectable.
299 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200300REGPRM1 static void _do_term(struct poller *p)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200301{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100302 if (epoll_fd[tid] >= 0) {
303 close(epoll_fd[tid]);
304 epoll_fd[tid] = -1;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200305 }
Willy Tarreaue54e9172007-04-09 09:23:31 +0200306
307 p->private = NULL;
308 p->pref = 0;
309}
310
311/*
Willy Tarreau2ff76222007-04-09 19:29:56 +0200312 * Check that the poller works.
313 * Returns 1 if OK, otherwise 0.
314 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200315REGPRM1 static int _do_test(struct poller *p)
Willy Tarreau2ff76222007-04-09 19:29:56 +0200316{
317 int fd;
318
319 fd = epoll_create(global.maxsock + 1);
320 if (fd < 0)
321 return 0;
322 close(fd);
323 return 1;
324}
325
326/*
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200327 * Recreate the epoll file descriptor after a fork(). Returns 1 if OK,
328 * otherwise 0. It will ensure that all processes will not share their
329 * epoll_fd. Some side effects were encountered because of this, such
330 * as epoll_wait() returning an FD which was previously deleted.
331 */
332REGPRM1 static int _do_fork(struct poller *p)
333{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100334 if (epoll_fd[tid] >= 0)
335 close(epoll_fd[tid]);
336 epoll_fd[tid] = epoll_create(global.maxsock + 1);
337 if (epoll_fd[tid] < 0)
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200338 return 0;
339 return 1;
340}
341
342/*
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200343 * It is a constructor, which means that it will automatically be called before
344 * main(). This is GCC-specific but it works at least since 2.95.
345 * Special care must be taken so that it does not need any uninitialized data.
Willy Tarreau4f60f162007-04-08 16:39:58 +0200346 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200347__attribute__((constructor))
348static void _do_register(void)
Willy Tarreau4f60f162007-04-08 16:39:58 +0200349{
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200350 struct poller *p;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100351 int i;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200352
353 if (nbpollers >= MAX_POLLERS)
354 return;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200355
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100356 for (i = 0; i < MAX_THREADS; i++)
357 epoll_fd[i] = -1;
358
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200359 p = &pollers[nbpollers++];
360
Willy Tarreau4f60f162007-04-08 16:39:58 +0200361 p->name = "epoll";
362 p->pref = 300;
Willy Tarreau5a767692017-03-13 11:38:28 +0100363 p->flags = 0;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200364 p->private = NULL;
365
Conrad Hoffmann041751c2014-05-20 14:28:24 +0200366 p->clo = __fd_clo;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200367 p->test = _do_test;
368 p->init = _do_init;
369 p->term = _do_term;
370 p->poll = _do_poll;
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200371 p->fork = _do_fork;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200372}
373
374
375/*
376 * Local variables:
377 * c-indent-level: 8
378 * c-basic-offset: 8
379 * End:
380 */