blob: 4d611541cf5bf14121a63fa8243bf7b7efb7f588 [file] [log] [blame]
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +00001/*
2 * FD polling functions for SunOS event ports.
3 *
4 * Copyright 2018 Joyent, Inc.
5 *
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 */
11
12#include <unistd.h>
13#include <sys/time.h>
14#include <sys/types.h>
15
16#include <poll.h>
17#include <port.h>
18#include <errno.h>
19#include <syslog.h>
20
Willy Tarreaub2551052020-06-09 09:07:15 +020021#include <haproxy/activity.h>
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020022#include <haproxy/api.h>
Willy Tarreau55542642021-10-08 09:33:24 +020023#include <haproxy/clock.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020024#include <haproxy/fd.h>
25#include <haproxy/global.h>
Willy Tarreau3727a8a2020-06-04 17:37:26 +020026#include <haproxy/signal.h>
Willy Tarreau6dfab112021-09-30 17:53:22 +020027#include <haproxy/task.h>
Willy Tarreauc2f7c582020-06-02 18:15:32 +020028#include <haproxy/ticks.h>
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000029
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000030/*
31 * Private data:
32 */
33static int evports_fd[MAX_THREADS]; // per-thread evports_fd
34static THREAD_LOCAL port_event_t *evports_evlist = NULL;
35static THREAD_LOCAL int evports_evlist_max = 0;
36
37/*
38 * Convert the "state" member of "fdtab" into an event ports event mask.
39 */
40static inline int evports_state_to_events(int state)
41{
42 int events = 0;
43
Willy Tarreau5bee3e22019-09-04 09:52:57 +020044 if (state & FD_EV_ACTIVE_W)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000045 events |= POLLOUT;
Willy Tarreau5bee3e22019-09-04 09:52:57 +020046 if (state & FD_EV_ACTIVE_R)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000047 events |= POLLIN;
48
49 return (events);
50}
51
52/*
53 * Associate or dissociate this file descriptor with the event port, using the
54 * specified event mask.
55 */
56static inline void evports_resync_fd(int fd, int events)
57{
58 if (events == 0)
59 port_dissociate(evports_fd[tid], PORT_SOURCE_FD, fd);
60 else
61 port_associate(evports_fd[tid], PORT_SOURCE_FD, fd, events, NULL);
62}
63
64static void _update_fd(int fd)
65{
66 int en;
67 int events;
68
69 en = fdtab[fd].state;
70
Willy Tarreau5bee3e22019-09-04 09:52:57 +020071 if (!(fdtab[fd].thread_mask & tid_bit) || !(en & FD_EV_ACTIVE_RW)) {
Olivier Houchard53055052019-07-25 14:00:18 +000072 if (!(polled_mask[fd].poll_recv & tid_bit) &&
73 !(polled_mask[fd].poll_send & tid_bit)) {
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000074 /* fd was not watched, it's still not */
75 return;
76 }
77 /* fd totally removed from poll list */
78 events = 0;
Olivier Houchard53055052019-07-25 14:00:18 +000079 if (polled_mask[fd].poll_recv & tid_bit)
80 _HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~tid_bit);
81 if (polled_mask[fd].poll_send & tid_bit)
82 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~tid_bit);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000083 }
84 else {
85 /* OK fd has to be monitored, it was either added or changed */
86 events = evports_state_to_events(en);
Willy Tarreau5bee3e22019-09-04 09:52:57 +020087 if (en & FD_EV_ACTIVE_R) {
Olivier Houchard53055052019-07-25 14:00:18 +000088 if (!(polled_mask[fd].poll_recv & tid_bit))
89 _HA_ATOMIC_OR(&polled_mask[fd].poll_recv, tid_bit);
90 } else {
91 if (polled_mask[fd].poll_recv & tid_bit)
92 _HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~tid_bit);
93 }
Willy Tarreau5bee3e22019-09-04 09:52:57 +020094 if (en & FD_EV_ACTIVE_W) {
Olivier Houchard53055052019-07-25 14:00:18 +000095 if (!(polled_mask[fd].poll_send & tid_bit))
96 _HA_ATOMIC_OR(&polled_mask[fd].poll_send, tid_bit);
97 } else {
98 if (polled_mask[fd].poll_send & tid_bit)
99 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~tid_bit);
100 }
101
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000102 }
103 evports_resync_fd(fd, events);
104}
105
106/*
107 * Event Ports poller. This routine interacts with the file descriptor
108 * management data structures and routines; see the large block comment in
109 * "src/fd.c" for more information.
110 */
111
Willy Tarreau03e78532020-02-25 07:38:05 +0100112static void _do_poll(struct poller *p, int exp, int wake)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000113{
114 int i;
115 int wait_time;
116 struct timespec timeout_ts;
117 unsigned int nevlist;
118 int fd, old_fd;
119 int status;
120
121 /*
122 * Scan the list of file descriptors with an updated status:
123 */
124 for (i = 0; i < fd_nbupdt; i++) {
125 fd = fd_updt[i];
126
127 _HA_ATOMIC_AND(&fdtab[fd].update_mask, ~tid_bit);
128 if (fdtab[fd].owner == NULL) {
Willy Tarreaue4063862020-06-17 20:35:33 +0200129 activity[tid].poll_drop_fd++;
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000130 continue;
131 }
132
133 _update_fd(fd);
134 }
135 fd_nbupdt = 0;
136 /* Scan the global update list */
137 for (old_fd = fd = update_list.first; fd != -1; fd = fdtab[fd].update.next) {
138 if (fd == -2) {
139 fd = old_fd;
140 continue;
141 }
142 else if (fd <= -3)
143 fd = -fd -4;
144 if (fd == -1)
145 break;
146 if (fdtab[fd].update_mask & tid_bit)
147 done_update_polling(fd);
148 else
149 continue;
150 if (!fdtab[fd].owner)
151 continue;
152 _update_fd(fd);
153 }
154
Willy Tarreau88d1c5d2021-08-04 11:44:17 +0200155 thread_idle_now();
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000156 thread_harmless_now();
157
158 /*
159 * Determine how long to wait for events to materialise on the port.
160 */
Willy Tarreau2ae84e42019-05-28 16:44:05 +0200161 wait_time = wake ? 0 : compute_poll_timeout(exp);
Willy Tarreauf9d5e102021-10-08 10:43:59 +0200162 clock_entering_poll();
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000163
164 do {
165 int timeout = (global.tune.options & GTUNE_BUSY_POLLING) ? 0 : wait_time;
166 int interrupted = 0;
167 nevlist = 1; /* desired number of events to be retrieved */
168 timeout_ts.tv_sec = (timeout / 1000);
169 timeout_ts.tv_nsec = (timeout % 1000) * 1000000;
170
171 status = port_getn(evports_fd[tid],
172 evports_evlist,
173 evports_evlist_max,
174 &nevlist, /* updated to the number of events retrieved */
175 &timeout_ts);
176 if (status != 0) {
177 int e = errno;
178 switch (e) {
179 case ETIME:
180 /*
181 * Though the manual page has not historically made it
182 * clear, port_getn() can return -1 with an errno of
183 * ETIME and still have returned some number of events.
184 */
185 /* nevlist >= 0 */
186 break;
187 default:
188 nevlist = 0;
189 interrupted = 1;
190 break;
191 }
192 }
Willy Tarreau55542642021-10-08 09:33:24 +0200193 clock_update_date(timeout, nevlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000194
195 if (nevlist || interrupted)
196 break;
197 if (timeout || !wait_time)
198 break;
Willy Tarreau2ae84e42019-05-28 16:44:05 +0200199 if (signal_queue_len || wake)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000200 break;
201 if (tick_isset(exp) && tick_is_expired(exp, now_ms))
202 break;
203 } while(1);
204
Willy Tarreauf9d5e102021-10-08 10:43:59 +0200205 clock_leaving_poll(wait_time, nevlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000206
207 thread_harmless_end();
Willy Tarreau88d1c5d2021-08-04 11:44:17 +0200208 thread_idle_end();
209
Willy Tarreauc37ccd72021-07-30 10:57:09 +0200210 if (sleeping_thread_mask & tid_bit)
211 _HA_ATOMIC_AND(&sleeping_thread_mask, ~tid_bit);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000212
Willy Tarreaue5451532020-06-17 20:25:18 +0200213 if (nevlist > 0)
214 activity[tid].poll_io++;
215
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000216 for (i = 0; i < nevlist; i++) {
217 unsigned int n = 0;
218 int events, rebind_events;
Willy Tarreau200bd502021-07-29 16:57:19 +0200219 int ret;
220
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000221 fd = evports_evlist[i].portev_object;
222 events = evports_evlist[i].portev_events;
223
Willy Tarreau38e8a1c2020-06-23 10:04:54 +0200224#ifdef DEBUG_FD
Willy Tarreau4781b152021-04-06 13:53:36 +0200225 _HA_ATOMIC_INC(&fdtab[fd].event_count);
Willy Tarreau38e8a1c2020-06-23 10:04:54 +0200226#endif
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000227 /*
228 * By virtue of receiving an event for this file descriptor, it
229 * is no longer associated with the port in question. Store
230 * the previous event mask so that we may reassociate after
231 * processing is complete.
232 */
233 rebind_events = evports_state_to_events(fdtab[fd].state);
234 /* rebind_events != 0 */
235
236 /*
237 * Set bits based on the events we received from the port:
238 */
Emmanuel Hocdet7ceb96b2019-09-19 11:08:26 +0000239 n = ((events & POLLIN) ? FD_EV_READY_R : 0) |
240 ((events & POLLOUT) ? FD_EV_READY_W : 0) |
241 ((events & POLLHUP) ? FD_EV_SHUT_RW : 0) |
242 ((events & POLLERR) ? FD_EV_ERR_RW : 0);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000243
244 /*
245 * Call connection processing callbacks. Note that it's
246 * possible for this processing to alter the required event
Ilya Shipitsince7b00f2020-03-23 22:28:40 +0500247 * port association; i.e., the "state" member of the "fdtab"
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000248 * entry. If it changes, the fd will be placed on the updated
249 * list for processing the next time we are called.
250 */
Willy Tarreau200bd502021-07-29 16:57:19 +0200251 ret = fd_update_events(fd, n);
252
Willy Tarreau200bd502021-07-29 16:57:19 +0200253 /* disable polling on this instance if the FD was migrated */
254 if (ret == FD_UPDT_MIGRATED) {
255 if (!HA_ATOMIC_BTS(&fdtab[fd].update_mask, tid))
256 fd_updt[fd_nbupdt++] = fd;
257 continue;
258 }
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000259
260 /*
261 * This file descriptor was closed during the processing of
262 * polled events. No need to reassociate.
263 */
Willy Tarreau200bd502021-07-29 16:57:19 +0200264 if (ret == FD_UPDT_CLOSED)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000265 continue;
266
267 /*
268 * Reassociate with the port, using the same event mask as
269 * before. This call will not result in a dissociation as we
270 * asserted that _some_ events needed to be rebound above.
271 *
272 * Reassociating with the same mask allows us to mimic the
273 * level-triggered behaviour of poll(2). In the event that we
274 * are interested in the same events on the next turn of the
275 * loop, this represents no extra work.
276 *
277 * If this additional port_associate(3C) call becomes a
278 * performance problem, we would need to verify that we can
279 * correctly interact with the file descriptor cache and update
280 * list (see "src/fd.c") to avoid reassociating here, or to use
281 * a different events mask.
282 */
283 evports_resync_fd(fd, rebind_events);
284 }
285}
286
287static int init_evports_per_thread()
288{
289 int fd;
290
291 evports_evlist_max = global.tune.maxpollevents;
Tim Duesterhus16cc16d2021-11-06 15:14:45 +0100292 evports_evlist = calloc(evports_evlist_max, sizeof(*evports_evlist));
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000293 if (evports_evlist == NULL) {
294 goto fail_alloc;
295 }
296
297 if (MAX_THREADS > 1 && tid) {
298 if ((evports_fd[tid] = port_create()) == -1) {
299 goto fail_fd;
300 }
301 }
302
303 /* we may have to unregister some events initially registered on the
304 * original fd when it was alone, and/or to register events on the new
305 * fd for this thread. Let's just mark them as updated, the poller will
306 * do the rest.
307 */
308 for (fd = 0; fd < global.maxsock; fd++)
309 updt_fd_polling(fd);
310
311 return 1;
312
313 fail_fd:
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100314 ha_free(&evports_evlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000315 evports_evlist_max = 0;
316 fail_alloc:
317 return 0;
318}
319
320static void deinit_evports_per_thread()
321{
322 if (MAX_THREADS > 1 && tid)
323 close(evports_fd[tid]);
324
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100325 ha_free(&evports_evlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000326 evports_evlist_max = 0;
327}
328
329/*
330 * Initialisation of the event ports poller.
331 * Returns 0 in case of failure, non-zero in case of success.
332 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100333static int _do_init(struct poller *p)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000334{
335 p->private = NULL;
336
337 if ((evports_fd[tid] = port_create()) == -1) {
338 goto fail;
339 }
340
341 hap_register_per_thread_init(init_evports_per_thread);
342 hap_register_per_thread_deinit(deinit_evports_per_thread);
343
344 return 1;
345
346fail:
347 p->pref = 0;
348 return 0;
349}
350
351/*
352 * Termination of the event ports poller.
353 * All resources are released and the poller is marked as inoperative.
354 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100355static void _do_term(struct poller *p)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000356{
357 if (evports_fd[tid] != -1) {
358 close(evports_fd[tid]);
359 evports_fd[tid] = -1;
360 }
361
362 p->private = NULL;
363 p->pref = 0;
364
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100365 ha_free(&evports_evlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000366 evports_evlist_max = 0;
367}
368
369/*
370 * Run-time check to make sure we can allocate the resources needed for
371 * the poller to function correctly.
372 * Returns 1 on success, otherwise 0.
373 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100374static int _do_test(struct poller *p)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000375{
376 int fd;
377
378 if ((fd = port_create()) == -1) {
379 return 0;
380 }
381
382 close(fd);
383 return 1;
384}
385
386/*
387 * Close and recreate the event port after fork(). Returns 1 on success,
388 * otherwise 0. If this function fails, "_do_term()" must be called to
389 * clean up the poller.
390 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100391static int _do_fork(struct poller *p)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000392{
393 if (evports_fd[tid] != -1) {
394 close(evports_fd[tid]);
395 }
396
397 if ((evports_fd[tid] = port_create()) == -1) {
398 return 0;
399 }
400
401 return 1;
402}
403
404/*
Willy Tarreau740d7492022-04-25 19:00:55 +0200405 * Registers the poller.
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000406 */
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000407static void _do_register(void)
408{
409 struct poller *p;
410 int i;
411
412 if (nbpollers >= MAX_POLLERS)
413 return;
414
415 for (i = 0; i < MAX_THREADS; i++)
416 evports_fd[i] = -1;
417
418 p = &pollers[nbpollers++];
419
420 p->name = "evports";
421 p->pref = 300;
Willy Tarreau11ef0832019-11-28 18:17:33 +0100422 p->flags = HAP_POLL_F_ERRHUP;
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000423 p->private = NULL;
424
425 p->clo = NULL;
426 p->test = _do_test;
427 p->init = _do_init;
428 p->term = _do_term;
429 p->poll = _do_poll;
430 p->fork = _do_fork;
431}
Willy Tarreau740d7492022-04-25 19:00:55 +0200432
433INITCALL0(STG_REGISTER, _do_register);