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

Comparing libev/ev.pod (file contents):
Revision 1.215 by root, Wed Nov 5 21:44:21 2008 UTC vs.
Revision 1.236 by root, Thu Apr 16 07:56:05 2009 UTC

8 8
9=head2 EXAMPLE PROGRAM 9=head2 EXAMPLE PROGRAM
10 10
11 // a single header file is required 11 // a single header file is required
12 #include <ev.h> 12 #include <ev.h>
13
14 #include <stdio.h> // for puts
13 15
14 // every watcher type has its own typedef'd struct 16 // every watcher type has its own typedef'd struct
15 // with the name ev_TYPE 17 // with the name ev_TYPE
16 ev_io stdin_watcher; 18 ev_io stdin_watcher;
17 ev_timer timeout_watcher; 19 ev_timer timeout_watcher;
41 43
42 int 44 int
43 main (void) 45 main (void)
44 { 46 {
45 // use the default event loop unless you have special needs 47 // use the default event loop unless you have special needs
46 ev_loop *loop = ev_default_loop (0); 48 struct ev_loop *loop = ev_default_loop (0);
47 49
48 // initialise an io watcher, then start it 50 // initialise an io watcher, then start it
49 // this one will watch for stdin to become readable 51 // this one will watch for stdin to become readable
50 ev_io_init (&stdin_watcher, stdin_cb, /*STDIN_FILENO*/ 0, EV_READ); 52 ev_io_init (&stdin_watcher, stdin_cb, /*STDIN_FILENO*/ 0, EV_READ);
51 ev_io_start (loop, &stdin_watcher); 53 ev_io_start (loop, &stdin_watcher);
60 62
61 // unloop was called, so exit 63 // unloop was called, so exit
62 return 0; 64 return 0;
63 } 65 }
64 66
65=head1 DESCRIPTION 67=head1 ABOUT THIS DOCUMENT
68
69This document documents the libev software package.
66 70
67The newest version of this document is also available as an html-formatted 71The newest version of this document is also available as an html-formatted
68web page you might find easier to navigate when reading it for the first 72web page you might find easier to navigate when reading it for the first
69time: L<http://pod.tst.eu/http://cvs.schmorp.de/libev/ev.pod>. 73time: L<http://pod.tst.eu/http://cvs.schmorp.de/libev/ev.pod>.
74
75While this document tries to be as complete as possible in documenting
76libev, its usage and the rationale behind its design, it is not a tutorial
77on event-based programming, nor will it introduce event-based programming
78with libev.
79
80Familarity with event based programming techniques in general is assumed
81throughout this document.
82
83=head1 ABOUT LIBEV
70 84
71Libev is an event loop: you register interest in certain events (such as a 85Libev is an event loop: you register interest in certain events (such as a
72file descriptor being readable or a timeout occurring), and it will manage 86file descriptor being readable or a timeout occurring), and it will manage
73these event sources and provide your program with events. 87these event sources and provide your program with events.
74 88
458 472
459While nominally embeddable in other event loops, this doesn't work 473While nominally embeddable in other event loops, this doesn't work
460everywhere, so you might need to test for this. And since it is broken 474everywhere, so you might need to test for this. And since it is broken
461almost everywhere, you should only use it when you have a lot of sockets 475almost everywhere, you should only use it when you have a lot of sockets
462(for which it usually works), by embedding it into another event loop 476(for which it usually works), by embedding it into another event loop
463(e.g. C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>) and, did I mention it, 477(e.g. C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> (but C<poll> is of course
464using it only for sockets. 478also broken on OS X)) and, did I mention it, using it only for sockets.
465 479
466This backend maps C<EV_READ> into an C<EVFILT_READ> kevent with 480This backend maps C<EV_READ> into an C<EVFILT_READ> kevent with
467C<NOTE_EOF>, and C<EV_WRITE> into an C<EVFILT_WRITE> kevent with 481C<NOTE_EOF>, and C<EV_WRITE> into an C<EVFILT_WRITE> kevent with
468C<NOTE_EOF>. 482C<NOTE_EOF>.
469 483
631This function is rarely useful, but when some event callback runs for a 645This function is rarely useful, but when some event callback runs for a
632very long time without entering the event loop, updating libev's idea of 646very long time without entering the event loop, updating libev's idea of
633the current time is a good idea. 647the current time is a good idea.
634 648
635See also "The special problem of time updates" in the C<ev_timer> section. 649See also "The special problem of time updates" in the C<ev_timer> section.
650
651=item ev_suspend (loop)
652
653=item ev_resume (loop)
654
655These two functions suspend and resume a loop, for use when the loop is
656not used for a while and timeouts should not be processed.
657
658A typical use case would be an interactive program such as a game: When
659the user presses C<^Z> to suspend the game and resumes it an hour later it
660would be best to handle timeouts as if no time had actually passed while
661the program was suspended. This can be achieved by calling C<ev_suspend>
662in your C<SIGTSTP> handler, sending yourself a C<SIGSTOP> and calling
663C<ev_resume> directly afterwards to resume timer processing.
664
665Effectively, all C<ev_timer> watchers will be delayed by the time spend
666between C<ev_suspend> and C<ev_resume>, and all C<ev_periodic> watchers
667will be rescheduled (that is, they will lose any events that would have
668occured while suspended).
669
670After calling C<ev_suspend> you B<must not> call I<any> function on the
671given loop other than C<ev_resume>, and you B<must not> call C<ev_resume>
672without a previous call to C<ev_suspend>.
673
674Calling C<ev_suspend>/C<ev_resume> has the side effect of updating the
675event loop time (see C<ev_now_update>).
636 676
637=item ev_loop (loop, int flags) 677=item ev_loop (loop, int flags)
638 678
639Finally, this is it, the event handler. This function usually is called 679Finally, this is it, the event handler. This function usually is called
640after you initialised all your watchers and you want to start handling 680after you initialised all your watchers and you want to start handling
724 764
725If you have a watcher you never unregister that should not keep C<ev_loop> 765If you have a watcher you never unregister that should not keep C<ev_loop>
726from returning, call ev_unref() after starting, and ev_ref() before 766from returning, call ev_unref() after starting, and ev_ref() before
727stopping it. 767stopping it.
728 768
729As an example, libev itself uses this for its internal signal pipe: It is 769As an example, libev itself uses this for its internal signal pipe: It
730not visible to the libev user and should not keep C<ev_loop> from exiting 770is not visible to the libev user and should not keep C<ev_loop> from
731if no event watchers registered by it are active. It is also an excellent 771exiting if no event watchers registered by it are active. It is also an
732way to do this for generic recurring timers or from within third-party 772excellent way to do this for generic recurring timers or from within
733libraries. Just remember to I<unref after start> and I<ref before stop> 773third-party libraries. Just remember to I<unref after start> and I<ref
734(but only if the watcher wasn't active before, or was active before, 774before stop> (but only if the watcher wasn't active before, or was active
735respectively). 775before, respectively. Note also that libev might stop watchers itself
776(e.g. non-repeating timers) in which case you have to C<ev_ref>
777in the callback).
736 778
737Example: Create a signal watcher, but keep it from keeping C<ev_loop> 779Example: Create a signal watcher, but keep it from keeping C<ev_loop>
738running when nothing else is active. 780running when nothing else is active.
739 781
740 ev_signal exitsig; 782 ev_signal exitsig;
924 966
925=item C<EV_ASYNC> 967=item C<EV_ASYNC>
926 968
927The given async watcher has been asynchronously notified (see C<ev_async>). 969The given async watcher has been asynchronously notified (see C<ev_async>).
928 970
971=item C<EV_CUSTOM>
972
973Not ever sent (or otherwise used) by libev itself, but can be freely used
974by libev users to signal watchers (e.g. via C<ev_feed_event>).
975
929=item C<EV_ERROR> 976=item C<EV_ERROR>
930 977
931An unspecified error has occurred, the watcher has been stopped. This might 978An unspecified error has occurred, the watcher has been stopped. This might
932happen because the watcher could not be properly started because libev 979happen because the watcher could not be properly started because libev
933ran out of memory, a file descriptor was found to be closed or any other 980ran out of memory, a file descriptor was found to be closed or any other
1048integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI> 1095integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI>
1049(default: C<-2>). Pending watchers with higher priority will be invoked 1096(default: C<-2>). Pending watchers with higher priority will be invoked
1050before watchers with lower priority, but priority will not keep watchers 1097before watchers with lower priority, but priority will not keep watchers
1051from being executed (except for C<ev_idle> watchers). 1098from being executed (except for C<ev_idle> watchers).
1052 1099
1053This means that priorities are I<only> used for ordering callback
1054invocation after new events have been received. This is useful, for
1055example, to reduce latency after idling, or more often, to bind two
1056watchers on the same event and make sure one is called first.
1057
1058If you need to suppress invocation when higher priority events are pending 1100If you need to suppress invocation when higher priority events are pending
1059you need to look at C<ev_idle> watchers, which provide this functionality. 1101you need to look at C<ev_idle> watchers, which provide this functionality.
1060 1102
1061You I<must not> change the priority of a watcher as long as it is active or 1103You I<must not> change the priority of a watcher as long as it is active or
1062pending. 1104pending.
1063
1064The default priority used by watchers when no priority has been set is
1065always C<0>, which is supposed to not be too high and not be too low :).
1066 1105
1067Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is 1106Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is
1068fine, as long as you do not mind that the priority value you query might 1107fine, as long as you do not mind that the priority value you query might
1069or might not have been clamped to the valid range. 1108or might not have been clamped to the valid range.
1109
1110The default priority used by watchers when no priority has been set is
1111always C<0>, which is supposed to not be too high and not be too low :).
1112
1113See L<WATCHER PRIORITY MODELS>, below, for a more thorough treatment of
1114priorities.
1070 1115
1071=item ev_invoke (loop, ev_TYPE *watcher, int revents) 1116=item ev_invoke (loop, ev_TYPE *watcher, int revents)
1072 1117
1073Invoke the C<watcher> with the given C<loop> and C<revents>. Neither 1118Invoke the C<watcher> with the given C<loop> and C<revents>. Neither
1074C<loop> nor C<revents> need to be valid as long as the watcher callback 1119C<loop> nor C<revents> need to be valid as long as the watcher callback
1149 t2_cb (EV_P_ ev_timer *w, int revents) 1194 t2_cb (EV_P_ ev_timer *w, int revents)
1150 { 1195 {
1151 struct my_biggy big = (struct my_biggy * 1196 struct my_biggy big = (struct my_biggy *
1152 (((char *)w) - offsetof (struct my_biggy, t2)); 1197 (((char *)w) - offsetof (struct my_biggy, t2));
1153 } 1198 }
1199
1200=head2 WATCHER PRIORITY MODELS
1201
1202Many event loops support I<watcher priorities>, which are usually small
1203integers that influence the ordering of event callback invocation
1204between watchers in some way, all else being equal.
1205
1206In libev, Watcher priorities can be set using C<ev_set_priority>. See its
1207description for the more technical details such as the actual priority
1208range.
1209
1210There are two common ways how these these priorities are being interpreted
1211by event loops:
1212
1213In the more common lock-out model, higher priorities "lock out" invocation
1214of lower priority watchers, which means as long as higher priority
1215watchers receive events, lower priority watchers are not being invoked.
1216
1217The less common only-for-ordering model uses priorities solely to order
1218callback invocation within a single event loop iteration: Higher priority
1219watchers are invoked before lower priority ones, but they all get invoked
1220before polling for new events.
1221
1222Libev uses the second (only-for-ordering) model for all its watchers
1223except for idle watchers (which use the lock-out model).
1224
1225The rationale behind this is that implementing the lock-out model for
1226watchers is not well supported by most kernel interfaces, and most event
1227libraries will just poll for the same events again and again as long as
1228their callbacks have not been executed, which is very inefficient in the
1229common case of one high-priority watcher locking out a mass of lower
1230priority ones.
1231
1232Static (ordering) priorities are most useful when you have two or more
1233watchers handling the same resource: a typical usage example is having an
1234C<ev_io> watcher to receive data, and an associated C<ev_timer> to handle
1235timeouts. Under load, data might be received while the program handles
1236other jobs, but since timers normally get invoked first, the timeout
1237handler will be executed before checking for data. In that case, giving
1238the timer a lower priority than the I/O watcher ensures that I/O will be
1239handled first even under adverse conditions (which is usually, but not
1240always, what you want).
1241
1242Since idle watchers use the "lock-out" model, meaning that idle watchers
1243will only be executed when no same or higher priority watchers have
1244received events, they can be used to implement the "lock-out" model when
1245required.
1246
1247For example, to emulate how many other event libraries handle priorities,
1248you can associate an C<ev_idle> watcher to each such watcher, and in
1249the normal watcher callback, you just start the idle watcher. The real
1250processing is done in the idle watcher callback. This causes libev to
1251continously poll and process kernel event data for the watcher, but when
1252the lock-out case is known to be rare (which in turn is rare :), this is
1253workable.
1254
1255Usually, however, the lock-out model implemented that way will perform
1256miserably under the type of load it was designed to handle. In that case,
1257it might be preferable to stop the real watcher before starting the
1258idle watcher, so the kernel will not have to process the event in case
1259the actual processing will be delayed for considerable time.
1260
1261Here is an example of an I/O watcher that should run at a strictly lower
1262priority than the default, and which should only process data when no
1263other events are pending:
1264
1265 ev_idle idle; // actual processing watcher
1266 ev_io io; // actual event watcher
1267
1268 static void
1269 io_cb (EV_P_ ev_io *w, int revents)
1270 {
1271 // stop the I/O watcher, we received the event, but
1272 // are not yet ready to handle it.
1273 ev_io_stop (EV_A_ w);
1274
1275 // start the idle watcher to ahndle the actual event.
1276 // it will not be executed as long as other watchers
1277 // with the default priority are receiving events.
1278 ev_idle_start (EV_A_ &idle);
1279 }
1280
1281 static void
1282 idle-cb (EV_P_ ev_idle *w, int revents)
1283 {
1284 // actual processing
1285 read (STDIN_FILENO, ...);
1286
1287 // have to start the I/O watcher again, as
1288 // we have handled the event
1289 ev_io_start (EV_P_ &io);
1290 }
1291
1292 // initialisation
1293 ev_idle_init (&idle, idle_cb);
1294 ev_io_init (&io, io_cb, STDIN_FILENO, EV_READ);
1295 ev_io_start (EV_DEFAULT_ &io);
1296
1297In the "real" world, it might also be beneficial to start a timer, so that
1298low-priority connections can not be locked out forever under load. This
1299enables your program to keep a lower latency for important connections
1300during short periods of high load, while not completely locking out less
1301important ones.
1154 1302
1155 1303
1156=head1 WATCHER TYPES 1304=head1 WATCHER TYPES
1157 1305
1158This section describes each watcher in detail, but will not repeat 1306This section describes each watcher in detail, but will not repeat
1315year, it will still time out after (roughly) one hour. "Roughly" because 1463year, it will still time out after (roughly) one hour. "Roughly" because
1316detecting time jumps is hard, and some inaccuracies are unavoidable (the 1464detecting time jumps is hard, and some inaccuracies are unavoidable (the
1317monotonic clock option helps a lot here). 1465monotonic clock option helps a lot here).
1318 1466
1319The callback is guaranteed to be invoked only I<after> its timeout has 1467The callback is guaranteed to be invoked only I<after> its timeout has
1320passed, but if multiple timers become ready during the same loop iteration 1468passed. If multiple timers become ready during the same loop iteration
1321then order of execution is undefined. 1469then the ones with earlier time-out values are invoked before ones with
1470later time-out values (but this is no longer true when a callback calls
1471C<ev_loop> recursively).
1322 1472
1323=head3 Be smart about timeouts 1473=head3 Be smart about timeouts
1324 1474
1325Many real-world problems involve some kind of timeout, usually for error 1475Many real-world problems involve some kind of timeout, usually for error
1326recovery. A typical example is an HTTP request - if the other side hangs, 1476recovery. A typical example is an HTTP request - if the other side hangs,
1419 else 1569 else
1420 { 1570 {
1421 // callback was invoked, but there was some activity, re-arm 1571 // callback was invoked, but there was some activity, re-arm
1422 // the watcher to fire in last_activity + 60, which is 1572 // the watcher to fire in last_activity + 60, which is
1423 // guaranteed to be in the future, so "again" is positive: 1573 // guaranteed to be in the future, so "again" is positive:
1424 w->again = timeout - now; 1574 w->repeat = timeout - now;
1425 ev_timer_again (EV_A_ w); 1575 ev_timer_again (EV_A_ w);
1426 } 1576 }
1427 } 1577 }
1428 1578
1429To summarise the callback: first calculate the real timeout (defined 1579To summarise the callback: first calculate the real timeout (defined
1545If the timer is started but non-repeating, stop it (as if it timed out). 1695If the timer is started but non-repeating, stop it (as if it timed out).
1546 1696
1547If the timer is repeating, either start it if necessary (with the 1697If the timer is repeating, either start it if necessary (with the
1548C<repeat> value), or reset the running timer to the C<repeat> value. 1698C<repeat> value), or reset the running timer to the C<repeat> value.
1549 1699
1550This sounds a bit complicated, see "Be smart about timeouts", above, for a 1700This sounds a bit complicated, see L<Be smart about timeouts>, above, for a
1551usage example. 1701usage example.
1552 1702
1553=item ev_tstamp repeat [read-write] 1703=item ev_tstamp repeat [read-write]
1554 1704
1555The current C<repeat> value. Will be used each time the watcher times out 1705The current C<repeat> value. Will be used each time the watcher times out
1594=head2 C<ev_periodic> - to cron or not to cron? 1744=head2 C<ev_periodic> - to cron or not to cron?
1595 1745
1596Periodic watchers are also timers of a kind, but they are very versatile 1746Periodic watchers are also timers of a kind, but they are very versatile
1597(and unfortunately a bit complex). 1747(and unfortunately a bit complex).
1598 1748
1599Unlike C<ev_timer>'s, they are not based on real time (or relative time) 1749Unlike C<ev_timer>, periodic watchers are not based on real time (or
1600but on wall clock time (absolute time). You can tell a periodic watcher 1750relative time, the physical time that passes) but on wall clock time
1601to trigger after some specific point in time. For example, if you tell a 1751(absolute time, the thing you can read on your calender or clock). The
1602periodic watcher to trigger in 10 seconds (by specifying e.g. C<ev_now () 1752difference is that wall clock time can run faster or slower than real
1603+ 10.>, that is, an absolute time not a delay) and then reset your system 1753time, and time jumps are not uncommon (e.g. when you adjust your
1604clock to January of the previous year, then it will take more than year 1754wrist-watch).
1605to trigger the event (unlike an C<ev_timer>, which would still trigger
1606roughly 10 seconds later as it uses a relative timeout).
1607 1755
1756You can tell a periodic watcher to trigger after some specific point
1757in time: for example, if you tell a periodic watcher to trigger "in 10
1758seconds" (by specifying e.g. C<ev_now () + 10.>, that is, an absolute time
1759not a delay) and then reset your system clock to January of the previous
1760year, then it will take a year or more to trigger the event (unlike an
1761C<ev_timer>, which would still trigger roughly 10 seconds after starting
1762it, as it uses a relative timeout).
1763
1608C<ev_periodic>s can also be used to implement vastly more complex timers, 1764C<ev_periodic> watchers can also be used to implement vastly more complex
1609such as triggering an event on each "midnight, local time", or other 1765timers, such as triggering an event on each "midnight, local time", or
1610complicated rules. 1766other complicated rules. This cannot be done with C<ev_timer> watchers, as
1767those cannot react to time jumps.
1611 1768
1612As with timers, the callback is guaranteed to be invoked only when the 1769As with timers, the callback is guaranteed to be invoked only when the
1613time (C<at>) has passed, but if multiple periodic timers become ready 1770point in time where it is supposed to trigger has passed. If multiple
1614during the same loop iteration, then order of execution is undefined. 1771timers become ready during the same loop iteration then the ones with
1772earlier time-out values are invoked before ones with later time-out values
1773(but this is no longer true when a callback calls C<ev_loop> recursively).
1615 1774
1616=head3 Watcher-Specific Functions and Data Members 1775=head3 Watcher-Specific Functions and Data Members
1617 1776
1618=over 4 1777=over 4
1619 1778
1620=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) 1779=item ev_periodic_init (ev_periodic *, callback, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1621 1780
1622=item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb) 1781=item ev_periodic_set (ev_periodic *, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1623 1782
1624Lots of arguments, lets sort it out... There are basically three modes of 1783Lots of arguments, let's sort it out... There are basically three modes of
1625operation, and we will explain them from simplest to most complex: 1784operation, and we will explain them from simplest to most complex:
1626 1785
1627=over 4 1786=over 4
1628 1787
1629=item * absolute timer (at = time, interval = reschedule_cb = 0) 1788=item * absolute timer (offset = absolute time, interval = 0, reschedule_cb = 0)
1630 1789
1631In this configuration the watcher triggers an event after the wall clock 1790In this configuration the watcher triggers an event after the wall clock
1632time C<at> has passed. It will not repeat and will not adjust when a time 1791time C<offset> has passed. It will not repeat and will not adjust when a
1633jump occurs, that is, if it is to be run at January 1st 2011 then it will 1792time jump occurs, that is, if it is to be run at January 1st 2011 then it
1634only run when the system clock reaches or surpasses this time. 1793will be stopped and invoked when the system clock reaches or surpasses
1794this point in time.
1635 1795
1636=item * repeating interval timer (at = offset, interval > 0, reschedule_cb = 0) 1796=item * repeating interval timer (offset = offset within interval, interval > 0, reschedule_cb = 0)
1637 1797
1638In this mode the watcher will always be scheduled to time out at the next 1798In this mode the watcher will always be scheduled to time out at the next
1639C<at + N * interval> time (for some integer N, which can also be negative) 1799C<offset + N * interval> time (for some integer N, which can also be
1640and then repeat, regardless of any time jumps. 1800negative) and then repeat, regardless of any time jumps. The C<offset>
1801argument is merely an offset into the C<interval> periods.
1641 1802
1642This can be used to create timers that do not drift with respect to the 1803This can be used to create timers that do not drift with respect to the
1643system clock, for example, here is a C<ev_periodic> that triggers each 1804system clock, for example, here is an C<ev_periodic> that triggers each
1644hour, on the hour: 1805hour, on the hour (with respect to UTC):
1645 1806
1646 ev_periodic_set (&periodic, 0., 3600., 0); 1807 ev_periodic_set (&periodic, 0., 3600., 0);
1647 1808
1648This doesn't mean there will always be 3600 seconds in between triggers, 1809This doesn't mean there will always be 3600 seconds in between triggers,
1649but only that the callback will be called when the system time shows a 1810but only that the callback will be called when the system time shows a
1650full hour (UTC), or more correctly, when the system time is evenly divisible 1811full hour (UTC), or more correctly, when the system time is evenly divisible
1651by 3600. 1812by 3600.
1652 1813
1653Another way to think about it (for the mathematically inclined) is that 1814Another way to think about it (for the mathematically inclined) is that
1654C<ev_periodic> will try to run the callback in this mode at the next possible 1815C<ev_periodic> will try to run the callback in this mode at the next possible
1655time where C<time = at (mod interval)>, regardless of any time jumps. 1816time where C<time = offset (mod interval)>, regardless of any time jumps.
1656 1817
1657For numerical stability it is preferable that the C<at> value is near 1818For numerical stability it is preferable that the C<offset> value is near
1658C<ev_now ()> (the current time), but there is no range requirement for 1819C<ev_now ()> (the current time), but there is no range requirement for
1659this value, and in fact is often specified as zero. 1820this value, and in fact is often specified as zero.
1660 1821
1661Note also that there is an upper limit to how often a timer can fire (CPU 1822Note also that there is an upper limit to how often a timer can fire (CPU
1662speed for example), so if C<interval> is very small then timing stability 1823speed for example), so if C<interval> is very small then timing stability
1663will of course deteriorate. Libev itself tries to be exact to be about one 1824will of course deteriorate. Libev itself tries to be exact to be about one
1664millisecond (if the OS supports it and the machine is fast enough). 1825millisecond (if the OS supports it and the machine is fast enough).
1665 1826
1666=item * manual reschedule mode (at and interval ignored, reschedule_cb = callback) 1827=item * manual reschedule mode (offset ignored, interval ignored, reschedule_cb = callback)
1667 1828
1668In this mode the values for C<interval> and C<at> are both being 1829In this mode the values for C<interval> and C<offset> are both being
1669ignored. Instead, each time the periodic watcher gets scheduled, the 1830ignored. Instead, each time the periodic watcher gets scheduled, the
1670reschedule callback will be called with the watcher as first, and the 1831reschedule callback will be called with the watcher as first, and the
1671current time as second argument. 1832current time as second argument.
1672 1833
1673NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, 1834NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, ever,
1674ever, or make ANY event loop modifications whatsoever>. 1835or make ANY other event loop modifications whatsoever, unless explicitly
1836allowed by documentation here>.
1675 1837
1676If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop 1838If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop
1677it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the 1839it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the
1678only event loop modification you are allowed to do). 1840only event loop modification you are allowed to do).
1679 1841
1709a different time than the last time it was called (e.g. in a crond like 1871a different time than the last time it was called (e.g. in a crond like
1710program when the crontabs have changed). 1872program when the crontabs have changed).
1711 1873
1712=item ev_tstamp ev_periodic_at (ev_periodic *) 1874=item ev_tstamp ev_periodic_at (ev_periodic *)
1713 1875
1714When active, returns the absolute time that the watcher is supposed to 1876When active, returns the absolute time that the watcher is supposed
1715trigger next. 1877to trigger next. This is not the same as the C<offset> argument to
1878C<ev_periodic_set>, but indeed works even in interval and manual
1879rescheduling modes.
1716 1880
1717=item ev_tstamp offset [read-write] 1881=item ev_tstamp offset [read-write]
1718 1882
1719When repeating, this contains the offset value, otherwise this is the 1883When repeating, this contains the offset value, otherwise this is the
1720absolute point in time (the C<at> value passed to C<ev_periodic_set>). 1884absolute point in time (the C<offset> value passed to C<ev_periodic_set>,
1885although libev might modify this value for better numerical stability).
1721 1886
1722Can be modified any time, but changes only take effect when the periodic 1887Can be modified any time, but changes only take effect when the periodic
1723timer fires or C<ev_periodic_again> is being called. 1888timer fires or C<ev_periodic_again> is being called.
1724 1889
1725=item ev_tstamp interval [read-write] 1890=item ev_tstamp interval [read-write]
2010the process. The exception are C<ev_stat> watchers - those call C<stat 2175the process. The exception are C<ev_stat> watchers - those call C<stat
2011()>, which is a synchronous operation. 2176()>, which is a synchronous operation.
2012 2177
2013For local paths, this usually doesn't matter: unless the system is very 2178For local paths, this usually doesn't matter: unless the system is very
2014busy or the intervals between stat's are large, a stat call will be fast, 2179busy or the intervals between stat's are large, a stat call will be fast,
2015as the path data is suually in memory already (except when starting the 2180as the path data is usually in memory already (except when starting the
2016watcher). 2181watcher).
2017 2182
2018For networked file systems, calling C<stat ()> can block an indefinite 2183For networked file systems, calling C<stat ()> can block an indefinite
2019time due to network issues, and even under good conditions, a stat call 2184time due to network issues, and even under good conditions, a stat call
2020often takes multiple milliseconds. 2185often takes multiple milliseconds.
2177 2342
2178=head3 Watcher-Specific Functions and Data Members 2343=head3 Watcher-Specific Functions and Data Members
2179 2344
2180=over 4 2345=over 4
2181 2346
2182=item ev_idle_init (ev_signal *, callback) 2347=item ev_idle_init (ev_idle *, callback)
2183 2348
2184Initialises and configures the idle watcher - it has no parameters of any 2349Initialises and configures the idle watcher - it has no parameters of any
2185kind. There is a C<ev_idle_set> macro, but using it is utterly pointless, 2350kind. There is a C<ev_idle_set> macro, but using it is utterly pointless,
2186believe me. 2351believe me.
2187 2352
2426some fds have to be watched and handled very quickly (with low latency), 2591some fds have to be watched and handled very quickly (with low latency),
2427and even priorities and idle watchers might have too much overhead. In 2592and even priorities and idle watchers might have too much overhead. In
2428this case you would put all the high priority stuff in one loop and all 2593this case you would put all the high priority stuff in one loop and all
2429the rest in a second one, and embed the second one in the first. 2594the rest in a second one, and embed the second one in the first.
2430 2595
2431As long as the watcher is active, the callback will be invoked every time 2596As long as the watcher is active, the callback will be invoked every
2432there might be events pending in the embedded loop. The callback must then 2597time there might be events pending in the embedded loop. The callback
2433call C<ev_embed_sweep (mainloop, watcher)> to make a single sweep and invoke 2598must then call C<ev_embed_sweep (mainloop, watcher)> to make a single
2434their callbacks (you could also start an idle watcher to give the embedded 2599sweep and invoke their callbacks (the callback doesn't need to invoke the
2435loop strictly lower priority for example). You can also set the callback 2600C<ev_embed_sweep> function directly, it could also start an idle watcher
2436to C<0>, in which case the embed watcher will automatically execute the 2601to give the embedded loop strictly lower priority for example).
2437embedded loop sweep.
2438 2602
2439As long as the watcher is started it will automatically handle events. The 2603You can also set the callback to C<0>, in which case the embed watcher
2440callback will be invoked whenever some events have been handled. You can 2604will automatically execute the embedded loop sweep whenever necessary.
2441set the callback to C<0> to avoid having to specify one if you are not
2442interested in that.
2443 2605
2444Also, there have not currently been made special provisions for forking: 2606Fork detection will be handled transparently while the C<ev_embed> watcher
2445when you fork, you not only have to call C<ev_loop_fork> on both loops, 2607is active, i.e., the embedded loop will automatically be forked when the
2446but you will also have to stop and restart any C<ev_embed> watchers 2608embedding loop forks. In other cases, the user is responsible for calling
2447yourself - but you can use a fork watcher to handle this automatically, 2609C<ev_loop_fork> on the embedded loop.
2448and future versions of libev might do just that.
2449 2610
2450Unfortunately, not all backends are embeddable: only the ones returned by 2611Unfortunately, not all backends are embeddable: only the ones returned by
2451C<ev_embeddable_backends> are, which, unfortunately, does not include any 2612C<ev_embeddable_backends> are, which, unfortunately, does not include any
2452portable one. 2613portable one.
2453 2614
2684an C<EV_ASYNC> event on the watcher into the event loop. Unlike 2845an C<EV_ASYNC> event on the watcher into the event loop. Unlike
2685C<ev_feed_event>, this call is safe to do from other threads, signal or 2846C<ev_feed_event>, this call is safe to do from other threads, signal or
2686similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding 2847similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding
2687section below on what exactly this means). 2848section below on what exactly this means).
2688 2849
2850Note that, as with other watchers in libev, multiple events might get
2851compressed into a single callback invocation (another way to look at this
2852is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>,
2853reset when the event loop detects that).
2854
2689This call incurs the overhead of a system call only once per loop iteration, 2855This call incurs the overhead of a system call only once per event loop
2690so while the overhead might be noticeable, it doesn't apply to repeated 2856iteration, so while the overhead might be noticeable, it doesn't apply to
2691calls to C<ev_async_send>. 2857repeated calls to C<ev_async_send> for the same event loop.
2692 2858
2693=item bool = ev_async_pending (ev_async *) 2859=item bool = ev_async_pending (ev_async *)
2694 2860
2695Returns a non-zero value when C<ev_async_send> has been called on the 2861Returns a non-zero value when C<ev_async_send> has been called on the
2696watcher but the event has not yet been processed (or even noted) by the 2862watcher but the event has not yet been processed (or even noted) by the
2699C<ev_async_send> sets a flag in the watcher and wakes up the loop. When 2865C<ev_async_send> sets a flag in the watcher and wakes up the loop. When
2700the loop iterates next and checks for the watcher to have become active, 2866the loop iterates next and checks for the watcher to have become active,
2701it will reset the flag again. C<ev_async_pending> can be used to very 2867it will reset the flag again. C<ev_async_pending> can be used to very
2702quickly check whether invoking the loop might be a good idea. 2868quickly check whether invoking the loop might be a good idea.
2703 2869
2704Not that this does I<not> check whether the watcher itself is pending, only 2870Not that this does I<not> check whether the watcher itself is pending,
2705whether it has been requested to make this watcher pending. 2871only whether it has been requested to make this watcher pending: there
2872is a time window between the event loop checking and resetting the async
2873notification, and the callback being invoked.
2706 2874
2707=back 2875=back
2708 2876
2709 2877
2710=head1 OTHER FUNCTIONS 2878=head1 OTHER FUNCTIONS
2889 3057
2890 myclass obj; 3058 myclass obj;
2891 ev::io iow; 3059 ev::io iow;
2892 iow.set <myclass, &myclass::io_cb> (&obj); 3060 iow.set <myclass, &myclass::io_cb> (&obj);
2893 3061
3062=item w->set (object *)
3063
3064This is an B<experimental> feature that might go away in a future version.
3065
3066This is a variation of a method callback - leaving out the method to call
3067will default the method to C<operator ()>, which makes it possible to use
3068functor objects without having to manually specify the C<operator ()> all
3069the time. Incidentally, you can then also leave out the template argument
3070list.
3071
3072The C<operator ()> method prototype must be C<void operator ()(watcher &w,
3073int revents)>.
3074
3075See the method-C<set> above for more details.
3076
3077Example: use a functor object as callback.
3078
3079 struct myfunctor
3080 {
3081 void operator() (ev::io &w, int revents)
3082 {
3083 ...
3084 }
3085 }
3086
3087 myfunctor f;
3088
3089 ev::io w;
3090 w.set (&f);
3091
2894=item w->set<function> (void *data = 0) 3092=item w->set<function> (void *data = 0)
2895 3093
2896Also sets a callback, but uses a static method or plain function as 3094Also sets a callback, but uses a static method or plain function as
2897callback. The optional C<data> argument will be stored in the watcher's 3095callback. The optional C<data> argument will be stored in the watcher's
2898C<data> member and is free for you to use. 3096C<data> member and is free for you to use.
2984L<http://software.schmorp.de/pkg/EV>. 3182L<http://software.schmorp.de/pkg/EV>.
2985 3183
2986=item Python 3184=item Python
2987 3185
2988Python bindings can be found at L<http://code.google.com/p/pyev/>. It 3186Python bindings can be found at L<http://code.google.com/p/pyev/>. It
2989seems to be quite complete and well-documented. Note, however, that the 3187seems to be quite complete and well-documented.
2990patch they require for libev is outright dangerous as it breaks the ABI
2991for everybody else, and therefore, should never be applied in an installed
2992libev (if python requires an incompatible ABI then it needs to embed
2993libev).
2994 3188
2995=item Ruby 3189=item Ruby
2996 3190
2997Tony Arcieri has written a ruby extension that offers access to a subset 3191Tony Arcieri has written a ruby extension that offers access to a subset
2998of the libev API and adds file handle abstractions, asynchronous DNS and 3192of the libev API and adds file handle abstractions, asynchronous DNS and
2999more on top of it. It can be found via gem servers. Its homepage is at 3193more on top of it. It can be found via gem servers. Its homepage is at
3000L<http://rev.rubyforge.org/>. 3194L<http://rev.rubyforge.org/>.
3195
3196Roger Pack reports that using the link order C<-lws2_32 -lmsvcrt-ruby-190>
3197makes rev work even on mingw.
3198
3199=item Haskell
3200
3201A haskell binding to libev is available at
3202L<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hlibev>.
3001 3203
3002=item D 3204=item D
3003 3205
3004Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to 3206Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to
3005be found at L<http://proj.llucax.com.ar/wiki/evd>. 3207be found at L<http://proj.llucax.com.ar/wiki/evd>.
3182keeps libev from including F<config.h>, and it also defines dummy 3384keeps libev from including F<config.h>, and it also defines dummy
3183implementations for some libevent functions (such as logging, which is not 3385implementations for some libevent functions (such as logging, which is not
3184supported). It will also not define any of the structs usually found in 3386supported). It will also not define any of the structs usually found in
3185F<event.h> that are not directly supported by the libev core alone. 3387F<event.h> that are not directly supported by the libev core alone.
3186 3388
3389In stanbdalone mode, libev will still try to automatically deduce the
3390configuration, but has to be more conservative.
3391
3187=item EV_USE_MONOTONIC 3392=item EV_USE_MONOTONIC
3188 3393
3189If defined to be C<1>, libev will try to detect the availability of the 3394If defined to be C<1>, libev will try to detect the availability of the
3190monotonic clock option at both compile time and runtime. Otherwise no use 3395monotonic clock option at both compile time and runtime. Otherwise no
3191of the monotonic clock option will be attempted. If you enable this, you 3396use of the monotonic clock option will be attempted. If you enable this,
3192usually have to link against librt or something similar. Enabling it when 3397you usually have to link against librt or something similar. Enabling it
3193the functionality isn't available is safe, though, although you have 3398when the functionality isn't available is safe, though, although you have
3194to make sure you link against any libraries where the C<clock_gettime> 3399to make sure you link against any libraries where the C<clock_gettime>
3195function is hiding in (often F<-lrt>). 3400function is hiding in (often F<-lrt>). See also C<EV_USE_CLOCK_SYSCALL>.
3196 3401
3197=item EV_USE_REALTIME 3402=item EV_USE_REALTIME
3198 3403
3199If defined to be C<1>, libev will try to detect the availability of the 3404If defined to be C<1>, libev will try to detect the availability of the
3200real-time clock option at compile time (and assume its availability at 3405real-time clock option at compile time (and assume its availability
3201runtime if successful). Otherwise no use of the real-time clock option will 3406at runtime if successful). Otherwise no use of the real-time clock
3202be attempted. This effectively replaces C<gettimeofday> by C<clock_get 3407option will be attempted. This effectively replaces C<gettimeofday>
3203(CLOCK_REALTIME, ...)> and will not normally affect correctness. See the 3408by C<clock_get (CLOCK_REALTIME, ...)> and will not normally affect
3204note about libraries in the description of C<EV_USE_MONOTONIC>, though. 3409correctness. See the note about libraries in the description of
3410C<EV_USE_MONOTONIC>, though. Defaults to the opposite value of
3411C<EV_USE_CLOCK_SYSCALL>.
3412
3413=item EV_USE_CLOCK_SYSCALL
3414
3415If defined to be C<1>, libev will try to use a direct syscall instead
3416of calling the system-provided C<clock_gettime> function. This option
3417exists because on GNU/Linux, C<clock_gettime> is in C<librt>, but C<librt>
3418unconditionally pulls in C<libpthread>, slowing down single-threaded
3419programs needlessly. Using a direct syscall is slightly slower (in
3420theory), because no optimised vdso implementation can be used, but avoids
3421the pthread dependency. Defaults to C<1> on GNU/Linux with glibc 2.x or
3422higher, as it simplifies linking (no need for C<-lrt>).
3205 3423
3206=item EV_USE_NANOSLEEP 3424=item EV_USE_NANOSLEEP
3207 3425
3208If defined to be C<1>, libev will assume that C<nanosleep ()> is available 3426If defined to be C<1>, libev will assume that C<nanosleep ()> is available
3209and will use it for delays. Otherwise it will use C<select ()>. 3427and will use it for delays. Otherwise it will use C<select ()>.
3225 3443
3226=item EV_SELECT_USE_FD_SET 3444=item EV_SELECT_USE_FD_SET
3227 3445
3228If defined to C<1>, then the select backend will use the system C<fd_set> 3446If defined to C<1>, then the select backend will use the system C<fd_set>
3229structure. This is useful if libev doesn't compile due to a missing 3447structure. This is useful if libev doesn't compile due to a missing
3230C<NFDBITS> or C<fd_mask> definition or it mis-guesses the bitset layout on 3448C<NFDBITS> or C<fd_mask> definition or it mis-guesses the bitset layout
3231exotic systems. This usually limits the range of file descriptors to some 3449on exotic systems. This usually limits the range of file descriptors to
3232low limit such as 1024 or might have other limitations (winsocket only 3450some low limit such as 1024 or might have other limitations (winsocket
3233allows 64 sockets). The C<FD_SETSIZE> macro, set before compilation, might 3451only allows 64 sockets). The C<FD_SETSIZE> macro, set before compilation,
3234influence the size of the C<fd_set> used. 3452configures the maximum size of the C<fd_set>.
3235 3453
3236=item EV_SELECT_IS_WINSOCKET 3454=item EV_SELECT_IS_WINSOCKET
3237 3455
3238When defined to C<1>, the select backend will assume that 3456When defined to C<1>, the select backend will assume that
3239select/socket/connect etc. don't understand file descriptors but 3457select/socket/connect etc. don't understand file descriptors but
3888involves iterating over all running async watchers or all signal numbers. 4106involves iterating over all running async watchers or all signal numbers.
3889 4107
3890=back 4108=back
3891 4109
3892 4110
4111=head1 GLOSSARY
4112
4113=over 4
4114
4115=item active
4116
4117A watcher is active as long as it has been started (has been attached to
4118an event loop) but not yet stopped (disassociated from the event loop).
4119
4120=item application
4121
4122In this document, an application is whatever is using libev.
4123
4124=item callback
4125
4126The address of a function that is called when some event has been
4127detected. Callbacks are being passed the event loop, the watcher that
4128received the event, and the actual event bitset.
4129
4130=item callback invocation
4131
4132The act of calling the callback associated with a watcher.
4133
4134=item event
4135
4136A change of state of some external event, such as data now being available
4137for reading on a file descriptor, time having passed or simply not having
4138any other events happening anymore.
4139
4140In libev, events are represented as single bits (such as C<EV_READ> or
4141C<EV_TIMEOUT>).
4142
4143=item event library
4144
4145A software package implementing an event model and loop.
4146
4147=item event loop
4148
4149An entity that handles and processes external events and converts them
4150into callback invocations.
4151
4152=item event model
4153
4154The model used to describe how an event loop handles and processes
4155watchers and events.
4156
4157=item pending
4158
4159A watcher is pending as soon as the corresponding event has been detected,
4160and stops being pending as soon as the watcher will be invoked or its
4161pending status is explicitly cleared by the application.
4162
4163A watcher can be pending, but not active. Stopping a watcher also clears
4164its pending status.
4165
4166=item real time
4167
4168The physical time that is observed. It is apparently strictly monotonic :)
4169
4170=item wall-clock time
4171
4172The time and date as shown on clocks. Unlike real time, it can actually
4173be wrong and jump forwards and backwards, e.g. when the you adjust your
4174clock.
4175
4176=item watcher
4177
4178A data structure that describes interest in certain events. Watchers need
4179to be started (attached to an event loop) before they can receive events.
4180
4181=item watcher invocation
4182
4183The act of calling the callback associated with a watcher.
4184
4185=back
4186
3893=head1 AUTHOR 4187=head1 AUTHOR
3894 4188
3895Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson. 4189Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson.
3896 4190

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines