blob: a9f96ab800c9e582574cc53089772280aeb55686 [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 Tarreau4f60f162007-04-08 16:39:58 +020030
Willy Tarreau58094f22007-04-10 01:33:20 +020031
Willy Tarreau4f60f162007-04-08 16:39:58 +020032/* private data */
Christopher Fauletd4604ad2017-05-29 10:40:41 +020033static THREAD_LOCAL struct epoll_event *epoll_events = NULL;
Willy Tarreaud9e7e362018-01-18 19:16:02 +010034static int epoll_fd[MAX_THREADS]; // per-thread epoll_fd
Willy Tarreau4f60f162007-04-08 16:39:58 +020035
Willy Tarreau58094f22007-04-10 01:33:20 +020036/* This structure may be used for any purpose. Warning! do not use it in
37 * recursive functions !
38 */
Christopher Fauletd4604ad2017-05-29 10:40:41 +020039static THREAD_LOCAL struct epoll_event ev;
Willy Tarreau58094f22007-04-10 01:33:20 +020040
Willy Tarreau1c07b072013-01-07 16:19:18 +010041#ifndef EPOLLRDHUP
42/* EPOLLRDHUP was defined late in libc, and it appeared in kernel 2.6.17 */
43#define EPOLLRDHUP 0x2000
44#endif
45
Willy Tarreau4f60f162007-04-08 16:39:58 +020046/*
Conrad Hoffmann041751c2014-05-20 14:28:24 +020047 * Immediately remove file descriptor from epoll set upon close.
48 * Since we forked, some fds share inodes with the other process, and epoll may
49 * send us events even though this process closed the fd (see man 7 epoll,
50 * "Questions and answers", Q 6).
51 */
52REGPRM1 static void __fd_clo(int fd)
53{
Willy Tarreaud9e7e362018-01-18 19:16:02 +010054 if (unlikely(fdtab[fd].cloned)) {
Olivier Houchardcb92f5c2018-04-26 14:23:07 +020055 unsigned long m = polled_mask[fd];
Willy Tarreaud9e7e362018-01-18 19:16:02 +010056 int i;
57
58 for (i = global.nbthread - 1; i >= 0; i--)
59 if (m & (1UL << i))
60 epoll_ctl(epoll_fd[i], EPOLL_CTL_DEL, fd, &ev);
61 }
Conrad Hoffmann041751c2014-05-20 14:28:24 +020062}
63
Olivier Houchard6b96f722018-04-25 16:58:25 +020064static void _update_fd(int fd)
65{
66 int en, opcode;
67
68 en = fdtab[fd].state;
69
Olivier Houchardcb92f5c2018-04-26 14:23:07 +020070 if (polled_mask[fd] & tid_bit) {
Olivier Houchard6b96f722018-04-25 16:58:25 +020071 if (!(fdtab[fd].thread_mask & tid_bit) || !(en & FD_EV_POLLED_RW)) {
72 /* fd removed from poll list */
73 opcode = EPOLL_CTL_DEL;
Olivier Houchardcb92f5c2018-04-26 14:23:07 +020074 HA_ATOMIC_AND(&polled_mask[fd], ~tid_bit);
Olivier Houchard6b96f722018-04-25 16:58:25 +020075 }
76 else {
77 /* fd status changed */
78 opcode = EPOLL_CTL_MOD;
79 }
80 }
81 else if ((fdtab[fd].thread_mask & tid_bit) && (en & FD_EV_POLLED_RW)) {
82 /* new fd in the poll list */
83 opcode = EPOLL_CTL_ADD;
Olivier Houchardcb92f5c2018-04-26 14:23:07 +020084 HA_ATOMIC_OR(&polled_mask[fd], tid_bit);
Olivier Houchard6b96f722018-04-25 16:58:25 +020085 }
86 else {
87 return;
88 }
89
90 /* construct the epoll events based on new state */
91 ev.events = 0;
92 if (en & FD_EV_POLLED_R)
93 ev.events |= EPOLLIN | EPOLLRDHUP;
94
95 if (en & FD_EV_POLLED_W)
96 ev.events |= EPOLLOUT;
97
98 ev.data.fd = fd;
99 epoll_ctl(epoll_fd[tid], opcode, fd, &ev);
100}
101
Conrad Hoffmann041751c2014-05-20 14:28:24 +0200102/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100103 * Linux epoll() poller
Willy Tarreau4f60f162007-04-08 16:39:58 +0200104 */
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100105REGPRM2 static void _do_poll(struct poller *p, int exp)
Willy Tarreau4f60f162007-04-08 16:39:58 +0200106{
Olivier Houchard6b96f722018-04-25 16:58:25 +0200107 int status;
108 int fd;
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100109 int count;
110 int updt_idx;
111 int wait_time;
Olivier Houchard6b96f722018-04-25 16:58:25 +0200112 int old_fd;
Willy Tarreau58094f22007-04-10 01:33:20 +0200113
Willy Tarreau5be2f352014-11-19 19:43:05 +0100114 /* first, scan the update list to find polling changes */
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100115 for (updt_idx = 0; updt_idx < fd_nbupdt; updt_idx++) {
116 fd = fd_updt[updt_idx];
Willy Tarreau58094f22007-04-10 01:33:20 +0200117
Olivier Houchard8ef1a6b2018-04-03 19:06:18 +0200118 HA_ATOMIC_AND(&fdtab[fd].update_mask, ~tid_bit);
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100119 if (!fdtab[fd].owner) {
120 activity[tid].poll_drop++;
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100121 continue;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100122 }
Willy Tarreau58094f22007-04-10 01:33:20 +0200123
Olivier Houchard6b96f722018-04-25 16:58:25 +0200124 _update_fd(fd);
125 }
126 fd_nbupdt = 0;
127 /* Scan the global update list */
128 for (old_fd = fd = update_list.first; fd != -1; fd = fdtab[fd].update.next) {
129 if (fd == -2) {
130 fd = old_fd;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100131 continue;
132 }
Olivier Houchard6b96f722018-04-25 16:58:25 +0200133 else if (fd <= -3)
134 fd = -fd -4;
135 if (fd == -1)
136 break;
137 if (fdtab[fd].update_mask & tid_bit)
138 done_update_polling(fd);
139 else
140 continue;
141 if (!fdtab[fd].owner)
142 continue;
143 _update_fd(fd);
Willy Tarreau58094f22007-04-10 01:33:20 +0200144 }
Willy Tarreau4f60f162007-04-08 16:39:58 +0200145
Willy Tarreau60b639c2018-08-02 10:16:17 +0200146 thread_harmless_now();
147
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100148 /* now let's wait for polled events */
Willy Tarreauf37ba942018-10-17 11:25:54 +0200149 wait_time = compute_poll_timeout(exp);
Willy Tarreau7e9c4ae2018-10-17 14:31:19 +0200150 tv_entering_poll();
Willy Tarreau609aad92018-11-22 08:31:09 +0100151 activity_count_runtime();
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100152 status = epoll_wait(epoll_fd[tid], epoll_events, global.tune.maxpollevents, wait_time);
Willy Tarreau7e9c4ae2018-10-17 14:31:19 +0200153 tv_leaving_poll(wait_time, status);
Willy Tarreau4f60f162007-04-08 16:39:58 +0200154
Willy Tarreau60b639c2018-08-02 10:16:17 +0200155 thread_harmless_end();
156
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100157 /* process polled events */
158
Willy Tarreau4f60f162007-04-08 16:39:58 +0200159 for (count = 0; count < status; count++) {
Willy Tarreau1c07b072013-01-07 16:19:18 +0100160 unsigned int n;
161 unsigned int e = epoll_events[count].events;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200162 fd = epoll_events[count].data.fd;
163
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100164 if (!fdtab[fd].owner) {
165 activity[tid].poll_dead++;
166 continue;
167 }
168
169 if (!(fdtab[fd].thread_mask & tid_bit)) {
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100170 /* FD has been migrated */
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100171 activity[tid].poll_skip++;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100172 epoll_ctl(epoll_fd[tid], EPOLL_CTL_DEL, fd, &ev);
Olivier Houchardcb92f5c2018-04-26 14:23:07 +0200173 HA_ATOMIC_AND(&polled_mask[fd], ~tid_bit);
Willy Tarreau076be252012-07-06 16:02:29 +0200174 continue;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100175 }
Willy Tarreau076be252012-07-06 16:02:29 +0200176
Willy Tarreau491c4982012-07-06 11:16:01 +0200177 /* it looks complicated but gcc can optimize it away when constants
Willy Tarreau462c7202012-12-13 22:26:37 +0100178 * have same values... In fact it depends on gcc :-(
Willy Tarreau491c4982012-07-06 11:16:01 +0200179 */
Willy Tarreau462c7202012-12-13 22:26:37 +0100180 if (EPOLLIN == FD_POLL_IN && EPOLLOUT == FD_POLL_OUT &&
181 EPOLLPRI == FD_POLL_PRI && EPOLLERR == FD_POLL_ERR &&
182 EPOLLHUP == FD_POLL_HUP) {
Willy Tarreau6320c3c2012-12-13 23:52:58 +0100183 n = e & (EPOLLIN|EPOLLOUT|EPOLLPRI|EPOLLERR|EPOLLHUP);
Willy Tarreau462c7202012-12-13 22:26:37 +0100184 }
185 else {
Willy Tarreau6320c3c2012-12-13 23:52:58 +0100186 n = ((e & EPOLLIN ) ? FD_POLL_IN : 0) |
Willy Tarreau462c7202012-12-13 22:26:37 +0100187 ((e & EPOLLPRI) ? FD_POLL_PRI : 0) |
188 ((e & EPOLLOUT) ? FD_POLL_OUT : 0) |
189 ((e & EPOLLERR) ? FD_POLL_ERR : 0) |
190 ((e & EPOLLHUP) ? FD_POLL_HUP : 0);
191 }
Willy Tarreau491c4982012-07-06 11:16:01 +0200192
Willy Tarreau1c07b072013-01-07 16:19:18 +0100193 /* always remap RDHUP to HUP as they're used similarly */
Willy Tarreau5a767692017-03-13 11:38:28 +0100194 if (e & EPOLLRDHUP) {
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200195 HA_ATOMIC_OR(&cur_poller.flags, HAP_POLL_F_RDHUP);
Willy Tarreau1c07b072013-01-07 16:19:18 +0100196 n |= FD_POLL_HUP;
Willy Tarreau5a767692017-03-13 11:38:28 +0100197 }
Christopher Fauletab62f512017-08-30 10:34:36 +0200198 fd_update_events(fd, n);
Willy Tarreau4f60f162007-04-08 16:39:58 +0200199 }
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100200 /* the caller will take care of cached events */
Willy Tarreau4f60f162007-04-08 16:39:58 +0200201}
202
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200203static int init_epoll_per_thread()
204{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100205 int fd;
206
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200207 epoll_events = calloc(1, sizeof(struct epoll_event) * global.tune.maxpollevents);
208 if (epoll_events == NULL)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100209 goto fail_alloc;
210
Christopher Faulet3e805ed2018-01-25 16:18:09 +0100211 if (MAX_THREADS > 1 && tid) {
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100212 epoll_fd[tid] = epoll_create(global.maxsock + 1);
213 if (epoll_fd[tid] < 0)
214 goto fail_fd;
215 }
216
217 /* we may have to unregister some events initially registered on the
218 * original fd when it was alone, and/or to register events on the new
219 * fd for this thread. Let's just mark them as updated, the poller will
220 * do the rest.
221 */
Willy Tarreauce036bc2018-01-29 14:58:02 +0100222 for (fd = 0; fd < global.maxsock; fd++)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100223 updt_fd_polling(fd);
224
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200225 return 1;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100226 fail_fd:
227 free(epoll_events);
228 fail_alloc:
229 return 0;
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200230}
231
232static void deinit_epoll_per_thread()
233{
Christopher Faulet3e805ed2018-01-25 16:18:09 +0100234 if (MAX_THREADS > 1 && tid)
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100235 close(epoll_fd[tid]);
236
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200237 free(epoll_events);
Christopher Fauletcd7879a2017-10-27 13:53:47 +0200238 epoll_events = NULL;
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200239}
240
Willy Tarreau4f60f162007-04-08 16:39:58 +0200241/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100242 * Initialization of the epoll() poller.
Willy Tarreaue54e9172007-04-09 09:23:31 +0200243 * Returns 0 in case of failure, non-zero in case of success. If it fails, it
244 * disables the poller by setting its pref to 0.
245 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200246REGPRM1 static int _do_init(struct poller *p)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200247{
Willy Tarreaue54e9172007-04-09 09:23:31 +0200248 p->private = NULL;
Willy Tarreaue54e9172007-04-09 09:23:31 +0200249
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100250 epoll_fd[tid] = epoll_create(global.maxsock + 1);
251 if (epoll_fd[tid] < 0)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200252 goto fail_fd;
253
Christopher Fauletcd7879a2017-10-27 13:53:47 +0200254 hap_register_per_thread_init(init_epoll_per_thread);
255 hap_register_per_thread_deinit(deinit_epoll_per_thread);
Willy Tarreaue54e9172007-04-09 09:23:31 +0200256
Willy Tarreaue54e9172007-04-09 09:23:31 +0200257 return 1;
258
Willy Tarreaue54e9172007-04-09 09:23:31 +0200259 fail_fd:
260 p->pref = 0;
261 return 0;
262}
263
264/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100265 * Termination of the epoll() poller.
Willy Tarreaue54e9172007-04-09 09:23:31 +0200266 * Memory is released and the poller is marked as unselectable.
267 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200268REGPRM1 static void _do_term(struct poller *p)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200269{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100270 if (epoll_fd[tid] >= 0) {
271 close(epoll_fd[tid]);
272 epoll_fd[tid] = -1;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200273 }
Willy Tarreaue54e9172007-04-09 09:23:31 +0200274
275 p->private = NULL;
276 p->pref = 0;
277}
278
279/*
Willy Tarreau2ff76222007-04-09 19:29:56 +0200280 * Check that the poller works.
281 * Returns 1 if OK, otherwise 0.
282 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200283REGPRM1 static int _do_test(struct poller *p)
Willy Tarreau2ff76222007-04-09 19:29:56 +0200284{
285 int fd;
286
287 fd = epoll_create(global.maxsock + 1);
288 if (fd < 0)
289 return 0;
290 close(fd);
291 return 1;
292}
293
294/*
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200295 * Recreate the epoll file descriptor after a fork(). Returns 1 if OK,
296 * otherwise 0. It will ensure that all processes will not share their
297 * epoll_fd. Some side effects were encountered because of this, such
298 * as epoll_wait() returning an FD which was previously deleted.
299 */
300REGPRM1 static int _do_fork(struct poller *p)
301{
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100302 if (epoll_fd[tid] >= 0)
303 close(epoll_fd[tid]);
304 epoll_fd[tid] = epoll_create(global.maxsock + 1);
305 if (epoll_fd[tid] < 0)
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200306 return 0;
307 return 1;
308}
309
310/*
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200311 * It is a constructor, which means that it will automatically be called before
312 * main(). This is GCC-specific but it works at least since 2.95.
313 * Special care must be taken so that it does not need any uninitialized data.
Willy Tarreau4f60f162007-04-08 16:39:58 +0200314 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200315__attribute__((constructor))
316static void _do_register(void)
Willy Tarreau4f60f162007-04-08 16:39:58 +0200317{
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200318 struct poller *p;
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100319 int i;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200320
321 if (nbpollers >= MAX_POLLERS)
322 return;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200323
Willy Tarreaud9e7e362018-01-18 19:16:02 +0100324 for (i = 0; i < MAX_THREADS; i++)
325 epoll_fd[i] = -1;
326
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200327 p = &pollers[nbpollers++];
328
Willy Tarreau4f60f162007-04-08 16:39:58 +0200329 p->name = "epoll";
330 p->pref = 300;
Willy Tarreau5a767692017-03-13 11:38:28 +0100331 p->flags = 0;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200332 p->private = NULL;
333
Conrad Hoffmann041751c2014-05-20 14:28:24 +0200334 p->clo = __fd_clo;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200335 p->test = _do_test;
336 p->init = _do_init;
337 p->term = _do_term;
338 p->poll = _do_poll;
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200339 p->fork = _do_fork;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200340}
341
342
343/*
344 * Local variables:
345 * c-indent-level: 8
346 * c-basic-offset: 8
347 * End:
348 */