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

Comparing libev/ev.pod (file contents):
Revision 1.226 by root, Wed Mar 4 12:51:37 2009 UTC vs.
Revision 1.229 by root, Wed Apr 15 17:49:27 2009 UTC

726 726
727If you have a watcher you never unregister that should not keep C<ev_loop> 727If you have a watcher you never unregister that should not keep C<ev_loop>
728from returning, call ev_unref() after starting, and ev_ref() before 728from returning, call ev_unref() after starting, and ev_ref() before
729stopping it. 729stopping it.
730 730
731As an example, libev itself uses this for its internal signal pipe: It is 731As an example, libev itself uses this for its internal signal pipe: It
732not visible to the libev user and should not keep C<ev_loop> from exiting 732is not visible to the libev user and should not keep C<ev_loop> from
733if no event watchers registered by it are active. It is also an excellent 733exiting if no event watchers registered by it are active. It is also an
734way to do this for generic recurring timers or from within third-party 734excellent way to do this for generic recurring timers or from within
735libraries. Just remember to I<unref after start> and I<ref before stop> 735third-party libraries. Just remember to I<unref after start> and I<ref
736(but only if the watcher wasn't active before, or was active before, 736before stop> (but only if the watcher wasn't active before, or was active
737respectively). 737before, respectively. Note also that libev might stop watchers itself
738(e.g. non-repeating timers) in which case you have to C<ev_ref>
739in the callback).
738 740
739Example: Create a signal watcher, but keep it from keeping C<ev_loop> 741Example: Create a signal watcher, but keep it from keeping C<ev_loop>
740running when nothing else is active. 742running when nothing else is active.
741 743
742 ev_signal exitsig; 744 ev_signal exitsig;
925C<ev_fork>). 927C<ev_fork>).
926 928
927=item C<EV_ASYNC> 929=item C<EV_ASYNC>
928 930
929The given async watcher has been asynchronously notified (see C<ev_async>). 931The given async watcher has been asynchronously notified (see C<ev_async>).
932
933=item C<EV_CUSTOM>
934
935Not ever sent (or otherwise used) by libev itself, but can be freely used
936by libev users to signal watchers (e.g. via C<ev_feed_event>).
930 937
931=item C<EV_ERROR> 938=item C<EV_ERROR>
932 939
933An unspecified error has occurred, the watcher has been stopped. This might 940An unspecified error has occurred, the watcher has been stopped. This might
934happen because the watcher could not be properly started because libev 941happen because the watcher could not be properly started because libev
1596=head2 C<ev_periodic> - to cron or not to cron? 1603=head2 C<ev_periodic> - to cron or not to cron?
1597 1604
1598Periodic watchers are also timers of a kind, but they are very versatile 1605Periodic watchers are also timers of a kind, but they are very versatile
1599(and unfortunately a bit complex). 1606(and unfortunately a bit complex).
1600 1607
1601Unlike C<ev_timer>'s, they are not based on real time (or relative time) 1608Unlike 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 1609relative 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 1610(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 () 1611difference 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 1612time, 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 1613wrist-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 1614
1615You can tell a periodic watcher to trigger after some specific point
1616in time: for example, if you tell a periodic watcher to trigger "in 10
1617seconds" (by specifying e.g. C<ev_now () + 10.>, that is, an absolute time
1618not a delay) and then reset your system clock to January of the previous
1619year, then it will take a year or more to trigger the event (unlike an
1620C<ev_timer>, which would still trigger roughly 10 seconds after starting
1621it, as it uses a relative timeout).
1622
1610C<ev_periodic>s can also be used to implement vastly more complex timers, 1623C<ev_periodic> watchers can also be used to implement vastly more complex
1611such as triggering an event on each "midnight, local time", or other 1624timers, such as triggering an event on each "midnight, local time", or
1612complicated rules. 1625other complicated rules. This cannot be done with C<ev_timer> watchers, as
1626those cannot react to time jumps.
1613 1627
1614As with timers, the callback is guaranteed to be invoked only when the 1628As with timers, the callback is guaranteed to be invoked only when the
1615time (C<at>) has passed, but if multiple periodic timers become ready 1629point in time where it is supposed to trigger has passed, but if multiple
1616during the same loop iteration, then order of execution is undefined. 1630periodic timers become ready during the same loop iteration, then order of
1631execution is undefined.
1617 1632
1618=head3 Watcher-Specific Functions and Data Members 1633=head3 Watcher-Specific Functions and Data Members
1619 1634
1620=over 4 1635=over 4
1621 1636
1622=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) 1637=item ev_periodic_init (ev_periodic *, callback, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1623 1638
1624=item ev_periodic_set (ev_periodic *, ev_tstamp at, ev_tstamp interval, reschedule_cb) 1639=item ev_periodic_set (ev_periodic *, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1625 1640
1626Lots of arguments, lets sort it out... There are basically three modes of 1641Lots of arguments, let's sort it out... There are basically three modes of
1627operation, and we will explain them from simplest to most complex: 1642operation, and we will explain them from simplest to most complex:
1628 1643
1629=over 4 1644=over 4
1630 1645
1631=item * absolute timer (at = time, interval = reschedule_cb = 0) 1646=item * absolute timer (offset = absolute time, interval = 0, reschedule_cb = 0)
1632 1647
1633In this configuration the watcher triggers an event after the wall clock 1648In 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 1649time 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 1650time 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. 1651will be stopped and invoked when the system clock reaches or surpasses
1652this point in time.
1637 1653
1638=item * repeating interval timer (at = offset, interval > 0, reschedule_cb = 0) 1654=item * repeating interval timer (offset = offset within interval, interval > 0, reschedule_cb = 0)
1639 1655
1640In this mode the watcher will always be scheduled to time out at the next 1656In 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) 1657C<offset + N * interval> time (for some integer N, which can also be
1642and then repeat, regardless of any time jumps. 1658negative) and then repeat, regardless of any time jumps. The C<offset>
1659argument is merely an offset into the C<interval> periods.
1643 1660
1644This can be used to create timers that do not drift with respect to the 1661This 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 1662system clock, for example, here is an C<ev_periodic> that triggers each
1646hour, on the hour: 1663hour, on the hour (with respect to UTC):
1647 1664
1648 ev_periodic_set (&periodic, 0., 3600., 0); 1665 ev_periodic_set (&periodic, 0., 3600., 0);
1649 1666
1650This doesn't mean there will always be 3600 seconds in between triggers, 1667This 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 1668but 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 1669full hour (UTC), or more correctly, when the system time is evenly divisible
1653by 3600. 1670by 3600.
1654 1671
1655Another way to think about it (for the mathematically inclined) is that 1672Another 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 1673C<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. 1674time where C<time = offset (mod interval)>, regardless of any time jumps.
1658 1675
1659For numerical stability it is preferable that the C<at> value is near 1676For 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 1677C<ev_now ()> (the current time), but there is no range requirement for
1661this value, and in fact is often specified as zero. 1678this value, and in fact is often specified as zero.
1662 1679
1663Note also that there is an upper limit to how often a timer can fire (CPU 1680Note 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 1681speed 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 1682will 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). 1683millisecond (if the OS supports it and the machine is fast enough).
1667 1684
1668=item * manual reschedule mode (at and interval ignored, reschedule_cb = callback) 1685=item * manual reschedule mode (offset ignored, interval ignored, reschedule_cb = callback)
1669 1686
1670In this mode the values for C<interval> and C<at> are both being 1687In this mode the values for C<interval> and C<offset> are both being
1671ignored. Instead, each time the periodic watcher gets scheduled, the 1688ignored. Instead, each time the periodic watcher gets scheduled, the
1672reschedule callback will be called with the watcher as first, and the 1689reschedule callback will be called with the watcher as first, and the
1673current time as second argument. 1690current time as second argument.
1674 1691
1675NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, 1692NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, ever,
1676ever, or make ANY other event loop modifications whatsoever>. 1693or make ANY other event loop modifications whatsoever, unless explicitly
1694allowed by documentation here>.
1677 1695
1678If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop 1696If 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 1697it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the
1680only event loop modification you are allowed to do). 1698only event loop modification you are allowed to do).
1681 1699
1711a different time than the last time it was called (e.g. in a crond like 1729a different time than the last time it was called (e.g. in a crond like
1712program when the crontabs have changed). 1730program when the crontabs have changed).
1713 1731
1714=item ev_tstamp ev_periodic_at (ev_periodic *) 1732=item ev_tstamp ev_periodic_at (ev_periodic *)
1715 1733
1716When active, returns the absolute time that the watcher is supposed to 1734When active, returns the absolute time that the watcher is supposed
1717trigger next. 1735to trigger next. This is not the same as the C<offset> argument to
1736C<ev_periodic_set>, but indeed works even in interval and manual
1737rescheduling modes.
1718 1738
1719=item ev_tstamp offset [read-write] 1739=item ev_tstamp offset [read-write]
1720 1740
1721When repeating, this contains the offset value, otherwise this is the 1741When repeating, this contains the offset value, otherwise this is the
1722absolute point in time (the C<at> value passed to C<ev_periodic_set>). 1742absolute point in time (the C<offset> value passed to C<ev_periodic_set>,
1743although libev might modify this value for better numerical stability).
1723 1744
1724Can be modified any time, but changes only take effect when the periodic 1745Can be modified any time, but changes only take effect when the periodic
1725timer fires or C<ev_periodic_again> is being called. 1746timer fires or C<ev_periodic_again> is being called.
1726 1747
1727=item ev_tstamp interval [read-write] 1748=item ev_tstamp interval [read-write]
2682an C<EV_ASYNC> event on the watcher into the event loop. Unlike 2703an C<EV_ASYNC> event on the watcher into the event loop. Unlike
2683C<ev_feed_event>, this call is safe to do from other threads, signal or 2704C<ev_feed_event>, this call is safe to do from other threads, signal or
2684similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding 2705similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding
2685section below on what exactly this means). 2706section below on what exactly this means).
2686 2707
2708Note that, as with other watchers in libev, multiple events might get
2709compressed into a single callback invocation (another way to look at this
2710is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>,
2711reset when the event loop detects that).
2712
2687This call incurs the overhead of a system call only once per loop iteration, 2713This call incurs the overhead of a system call only once per event loop
2688so while the overhead might be noticeable, it doesn't apply to repeated 2714iteration, so while the overhead might be noticeable, it doesn't apply to
2689calls to C<ev_async_send>. 2715repeated calls to C<ev_async_send> for the same event loop.
2690 2716
2691=item bool = ev_async_pending (ev_async *) 2717=item bool = ev_async_pending (ev_async *)
2692 2718
2693Returns a non-zero value when C<ev_async_send> has been called on the 2719Returns a non-zero value when C<ev_async_send> has been called on the
2694watcher but the event has not yet been processed (or even noted) by the 2720watcher but the event has not yet been processed (or even noted) by the
2697C<ev_async_send> sets a flag in the watcher and wakes up the loop. When 2723C<ev_async_send> sets a flag in the watcher and wakes up the loop. When
2698the loop iterates next and checks for the watcher to have become active, 2724the loop iterates next and checks for the watcher to have become active,
2699it will reset the flag again. C<ev_async_pending> can be used to very 2725it will reset the flag again. C<ev_async_pending> can be used to very
2700quickly check whether invoking the loop might be a good idea. 2726quickly check whether invoking the loop might be a good idea.
2701 2727
2702Not that this does I<not> check whether the watcher itself is pending, only 2728Not that this does I<not> check whether the watcher itself is pending,
2703whether it has been requested to make this watcher pending. 2729only whether it has been requested to make this watcher pending: there
2730is a time window between the event loop checking and resetting the async
2731notification, and the callback being invoked.
2704 2732
2705=back 2733=back
2706 2734
2707 2735
2708=head1 OTHER FUNCTIONS 2736=head1 OTHER FUNCTIONS
3012L<http://software.schmorp.de/pkg/EV>. 3040L<http://software.schmorp.de/pkg/EV>.
3013 3041
3014=item Python 3042=item Python
3015 3043
3016Python bindings can be found at L<http://code.google.com/p/pyev/>. It 3044Python bindings can be found at L<http://code.google.com/p/pyev/>. It
3017seems to be quite complete and well-documented. Note, however, that the 3045seems to be quite complete and well-documented.
3018patch they require for libev is outright dangerous as it breaks the ABI
3019for everybody else, and therefore, should never be applied in an installed
3020libev (if python requires an incompatible ABI then it needs to embed
3021libev).
3022 3046
3023=item Ruby 3047=item Ruby
3024 3048
3025Tony Arcieri has written a ruby extension that offers access to a subset 3049Tony Arcieri has written a ruby extension that offers access to a subset
3026of the libev API and adds file handle abstractions, asynchronous DNS and 3050of the libev API and adds file handle abstractions, asynchronous DNS and
3027more on top of it. It can be found via gem servers. Its homepage is at 3051more on top of it. It can be found via gem servers. Its homepage is at
3028L<http://rev.rubyforge.org/>. 3052L<http://rev.rubyforge.org/>.
3029 3053
3030Roger Pack reports that using the link order C<-lws2_32 -lmsvcrt-ruby-190> 3054Roger Pack reports that using the link order C<-lws2_32 -lmsvcrt-ruby-190>
3031makes rev work even on mingw. 3055makes rev work even on mingw.
3056
3057=item Haskell
3058
3059A haskell binding to libev is available at
3060L<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hlibev>.
3032 3061
3033=item D 3062=item D
3034 3063
3035Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to 3064Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to
3036be found at L<http://proj.llucax.com.ar/wiki/evd>. 3065be found at L<http://proj.llucax.com.ar/wiki/evd>.

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines