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

Comparing libev/ev.pod (file contents):
Revision 1.446 by root, Mon Mar 18 19:28:15 2019 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
567All 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
568faster 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
569the usage. So sad. 569the usage. So sad.
570 570
571While nominally embeddable in other event loops, this feature is broken in 571While nominally embeddable in other event loops, this feature is broken in
572all 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.
573 606
574This 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
575C<EVBACKEND_POLL>. 608C<EVBACKEND_POLL>.
576 609
577=item C<EVBACKEND_KQUEUE> (value 8, most BSD clones) 610=item C<EVBACKEND_KQUEUE> (value 8, most BSD clones)
677 710
678Example: 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
679used if available. 712used if available.
680 713
681 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);
682 721
683=item ev_loop_destroy (loop) 722=item ev_loop_destroy (loop)
684 723
685Destroys an event loop object (frees all memory and kernel state 724Destroys an event loop object (frees all memory and kernel state
686etc.). 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
1630 1669
1631But really, best use non-blocking mode. 1670But really, best use non-blocking mode.
1632 1671
1633=head3 The special problem of disappearing file descriptors 1672=head3 The special problem of disappearing file descriptors
1634 1673
1635Some 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
1636descriptor (either due to calling C<close> explicitly or any other means, 1675a file descriptor (either due to calling C<close> explicitly or any other
1637such 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
1638descriptor, but when it goes away, the operating system will silently drop 1677file descriptor, but when it goes away, the operating system will silently
1639this interest. If another file descriptor with the same number then is 1678drop this interest. If another file descriptor with the same number then
1640registered 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,
1641fact, a different file descriptor. 1680in fact, a different file descriptor.
1642 1681
1643To avoid having to explicitly tell libev about such cases, libev follows 1682To avoid having to explicitly tell libev about such cases, libev follows
1644the 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
1645will assume that this is potentially a new file descriptor, otherwise 1684will assume that this is potentially a new file descriptor, otherwise
1646it 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
1695when 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
1696reuse the same code path. 1735reuse the same code path.
1697 1736
1698=head3 The special problem of fork 1737=head3 The special problem of fork
1699 1738
1700Some backends (epoll, kqueue) do not support C<fork ()> at all or exhibit 1739Some backends (epoll, kqueue, probably linuxaio) do not support C<fork ()>
1701useless behaviour. Libev fully supports fork, but needs to be told about 1740at all or exhibit useless behaviour. Libev fully supports fork, but needs
1702it 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.
1703 1743
1704To 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
1705()> 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
1706C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>. 1746C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>.
1707 1747
4428 ev_win32.c required on win32 platforms only 4468 ev_win32.c required on win32 platforms only
4429 4469
4430 ev_select.c only when select backend is enabled 4470 ev_select.c only when select backend is enabled
4431 ev_poll.c only when poll backend is enabled 4471 ev_poll.c only when poll backend is enabled
4432 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
4433 ev_kqueue.c only when the kqueue backend is enabled 4474 ev_kqueue.c only when the kqueue backend is enabled
4434 ev_port.c only when the solaris port backend is enabled 4475 ev_port.c only when the solaris port backend is enabled
4435 4476
4436F<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
4437to compile this single file. 4478to compile this single file.
4627If 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
4628C<epoll>(7) backend. Its availability will be detected at runtime, 4669C<epoll>(7) backend. Its availability will be detected at runtime,
4629otherwise another method will be used as fallback. This is the preferred 4670otherwise another method will be used as fallback. This is the preferred
4630backend 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
4631headers 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.
4632 4680
4633=item EV_USE_KQUEUE 4681=item EV_USE_KQUEUE
4634 4682
4635If 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
4636C<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