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

Comparing libev/ev.pod (file contents):
Revision 1.99 by root, Sat Dec 22 06:16:36 2007 UTC vs.
Revision 1.105 by root, Sun Dec 23 03:50:10 2007 UTC

4 4
5=head1 SYNOPSIS 5=head1 SYNOPSIS
6 6
7 #include <ev.h> 7 #include <ev.h>
8 8
9=head1 EXAMPLE PROGRAM 9=head2 EXAMPLE PROGRAM
10 10
11 #include <ev.h> 11 #include <ev.h>
12 12
13 ev_io stdin_watcher; 13 ev_io stdin_watcher;
14 ev_timer timeout_watcher; 14 ev_timer timeout_watcher;
65You register interest in certain events by registering so-called I<event 65You register interest in certain events by registering so-called I<event
66watchers>, which are relatively small C structures you initialise with the 66watchers>, which are relatively small C structures you initialise with the
67details of the event, and then hand it over to libev by I<starting> the 67details of the event, and then hand it over to libev by I<starting> the
68watcher. 68watcher.
69 69
70=head1 FEATURES 70=head2 FEATURES
71 71
72Libev supports C<select>, C<poll>, the Linux-specific C<epoll>, the 72Libev supports C<select>, C<poll>, the Linux-specific C<epoll>, the
73BSD-specific C<kqueue> and the Solaris-specific event port mechanisms 73BSD-specific C<kqueue> and the Solaris-specific event port mechanisms
74for file descriptor events (C<ev_io>), the Linux C<inotify> interface 74for file descriptor events (C<ev_io>), the Linux C<inotify> interface
75(for C<ev_stat>), relative timers (C<ev_timer>), absolute timers 75(for C<ev_stat>), relative timers (C<ev_timer>), absolute timers
82 82
83It also is quite fast (see this 83It also is quite fast (see this
84L<benchmark|http://libev.schmorp.de/bench.html> comparing it to libevent 84L<benchmark|http://libev.schmorp.de/bench.html> comparing it to libevent
85for example). 85for example).
86 86
87=head1 CONVENTIONS 87=head2 CONVENTIONS
88 88
89Libev is very configurable. In this manual the default configuration will 89Libev is very configurable. In this manual the default configuration will
90be described, which supports multiple event loops. For more info about 90be described, which supports multiple event loops. For more info about
91various configuration options please have a look at B<EMBED> section in 91various configuration options please have a look at B<EMBED> section in
92this manual. If libev was configured without support for multiple event 92this manual. If libev was configured without support for multiple event
93loops, then all functions taking an initial argument of name C<loop> 93loops, then all functions taking an initial argument of name C<loop>
94(which is always of type C<struct ev_loop *>) will not have this argument. 94(which is always of type C<struct ev_loop *>) will not have this argument.
95 95
96=head1 TIME REPRESENTATION 96=head2 TIME REPRESENTATION
97 97
98Libev represents time as a single floating point number, representing the 98Libev represents time as a single floating point number, representing the
99(fractional) number of seconds since the (POSIX) epoch (somewhere near 99(fractional) number of seconds since the (POSIX) epoch (somewhere near
100the beginning of 1970, details are complicated, don't ask). This type is 100the beginning of 1970, details are complicated, don't ask). This type is
101called C<ev_tstamp>, which is what you should use too. It usually aliases 101called C<ev_tstamp>, which is what you should use too. It usually aliases
306=item C<EVBACKEND_SELECT> (value 1, portable select backend) 306=item C<EVBACKEND_SELECT> (value 1, portable select backend)
307 307
308This is your standard select(2) backend. Not I<completely> standard, as 308This is your standard select(2) backend. Not I<completely> standard, as
309libev tries to roll its own fd_set with no limits on the number of fds, 309libev tries to roll its own fd_set with no limits on the number of fds,
310but if that fails, expect a fairly low limit on the number of fds when 310but if that fails, expect a fairly low limit on the number of fds when
311using this backend. It doesn't scale too well (O(highest_fd)), but its usually 311using this backend. It doesn't scale too well (O(highest_fd)), but its
312the fastest backend for a low number of fds. 312usually the fastest backend for a low number of (low-numbered :) fds.
313
314To get good performance out of this backend you need a high amount of
315parallelity (most of the file descriptors should be busy). If you are
316writing a server, you should C<accept ()> in a loop to accept as many
317connections as possible during one iteration. You might also want to have
318a look at C<ev_set_io_collect_interval ()> to increase the amount of
319readyness notifications you get per iteration.
313 320
314=item C<EVBACKEND_POLL> (value 2, poll backend, available everywhere except on windows) 321=item C<EVBACKEND_POLL> (value 2, poll backend, available everywhere except on windows)
315 322
316And this is your standard poll(2) backend. It's more complicated than 323And this is your standard poll(2) backend. It's more complicated
317select, but handles sparse fds better and has no artificial limit on the 324than select, but handles sparse fds better and has no artificial
318number of fds you can use (except it will slow down considerably with a 325limit on the number of fds you can use (except it will slow down
319lot of inactive fds). It scales similarly to select, i.e. O(total_fds). 326considerably with a lot of inactive fds). It scales similarly to select,
327i.e. O(total_fds). See the entry for C<EVBACKEND_SELECT>, above, for
328performance tips.
320 329
321=item C<EVBACKEND_EPOLL> (value 4, Linux) 330=item C<EVBACKEND_EPOLL> (value 4, Linux)
322 331
323For few fds, this backend is a bit little slower than poll and select, 332For few fds, this backend is a bit little slower than poll and select,
324but it scales phenomenally better. While poll and select usually scale 333but it scales phenomenally better. While poll and select usually scale
325like O(total_fds) where n is the total number of fds (or the highest fd), 334like O(total_fds) where n is the total number of fds (or the highest fd),
326epoll scales either O(1) or O(active_fds). The epoll design has a number 335epoll scales either O(1) or O(active_fds). The epoll design has a number
327of shortcomings, such as silently dropping events in some hard-to-detect 336of shortcomings, such as silently dropping events in some hard-to-detect
328cases and rewiring a syscall per fd change, no fork support and bad 337cases and rewiring a syscall per fd change, no fork support and bad
329support for dup: 338support for dup.
330 339
331While stopping, setting and starting an I/O watcher in the same iteration 340While stopping, setting and starting an I/O watcher in the same iteration
332will result in some caching, there is still a syscall per such incident 341will result in some caching, there is still a syscall per such incident
333(because the fd could point to a different file description now), so its 342(because the fd could point to a different file description now), so its
334best to avoid that. Also, C<dup ()>'ed file descriptors might not work 343best to avoid that. Also, C<dup ()>'ed file descriptors might not work
336 345
337Please note that epoll sometimes generates spurious notifications, so you 346Please note that epoll sometimes generates spurious notifications, so you
338need to use non-blocking I/O or other means to avoid blocking when no data 347need to use non-blocking I/O or other means to avoid blocking when no data
339(or space) is available. 348(or space) is available.
340 349
350Best performance from this backend is achieved by not unregistering all
351watchers for a file descriptor until it has been closed, if possible, i.e.
352keep at least one watcher active per fd at all times.
353
354While nominally embeddeble in other event loops, this feature is broken in
355all kernel versions tested so far.
356
341=item C<EVBACKEND_KQUEUE> (value 8, most BSD clones) 357=item C<EVBACKEND_KQUEUE> (value 8, most BSD clones)
342 358
343Kqueue deserves special mention, as at the time of this writing, it 359Kqueue deserves special mention, as at the time of this writing, it
344was broken on I<all> BSDs (usually it doesn't work with anything but 360was broken on all BSDs except NetBSD (usually it doesn't work reliably
345sockets and pipes, except on Darwin, where of course it's completely 361with anything but sockets and pipes, except on Darwin, where of course
346useless. On NetBSD, it seems to work for all the FD types I tested, so it
347is used by default there). For this reason it's not being "autodetected" 362it's completely useless). For this reason it's not being "autodetected"
348unless you explicitly specify it explicitly in the flags (i.e. using 363unless you explicitly specify it explicitly in the flags (i.e. using
349C<EVBACKEND_KQUEUE>) or libev was compiled on a known-to-be-good (-enough) 364C<EVBACKEND_KQUEUE>) or libev was compiled on a known-to-be-good (-enough)
350system like NetBSD. 365system like NetBSD.
351 366
367You still can embed kqueue into a normal poll or select backend and use it
368only for sockets (after having made sure that sockets work with kqueue on
369the target platform). See C<ev_embed> watchers for more info.
370
352It scales in the same way as the epoll backend, but the interface to the 371It scales in the same way as the epoll backend, but the interface to the
353kernel is more efficient (which says nothing about its actual speed, 372kernel is more efficient (which says nothing about its actual speed, of
354of course). While stopping, setting and starting an I/O watcher does 373course). While stopping, setting and starting an I/O watcher does never
355never cause an extra syscall as with epoll, it still adds up to two event 374cause an extra syscall as with C<EVBACKEND_EPOLL>, it still adds up to
356changes per incident, support for C<fork ()> is very bad and it drops fds 375two event changes per incident, support for C<fork ()> is very bad and it
357silently in similarly hard-to-detetc cases. 376drops fds silently in similarly hard-to-detect cases.
377
378This backend usually performs well under most conditions.
379
380While nominally embeddable in other event loops, this doesn't work
381everywhere, so you might need to test for this. And since it is broken
382almost everywhere, you should only use it when you have a lot of sockets
383(for which it usually works), by embedding it into another event loop
384(e.g. C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>) and using it only for
385sockets.
358 386
359=item C<EVBACKEND_DEVPOLL> (value 16, Solaris 8) 387=item C<EVBACKEND_DEVPOLL> (value 16, Solaris 8)
360 388
361This is not implemented yet (and might never be). 389This is not implemented yet (and might never be, unless you send me an
390implementation). According to reports, C</dev/poll> only supports sockets
391and is not embeddable, which would limit the usefulness of this backend
392immensely.
362 393
363=item C<EVBACKEND_PORT> (value 32, Solaris 10) 394=item C<EVBACKEND_PORT> (value 32, Solaris 10)
364 395
365This uses the Solaris 10 event port mechanism. As with everything on Solaris, 396This uses the Solaris 10 event port mechanism. As with everything on Solaris,
366it's really slow, but it still scales very well (O(active_fds)). 397it's really slow, but it still scales very well (O(active_fds)).
367 398
368Please note that solaris event ports can deliver a lot of spurious 399Please note that solaris event ports can deliver a lot of spurious
369notifications, so you need to use non-blocking I/O or other means to avoid 400notifications, so you need to use non-blocking I/O or other means to avoid
370blocking when no data (or space) is available. 401blocking when no data (or space) is available.
371 402
403While this backend scales well, it requires one system call per active
404file descriptor per loop iteration. For small and medium numbers of file
405descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend
406might perform better.
407
372=item C<EVBACKEND_ALL> 408=item C<EVBACKEND_ALL>
373 409
374Try all backends (even potentially broken ones that wouldn't be tried 410Try all backends (even potentially broken ones that wouldn't be tried
375with C<EVFLAG_AUTO>). Since this is a mask, you can do stuff such as 411with C<EVFLAG_AUTO>). Since this is a mask, you can do stuff such as
376C<EVBACKEND_ALL & ~EVBACKEND_KQUEUE>. 412C<EVBACKEND_ALL & ~EVBACKEND_KQUEUE>.
413
414It is definitely not recommended to use this flag.
377 415
378=back 416=back
379 417
380If one or more of these are ored into the flags value, then only these 418If one or more of these are ored into the flags value, then only these
381backends will be tried (in the reverse order as given here). If none are 419backends will be tried (in the reverse order as given here). If none are
596overhead for the actual polling but can deliver many events at once. 634overhead for the actual polling but can deliver many events at once.
597 635
598By setting a higher I<io collect interval> you allow libev to spend more 636By setting a higher I<io collect interval> you allow libev to spend more
599time collecting I/O events, so you can handle more events per iteration, 637time collecting I/O events, so you can handle more events per iteration,
600at the cost of increasing latency. Timeouts (both C<ev_periodic> and 638at the cost of increasing latency. Timeouts (both C<ev_periodic> and
601C<ev_timer>) will be not affected. Setting this to a non-null bvalue will 639C<ev_timer>) will be not affected. Setting this to a non-null value will
602introduce an additional C<ev_sleep ()> call into most loop iterations. 640introduce an additional C<ev_sleep ()> call into most loop iterations.
603 641
604Likewise, by setting a higher I<timeout collect interval> you allow libev 642Likewise, by setting a higher I<timeout collect interval> you allow libev
605to spend more time collecting timeouts, at the expense of increased 643to spend more time collecting timeouts, at the expense of increased
606latency (the watcher callback will be called later). C<ev_io> watchers 644latency (the watcher callback will be called later). C<ev_io> watchers
994optimisations to libev. 1032optimisations to libev.
995 1033
996=head3 The special problem of dup'ed file descriptors 1034=head3 The special problem of dup'ed file descriptors
997 1035
998Some backends (e.g. epoll), cannot register events for file descriptors, 1036Some backends (e.g. epoll), cannot register events for file descriptors,
999but only events for the underlying file descriptions. That menas when you 1037but only events for the underlying file descriptions. That means when you
1000have C<dup ()>'ed file descriptors and register events for them, only one 1038have C<dup ()>'ed file descriptors and register events for them, only one
1001file descriptor might actually receive events. 1039file descriptor might actually receive events.
1002 1040
1003There is no workaorund possible except not registering events 1041There is no workaround possible except not registering events
1004for potentially C<dup ()>'ed file descriptors or to resort to 1042for potentially C<dup ()>'ed file descriptors, or to resort to
1005C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>. 1043C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>.
1006 1044
1007=head3 The special problem of fork 1045=head3 The special problem of fork
1008 1046
1009Some backends (epoll, kqueue) do not support C<fork ()> at all or exhibit 1047Some backends (epoll, kqueue) do not support C<fork ()> at all or exhibit
1623 1661
1624It is recommended to give C<ev_check> watchers highest (C<EV_MAXPRI>) 1662It is recommended to give C<ev_check> watchers highest (C<EV_MAXPRI>)
1625priority, to ensure that they are being run before any other watchers 1663priority, to ensure that they are being run before any other watchers
1626after the poll. Also, C<ev_check> watchers (and C<ev_prepare> watchers, 1664after the poll. Also, C<ev_check> watchers (and C<ev_prepare> watchers,
1627too) should not activate ("feed") events into libev. While libev fully 1665too) should not activate ("feed") events into libev. While libev fully
1628supports this, they will be called before other C<ev_check> watchers did 1666supports this, they will be called before other C<ev_check> watchers
1629their job. As C<ev_check> watchers are often used to embed other event 1667did their job. As C<ev_check> watchers are often used to embed other
1630loops those other event loops might be in an unusable state until their 1668(non-libev) event loops those other event loops might be in an unusable
1631C<ev_check> watcher ran (always remind yourself to coexist peacefully with 1669state until their C<ev_check> watcher ran (always remind yourself to
1632others). 1670coexist peacefully with others).
1633 1671
1634=head3 Watcher-Specific Functions and Data Members 1672=head3 Watcher-Specific Functions and Data Members
1635 1673
1636=over 4 1674=over 4
1637 1675
1776=head2 C<ev_embed> - when one backend isn't enough... 1814=head2 C<ev_embed> - when one backend isn't enough...
1777 1815
1778This is a rather advanced watcher type that lets you embed one event loop 1816This is a rather advanced watcher type that lets you embed one event loop
1779into another (currently only C<ev_io> events are supported in the embedded 1817into another (currently only C<ev_io> events are supported in the embedded
1780loop, other types of watchers might be handled in a delayed or incorrect 1818loop, other types of watchers might be handled in a delayed or incorrect
1781fashion and must not be used). (See portability notes, below). 1819fashion and must not be used).
1782 1820
1783There are primarily two reasons you would want that: work around bugs and 1821There are primarily two reasons you would want that: work around bugs and
1784prioritise I/O. 1822prioritise I/O.
1785 1823
1786As an example for a bug workaround, the kqueue backend might only support 1824As an example for a bug workaround, the kqueue backend might only support
1841 ev_embed_start (loop_hi, &embed); 1879 ev_embed_start (loop_hi, &embed);
1842 } 1880 }
1843 else 1881 else
1844 loop_lo = loop_hi; 1882 loop_lo = loop_hi;
1845 1883
1846=head2 Portability notes
1847
1848Kqueue is nominally embeddable, but this is broken on all BSDs that I
1849tried, in various ways. Usually the embedded event loop will simply never
1850receive events, sometimes it will only trigger a few times, sometimes in a
1851loop. Epoll is also nominally embeddable, but many Linux kernel versions
1852will always eport the epoll fd as ready, even when no events are pending.
1853
1854While libev allows embedding these backends (they are contained in
1855C<ev_embeddable_backends ()>), take extreme care that it will actually
1856work.
1857
1858When in doubt, create a dynamic event loop forced to use sockets (this
1859usually works) and possibly another thread and a pipe or so to report to
1860your main event loop.
1861
1862=head3 Watcher-Specific Functions and Data Members 1884=head3 Watcher-Specific Functions and Data Members
1863 1885
1864=over 4 1886=over 4
1865 1887
1866=item ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop) 1888=item ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop)
2504than enough. If you need to manage thousands of children you might want to 2526than enough. If you need to manage thousands of children you might want to
2505increase this value (I<must> be a power of two). 2527increase this value (I<must> be a power of two).
2506 2528
2507=item EV_INOTIFY_HASHSIZE 2529=item EV_INOTIFY_HASHSIZE
2508 2530
2509C<ev_staz> watchers use a small hash table to distribute workload by 2531C<ev_stat> watchers use a small hash table to distribute workload by
2510inotify watch id. The default size is C<16> (or C<1> with C<EV_MINIMAL>), 2532inotify watch id. The default size is C<16> (or C<1> with C<EV_MINIMAL>),
2511usually more than enough. If you need to manage thousands of C<ev_stat> 2533usually more than enough. If you need to manage thousands of C<ev_stat>
2512watchers you might want to increase this value (I<must> be a power of 2534watchers you might want to increase this value (I<must> be a power of
2513two). 2535two).
2514 2536

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines