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

Comparing libev/ev.pod (file contents):
Revision 1.77 by root, Sat Dec 8 22:11:14 2007 UTC vs.
Revision 1.86 by root, Tue Dec 18 01:20:33 2007 UTC

98Libev represents time as a single floating point number, representing the 98Libev represents time as a single floating point number, representing the
99(fractional) number of seconds since the (POSIX) epoch (somewhere near 99(fractional) number of seconds since the (POSIX) epoch (somewhere near
100the beginning of 1970, details are complicated, don't ask). This type is 100the beginning of 1970, details are complicated, don't ask). This type is
101called C<ev_tstamp>, which is what you should use too. It usually aliases 101called C<ev_tstamp>, which is what you should use too. It usually aliases
102to the C<double> type in C, and when you need to do any calculations on 102to the C<double> type in C, and when you need to do any calculations on
103it, you should treat it as such. 103it, you should treat it as some floatingpoint value. Unlike the name
104component C<stamp> might indicate, it is also used for time differences
105throughout libev.
104 106
105=head1 GLOBAL FUNCTIONS 107=head1 GLOBAL FUNCTIONS
106 108
107These functions can be called anytime, even before initialising the 109These functions can be called anytime, even before initialising the
108library in any way. 110library in any way.
117 119
118=item int ev_version_major () 120=item int ev_version_major ()
119 121
120=item int ev_version_minor () 122=item int ev_version_minor ()
121 123
122You can find out the major and minor version numbers of the library 124You can find out the major and minor ABI version numbers of the library
123you linked against by calling the functions C<ev_version_major> and 125you linked against by calling the functions C<ev_version_major> and
124C<ev_version_minor>. If you want, you can compare against the global 126C<ev_version_minor>. If you want, you can compare against the global
125symbols C<EV_VERSION_MAJOR> and C<EV_VERSION_MINOR>, which specify the 127symbols C<EV_VERSION_MAJOR> and C<EV_VERSION_MINOR>, which specify the
126version of the library your program was compiled against. 128version of the library your program was compiled against.
127 129
130These version numbers refer to the ABI version of the library, not the
131release version.
132
128Usually, it's a good idea to terminate if the major versions mismatch, 133Usually, it's a good idea to terminate if the major versions mismatch,
129as this indicates an incompatible change. Minor versions are usually 134as this indicates an incompatible change. Minor versions are usually
130compatible to older versions, so a larger minor version alone is usually 135compatible to older versions, so a larger minor version alone is usually
131not a problem. 136not a problem.
132 137
133Example: Make sure we haven't accidentally been linked against the wrong 138Example: Make sure we haven't accidentally been linked against the wrong
134version. 139version.
908play around with an Xlib connection), then you have to seperately re-test 913play around with an Xlib connection), then you have to seperately re-test
909whether a file descriptor is really ready with a known-to-be good interface 914whether a file descriptor is really ready with a known-to-be good interface
910such as poll (fortunately in our Xlib example, Xlib already does this on 915such as poll (fortunately in our Xlib example, Xlib already does this on
911its own, so its quite safe to use). 916its own, so its quite safe to use).
912 917
918=head3 The special problem of disappearing file descriptors
919
920Some backends (e.g kqueue, epoll) need to be told about closing a file
921descriptor (either by calling C<close> explicitly or by any other means,
922such as C<dup>). The reason is that you register interest in some file
923descriptor, but when it goes away, the operating system will silently drop
924this interest. If another file descriptor with the same number then is
925registered with libev, there is no efficient way to see that this is, in
926fact, a different file descriptor.
927
928To avoid having to explicitly tell libev about such cases, libev follows
929the following policy: Each time C<ev_io_set> is being called, libev
930will assume that this is potentially a new file descriptor, otherwise
931it is assumed that the file descriptor stays the same. That means that
932you I<have> to call C<ev_io_set> (or C<ev_io_init>) when you change the
933descriptor even if the file descriptor number itself did not change.
934
935This is how one would do it normally anyway, the important point is that
936the libev application should not optimise around libev but should leave
937optimisations to libev.
938
939
940=head3 Watcher-Specific Functions
941
913=over 4 942=over 4
914 943
915=item ev_io_init (ev_io *, callback, int fd, int events) 944=item ev_io_init (ev_io *, callback, int fd, int events)
916 945
917=item ev_io_set (ev_io *, int fd, int events) 946=item ev_io_set (ev_io *, int fd, int events)
969 ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); 998 ev_timer_set (&timer, after + ev_now () - ev_time (), 0.);
970 999
971The callback is guarenteed to be invoked only when its timeout has passed, 1000The callback is guarenteed to be invoked only when its timeout has passed,
972but if multiple timers become ready during the same loop iteration then 1001but if multiple timers become ready during the same loop iteration then
973order of execution is undefined. 1002order of execution is undefined.
1003
1004=head3 Watcher-Specific Functions and Data Members
974 1005
975=over 4 1006=over 4
976 1007
977=item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) 1008=item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat)
978 1009
1074but on wallclock time (absolute time). You can tell a periodic watcher 1105but on wallclock time (absolute time). You can tell a periodic watcher
1075to trigger "at" some specific point in time. For example, if you tell a 1106to trigger "at" some specific point in time. For example, if you tell a
1076periodic watcher to trigger in 10 seconds (by specifiying e.g. C<ev_now () 1107periodic watcher to trigger in 10 seconds (by specifiying e.g. C<ev_now ()
1077+ 10.>) and then reset your system clock to the last year, then it will 1108+ 10.>) and then reset your system clock to the last year, then it will
1078take a year to trigger the event (unlike an C<ev_timer>, which would trigger 1109take a year to trigger the event (unlike an C<ev_timer>, which would trigger
1079roughly 10 seconds later and of course not if you reset your system time 1110roughly 10 seconds later).
1080again).
1081 1111
1082They can also be used to implement vastly more complex timers, such as 1112They can also be used to implement vastly more complex timers, such as
1083triggering an event on eahc midnight, local time. 1113triggering an event on each midnight, local time or other, complicated,
1114rules.
1084 1115
1085As with timers, the callback is guarenteed to be invoked only when the 1116As with timers, the callback is guarenteed to be invoked only when the
1086time (C<at>) has been passed, but if multiple periodic timers become ready 1117time (C<at>) has been passed, but if multiple periodic timers become ready
1087during the same loop iteration then order of execution is undefined. 1118during the same loop iteration then order of execution is undefined.
1088 1119
1120=head3 Watcher-Specific Functions and Data Members
1121
1089=over 4 1122=over 4
1090 1123
1091=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) 1124=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb)
1092 1125
1093=item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb) 1126=item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb)
1095Lots of arguments, lets sort it out... There are basically three modes of 1128Lots of arguments, lets sort it out... There are basically three modes of
1096operation, and we will explain them from simplest to complex: 1129operation, and we will explain them from simplest to complex:
1097 1130
1098=over 4 1131=over 4
1099 1132
1100=item * absolute timer (interval = reschedule_cb = 0) 1133=item * absolute timer (at = time, interval = reschedule_cb = 0)
1101 1134
1102In this configuration the watcher triggers an event at the wallclock time 1135In this configuration the watcher triggers an event at the wallclock time
1103C<at> and doesn't repeat. It will not adjust when a time jump occurs, 1136C<at> and doesn't repeat. It will not adjust when a time jump occurs,
1104that is, if it is to be run at January 1st 2011 then it will run when the 1137that is, if it is to be run at January 1st 2011 then it will run when the
1105system time reaches or surpasses this time. 1138system time reaches or surpasses this time.
1106 1139
1107=item * non-repeating interval timer (interval > 0, reschedule_cb = 0) 1140=item * non-repeating interval timer (at = offset, interval > 0, reschedule_cb = 0)
1108 1141
1109In this mode the watcher will always be scheduled to time out at the next 1142In this mode the watcher will always be scheduled to time out at the next
1110C<at + N * interval> time (for some integer N) and then repeat, regardless 1143C<at + N * interval> time (for some integer N, which can also be negative)
1111of any time jumps. 1144and then repeat, regardless of any time jumps.
1112 1145
1113This can be used to create timers that do not drift with respect to system 1146This can be used to create timers that do not drift with respect to system
1114time: 1147time:
1115 1148
1116 ev_periodic_set (&periodic, 0., 3600., 0); 1149 ev_periodic_set (&periodic, 0., 3600., 0);
1122 1155
1123Another way to think about it (for the mathematically inclined) is that 1156Another way to think about it (for the mathematically inclined) is that
1124C<ev_periodic> will try to run the callback in this mode at the next possible 1157C<ev_periodic> will try to run the callback in this mode at the next possible
1125time where C<time = at (mod interval)>, regardless of any time jumps. 1158time where C<time = at (mod interval)>, regardless of any time jumps.
1126 1159
1160For numerical stability it is preferable that the C<at> value is near
1161C<ev_now ()> (the current time), but there is no range requirement for
1162this value.
1163
1127=item * manual reschedule mode (reschedule_cb = callback) 1164=item * manual reschedule mode (at and interval ignored, reschedule_cb = callback)
1128 1165
1129In this mode the values for C<interval> and C<at> are both being 1166In this mode the values for C<interval> and C<at> are both being
1130ignored. Instead, each time the periodic watcher gets scheduled, the 1167ignored. Instead, each time the periodic watcher gets scheduled, the
1131reschedule callback will be called with the watcher as first, and the 1168reschedule callback will be called with the watcher as first, and the
1132current time as second argument. 1169current time as second argument.
1133 1170
1134NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, 1171NOTE: I<This callback MUST NOT stop or destroy any periodic watcher,
1135ever, or make any event loop modifications>. If you need to stop it, 1172ever, or make any event loop modifications>. If you need to stop it,
1136return C<now + 1e30> (or so, fudge fudge) and stop it afterwards (e.g. by 1173return C<now + 1e30> (or so, fudge fudge) and stop it afterwards (e.g. by
1137starting a prepare watcher). 1174starting an C<ev_prepare> watcher, which is legal).
1138 1175
1139Its prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic *w, 1176Its prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic *w,
1140ev_tstamp now)>, e.g.: 1177ev_tstamp now)>, e.g.:
1141 1178
1142 static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now) 1179 static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now)
1165Simply stops and restarts the periodic watcher again. This is only useful 1202Simply stops and restarts the periodic watcher again. This is only useful
1166when you changed some parameters or the reschedule callback would return 1203when you changed some parameters or the reschedule callback would return
1167a different time than the last time it was called (e.g. in a crond like 1204a different time than the last time it was called (e.g. in a crond like
1168program when the crontabs have changed). 1205program when the crontabs have changed).
1169 1206
1207=item ev_tstamp offset [read-write]
1208
1209When repeating, this contains the offset value, otherwise this is the
1210absolute point in time (the C<at> value passed to C<ev_periodic_set>).
1211
1212Can be modified any time, but changes only take effect when the periodic
1213timer fires or C<ev_periodic_again> is being called.
1214
1170=item ev_tstamp interval [read-write] 1215=item ev_tstamp interval [read-write]
1171 1216
1172The current interval value. Can be modified any time, but changes only 1217The current interval value. Can be modified any time, but changes only
1173take effect when the periodic timer fires or C<ev_periodic_again> is being 1218take effect when the periodic timer fires or C<ev_periodic_again> is being
1174called. 1219called.
1176=item ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read-write] 1221=item ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read-write]
1177 1222
1178The current reschedule callback, or C<0>, if this functionality is 1223The current reschedule callback, or C<0>, if this functionality is
1179switched off. Can be changed any time, but changes only take effect when 1224switched off. Can be changed any time, but changes only take effect when
1180the periodic timer fires or C<ev_periodic_again> is being called. 1225the periodic timer fires or C<ev_periodic_again> is being called.
1226
1227=item ev_tstamp at [read-only]
1228
1229When active, contains the absolute time that the watcher is supposed to
1230trigger next.
1181 1231
1182=back 1232=back
1183 1233
1184Example: Call a callback every hour, or, more precisely, whenever the 1234Example: Call a callback every hour, or, more precisely, whenever the
1185system clock is divisible by 3600. The callback invocation times have 1235system clock is divisible by 3600. The callback invocation times have
1227with the kernel (thus it coexists with your own signal handlers as long 1277with the kernel (thus it coexists with your own signal handlers as long
1228as you don't register any with libev). Similarly, when the last signal 1278as you don't register any with libev). Similarly, when the last signal
1229watcher for a signal is stopped libev will reset the signal handler to 1279watcher for a signal is stopped libev will reset the signal handler to
1230SIG_DFL (regardless of what it was set to before). 1280SIG_DFL (regardless of what it was set to before).
1231 1281
1282=head3 Watcher-Specific Functions and Data Members
1283
1232=over 4 1284=over 4
1233 1285
1234=item ev_signal_init (ev_signal *, callback, int signum) 1286=item ev_signal_init (ev_signal *, callback, int signum)
1235 1287
1236=item ev_signal_set (ev_signal *, int signum) 1288=item ev_signal_set (ev_signal *, int signum)
1247 1299
1248=head2 C<ev_child> - watch out for process status changes 1300=head2 C<ev_child> - watch out for process status changes
1249 1301
1250Child watchers trigger when your process receives a SIGCHLD in response to 1302Child watchers trigger when your process receives a SIGCHLD in response to
1251some child status changes (most typically when a child of yours dies). 1303some child status changes (most typically when a child of yours dies).
1304
1305=head3 Watcher-Specific Functions and Data Members
1252 1306
1253=over 4 1307=over 4
1254 1308
1255=item ev_child_init (ev_child *, callback, int pid) 1309=item ev_child_init (ev_child *, callback, int pid)
1256 1310
1324reader). Inotify will be used to give hints only and should not change the 1378reader). Inotify will be used to give hints only and should not change the
1325semantics of C<ev_stat> watchers, which means that libev sometimes needs 1379semantics of C<ev_stat> watchers, which means that libev sometimes needs
1326to fall back to regular polling again even with inotify, but changes are 1380to fall back to regular polling again even with inotify, but changes are
1327usually detected immediately, and if the file exists there will be no 1381usually detected immediately, and if the file exists there will be no
1328polling. 1382polling.
1383
1384=head3 Watcher-Specific Functions and Data Members
1329 1385
1330=over 4 1386=over 4
1331 1387
1332=item ev_stat_init (ev_stat *, callback, const char *path, ev_tstamp interval) 1388=item ev_stat_init (ev_stat *, callback, const char *path, ev_tstamp interval)
1333 1389
1416Apart from keeping your process non-blocking (which is a useful 1472Apart from keeping your process non-blocking (which is a useful
1417effect on its own sometimes), idle watchers are a good place to do 1473effect on its own sometimes), idle watchers are a good place to do
1418"pseudo-background processing", or delay processing stuff to after the 1474"pseudo-background processing", or delay processing stuff to after the
1419event loop has handled all outstanding events. 1475event loop has handled all outstanding events.
1420 1476
1477=head3 Watcher-Specific Functions and Data Members
1478
1421=over 4 1479=over 4
1422 1480
1423=item ev_idle_init (ev_signal *, callback) 1481=item ev_idle_init (ev_signal *, callback)
1424 1482
1425Initialises and configures the idle watcher - it has no parameters of any 1483Initialises and configures the idle watcher - it has no parameters of any
1492their job. As C<ev_check> watchers are often used to embed other event 1550their job. As C<ev_check> watchers are often used to embed other event
1493loops those other event loops might be in an unusable state until their 1551loops those other event loops might be in an unusable state until their
1494C<ev_check> watcher ran (always remind yourself to coexist peacefully with 1552C<ev_check> watcher ran (always remind yourself to coexist peacefully with
1495others). 1553others).
1496 1554
1555=head3 Watcher-Specific Functions and Data Members
1556
1497=over 4 1557=over 4
1498 1558
1499=item ev_prepare_init (ev_prepare *, callback) 1559=item ev_prepare_init (ev_prepare *, callback)
1500 1560
1501=item ev_check_init (ev_check *, callback) 1561=item ev_check_init (ev_check *, callback)
1702 ev_embed_start (loop_hi, &embed); 1762 ev_embed_start (loop_hi, &embed);
1703 } 1763 }
1704 else 1764 else
1705 loop_lo = loop_hi; 1765 loop_lo = loop_hi;
1706 1766
1767=head3 Watcher-Specific Functions and Data Members
1768
1707=over 4 1769=over 4
1708 1770
1709=item ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop) 1771=item ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop)
1710 1772
1711=item ev_embed_set (ev_embed *, callback, struct ev_loop *embedded_loop) 1773=item ev_embed_set (ev_embed *, callback, struct ev_loop *embedded_loop)
1737event loop blocks next and before C<ev_check> watchers are being called, 1799event loop blocks next and before C<ev_check> watchers are being called,
1738and only in the child after the fork. If whoever good citizen calling 1800and only in the child after the fork. If whoever good citizen calling
1739C<ev_default_fork> cheats and calls it in the wrong process, the fork 1801C<ev_default_fork> cheats and calls it in the wrong process, the fork
1740handlers will be invoked, too, of course. 1802handlers will be invoked, too, of course.
1741 1803
1804=head3 Watcher-Specific Functions and Data Members
1805
1742=over 4 1806=over 4
1743 1807
1744=item ev_fork_init (ev_signal *, callback) 1808=item ev_fork_init (ev_signal *, callback)
1745 1809
1746Initialises and configures the fork watcher - it has no parameters of any 1810Initialises and configures the fork watcher - it has no parameters of any
1962 2026
1963=item w->stop () 2027=item w->stop ()
1964 2028
1965Stops the watcher if it is active. Again, no C<loop> argument. 2029Stops the watcher if it is active. Again, no C<loop> argument.
1966 2030
1967=item w->again () C<ev::timer>, C<ev::periodic> only 2031=item w->again () (C<ev::timer>, C<ev::periodic> only)
1968 2032
1969For C<ev::timer> and C<ev::periodic>, this invokes the corresponding 2033For C<ev::timer> and C<ev::periodic>, this invokes the corresponding
1970C<ev_TYPE_again> function. 2034C<ev_TYPE_again> function.
1971 2035
1972=item w->sweep () C<ev::embed> only 2036=item w->sweep () (C<ev::embed> only)
1973 2037
1974Invokes C<ev_embed_sweep>. 2038Invokes C<ev_embed_sweep>.
1975 2039
1976=item w->update () C<ev::stat> only 2040=item w->update () (C<ev::stat> only)
1977 2041
1978Invokes C<ev_stat_stat>. 2042Invokes C<ev_stat_stat>.
1979 2043
1980=back 2044=back
1981 2045
2001 } 2065 }
2002 2066
2003 2067
2004=head1 MACRO MAGIC 2068=head1 MACRO MAGIC
2005 2069
2006Libev can be compiled with a variety of options, the most fundemantal is 2070Libev can be compiled with a variety of options, the most fundamantal
2007C<EV_MULTIPLICITY>. This option determines whether (most) functions and 2071of which is C<EV_MULTIPLICITY>. This option determines whether (most)
2008callbacks have an initial C<struct ev_loop *> argument. 2072functions and callbacks have an initial C<struct ev_loop *> argument.
2009 2073
2010To make it easier to write programs that cope with either variant, the 2074To make it easier to write programs that cope with either variant, the
2011following macros are defined: 2075following macros are defined:
2012 2076
2013=over 4 2077=over 4

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines