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

Comparing libev/ev.pod (file contents):
Revision 1.365 by root, Mon Jan 31 00:07:21 2011 UTC vs.
Revision 1.370 by root, Thu Jun 2 23:42:40 2011 UTC

483=item C<EVBACKEND_EPOLL> (value 4, Linux) 483=item C<EVBACKEND_EPOLL> (value 4, Linux)
484 484
485Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9 485Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9
486kernels). 486kernels).
487 487
488For few fds, this backend is a bit little slower than poll and select, 488For 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 489it 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), 490O(total_fds) where total_fds is the total number of fds (or the highest
491epoll scales either O(1) or O(active_fds). 491fd), epoll scales either O(1) or O(active_fds).
492 492
493The epoll mechanism deserves honorable mention as the most misdesigned 493The epoll mechanism deserves honorable mention as the most misdesigned
494of the more advanced event mechanisms: mere annoyances include silently 494of the more advanced event mechanisms: mere annoyances include silently
495dropping file descriptors, requiring a system call per change per file 495dropping file descriptors, requiring a system call per change per file
496descriptor (and unnecessary guessing of parameters), problems with dup, 496descriptor (and unnecessary guessing of parameters), problems with dup,
4990.1ms) and so on. The biggest issue is fork races, however - if a program 4990.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 500forks then I<both> parent and child process have to recreate the epoll
501set, which can take considerable time (one syscall per file descriptor) 501set, which can take considerable time (one syscall per file descriptor)
502and is of course hard to detect. 502and is of course hard to detect.
503 503
504Epoll is also notoriously buggy - embedding epoll fds I<should> work, but 504Epoll is also notoriously buggy - embedding epoll fds I<should> work,
505of course I<doesn't>, and epoll just loves to report events for totally 505but of course I<doesn't>, and epoll just loves to report events for
506I<different> file descriptors (even already closed ones, so one cannot 506totally I<different> file descriptors (even already closed ones, so
507even remove them from the set) than registered in the set (especially 507one cannot even remove them from the set) than registered in the set
508on SMP systems). Libev tries to counter these spurious notifications by 508(especially on SMP systems). Libev tries to counter these spurious
509employing an additional generation counter and comparing that against the 509notifications by employing an additional generation counter and comparing
510events to filter out spurious ones, recreating the set when required. Last 510that against the events to filter out spurious ones, recreating the set
511when required. Epoll also errornously rounds down timeouts, but gives you
512no way to know when and by how much, so sometimes you have to busy-wait
513because epoll returns immediately despite a nonzero timeout. And last
511not least, it also refuses to work with some file descriptors which work 514not least, it also refuses to work with some file descriptors which work
512perfectly fine with C<select> (files, many character devices...). 515perfectly fine with C<select> (files, many character devices...).
513 516
514Epoll is truly the train wreck analog among event poll mechanisms, 517Epoll is truly the train wreck among event poll mechanisms, a frankenpoll,
515a frankenpoll, cobbled together in a hurry, no thought to design or 518cobbled together in a hurry, no thought to design or interaction with
516interaction with others. 519others. Oh, the pain, will it ever stop...
517 520
518While stopping, setting and starting an I/O watcher in the same iteration 521While 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 522will result in some caching, there is still a system call per such
520incident (because the same I<file descriptor> could point to a different 523incident (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 524I<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 828This is useful if you are waiting for some external event in conjunction
826with something not expressible using other libev watchers (i.e. "roll your 829with 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 830own C<ev_run>"). However, a pair of C<ev_prepare>/C<ev_check> watchers is
828usually a better approach for this kind of thing. 831usually a better approach for this kind of thing.
829 832
830Here are the gory details of what C<ev_run> does: 833Here are the gory details of what C<ev_run> does (this is for your
834understanding, not a guarantee that things will work exactly like this in
835future versions):
831 836
832 - Increment loop depth. 837 - Increment loop depth.
833 - Reset the ev_break status. 838 - Reset the ev_break status.
834 - Before the first iteration, call any pending watchers. 839 - Before the first iteration, call any pending watchers.
835 LOOP: 840 LOOP:
2151 2156
2152Another way to think about it (for the mathematically inclined) is that 2157Another 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 2158C<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. 2159time where C<time = offset (mod interval)>, regardless of any time jumps.
2155 2160
2156For numerical stability it is preferable that the C<offset> value is near 2161The C<interval> I<MUST> be positive, and for numerical stability, the
2157C<ev_now ()> (the current time), but there is no range requirement for 2162interval value should be higher than C<1/8192> (which is around 100
2158this value, and in fact is often specified as zero. 2163microseconds) and C<offset> should be higher than C<0> and should have
2164at most a similar magnitude as the current time (say, within a factor of
2165ten). Typical values for offset are, in fact, C<0> or something between
2166C<0> and C<interval>, which is also the recommended range.
2159 2167
2160Note also that there is an upper limit to how often a timer can fire (CPU 2168Note 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 2169speed 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 2170will 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). 2171millisecond (if the OS supports it and the machine is fast enough).
4204F<event.h> that are not directly supported by the libev core alone. 4212F<event.h> that are not directly supported by the libev core alone.
4205 4213
4206In standalone mode, libev will still try to automatically deduce the 4214In standalone mode, libev will still try to automatically deduce the
4207configuration, but has to be more conservative. 4215configuration, but has to be more conservative.
4208 4216
4217=item EV_USE_FLOOR
4218
4219If defined to be C<1>, libev will use the C<floor ()> function for its
4220periodic reschedule calculations, otherwise libev will fall back on a
4221portable (slower) implementation. If you enable this, you usually have to
4222link against libm or something equivalent. Enabling this when the C<floor>
4223function is not available will fail, so the safe default is to not enable
4224this.
4225
4209=item EV_USE_MONOTONIC 4226=item EV_USE_MONOTONIC
4210 4227
4211If defined to be C<1>, libev will try to detect the availability of the 4228If defined to be C<1>, libev will try to detect the availability of the
4212monotonic clock option at both compile time and runtime. Otherwise no 4229monotonic clock option at both compile time and runtime. Otherwise no
4213use of the monotonic clock option will be attempted. If you enable this, 4230use of the monotonic clock option will be attempted. If you enable this,
5224The physical time that is observed. It is apparently strictly monotonic :) 5241The physical time that is observed. It is apparently strictly monotonic :)
5225 5242
5226=item wall-clock time 5243=item wall-clock time
5227 5244
5228The time and date as shown on clocks. Unlike real time, it can actually 5245The time and date as shown on clocks. Unlike real time, it can actually
5229be wrong and jump forwards and backwards, e.g. when the you adjust your 5246be wrong and jump forwards and backwards, e.g. when you adjust your
5230clock. 5247clock.
5231 5248
5232=item watcher 5249=item watcher
5233 5250
5234A data structure that describes interest in certain events. Watchers need 5251A data structure that describes interest in certain events. Watchers need

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines