blob: 06e7a01c619f62bc2b9b7ab13cd4ad50ec008a26 [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;
Willy Tarreau63022122022-07-06 10:37:31 +020068 ulong pr, ps;
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000069
70 en = fdtab[fd].state;
Willy Tarreau63022122022-07-06 10:37:31 +020071 pr = _HA_ATOMIC_LOAD(&polled_mask[fd].poll_recv);
72 ps = _HA_ATOMIC_LOAD(&polled_mask[fd].poll_send);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000073
Willy Tarreau3638d172022-07-07 08:23:03 +020074 if (!(fdtab[fd].thread_mask & ti->ltid_bit) || !(en & FD_EV_ACTIVE_RW)) {
Willy Tarreau63022122022-07-06 10:37:31 +020075 if (!((pr | ps) & ti->ltid_bit)) {
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000076 /* fd was not watched, it's still not */
77 return;
78 }
79 /* fd totally removed from poll list */
80 events = 0;
Willy Tarreau63022122022-07-06 10:37:31 +020081 if (pr & ti->ltid_bit)
82 _HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~ti->ltid_bit);
83 if (ps & ti->ltid_bit)
84 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~ti->ltid_bit);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +000085 }
86 else {
87 /* OK fd has to be monitored, it was either added or changed */
88 events = evports_state_to_events(en);
Willy Tarreau5bee3e22019-09-04 09:52:57 +020089 if (en & FD_EV_ACTIVE_R) {
Willy Tarreau63022122022-07-06 10:37:31 +020090 if (!(pr & ti->ltid_bit))
91 _HA_ATOMIC_OR(&polled_mask[fd].poll_recv, ti->ltid_bit);
Olivier Houchard53055052019-07-25 14:00:18 +000092 } else {
Willy Tarreau63022122022-07-06 10:37:31 +020093 if (pr & ti->ltid_bit)
94 _HA_ATOMIC_AND(&polled_mask[fd].poll_recv, ~ti->ltid_bit);
Olivier Houchard53055052019-07-25 14:00:18 +000095 }
Willy Tarreau5bee3e22019-09-04 09:52:57 +020096 if (en & FD_EV_ACTIVE_W) {
Willy Tarreau63022122022-07-06 10:37:31 +020097 if (!(ps & ti->ltid_bit))
98 _HA_ATOMIC_OR(&polled_mask[fd].poll_send, ti->ltid_bit);
Olivier Houchard53055052019-07-25 14:00:18 +000099 } else {
Willy Tarreau63022122022-07-06 10:37:31 +0200100 if (ps & ti->ltid_bit)
101 _HA_ATOMIC_AND(&polled_mask[fd].poll_send, ~ti->ltid_bit);
Olivier Houchard53055052019-07-25 14:00:18 +0000102 }
103
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000104 }
105 evports_resync_fd(fd, events);
106}
107
108/*
109 * Event Ports poller. This routine interacts with the file descriptor
110 * management data structures and routines; see the large block comment in
111 * "src/fd.c" for more information.
112 */
113
Willy Tarreau03e78532020-02-25 07:38:05 +0100114static void _do_poll(struct poller *p, int exp, int wake)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000115{
116 int i;
117 int wait_time;
118 struct timespec timeout_ts;
119 unsigned int nevlist;
120 int fd, old_fd;
121 int status;
122
123 /*
124 * Scan the list of file descriptors with an updated status:
125 */
126 for (i = 0; i < fd_nbupdt; i++) {
127 fd = fd_updt[i];
128
Willy Tarreau6d3c5012022-07-05 19:21:06 +0200129 _HA_ATOMIC_AND(&fdtab[fd].update_mask, ~ti->ltid_bit);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000130 if (fdtab[fd].owner == NULL) {
Willy Tarreaue4063862020-06-17 20:35:33 +0200131 activity[tid].poll_drop_fd++;
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000132 continue;
133 }
134
135 _update_fd(fd);
136 }
137 fd_nbupdt = 0;
138 /* Scan the global update list */
Willy Tarreau35ee7102022-07-08 11:33:43 +0200139 for (old_fd = fd = update_list[tgid - 1].first; fd != -1; fd = fdtab[fd].update.next) {
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000140 if (fd == -2) {
141 fd = old_fd;
142 continue;
143 }
144 else if (fd <= -3)
145 fd = -fd -4;
146 if (fd == -1)
147 break;
Willy Tarreau6d3c5012022-07-05 19:21:06 +0200148 if (fdtab[fd].update_mask & ti->ltid_bit)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000149 done_update_polling(fd);
150 else
151 continue;
152 if (!fdtab[fd].owner)
153 continue;
154 _update_fd(fd);
155 }
156
Willy Tarreau88d1c5d2021-08-04 11:44:17 +0200157 thread_idle_now();
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000158 thread_harmless_now();
159
160 /*
161 * Determine how long to wait for events to materialise on the port.
162 */
Willy Tarreau2ae84e42019-05-28 16:44:05 +0200163 wait_time = wake ? 0 : compute_poll_timeout(exp);
Willy Tarreauf9d5e102021-10-08 10:43:59 +0200164 clock_entering_poll();
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000165
166 do {
167 int timeout = (global.tune.options & GTUNE_BUSY_POLLING) ? 0 : wait_time;
168 int interrupted = 0;
169 nevlist = 1; /* desired number of events to be retrieved */
170 timeout_ts.tv_sec = (timeout / 1000);
171 timeout_ts.tv_nsec = (timeout % 1000) * 1000000;
172
173 status = port_getn(evports_fd[tid],
174 evports_evlist,
175 evports_evlist_max,
176 &nevlist, /* updated to the number of events retrieved */
177 &timeout_ts);
178 if (status != 0) {
179 int e = errno;
180 switch (e) {
181 case ETIME:
182 /*
183 * Though the manual page has not historically made it
184 * clear, port_getn() can return -1 with an errno of
185 * ETIME and still have returned some number of events.
186 */
187 /* nevlist >= 0 */
188 break;
189 default:
190 nevlist = 0;
191 interrupted = 1;
192 break;
193 }
194 }
Willy Tarreau55542642021-10-08 09:33:24 +0200195 clock_update_date(timeout, nevlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000196
197 if (nevlist || interrupted)
198 break;
199 if (timeout || !wait_time)
200 break;
Willy Tarreau2ae84e42019-05-28 16:44:05 +0200201 if (signal_queue_len || wake)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000202 break;
203 if (tick_isset(exp) && tick_is_expired(exp, now_ms))
204 break;
205 } while(1);
206
Willy Tarreau058b2c12022-06-22 15:21:34 +0200207 fd_leaving_poll(wait_time, nevlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000208
Willy Tarreaue5451532020-06-17 20:25:18 +0200209 if (nevlist > 0)
210 activity[tid].poll_io++;
211
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000212 for (i = 0; i < nevlist; i++) {
213 unsigned int n = 0;
214 int events, rebind_events;
Willy Tarreau200bd502021-07-29 16:57:19 +0200215 int ret;
216
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000217 fd = evports_evlist[i].portev_object;
218 events = evports_evlist[i].portev_events;
219
Willy Tarreau38e8a1c2020-06-23 10:04:54 +0200220#ifdef DEBUG_FD
Willy Tarreau4781b152021-04-06 13:53:36 +0200221 _HA_ATOMIC_INC(&fdtab[fd].event_count);
Willy Tarreau38e8a1c2020-06-23 10:04:54 +0200222#endif
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000223 /*
224 * By virtue of receiving an event for this file descriptor, it
225 * is no longer associated with the port in question. Store
226 * the previous event mask so that we may reassociate after
227 * processing is complete.
228 */
229 rebind_events = evports_state_to_events(fdtab[fd].state);
230 /* rebind_events != 0 */
231
232 /*
233 * Set bits based on the events we received from the port:
234 */
Emmanuel Hocdet7ceb96b2019-09-19 11:08:26 +0000235 n = ((events & POLLIN) ? FD_EV_READY_R : 0) |
236 ((events & POLLOUT) ? FD_EV_READY_W : 0) |
237 ((events & POLLHUP) ? FD_EV_SHUT_RW : 0) |
238 ((events & POLLERR) ? FD_EV_ERR_RW : 0);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000239
240 /*
241 * Call connection processing callbacks. Note that it's
242 * possible for this processing to alter the required event
Ilya Shipitsince7b00f2020-03-23 22:28:40 +0500243 * port association; i.e., the "state" member of the "fdtab"
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000244 * entry. If it changes, the fd will be placed on the updated
245 * list for processing the next time we are called.
246 */
Willy Tarreau200bd502021-07-29 16:57:19 +0200247 ret = fd_update_events(fd, n);
248
Willy Tarreaub1093c62022-07-09 18:55:37 +0200249 /* polling will be on this instance if the FD was migrated */
250 if (ret == FD_UPDT_MIGRATED)
Willy Tarreau200bd502021-07-29 16:57:19 +0200251 continue;
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000252
253 /*
254 * This file descriptor was closed during the processing of
255 * polled events. No need to reassociate.
256 */
Willy Tarreau200bd502021-07-29 16:57:19 +0200257 if (ret == FD_UPDT_CLOSED)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000258 continue;
259
260 /*
261 * Reassociate with the port, using the same event mask as
262 * before. This call will not result in a dissociation as we
263 * asserted that _some_ events needed to be rebound above.
264 *
265 * Reassociating with the same mask allows us to mimic the
266 * level-triggered behaviour of poll(2). In the event that we
267 * are interested in the same events on the next turn of the
268 * loop, this represents no extra work.
269 *
270 * If this additional port_associate(3C) call becomes a
271 * performance problem, we would need to verify that we can
272 * correctly interact with the file descriptor cache and update
273 * list (see "src/fd.c") to avoid reassociating here, or to use
274 * a different events mask.
275 */
276 evports_resync_fd(fd, rebind_events);
277 }
278}
279
280static int init_evports_per_thread()
281{
282 int fd;
283
284 evports_evlist_max = global.tune.maxpollevents;
Tim Duesterhus16cc16d2021-11-06 15:14:45 +0100285 evports_evlist = calloc(evports_evlist_max, sizeof(*evports_evlist));
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000286 if (evports_evlist == NULL) {
287 goto fail_alloc;
288 }
289
290 if (MAX_THREADS > 1 && tid) {
291 if ((evports_fd[tid] = port_create()) == -1) {
292 goto fail_fd;
293 }
294 }
295
296 /* we may have to unregister some events initially registered on the
297 * original fd when it was alone, and/or to register events on the new
298 * fd for this thread. Let's just mark them as updated, the poller will
299 * do the rest.
300 */
301 for (fd = 0; fd < global.maxsock; fd++)
302 updt_fd_polling(fd);
303
304 return 1;
305
306 fail_fd:
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100307 ha_free(&evports_evlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000308 evports_evlist_max = 0;
309 fail_alloc:
310 return 0;
311}
312
313static void deinit_evports_per_thread()
314{
315 if (MAX_THREADS > 1 && tid)
316 close(evports_fd[tid]);
317
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100318 ha_free(&evports_evlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000319 evports_evlist_max = 0;
320}
321
322/*
323 * Initialisation of the event ports poller.
324 * Returns 0 in case of failure, non-zero in case of success.
325 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100326static int _do_init(struct poller *p)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000327{
328 p->private = NULL;
329
330 if ((evports_fd[tid] = port_create()) == -1) {
331 goto fail;
332 }
333
334 hap_register_per_thread_init(init_evports_per_thread);
335 hap_register_per_thread_deinit(deinit_evports_per_thread);
336
337 return 1;
338
339fail:
340 p->pref = 0;
341 return 0;
342}
343
344/*
345 * Termination of the event ports poller.
346 * All resources are released and the poller is marked as inoperative.
347 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100348static void _do_term(struct poller *p)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000349{
350 if (evports_fd[tid] != -1) {
351 close(evports_fd[tid]);
352 evports_fd[tid] = -1;
353 }
354
355 p->private = NULL;
356 p->pref = 0;
357
Willy Tarreau61cfdf42021-02-20 10:46:51 +0100358 ha_free(&evports_evlist);
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000359 evports_evlist_max = 0;
360}
361
362/*
363 * Run-time check to make sure we can allocate the resources needed for
364 * the poller to function correctly.
365 * Returns 1 on success, otherwise 0.
366 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100367static int _do_test(struct poller *p)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000368{
369 int fd;
370
371 if ((fd = port_create()) == -1) {
372 return 0;
373 }
374
375 close(fd);
376 return 1;
377}
378
379/*
380 * Close and recreate the event port after fork(). Returns 1 on success,
381 * otherwise 0. If this function fails, "_do_term()" must be called to
382 * clean up the poller.
383 */
Willy Tarreau03e78532020-02-25 07:38:05 +0100384static int _do_fork(struct poller *p)
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000385{
386 if (evports_fd[tid] != -1) {
387 close(evports_fd[tid]);
388 }
389
390 if ((evports_fd[tid] = port_create()) == -1) {
391 return 0;
392 }
393
394 return 1;
395}
396
397/*
Willy Tarreau740d7492022-04-25 19:00:55 +0200398 * Registers the poller.
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000399 */
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000400static void _do_register(void)
401{
402 struct poller *p;
403 int i;
404
405 if (nbpollers >= MAX_POLLERS)
406 return;
407
408 for (i = 0; i < MAX_THREADS; i++)
409 evports_fd[i] = -1;
410
411 p = &pollers[nbpollers++];
412
413 p->name = "evports";
414 p->pref = 300;
Willy Tarreau11ef0832019-11-28 18:17:33 +0100415 p->flags = HAP_POLL_F_ERRHUP;
Emmanuel Hocdet0ba4f482019-04-08 16:53:32 +0000416 p->private = NULL;
417
418 p->clo = NULL;
419 p->test = _do_test;
420 p->init = _do_init;
421 p->term = _do_term;
422 p->poll = _do_poll;
423 p->fork = _do_fork;
424}
Willy Tarreau740d7492022-04-25 19:00:55 +0200425
426INITCALL0(STG_REGISTER, _do_register);