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

Comparing libev/ev.pod (file contents):
Revision 1.362 by root, Sun Jan 30 21:10:13 2011 UTC vs.
Revision 1.373 by root, Sat Jun 4 05:59:50 2011 UTC

178you actually want to know. Also interesting is the combination of 178you actually want to know. Also interesting is the combination of
179C<ev_update_now> and C<ev_now>. 179C<ev_update_now> and C<ev_now>.
180 180
181=item ev_sleep (ev_tstamp interval) 181=item ev_sleep (ev_tstamp interval)
182 182
183Sleep for the given interval: The current thread will be blocked until 183Sleep for the given interval: The current thread will be blocked
184either it is interrupted or the given time interval has passed. Basically 184until either it is interrupted or the given time interval has
185passed (approximately - it might return a bit earlier even if not
186interrupted). Returns immediately if C<< interval <= 0 >>.
187
185this is a sub-second-resolution C<sleep ()>. 188Basically this is a sub-second-resolution C<sleep ()>.
189
190The range of the C<interval> is limited - libev only guarantees to work
191with sleep times of up to one day (C<< interval <= 86400 >>).
186 192
187=item int ev_version_major () 193=item int ev_version_major ()
188 194
189=item int ev_version_minor () 195=item int ev_version_minor ()
190 196
483=item C<EVBACKEND_EPOLL> (value 4, Linux) 489=item C<EVBACKEND_EPOLL> (value 4, Linux)
484 490
485Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9 491Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9
486kernels). 492kernels).
487 493
488For few fds, this backend is a bit little slower than poll and select, 494For few fds, this backend is a bit little slower than poll and select, but
489but it scales phenomenally better. While poll and select usually scale 495it scales phenomenally better. While poll and select usually scale like
490like O(total_fds) where n is the total number of fds (or the highest fd), 496O(total_fds) where total_fds is the total number of fds (or the highest
491epoll scales either O(1) or O(active_fds). 497fd), epoll scales either O(1) or O(active_fds).
492 498
493The epoll mechanism deserves honorable mention as the most misdesigned 499The epoll mechanism deserves honorable mention as the most misdesigned
494of the more advanced event mechanisms: mere annoyances include silently 500of the more advanced event mechanisms: mere annoyances include silently
495dropping file descriptors, requiring a system call per change per file 501dropping file descriptors, requiring a system call per change per file
496descriptor (and unnecessary guessing of parameters), problems with dup, 502descriptor (and unnecessary guessing of parameters), problems with dup,
4990.1ms) and so on. The biggest issue is fork races, however - if a program 5050.1ms) and so on. The biggest issue is fork races, however - if a program
500forks then I<both> parent and child process have to recreate the epoll 506forks then I<both> parent and child process have to recreate the epoll
501set, which can take considerable time (one syscall per file descriptor) 507set, which can take considerable time (one syscall per file descriptor)
502and is of course hard to detect. 508and is of course hard to detect.
503 509
504Epoll is also notoriously buggy - embedding epoll fds I<should> work, but 510Epoll is also notoriously buggy - embedding epoll fds I<should> work,
505of course I<doesn't>, and epoll just loves to report events for totally 511but of course I<doesn't>, and epoll just loves to report events for
506I<different> file descriptors (even already closed ones, so one cannot 512totally I<different> file descriptors (even already closed ones, so
507even remove them from the set) than registered in the set (especially 513one cannot even remove them from the set) than registered in the set
508on SMP systems). Libev tries to counter these spurious notifications by 514(especially on SMP systems). Libev tries to counter these spurious
509employing an additional generation counter and comparing that against the 515notifications by employing an additional generation counter and comparing
510events to filter out spurious ones, recreating the set when required. Last 516that against the events to filter out spurious ones, recreating the set
517when required. Epoll also errornously rounds down timeouts, but gives you
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
511not 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
512perfectly fine with C<select> (files, many character devices...). 521perfectly fine with C<select> (files, many character devices...).
513 522
514Epoll is truly the train wreck analog among event poll mechanisms, 523Epoll is truly the train wreck among event poll mechanisms, a frankenpoll,
515a frankenpoll, cobbled together in a hurry, no thought to design or 524cobbled together in a hurry, no thought to design or interaction with
516interaction with others. 525others. Oh, the pain, will it ever stop...
517 526
518While stopping, setting and starting an I/O watcher in the same iteration 527While stopping, setting and starting an I/O watcher in the same iteration
519will result in some caching, there is still a system call per such 528will result in some caching, there is still a system call per such
520incident (because the same I<file descriptor> could point to a different 529incident (because the same I<file descriptor> could point to a different
521I<file description> now), so its best to avoid that. Also, C<dup ()>'ed 530I<file description> now), so its best to avoid that. Also, C<dup ()>'ed
825This is useful if you are waiting for some external event in conjunction 834This is useful if you are waiting for some external event in conjunction
826with something not expressible using other libev watchers (i.e. "roll your 835with something not expressible using other libev watchers (i.e. "roll your
827own C<ev_run>"). However, a pair of C<ev_prepare>/C<ev_check> watchers is 836own C<ev_run>"). However, a pair of C<ev_prepare>/C<ev_check> watchers is
828usually a better approach for this kind of thing. 837usually a better approach for this kind of thing.
829 838
830Here are the gory details of what C<ev_run> does: 839Here are the gory details of what C<ev_run> does (this is for your
840understanding, not a guarantee that things will work exactly like this in
841future versions):
831 842
832 - Increment loop depth. 843 - Increment loop depth.
833 - Reset the ev_break status. 844 - Reset the ev_break status.
834 - Before the first iteration, call any pending watchers. 845 - Before the first iteration, call any pending watchers.
835 LOOP: 846 LOOP:
941overhead for the actual polling but can deliver many events at once. 952overhead for the actual polling but can deliver many events at once.
942 953
943By 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
944time 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,
945at the cost of increasing latency. Timeouts (both C<ev_periodic> and 956at the cost of increasing latency. Timeouts (both C<ev_periodic> and
946C<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
947introduce an additional C<ev_sleep ()> call into most loop iterations. The 958introduce an additional C<ev_sleep ()> call into most loop iterations. The
948sleep 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
949once per this interval, on average. 960once per this interval, on average (as long as the host time resolution is
961good enough).
950 962
951Likewise, by setting a higher I<timeout collect interval> you allow libev 963Likewise, by setting a higher I<timeout collect interval> you allow libev
952to spend more time collecting timeouts, at the expense of increased 964to spend more time collecting timeouts, at the expense of increased
953latency/jitter/inexactness (the watcher callback will be called 965latency/jitter/inexactness (the watcher callback will be called
954later). 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
2151 2163
2152Another way to think about it (for the mathematically inclined) is that 2164Another way to think about it (for the mathematically inclined) is that
2153C<ev_periodic> will try to run the callback in this mode at the next possible 2165C<ev_periodic> will try to run the callback in this mode at the next possible
2154time where C<time = offset (mod interval)>, regardless of any time jumps. 2166time where C<time = offset (mod interval)>, regardless of any time jumps.
2155 2167
2156For numerical stability it is preferable that the C<offset> value is near 2168The C<interval> I<MUST> be positive, and for numerical stability, the
2157C<ev_now ()> (the current time), but there is no range requirement for 2169interval value should be higher than C<1/8192> (which is around 100
2158this value, and in fact is often specified as zero. 2170microseconds) and C<offset> should be higher than C<0> and should have
2171at most a similar magnitude as the current time (say, within a factor of
2172ten). Typical values for offset are, in fact, C<0> or something between
2173C<0> and C<interval>, which is also the recommended range.
2159 2174
2160Note also that there is an upper limit to how often a timer can fire (CPU 2175Note also that there is an upper limit to how often a timer can fire (CPU
2161speed for example), so if C<interval> is very small then timing stability 2176speed for example), so if C<interval> is very small then timing stability
2162will of course deteriorate. Libev itself tries to be exact to be about one 2177will of course deteriorate. Libev itself tries to be exact to be about one
2163millisecond (if the OS supports it and the machine is fast enough). 2178millisecond (if the OS supports it and the machine is fast enough).
3188 atexit (program_exits); 3203 atexit (program_exits);
3189 3204
3190 3205
3191=head2 C<ev_async> - how to wake up an event loop 3206=head2 C<ev_async> - how to wake up an event loop
3192 3207
3193In general, you cannot use an C<ev_run> from multiple threads or other 3208In general, you cannot use an C<ev_loop> from multiple threads or other
3194asynchronous sources such as signal handlers (as opposed to multiple event 3209asynchronous sources such as signal handlers (as opposed to multiple event
3195loops - those are of course safe to use in different threads). 3210loops - those are of course safe to use in different threads).
3196 3211
3197Sometimes, however, you need to wake up an event loop you do not control, 3212Sometimes, however, you need to wake up an event loop you do not control,
3198for example because it belongs to another thread. This is what C<ev_async> 3213for example because it belongs to another thread. This is what C<ev_async>
3308trust me. 3323trust me.
3309 3324
3310=item ev_async_send (loop, ev_async *) 3325=item ev_async_send (loop, ev_async *)
3311 3326
3312Sends/signals/activates the given C<ev_async> watcher, that is, feeds 3327Sends/signals/activates the given C<ev_async> watcher, that is, feeds
3313an C<EV_ASYNC> event on the watcher into the event loop. Unlike 3328an C<EV_ASYNC> event on the watcher into the event loop, and instantly
3329returns.
3330
3314C<ev_feed_event>, this call is safe to do from other threads, signal or 3331Unlike C<ev_feed_event>, this call is safe to do from other threads,
3315similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding 3332signal or similar contexts (see the discussion of C<EV_ATOMIC_T> in the
3316section below on what exactly this means). 3333embedding section below on what exactly this means).
3317 3334
3318Note that, as with other watchers in libev, multiple events might get 3335Note that, as with other watchers in libev, multiple events might get
3319compressed into a single callback invocation (another way to look at this 3336compressed into a single callback invocation (another way to look at this
3320is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>, 3337is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>,
3321reset when the event loop detects that). 3338reset when the event loop detects that).
4202F<event.h> that are not directly supported by the libev core alone. 4219F<event.h> that are not directly supported by the libev core alone.
4203 4220
4204In standalone mode, libev will still try to automatically deduce the 4221In standalone mode, libev will still try to automatically deduce the
4205configuration, but has to be more conservative. 4222configuration, but has to be more conservative.
4206 4223
4224=item EV_USE_FLOOR
4225
4226If defined to be C<1>, libev will use the C<floor ()> function for its
4227periodic reschedule calculations, otherwise libev will fall back on a
4228portable (slower) implementation. If you enable this, you usually have to
4229link against libm or something equivalent. Enabling this when the C<floor>
4230function is not available will fail, so the safe default is to not enable
4231this.
4232
4207=item EV_USE_MONOTONIC 4233=item EV_USE_MONOTONIC
4208 4234
4209If defined to be C<1>, libev will try to detect the availability of the 4235If defined to be C<1>, libev will try to detect the availability of the
4210monotonic clock option at both compile time and runtime. Otherwise no 4236monotonic clock option at both compile time and runtime. Otherwise no
4211use of the monotonic clock option will be attempted. If you enable this, 4237use of the monotonic clock option will be attempted. If you enable this,
5222The physical time that is observed. It is apparently strictly monotonic :) 5248The physical time that is observed. It is apparently strictly monotonic :)
5223 5249
5224=item wall-clock time 5250=item wall-clock time
5225 5251
5226The time and date as shown on clocks. Unlike real time, it can actually 5252The time and date as shown on clocks. Unlike real time, it can actually
5227be wrong and jump forwards and backwards, e.g. when the you adjust your 5253be wrong and jump forwards and backwards, e.g. when you adjust your
5228clock. 5254clock.
5229 5255
5230=item watcher 5256=item watcher
5231 5257
5232A data structure that describes interest in certain events. Watchers need 5258A data structure that describes interest in certain events. Watchers need
5235=back 5261=back
5236 5262
5237=head1 AUTHOR 5263=head1 AUTHOR
5238 5264
5239Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael 5265Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael
5240Magnusson and Emanuele Giaquinta. 5266Magnusson and Emanuele Giaquinta, and minor corrections by many others.
5241 5267

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines