blob: 0d81d67fe8f5df239459a43e34a2ac658119bec0 [file] [log] [blame]
Willy Tarreau1e63130a2007-04-09 12:03:06 +02001/*
2 * FD polling functions for FreeBSD kqueue()
3 *
Willy Tarreauf817e9f2014-01-10 16:58:45 +01004 * Copyright 2000-2014 Willy Tarreau <w@1wt.eu>
Willy Tarreau1e63130a2007-04-09 12:03:06 +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.
10 *
Willy Tarreau1e63130a2007-04-09 12:03:06 +020011 */
12
Willy Tarreau1e63130a2007-04-09 12:03:06 +020013#include <unistd.h>
14#include <sys/time.h>
15#include <sys/types.h>
16
17#include <sys/event.h>
18#include <sys/time.h>
19
Willy Tarreaub2551052020-06-09 09:07:15 +020020#include <haproxy/activity.h>
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020021#include <haproxy/api.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020022#include <haproxy/fd.h>
23#include <haproxy/global.h>
Willy Tarreau3727a8a2020-06-04 17:37:26 +020024#include <haproxy/signal.h>
Willy Tarreauc2f7c582020-06-02 18:15:32 +020025#include <haproxy/ticks.h>
Willy Tarreau92b4f132020-06-01 11:05:15 +020026#include <haproxy/time.h>
Willy Tarreau1e63130a2007-04-09 12:03:06 +020027
Willy Tarreau1e63130a2007-04-09 12:03:06 +020028
29/* private data */
Willy Tarreau8209c9a2021-04-10 17:09:53 +020030static int kqueue_fd[MAX_THREADS] __read_mostly; // per-thread kqueue_fd
Christopher Fauletd4604ad2017-05-29 10:40:41 +020031static THREAD_LOCAL struct kevent *kev = NULL;
Olivier Houchardebaba752018-04-16 13:24:48 +020032static struct kevent *kev_out = NULL; // Trash buffer for kevent() to write the eventlist in
Willy Tarreau1e63130a2007-04-09 12:03:06 +020033
PiBa-NLc55b88e2018-05-10 01:01:28 +020034static int _update_fd(int fd, int start)
Olivier Houchard6b96f722018-04-25 16:58:25 +020035{
36 int en;
PiBa-NLc55b88e2018-05-10 01:01:28 +020037 int changes = start;
Olivier Houchard6b96f722018-04-25 16:58:25 +020038
39 en = fdtab[fd].state;
40
Willy Tarreau5bee3e22019-09-04 09:52:57 +020041 if (!(fdtab[fd].thread_mask & tid_bit) || !(en & FD_EV_ACTIVE_RW)) {
Olivier Houchard53055052019-07-25 14:00:18 +000042 if (!(polled_mask[fd].poll_recv & tid_bit) &&
43 !(polled_mask[fd].poll_send & tid_bit)) {
Olivier Houchard6b96f722018-04-25 16:58:25 +020044 /* fd was not watched, it's still not */
Olivier Houchard5ab33942018-09-11 14:44:51 +020045 return changes;
Olivier Houchard6b96f722018-04-25 16:58:25 +020046 }
47 /* fd totally removed from poll list */
48 EV_SET(&kev[changes++], fd, EVFILT_READ, EV_DELETE, 0, 0, NULL);
49 EV_SET(&kev[changes++], fd, EVFILT_WRITE, EV_DELETE, 0, 0, NULL);
Olivier Houchard53055052019-07-25 14:00:18 +000050 if (polled_mask[fd].poll_recv & tid_bit)
51 _HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~tid_bit);
52 if (polled_mask[fd].poll_send & tid_bit)
53 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~tid_bit);
Olivier Houchard6b96f722018-04-25 16:58:25 +020054 }
55 else {
56 /* OK fd has to be monitored, it was either added or changed */
57
Willy Tarreau5bee3e22019-09-04 09:52:57 +020058 if (en & FD_EV_ACTIVE_R) {
Olivier Houchard53055052019-07-25 14:00:18 +000059 if (!(polled_mask[fd].poll_recv & tid_bit)) {
60 EV_SET(&kev[changes++], fd, EVFILT_READ, EV_ADD, 0, 0, NULL);
61 _HA_ATOMIC_OR(&polled_mask[fd].poll_recv, tid_bit);
62 }
63 }
64 else if (polled_mask[fd].poll_recv & tid_bit) {
Olivier Houchard6b96f722018-04-25 16:58:25 +020065 EV_SET(&kev[changes++], fd, EVFILT_READ, EV_DELETE, 0, 0, NULL);
Olivier Houchard53055052019-07-25 14:00:18 +000066 HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~tid_bit);
67 }
Olivier Houchard6b96f722018-04-25 16:58:25 +020068
Willy Tarreau5bee3e22019-09-04 09:52:57 +020069 if (en & FD_EV_ACTIVE_W) {
Olivier Houchard53055052019-07-25 14:00:18 +000070 if (!(polled_mask[fd].poll_send & tid_bit)) {
71 EV_SET(&kev[changes++], fd, EVFILT_WRITE, EV_ADD, 0, 0, NULL);
72 _HA_ATOMIC_OR(&polled_mask[fd].poll_send, tid_bit);
73 }
74 }
75 else if (polled_mask[fd].poll_send & tid_bit) {
Olivier Houchard6b96f722018-04-25 16:58:25 +020076 EV_SET(&kev[changes++], fd, EVFILT_WRITE, EV_DELETE, 0, 0, NULL);
Olivier Houchard53055052019-07-25 14:00:18 +000077 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~tid_bit);
78 }
Olivier Houchard6b96f722018-04-25 16:58:25 +020079
Olivier Houchard6b96f722018-04-25 16:58:25 +020080 }
81 return changes;
82}
83
Willy Tarreau1e63130a2007-04-09 12:03:06 +020084/*
Willy Tarreau4a226272012-11-11 20:49:49 +010085 * kqueue() poller
Willy Tarreau1e63130a2007-04-09 12:03:06 +020086 */
Willy Tarreau03e78532020-02-25 07:38:05 +010087static void _do_poll(struct poller *p, int exp, int wake)
Willy Tarreau1e63130a2007-04-09 12:03:06 +020088{
Willy Tarreau4a226272012-11-11 20:49:49 +010089 int status;
Willy Tarreaubeb859a2018-11-22 18:07:59 +010090 int count, fd, wait_time;
91 struct timespec timeout_ts;
Olivier Houchard6b96f722018-04-25 16:58:25 +020092 int updt_idx;
Willy Tarreau4a226272012-11-11 20:49:49 +010093 int changes = 0;
Olivier Houchard6b96f722018-04-25 16:58:25 +020094 int old_fd;
Willy Tarreau1e63130a2007-04-09 12:03:06 +020095
Willy Tarreaubeb859a2018-11-22 18:07:59 +010096 timeout_ts.tv_sec = 0;
97 timeout_ts.tv_nsec = 0;
Willy Tarreau4a226272012-11-11 20:49:49 +010098 /* first, scan the update list to find changes */
99 for (updt_idx = 0; updt_idx < fd_nbupdt; updt_idx++) {
100 fd = fd_updt[updt_idx];
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100101
Olivier Houchardcb6c9272019-03-08 18:49:54 +0100102 _HA_ATOMIC_AND(&fdtab[fd].update_mask, ~tid_bit);
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100103 if (!fdtab[fd].owner) {
Willy Tarreaue4063862020-06-17 20:35:33 +0200104 activity[tid].poll_drop_fd++;
Willy Tarreauf817e9f2014-01-10 16:58:45 +0100105 continue;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100106 }
PiBa-NLc55b88e2018-05-10 01:01:28 +0200107 changes = _update_fd(fd, changes);
Olivier Houchard6b96f722018-04-25 16:58:25 +0200108 }
109 /* Scan the global update list */
110 for (old_fd = fd = update_list.first; fd != -1; fd = fdtab[fd].update.next) {
111 if (fd == -2) {
112 fd = old_fd;
113 continue;
Willy Tarreau4a226272012-11-11 20:49:49 +0100114 }
Olivier Houchard6b96f722018-04-25 16:58:25 +0200115 else if (fd <= -3)
116 fd = -fd -4;
117 if (fd == -1)
118 break;
119 if (fdtab[fd].update_mask & tid_bit)
120 done_update_polling(fd);
121 else
122 continue;
123 if (!fdtab[fd].owner)
124 continue;
PiBa-NLc55b88e2018-05-10 01:01:28 +0200125 changes = _update_fd(fd, changes);
Willy Tarreau4a226272012-11-11 20:49:49 +0100126 }
Olivier Houchard6b96f722018-04-25 16:58:25 +0200127
Willy Tarreau60b639c2018-08-02 10:16:17 +0200128 thread_harmless_now();
129
Olivier Houchardebaba752018-04-16 13:24:48 +0200130 if (changes) {
131#ifdef EV_RECEIPT
132 kev[0].flags |= EV_RECEIPT;
133#else
134 /* If EV_RECEIPT isn't defined, just add an invalid entry,
135 * so that we get an error and kevent() stops before scanning
136 * the kqueue.
137 */
138 EV_SET(&kev[changes++], -1, EVFILT_WRITE, EV_DELETE, 0, 0, NULL);
139#endif
Willy Tarreaubeb859a2018-11-22 18:07:59 +0100140 kevent(kqueue_fd[tid], kev, changes, kev_out, changes, &timeout_ts);
Olivier Houchardebaba752018-04-16 13:24:48 +0200141 }
Willy Tarreau4a226272012-11-11 20:49:49 +0100142 fd_nbupdt = 0;
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200143
Matthias Wirth6b933fc2022-09-09 10:21:00 +0200144 /* Now let's wait for polled events. */
145 wait_time = wake ? 0 : compute_poll_timeout(exp);
Willy Tarreauce036bc2018-01-29 14:58:02 +0100146 fd = global.tune.maxpollevents;
Willy Tarreau7e9c4ae2018-10-17 14:31:19 +0200147 tv_entering_poll();
Willy Tarreau609aad92018-11-22 08:31:09 +0100148 activity_count_runtime();
Willy Tarreaubeb859a2018-11-22 18:07:59 +0100149
150 do {
151 int timeout = (global.tune.options & GTUNE_BUSY_POLLING) ? 0 : wait_time;
152
153 timeout_ts.tv_sec = (timeout / 1000);
154 timeout_ts.tv_nsec = (timeout % 1000) * 1000000;
155
156 status = kevent(kqueue_fd[tid], // int kq
157 NULL, // const struct kevent *changelist
158 0, // int nchanges
159 kev, // struct kevent *eventlist
160 fd, // int nevents
161 &timeout_ts); // const struct timespec *timeout
162 tv_update_date(timeout, status);
163
Willy Tarreaue5451532020-06-17 20:25:18 +0200164 if (status) {
165 activity[tid].poll_io++;
Willy Tarreaubeb859a2018-11-22 18:07:59 +0100166 break;
Willy Tarreaue5451532020-06-17 20:25:18 +0200167 }
Willy Tarreaubeb859a2018-11-22 18:07:59 +0100168 if (timeout || !wait_time)
169 break;
Matthias Wirth6b933fc2022-09-09 10:21:00 +0200170 if (wake)
Willy Tarreaubeb859a2018-11-22 18:07:59 +0100171 break;
172 if (tick_isset(exp) && tick_is_expired(exp, now_ms))
173 break;
174 } while (1);
175
176 tv_leaving_poll(wait_time, status);
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200177
Willy Tarreau60b639c2018-08-02 10:16:17 +0200178 thread_harmless_end();
Olivier Houchard305d5ab2019-07-24 18:07:06 +0200179 if (sleeping_thread_mask & tid_bit)
180 _HA_ATOMIC_AND(&sleeping_thread_mask, ~tid_bit);
Willy Tarreau60b639c2018-08-02 10:16:17 +0200181
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200182 for (count = 0; count < status; count++) {
Christopher Fauletab62f512017-08-30 10:34:36 +0200183 unsigned int n = 0;
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200184 fd = kev[count].ident;
Willy Tarreau9845e752012-07-06 11:44:28 +0200185
Willy Tarreau38e8a1c2020-06-23 10:04:54 +0200186#ifdef DEBUG_FD
Willy Tarreau4781b152021-04-06 13:53:36 +0200187 _HA_ATOMIC_INC(&fdtab[fd].event_count);
Willy Tarreau38e8a1c2020-06-23 10:04:54 +0200188#endif
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100189 if (!fdtab[fd].owner) {
Willy Tarreaue4063862020-06-17 20:35:33 +0200190 activity[tid].poll_dead_fd++;
Willy Tarreau076be252012-07-06 16:02:29 +0200191 continue;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100192 }
193
194 if (!(fdtab[fd].thread_mask & tid_bit)) {
Willy Tarreaue4063862020-06-17 20:35:33 +0200195 activity[tid].poll_skip_fd++;
Willy Tarreauea2036d2021-07-30 14:18:49 +0200196 if (!HA_ATOMIC_BTS(&fdtab[fd].update_mask, tid))
197 fd_updt[fd_nbupdt++] = fd;
Willy Tarreaud80cb4e2018-01-20 19:30:13 +0100198 continue;
199 }
Willy Tarreau076be252012-07-06 16:02:29 +0200200
Willy Tarreau6b308982019-09-06 19:05:50 +0200201 if (kev[count].filter == EVFILT_READ) {
Olivier Houchardeaefc3c2019-12-10 18:22:55 +0100202 if (kev[count].data || !(kev[count].flags & EV_EOF))
Willy Tarreau6b308982019-09-06 19:05:50 +0200203 n |= FD_EV_READY_R;
Willy Tarreau19c4ab92017-03-13 20:36:48 +0100204 if (kev[count].flags & EV_EOF)
Willy Tarreau6b308982019-09-06 19:05:50 +0200205 n |= FD_EV_SHUT_R;
Willy Tarreau4a226272012-11-11 20:49:49 +0100206 }
Willy Tarreau6b308982019-09-06 19:05:50 +0200207 else if (kev[count].filter == EVFILT_WRITE) {
208 n |= FD_EV_READY_W;
Willy Tarreau19c4ab92017-03-13 20:36:48 +0100209 if (kev[count].flags & EV_EOF)
Willy Tarreau6b308982019-09-06 19:05:50 +0200210 n |= FD_EV_ERR_RW;
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200211 }
Willy Tarreau4a226272012-11-11 20:49:49 +0100212
Christopher Fauletab62f512017-08-30 10:34:36 +0200213 fd_update_events(fd, n);
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200214 }
215}
216
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200217
218static int init_kqueue_per_thread()
219{
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100220 int fd;
221
Olivier Houchardebaba752018-04-16 13:24:48 +0200222 /* we can have up to two events per fd, so allocate enough to store
223 * 2*fd event, and an extra one, in case EV_RECEIPT isn't defined,
224 * so that we can add an invalid entry and get an error, to avoid
225 * scanning the kqueue uselessly.
226 */
227 kev = calloc(1, sizeof(struct kevent) * (2 * global.maxsock + 1));
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200228 if (kev == NULL)
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100229 goto fail_alloc;
230
Christopher Faulet727c89b2018-01-25 16:40:35 +0100231 if (MAX_THREADS > 1 && tid) {
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100232 kqueue_fd[tid] = kqueue();
233 if (kqueue_fd[tid] < 0)
234 goto fail_fd;
235 }
236
237 /* we may have to unregister some events initially registered on the
238 * original fd when it was alone, and/or to register events on the new
239 * fd for this thread. Let's just mark them as updated, the poller will
240 * do the rest.
241 */
Willy Tarreauce036bc2018-01-29 14:58:02 +0100242 for (fd = 0; fd < global.maxsock; fd++)
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100243 updt_fd_polling(fd);
244
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200245 return 1;
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100246 fail_fd:
247 free(kev);
248 fail_alloc:
249 return 0;
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200250}
251
252static void deinit_kqueue_per_thread()
253{
Christopher Faulet727c89b2018-01-25 16:40:35 +0100254 if (MAX_THREADS > 1 && tid)
Christopher Faulet13b007d2018-01-25 16:32:18 +0100255 close(kqueue_fd[tid]);
256
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100257 ha_free(&kev);
Christopher Fauletd4604ad2017-05-29 10:40:41 +0200258}
259
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200260/*
261 * Initialization of the kqueue() poller.
262 * Returns 0 in case of failure, non-zero in case of success. If it fails, it
263 * disables the poller by setting its pref to 0.
264 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100265static int _do_init(struct poller *p)
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200266{
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200267 p->private = NULL;
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200268
Olivier Houchardebaba752018-04-16 13:24:48 +0200269 /* we can have up to two events per fd, so allocate enough to store
270 * 2*fd event, and an extra one, in case EV_RECEIPT isn't defined,
271 * so that we can add an invalid entry and get an error, to avoid
272 * scanning the kqueue uselessly.
273 */
274 kev_out = calloc(1, sizeof(struct kevent) * (2 * global.maxsock + 1));
275 if (!kev_out)
276 goto fail_alloc;
277
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100278 kqueue_fd[tid] = kqueue();
279 if (kqueue_fd[tid] < 0)
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200280 goto fail_fd;
281
Christopher Fauletcd7879a2017-10-27 13:53:47 +0200282 hap_register_per_thread_init(init_kqueue_per_thread);
283 hap_register_per_thread_deinit(deinit_kqueue_per_thread);
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200284 return 1;
285
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200286 fail_fd:
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100287 ha_free(&kev_out);
Olivier Houchardebaba752018-04-16 13:24:48 +0200288fail_alloc:
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200289 p->pref = 0;
290 return 0;
291}
292
293/*
294 * Termination of the kqueue() poller.
295 * Memory is released and the poller is marked as unselectable.
296 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100297static void _do_term(struct poller *p)
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200298{
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100299 if (kqueue_fd[tid] >= 0) {
300 close(kqueue_fd[tid]);
301 kqueue_fd[tid] = -1;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200302 }
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200303
304 p->private = NULL;
305 p->pref = 0;
Olivier Houchardebaba752018-04-16 13:24:48 +0200306 if (kev_out) {
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100307 ha_free(&kev_out);
Olivier Houchardebaba752018-04-16 13:24:48 +0200308 }
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200309}
310
311/*
Willy Tarreau2ff76222007-04-09 19:29:56 +0200312 * Check that the poller works.
313 * Returns 1 if OK, otherwise 0.
314 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100315static int _do_test(struct poller *p)
Willy Tarreau2ff76222007-04-09 19:29:56 +0200316{
317 int fd;
318
319 fd = kqueue();
320 if (fd < 0)
321 return 0;
322 close(fd);
323 return 1;
324}
325
326/*
327 * Recreate the kqueue file descriptor after a fork(). Returns 1 if OK,
328 * otherwise 0. Note that some pollers need to be reopened after a fork()
329 * (such as kqueue), and some others may fail to do so in a chroot.
330 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100331static int _do_fork(struct poller *p)
Willy Tarreau2ff76222007-04-09 19:29:56 +0200332{
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100333 kqueue_fd[tid] = kqueue();
334 if (kqueue_fd[tid] < 0)
Willy Tarreau2ff76222007-04-09 19:29:56 +0200335 return 0;
336 return 1;
337}
338
339/*
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200340 * It is a constructor, which means that it will automatically be called before
341 * main(). This is GCC-specific but it works at least since 2.95.
342 * Special care must be taken so that it does not need any uninitialized data.
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200343 */
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200344__attribute__((constructor))
345static void _do_register(void)
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200346{
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200347 struct poller *p;
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100348 int i;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200349
350 if (nbpollers >= MAX_POLLERS)
351 return;
Willy Tarreaud79e79b2009-05-10 10:18:54 +0200352
Willy Tarreau7a2364d2018-01-19 08:56:14 +0100353 for (i = 0; i < MAX_THREADS; i++)
354 kqueue_fd[i] = -1;
355
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200356 p = &pollers[nbpollers++];
357
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200358 p->name = "kqueue";
359 p->pref = 300;
Willy Tarreau11ef0832019-11-28 18:17:33 +0100360 p->flags = HAP_POLL_F_RDHUP | HAP_POLL_F_ERRHUP;
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200361 p->private = NULL;
362
Willy Tarreau70c6fd82012-11-11 21:02:34 +0100363 p->clo = NULL;
Willy Tarreauef1d1f82007-04-16 00:25:25 +0200364 p->test = _do_test;
365 p->init = _do_init;
366 p->term = _do_term;
367 p->poll = _do_poll;
368 p->fork = _do_fork;
Willy Tarreau1e63130a2007-04-09 12:03:06 +0200369}
370
371
372/*
373 * Local variables:
374 * c-indent-level: 8
375 * c-basic-offset: 8
376 * End:
377 */