blob: 3edaf288cb6e44aa98a39586d30439aea104c3b0 [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 Tarreau58094f22007-04-10 01:33:20 +020020#include <common/standard.h>
Willy Tarreau0c303ee2008-07-07 00:09:58 +020021#include <common/ticks.h>
Willy Tarreau4f60f162007-04-08 16:39:58 +020022#include <common/time.h>
Willy Tarreau1db37712007-06-03 17:16:49 +020023#include <common/tools.h>
Willy Tarreau4f60f162007-04-08 16:39:58 +020024
Willy Tarreau4f60f162007-04-08 16:39:58 +020025#include <types/global.h>
26
Willy Tarreaue9f49e72012-11-11 17:42:00 +010027#include <proto/fd.h>
Willy Tarreau4f60f162007-04-08 16:39:58 +020028
Willy Tarreau58094f22007-04-10 01:33:20 +020029
Willy Tarreau4f60f162007-04-08 16:39:58 +020030/* private data */
Christopher Fauletd4604ad2017-05-29 10:40:41 +020031static THREAD_LOCAL struct epoll_event *epoll_events = NULL;
Willy Tarreaud9e7e362018-01-18 19:16:02 +010032static int epoll_fd[MAX_THREADS]; // per-thread epoll_fd
Willy Tarreau4f60f162007-04-08 16:39:58 +020033
Willy Tarreau58094f22007-04-10 01:33:20 +020034/* This structure may be used for any purpose. Warning! do not use it in
35 * recursive functions !
36 */
Christopher Fauletd4604ad2017-05-29 10:40:41 +020037static THREAD_LOCAL struct epoll_event ev;
Willy Tarreau58094f22007-04-10 01:33:20 +020038
Willy Tarreau1c07b072013-01-07 16:19:18 +010039#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 Tarreau4f60f162007-04-08 16:39:58 +020044/*
Conrad Hoffmann041751c2014-05-20 14:28:24 +020045 * 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 */
50REGPRM1 static void __fd_clo(int fd)
51{
Willy Tarreaud9e7e362018-01-18 19:16:02 +010052 if (unlikely(fdtab[fd].cloned)) {
Willy Tarreau49795922018-01-31 09:49:29 +010053 unsigned long m = fdtab[fd].polled_mask;
Willy Tarreaud9e7e362018-01-18 19:16:02 +010054 int i;
55
56 for (i = global.nbthread - 1; i >= 0; i--)
57 if (m & (1UL << i))
58 epoll_ctl(epoll_fd[i], EPOLL_CTL_DEL, fd, &ev);
59 }
Conrad Hoffmann041751c2014-05-20 14:28:24 +020060}
61
62/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +010063 * Linux epoll() poller
Willy Tarreau4f60f162007-04-08 16:39:58 +020064 */
Willy Tarreaue9f49e72012-11-11 17:42:00 +010065REGPRM2 static void _do_poll(struct poller *p, int exp)
Willy Tarreau4f60f162007-04-08 16:39:58 +020066{
Willy Tarreau038e54c2018-01-17 21:51:21 +010067 int status, en;
Willy Tarreaue9f49e72012-11-11 17:42:00 +010068 int fd, opcode;
69 int count;
70 int updt_idx;
71 int wait_time;
Willy Tarreau58094f22007-04-10 01:33:20 +020072
Willy Tarreau5be2f352014-11-19 19:43:05 +010073 /* first, scan the update list to find polling changes */
Willy Tarreaue9f49e72012-11-11 17:42:00 +010074 for (updt_idx = 0; updt_idx < fd_nbupdt; updt_idx++) {
75 fd = fd_updt[updt_idx];
Willy Tarreau58094f22007-04-10 01:33:20 +020076
Willy Tarreaud80cb4e2018-01-20 19:30:13 +010077 if (!fdtab[fd].owner) {
78 activity[tid].poll_drop++;
Willy Tarreauf817e9f2014-01-10 16:58:45 +010079 continue;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +010080 }
Willy Tarreau58094f22007-04-10 01:33:20 +020081
Christopher Faulet2a944ee2017-11-07 10:42:54 +010082 HA_SPIN_LOCK(FD_LOCK, &fdtab[fd].lock);
Willy Tarreauebc78d72018-01-20 23:53:50 +010083 fdtab[fd].update_mask &= ~tid_bit;
Willy Tarreau038e54c2018-01-17 21:51:21 +010084 en = fdtab[fd].state;
Christopher Faulet2a944ee2017-11-07 10:42:54 +010085 HA_SPIN_UNLOCK(FD_LOCK, &fdtab[fd].lock);
Willy Tarreau58094f22007-04-10 01:33:20 +020086
Willy Tarreaud9e7e362018-01-18 19:16:02 +010087 if (fdtab[fd].polled_mask & tid_bit) {
88 if (!(fdtab[fd].thread_mask & tid_bit) || !(en & FD_EV_POLLED_RW)) {
Willy Tarreauf817e9f2014-01-10 16:58:45 +010089 /* fd removed from poll list */
90 opcode = EPOLL_CTL_DEL;
Willy Tarreaud9e7e362018-01-18 19:16:02 +010091 HA_ATOMIC_AND(&fdtab[fd].polled_mask, ~tid_bit);
Willy Tarreaue9f49e72012-11-11 17:42:00 +010092 }
Willy Tarreauf817e9f2014-01-10 16:58:45 +010093 else {
94 /* fd status changed */
95 opcode = EPOLL_CTL_MOD;
96 }
Willy Tarreaud9e7e362018-01-18 19:16:02 +010097 }
98 else if ((fdtab[fd].thread_mask & tid_bit) && (en & FD_EV_POLLED_RW)) {
99 /* new fd in the poll list */
100 opcode = EPOLL_CTL_ADD;
101 HA_ATOMIC_OR(&fdtab[fd].polled_mask, tid_bit);
102 }
103 else {
104 continue;
105 }
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100106
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100107 /* construct the epoll events based on new state */
108 ev.events = 0;
109 if (en & FD_EV_POLLED_R)
110 ev.events |= EPOLLIN | EPOLLRDHUP;
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100111
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100112 if (en & FD_EV_POLLED_W)
113 ev.events |= EPOLLOUT;
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200114
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100115 ev.data.fd = fd;
116 epoll_ctl(epoll_fd[tid], opcode, fd, &ev);
Willy Tarreau58094f22007-04-10 01:33:20 +0200117 }
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100118 fd_nbupdt = 0;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200119
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100120 /* compute the epoll_wait() timeout */
Willy Tarreau10146c92015-04-13 20:44:19 +0200121 if (!exp)
122 wait_time = MAX_DELAY_MS;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100123 else if (tick_is_expired(exp, now_ms)) {
124 activity[tid].poll_exp++;
Willy Tarreaubdefc512007-05-14 02:02:04 +0200125 wait_time = 0;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100126 }
Willy Tarreaub0b37bc2008-06-23 14:00:57 +0200127 else {
Willy Tarreau10146c92015-04-13 20:44:19 +0200128 wait_time = TICKS_TO_MS(tick_remain(now_ms, exp)) + 1;
129 if (wait_time > MAX_DELAY_MS)
Willy Tarreaub0b37bc2008-06-23 14:00:57 +0200130 wait_time = MAX_DELAY_MS;
131 }
Willy Tarreaud825eef2007-05-12 22:35:00 +0200132
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100133 /* now let's wait for polled events */
134
Willy Tarreau45a12512011-09-10 16:56:42 +0200135 gettimeofday(&before_poll, NULL);
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100136 status = epoll_wait(epoll_fd[tid], epoll_events, global.tune.maxpollevents, wait_time);
Willy Tarreaub0b37bc2008-06-23 14:00:57 +0200137 tv_update_date(wait_time, status);
Willy Tarreau45a12512011-09-10 16:56:42 +0200138 measure_idle();
Willy Tarreau4f60f162007-04-08 16:39:58 +0200139
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100140 /* process polled events */
141
Willy Tarreau4f60f162007-04-08 16:39:58 +0200142 for (count = 0; count < status; count++) {
Willy Tarreau1c07b072013-01-07 16:19:18 +0100143 unsigned int n;
144 unsigned int e = epoll_events[count].events;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200145 fd = epoll_events[count].data.fd;
146
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100147 if (!fdtab[fd].owner) {
148 activity[tid].poll_dead++;
149 continue;
150 }
151
152 if (!(fdtab[fd].thread_mask & tid_bit)) {
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100153 /* FD has been migrated */
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100154 activity[tid].poll_skip++;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100155 epoll_ctl(epoll_fd[tid], EPOLL_CTL_DEL, fd, &ev);
156 HA_ATOMIC_AND(&fdtab[fd].polled_mask, ~tid_bit);
Willy Tarreau076be252012-07-06 16:02:29 +0200157 continue;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100158 }
Willy Tarreau076be252012-07-06 16:02:29 +0200159
Willy Tarreau491c4982012-07-06 11:16:01 +0200160 /* it looks complicated but gcc can optimize it away when constants
Willy Tarreau462c7202012-12-13 22:26:37 +0100161 * have same values... In fact it depends on gcc :-(
Willy Tarreau491c4982012-07-06 11:16:01 +0200162 */
Willy Tarreau462c7202012-12-13 22:26:37 +0100163 if (EPOLLIN == FD_POLL_IN && EPOLLOUT == FD_POLL_OUT &&
164 EPOLLPRI == FD_POLL_PRI && EPOLLERR == FD_POLL_ERR &&
165 EPOLLHUP == FD_POLL_HUP) {
Willy Tarreau6320c3c2012-12-13 23:52:58 +0100166 n = e & (EPOLLIN|EPOLLOUT|EPOLLPRI|EPOLLERR|EPOLLHUP);
Willy Tarreau462c7202012-12-13 22:26:37 +0100167 }
168 else {
Willy Tarreau6320c3c2012-12-13 23:52:58 +0100169 n = ((e & EPOLLIN ) ? FD_POLL_IN : 0) |
Willy Tarreau462c7202012-12-13 22:26:37 +0100170 ((e & EPOLLPRI) ? FD_POLL_PRI : 0) |
171 ((e & EPOLLOUT) ? FD_POLL_OUT : 0) |
172 ((e & EPOLLERR) ? FD_POLL_ERR : 0) |
173 ((e & EPOLLHUP) ? FD_POLL_HUP : 0);
174 }
Willy Tarreau491c4982012-07-06 11:16:01 +0200175
Willy Tarreau1c07b072013-01-07 16:19:18 +0100176 /* always remap RDHUP to HUP as they're used similarly */
Willy Tarreau5a767692017-03-13 11:38:28 +0100177 if (e & EPOLLRDHUP) {
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200178 HA_ATOMIC_OR(&cur_poller.flags, HAP_POLL_F_RDHUP);
Willy Tarreau1c07b072013-01-07 16:19:18 +0100179 n |= FD_POLL_HUP;
Willy Tarreau5a767692017-03-13 11:38:28 +0100180 }
Christopher Fauletab62f512017-08-30 10:34:36 +0200181 fd_update_events(fd, n);
Willy Tarreau4f60f162007-04-08 16:39:58 +0200182 }
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100183 /* the caller will take care of cached events */
Willy Tarreau4f60f162007-04-08 16:39:58 +0200184}
185
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200186static int init_epoll_per_thread()
187{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100188 int fd;
189
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200190 epoll_events = calloc(1, sizeof(struct epoll_event) * global.tune.maxpollevents);
191 if (epoll_events == NULL)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100192 goto fail_alloc;
193
Christopher Faulet3e805ed2018-01-25 16:18:09 +0100194 if (MAX_THREADS > 1 && tid) {
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100195 epoll_fd[tid] = epoll_create(global.maxsock + 1);
196 if (epoll_fd[tid] < 0)
197 goto fail_fd;
198 }
199
200 /* we may have to unregister some events initially registered on the
201 * original fd when it was alone, and/or to register events on the new
202 * fd for this thread. Let's just mark them as updated, the poller will
203 * do the rest.
204 */
Willy Tarreauce036bc2018-01-29 14:58:02 +0100205 for (fd = 0; fd < global.maxsock; fd++)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100206 updt_fd_polling(fd);
207
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200208 return 1;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100209 fail_fd:
210 free(epoll_events);
211 fail_alloc:
212 return 0;
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200213}
214
215static void deinit_epoll_per_thread()
216{
Christopher Faulet3e805ed2018-01-25 16:18:09 +0100217 if (MAX_THREADS > 1 && tid)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100218 close(epoll_fd[tid]);
219
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200220 free(epoll_events);
Christopher Fauletcd7879a2017-10-27 13:53:47 +0200221 epoll_events = NULL;
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200222}
223
Willy Tarreau4f60f162007-04-08 16:39:58 +0200224/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100225 * Initialization of the epoll() poller.
Willy Tarreaue54e9172007-04-09 09:23:31 +0200226 * Returns 0 in case of failure, non-zero in case of success. If it fails, it
227 * disables the poller by setting its pref to 0.
228 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200229REGPRM1 static int _do_init(struct poller *p)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200230{
Willy Tarreaue54e9172007-04-09 09:23:31 +0200231 p->private = NULL;
Willy Tarreaue54e9172007-04-09 09:23:31 +0200232
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100233 epoll_fd[tid] = epoll_create(global.maxsock + 1);
234 if (epoll_fd[tid] < 0)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200235 goto fail_fd;
236
Christopher Fauletcd7879a2017-10-27 13:53:47 +0200237 hap_register_per_thread_init(init_epoll_per_thread);
238 hap_register_per_thread_deinit(deinit_epoll_per_thread);
Willy Tarreaue54e9172007-04-09 09:23:31 +0200239
Willy Tarreaue54e9172007-04-09 09:23:31 +0200240 return 1;
241
Willy Tarreaue54e9172007-04-09 09:23:31 +0200242 fail_fd:
243 p->pref = 0;
244 return 0;
245}
246
247/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100248 * Termination of the epoll() poller.
Willy Tarreaue54e9172007-04-09 09:23:31 +0200249 * Memory is released and the poller is marked as unselectable.
250 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200251REGPRM1 static void _do_term(struct poller *p)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200252{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100253 if (epoll_fd[tid] >= 0) {
254 close(epoll_fd[tid]);
255 epoll_fd[tid] = -1;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200256 }
Willy Tarreaue54e9172007-04-09 09:23:31 +0200257
258 p->private = NULL;
259 p->pref = 0;
260}
261
262/*
Willy Tarreau2ff76222007-04-09 19:29:56 +0200263 * Check that the poller works.
264 * Returns 1 if OK, otherwise 0.
265 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200266REGPRM1 static int _do_test(struct poller *p)
Willy Tarreau2ff76222007-04-09 19:29:56 +0200267{
268 int fd;
269
270 fd = epoll_create(global.maxsock + 1);
271 if (fd < 0)
272 return 0;
273 close(fd);
274 return 1;
275}
276
277/*
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200278 * Recreate the epoll file descriptor after a fork(). Returns 1 if OK,
279 * otherwise 0. It will ensure that all processes will not share their
280 * epoll_fd. Some side effects were encountered because of this, such
281 * as epoll_wait() returning an FD which was previously deleted.
282 */
283REGPRM1 static int _do_fork(struct poller *p)
284{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100285 if (epoll_fd[tid] >= 0)
286 close(epoll_fd[tid]);
287 epoll_fd[tid] = epoll_create(global.maxsock + 1);
288 if (epoll_fd[tid] < 0)
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200289 return 0;
290 return 1;
291}
292
293/*
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200294 * It is a constructor, which means that it will automatically be called before
295 * main(). This is GCC-specific but it works at least since 2.95.
296 * Special care must be taken so that it does not need any uninitialized data.
Willy Tarreau4f60f162007-04-08 16:39:58 +0200297 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200298__attribute__((constructor))
299static void _do_register(void)
Willy Tarreau4f60f162007-04-08 16:39:58 +0200300{
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200301 struct poller *p;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100302 int i;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200303
304 if (nbpollers >= MAX_POLLERS)
305 return;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200306
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100307 for (i = 0; i < MAX_THREADS; i++)
308 epoll_fd[i] = -1;
309
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200310 p = &pollers[nbpollers++];
311
Willy Tarreau4f60f162007-04-08 16:39:58 +0200312 p->name = "epoll";
313 p->pref = 300;
Willy Tarreau5a767692017-03-13 11:38:28 +0100314 p->flags = 0;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200315 p->private = NULL;
316
Conrad Hoffmann041751c2014-05-20 14:28:24 +0200317 p->clo = __fd_clo;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200318 p->test = _do_test;
319 p->init = _do_init;
320 p->term = _do_term;
321 p->poll = _do_poll;
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200322 p->fork = _do_fork;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200323}
324
325
326/*
327 * Local variables:
328 * c-indent-level: 8
329 * c-basic-offset: 8
330 * End:
331 */