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.232 by root, Thu Apr 16 06:17:26 2009 UTC

633This function is rarely useful, but when some event callback runs for a 633This function is rarely useful, but when some event callback runs for a
634very long time without entering the event loop, updating libev's idea of 634very long time without entering the event loop, updating libev's idea of
635the current time is a good idea. 635the current time is a good idea.
636 636
637See also "The special problem of time updates" in the C<ev_timer> section. 637See also "The special problem of time updates" in the C<ev_timer> section.
638
639=item ev_suspend (loop)
640
641=item ev_resume (loop)
642
643These two functions suspend and resume a loop, for use when the loop is
644not used for a while and timeouts should not be processed.
645
646A typical use case would be an interactive program such as a game: When
647the user presses C<^Z> to suspend the game and resumes it an hour later it
648would be best to handle timeouts as if no time had actually passed while
649the program was suspended. This can be achieved by calling C<ev_suspend>
650in your C<SIGTSTP> handler, sending yourself a C<SIGSTOP> and calling
651C<ev_resume> directly afterwards to resume timer processing.
652
653Effectively, all C<ev_timer> watchers will be delayed by the time spend
654between C<ev_suspend> and C<ev_resume>, and all C<ev_periodic> watchers
655will be rescheduled (that is, they will lose any events that would have
656occured while suspended).
657
658After calling C<ev_suspend> you B<must not> call I<any> function on the
659given loop other than C<ev_resume>, and you B<must not> call C<ev_resume>
660without a previous call to C<ev_suspend>.
661
662Calling C<ev_suspend>/C<ev_resume> has the side effect of updating the
663event loop time (see C<ev_now_update>).
638 664
639=item ev_loop (loop, int flags) 665=item ev_loop (loop, int flags)
640 666
641Finally, this is it, the event handler. This function usually is called 667Finally, this is it, the event handler. This function usually is called
642after you initialised all your watchers and you want to start handling 668after you initialised all your watchers and you want to start handling
726 752
727If you have a watcher you never unregister that should not keep C<ev_loop> 753If 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 754from returning, call ev_unref() after starting, and ev_ref() before
729stopping it. 755stopping it.
730 756
731As an example, libev itself uses this for its internal signal pipe: It is 757As 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 758is 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 759exiting 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 760excellent way to do this for generic recurring timers or from within
735libraries. Just remember to I<unref after start> and I<ref before stop> 761third-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, 762before stop> (but only if the watcher wasn't active before, or was active
737respectively). 763before, respectively. Note also that libev might stop watchers itself
764(e.g. non-repeating timers) in which case you have to C<ev_ref>
765in the callback).
738 766
739Example: Create a signal watcher, but keep it from keeping C<ev_loop> 767Example: Create a signal watcher, but keep it from keeping C<ev_loop>
740running when nothing else is active. 768running when nothing else is active.
741 769
742 ev_signal exitsig; 770 ev_signal exitsig;
926 954
927=item C<EV_ASYNC> 955=item C<EV_ASYNC>
928 956
929The given async watcher has been asynchronously notified (see C<ev_async>). 957The given async watcher has been asynchronously notified (see C<ev_async>).
930 958
959=item C<EV_CUSTOM>
960
961Not ever sent (or otherwise used) by libev itself, but can be freely used
962by libev users to signal watchers (e.g. via C<ev_feed_event>).
963
931=item C<EV_ERROR> 964=item C<EV_ERROR>
932 965
933An unspecified error has occurred, the watcher has been stopped. This might 966An unspecified error has occurred, the watcher has been stopped. This might
934happen because the watcher could not be properly started because libev 967happen because the watcher could not be properly started because libev
935ran out of memory, a file descriptor was found to be closed or any other 968ran out of memory, a file descriptor was found to be closed or any other
1049Set and query the priority of the watcher. The priority is a small 1082Set and query the priority of the watcher. The priority is a small
1050integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI> 1083integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI>
1051(default: C<-2>). Pending watchers with higher priority will be invoked 1084(default: C<-2>). Pending watchers with higher priority will be invoked
1052before watchers with lower priority, but priority will not keep watchers 1085before watchers with lower priority, but priority will not keep watchers
1053from being executed (except for C<ev_idle> watchers). 1086from being executed (except for C<ev_idle> watchers).
1087
1088See L<
1054 1089
1055This means that priorities are I<only> used for ordering callback 1090This means that priorities are I<only> used for ordering callback
1056invocation after new events have been received. This is useful, for 1091invocation after new events have been received. This is useful, for
1057example, to reduce latency after idling, or more often, to bind two 1092example, to reduce latency after idling, or more often, to bind two
1058watchers on the same event and make sure one is called first. 1093watchers on the same event and make sure one is called first.
1317year, it will still time out after (roughly) one hour. "Roughly" because 1352year, it will still time out after (roughly) one hour. "Roughly" because
1318detecting time jumps is hard, and some inaccuracies are unavoidable (the 1353detecting time jumps is hard, and some inaccuracies are unavoidable (the
1319monotonic clock option helps a lot here). 1354monotonic clock option helps a lot here).
1320 1355
1321The callback is guaranteed to be invoked only I<after> its timeout has 1356The callback is guaranteed to be invoked only I<after> its timeout has
1322passed, but if multiple timers become ready during the same loop iteration 1357passed. If multiple timers become ready during the same loop iteration
1323then order of execution is undefined. 1358then the ones with earlier time-out values are invoked before ones with
1359later time-out values (but this is no longer true when a callback calls
1360C<ev_loop> recursively).
1324 1361
1325=head3 Be smart about timeouts 1362=head3 Be smart about timeouts
1326 1363
1327Many real-world problems involve some kind of timeout, usually for error 1364Many real-world problems involve some kind of timeout, usually for error
1328recovery. A typical example is an HTTP request - if the other side hangs, 1365recovery. A typical example is an HTTP request - if the other side hangs,
1547If the timer is started but non-repeating, stop it (as if it timed out). 1584If the timer is started but non-repeating, stop it (as if it timed out).
1548 1585
1549If the timer is repeating, either start it if necessary (with the 1586If the timer is repeating, either start it if necessary (with the
1550C<repeat> value), or reset the running timer to the C<repeat> value. 1587C<repeat> value), or reset the running timer to the C<repeat> value.
1551 1588
1552This sounds a bit complicated, see "Be smart about timeouts", above, for a 1589This sounds a bit complicated, see L<Be smart about timeouts>, above, for a
1553usage example. 1590usage example.
1554 1591
1555=item ev_tstamp repeat [read-write] 1592=item ev_tstamp repeat [read-write]
1556 1593
1557The current C<repeat> value. Will be used each time the watcher times out 1594The current C<repeat> value. Will be used each time the watcher times out
1596=head2 C<ev_periodic> - to cron or not to cron? 1633=head2 C<ev_periodic> - to cron or not to cron?
1597 1634
1598Periodic watchers are also timers of a kind, but they are very versatile 1635Periodic watchers are also timers of a kind, but they are very versatile
1599(and unfortunately a bit complex). 1636(and unfortunately a bit complex).
1600 1637
1601Unlike C<ev_timer>'s, they are not based on real time (or relative time) 1638Unlike 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 1639relative 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 1640(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 () 1641difference 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 1642time, 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 1643wrist-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 1644
1645You can tell a periodic watcher to trigger after some specific point
1646in time: for example, if you tell a periodic watcher to trigger "in 10
1647seconds" (by specifying e.g. C<ev_now () + 10.>, that is, an absolute time
1648not a delay) and then reset your system clock to January of the previous
1649year, then it will take a year or more to trigger the event (unlike an
1650C<ev_timer>, which would still trigger roughly 10 seconds after starting
1651it, as it uses a relative timeout).
1652
1610C<ev_periodic>s can also be used to implement vastly more complex timers, 1653C<ev_periodic> watchers can also be used to implement vastly more complex
1611such as triggering an event on each "midnight, local time", or other 1654timers, such as triggering an event on each "midnight, local time", or
1612complicated rules. 1655other complicated rules. This cannot be done with C<ev_timer> watchers, as
1656those cannot react to time jumps.
1613 1657
1614As with timers, the callback is guaranteed to be invoked only when the 1658As with timers, the callback is guaranteed to be invoked only when the
1615time (C<at>) has passed, but if multiple periodic timers become ready 1659point in time where it is supposed to trigger has passed. If multiple
1616during the same loop iteration, then order of execution is undefined. 1660timers become ready during the same loop iteration then the ones with
1661earlier time-out values are invoked before ones with later time-out values
1662(but this is no longer true when a callback calls C<ev_loop> recursively).
1617 1663
1618=head3 Watcher-Specific Functions and Data Members 1664=head3 Watcher-Specific Functions and Data Members
1619 1665
1620=over 4 1666=over 4
1621 1667
1622=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) 1668=item ev_periodic_init (ev_periodic *, callback, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1623 1669
1624=item ev_periodic_set (ev_periodic *, ev_tstamp at, ev_tstamp interval, reschedule_cb) 1670=item ev_periodic_set (ev_periodic *, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1625 1671
1626Lots of arguments, lets sort it out... There are basically three modes of 1672Lots of arguments, let's sort it out... There are basically three modes of
1627operation, and we will explain them from simplest to most complex: 1673operation, and we will explain them from simplest to most complex:
1628 1674
1629=over 4 1675=over 4
1630 1676
1631=item * absolute timer (at = time, interval = reschedule_cb = 0) 1677=item * absolute timer (offset = absolute time, interval = 0, reschedule_cb = 0)
1632 1678
1633In this configuration the watcher triggers an event after the wall clock 1679In 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 1680time 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 1681time 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. 1682will be stopped and invoked when the system clock reaches or surpasses
1683this point in time.
1637 1684
1638=item * repeating interval timer (at = offset, interval > 0, reschedule_cb = 0) 1685=item * repeating interval timer (offset = offset within interval, interval > 0, reschedule_cb = 0)
1639 1686
1640In this mode the watcher will always be scheduled to time out at the next 1687In 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) 1688C<offset + N * interval> time (for some integer N, which can also be
1642and then repeat, regardless of any time jumps. 1689negative) and then repeat, regardless of any time jumps. The C<offset>
1690argument is merely an offset into the C<interval> periods.
1643 1691
1644This can be used to create timers that do not drift with respect to the 1692This 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 1693system clock, for example, here is an C<ev_periodic> that triggers each
1646hour, on the hour: 1694hour, on the hour (with respect to UTC):
1647 1695
1648 ev_periodic_set (&periodic, 0., 3600., 0); 1696 ev_periodic_set (&periodic, 0., 3600., 0);
1649 1697
1650This doesn't mean there will always be 3600 seconds in between triggers, 1698This 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 1699but 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 1700full hour (UTC), or more correctly, when the system time is evenly divisible
1653by 3600. 1701by 3600.
1654 1702
1655Another way to think about it (for the mathematically inclined) is that 1703Another 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 1704C<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. 1705time where C<time = offset (mod interval)>, regardless of any time jumps.
1658 1706
1659For numerical stability it is preferable that the C<at> value is near 1707For 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 1708C<ev_now ()> (the current time), but there is no range requirement for
1661this value, and in fact is often specified as zero. 1709this value, and in fact is often specified as zero.
1662 1710
1663Note also that there is an upper limit to how often a timer can fire (CPU 1711Note 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 1712speed 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 1713will 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). 1714millisecond (if the OS supports it and the machine is fast enough).
1667 1715
1668=item * manual reschedule mode (at and interval ignored, reschedule_cb = callback) 1716=item * manual reschedule mode (offset ignored, interval ignored, reschedule_cb = callback)
1669 1717
1670In this mode the values for C<interval> and C<at> are both being 1718In this mode the values for C<interval> and C<offset> are both being
1671ignored. Instead, each time the periodic watcher gets scheduled, the 1719ignored. Instead, each time the periodic watcher gets scheduled, the
1672reschedule callback will be called with the watcher as first, and the 1720reschedule callback will be called with the watcher as first, and the
1673current time as second argument. 1721current time as second argument.
1674 1722
1675NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, 1723NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, ever,
1676ever, or make ANY other event loop modifications whatsoever>. 1724or make ANY other event loop modifications whatsoever, unless explicitly
1725allowed by documentation here>.
1677 1726
1678If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop 1727If 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 1728it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the
1680only event loop modification you are allowed to do). 1729only event loop modification you are allowed to do).
1681 1730
1711a different time than the last time it was called (e.g. in a crond like 1760a different time than the last time it was called (e.g. in a crond like
1712program when the crontabs have changed). 1761program when the crontabs have changed).
1713 1762
1714=item ev_tstamp ev_periodic_at (ev_periodic *) 1763=item ev_tstamp ev_periodic_at (ev_periodic *)
1715 1764
1716When active, returns the absolute time that the watcher is supposed to 1765When active, returns the absolute time that the watcher is supposed
1717trigger next. 1766to trigger next. This is not the same as the C<offset> argument to
1767C<ev_periodic_set>, but indeed works even in interval and manual
1768rescheduling modes.
1718 1769
1719=item ev_tstamp offset [read-write] 1770=item ev_tstamp offset [read-write]
1720 1771
1721When repeating, this contains the offset value, otherwise this is the 1772When repeating, this contains the offset value, otherwise this is the
1722absolute point in time (the C<at> value passed to C<ev_periodic_set>). 1773absolute point in time (the C<offset> value passed to C<ev_periodic_set>,
1774although libev might modify this value for better numerical stability).
1723 1775
1724Can be modified any time, but changes only take effect when the periodic 1776Can be modified any time, but changes only take effect when the periodic
1725timer fires or C<ev_periodic_again> is being called. 1777timer fires or C<ev_periodic_again> is being called.
1726 1778
1727=item ev_tstamp interval [read-write] 1779=item ev_tstamp interval [read-write]
2682an C<EV_ASYNC> event on the watcher into the event loop. Unlike 2734an 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 2735C<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 2736similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding
2685section below on what exactly this means). 2737section below on what exactly this means).
2686 2738
2739Note that, as with other watchers in libev, multiple events might get
2740compressed into a single callback invocation (another way to look at this
2741is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>,
2742reset when the event loop detects that).
2743
2687This call incurs the overhead of a system call only once per loop iteration, 2744This 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 2745iteration, so while the overhead might be noticeable, it doesn't apply to
2689calls to C<ev_async_send>. 2746repeated calls to C<ev_async_send> for the same event loop.
2690 2747
2691=item bool = ev_async_pending (ev_async *) 2748=item bool = ev_async_pending (ev_async *)
2692 2749
2693Returns a non-zero value when C<ev_async_send> has been called on the 2750Returns 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 2751watcher 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 2754C<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, 2755the 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 2756it 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. 2757quickly check whether invoking the loop might be a good idea.
2701 2758
2702Not that this does I<not> check whether the watcher itself is pending, only 2759Not that this does I<not> check whether the watcher itself is pending,
2703whether it has been requested to make this watcher pending. 2760only whether it has been requested to make this watcher pending: there
2761is a time window between the event loop checking and resetting the async
2762notification, and the callback being invoked.
2704 2763
2705=back 2764=back
2706 2765
2707 2766
2708=head1 OTHER FUNCTIONS 2767=head1 OTHER FUNCTIONS
3012L<http://software.schmorp.de/pkg/EV>. 3071L<http://software.schmorp.de/pkg/EV>.
3013 3072
3014=item Python 3073=item Python
3015 3074
3016Python bindings can be found at L<http://code.google.com/p/pyev/>. It 3075Python 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 3076seems 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 3077
3023=item Ruby 3078=item Ruby
3024 3079
3025Tony Arcieri has written a ruby extension that offers access to a subset 3080Tony Arcieri has written a ruby extension that offers access to a subset
3026of the libev API and adds file handle abstractions, asynchronous DNS and 3081of 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 3082more on top of it. It can be found via gem servers. Its homepage is at
3028L<http://rev.rubyforge.org/>. 3083L<http://rev.rubyforge.org/>.
3029 3084
3030Roger Pack reports that using the link order C<-lws2_32 -lmsvcrt-ruby-190> 3085Roger Pack reports that using the link order C<-lws2_32 -lmsvcrt-ruby-190>
3031makes rev work even on mingw. 3086makes rev work even on mingw.
3087
3088=item Haskell
3089
3090A haskell binding to libev is available at
3091L<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hlibev>.
3032 3092
3033=item D 3093=item D
3034 3094
3035Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to 3095Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to
3036be found at L<http://proj.llucax.com.ar/wiki/evd>. 3096be found at L<http://proj.llucax.com.ar/wiki/evd>.

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines