blob: 755c6fa58182c2a365c0ca591a9d08a583728185 [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 Tarreau332740d2009-05-10 09:57:21 +020028#include <proto/signal.h>
Willy Tarreau4f60f162007-04-08 16:39:58 +020029#include <proto/task.h>
30
Willy Tarreau58094f22007-04-10 01:33:20 +020031
Willy Tarreaue9f49e72012-11-11 17:42:00 +010032static int absmaxevents = 0; // absolute maximum amounts of polled events
Willy Tarreau4f60f162007-04-08 16:39:58 +020033
34/* private data */
35static struct epoll_event *epoll_events;
36static int epoll_fd;
37
Willy Tarreau58094f22007-04-10 01:33:20 +020038/* This structure may be used for any purpose. Warning! do not use it in
39 * recursive functions !
40 */
41static struct epoll_event ev;
42
Willy Tarreau1c07b072013-01-07 16:19:18 +010043#ifndef EPOLLRDHUP
44/* EPOLLRDHUP was defined late in libc, and it appeared in kernel 2.6.17 */
45#define EPOLLRDHUP 0x2000
46#endif
47
Willy Tarreau4f60f162007-04-08 16:39:58 +020048/*
Conrad Hoffmann041751c2014-05-20 14:28:24 +020049 * Immediately remove file descriptor from epoll set upon close.
50 * Since we forked, some fds share inodes with the other process, and epoll may
51 * send us events even though this process closed the fd (see man 7 epoll,
52 * "Questions and answers", Q 6).
53 */
54REGPRM1 static void __fd_clo(int fd)
55{
56 if (unlikely(fdtab[fd].cloned)) {
57 epoll_ctl(epoll_fd, EPOLL_CTL_DEL, fd, &ev);
58 }
59}
60
61/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +010062 * Linux epoll() poller
Willy Tarreau4f60f162007-04-08 16:39:58 +020063 */
Willy Tarreaue9f49e72012-11-11 17:42:00 +010064REGPRM2 static void _do_poll(struct poller *p, int exp)
Willy Tarreau4f60f162007-04-08 16:39:58 +020065{
Willy Tarreaue9f49e72012-11-11 17:42:00 +010066 int status, eo, en;
67 int fd, opcode;
68 int count;
69 int updt_idx;
70 int wait_time;
Willy Tarreau58094f22007-04-10 01:33:20 +020071
Willy Tarreau5be2f352014-11-19 19:43:05 +010072 /* first, scan the update list to find polling changes */
Willy Tarreaue9f49e72012-11-11 17:42:00 +010073 for (updt_idx = 0; updt_idx < fd_nbupdt; updt_idx++) {
74 fd = fd_updt[updt_idx];
Willy Tarreauf817e9f2014-01-10 16:58:45 +010075 fdtab[fd].updated = 0;
76 fdtab[fd].new = 0;
Willy Tarreau58094f22007-04-10 01:33:20 +020077
Willy Tarreauf817e9f2014-01-10 16:58:45 +010078 if (!fdtab[fd].owner)
79 continue;
Willy Tarreau58094f22007-04-10 01:33:20 +020080
Willy Tarreau25002d22014-01-25 10:32:56 +010081 eo = fdtab[fd].state;
82 en = fd_compute_new_polled_status(eo);
Willy Tarreau58094f22007-04-10 01:33:20 +020083
Willy Tarreauf817e9f2014-01-10 16:58:45 +010084 if ((eo ^ en) & FD_EV_POLLED_RW) {
85 /* poll status changed */
86 fdtab[fd].state = en;
Willy Tarreauf8cfa442012-10-04 21:54:41 +020087
Willy Tarreauf817e9f2014-01-10 16:58:45 +010088 if ((en & FD_EV_POLLED_RW) == 0) {
89 /* fd removed from poll list */
90 opcode = EPOLL_CTL_DEL;
Willy Tarreaue9f49e72012-11-11 17:42:00 +010091 }
Willy Tarreauf817e9f2014-01-10 16:58:45 +010092 else if ((eo & FD_EV_POLLED_RW) == 0) {
93 /* new fd in the poll list */
94 opcode = EPOLL_CTL_ADD;
Willy Tarreaue9f49e72012-11-11 17:42:00 +010095 }
Willy Tarreauf817e9f2014-01-10 16:58:45 +010096 else {
97 /* fd status changed */
98 opcode = EPOLL_CTL_MOD;
99 }
100
101 /* construct the epoll events based on new state */
102 ev.events = 0;
103 if (en & FD_EV_POLLED_R)
104 ev.events |= EPOLLIN | EPOLLRDHUP;
105
106 if (en & FD_EV_POLLED_W)
107 ev.events |= EPOLLOUT;
108
109 ev.data.fd = fd;
110 epoll_ctl(epoll_fd, opcode, fd, &ev);
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100111 }
Willy Tarreau58094f22007-04-10 01:33:20 +0200112 }
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100113 fd_nbupdt = 0;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200114
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100115 /* compute the epoll_wait() timeout */
Willy Tarreau4f60f162007-04-08 16:39:58 +0200116
Willy Tarreau16f649c2014-01-25 19:10:48 +0100117 if (fd_cache_num || run_queue || signal_queue_len) {
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100118 /* Maybe we still have events in the spec list, or there are
119 * some tasks left pending in the run_queue, so we must not
120 * wait in epoll() otherwise we would delay their delivery by
121 * the next timeout.
122 */
Willy Tarreaubdefc512007-05-14 02:02:04 +0200123 wait_time = 0;
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100124 }
Willy Tarreaub0b37bc2008-06-23 14:00:57 +0200125 else {
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100126 if (!exp)
Willy Tarreaub0b37bc2008-06-23 14:00:57 +0200127 wait_time = MAX_DELAY_MS;
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100128 else if (tick_is_expired(exp, now_ms))
129 wait_time = 0;
130 else {
131 wait_time = TICKS_TO_MS(tick_remain(now_ms, exp)) + 1;
132 if (wait_time > MAX_DELAY_MS)
133 wait_time = MAX_DELAY_MS;
134 }
Willy Tarreaub0b37bc2008-06-23 14:00:57 +0200135 }
Willy Tarreaud825eef2007-05-12 22:35:00 +0200136
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100137 /* now let's wait for polled events */
138
Willy Tarreau45a12512011-09-10 16:56:42 +0200139 gettimeofday(&before_poll, NULL);
Willy Tarreaucf181c92013-01-18 15:22:41 +0100140 status = epoll_wait(epoll_fd, epoll_events, global.tune.maxpollevents, wait_time);
Willy Tarreaub0b37bc2008-06-23 14:00:57 +0200141 tv_update_date(wait_time, status);
Willy Tarreau45a12512011-09-10 16:56:42 +0200142 measure_idle();
Willy Tarreau4f60f162007-04-08 16:39:58 +0200143
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100144 /* process polled events */
145
Willy Tarreau4f60f162007-04-08 16:39:58 +0200146 for (count = 0; count < status; count++) {
Willy Tarreau1c07b072013-01-07 16:19:18 +0100147 unsigned int n;
148 unsigned int e = epoll_events[count].events;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200149 fd = epoll_events[count].data.fd;
150
Willy Tarreau076be252012-07-06 16:02:29 +0200151 if (!fdtab[fd].owner)
152 continue;
153
Willy Tarreau491c4982012-07-06 11:16:01 +0200154 /* it looks complicated but gcc can optimize it away when constants
Willy Tarreau462c7202012-12-13 22:26:37 +0100155 * have same values... In fact it depends on gcc :-(
Willy Tarreau491c4982012-07-06 11:16:01 +0200156 */
157 fdtab[fd].ev &= FD_POLL_STICKY;
Willy Tarreau462c7202012-12-13 22:26:37 +0100158 if (EPOLLIN == FD_POLL_IN && EPOLLOUT == FD_POLL_OUT &&
159 EPOLLPRI == FD_POLL_PRI && EPOLLERR == FD_POLL_ERR &&
160 EPOLLHUP == FD_POLL_HUP) {
Willy Tarreau6320c3c2012-12-13 23:52:58 +0100161 n = e & (EPOLLIN|EPOLLOUT|EPOLLPRI|EPOLLERR|EPOLLHUP);
Willy Tarreau462c7202012-12-13 22:26:37 +0100162 }
163 else {
Willy Tarreau6320c3c2012-12-13 23:52:58 +0100164 n = ((e & EPOLLIN ) ? FD_POLL_IN : 0) |
Willy Tarreau462c7202012-12-13 22:26:37 +0100165 ((e & EPOLLPRI) ? FD_POLL_PRI : 0) |
166 ((e & EPOLLOUT) ? FD_POLL_OUT : 0) |
167 ((e & EPOLLERR) ? FD_POLL_ERR : 0) |
168 ((e & EPOLLHUP) ? FD_POLL_HUP : 0);
169 }
Willy Tarreau491c4982012-07-06 11:16:01 +0200170
Willy Tarreau1c07b072013-01-07 16:19:18 +0100171 /* always remap RDHUP to HUP as they're used similarly */
172 if (e & EPOLLRDHUP)
173 n |= FD_POLL_HUP;
174
Willy Tarreau6320c3c2012-12-13 23:52:58 +0100175 fdtab[fd].ev |= n;
Willy Tarreau5be2f352014-11-19 19:43:05 +0100176 if (n & (FD_POLL_IN | FD_POLL_HUP | FD_POLL_ERR))
177 fd_may_recv(fd);
178
179 if (n & (FD_POLL_OUT | FD_POLL_ERR))
180 fd_may_send(fd);
Willy Tarreau4f60f162007-04-08 16:39:58 +0200181 }
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100182 /* the caller will take care of cached events */
Willy Tarreau4f60f162007-04-08 16:39:58 +0200183}
184
185/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100186 * Initialization of the epoll() poller.
Willy Tarreaue54e9172007-04-09 09:23:31 +0200187 * Returns 0 in case of failure, non-zero in case of success. If it fails, it
188 * disables the poller by setting its pref to 0.
189 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200190REGPRM1 static int _do_init(struct poller *p)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200191{
Willy Tarreaue54e9172007-04-09 09:23:31 +0200192 p->private = NULL;
Willy Tarreaue54e9172007-04-09 09:23:31 +0200193
194 epoll_fd = epoll_create(global.maxsock + 1);
195 if (epoll_fd < 0)
196 goto fail_fd;
197
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100198 /* See comments at the top of the file about this formula. */
199 absmaxevents = MAX(global.tune.maxpollevents, global.maxsock);
Willy Tarreaue54e9172007-04-09 09:23:31 +0200200 epoll_events = (struct epoll_event*)
Willy Tarreaue9f49e72012-11-11 17:42:00 +0100201 calloc(1, sizeof(struct epoll_event) * absmaxevents);
Willy Tarreaue54e9172007-04-09 09:23:31 +0200202
203 if (epoll_events == NULL)
204 goto fail_ee;
205
Willy Tarreaue54e9172007-04-09 09:23:31 +0200206 return 1;
207
Willy Tarreaue54e9172007-04-09 09:23:31 +0200208 fail_ee:
209 close(epoll_fd);
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200210 epoll_fd = -1;
Willy Tarreaue54e9172007-04-09 09:23:31 +0200211 fail_fd:
212 p->pref = 0;
213 return 0;
214}
215
216/*
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100217 * Termination of the epoll() poller.
Willy Tarreaue54e9172007-04-09 09:23:31 +0200218 * Memory is released and the poller is marked as unselectable.
219 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200220REGPRM1 static void _do_term(struct poller *p)
Willy Tarreaue54e9172007-04-09 09:23:31 +0200221{
Willy Tarreaua534fea2008-08-03 12:19:50 +0200222 free(epoll_events);
Willy Tarreaue54e9172007-04-09 09:23:31 +0200223
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200224 if (epoll_fd >= 0) {
225 close(epoll_fd);
226 epoll_fd = -1;
227 }
Willy Tarreaue54e9172007-04-09 09:23:31 +0200228
Willy Tarreau58094f22007-04-10 01:33:20 +0200229 epoll_events = NULL;
Willy Tarreaue54e9172007-04-09 09:23:31 +0200230 p->private = NULL;
231 p->pref = 0;
232}
233
234/*
Willy Tarreau2ff76222007-04-09 19:29:56 +0200235 * Check that the poller works.
236 * Returns 1 if OK, otherwise 0.
237 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200238REGPRM1 static int _do_test(struct poller *p)
Willy Tarreau2ff76222007-04-09 19:29:56 +0200239{
240 int fd;
241
242 fd = epoll_create(global.maxsock + 1);
243 if (fd < 0)
244 return 0;
245 close(fd);
246 return 1;
247}
248
249/*
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200250 * Recreate the epoll file descriptor after a fork(). Returns 1 if OK,
251 * otherwise 0. It will ensure that all processes will not share their
252 * epoll_fd. Some side effects were encountered because of this, such
253 * as epoll_wait() returning an FD which was previously deleted.
254 */
255REGPRM1 static int _do_fork(struct poller *p)
256{
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200257 if (epoll_fd >= 0)
258 close(epoll_fd);
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200259 epoll_fd = epoll_create(global.maxsock + 1);
260 if (epoll_fd < 0)
261 return 0;
262 return 1;
263}
264
265/*
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200266 * It is a constructor, which means that it will automatically be called before
267 * main(). This is GCC-specific but it works at least since 2.95.
268 * Special care must be taken so that it does not need any uninitialized data.
Willy Tarreau4f60f162007-04-08 16:39:58 +0200269 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200270__attribute__((constructor))
271static void _do_register(void)
Willy Tarreau4f60f162007-04-08 16:39:58 +0200272{
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200273 struct poller *p;
274
275 if (nbpollers >= MAX_POLLERS)
276 return;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200277
278 epoll_fd = -1;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200279 p = &pollers[nbpollers++];
280
Willy Tarreau4f60f162007-04-08 16:39:58 +0200281 p->name = "epoll";
282 p->pref = 300;
283 p->private = NULL;
284
Conrad Hoffmann041751c2014-05-20 14:28:24 +0200285 p->clo = __fd_clo;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200286 p->test = _do_test;
287 p->init = _do_init;
288 p->term = _do_term;
289 p->poll = _do_poll;
Willy Tarreaufb8983f2007-06-03 16:40:44 +0200290 p->fork = _do_fork;
Willy Tarreau4f60f162007-04-08 16:39:58 +0200291}
292
293
294/*
295 * Local variables:
296 * c-indent-level: 8
297 * c-basic-offset: 8
298 * End:
299 */