… | |
… | |
105 | details of the event, and then hand it over to libev by I<starting> the |
105 | details of the event, and then hand it over to libev by I<starting> the |
106 | watcher. |
106 | watcher. |
107 | |
107 | |
108 | =head2 FEATURES |
108 | =head2 FEATURES |
109 | |
109 | |
110 | Libev supports C<select>, C<poll>, the Linux-specific C<epoll>, the |
110 | Libev supports C<select>, C<poll>, the Linux-specific aio and C<epoll> |
111 | BSD-specific C<kqueue> and the Solaris-specific event port mechanisms |
111 | interfaces, the BSD-specific C<kqueue> and the Solaris-specific event port |
112 | for file descriptor events (C<ev_io>), the Linux C<inotify> interface |
112 | mechanisms for file descriptor events (C<ev_io>), the Linux C<inotify> |
113 | (for C<ev_stat>), Linux eventfd/signalfd (for faster and cleaner |
113 | interface (for C<ev_stat>), Linux eventfd/signalfd (for faster and cleaner |
114 | inter-thread wakeup (C<ev_async>)/signal handling (C<ev_signal>)) relative |
114 | inter-thread wakeup (C<ev_async>)/signal handling (C<ev_signal>)) relative |
115 | timers (C<ev_timer>), absolute timers with customised rescheduling |
115 | timers (C<ev_timer>), absolute timers with customised rescheduling |
116 | (C<ev_periodic>), synchronous signals (C<ev_signal>), process status |
116 | (C<ev_periodic>), synchronous signals (C<ev_signal>), process status |
117 | change events (C<ev_child>), and event watchers dealing with the event |
117 | change events (C<ev_child>), and event watchers dealing with the event |
118 | loop mechanism itself (C<ev_idle>, C<ev_embed>, C<ev_prepare> and |
118 | loop mechanism itself (C<ev_idle>, C<ev_embed>, C<ev_prepare> and |
… | |
… | |
265 | |
265 | |
266 | You could override this function in high-availability programs to, say, |
266 | You could override this function in high-availability programs to, say, |
267 | free some memory if it cannot allocate memory, to use a special allocator, |
267 | free some memory if it cannot allocate memory, to use a special allocator, |
268 | or even to sleep a while and retry until some memory is available. |
268 | or even to sleep a while and retry until some memory is available. |
269 | |
269 | |
|
|
270 | Example: The following is the C<realloc> function that libev itself uses |
|
|
271 | which should work with C<realloc> and C<free> functions of all kinds and |
|
|
272 | is probably a good basis for your own implementation. |
|
|
273 | |
|
|
274 | static void * |
|
|
275 | ev_realloc_emul (void *ptr, long size) EV_NOEXCEPT |
|
|
276 | { |
|
|
277 | if (size) |
|
|
278 | return realloc (ptr, size); |
|
|
279 | |
|
|
280 | free (ptr); |
|
|
281 | return 0; |
|
|
282 | } |
|
|
283 | |
270 | Example: Replace the libev allocator with one that waits a bit and then |
284 | Example: Replace the libev allocator with one that waits a bit and then |
271 | retries (example requires a standards-compliant C<realloc>). |
285 | retries. |
272 | |
286 | |
273 | static void * |
287 | static void * |
274 | persistent_realloc (void *ptr, size_t size) |
288 | persistent_realloc (void *ptr, size_t size) |
275 | { |
289 | { |
|
|
290 | if (!size) |
|
|
291 | { |
|
|
292 | free (ptr); |
|
|
293 | return 0; |
|
|
294 | } |
|
|
295 | |
276 | for (;;) |
296 | for (;;) |
277 | { |
297 | { |
278 | void *newptr = realloc (ptr, size); |
298 | void *newptr = realloc (ptr, size); |
279 | |
299 | |
280 | if (newptr) |
300 | if (newptr) |
… | |
… | |
547 | All this means that, in practice, C<EVBACKEND_SELECT> can be as fast or |
567 | All this means that, in practice, C<EVBACKEND_SELECT> can be as fast or |
548 | faster than epoll for maybe up to a hundred file descriptors, depending on |
568 | faster than epoll for maybe up to a hundred file descriptors, depending on |
549 | the usage. So sad. |
569 | the usage. So sad. |
550 | |
570 | |
551 | While nominally embeddable in other event loops, this feature is broken in |
571 | While nominally embeddable in other event loops, this feature is broken in |
552 | all kernel versions tested so far. |
572 | a lot of kernel revisions, but probably(!) works in current versions. |
|
|
573 | |
|
|
574 | This backend maps C<EV_READ> and C<EV_WRITE> in the same way as |
|
|
575 | C<EVBACKEND_POLL>. |
|
|
576 | |
|
|
577 | =item C<EVBACKEND_LINUXAIO> (value 64, Linux) |
|
|
578 | |
|
|
579 | Use the linux-specific linux aio (I<not> C<< aio(7) >> but C<< |
|
|
580 | io_submit(2) >>) event interface available in post-4.18 kernels. |
|
|
581 | |
|
|
582 | If this backend works for you (as of this writing, it was very |
|
|
583 | experimental), it is the best event interface available on linux and might |
|
|
584 | be well worth enabling it - if it isn't available in your kernel this will |
|
|
585 | be detected and this backend will be skipped. |
|
|
586 | |
|
|
587 | This backend can batch oneshot requests and supports a user-space ring |
|
|
588 | buffer to receive events. It also doesn't suffer from most of the design |
|
|
589 | problems of epoll (such as not being able to remove event sources from |
|
|
590 | the epoll set), and generally sounds too good to be true. Because, this |
|
|
591 | being the linux kernel, of course it suffers from a whole new set of |
|
|
592 | limitations. |
|
|
593 | |
|
|
594 | For one, it is not easily embeddable (but probably could be done using |
|
|
595 | an event fd at some extra overhead). It also is subject to a system wide |
|
|
596 | limit that can be configured in F</proc/sys/fs/aio-max-nr> - each loop |
|
|
597 | currently requires C<61> of this number. If no aio requests are left, this |
|
|
598 | backend will be skipped during initialisation. |
|
|
599 | |
|
|
600 | Most problematic in practise, however, is that not all file descriptors |
|
|
601 | work with it. For example, in linux 5.1, tcp sockets, pipes, event fds, |
|
|
602 | files, F</dev/null> and a few others are supported, but ttys do not work |
|
|
603 | (probably because of a bug), so this is not (yet?) a generic event polling |
|
|
604 | interface. |
|
|
605 | |
|
|
606 | To work around this latter problem, the current version of libev uses |
|
|
607 | epoll as a fallback for file deescriptor types that do not work. Epoll |
|
|
608 | is used in, kind of, slow mode that hopefully avoids most of its design |
|
|
609 | problems. |
553 | |
610 | |
554 | This backend maps C<EV_READ> and C<EV_WRITE> in the same way as |
611 | This backend maps C<EV_READ> and C<EV_WRITE> in the same way as |
555 | C<EVBACKEND_POLL>. |
612 | C<EVBACKEND_POLL>. |
556 | |
613 | |
557 | =item C<EVBACKEND_KQUEUE> (value 8, most BSD clones) |
614 | =item C<EVBACKEND_KQUEUE> (value 8, most BSD clones) |
… | |
… | |
657 | |
714 | |
658 | Example: Use whatever libev has to offer, but make sure that kqueue is |
715 | Example: Use whatever libev has to offer, but make sure that kqueue is |
659 | used if available. |
716 | used if available. |
660 | |
717 | |
661 | struct ev_loop *loop = ev_loop_new (ev_recommended_backends () | EVBACKEND_KQUEUE); |
718 | struct ev_loop *loop = ev_loop_new (ev_recommended_backends () | EVBACKEND_KQUEUE); |
|
|
719 | |
|
|
720 | Example: Similarly, on linux, you mgiht want to take advantage of the |
|
|
721 | linux aio backend if possible, but fall back to something else if that |
|
|
722 | isn't available. |
|
|
723 | |
|
|
724 | struct ev_loop *loop = ev_loop_new (ev_recommended_backends () | EVBACKEND_LINUXAIO); |
662 | |
725 | |
663 | =item ev_loop_destroy (loop) |
726 | =item ev_loop_destroy (loop) |
664 | |
727 | |
665 | Destroys an event loop object (frees all memory and kernel state |
728 | Destroys an event loop object (frees all memory and kernel state |
666 | etc.). None of the active event watchers will be stopped in the normal |
729 | etc.). None of the active event watchers will be stopped in the normal |
… | |
… | |
1610 | |
1673 | |
1611 | But really, best use non-blocking mode. |
1674 | But really, best use non-blocking mode. |
1612 | |
1675 | |
1613 | =head3 The special problem of disappearing file descriptors |
1676 | =head3 The special problem of disappearing file descriptors |
1614 | |
1677 | |
1615 | Some backends (e.g. kqueue, epoll) need to be told about closing a file |
1678 | Some backends (e.g. kqueue, epoll, linuxaio) need to be told about closing |
1616 | descriptor (either due to calling C<close> explicitly or any other means, |
1679 | a file descriptor (either due to calling C<close> explicitly or any other |
1617 | such as C<dup2>). The reason is that you register interest in some file |
1680 | means, such as C<dup2>). The reason is that you register interest in some |
1618 | descriptor, but when it goes away, the operating system will silently drop |
1681 | file descriptor, but when it goes away, the operating system will silently |
1619 | this interest. If another file descriptor with the same number then is |
1682 | drop this interest. If another file descriptor with the same number then |
1620 | registered with libev, there is no efficient way to see that this is, in |
1683 | is registered with libev, there is no efficient way to see that this is, |
1621 | fact, a different file descriptor. |
1684 | in fact, a different file descriptor. |
1622 | |
1685 | |
1623 | To avoid having to explicitly tell libev about such cases, libev follows |
1686 | To avoid having to explicitly tell libev about such cases, libev follows |
1624 | the following policy: Each time C<ev_io_set> is being called, libev |
1687 | the following policy: Each time C<ev_io_set> is being called, libev |
1625 | will assume that this is potentially a new file descriptor, otherwise |
1688 | will assume that this is potentially a new file descriptor, otherwise |
1626 | it is assumed that the file descriptor stays the same. That means that |
1689 | it is assumed that the file descriptor stays the same. That means that |
… | |
… | |
1675 | when you rarely read from a file instead of from a socket, and want to |
1738 | when you rarely read from a file instead of from a socket, and want to |
1676 | reuse the same code path. |
1739 | reuse the same code path. |
1677 | |
1740 | |
1678 | =head3 The special problem of fork |
1741 | =head3 The special problem of fork |
1679 | |
1742 | |
1680 | Some backends (epoll, kqueue) do not support C<fork ()> at all or exhibit |
1743 | Some backends (epoll, kqueue, probably linuxaio) do not support C<fork ()> |
1681 | useless behaviour. Libev fully supports fork, but needs to be told about |
1744 | at all or exhibit useless behaviour. Libev fully supports fork, but needs |
1682 | it in the child if you want to continue to use it in the child. |
1745 | to be told about it in the child if you want to continue to use it in the |
|
|
1746 | child. |
1683 | |
1747 | |
1684 | To support fork in your child processes, you have to call C<ev_loop_fork |
1748 | To support fork in your child processes, you have to call C<ev_loop_fork |
1685 | ()> after a fork in the child, enable C<EVFLAG_FORKCHECK>, or resort to |
1749 | ()> after a fork in the child, enable C<EVFLAG_FORKCHECK>, or resort to |
1686 | C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>. |
1750 | C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>. |
1687 | |
1751 | |
… | |
… | |
2114 | |
2178 | |
2115 | =item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) |
2179 | =item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) |
2116 | |
2180 | |
2117 | =item ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat) |
2181 | =item ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat) |
2118 | |
2182 | |
2119 | Configure the timer to trigger after C<after> seconds. If C<repeat> |
2183 | Configure the timer to trigger after C<after> seconds (fractional and |
2120 | is C<0.>, then it will automatically be stopped once the timeout is |
2184 | negative values are supported). If C<repeat> is C<0.>, then it will |
2121 | reached. If it is positive, then the timer will automatically be |
2185 | automatically be stopped once the timeout is reached. If it is positive, |
2122 | configured to trigger again C<repeat> seconds later, again, and again, |
2186 | then the timer will automatically be configured to trigger again C<repeat> |
2123 | until stopped manually. |
2187 | seconds later, again, and again, until stopped manually. |
2124 | |
2188 | |
2125 | The timer itself will do a best-effort at avoiding drift, that is, if |
2189 | The timer itself will do a best-effort at avoiding drift, that is, if |
2126 | you configure a timer to trigger every 10 seconds, then it will normally |
2190 | you configure a timer to trigger every 10 seconds, then it will normally |
2127 | trigger at exactly 10 second intervals. If, however, your program cannot |
2191 | trigger at exactly 10 second intervals. If, however, your program cannot |
2128 | keep up with the timer (because it takes longer than those 10 seconds to |
2192 | keep up with the timer (because it takes longer than those 10 seconds to |
… | |
… | |
2225 | C<ev_timer>, which would still trigger roughly 10 seconds after starting |
2289 | C<ev_timer>, which would still trigger roughly 10 seconds after starting |
2226 | it, as it uses a relative timeout). |
2290 | it, as it uses a relative timeout). |
2227 | |
2291 | |
2228 | C<ev_periodic> watchers can also be used to implement vastly more complex |
2292 | C<ev_periodic> watchers can also be used to implement vastly more complex |
2229 | timers, such as triggering an event on each "midnight, local time", or |
2293 | timers, such as triggering an event on each "midnight, local time", or |
2230 | other complicated rules. This cannot be done with C<ev_timer> watchers, as |
2294 | other complicated rules. This cannot easily be done with C<ev_timer> |
2231 | those cannot react to time jumps. |
2295 | watchers, as those cannot react to time jumps. |
2232 | |
2296 | |
2233 | As with timers, the callback is guaranteed to be invoked only when the |
2297 | As with timers, the callback is guaranteed to be invoked only when the |
2234 | point in time where it is supposed to trigger has passed. If multiple |
2298 | point in time where it is supposed to trigger has passed. If multiple |
2235 | timers become ready during the same loop iteration then the ones with |
2299 | timers become ready during the same loop iteration then the ones with |
2236 | earlier time-out values are invoked before ones with later time-out values |
2300 | earlier time-out values are invoked before ones with later time-out values |
… | |
… | |
2322 | |
2386 | |
2323 | NOTE: I<< This callback must always return a time that is higher than or |
2387 | NOTE: I<< This callback must always return a time that is higher than or |
2324 | equal to the passed C<now> value >>. |
2388 | equal to the passed C<now> value >>. |
2325 | |
2389 | |
2326 | This can be used to create very complex timers, such as a timer that |
2390 | This can be used to create very complex timers, such as a timer that |
2327 | triggers on "next midnight, local time". To do this, you would calculate the |
2391 | triggers on "next midnight, local time". To do this, you would calculate |
2328 | next midnight after C<now> and return the timestamp value for this. How |
2392 | the next midnight after C<now> and return the timestamp value for |
2329 | you do this is, again, up to you (but it is not trivial, which is the main |
2393 | this. Here is a (completely untested, no error checking) example on how to |
2330 | reason I omitted it as an example). |
2394 | do this: |
|
|
2395 | |
|
|
2396 | #include <time.h> |
|
|
2397 | |
|
|
2398 | static ev_tstamp |
|
|
2399 | my_rescheduler (ev_periodic *w, ev_tstamp now) |
|
|
2400 | { |
|
|
2401 | time_t tnow = (time_t)now; |
|
|
2402 | struct tm tm; |
|
|
2403 | localtime_r (&tnow, &tm); |
|
|
2404 | |
|
|
2405 | tm.tm_sec = tm.tm_min = tm.tm_hour = 0; // midnight current day |
|
|
2406 | ++tm.tm_mday; // midnight next day |
|
|
2407 | |
|
|
2408 | return mktime (&tm); |
|
|
2409 | } |
|
|
2410 | |
|
|
2411 | Note: this code might run into trouble on days that have more then two |
|
|
2412 | midnights (beginning and end). |
2331 | |
2413 | |
2332 | =back |
2414 | =back |
2333 | |
2415 | |
2334 | =item ev_periodic_again (loop, ev_periodic *) |
2416 | =item ev_periodic_again (loop, ev_periodic *) |
2335 | |
2417 | |
… | |
… | |
3960 | The normal C API should work fine when used from C++: both ev.h and the |
4042 | The normal C API should work fine when used from C++: both ev.h and the |
3961 | libev sources can be compiled as C++. Therefore, code that uses the C API |
4043 | libev sources can be compiled as C++. Therefore, code that uses the C API |
3962 | will work fine. |
4044 | will work fine. |
3963 | |
4045 | |
3964 | Proper exception specifications might have to be added to callbacks passed |
4046 | Proper exception specifications might have to be added to callbacks passed |
3965 | to libev: exceptions may be thrown only from watcher callbacks, all |
4047 | to libev: exceptions may be thrown only from watcher callbacks, all other |
3966 | other callbacks (allocator, syserr, loop acquire/release and periodic |
4048 | callbacks (allocator, syserr, loop acquire/release and periodic reschedule |
3967 | reschedule callbacks) must not throw exceptions, and might need a C<throw |
4049 | callbacks) must not throw exceptions, and might need a C<noexcept> |
3968 | ()> specification. If you have code that needs to be compiled as both C |
4050 | specification. If you have code that needs to be compiled as both C and |
3969 | and C++ you can use the C<EV_THROW> macro for this: |
4051 | C++ you can use the C<EV_NOEXCEPT> macro for this: |
3970 | |
4052 | |
3971 | static void |
4053 | static void |
3972 | fatal_error (const char *msg) EV_THROW |
4054 | fatal_error (const char *msg) EV_NOEXCEPT |
3973 | { |
4055 | { |
3974 | perror (msg); |
4056 | perror (msg); |
3975 | abort (); |
4057 | abort (); |
3976 | } |
4058 | } |
3977 | |
4059 | |
… | |
… | |
4390 | ev_win32.c required on win32 platforms only |
4472 | ev_win32.c required on win32 platforms only |
4391 | |
4473 | |
4392 | ev_select.c only when select backend is enabled |
4474 | ev_select.c only when select backend is enabled |
4393 | ev_poll.c only when poll backend is enabled |
4475 | ev_poll.c only when poll backend is enabled |
4394 | ev_epoll.c only when the epoll backend is enabled |
4476 | ev_epoll.c only when the epoll backend is enabled |
|
|
4477 | ev_linuxaio.c only when the linux aio backend is enabled |
4395 | ev_kqueue.c only when the kqueue backend is enabled |
4478 | ev_kqueue.c only when the kqueue backend is enabled |
4396 | ev_port.c only when the solaris port backend is enabled |
4479 | ev_port.c only when the solaris port backend is enabled |
4397 | |
4480 | |
4398 | F<ev.c> includes the backend files directly when enabled, so you only need |
4481 | F<ev.c> includes the backend files directly when enabled, so you only need |
4399 | to compile this single file. |
4482 | to compile this single file. |
… | |
… | |
4589 | If defined to be C<1>, libev will compile in support for the Linux |
4672 | If defined to be C<1>, libev will compile in support for the Linux |
4590 | C<epoll>(7) backend. Its availability will be detected at runtime, |
4673 | C<epoll>(7) backend. Its availability will be detected at runtime, |
4591 | otherwise another method will be used as fallback. This is the preferred |
4674 | otherwise another method will be used as fallback. This is the preferred |
4592 | backend for GNU/Linux systems. If undefined, it will be enabled if the |
4675 | backend for GNU/Linux systems. If undefined, it will be enabled if the |
4593 | headers indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled. |
4676 | headers indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled. |
|
|
4677 | |
|
|
4678 | =item EV_USE_LINUXAIO |
|
|
4679 | |
|
|
4680 | If defined to be C<1>, libev will compile in support for the Linux |
|
|
4681 | aio backend. Due to it's currenbt limitations it has to be requested |
|
|
4682 | explicitly. If undefined, it will be enabled on linux, otherwise |
|
|
4683 | disabled. |
4594 | |
4684 | |
4595 | =item EV_USE_KQUEUE |
4685 | =item EV_USE_KQUEUE |
4596 | |
4686 | |
4597 | If defined to be C<1>, libev will compile in support for the BSD style |
4687 | If defined to be C<1>, libev will compile in support for the BSD style |
4598 | C<kqueue>(2) backend. Its actual availability will be detected at runtime, |
4688 | C<kqueue>(2) backend. Its actual availability will be detected at runtime, |