ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/libev/ev.pod
(Generate patch)

Comparing libev/ev.pod (file contents):
Revision 1.444 by root, Mon Oct 29 00:00:22 2018 UTC vs.
Revision 1.447 by root, Sat Jun 22 16:25:53 2019 UTC

105details of the event, and then hand it over to libev by I<starting> the 105details of the event, and then hand it over to libev by I<starting> the
106watcher. 106watcher.
107 107
108=head2 FEATURES 108=head2 FEATURES
109 109
110Libev supports C<select>, C<poll>, the Linux-specific C<epoll>, the 110Libev supports C<select>, C<poll>, the Linux-specific aio and C<epoll>
111BSD-specific C<kqueue> and the Solaris-specific event port mechanisms 111interfaces, the BSD-specific C<kqueue> and the Solaris-specific event port
112for file descriptor events (C<ev_io>), the Linux C<inotify> interface 112mechanisms for file descriptor events (C<ev_io>), the Linux C<inotify>
113(for C<ev_stat>), Linux eventfd/signalfd (for faster and cleaner 113interface (for C<ev_stat>), Linux eventfd/signalfd (for faster and cleaner
114inter-thread wakeup (C<ev_async>)/signal handling (C<ev_signal>)) relative 114inter-thread wakeup (C<ev_async>)/signal handling (C<ev_signal>)) relative
115timers (C<ev_timer>), absolute timers with customised rescheduling 115timers (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
117change events (C<ev_child>), and event watchers dealing with the event 117change events (C<ev_child>), and event watchers dealing with the event
118loop mechanism itself (C<ev_idle>, C<ev_embed>, C<ev_prepare> and 118loop mechanism itself (C<ev_idle>, C<ev_embed>, C<ev_prepare> and
265 265
266You could override this function in high-availability programs to, say, 266You could override this function in high-availability programs to, say,
267free some memory if it cannot allocate memory, to use a special allocator, 267free some memory if it cannot allocate memory, to use a special allocator,
268or even to sleep a while and retry until some memory is available. 268or even to sleep a while and retry until some memory is available.
269 269
270Example: The following is the C<realloc> function that libev itself uses
271which should work with C<realloc> and C<free> functions of all kinds and
272is 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
270Example: Replace the libev allocator with one that waits a bit and then 284Example: Replace the libev allocator with one that waits a bit and then
271retries (example requires a standards-compliant C<realloc>). 285retries.
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)
547All this means that, in practice, C<EVBACKEND_SELECT> can be as fast or 567All this means that, in practice, C<EVBACKEND_SELECT> can be as fast or
548faster than epoll for maybe up to a hundred file descriptors, depending on 568faster than epoll for maybe up to a hundred file descriptors, depending on
549the usage. So sad. 569the usage. So sad.
550 570
551While nominally embeddable in other event loops, this feature is broken in 571While nominally embeddable in other event loops, this feature is broken in
552all kernel versions tested so far. 572a lot of kernel revisions, but probably(!) works in current versions.
573
574This backend maps C<EV_READ> and C<EV_WRITE> in the same way as
575C<EVBACKEND_POLL>.
576
577=item C<EVBACKEND_LINUXAIO> (value 64, Linux)
578
579Use the linux-specific linux aio (I<not> C<< aio(7) >>) event interface
580available in post-4.18 kernels.
581
582If this backend works for you (as of this writing, it was very
583experimental and only supports a subset of file types), it is the best
584event interface available on linux and might be well worth it enabling it
585- if it isn't available in your kernel this will be detected and another
586backend will be chosen.
587
588This backend can batch oneshot requests and uses a user-space ring buffer
589to receive events. It also doesn't suffer from most of the design problems
590of epoll (such as not being able to remove event sources from the epoll
591set), and generally sounds too good to be true. Because, this being the
592linux kernel, of course it suffers from a whole new set of limitations.
593
594For one, it is not easily embeddable (but probably could be done using
595an event fd at some extra overhead). It also is subject to various
596arbitrary limits that can be configured in F</proc/sys/fs/aio-max-nr>
597and F</proc/sys/fs/aio-nr>), which could lead to it being skipped during
598initialisation.
599
600Most problematic in practise, however, is that, like kqueue, it requires
601special support from drivers, and, not surprisingly, not all drivers
602implement it. For example, in linux 4.19, tcp sockets, pipes, event fds,
603files, F</dev/null> and a few others are supported, but ttys are not, so
604this is not (yet?) a generic event polling interface but is probably still
605be very useful in a web server or similar program.
553 606
554This backend maps C<EV_READ> and C<EV_WRITE> in the same way as 607This backend maps C<EV_READ> and C<EV_WRITE> in the same way as
555C<EVBACKEND_POLL>. 608C<EVBACKEND_POLL>.
556 609
557=item C<EVBACKEND_KQUEUE> (value 8, most BSD clones) 610=item C<EVBACKEND_KQUEUE> (value 8, most BSD clones)
657 710
658Example: Use whatever libev has to offer, but make sure that kqueue is 711Example: Use whatever libev has to offer, but make sure that kqueue is
659used if available. 712used if available.
660 713
661 struct ev_loop *loop = ev_loop_new (ev_recommended_backends () | EVBACKEND_KQUEUE); 714 struct ev_loop *loop = ev_loop_new (ev_recommended_backends () | EVBACKEND_KQUEUE);
715
716Example: Similarly, on linux, you mgiht want to take advantage of the
717linux aio backend if possible, but fall back to something else if that
718isn't available.
719
720 struct ev_loop *loop = ev_loop_new (ev_recommended_backends () | EVBACKEND_LINUXAIO);
662 721
663=item ev_loop_destroy (loop) 722=item ev_loop_destroy (loop)
664 723
665Destroys an event loop object (frees all memory and kernel state 724Destroys an event loop object (frees all memory and kernel state
666etc.). None of the active event watchers will be stopped in the normal 725etc.). None of the active event watchers will be stopped in the normal
1610 1669
1611But really, best use non-blocking mode. 1670But really, best use non-blocking mode.
1612 1671
1613=head3 The special problem of disappearing file descriptors 1672=head3 The special problem of disappearing file descriptors
1614 1673
1615Some backends (e.g. kqueue, epoll) need to be told about closing a file 1674Some backends (e.g. kqueue, epoll, linuxaio) need to be told about closing
1616descriptor (either due to calling C<close> explicitly or any other means, 1675a file descriptor (either due to calling C<close> explicitly or any other
1617such as C<dup2>). The reason is that you register interest in some file 1676means, such as C<dup2>). The reason is that you register interest in some
1618descriptor, but when it goes away, the operating system will silently drop 1677file descriptor, but when it goes away, the operating system will silently
1619this interest. If another file descriptor with the same number then is 1678drop this interest. If another file descriptor with the same number then
1620registered with libev, there is no efficient way to see that this is, in 1679is registered with libev, there is no efficient way to see that this is,
1621fact, a different file descriptor. 1680in fact, a different file descriptor.
1622 1681
1623To avoid having to explicitly tell libev about such cases, libev follows 1682To avoid having to explicitly tell libev about such cases, libev follows
1624the following policy: Each time C<ev_io_set> is being called, libev 1683the following policy: Each time C<ev_io_set> is being called, libev
1625will assume that this is potentially a new file descriptor, otherwise 1684will assume that this is potentially a new file descriptor, otherwise
1626it is assumed that the file descriptor stays the same. That means that 1685it is assumed that the file descriptor stays the same. That means that
1675when you rarely read from a file instead of from a socket, and want to 1734when you rarely read from a file instead of from a socket, and want to
1676reuse the same code path. 1735reuse the same code path.
1677 1736
1678=head3 The special problem of fork 1737=head3 The special problem of fork
1679 1738
1680Some backends (epoll, kqueue) do not support C<fork ()> at all or exhibit 1739Some backends (epoll, kqueue, probably linuxaio) do not support C<fork ()>
1681useless behaviour. Libev fully supports fork, but needs to be told about 1740at all or exhibit useless behaviour. Libev fully supports fork, but needs
1682it in the child if you want to continue to use it in the child. 1741to be told about it in the child if you want to continue to use it in the
1742child.
1683 1743
1684To support fork in your child processes, you have to call C<ev_loop_fork 1744To 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 1745()> after a fork in the child, enable C<EVFLAG_FORKCHECK>, or resort to
1686C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>. 1746C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>.
1687 1747
3978The normal C API should work fine when used from C++: both ev.h and the 4038The normal C API should work fine when used from C++: both ev.h and the
3979libev sources can be compiled as C++. Therefore, code that uses the C API 4039libev sources can be compiled as C++. Therefore, code that uses the C API
3980will work fine. 4040will work fine.
3981 4041
3982Proper exception specifications might have to be added to callbacks passed 4042Proper exception specifications might have to be added to callbacks passed
3983to libev: exceptions may be thrown only from watcher callbacks, all 4043to libev: exceptions may be thrown only from watcher callbacks, all other
3984other callbacks (allocator, syserr, loop acquire/release and periodic 4044callbacks (allocator, syserr, loop acquire/release and periodic reschedule
3985reschedule callbacks) must not throw exceptions, and might need a C<throw 4045callbacks) must not throw exceptions, and might need a C<noexcept>
3986()> specification. If you have code that needs to be compiled as both C 4046specification. If you have code that needs to be compiled as both C and
3987and C++ you can use the C<EV_THROW> macro for this: 4047C++ you can use the C<EV_NOEXCEPT> macro for this:
3988 4048
3989 static void 4049 static void
3990 fatal_error (const char *msg) EV_THROW 4050 fatal_error (const char *msg) EV_NOEXCEPT
3991 { 4051 {
3992 perror (msg); 4052 perror (msg);
3993 abort (); 4053 abort ();
3994 } 4054 }
3995 4055
4408 ev_win32.c required on win32 platforms only 4468 ev_win32.c required on win32 platforms only
4409 4469
4410 ev_select.c only when select backend is enabled 4470 ev_select.c only when select backend is enabled
4411 ev_poll.c only when poll backend is enabled 4471 ev_poll.c only when poll backend is enabled
4412 ev_epoll.c only when the epoll backend is enabled 4472 ev_epoll.c only when the epoll backend is enabled
4473 ev_linuxaio.c only when the linux aio backend is enabled
4413 ev_kqueue.c only when the kqueue backend is enabled 4474 ev_kqueue.c only when the kqueue backend is enabled
4414 ev_port.c only when the solaris port backend is enabled 4475 ev_port.c only when the solaris port backend is enabled
4415 4476
4416F<ev.c> includes the backend files directly when enabled, so you only need 4477F<ev.c> includes the backend files directly when enabled, so you only need
4417to compile this single file. 4478to compile this single file.
4607If defined to be C<1>, libev will compile in support for the Linux 4668If defined to be C<1>, libev will compile in support for the Linux
4608C<epoll>(7) backend. Its availability will be detected at runtime, 4669C<epoll>(7) backend. Its availability will be detected at runtime,
4609otherwise another method will be used as fallback. This is the preferred 4670otherwise another method will be used as fallback. This is the preferred
4610backend for GNU/Linux systems. If undefined, it will be enabled if the 4671backend for GNU/Linux systems. If undefined, it will be enabled if the
4611headers indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled. 4672headers indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled.
4673
4674=item EV_USE_LINUXAIO
4675
4676If defined to be C<1>, libev will compile in support for the Linux
4677aio backend. Due to it's currenbt limitations it has to be requested
4678explicitly. If undefined, it will be enabled on linux, otherwise
4679disabled.
4612 4680
4613=item EV_USE_KQUEUE 4681=item EV_USE_KQUEUE
4614 4682
4615If defined to be C<1>, libev will compile in support for the BSD style 4683If defined to be C<1>, libev will compile in support for the BSD style
4616C<kqueue>(2) backend. Its actual availability will be detected at runtime, 4684C<kqueue>(2) backend. Its actual availability will be detected at runtime,

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines