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

Comparing libev/ev.pod (file contents):
Revision 1.222 by root, Sun Dec 7 15:43:43 2008 UTC vs.
Revision 1.228 by root, Sat Mar 28 08:22:30 2009 UTC

460 460
461While nominally embeddable in other event loops, this doesn't work 461While nominally embeddable in other event loops, this doesn't work
462everywhere, so you might need to test for this. And since it is broken 462everywhere, so you might need to test for this. And since it is broken
463almost everywhere, you should only use it when you have a lot of sockets 463almost everywhere, you should only use it when you have a lot of sockets
464(for which it usually works), by embedding it into another event loop 464(for which it usually works), by embedding it into another event loop
465(e.g. C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>) and, did I mention it, 465(e.g. C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> (but C<poll> is of course
466using it only for sockets. 466also broken on OS X)) and, did I mention it, using it only for sockets.
467 467
468This backend maps C<EV_READ> into an C<EVFILT_READ> kevent with 468This backend maps C<EV_READ> into an C<EVFILT_READ> kevent with
469C<NOTE_EOF>, and C<EV_WRITE> into an C<EVFILT_WRITE> kevent with 469C<NOTE_EOF>, and C<EV_WRITE> into an C<EVFILT_WRITE> kevent with
470C<NOTE_EOF>. 470C<NOTE_EOF>.
471 471
1596=head2 C<ev_periodic> - to cron or not to cron? 1596=head2 C<ev_periodic> - to cron or not to cron?
1597 1597
1598Periodic watchers are also timers of a kind, but they are very versatile 1598Periodic watchers are also timers of a kind, but they are very versatile
1599(and unfortunately a bit complex). 1599(and unfortunately a bit complex).
1600 1600
1601Unlike C<ev_timer>'s, they are not based on real time (or relative time) 1601Unlike C<ev_timer>, periodic watchers are not based on real time (or
1602but on wall clock time (absolute time). You can tell a periodic watcher 1602relative time, the physical time that passes) but on wall clock time
1603to trigger after some specific point in time. For example, if you tell a 1603(absolute time, the thing you can read on your calender or clock). The
1604periodic watcher to trigger in 10 seconds (by specifying e.g. C<ev_now () 1604difference is that wall clock time can run faster or slower than real
1605+ 10.>, that is, an absolute time not a delay) and then reset your system 1605time, and time jumps are not uncommon (e.g. when you adjust your
1606clock to January of the previous year, then it will take more than year 1606wrist-watch).
1607to trigger the event (unlike an C<ev_timer>, which would still trigger
1608roughly 10 seconds later as it uses a relative timeout).
1609 1607
1608You can tell a periodic watcher to trigger after some specific point
1609in time: for example, if you tell a periodic watcher to trigger "in 10
1610seconds" (by specifying e.g. C<ev_now () + 10.>, that is, an absolute time
1611not a delay) and then reset your system clock to January of the previous
1612year, then it will take a year or more to trigger the event (unlike an
1613C<ev_timer>, which would still trigger roughly 10 seconds after starting
1614it, as it uses a relative timeout).
1615
1610C<ev_periodic>s can also be used to implement vastly more complex timers, 1616C<ev_periodic> watchers can also be used to implement vastly more complex
1611such as triggering an event on each "midnight, local time", or other 1617timers, such as triggering an event on each "midnight, local time", or
1612complicated rules. 1618other complicated rules. This cannot be done with C<ev_timer> watchers, as
1619those cannot react to time jumps.
1613 1620
1614As with timers, the callback is guaranteed to be invoked only when the 1621As with timers, the callback is guaranteed to be invoked only when the
1615time (C<at>) has passed, but if multiple periodic timers become ready 1622point in time where it is supposed to trigger has passed, but if multiple
1616during the same loop iteration, then order of execution is undefined. 1623periodic timers become ready during the same loop iteration, then order of
1624execution is undefined.
1617 1625
1618=head3 Watcher-Specific Functions and Data Members 1626=head3 Watcher-Specific Functions and Data Members
1619 1627
1620=over 4 1628=over 4
1621 1629
1622=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) 1630=item ev_periodic_init (ev_periodic *, callback, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1623 1631
1624=item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb) 1632=item ev_periodic_set (ev_periodic *, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1625 1633
1626Lots of arguments, lets sort it out... There are basically three modes of 1634Lots of arguments, let's sort it out... There are basically three modes of
1627operation, and we will explain them from simplest to most complex: 1635operation, and we will explain them from simplest to most complex:
1628 1636
1629=over 4 1637=over 4
1630 1638
1631=item * absolute timer (at = time, interval = reschedule_cb = 0) 1639=item * absolute timer (offset = absolute time, interval = 0, reschedule_cb = 0)
1632 1640
1633In this configuration the watcher triggers an event after the wall clock 1641In this configuration the watcher triggers an event after the wall clock
1634time C<at> has passed. It will not repeat and will not adjust when a time 1642time C<offset> has passed. It will not repeat and will not adjust when a
1635jump occurs, that is, if it is to be run at January 1st 2011 then it will 1643time jump occurs, that is, if it is to be run at January 1st 2011 then it
1636only run when the system clock reaches or surpasses this time. 1644will be stopped and invoked when the system clock reaches or surpasses
1645this point in time.
1637 1646
1638=item * repeating interval timer (at = offset, interval > 0, reschedule_cb = 0) 1647=item * repeating interval timer (offset = offset within interval, interval > 0, reschedule_cb = 0)
1639 1648
1640In this mode the watcher will always be scheduled to time out at the next 1649In this mode the watcher will always be scheduled to time out at the next
1641C<at + N * interval> time (for some integer N, which can also be negative) 1650C<offset + N * interval> time (for some integer N, which can also be
1642and then repeat, regardless of any time jumps. 1651negative) and then repeat, regardless of any time jumps. The C<offset>
1652argument is merely an offset into the C<interval> periods.
1643 1653
1644This can be used to create timers that do not drift with respect to the 1654This can be used to create timers that do not drift with respect to the
1645system clock, for example, here is a C<ev_periodic> that triggers each 1655system clock, for example, here is an C<ev_periodic> that triggers each
1646hour, on the hour: 1656hour, on the hour (with respect to UTC):
1647 1657
1648 ev_periodic_set (&periodic, 0., 3600., 0); 1658 ev_periodic_set (&periodic, 0., 3600., 0);
1649 1659
1650This doesn't mean there will always be 3600 seconds in between triggers, 1660This doesn't mean there will always be 3600 seconds in between triggers,
1651but only that the callback will be called when the system time shows a 1661but only that the callback will be called when the system time shows a
1652full hour (UTC), or more correctly, when the system time is evenly divisible 1662full hour (UTC), or more correctly, when the system time is evenly divisible
1653by 3600. 1663by 3600.
1654 1664
1655Another way to think about it (for the mathematically inclined) is that 1665Another way to think about it (for the mathematically inclined) is that
1656C<ev_periodic> will try to run the callback in this mode at the next possible 1666C<ev_periodic> will try to run the callback in this mode at the next possible
1657time where C<time = at (mod interval)>, regardless of any time jumps. 1667time where C<time = offset (mod interval)>, regardless of any time jumps.
1658 1668
1659For numerical stability it is preferable that the C<at> value is near 1669For numerical stability it is preferable that the C<offset> value is near
1660C<ev_now ()> (the current time), but there is no range requirement for 1670C<ev_now ()> (the current time), but there is no range requirement for
1661this value, and in fact is often specified as zero. 1671this value, and in fact is often specified as zero.
1662 1672
1663Note also that there is an upper limit to how often a timer can fire (CPU 1673Note also that there is an upper limit to how often a timer can fire (CPU
1664speed for example), so if C<interval> is very small then timing stability 1674speed for example), so if C<interval> is very small then timing stability
1665will of course deteriorate. Libev itself tries to be exact to be about one 1675will of course deteriorate. Libev itself tries to be exact to be about one
1666millisecond (if the OS supports it and the machine is fast enough). 1676millisecond (if the OS supports it and the machine is fast enough).
1667 1677
1668=item * manual reschedule mode (at and interval ignored, reschedule_cb = callback) 1678=item * manual reschedule mode (offset ignored, interval ignored, reschedule_cb = callback)
1669 1679
1670In this mode the values for C<interval> and C<at> are both being 1680In this mode the values for C<interval> and C<offset> are both being
1671ignored. Instead, each time the periodic watcher gets scheduled, the 1681ignored. Instead, each time the periodic watcher gets scheduled, the
1672reschedule callback will be called with the watcher as first, and the 1682reschedule callback will be called with the watcher as first, and the
1673current time as second argument. 1683current time as second argument.
1674 1684
1675NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, 1685NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, ever,
1676ever, or make ANY event loop modifications whatsoever>. 1686or make ANY other event loop modifications whatsoever, unless explicitly
1687allowed by documentation here>.
1677 1688
1678If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop 1689If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop
1679it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the 1690it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the
1680only event loop modification you are allowed to do). 1691only event loop modification you are allowed to do).
1681 1692
1711a different time than the last time it was called (e.g. in a crond like 1722a different time than the last time it was called (e.g. in a crond like
1712program when the crontabs have changed). 1723program when the crontabs have changed).
1713 1724
1714=item ev_tstamp ev_periodic_at (ev_periodic *) 1725=item ev_tstamp ev_periodic_at (ev_periodic *)
1715 1726
1716When active, returns the absolute time that the watcher is supposed to 1727When active, returns the absolute time that the watcher is supposed
1717trigger next. 1728to trigger next. This is not the same as the C<offset> argument to
1729C<ev_periodic_set>, but indeed works even in interval and manual
1730rescheduling modes.
1718 1731
1719=item ev_tstamp offset [read-write] 1732=item ev_tstamp offset [read-write]
1720 1733
1721When repeating, this contains the offset value, otherwise this is the 1734When repeating, this contains the offset value, otherwise this is the
1722absolute point in time (the C<at> value passed to C<ev_periodic_set>). 1735absolute point in time (the C<offset> value passed to C<ev_periodic_set>,
1736although libev might modify this value for better numerical stability).
1723 1737
1724Can be modified any time, but changes only take effect when the periodic 1738Can be modified any time, but changes only take effect when the periodic
1725timer fires or C<ev_periodic_again> is being called. 1739timer fires or C<ev_periodic_again> is being called.
1726 1740
1727=item ev_tstamp interval [read-write] 1741=item ev_tstamp interval [read-write]
2179 2193
2180=head3 Watcher-Specific Functions and Data Members 2194=head3 Watcher-Specific Functions and Data Members
2181 2195
2182=over 4 2196=over 4
2183 2197
2184=item ev_idle_init (ev_signal *, callback) 2198=item ev_idle_init (ev_idle *, callback)
2185 2199
2186Initialises and configures the idle watcher - it has no parameters of any 2200Initialises and configures the idle watcher - it has no parameters of any
2187kind. There is a C<ev_idle_set> macro, but using it is utterly pointless, 2201kind. There is a C<ev_idle_set> macro, but using it is utterly pointless,
2188believe me. 2202believe me.
2189 2203
2428some fds have to be watched and handled very quickly (with low latency), 2442some fds have to be watched and handled very quickly (with low latency),
2429and even priorities and idle watchers might have too much overhead. In 2443and even priorities and idle watchers might have too much overhead. In
2430this case you would put all the high priority stuff in one loop and all 2444this case you would put all the high priority stuff in one loop and all
2431the rest in a second one, and embed the second one in the first. 2445the rest in a second one, and embed the second one in the first.
2432 2446
2433As long as the watcher is active, the callback will be invoked every time 2447As long as the watcher is active, the callback will be invoked every
2434there might be events pending in the embedded loop. The callback must then 2448time there might be events pending in the embedded loop. The callback
2435call C<ev_embed_sweep (mainloop, watcher)> to make a single sweep and invoke 2449must then call C<ev_embed_sweep (mainloop, watcher)> to make a single
2436their callbacks (you could also start an idle watcher to give the embedded 2450sweep and invoke their callbacks (the callback doesn't need to invoke the
2437loop strictly lower priority for example). You can also set the callback 2451C<ev_embed_sweep> function directly, it could also start an idle watcher
2438to C<0>, in which case the embed watcher will automatically execute the 2452to give the embedded loop strictly lower priority for example).
2439embedded loop sweep.
2440 2453
2441As long as the watcher is started it will automatically handle events. The 2454You can also set the callback to C<0>, in which case the embed watcher
2442callback will be invoked whenever some events have been handled. You can 2455will automatically execute the embedded loop sweep whenever necessary.
2443set the callback to C<0> to avoid having to specify one if you are not
2444interested in that.
2445 2456
2446Also, there have not currently been made special provisions for forking: 2457Fork detection will be handled transparently while the C<ev_embed> watcher
2447when you fork, you not only have to call C<ev_loop_fork> on both loops, 2458is active, i.e., the embedded loop will automatically be forked when the
2448but you will also have to stop and restart any C<ev_embed> watchers 2459embedding loop forks. In other cases, the user is responsible for calling
2449yourself - but you can use a fork watcher to handle this automatically, 2460C<ev_loop_fork> on the embedded loop.
2450and future versions of libev might do just that.
2451 2461
2452Unfortunately, not all backends are embeddable: only the ones returned by 2462Unfortunately, not all backends are embeddable: only the ones returned by
2453C<ev_embeddable_backends> are, which, unfortunately, does not include any 2463C<ev_embeddable_backends> are, which, unfortunately, does not include any
2454portable one. 2464portable one.
2455 2465
2686an C<EV_ASYNC> event on the watcher into the event loop. Unlike 2696an C<EV_ASYNC> event on the watcher into the event loop. Unlike
2687C<ev_feed_event>, this call is safe to do from other threads, signal or 2697C<ev_feed_event>, this call is safe to do from other threads, signal or
2688similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding 2698similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding
2689section below on what exactly this means). 2699section below on what exactly this means).
2690 2700
2701Note that, as with other watchers in libev, multiple events might get
2702compressed into a single callback invocation (another way to look at this
2703is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>,
2704reset when the event loop detects that).
2705
2691This call incurs the overhead of a system call only once per loop iteration, 2706This call incurs the overhead of a system call only once per event loop
2692so while the overhead might be noticeable, it doesn't apply to repeated 2707iteration, so while the overhead might be noticeable, it doesn't apply to
2693calls to C<ev_async_send>. 2708repeated calls to C<ev_async_send> for the same event loop.
2694 2709
2695=item bool = ev_async_pending (ev_async *) 2710=item bool = ev_async_pending (ev_async *)
2696 2711
2697Returns a non-zero value when C<ev_async_send> has been called on the 2712Returns a non-zero value when C<ev_async_send> has been called on the
2698watcher but the event has not yet been processed (or even noted) by the 2713watcher but the event has not yet been processed (or even noted) by the
2701C<ev_async_send> sets a flag in the watcher and wakes up the loop. When 2716C<ev_async_send> sets a flag in the watcher and wakes up the loop. When
2702the loop iterates next and checks for the watcher to have become active, 2717the loop iterates next and checks for the watcher to have become active,
2703it will reset the flag again. C<ev_async_pending> can be used to very 2718it will reset the flag again. C<ev_async_pending> can be used to very
2704quickly check whether invoking the loop might be a good idea. 2719quickly check whether invoking the loop might be a good idea.
2705 2720
2706Not that this does I<not> check whether the watcher itself is pending, only 2721Not that this does I<not> check whether the watcher itself is pending,
2707whether it has been requested to make this watcher pending. 2722only whether it has been requested to make this watcher pending: there
2723is a time window between the event loop checking and resetting the async
2724notification, and the callback being invoked.
2708 2725
2709=back 2726=back
2710 2727
2711 2728
2712=head1 OTHER FUNCTIONS 2729=head1 OTHER FUNCTIONS
3016L<http://software.schmorp.de/pkg/EV>. 3033L<http://software.schmorp.de/pkg/EV>.
3017 3034
3018=item Python 3035=item Python
3019 3036
3020Python bindings can be found at L<http://code.google.com/p/pyev/>. It 3037Python bindings can be found at L<http://code.google.com/p/pyev/>. It
3021seems to be quite complete and well-documented. Note, however, that the 3038seems to be quite complete and well-documented.
3022patch they require for libev is outright dangerous as it breaks the ABI
3023for everybody else, and therefore, should never be applied in an installed
3024libev (if python requires an incompatible ABI then it needs to embed
3025libev).
3026 3039
3027=item Ruby 3040=item Ruby
3028 3041
3029Tony Arcieri has written a ruby extension that offers access to a subset 3042Tony Arcieri has written a ruby extension that offers access to a subset
3030of the libev API and adds file handle abstractions, asynchronous DNS and 3043of the libev API and adds file handle abstractions, asynchronous DNS and
3031more on top of it. It can be found via gem servers. Its homepage is at 3044more on top of it. It can be found via gem servers. Its homepage is at
3032L<http://rev.rubyforge.org/>. 3045L<http://rev.rubyforge.org/>.
3033 3046
3034Roger Pack reports that using the link order C<-lws2_32 -lmsvcrt-ruby-190> 3047Roger Pack reports that using the link order C<-lws2_32 -lmsvcrt-ruby-190>
3035makes rev work even on mingw. 3048makes rev work even on mingw.
3049
3050=item Haskell
3051
3052A haskell binding to libev is available at
3053L<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hlibev>.
3036 3054
3037=item D 3055=item D
3038 3056
3039Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to 3057Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to
3040be found at L<http://proj.llucax.com.ar/wiki/evd>. 3058be found at L<http://proj.llucax.com.ar/wiki/evd>.
3233function is hiding in (often F<-lrt>). See also C<EV_USE_CLOCK_SYSCALL>. 3251function is hiding in (often F<-lrt>). See also C<EV_USE_CLOCK_SYSCALL>.
3234 3252
3235=item EV_USE_REALTIME 3253=item EV_USE_REALTIME
3236 3254
3237If defined to be C<1>, libev will try to detect the availability of the 3255If defined to be C<1>, libev will try to detect the availability of the
3238real-time clock option at compile time (and assume its availability at 3256real-time clock option at compile time (and assume its availability
3239runtime if successful). Otherwise no use of the real-time clock option will 3257at runtime if successful). Otherwise no use of the real-time clock
3240be attempted. This effectively replaces C<gettimeofday> by C<clock_get 3258option will be attempted. This effectively replaces C<gettimeofday>
3241(CLOCK_REALTIME, ...)> and will not normally affect correctness. See the 3259by C<clock_get (CLOCK_REALTIME, ...)> and will not normally affect
3242note about libraries in the description of C<EV_USE_MONOTONIC>, though. 3260correctness. See the note about libraries in the description of
3261C<EV_USE_MONOTONIC>, though. Defaults to the opposite value of
3262C<EV_USE_CLOCK_SYSCALL>.
3243 3263
3244=item EV_USE_CLOCK_SYSCALL 3264=item EV_USE_CLOCK_SYSCALL
3245 3265
3246If defined to be C<1>, libev will try to use a direct syscall instead 3266If defined to be C<1>, libev will try to use a direct syscall instead
3247of calling the system-provided C<clock_gettime> function. This option 3267of calling the system-provided C<clock_gettime> function. This option

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines