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

Comparing libev/ev.pod (file contents):
Revision 1.154 by root, Sun May 11 11:47:27 2008 UTC vs.
Revision 1.158 by root, Wed May 21 12:51:38 2008 UTC

336To get good performance out of this backend you need a high amount of 336To get good performance out of this backend you need a high amount of
337parallelity (most of the file descriptors should be busy). If you are 337parallelity (most of the file descriptors should be busy). If you are
338writing a server, you should C<accept ()> in a loop to accept as many 338writing a server, you should C<accept ()> in a loop to accept as many
339connections as possible during one iteration. You might also want to have 339connections as possible during one iteration. You might also want to have
340a look at C<ev_set_io_collect_interval ()> to increase the amount of 340a look at C<ev_set_io_collect_interval ()> to increase the amount of
341readyness notifications you get per iteration. 341readiness notifications you get per iteration.
342 342
343=item C<EVBACKEND_POLL> (value 2, poll backend, available everywhere except on windows) 343=item C<EVBACKEND_POLL> (value 2, poll backend, available everywhere except on windows)
344 344
345And this is your standard poll(2) backend. It's more complicated 345And this is your standard poll(2) backend. It's more complicated
346than select, but handles sparse fds better and has no artificial 346than select, but handles sparse fds better and has no artificial
425While this backend scales well, it requires one system call per active 425While this backend scales well, it requires one system call per active
426file descriptor per loop iteration. For small and medium numbers of file 426file descriptor per loop iteration. For small and medium numbers of file
427descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend 427descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend
428might perform better. 428might perform better.
429 429
430On the positive side, ignoring the spurious readyness notifications, this 430On the positive side, ignoring the spurious readiness notifications, this
431backend actually performed to specification in all tests and is fully 431backend actually performed to specification in all tests and is fully
432embeddable, which is a rare feat among the OS-specific backends. 432embeddable, which is a rare feat among the OS-specific backends.
433 433
434=item C<EVBACKEND_ALL> 434=item C<EVBACKEND_ALL>
435 435
1032If you must do this, then force the use of a known-to-be-good backend 1032If you must do this, then force the use of a known-to-be-good backend
1033(at the time of this writing, this includes only C<EVBACKEND_SELECT> and 1033(at the time of this writing, this includes only C<EVBACKEND_SELECT> and
1034C<EVBACKEND_POLL>). 1034C<EVBACKEND_POLL>).
1035 1035
1036Another thing you have to watch out for is that it is quite easy to 1036Another thing you have to watch out for is that it is quite easy to
1037receive "spurious" readyness notifications, that is your callback might 1037receive "spurious" readiness notifications, that is your callback might
1038be called with C<EV_READ> but a subsequent C<read>(2) will actually block 1038be called with C<EV_READ> but a subsequent C<read>(2) will actually block
1039because there is no data. Not only are some backends known to create a 1039because there is no data. Not only are some backends known to create a
1040lot of those (for example solaris ports), it is very easy to get into 1040lot of those (for example solaris ports), it is very easy to get into
1041this situation even with a relatively standard program structure. Thus 1041this situation even with a relatively standard program structure. Thus
1042it is best to always use non-blocking I/O: An extra C<read>(2) returning 1042it is best to always use non-blocking I/O: An extra C<read>(2) returning
1151 1151
1152Timer watchers are simple relative timers that generate an event after a 1152Timer watchers are simple relative timers that generate an event after a
1153given time, and optionally repeating in regular intervals after that. 1153given time, and optionally repeating in regular intervals after that.
1154 1154
1155The timers are based on real time, that is, if you register an event that 1155The timers are based on real time, that is, if you register an event that
1156times out after an hour and you reset your system clock to last years 1156times out after an hour and you reset your system clock to january last
1157time, it will still time out after (roughly) and hour. "Roughly" because 1157year, it will still time out after (roughly) and hour. "Roughly" because
1158detecting time jumps is hard, and some inaccuracies are unavoidable (the 1158detecting time jumps is hard, and some inaccuracies are unavoidable (the
1159monotonic clock option helps a lot here). 1159monotonic clock option helps a lot here).
1160 1160
1161The relative timeouts are calculated relative to the C<ev_now ()> 1161The relative timeouts are calculated relative to the C<ev_now ()>
1162time. This is usually the right thing as this timestamp refers to the time 1162time. This is usually the right thing as this timestamp refers to the time
1164you suspect event processing to be delayed and you I<need> to base the timeout 1164you suspect event processing to be delayed and you I<need> to base the timeout
1165on the current time, use something like this to adjust for this: 1165on the current time, use something like this to adjust for this:
1166 1166
1167 ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); 1167 ev_timer_set (&timer, after + ev_now () - ev_time (), 0.);
1168 1168
1169The callback is guarenteed to be invoked only when its timeout has passed, 1169The callback is guarenteed to be invoked only after its timeout has passed,
1170but if multiple timers become ready during the same loop iteration then 1170but if multiple timers become ready during the same loop iteration then
1171order of execution is undefined. 1171order of execution is undefined.
1172 1172
1173=head3 Watcher-Specific Functions and Data Members 1173=head3 Watcher-Specific Functions and Data Members
1174 1174
1176 1176
1177=item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) 1177=item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat)
1178 1178
1179=item ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat) 1179=item ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat)
1180 1180
1181Configure the timer to trigger after C<after> seconds. If C<repeat> is 1181Configure the timer to trigger after C<after> seconds. If C<repeat>
1182C<0.>, then it will automatically be stopped. If it is positive, then the 1182is C<0.>, then it will automatically be stopped once the timeout is
1183timer will automatically be configured to trigger again C<repeat> seconds 1183reached. If it is positive, then the timer will automatically be
1184later, again, and again, until stopped manually. 1184configured to trigger again C<repeat> seconds later, again, and again,
1185until stopped manually.
1185 1186
1186The timer itself will do a best-effort at avoiding drift, that is, if you 1187The timer itself will do a best-effort at avoiding drift, that is, if
1187configure a timer to trigger every 10 seconds, then it will trigger at 1188you configure a timer to trigger every 10 seconds, then it will normally
1188exactly 10 second intervals. If, however, your program cannot keep up with 1189trigger at exactly 10 second intervals. If, however, your program cannot
1189the timer (because it takes longer than those 10 seconds to do stuff) the 1190keep up with the timer (because it takes longer than those 10 seconds to
1190timer will not fire more than once per event loop iteration. 1191do stuff) the timer will not fire more than once per event loop iteration.
1191 1192
1192=item ev_timer_again (loop, ev_timer *) 1193=item ev_timer_again (loop, ev_timer *)
1193 1194
1194This will act as if the timer timed out and restart it again if it is 1195This will act as if the timer timed out and restart it again if it is
1195repeating. The exact semantics are: 1196repeating. The exact semantics are:
1272Periodic watchers are also timers of a kind, but they are very versatile 1273Periodic watchers are also timers of a kind, but they are very versatile
1273(and unfortunately a bit complex). 1274(and unfortunately a bit complex).
1274 1275
1275Unlike C<ev_timer>'s, they are not based on real time (or relative time) 1276Unlike C<ev_timer>'s, they are not based on real time (or relative time)
1276but on wallclock time (absolute time). You can tell a periodic watcher 1277but on wallclock time (absolute time). You can tell a periodic watcher
1277to trigger "at" some specific point in time. For example, if you tell a 1278to trigger after some specific point in time. For example, if you tell a
1278periodic watcher to trigger in 10 seconds (by specifiying e.g. C<ev_now () 1279periodic watcher to trigger in 10 seconds (by specifiying e.g. C<ev_now ()
1279+ 10.>) and then reset your system clock to the last year, then it will 1280+ 10.>, that is, an absolute time not a delay) and then reset your system
1281clock to january of the previous year, then it will take more than year
1280take a year to trigger the event (unlike an C<ev_timer>, which would trigger 1282to trigger the event (unlike an C<ev_timer>, which would still trigger
1281roughly 10 seconds later). 1283roughly 10 seconds later as it uses a relative timeout).
1282 1284
1283They can also be used to implement vastly more complex timers, such as 1285C<ev_periodic>s can also be used to implement vastly more complex timers,
1284triggering an event on each midnight, local time or other, complicated, 1286such as triggering an event on each "midnight, local time", or other
1285rules. 1287complicated, rules.
1286 1288
1287As with timers, the callback is guarenteed to be invoked only when the 1289As with timers, the callback is guarenteed to be invoked only when the
1288time (C<at>) has been passed, but if multiple periodic timers become ready 1290time (C<at>) has passed, but if multiple periodic timers become ready
1289during the same loop iteration then order of execution is undefined. 1291during the same loop iteration then order of execution is undefined.
1290 1292
1291=head3 Watcher-Specific Functions and Data Members 1293=head3 Watcher-Specific Functions and Data Members
1292 1294
1293=over 4 1295=over 4
1301 1303
1302=over 4 1304=over 4
1303 1305
1304=item * absolute timer (at = time, interval = reschedule_cb = 0) 1306=item * absolute timer (at = time, interval = reschedule_cb = 0)
1305 1307
1306In this configuration the watcher triggers an event at the wallclock time 1308In this configuration the watcher triggers an event after the wallclock
1307C<at> and doesn't repeat. It will not adjust when a time jump occurs, 1309time C<at> has passed and doesn't repeat. It will not adjust when a time
1308that is, if it is to be run at January 1st 2011 then it will run when the 1310jump occurs, that is, if it is to be run at January 1st 2011 then it will
1309system time reaches or surpasses this time. 1311run when the system time reaches or surpasses this time.
1310 1312
1311=item * repeating interval timer (at = offset, interval > 0, reschedule_cb = 0) 1313=item * repeating interval timer (at = offset, interval > 0, reschedule_cb = 0)
1312 1314
1313In this mode the watcher will always be scheduled to time out at the next 1315In this mode the watcher will always be scheduled to time out at the next
1314C<at + N * interval> time (for some integer N, which can also be negative) 1316C<at + N * interval> time (for some integer N, which can also be negative)
1315and then repeat, regardless of any time jumps. 1317and then repeat, regardless of any time jumps.
1316 1318
1317This can be used to create timers that do not drift with respect to system 1319This can be used to create timers that do not drift with respect to system
1318time: 1320time, for example, here is a C<ev_periodic> that triggers each hour, on
1321the hour:
1319 1322
1320 ev_periodic_set (&periodic, 0., 3600., 0); 1323 ev_periodic_set (&periodic, 0., 3600., 0);
1321 1324
1322This doesn't mean there will always be 3600 seconds in between triggers, 1325This doesn't mean there will always be 3600 seconds in between triggers,
1323but only that the the callback will be called when the system time shows a 1326but only that the the callback will be called when the system time shows a
1328C<ev_periodic> will try to run the callback in this mode at the next possible 1331C<ev_periodic> will try to run the callback in this mode at the next possible
1329time where C<time = at (mod interval)>, regardless of any time jumps. 1332time where C<time = at (mod interval)>, regardless of any time jumps.
1330 1333
1331For numerical stability it is preferable that the C<at> value is near 1334For numerical stability it is preferable that the C<at> value is near
1332C<ev_now ()> (the current time), but there is no range requirement for 1335C<ev_now ()> (the current time), but there is no range requirement for
1333this value. 1336this value, and in fact is often specified as zero.
1337
1338Note also that there is an upper limit to how often a timer can fire (cpu
1339speed for example), so if C<interval> is very small then timing stability
1340will of course detoriate. Libev itself tries to be exact to be about one
1341millisecond (if the OS supports it and the machine is fast enough).
1334 1342
1335=item * manual reschedule mode (at and interval ignored, reschedule_cb = callback) 1343=item * manual reschedule mode (at and interval ignored, reschedule_cb = callback)
1336 1344
1337In this mode the values for C<interval> and C<at> are both being 1345In this mode the values for C<interval> and C<at> are both being
1338ignored. Instead, each time the periodic watcher gets scheduled, the 1346ignored. Instead, each time the periodic watcher gets scheduled, the
1339reschedule callback will be called with the watcher as first, and the 1347reschedule callback will be called with the watcher as first, and the
1340current time as second argument. 1348current time as second argument.
1341 1349
1342NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, 1350NOTE: I<This callback MUST NOT stop or destroy any periodic watcher,
1343ever, or make any event loop modifications>. If you need to stop it, 1351ever, or make ANY event loop modifications whatsoever>.
1344return C<now + 1e30> (or so, fudge fudge) and stop it afterwards (e.g. by
1345starting an C<ev_prepare> watcher, which is legal).
1346 1352
1353If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop
1354it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the
1355only event loop modification you are allowed to do).
1356
1347Its prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic *w, 1357The callback prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic
1348ev_tstamp now)>, e.g.: 1358*w, ev_tstamp now)>, e.g.:
1349 1359
1350 static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now) 1360 static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now)
1351 { 1361 {
1352 return now + 60.; 1362 return now + 60.;
1353 } 1363 }
1355It must return the next time to trigger, based on the passed time value 1365It must return the next time to trigger, based on the passed time value
1356(that is, the lowest time value larger than to the second argument). It 1366(that is, the lowest time value larger than to the second argument). It
1357will usually be called just before the callback will be triggered, but 1367will usually be called just before the callback will be triggered, but
1358might be called at other times, too. 1368might be called at other times, too.
1359 1369
1360NOTE: I<< This callback must always return a time that is later than the 1370NOTE: I<< This callback must always return a time that is higher than or
1361passed C<now> value >>. Not even C<now> itself will do, it I<must> be larger. 1371equal to the passed C<now> value >>.
1362 1372
1363This can be used to create very complex timers, such as a timer that 1373This can be used to create very complex timers, such as a timer that
1364triggers on each midnight, local time. To do this, you would calculate the 1374triggers on "next midnight, local time". To do this, you would calculate the
1365next midnight after C<now> and return the timestamp value for this. How 1375next midnight after C<now> and return the timestamp value for this. How
1366you do this is, again, up to you (but it is not trivial, which is the main 1376you do this is, again, up to you (but it is not trivial, which is the main
1367reason I omitted it as an example). 1377reason I omitted it as an example).
1368 1378
1369=back 1379=back
1657calls your callback, which does something. When there is another update 1667calls your callback, which does something. When there is another update
1658within the same second, C<ev_stat> will be unable to detect it as the stat 1668within the same second, C<ev_stat> will be unable to detect it as the stat
1659data does not change. 1669data does not change.
1660 1670
1661The solution to this is to delay acting on a change for slightly more 1671The solution to this is to delay acting on a change for slightly more
1662than second (or till slightly after the next full second boundary), using 1672than a second (or till slightly after the next full second boundary), using
1663a roughly one-second-delay C<ev_timer> (e.g. C<ev_timer_set (w, 0., 1.02); 1673a roughly one-second-delay C<ev_timer> (e.g. C<ev_timer_set (w, 0., 1.02);
1664ev_timer_again (loop, w)>). 1674ev_timer_again (loop, w)>).
1665 1675
1666The C<.02> offset is added to work around small timing inconsistencies 1676The C<.02> offset is added to work around small timing inconsistencies
1667of some operating systems (where the second counter of the current time 1677of some operating systems (where the second counter of the current time
3003 3013
3004=item EV_USE_4HEAP 3014=item EV_USE_4HEAP
3005 3015
3006Heaps are not very cache-efficient. To improve the cache-efficiency of the 3016Heaps are not very cache-efficient. To improve the cache-efficiency of the
3007timer and periodics heap, libev uses a 4-heap when this symbol is defined 3017timer and periodics heap, libev uses a 4-heap when this symbol is defined
3008to C<1>. The 4-heap uses more complicated (longer) code but has a 3018to C<1>. The 4-heap uses more complicated (longer) code but has
3009noticable after performance with many (thousands) of watchers. 3019noticably faster performance with many (thousands) of watchers.
3010 3020
3011The default is C<1> unless C<EV_MINIMAL> is set in which case it is C<0> 3021The default is C<1> unless C<EV_MINIMAL> is set in which case it is C<0>
3012(disabled). 3022(disabled).
3013 3023
3014=item EV_HEAP_CACHE_AT 3024=item EV_HEAP_CACHE_AT
3015 3025
3016Heaps are not very cache-efficient. To improve the cache-efficiency of the 3026Heaps are not very cache-efficient. To improve the cache-efficiency of the
3017timer and periodics heap, libev can cache the timestamp (I<at>) within 3027timer and periodics heap, libev can cache the timestamp (I<at>) within
3018the heap structure (selected by defining C<EV_HEAP_CACHE_AT> to C<1>), 3028the heap structure (selected by defining C<EV_HEAP_CACHE_AT> to C<1>),
3019which uses 8-12 bytes more per watcher and a few hundred bytes more code, 3029which uses 8-12 bytes more per watcher and a few hundred bytes more code,
3020but avoids random read accesses on heap changes. This noticably improves 3030but avoids random read accesses on heap changes. This improves performance
3021performance noticably with with many (hundreds) of watchers. 3031noticably with with many (hundreds) of watchers.
3022 3032
3023The default is C<1> unless C<EV_MINIMAL> is set in which case it is C<0> 3033The default is C<1> unless C<EV_MINIMAL> is set in which case it is C<0>
3024(disabled). 3034(disabled).
3025 3035
3026=item EV_COMMON 3036=item EV_COMMON
3251 3261
3252Due to the many, low, and arbitrary limits on the win32 platform and 3262Due to the many, low, and arbitrary limits on the win32 platform and
3253the abysmal performance of winsockets, using a large number of sockets 3263the abysmal performance of winsockets, using a large number of sockets
3254is not recommended (and not reasonable). If your program needs to use 3264is not recommended (and not reasonable). If your program needs to use
3255more than a hundred or so sockets, then likely it needs to use a totally 3265more than a hundred or so sockets, then likely it needs to use a totally
3256different implementation for windows, as libev offers the POSIX readyness 3266different implementation for windows, as libev offers the POSIX readiness
3257notification model, which cannot be implemented efficiently on windows 3267notification model, which cannot be implemented efficiently on windows
3258(microsoft monopoly games). 3268(microsoft monopoly games).
3259 3269
3260=over 4 3270=over 4
3261 3271
3352=back 3362=back
3353 3363
3354If you know of other additional requirements drop me a note. 3364If you know of other additional requirements drop me a note.
3355 3365
3356 3366
3367=head1 VALGRIND
3368
3369Valgrind has a special section here because it is a popular tool that is
3370highly useful, but valgrind reports are very hard to interpret.
3371
3372If you think you found a bug (memory leak, uninitialised data access etc.)
3373in libev, then check twice: If valgrind reports something like:
3374
3375 ==2274== definitely lost: 0 bytes in 0 blocks.
3376 ==2274== possibly lost: 0 bytes in 0 blocks.
3377 ==2274== still reachable: 256 bytes in 1 blocks.
3378
3379then there is no memory leak. Similarly, under some circumstances,
3380valgrind might report kernel bugs as if it were a bug in libev, or it
3381might be confused (it is a very good tool, but only a tool).
3382
3383If you are unsure about something, feel free to contact the mailing list
3384with the full valgrind report and an explanation on why you think this is
3385a bug in libev. However, don't be annoyed when you get a brisk "this is
3386no bug" answer and take the chance of learning how to interpret valgrind
3387properly.
3388
3389If you need, for some reason, empty reports from valgrind for your project
3390I suggest using suppression lists.
3391
3392
3357=head1 AUTHOR 3393=head1 AUTHOR
3358 3394
3359Marc Lehmann <libev@schmorp.de>. 3395Marc Lehmann <libev@schmorp.de>.
3360 3396

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines