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

Comparing libev/ev.pod (file contents):
Revision 1.334 by root, Mon Oct 25 10:30:23 2010 UTC vs.
Revision 1.341 by root, Fri Nov 5 22:08:09 2010 UTC

241the current system, you would need to look at C<ev_embeddable_backends () 241the current system, you would need to look at C<ev_embeddable_backends ()
242& ev_supported_backends ()>, likewise for recommended ones. 242& ev_supported_backends ()>, likewise for recommended ones.
243 243
244See the description of C<ev_embed> watchers for more info. 244See the description of C<ev_embed> watchers for more info.
245 245
246=item ev_set_allocator (void *(*cb)(void *ptr, long size)) [NOT REENTRANT] 246=item ev_set_allocator (void *(*cb)(void *ptr, long size))
247 247
248Sets the allocation function to use (the prototype is similar - the 248Sets the allocation function to use (the prototype is similar - the
249semantics are identical to the C<realloc> C89/SuS/POSIX function). It is 249semantics are identical to the C<realloc> C89/SuS/POSIX function). It is
250used to allocate and free memory (no surprises here). If it returns zero 250used to allocate and free memory (no surprises here). If it returns zero
251when memory needs to be allocated (C<size != 0>), the library might abort 251when memory needs to be allocated (C<size != 0>), the library might abort
277 } 277 }
278 278
279 ... 279 ...
280 ev_set_allocator (persistent_realloc); 280 ev_set_allocator (persistent_realloc);
281 281
282=item ev_set_syserr_cb (void (*cb)(const char *msg)); [NOT REENTRANT] 282=item ev_set_syserr_cb (void (*cb)(const char *msg))
283 283
284Set the callback function to call on a retryable system call error (such 284Set the callback function to call on a retryable system call error (such
285as failed select, poll, epoll_wait). The message is a printable string 285as failed select, poll, epoll_wait). The message is a printable string
286indicating the system call or subsystem causing the problem. If this 286indicating the system call or subsystem causing the problem. If this
287callback is set, then libev will expect it to remedy the situation, no 287callback is set, then libev will expect it to remedy the situation, no
402environment variable. 402environment variable.
403 403
404=item C<EVFLAG_NOINOTIFY> 404=item C<EVFLAG_NOINOTIFY>
405 405
406When this flag is specified, then libev will not attempt to use the 406When this flag is specified, then libev will not attempt to use the
407I<inotify> API for it's C<ev_stat> watchers. Apart from debugging and 407I<inotify> API for its C<ev_stat> watchers. Apart from debugging and
408testing, this flag can be useful to conserve inotify file descriptors, as 408testing, this flag can be useful to conserve inotify file descriptors, as
409otherwise each loop using C<ev_stat> watchers consumes one inotify handle. 409otherwise each loop using C<ev_stat> watchers consumes one inotify handle.
410 410
411=item C<EVFLAG_SIGNALFD> 411=item C<EVFLAG_SIGNALFD>
412 412
413When this flag is specified, then libev will attempt to use the 413When this flag is specified, then libev will attempt to use the
414I<signalfd> API for it's C<ev_signal> (and C<ev_child>) watchers. This API 414I<signalfd> API for its C<ev_signal> (and C<ev_child>) watchers. This API
415delivers signals synchronously, which makes it both faster and might make 415delivers signals synchronously, which makes it both faster and might make
416it possible to get the queued signal data. It can also simplify signal 416it possible to get the queued signal data. It can also simplify signal
417handling with threads, as long as you properly block signals in your 417handling with threads, as long as you properly block signals in your
418threads that are not interested in handling them. 418threads that are not interested in handling them.
419 419
463epoll scales either O(1) or O(active_fds). 463epoll scales either O(1) or O(active_fds).
464 464
465The epoll mechanism deserves honorable mention as the most misdesigned 465The epoll mechanism deserves honorable mention as the most misdesigned
466of the more advanced event mechanisms: mere annoyances include silently 466of the more advanced event mechanisms: mere annoyances include silently
467dropping file descriptors, requiring a system call per change per file 467dropping file descriptors, requiring a system call per change per file
468descriptor (and unnecessary guessing of parameters), problems with dup and 468descriptor (and unnecessary guessing of parameters), problems with dup,
469returning before the timeout value, resulting in additional iterations
470(and only giving 5ms accuracy while select on the same platform gives
469so on. The biggest issue is fork races, however - if a program forks then 4710.1ms) and so on. The biggest issue is fork races, however - if a program
470I<both> parent and child process have to recreate the epoll set, which can 472forks then I<both> parent and child process have to recreate the epoll
471take considerable time (one syscall per file descriptor) and is of course 473set, which can take considerable time (one syscall per file descriptor)
472hard to detect. 474and is of course hard to detect.
473 475
474Epoll is also notoriously buggy - embedding epoll fds I<should> work, but 476Epoll is also notoriously buggy - embedding epoll fds I<should> work, but
475of course I<doesn't>, and epoll just loves to report events for totally 477of course I<doesn't>, and epoll just loves to report events for totally
476I<different> file descriptors (even already closed ones, so one cannot 478I<different> file descriptors (even already closed ones, so one cannot
477even remove them from the set) than registered in the set (especially 479even remove them from the set) than registered in the set (especially
479employing an additional generation counter and comparing that against the 481employing an additional generation counter and comparing that against the
480events to filter out spurious ones, recreating the set when required. Last 482events to filter out spurious ones, recreating the set when required. Last
481not least, it also refuses to work with some file descriptors which work 483not least, it also refuses to work with some file descriptors which work
482perfectly fine with C<select> (files, many character devices...). 484perfectly fine with C<select> (files, many character devices...).
483 485
486Epoll is truly the train wreck analog among event poll mechanisms.
487
484While stopping, setting and starting an I/O watcher in the same iteration 488While stopping, setting and starting an I/O watcher in the same iteration
485will result in some caching, there is still a system call per such 489will result in some caching, there is still a system call per such
486incident (because the same I<file descriptor> could point to a different 490incident (because the same I<file descriptor> could point to a different
487I<file description> now), so its best to avoid that. Also, C<dup ()>'ed 491I<file description> now), so its best to avoid that. Also, C<dup ()>'ed
488file descriptors might not work very well if you register events for both 492file descriptors might not work very well if you register events for both
615This function is normally used on loop objects allocated by 619This function is normally used on loop objects allocated by
616C<ev_loop_new>, but it can also be used on the default loop returned by 620C<ev_loop_new>, but it can also be used on the default loop returned by
617C<ev_default_loop>, in which case it is not thread-safe. 621C<ev_default_loop>, in which case it is not thread-safe.
618 622
619Note that it is not advisable to call this function on the default loop 623Note that it is not advisable to call this function on the default loop
620except in the rare occasion where you really need to free it's resources. 624except in the rare occasion where you really need to free its resources.
621If you need dynamically allocated loops it is better to use C<ev_loop_new> 625If you need dynamically allocated loops it is better to use C<ev_loop_new>
622and C<ev_loop_destroy>. 626and C<ev_loop_destroy>.
623 627
624=item ev_loop_fork (loop) 628=item ev_loop_fork (loop)
625 629
823Can be used to make a call to C<ev_run> return early (but only after it 827Can be used to make a call to C<ev_run> return early (but only after it
824has processed all outstanding events). The C<how> argument must be either 828has processed all outstanding events). The C<how> argument must be either
825C<EVBREAK_ONE>, which will make the innermost C<ev_run> call return, or 829C<EVBREAK_ONE>, which will make the innermost C<ev_run> call return, or
826C<EVBREAK_ALL>, which will make all nested C<ev_run> calls return. 830C<EVBREAK_ALL>, which will make all nested C<ev_run> calls return.
827 831
828This "unloop state" will be cleared when entering C<ev_run> again. 832This "break state" will be cleared when entering C<ev_run> again.
829 833
830It is safe to call C<ev_break> from outside any C<ev_run> calls. ##TODO## 834It is safe to call C<ev_break> from outside any C<ev_run> calls, too.
831 835
832=item ev_ref (loop) 836=item ev_ref (loop)
833 837
834=item ev_unref (loop) 838=item ev_unref (loop)
835 839
1154programs, though, as the fd could already be closed and reused for another 1158programs, though, as the fd could already be closed and reused for another
1155thing, so beware. 1159thing, so beware.
1156 1160
1157=back 1161=back
1158 1162
1159=head2 WATCHER STATES
1160
1161There are various watcher states mentioned throughout this manual -
1162active, pending and so on. In this section these states and the rules to
1163transition between them will be described in more detail - and while these
1164rules might look complicated, they usually do "the right thing".
1165
1166=over 4
1167
1168=item initialiased
1169
1170Before a watcher can be registered with the event looop it has to be
1171initialised. This can be done with a call to C<ev_TYPE_init>, or calls to
1172C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function.
1173
1174In this state it is simply some block of memory that is suitable for use
1175in an event loop. It can be moved around, freed, reused etc. at will.
1176
1177=item started/running/active
1178
1179Once a watcher has been started with a call to C<ev_TYPE_start> it becomes
1180property of the event loop, and is actively waiting for events. While in
1181this state it cannot be accessed (except in a few documented ways), moved,
1182freed or anything else - the only legal thing is to keep a pointer to it,
1183and call libev functions on it that are documented to work on active watchers.
1184
1185=item pending
1186
1187If a watcher is active and libev determines that an event it is interested
1188in has occurred (such as a timer expiring), it will become pending. It will
1189stay in this pending state until either it is stopped or its callback is
1190about to be invoked, so it is not normally pending inside the watcher
1191callback.
1192
1193The watcher might or might not be active while it is pending (for example,
1194an expired non-repeating timer can be pending but no longer active). If it
1195is stopped, it can be freely accessed (e.g. by calling C<ev_TYPE_set>),
1196but it is still property of the event loop at this time, so cannot be
1197moved, freed or reused. And if it is active the rules described in the
1198previous item still apply.
1199
1200It is also possible to feed an event on a watcher that is not active (e.g.
1201via C<ev_feed_event>), in which case it becomes pending without being
1202active.
1203
1204=item stopped
1205
1206A watcher can be stopped implicitly by libev (in which case it might still
1207be pending), or explicitly by calling its C<ev_TYPE_stop> function. The
1208latter will clear any pending state the watcher might be in, regardless
1209of whether it was active or not, so stopping a watcher explicitly before
1210freeing it is often a good idea.
1211
1212While stopped (and not pending) the watcher is essentially in the
1213initialised state, that is it can be reused, moved, modified in any way
1214you wish.
1215
1216=back
1217
1218=head2 GENERIC WATCHER FUNCTIONS 1163=head2 GENERIC WATCHER FUNCTIONS
1219 1164
1220=over 4 1165=over 4
1221 1166
1222=item C<ev_init> (ev_TYPE *watcher, callback) 1167=item C<ev_init> (ev_TYPE *watcher, callback)
1363 1308
1364See also C<ev_feed_fd_event> and C<ev_feed_signal_event> for related 1309See also C<ev_feed_fd_event> and C<ev_feed_signal_event> for related
1365functions that do not need a watcher. 1310functions that do not need a watcher.
1366 1311
1367=back 1312=back
1368
1369 1313
1370=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER 1314=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER
1371 1315
1372Each watcher has, by default, a member C<void *data> that you can change 1316Each watcher has, by default, a member C<void *data> that you can change
1373and read at any time: libev will completely ignore it. This can be used 1317and read at any time: libev will completely ignore it. This can be used
1429 t2_cb (EV_P_ ev_timer *w, int revents) 1373 t2_cb (EV_P_ ev_timer *w, int revents)
1430 { 1374 {
1431 struct my_biggy big = (struct my_biggy *) 1375 struct my_biggy big = (struct my_biggy *)
1432 (((char *)w) - offsetof (struct my_biggy, t2)); 1376 (((char *)w) - offsetof (struct my_biggy, t2));
1433 } 1377 }
1378
1379=head2 WATCHER STATES
1380
1381There are various watcher states mentioned throughout this manual -
1382active, pending and so on. In this section these states and the rules to
1383transition between them will be described in more detail - and while these
1384rules might look complicated, they usually do "the right thing".
1385
1386=over 4
1387
1388=item initialiased
1389
1390Before a watcher can be registered with the event looop it has to be
1391initialised. This can be done with a call to C<ev_TYPE_init>, or calls to
1392C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function.
1393
1394In this state it is simply some block of memory that is suitable for use
1395in an event loop. It can be moved around, freed, reused etc. at will.
1396
1397=item started/running/active
1398
1399Once a watcher has been started with a call to C<ev_TYPE_start> it becomes
1400property of the event loop, and is actively waiting for events. While in
1401this state it cannot be accessed (except in a few documented ways), moved,
1402freed or anything else - the only legal thing is to keep a pointer to it,
1403and call libev functions on it that are documented to work on active watchers.
1404
1405=item pending
1406
1407If a watcher is active and libev determines that an event it is interested
1408in has occurred (such as a timer expiring), it will become pending. It will
1409stay in this pending state until either it is stopped or its callback is
1410about to be invoked, so it is not normally pending inside the watcher
1411callback.
1412
1413The watcher might or might not be active while it is pending (for example,
1414an expired non-repeating timer can be pending but no longer active). If it
1415is stopped, it can be freely accessed (e.g. by calling C<ev_TYPE_set>),
1416but it is still property of the event loop at this time, so cannot be
1417moved, freed or reused. And if it is active the rules described in the
1418previous item still apply.
1419
1420It is also possible to feed an event on a watcher that is not active (e.g.
1421via C<ev_feed_event>), in which case it becomes pending without being
1422active.
1423
1424=item stopped
1425
1426A watcher can be stopped implicitly by libev (in which case it might still
1427be pending), or explicitly by calling its C<ev_TYPE_stop> function. The
1428latter will clear any pending state the watcher might be in, regardless
1429of whether it was active or not, so stopping a watcher explicitly before
1430freeing it is often a good idea.
1431
1432While stopped (and not pending) the watcher is essentially in the
1433initialised state, that is it can be reused, moved, modified in any way
1434you wish.
1435
1436=back
1434 1437
1435=head2 WATCHER PRIORITY MODELS 1438=head2 WATCHER PRIORITY MODELS
1436 1439
1437Many event loops support I<watcher priorities>, which are usually small 1440Many event loops support I<watcher priorities>, which are usually small
1438integers that influence the ordering of event callback invocation 1441integers that influence the ordering of event callback invocation
2257 2260
2258=head2 C<ev_signal> - signal me when a signal gets signalled! 2261=head2 C<ev_signal> - signal me when a signal gets signalled!
2259 2262
2260Signal watchers will trigger an event when the process receives a specific 2263Signal watchers will trigger an event when the process receives a specific
2261signal one or more times. Even though signals are very asynchronous, libev 2264signal one or more times. Even though signals are very asynchronous, libev
2262will try it's best to deliver signals synchronously, i.e. as part of the 2265will try its best to deliver signals synchronously, i.e. as part of the
2263normal event processing, like any other event. 2266normal event processing, like any other event.
2264 2267
2265If you want signals to be delivered truly asynchronously, just use 2268If you want signals to be delivered truly asynchronously, just use
2266C<sigaction> as you would do without libev and forget about sharing 2269C<sigaction> as you would do without libev and forget about sharing
2267the signal. You can even use C<ev_async> from a signal handler to 2270the signal. You can even use C<ev_async> from a signal handler to
3378=item * Priorities are not currently supported. Initialising priorities 3381=item * Priorities are not currently supported. Initialising priorities
3379will fail and all watchers will have the same priority, even though there 3382will fail and all watchers will have the same priority, even though there
3380is an ev_pri field. 3383is an ev_pri field.
3381 3384
3382=item * In libevent, the last base created gets the signals, in libev, the 3385=item * In libevent, the last base created gets the signals, in libev, the
3383first base created (== the default loop) gets the signals. 3386base that registered the signal gets the signals.
3384 3387
3385=item * Other members are not supported. 3388=item * Other members are not supported.
3386 3389
3387=item * The libev emulation is I<not> ABI compatible to libevent, you need 3390=item * The libev emulation is I<not> ABI compatible to libevent, you need
3388to use the libev header file and library. 3391to use the libev header file and library.

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines