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

Comparing libev/ev.pod (file contents):
Revision 1.371 by root, Sat Jun 4 05:25:03 2011 UTC vs.
Revision 1.376 by root, Tue Jun 14 07:23:46 2011 UTC

441example) that can't properly initialise their signal masks. 441example) that can't properly initialise their signal masks.
442 442
443=item C<EVFLAG_NOSIGMASK> 443=item C<EVFLAG_NOSIGMASK>
444 444
445When this flag is specified, then libev will avoid to modify the signal 445When this flag is specified, then libev will avoid to modify the signal
446mask. Specifically, this means you ahve to make sure signals are unblocked 446mask. Specifically, this means you have to make sure signals are unblocked
447when you want to receive them. 447when you want to receive them.
448 448
449This behaviour is useful when you want to do your own signal handling, or 449This behaviour is useful when you want to do your own signal handling, or
450want to handle signals only in specific threads and want to avoid libev 450want to handle signals only in specific threads and want to avoid libev
451unblocking the signals. 451unblocking the signals.
512totally I<different> file descriptors (even already closed ones, so 512totally I<different> file descriptors (even already closed ones, so
513one cannot even remove them from the set) than registered in the set 513one cannot even remove them from the set) than registered in the set
514(especially on SMP systems). Libev tries to counter these spurious 514(especially on SMP systems). Libev tries to counter these spurious
515notifications by employing an additional generation counter and comparing 515notifications by employing an additional generation counter and comparing
516that against the events to filter out spurious ones, recreating the set 516that against the events to filter out spurious ones, recreating the set
517when required. Epoll also errornously rounds down timeouts, but gives you 517when required. Epoll also erroneously rounds down timeouts, but gives you
518no way to know when and by how much, so sometimes you have to busy-wait 518no way to know when and by how much, so sometimes you have to busy-wait
519because epoll returns immediately despite a nonzero timeout. And last 519because epoll returns immediately despite a nonzero timeout. And last
520not least, it also refuses to work with some file descriptors which work 520not least, it also refuses to work with some file descriptors which work
521perfectly fine with C<select> (files, many character devices...). 521perfectly fine with C<select> (files, many character devices...).
522 522
608among the OS-specific backends (I vastly prefer correctness over speed 608among the OS-specific backends (I vastly prefer correctness over speed
609hacks). 609hacks).
610 610
611On the negative side, the interface is I<bizarre> - so bizarre that 611On the negative side, the interface is I<bizarre> - so bizarre that
612even sun itself gets it wrong in their code examples: The event polling 612even sun itself gets it wrong in their code examples: The event polling
613function sometimes returning events to the caller even though an error 613function sometimes returns events to the caller even though an error
614occurred, but with no indication whether it has done so or not (yes, it's 614occurred, but with no indication whether it has done so or not (yes, it's
615even documented that way) - deadly for edge-triggered interfaces where 615even documented that way) - deadly for edge-triggered interfaces where you
616you absolutely have to know whether an event occurred or not because you 616absolutely have to know whether an event occurred or not because you have
617have to re-arm the watcher. 617to re-arm the watcher.
618 618
619Fortunately libev seems to be able to work around these idiocies. 619Fortunately libev seems to be able to work around these idiocies.
620 620
621This backend maps C<EV_READ> and C<EV_WRITE> in the same way as 621This backend maps C<EV_READ> and C<EV_WRITE> in the same way as
622C<EVBACKEND_POLL>. 622C<EVBACKEND_POLL>.
952overhead for the actual polling but can deliver many events at once. 952overhead for the actual polling but can deliver many events at once.
953 953
954By setting a higher I<io collect interval> you allow libev to spend more 954By setting a higher I<io collect interval> you allow libev to spend more
955time collecting I/O events, so you can handle more events per iteration, 955time collecting I/O events, so you can handle more events per iteration,
956at the cost of increasing latency. Timeouts (both C<ev_periodic> and 956at the cost of increasing latency. Timeouts (both C<ev_periodic> and
957C<ev_timer>) will be not affected. Setting this to a non-null value will 957C<ev_timer>) will not be affected. Setting this to a non-null value will
958introduce an additional C<ev_sleep ()> call into most loop iterations. The 958introduce an additional C<ev_sleep ()> call into most loop iterations. The
959sleep time ensures that libev will not poll for I/O events more often then 959sleep time ensures that libev will not poll for I/O events more often then
960once per this interval, on average. 960once per this interval, on average (as long as the host time resolution is
961good enough).
961 962
962Likewise, by setting a higher I<timeout collect interval> you allow libev 963Likewise, by setting a higher I<timeout collect interval> you allow libev
963to spend more time collecting timeouts, at the expense of increased 964to spend more time collecting timeouts, at the expense of increased
964latency/jitter/inexactness (the watcher callback will be called 965latency/jitter/inexactness (the watcher callback will be called
965later). C<ev_io> watchers will not be affected. Setting this to a non-null 966later). C<ev_io> watchers will not be affected. Setting this to a non-null
1385 1386
1386=over 4 1387=over 4
1387 1388
1388=item initialiased 1389=item initialiased
1389 1390
1390Before a watcher can be registered with the event looop it has to be 1391Before a watcher can be registered with the event loop it has to be
1391initialised. This can be done with a call to C<ev_TYPE_init>, or calls to 1392initialised. This can be done with a call to C<ev_TYPE_init>, or calls to
1392C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function. 1393C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function.
1393 1394
1394In this state it is simply some block of memory that is suitable for 1395In this state it is simply some block of memory that is suitable for
1395use in an event loop. It can be moved around, freed, reused etc. at 1396use in an event loop. It can be moved around, freed, reused etc. at
2022keep up with the timer (because it takes longer than those 10 seconds to 2023keep up with the timer (because it takes longer than those 10 seconds to
2023do stuff) the timer will not fire more than once per event loop iteration. 2024do stuff) the timer will not fire more than once per event loop iteration.
2024 2025
2025=item ev_timer_again (loop, ev_timer *) 2026=item ev_timer_again (loop, ev_timer *)
2026 2027
2027This will act as if the timer timed out and restart it again if it is 2028This will act as if the timer timed out and restarts it again if it is
2028repeating. The exact semantics are: 2029repeating. The exact semantics are:
2029 2030
2030If the timer is pending, its pending status is cleared. 2031If the timer is pending, its pending status is cleared.
2031 2032
2032If the timer is started but non-repeating, stop it (as if it timed out). 2033If the timer is started but non-repeating, stop it (as if it timed out).
3219C<ev_async_sent> calls). In fact, you could use signal watchers as a kind 3220C<ev_async_sent> calls). In fact, you could use signal watchers as a kind
3220of "global async watchers" by using a watcher on an otherwise unused 3221of "global async watchers" by using a watcher on an otherwise unused
3221signal, and C<ev_feed_signal> to signal this watcher from another thread, 3222signal, and C<ev_feed_signal> to signal this watcher from another thread,
3222even without knowing which loop owns the signal. 3223even without knowing which loop owns the signal.
3223 3224
3224Unlike C<ev_signal> watchers, C<ev_async> works with any event loop, not
3225just the default loop.
3226
3227=head3 Queueing 3225=head3 Queueing
3228 3226
3229C<ev_async> does not support queueing of data in any way. The reason 3227C<ev_async> does not support queueing of data in any way. The reason
3230is that the author does not know of a simple (or any) algorithm for a 3228is that the author does not know of a simple (or any) algorithm for a
3231multiple-writer-single-reader queue that works in all cases and doesn't 3229multiple-writer-single-reader queue that works in all cases and doesn't
3330Unlike C<ev_feed_event>, this call is safe to do from other threads, 3328Unlike C<ev_feed_event>, this call is safe to do from other threads,
3331signal or similar contexts (see the discussion of C<EV_ATOMIC_T> in the 3329signal or similar contexts (see the discussion of C<EV_ATOMIC_T> in the
3332embedding section below on what exactly this means). 3330embedding section below on what exactly this means).
3333 3331
3334Note that, as with other watchers in libev, multiple events might get 3332Note that, as with other watchers in libev, multiple events might get
3335compressed into a single callback invocation (another way to look at this 3333compressed into a single callback invocation (another way to look at
3336is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>, 3334this is that C<ev_async> watchers are level-triggered: they are set on
3337reset when the event loop detects that). 3335C<ev_async_send>, reset when the event loop detects that).
3338 3336
3339This call incurs the overhead of a system call only once per event loop 3337This call incurs the overhead of at most one extra system call per event
3340iteration, so while the overhead might be noticeable, it doesn't apply to 3338loop iteration, if the event loop is blocked, and no syscall at all if
3341repeated calls to C<ev_async_send> for the same event loop. 3339the event loop (or your program) is processing events. That means that
3340repeated calls are basically free (there is no need to avoid calls for
3341performance reasons) and that the overhead becomes smaller (typically
3342zero) under load.
3342 3343
3343=item bool = ev_async_pending (ev_async *) 3344=item bool = ev_async_pending (ev_async *)
3344 3345
3345Returns a non-zero value when C<ev_async_send> has been called on the 3346Returns a non-zero value when C<ev_async_send> has been called on the
3346watcher but the event has not yet been processed (or even noted) by the 3347watcher but the event has not yet been processed (or even noted) by the
4368indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled. 4369indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled.
4369 4370
4370=item EV_ATOMIC_T 4371=item EV_ATOMIC_T
4371 4372
4372Libev requires an integer type (suitable for storing C<0> or C<1>) whose 4373Libev requires an integer type (suitable for storing C<0> or C<1>) whose
4373access is atomic with respect to other threads or signal contexts. No such 4374access is atomic and serialised with respect to other threads or signal
4374type is easily found in the C language, so you can provide your own type 4375contexts. No such type is easily found in the C language, so you can
4375that you know is safe for your purposes. It is used both for signal handler "locking" 4376provide your own type that you know is safe for your purposes. It is used
4376as well as for signal and thread safety in C<ev_async> watchers. 4377both for signal handler "locking" as well as for signal and thread safety
4378in C<ev_async> watchers.
4377 4379
4378In the absence of this define, libev will use C<sig_atomic_t volatile> 4380In the absence of this define, libev will use C<sig_atomic_t volatile>
4379(from F<signal.h>), which is usually good enough on most platforms. 4381(from F<signal.h>), which is usually good enough on most platforms.
4380 4382
4381=item EV_H (h) 4383=item EV_H (h)
4903requires, and its I/O model is fundamentally incompatible with the POSIX 4905requires, and its I/O model is fundamentally incompatible with the POSIX
4904model. Libev still offers limited functionality on this platform in 4906model. Libev still offers limited functionality on this platform in
4905the form of the C<EVBACKEND_SELECT> backend, and only supports socket 4907the form of the C<EVBACKEND_SELECT> backend, and only supports socket
4906descriptors. This only applies when using Win32 natively, not when using 4908descriptors. This only applies when using Win32 natively, not when using
4907e.g. cygwin. Actually, it only applies to the microsofts own compilers, 4909e.g. cygwin. Actually, it only applies to the microsofts own compilers,
4908as every compielr comes with a slightly differently broken/incompatible 4910as every compiler comes with a slightly differently broken/incompatible
4909environment. 4911environment.
4910 4912
4911Lifting these limitations would basically require the full 4913Lifting these limitations would basically require the full
4912re-implementation of the I/O system. If you are into this kind of thing, 4914re-implementation of the I/O system. If you are into this kind of thing,
4913then note that glib does exactly that for you in a very portable way (note 4915then note that glib does exactly that for you in a very portable way (note
5046 5048
5047The type C<double> is used to represent timestamps. It is required to 5049The type C<double> is used to represent timestamps. It is required to
5048have at least 51 bits of mantissa (and 9 bits of exponent), which is 5050have at least 51 bits of mantissa (and 9 bits of exponent), which is
5049good enough for at least into the year 4000 with millisecond accuracy 5051good enough for at least into the year 4000 with millisecond accuracy
5050(the design goal for libev). This requirement is overfulfilled by 5052(the design goal for libev). This requirement is overfulfilled by
5051implementations using IEEE 754, which is basically all existing ones. With 5053implementations using IEEE 754, which is basically all existing ones.
5054
5052IEEE 754 doubles, you get microsecond accuracy until at least 2200. 5055With IEEE 754 doubles, you get microsecond accuracy until at least the
5056year 2255 (and millisecond accuray till the year 287396 - by then, libev
5057is either obsolete or somebody patched it to use C<long double> or
5058something like that, just kidding).
5053 5059
5054=back 5060=back
5055 5061
5056If you know of other additional requirements drop me a note. 5062If you know of other additional requirements drop me a note.
5057 5063
5119=item Processing ev_async_send: O(number_of_async_watchers) 5125=item Processing ev_async_send: O(number_of_async_watchers)
5120 5126
5121=item Processing signals: O(max_signal_number) 5127=item Processing signals: O(max_signal_number)
5122 5128
5123Sending involves a system call I<iff> there were no other C<ev_async_send> 5129Sending involves a system call I<iff> there were no other C<ev_async_send>
5124calls in the current loop iteration. Checking for async and signal events 5130calls in the current loop iteration and the loop is currently
5131blocked. Checking for async and signal events involves iterating over all
5125involves iterating over all running async watchers or all signal numbers. 5132running async watchers or all signal numbers.
5126 5133
5127=back 5134=back
5128 5135
5129 5136
5130=head1 PORTING FROM LIBEV 3.X TO 4.X 5137=head1 PORTING FROM LIBEV 3.X TO 4.X

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines