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

Comparing libev/ev.pod (file contents):
Revision 1.210 by root, Thu Oct 30 08:09:30 2008 UTC vs.
Revision 1.235 by root, Thu Apr 16 07:50:39 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);
418starting a watcher (without re-setting it) also usually doesn't cause 420starting a watcher (without re-setting it) also usually doesn't cause
419extra overhead. A fork can both result in spurious notifications as well 421extra overhead. A fork can both result in spurious notifications as well
420as in libev having to destroy and recreate the epoll object, which can 422as in libev having to destroy and recreate the epoll object, which can
421take considerable time and thus should be avoided. 423take considerable time and thus should be avoided.
422 424
425All this means that, in practice, C<EVBACKEND_SELECT> can be as fast or
426faster than epoll for maybe up to a hundred file descriptors, depending on
427the usage. So sad.
428
423While nominally embeddable in other event loops, this feature is broken in 429While nominally embeddable in other event loops, this feature is broken in
424all kernel versions tested so far. 430all kernel versions tested so far.
425 431
426This backend maps C<EV_READ> and C<EV_WRITE> in the same way as 432This backend maps C<EV_READ> and C<EV_WRITE> in the same way as
427C<EVBACKEND_POLL>. 433C<EVBACKEND_POLL>.
454 460
455While nominally embeddable in other event loops, this doesn't work 461While nominally embeddable in other event loops, this doesn't work
456everywhere, 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
457almost 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
458(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
459(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
460using it only for sockets. 466also broken on OS X)) and, did I mention it, using it only for sockets.
461 467
462This 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
463C<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
464C<NOTE_EOF>. 470C<NOTE_EOF>.
465 471
627This 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
628very 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
629the current time is a good idea. 635the current time is a good idea.
630 636
631See 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>).
632 664
633=item ev_loop (loop, int flags) 665=item ev_loop (loop, int flags)
634 666
635Finally, this is it, the event handler. This function usually is called 667Finally, this is it, the event handler. This function usually is called
636after you initialised all your watchers and you want to start handling 668after you initialised all your watchers and you want to start handling
720 752
721If 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>
722from returning, call ev_unref() after starting, and ev_ref() before 754from returning, call ev_unref() after starting, and ev_ref() before
723stopping it. 755stopping it.
724 756
725As 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
726not 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
727if 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
728way to do this for generic recurring timers or from within third-party 760excellent way to do this for generic recurring timers or from within
729libraries. 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
730(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
731respectively). 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).
732 766
733Example: 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>
734running when nothing else is active. 768running when nothing else is active.
735 769
736 ev_signal exitsig; 770 ev_signal exitsig;
920 954
921=item C<EV_ASYNC> 955=item C<EV_ASYNC>
922 956
923The given async watcher has been asynchronously notified (see C<ev_async>). 957The given async watcher has been asynchronously notified (see C<ev_async>).
924 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
925=item C<EV_ERROR> 964=item C<EV_ERROR>
926 965
927An unspecified error has occurred, the watcher has been stopped. This might 966An unspecified error has occurred, the watcher has been stopped. This might
928happen because the watcher could not be properly started because libev 967happen because the watcher could not be properly started because libev
929ran 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
1044integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI> 1083integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI>
1045(default: C<-2>). Pending watchers with higher priority will be invoked 1084(default: C<-2>). Pending watchers with higher priority will be invoked
1046before watchers with lower priority, but priority will not keep watchers 1085before watchers with lower priority, but priority will not keep watchers
1047from being executed (except for C<ev_idle> watchers). 1086from being executed (except for C<ev_idle> watchers).
1048 1087
1049This means that priorities are I<only> used for ordering callback
1050invocation after new events have been received. This is useful, for
1051example, to reduce latency after idling, or more often, to bind two
1052watchers on the same event and make sure one is called first.
1053
1054If you need to suppress invocation when higher priority events are pending 1088If you need to suppress invocation when higher priority events are pending
1055you need to look at C<ev_idle> watchers, which provide this functionality. 1089you need to look at C<ev_idle> watchers, which provide this functionality.
1056 1090
1057You I<must not> change the priority of a watcher as long as it is active or 1091You I<must not> change the priority of a watcher as long as it is active or
1058pending. 1092pending.
1059
1060The default priority used by watchers when no priority has been set is
1061always C<0>, which is supposed to not be too high and not be too low :).
1062 1093
1063Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is 1094Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is
1064fine, as long as you do not mind that the priority value you query might 1095fine, as long as you do not mind that the priority value you query might
1065or might not have been clamped to the valid range. 1096or might not have been clamped to the valid range.
1097
1098The default priority used by watchers when no priority has been set is
1099always C<0>, which is supposed to not be too high and not be too low :).
1100
1101See L<WATCHER PRIORITY MODELS>, below, for a more thorough treatment of
1102priorities.
1066 1103
1067=item ev_invoke (loop, ev_TYPE *watcher, int revents) 1104=item ev_invoke (loop, ev_TYPE *watcher, int revents)
1068 1105
1069Invoke the C<watcher> with the given C<loop> and C<revents>. Neither 1106Invoke the C<watcher> with the given C<loop> and C<revents>. Neither
1070C<loop> nor C<revents> need to be valid as long as the watcher callback 1107C<loop> nor C<revents> need to be valid as long as the watcher callback
1145 t2_cb (EV_P_ ev_timer *w, int revents) 1182 t2_cb (EV_P_ ev_timer *w, int revents)
1146 { 1183 {
1147 struct my_biggy big = (struct my_biggy * 1184 struct my_biggy big = (struct my_biggy *
1148 (((char *)w) - offsetof (struct my_biggy, t2)); 1185 (((char *)w) - offsetof (struct my_biggy, t2));
1149 } 1186 }
1187
1188=head2 WATCHER PRIORITY MODELS
1189
1190Many event loops support I<watcher priorities>, which are usually small
1191integers that influence the ordering of event callback invocation
1192between watchers in some way, all else being equal.
1193
1194In libev, Watcher priorities can be set using C<ev_set_priority>. See its
1195description for the more technical details such as the actual priority
1196range.
1197
1198There are two common ways how these these priorities are being interpreted
1199by event loops:
1200
1201In the more common lock-out model, higher priorities "lock out" invocation
1202of lower priority watchers, which means as long as higher priority
1203watchers receive events, lower priority watchers are not being invoked.
1204
1205The less common only-for-ordering model uses priorities solely to order
1206callback invocation within a single event loop iteration: Higher priority
1207watchers are invoked before lower priority ones, but they all get invoked
1208before polling for new events.
1209
1210Libev uses the second (only-for-ordering) model for all its watchers
1211except for idle watchers (which use the lock-out model).
1212
1213The rationale behind this is that implementing the lock-out model for
1214watchers is not well supported by most kernel interfaces, and most event
1215libraries will just poll for the same events again and again as long as
1216their callbacks have not been executed, which is very inefficient in the
1217common case of one high-priority watcher locking out a mass of lower
1218priority ones.
1219
1220Static (ordering) priorities are most useful when you have two or more
1221watchers handling the same resource: a typical usage example is having an
1222C<ev_io> watcher to receive data, and an associated C<ev_timer> to handle
1223timeouts. Under load, data might be received while the program handles
1224other jobs, but since timers normally get invoked first, the timeout
1225handler will be executed before checking for data. In that case, giving
1226the timer a lower priority than the I/O watcher ensures that I/O will be
1227handled first even under adverse conditions (which is usually, but not
1228always, what you want).
1229
1230Since idle watchers use the "lock-out" model, meaning that idle watchers
1231will only be executed when no same or higher priority watchers have
1232received events, they can be used to implement the "lock-out" model when
1233required.
1234
1235For example, to emulate how many other event libraries handle priorities,
1236you can associate an C<ev_idle> watcher to each such watcher, and in
1237the normal watcher callback, you just start the idle watcher. The real
1238processing is done in the idle watcher callback. This causes libev to
1239continously poll and process kernel event data for the watcher, but when
1240the lock-out case is known to be rare (which in turn is rare :), this is
1241workable.
1242
1243Usually, however, the lock-out model implemented that way will perform
1244miserably under the type of load it was designed to handle. In that case,
1245it might be preferable to stop the real watcher before starting the
1246idle watcher, so the kernel will not have to process the event in case
1247the actual processing will be delayed for considerable time.
1248
1249Here is an example of an I/O watcher that should run at a strictly lower
1250priority than the default, and which should only process data when no
1251other events are pending:
1252
1253 ev_idle idle; // actual processing watcher
1254 ev_io io; // actual event watcher
1255
1256 static void
1257 io_cb (EV_P_ ev_io *w, int revents)
1258 {
1259 // stop the I/O watcher, we received the event, but
1260 // are not yet ready to handle it.
1261 ev_io_stop (EV_A_ w);
1262
1263 // start the idle watcher to ahndle the actual event.
1264 // it will not be executed as long as other watchers
1265 // with the default priority are receiving events.
1266 ev_idle_start (EV_A_ &idle);
1267 }
1268
1269 static void
1270 idle-cb (EV_P_ ev_idle *w, int revents)
1271 {
1272 // actual processing
1273 read (STDIN_FILENO, ...);
1274
1275 // have to start the I/O watcher again, as
1276 // we have handled the event
1277 ev_io_start (EV_P_ &io);
1278 }
1279
1280 // initialisation
1281 ev_idle_init (&idle, idle_cb);
1282 ev_io_init (&io, io_cb, STDIN_FILENO, EV_READ);
1283 ev_io_start (EV_DEFAULT_ &io);
1284
1285In the "real" world, it might also be beneficial to start a timer, so that
1286low-priority connections can not be locked out forever under load. This
1287enables your program to keep a lower latency for important connections
1288during short periods of high load, while not completely locking out less
1289important ones.
1150 1290
1151 1291
1152=head1 WATCHER TYPES 1292=head1 WATCHER TYPES
1153 1293
1154This section describes each watcher in detail, but will not repeat 1294This section describes each watcher in detail, but will not repeat
1311year, it will still time out after (roughly) one hour. "Roughly" because 1451year, it will still time out after (roughly) one hour. "Roughly" because
1312detecting time jumps is hard, and some inaccuracies are unavoidable (the 1452detecting time jumps is hard, and some inaccuracies are unavoidable (the
1313monotonic clock option helps a lot here). 1453monotonic clock option helps a lot here).
1314 1454
1315The callback is guaranteed to be invoked only I<after> its timeout has 1455The callback is guaranteed to be invoked only I<after> its timeout has
1316passed, but if multiple timers become ready during the same loop iteration 1456passed. If multiple timers become ready during the same loop iteration
1317then order of execution is undefined. 1457then the ones with earlier time-out values are invoked before ones with
1458later time-out values (but this is no longer true when a callback calls
1459C<ev_loop> recursively).
1318 1460
1319=head3 Be smart about timeouts 1461=head3 Be smart about timeouts
1320 1462
1321Many real-world problems involve some kind of timeout, usually for error 1463Many real-world problems involve some kind of timeout, usually for error
1322recovery. A typical example is an HTTP request - if the other side hangs, 1464recovery. A typical example is an HTTP request - if the other side hangs,
1415 else 1557 else
1416 { 1558 {
1417 // callback was invoked, but there was some activity, re-arm 1559 // callback was invoked, but there was some activity, re-arm
1418 // the watcher to fire in last_activity + 60, which is 1560 // the watcher to fire in last_activity + 60, which is
1419 // guaranteed to be in the future, so "again" is positive: 1561 // guaranteed to be in the future, so "again" is positive:
1420 w->again = timeout - now; 1562 w->repeat = timeout - now;
1421 ev_timer_again (EV_A_ w); 1563 ev_timer_again (EV_A_ w);
1422 } 1564 }
1423 } 1565 }
1424 1566
1425To summarise the callback: first calculate the real timeout (defined 1567To summarise the callback: first calculate the real timeout (defined
1541If the timer is started but non-repeating, stop it (as if it timed out). 1683If the timer is started but non-repeating, stop it (as if it timed out).
1542 1684
1543If the timer is repeating, either start it if necessary (with the 1685If the timer is repeating, either start it if necessary (with the
1544C<repeat> value), or reset the running timer to the C<repeat> value. 1686C<repeat> value), or reset the running timer to the C<repeat> value.
1545 1687
1546This sounds a bit complicated, see "Be smart about timeouts", above, for a 1688This sounds a bit complicated, see L<Be smart about timeouts>, above, for a
1547usage example. 1689usage example.
1548 1690
1549=item ev_tstamp repeat [read-write] 1691=item ev_tstamp repeat [read-write]
1550 1692
1551The current C<repeat> value. Will be used each time the watcher times out 1693The current C<repeat> value. Will be used each time the watcher times out
1590=head2 C<ev_periodic> - to cron or not to cron? 1732=head2 C<ev_periodic> - to cron or not to cron?
1591 1733
1592Periodic watchers are also timers of a kind, but they are very versatile 1734Periodic watchers are also timers of a kind, but they are very versatile
1593(and unfortunately a bit complex). 1735(and unfortunately a bit complex).
1594 1736
1595Unlike C<ev_timer>'s, they are not based on real time (or relative time) 1737Unlike C<ev_timer>, periodic watchers are not based on real time (or
1596but on wall clock time (absolute time). You can tell a periodic watcher 1738relative time, the physical time that passes) but on wall clock time
1597to trigger after some specific point in time. For example, if you tell a 1739(absolute time, the thing you can read on your calender or clock). The
1598periodic watcher to trigger in 10 seconds (by specifying e.g. C<ev_now () 1740difference is that wall clock time can run faster or slower than real
1599+ 10.>, that is, an absolute time not a delay) and then reset your system 1741time, and time jumps are not uncommon (e.g. when you adjust your
1600clock to January of the previous year, then it will take more than year 1742wrist-watch).
1601to trigger the event (unlike an C<ev_timer>, which would still trigger
1602roughly 10 seconds later as it uses a relative timeout).
1603 1743
1744You can tell a periodic watcher to trigger after some specific point
1745in time: for example, if you tell a periodic watcher to trigger "in 10
1746seconds" (by specifying e.g. C<ev_now () + 10.>, that is, an absolute time
1747not a delay) and then reset your system clock to January of the previous
1748year, then it will take a year or more to trigger the event (unlike an
1749C<ev_timer>, which would still trigger roughly 10 seconds after starting
1750it, as it uses a relative timeout).
1751
1604C<ev_periodic>s can also be used to implement vastly more complex timers, 1752C<ev_periodic> watchers can also be used to implement vastly more complex
1605such as triggering an event on each "midnight, local time", or other 1753timers, such as triggering an event on each "midnight, local time", or
1606complicated rules. 1754other complicated rules. This cannot be done with C<ev_timer> watchers, as
1755those cannot react to time jumps.
1607 1756
1608As with timers, the callback is guaranteed to be invoked only when the 1757As with timers, the callback is guaranteed to be invoked only when the
1609time (C<at>) has passed, but if multiple periodic timers become ready 1758point in time where it is supposed to trigger has passed. If multiple
1610during the same loop iteration, then order of execution is undefined. 1759timers become ready during the same loop iteration then the ones with
1760earlier time-out values are invoked before ones with later time-out values
1761(but this is no longer true when a callback calls C<ev_loop> recursively).
1611 1762
1612=head3 Watcher-Specific Functions and Data Members 1763=head3 Watcher-Specific Functions and Data Members
1613 1764
1614=over 4 1765=over 4
1615 1766
1616=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) 1767=item ev_periodic_init (ev_periodic *, callback, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1617 1768
1618=item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb) 1769=item ev_periodic_set (ev_periodic *, ev_tstamp offset, ev_tstamp interval, reschedule_cb)
1619 1770
1620Lots of arguments, lets sort it out... There are basically three modes of 1771Lots of arguments, let's sort it out... There are basically three modes of
1621operation, and we will explain them from simplest to most complex: 1772operation, and we will explain them from simplest to most complex:
1622 1773
1623=over 4 1774=over 4
1624 1775
1625=item * absolute timer (at = time, interval = reschedule_cb = 0) 1776=item * absolute timer (offset = absolute time, interval = 0, reschedule_cb = 0)
1626 1777
1627In this configuration the watcher triggers an event after the wall clock 1778In this configuration the watcher triggers an event after the wall clock
1628time C<at> has passed. It will not repeat and will not adjust when a time 1779time C<offset> has passed. It will not repeat and will not adjust when a
1629jump occurs, that is, if it is to be run at January 1st 2011 then it will 1780time jump occurs, that is, if it is to be run at January 1st 2011 then it
1630only run when the system clock reaches or surpasses this time. 1781will be stopped and invoked when the system clock reaches or surpasses
1782this point in time.
1631 1783
1632=item * repeating interval timer (at = offset, interval > 0, reschedule_cb = 0) 1784=item * repeating interval timer (offset = offset within interval, interval > 0, reschedule_cb = 0)
1633 1785
1634In this mode the watcher will always be scheduled to time out at the next 1786In this mode the watcher will always be scheduled to time out at the next
1635C<at + N * interval> time (for some integer N, which can also be negative) 1787C<offset + N * interval> time (for some integer N, which can also be
1636and then repeat, regardless of any time jumps. 1788negative) and then repeat, regardless of any time jumps. The C<offset>
1789argument is merely an offset into the C<interval> periods.
1637 1790
1638This can be used to create timers that do not drift with respect to the 1791This can be used to create timers that do not drift with respect to the
1639system clock, for example, here is a C<ev_periodic> that triggers each 1792system clock, for example, here is an C<ev_periodic> that triggers each
1640hour, on the hour: 1793hour, on the hour (with respect to UTC):
1641 1794
1642 ev_periodic_set (&periodic, 0., 3600., 0); 1795 ev_periodic_set (&periodic, 0., 3600., 0);
1643 1796
1644This doesn't mean there will always be 3600 seconds in between triggers, 1797This doesn't mean there will always be 3600 seconds in between triggers,
1645but only that the callback will be called when the system time shows a 1798but only that the callback will be called when the system time shows a
1646full hour (UTC), or more correctly, when the system time is evenly divisible 1799full hour (UTC), or more correctly, when the system time is evenly divisible
1647by 3600. 1800by 3600.
1648 1801
1649Another way to think about it (for the mathematically inclined) is that 1802Another way to think about it (for the mathematically inclined) is that
1650C<ev_periodic> will try to run the callback in this mode at the next possible 1803C<ev_periodic> will try to run the callback in this mode at the next possible
1651time where C<time = at (mod interval)>, regardless of any time jumps. 1804time where C<time = offset (mod interval)>, regardless of any time jumps.
1652 1805
1653For numerical stability it is preferable that the C<at> value is near 1806For numerical stability it is preferable that the C<offset> value is near
1654C<ev_now ()> (the current time), but there is no range requirement for 1807C<ev_now ()> (the current time), but there is no range requirement for
1655this value, and in fact is often specified as zero. 1808this value, and in fact is often specified as zero.
1656 1809
1657Note also that there is an upper limit to how often a timer can fire (CPU 1810Note also that there is an upper limit to how often a timer can fire (CPU
1658speed for example), so if C<interval> is very small then timing stability 1811speed for example), so if C<interval> is very small then timing stability
1659will of course deteriorate. Libev itself tries to be exact to be about one 1812will of course deteriorate. Libev itself tries to be exact to be about one
1660millisecond (if the OS supports it and the machine is fast enough). 1813millisecond (if the OS supports it and the machine is fast enough).
1661 1814
1662=item * manual reschedule mode (at and interval ignored, reschedule_cb = callback) 1815=item * manual reschedule mode (offset ignored, interval ignored, reschedule_cb = callback)
1663 1816
1664In this mode the values for C<interval> and C<at> are both being 1817In this mode the values for C<interval> and C<offset> are both being
1665ignored. Instead, each time the periodic watcher gets scheduled, the 1818ignored. Instead, each time the periodic watcher gets scheduled, the
1666reschedule callback will be called with the watcher as first, and the 1819reschedule callback will be called with the watcher as first, and the
1667current time as second argument. 1820current time as second argument.
1668 1821
1669NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, 1822NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, ever,
1670ever, or make ANY event loop modifications whatsoever>. 1823or make ANY other event loop modifications whatsoever, unless explicitly
1824allowed by documentation here>.
1671 1825
1672If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop 1826If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop
1673it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the 1827it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the
1674only event loop modification you are allowed to do). 1828only event loop modification you are allowed to do).
1675 1829
1705a different time than the last time it was called (e.g. in a crond like 1859a different time than the last time it was called (e.g. in a crond like
1706program when the crontabs have changed). 1860program when the crontabs have changed).
1707 1861
1708=item ev_tstamp ev_periodic_at (ev_periodic *) 1862=item ev_tstamp ev_periodic_at (ev_periodic *)
1709 1863
1710When active, returns the absolute time that the watcher is supposed to 1864When active, returns the absolute time that the watcher is supposed
1711trigger next. 1865to trigger next. This is not the same as the C<offset> argument to
1866C<ev_periodic_set>, but indeed works even in interval and manual
1867rescheduling modes.
1712 1868
1713=item ev_tstamp offset [read-write] 1869=item ev_tstamp offset [read-write]
1714 1870
1715When repeating, this contains the offset value, otherwise this is the 1871When repeating, this contains the offset value, otherwise this is the
1716absolute point in time (the C<at> value passed to C<ev_periodic_set>). 1872absolute point in time (the C<offset> value passed to C<ev_periodic_set>,
1873although libev might modify this value for better numerical stability).
1717 1874
1718Can be modified any time, but changes only take effect when the periodic 1875Can be modified any time, but changes only take effect when the periodic
1719timer fires or C<ev_periodic_again> is being called. 1876timer fires or C<ev_periodic_again> is being called.
1720 1877
1721=item ev_tstamp interval [read-write] 1878=item ev_tstamp interval [read-write]
1932C<stat> on that path in regular intervals (or when the OS says it changed) 2089C<stat> on that path in regular intervals (or when the OS says it changed)
1933and sees if it changed compared to the last time, invoking the callback if 2090and sees if it changed compared to the last time, invoking the callback if
1934it did. 2091it did.
1935 2092
1936The path does not need to exist: changing from "path exists" to "path does 2093The path does not need to exist: changing from "path exists" to "path does
1937not exist" is a status change like any other. The condition "path does 2094not exist" is a status change like any other. The condition "path does not
1938not exist" is signified by the C<st_nlink> field being zero (which is 2095exist" (or more correctly "path cannot be stat'ed") is signified by the
1939otherwise always forced to be at least one) and all the other fields of 2096C<st_nlink> field being zero (which is otherwise always forced to be at
1940the stat buffer having unspecified contents. 2097least one) and all the other fields of the stat buffer having unspecified
2098contents.
1941 2099
1942The path I<must not> end in a slash or contain special components such as 2100The path I<must not> end in a slash or contain special components such as
1943C<.> or C<..>. The path I<should> be absolute: If it is relative and 2101C<.> or C<..>. The path I<should> be absolute: If it is relative and
1944your working directory changes, then the behaviour is undefined. 2102your working directory changes, then the behaviour is undefined.
1945 2103
1955This watcher type is not meant for massive numbers of stat watchers, 2113This watcher type is not meant for massive numbers of stat watchers,
1956as even with OS-supported change notifications, this can be 2114as even with OS-supported change notifications, this can be
1957resource-intensive. 2115resource-intensive.
1958 2116
1959At the time of this writing, the only OS-specific interface implemented 2117At the time of this writing, the only OS-specific interface implemented
1960is the Linux inotify interface (implementing kqueue support is left as 2118is the Linux inotify interface (implementing kqueue support is left as an
1961an exercise for the reader. Note, however, that the author sees no way 2119exercise for the reader. Note, however, that the author sees no way of
1962of implementing C<ev_stat> semantics with kqueue). 2120implementing C<ev_stat> semantics with kqueue, except as a hint).
1963 2121
1964=head3 ABI Issues (Largefile Support) 2122=head3 ABI Issues (Largefile Support)
1965 2123
1966Libev by default (unless the user overrides this) uses the default 2124Libev by default (unless the user overrides this) uses the default
1967compilation environment, which means that on systems with large file 2125compilation environment, which means that on systems with large file
1978to exchange stat structures with application programs compiled using the 2136to exchange stat structures with application programs compiled using the
1979default compilation environment. 2137default compilation environment.
1980 2138
1981=head3 Inotify and Kqueue 2139=head3 Inotify and Kqueue
1982 2140
1983When C<inotify (7)> support has been compiled into libev (generally 2141When C<inotify (7)> support has been compiled into libev and present at
1984only available with Linux 2.6.25 or above due to bugs in earlier 2142runtime, it will be used to speed up change detection where possible. The
1985implementations) and present at runtime, it will be used to speed up 2143inotify descriptor will be created lazily when the first C<ev_stat>
1986change detection where possible. The inotify descriptor will be created 2144watcher is being started.
1987lazily when the first C<ev_stat> watcher is being started.
1988 2145
1989Inotify presence does not change the semantics of C<ev_stat> watchers 2146Inotify presence does not change the semantics of C<ev_stat> watchers
1990except that changes might be detected earlier, and in some cases, to avoid 2147except that changes might be detected earlier, and in some cases, to avoid
1991making regular C<stat> calls. Even in the presence of inotify support 2148making regular C<stat> calls. Even in the presence of inotify support
1992there are many cases where libev has to resort to regular C<stat> polling, 2149there are many cases where libev has to resort to regular C<stat> polling,
1993but as long as the path exists, libev usually gets away without polling. 2150but as long as kernel 2.6.25 or newer is used (2.6.24 and older have too
2151many bugs), the path exists (i.e. stat succeeds), and the path resides on
2152a local filesystem (libev currently assumes only ext2/3, jfs, reiserfs and
2153xfs are fully working) libev usually gets away without polling.
1994 2154
1995There is no support for kqueue, as apparently it cannot be used to 2155There is no support for kqueue, as apparently it cannot be used to
1996implement this functionality, due to the requirement of having a file 2156implement this functionality, due to the requirement of having a file
1997descriptor open on the object at all times, and detecting renames, unlinks 2157descriptor open on the object at all times, and detecting renames, unlinks
1998etc. is difficult. 2158etc. is difficult.
2159
2160=head3 C<stat ()> is a synchronous operation
2161
2162Libev doesn't normally do any kind of I/O itself, and so is not blocking
2163the process. The exception are C<ev_stat> watchers - those call C<stat
2164()>, which is a synchronous operation.
2165
2166For local paths, this usually doesn't matter: unless the system is very
2167busy or the intervals between stat's are large, a stat call will be fast,
2168as the path data is usually in memory already (except when starting the
2169watcher).
2170
2171For networked file systems, calling C<stat ()> can block an indefinite
2172time due to network issues, and even under good conditions, a stat call
2173often takes multiple milliseconds.
2174
2175Therefore, it is best to avoid using C<ev_stat> watchers on networked
2176paths, although this is fully supported by libev.
1999 2177
2000=head3 The special problem of stat time resolution 2178=head3 The special problem of stat time resolution
2001 2179
2002The C<stat ()> system call only supports full-second resolution portably, 2180The C<stat ()> system call only supports full-second resolution portably,
2003and even on systems where the resolution is higher, most file systems 2181and even on systems where the resolution is higher, most file systems
2152 2330
2153=head3 Watcher-Specific Functions and Data Members 2331=head3 Watcher-Specific Functions and Data Members
2154 2332
2155=over 4 2333=over 4
2156 2334
2157=item ev_idle_init (ev_signal *, callback) 2335=item ev_idle_init (ev_idle *, callback)
2158 2336
2159Initialises and configures the idle watcher - it has no parameters of any 2337Initialises and configures the idle watcher - it has no parameters of any
2160kind. There is a C<ev_idle_set> macro, but using it is utterly pointless, 2338kind. There is a C<ev_idle_set> macro, but using it is utterly pointless,
2161believe me. 2339believe me.
2162 2340
2401some fds have to be watched and handled very quickly (with low latency), 2579some fds have to be watched and handled very quickly (with low latency),
2402and even priorities and idle watchers might have too much overhead. In 2580and even priorities and idle watchers might have too much overhead. In
2403this case you would put all the high priority stuff in one loop and all 2581this case you would put all the high priority stuff in one loop and all
2404the rest in a second one, and embed the second one in the first. 2582the rest in a second one, and embed the second one in the first.
2405 2583
2406As long as the watcher is active, the callback will be invoked every time 2584As long as the watcher is active, the callback will be invoked every
2407there might be events pending in the embedded loop. The callback must then 2585time there might be events pending in the embedded loop. The callback
2408call C<ev_embed_sweep (mainloop, watcher)> to make a single sweep and invoke 2586must then call C<ev_embed_sweep (mainloop, watcher)> to make a single
2409their callbacks (you could also start an idle watcher to give the embedded 2587sweep and invoke their callbacks (the callback doesn't need to invoke the
2410loop strictly lower priority for example). You can also set the callback 2588C<ev_embed_sweep> function directly, it could also start an idle watcher
2411to C<0>, in which case the embed watcher will automatically execute the 2589to give the embedded loop strictly lower priority for example).
2412embedded loop sweep.
2413 2590
2414As long as the watcher is started it will automatically handle events. The 2591You can also set the callback to C<0>, in which case the embed watcher
2415callback will be invoked whenever some events have been handled. You can 2592will automatically execute the embedded loop sweep whenever necessary.
2416set the callback to C<0> to avoid having to specify one if you are not
2417interested in that.
2418 2593
2419Also, there have not currently been made special provisions for forking: 2594Fork detection will be handled transparently while the C<ev_embed> watcher
2420when you fork, you not only have to call C<ev_loop_fork> on both loops, 2595is active, i.e., the embedded loop will automatically be forked when the
2421but you will also have to stop and restart any C<ev_embed> watchers 2596embedding loop forks. In other cases, the user is responsible for calling
2422yourself - but you can use a fork watcher to handle this automatically, 2597C<ev_loop_fork> on the embedded loop.
2423and future versions of libev might do just that.
2424 2598
2425Unfortunately, not all backends are embeddable: only the ones returned by 2599Unfortunately, not all backends are embeddable: only the ones returned by
2426C<ev_embeddable_backends> are, which, unfortunately, does not include any 2600C<ev_embeddable_backends> are, which, unfortunately, does not include any
2427portable one. 2601portable one.
2428 2602
2659an C<EV_ASYNC> event on the watcher into the event loop. Unlike 2833an C<EV_ASYNC> event on the watcher into the event loop. Unlike
2660C<ev_feed_event>, this call is safe to do from other threads, signal or 2834C<ev_feed_event>, this call is safe to do from other threads, signal or
2661similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding 2835similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding
2662section below on what exactly this means). 2836section below on what exactly this means).
2663 2837
2838Note that, as with other watchers in libev, multiple events might get
2839compressed into a single callback invocation (another way to look at this
2840is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>,
2841reset when the event loop detects that).
2842
2664This call incurs the overhead of a system call only once per loop iteration, 2843This call incurs the overhead of a system call only once per event loop
2665so while the overhead might be noticeable, it doesn't apply to repeated 2844iteration, so while the overhead might be noticeable, it doesn't apply to
2666calls to C<ev_async_send>. 2845repeated calls to C<ev_async_send> for the same event loop.
2667 2846
2668=item bool = ev_async_pending (ev_async *) 2847=item bool = ev_async_pending (ev_async *)
2669 2848
2670Returns a non-zero value when C<ev_async_send> has been called on the 2849Returns a non-zero value when C<ev_async_send> has been called on the
2671watcher but the event has not yet been processed (or even noted) by the 2850watcher but the event has not yet been processed (or even noted) by the
2674C<ev_async_send> sets a flag in the watcher and wakes up the loop. When 2853C<ev_async_send> sets a flag in the watcher and wakes up the loop. When
2675the loop iterates next and checks for the watcher to have become active, 2854the loop iterates next and checks for the watcher to have become active,
2676it will reset the flag again. C<ev_async_pending> can be used to very 2855it will reset the flag again. C<ev_async_pending> can be used to very
2677quickly check whether invoking the loop might be a good idea. 2856quickly check whether invoking the loop might be a good idea.
2678 2857
2679Not that this does I<not> check whether the watcher itself is pending, only 2858Not that this does I<not> check whether the watcher itself is pending,
2680whether it has been requested to make this watcher pending. 2859only whether it has been requested to make this watcher pending: there
2860is a time window between the event loop checking and resetting the async
2861notification, and the callback being invoked.
2681 2862
2682=back 2863=back
2683 2864
2684 2865
2685=head1 OTHER FUNCTIONS 2866=head1 OTHER FUNCTIONS
2864 3045
2865 myclass obj; 3046 myclass obj;
2866 ev::io iow; 3047 ev::io iow;
2867 iow.set <myclass, &myclass::io_cb> (&obj); 3048 iow.set <myclass, &myclass::io_cb> (&obj);
2868 3049
3050=item w->set (object *)
3051
3052This is an B<experimental> feature that might go away in a future version.
3053
3054This is a variation of a method callback - leaving out the method to call
3055will default the method to C<operator ()>, which makes it possible to use
3056functor objects without having to manually specify the C<operator ()> all
3057the time. Incidentally, you can then also leave out the template argument
3058list.
3059
3060The C<operator ()> method prototype must be C<void operator ()(watcher &w,
3061int revents)>.
3062
3063See the method-C<set> above for more details.
3064
3065Example: use a functor object as callback.
3066
3067 struct myfunctor
3068 {
3069 void operator() (ev::io &w, int revents)
3070 {
3071 ...
3072 }
3073 }
3074
3075 myfunctor f;
3076
3077 ev::io w;
3078 w.set (&f);
3079
2869=item w->set<function> (void *data = 0) 3080=item w->set<function> (void *data = 0)
2870 3081
2871Also sets a callback, but uses a static method or plain function as 3082Also sets a callback, but uses a static method or plain function as
2872callback. The optional C<data> argument will be stored in the watcher's 3083callback. The optional C<data> argument will be stored in the watcher's
2873C<data> member and is free for you to use. 3084C<data> member and is free for you to use.
2959L<http://software.schmorp.de/pkg/EV>. 3170L<http://software.schmorp.de/pkg/EV>.
2960 3171
2961=item Python 3172=item Python
2962 3173
2963Python bindings can be found at L<http://code.google.com/p/pyev/>. It 3174Python bindings can be found at L<http://code.google.com/p/pyev/>. It
2964seems to be quite complete and well-documented. Note, however, that the 3175seems to be quite complete and well-documented.
2965patch they require for libev is outright dangerous as it breaks the ABI
2966for everybody else, and therefore, should never be applied in an installed
2967libev (if python requires an incompatible ABI then it needs to embed
2968libev).
2969 3176
2970=item Ruby 3177=item Ruby
2971 3178
2972Tony Arcieri has written a ruby extension that offers access to a subset 3179Tony Arcieri has written a ruby extension that offers access to a subset
2973of the libev API and adds file handle abstractions, asynchronous DNS and 3180of the libev API and adds file handle abstractions, asynchronous DNS and
2974more on top of it. It can be found via gem servers. Its homepage is at 3181more on top of it. It can be found via gem servers. Its homepage is at
2975L<http://rev.rubyforge.org/>. 3182L<http://rev.rubyforge.org/>.
3183
3184Roger Pack reports that using the link order C<-lws2_32 -lmsvcrt-ruby-190>
3185makes rev work even on mingw.
3186
3187=item Haskell
3188
3189A haskell binding to libev is available at
3190L<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hlibev>.
2976 3191
2977=item D 3192=item D
2978 3193
2979Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to 3194Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to
2980be found at L<http://proj.llucax.com.ar/wiki/evd>. 3195be found at L<http://proj.llucax.com.ar/wiki/evd>.
3157keeps libev from including F<config.h>, and it also defines dummy 3372keeps libev from including F<config.h>, and it also defines dummy
3158implementations for some libevent functions (such as logging, which is not 3373implementations for some libevent functions (such as logging, which is not
3159supported). It will also not define any of the structs usually found in 3374supported). It will also not define any of the structs usually found in
3160F<event.h> that are not directly supported by the libev core alone. 3375F<event.h> that are not directly supported by the libev core alone.
3161 3376
3377In stanbdalone mode, libev will still try to automatically deduce the
3378configuration, but has to be more conservative.
3379
3162=item EV_USE_MONOTONIC 3380=item EV_USE_MONOTONIC
3163 3381
3164If defined to be C<1>, libev will try to detect the availability of the 3382If defined to be C<1>, libev will try to detect the availability of the
3165monotonic clock option at both compile time and runtime. Otherwise no use 3383monotonic clock option at both compile time and runtime. Otherwise no
3166of the monotonic clock option will be attempted. If you enable this, you 3384use of the monotonic clock option will be attempted. If you enable this,
3167usually have to link against librt or something similar. Enabling it when 3385you usually have to link against librt or something similar. Enabling it
3168the functionality isn't available is safe, though, although you have 3386when the functionality isn't available is safe, though, although you have
3169to make sure you link against any libraries where the C<clock_gettime> 3387to make sure you link against any libraries where the C<clock_gettime>
3170function is hiding in (often F<-lrt>). 3388function is hiding in (often F<-lrt>). See also C<EV_USE_CLOCK_SYSCALL>.
3171 3389
3172=item EV_USE_REALTIME 3390=item EV_USE_REALTIME
3173 3391
3174If defined to be C<1>, libev will try to detect the availability of the 3392If defined to be C<1>, libev will try to detect the availability of the
3175real-time clock option at compile time (and assume its availability at 3393real-time clock option at compile time (and assume its availability
3176runtime if successful). Otherwise no use of the real-time clock option will 3394at runtime if successful). Otherwise no use of the real-time clock
3177be attempted. This effectively replaces C<gettimeofday> by C<clock_get 3395option will be attempted. This effectively replaces C<gettimeofday>
3178(CLOCK_REALTIME, ...)> and will not normally affect correctness. See the 3396by C<clock_get (CLOCK_REALTIME, ...)> and will not normally affect
3179note about libraries in the description of C<EV_USE_MONOTONIC>, though. 3397correctness. See the note about libraries in the description of
3398C<EV_USE_MONOTONIC>, though. Defaults to the opposite value of
3399C<EV_USE_CLOCK_SYSCALL>.
3400
3401=item EV_USE_CLOCK_SYSCALL
3402
3403If defined to be C<1>, libev will try to use a direct syscall instead
3404of calling the system-provided C<clock_gettime> function. This option
3405exists because on GNU/Linux, C<clock_gettime> is in C<librt>, but C<librt>
3406unconditionally pulls in C<libpthread>, slowing down single-threaded
3407programs needlessly. Using a direct syscall is slightly slower (in
3408theory), because no optimised vdso implementation can be used, but avoids
3409the pthread dependency. Defaults to C<1> on GNU/Linux with glibc 2.x or
3410higher, as it simplifies linking (no need for C<-lrt>).
3180 3411
3181=item EV_USE_NANOSLEEP 3412=item EV_USE_NANOSLEEP
3182 3413
3183If defined to be C<1>, libev will assume that C<nanosleep ()> is available 3414If defined to be C<1>, libev will assume that C<nanosleep ()> is available
3184and will use it for delays. Otherwise it will use C<select ()>. 3415and will use it for delays. Otherwise it will use C<select ()>.
3200 3431
3201=item EV_SELECT_USE_FD_SET 3432=item EV_SELECT_USE_FD_SET
3202 3433
3203If defined to C<1>, then the select backend will use the system C<fd_set> 3434If defined to C<1>, then the select backend will use the system C<fd_set>
3204structure. This is useful if libev doesn't compile due to a missing 3435structure. This is useful if libev doesn't compile due to a missing
3205C<NFDBITS> or C<fd_mask> definition or it mis-guesses the bitset layout on 3436C<NFDBITS> or C<fd_mask> definition or it mis-guesses the bitset layout
3206exotic systems. This usually limits the range of file descriptors to some 3437on exotic systems. This usually limits the range of file descriptors to
3207low limit such as 1024 or might have other limitations (winsocket only 3438some low limit such as 1024 or might have other limitations (winsocket
3208allows 64 sockets). The C<FD_SETSIZE> macro, set before compilation, might 3439only allows 64 sockets). The C<FD_SETSIZE> macro, set before compilation,
3209influence the size of the C<fd_set> used. 3440configures the maximum size of the C<fd_set>.
3210 3441
3211=item EV_SELECT_IS_WINSOCKET 3442=item EV_SELECT_IS_WINSOCKET
3212 3443
3213When defined to C<1>, the select backend will assume that 3444When defined to C<1>, the select backend will assume that
3214select/socket/connect etc. don't understand file descriptors but 3445select/socket/connect etc. don't understand file descriptors but
3863involves iterating over all running async watchers or all signal numbers. 4094involves iterating over all running async watchers or all signal numbers.
3864 4095
3865=back 4096=back
3866 4097
3867 4098
4099=head1 GLOSSARY
4100
4101=over 4
4102
4103=item active
4104
4105A watcher is active as long as it has been started (has been attached to
4106an event loop) but not yet stopped (disassociated from the event loop).
4107
4108=item application
4109
4110In this document, an application is whatever is using libev.
4111
4112=item callback
4113
4114The address of a function that is called when some event has been
4115detected. Callbacks are being passed the event loop, the watcher that
4116received the event, and the actual event bitset.
4117
4118=item callback invocation
4119
4120The act of calling the callback associated with a watcher.
4121
4122=item event
4123
4124A change of state of some external event, such as data now being available
4125for reading on a file descriptor, time having passed or simply not having
4126any other events happening anymore.
4127
4128In libev, events are represented as single bits (such as C<EV_READ> or
4129C<EV_TIMEOUT>).
4130
4131=item event library
4132
4133A software package implementing an event model and loop.
4134
4135=item event loop
4136
4137An entity that handles and processes external events and converts them
4138into callback invocations.
4139
4140=item event model
4141
4142The model used to describe how an event loop handles and processes
4143watchers and events.
4144
4145=item pending
4146
4147A watcher is pending as soon as the corresponding event has been detected,
4148and stops being pending as soon as the watcher will be invoked or its
4149pending status is explicitly cleared by the application.
4150
4151A watcher can be pending, but not active. Stopping a watcher also clears
4152its pending status.
4153
4154=item real time
4155
4156The physical time that is observed. It is apparently strictly monotonic :)
4157
4158=item wall-clock time
4159
4160The time and date as shown on clocks. Unlike real time, it can actually
4161be wrong and jump forwards and backwards, e.g. when the you adjust your
4162clock.
4163
4164=item watcher
4165
4166A data structure that describes interest in certain events. Watchers need
4167to be started (attached to an event loop) before they can receive events.
4168
4169=item watcher invocation
4170
4171The act of calling the callback associated with a watcher.
4172
4173=back
4174
3868=head1 AUTHOR 4175=head1 AUTHOR
3869 4176
3870Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson. 4177Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson.
3871 4178

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines