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

Comparing libev/ev.pod (file contents):
Revision 1.322 by root, Sun Oct 24 17:58:41 2010 UTC vs.
Revision 1.336 by root, Mon Oct 25 11:10:10 2010 UTC

77on event-based programming, nor will it introduce event-based programming 77on event-based programming, nor will it introduce event-based programming
78with libev. 78with libev.
79 79
80Familiarity with event based programming techniques in general is assumed 80Familiarity with event based programming techniques in general is assumed
81throughout this document. 81throughout this document.
82
83=head1 WHAT TO READ WHEN IN A HURRY
84
85This manual tries to be very detailed, but unfortunately, this also makes
86it very long. If you just want to know the basics of libev, I suggest
87reading L<ANATOMY OF A WATCHER>, then the L<EXAMPLE PROGRAM> above and
88look up the missing functions in L<GLOBAL FUNCTIONS> and the C<ev_io> and
89C<ev_timer> sections in L<WATCHER TYPES>.
82 90
83=head1 ABOUT LIBEV 91=head1 ABOUT LIBEV
84 92
85Libev is an event loop: you register interest in certain events (such as a 93Libev is an event loop: you register interest in certain events (such as a
86file descriptor being readable or a timeout occurring), and it will manage 94file descriptor being readable or a timeout occurring), and it will manage
300An event loop is described by a C<struct ev_loop *> (the C<struct> is 308An event loop is described by a C<struct ev_loop *> (the C<struct> is
301I<not> optional in this case unless libev 3 compatibility is disabled, as 309I<not> optional in this case unless libev 3 compatibility is disabled, as
302libev 3 had an C<ev_loop> function colliding with the struct name). 310libev 3 had an C<ev_loop> function colliding with the struct name).
303 311
304The library knows two types of such loops, the I<default> loop, which 312The library knows two types of such loops, the I<default> loop, which
305supports signals and child events, and dynamically created event loops 313supports child process events, and dynamically created event loops which
306which do not. 314do not.
307 315
308=over 4 316=over 4
309 317
310=item struct ev_loop *ev_default_loop (unsigned int flags) 318=item struct ev_loop *ev_default_loop (unsigned int flags)
311 319
341 349
342Example: Restrict libev to the select and poll backends, and do not allow 350Example: Restrict libev to the select and poll backends, and do not allow
343environment settings to be taken into account: 351environment settings to be taken into account:
344 352
345 ev_default_loop (EVBACKEND_POLL | EVBACKEND_SELECT | EVFLAG_NOENV); 353 ev_default_loop (EVBACKEND_POLL | EVBACKEND_SELECT | EVFLAG_NOENV);
346
347Example: Use whatever libev has to offer, but make sure that kqueue is
348used if available (warning, breaks stuff, best use only with your own
349private event loop and only if you know the OS supports your types of
350fds):
351
352 ev_default_loop (ev_recommended_backends () | EVBACKEND_KQUEUE);
353 354
354=item struct ev_loop *ev_loop_new (unsigned int flags) 355=item struct ev_loop *ev_loop_new (unsigned int flags)
355 356
356This will create and initialise a new event loop object. If the loop 357This will create and initialise a new event loop object. If the loop
357could not be initialised, returns false. 358could not be initialised, returns false.
589Example: Try to create a event loop that uses epoll and nothing else. 590Example: Try to create a event loop that uses epoll and nothing else.
590 591
591 struct ev_loop *epoller = ev_loop_new (EVBACKEND_EPOLL | EVFLAG_NOENV); 592 struct ev_loop *epoller = ev_loop_new (EVBACKEND_EPOLL | EVFLAG_NOENV);
592 if (!epoller) 593 if (!epoller)
593 fatal ("no epoll found here, maybe it hides under your chair"); 594 fatal ("no epoll found here, maybe it hides under your chair");
595
596Example: Use whatever libev has to offer, but make sure that kqueue is
597used if available.
598
599 struct ev_loop *loop = ev_loop_new (ev_recommended_backends () | EVBACKEND_KQUEUE);
594 600
595=item ev_loop_destroy (loop) 601=item ev_loop_destroy (loop)
596 602
597Destroys an event loop object (frees all memory and kernel state 603Destroys an event loop object (frees all memory and kernel state
598etc.). None of the active event watchers will be stopped in the normal 604etc.). None of the active event watchers will be stopped in the normal
817Can be used to make a call to C<ev_run> return early (but only after it 823Can be used to make a call to C<ev_run> return early (but only after it
818has processed all outstanding events). The C<how> argument must be either 824has processed all outstanding events). The C<how> argument must be either
819C<EVBREAK_ONE>, which will make the innermost C<ev_run> call return, or 825C<EVBREAK_ONE>, which will make the innermost C<ev_run> call return, or
820C<EVBREAK_ALL>, which will make all nested C<ev_run> calls return. 826C<EVBREAK_ALL>, which will make all nested C<ev_run> calls return.
821 827
822This "unloop state" will be cleared when entering C<ev_run> again. 828This "break state" will be cleared when entering C<ev_run> again.
823 829
824It is safe to call C<ev_break> from outside any C<ev_run> calls. ##TODO## 830It is safe to call C<ev_break> from outside any C<ev_run> calls, too.
825 831
826=item ev_ref (loop) 832=item ev_ref (loop)
827 833
828=item ev_unref (loop) 834=item ev_unref (loop)
829 835
1114=item C<EV_FORK> 1120=item C<EV_FORK>
1115 1121
1116The event loop has been resumed in the child process after fork (see 1122The event loop has been resumed in the child process after fork (see
1117C<ev_fork>). 1123C<ev_fork>).
1118 1124
1125=item C<EV_CLEANUP>
1126
1127The event loop is about to be destroyed (see C<ev_cleanup>).
1128
1119=item C<EV_ASYNC> 1129=item C<EV_ASYNC>
1120 1130
1121The given async watcher has been asynchronously notified (see C<ev_async>). 1131The given async watcher has been asynchronously notified (see C<ev_async>).
1122 1132
1123=item C<EV_CUSTOM> 1133=item C<EV_CUSTOM>
1144programs, though, as the fd could already be closed and reused for another 1154programs, though, as the fd could already be closed and reused for another
1145thing, so beware. 1155thing, so beware.
1146 1156
1147=back 1157=back
1148 1158
1149=head2 WATCHER STATES
1150
1151There are various watcher states mentioned throughout this manual -
1152active, pending and so on. In this section these states and the rules to
1153transition between them will be described in more detail - and while these
1154rules might look complicated, they usually do "the right thing".
1155
1156=over 4
1157
1158=item initialiased
1159
1160Before a watcher can be registered with the event looop it has to be
1161initialised. This can be done with a call to C<ev_TYPE_init>, or calls to
1162C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function.
1163
1164In this state it is simply some block of memory that is suitable for use
1165in an event loop. It can be moved around, freed, reused etc. at will.
1166
1167=item started/running/active
1168
1169Once a watcher has been started with a call to C<ev_TYPE_start> it becomes
1170property of the event loop, and is actively waiting for events. While in
1171this state it cannot be accessed (except in a few documented ways), moved,
1172freed or anything else - the only legal thing is to keep a pointer to it,
1173and call libev functions on it that are documented to work on active watchers.
1174
1175=item pending
1176
1177If a watcher is active and libev determines that an event it is interested
1178in has occurred (such as a timer expiring), it will become pending. It will
1179stay in this pending state until either it is stopped or its callback is
1180about to be invoked, so it is not normally pending inside the watcher
1181callback.
1182
1183The watcher might or might not be active while it is pending (for example,
1184an expired non-repeating timer can be pending but no longer active). If it
1185is stopped, it can be freely accessed (e.g. by calling C<ev_TYPE_set>),
1186but it is still property of the event loop at this time, so cannot be
1187moved, freed or reused. And if it is active the rules described in the
1188previous item still apply.
1189
1190It is also possible to feed an event on a watcher that is not active (e.g.
1191via C<ev_feed_event>), in which case it becomes pending without being
1192active.
1193
1194=item stopped
1195
1196A watcher can be stopped implicitly by libev (in which case it might still
1197be pending), or explicitly by calling its C<ev_TYPE_stop> function. The
1198latter will clear any pending state the watcher might be in, regardless
1199of whether it was active or not, so stopping a watcher explicitly before
1200freeing it is often a good idea.
1201
1202While stopped (and not pending) the watcher is essentially in the
1203initialised state, that is it can be reused, moved, modified in any way
1204you wish.
1205
1206=back
1207
1208=head2 GENERIC WATCHER FUNCTIONS 1159=head2 GENERIC WATCHER FUNCTIONS
1209 1160
1210=over 4 1161=over 4
1211 1162
1212=item C<ev_init> (ev_TYPE *watcher, callback) 1163=item C<ev_init> (ev_TYPE *watcher, callback)
1353 1304
1354See also C<ev_feed_fd_event> and C<ev_feed_signal_event> for related 1305See also C<ev_feed_fd_event> and C<ev_feed_signal_event> for related
1355functions that do not need a watcher. 1306functions that do not need a watcher.
1356 1307
1357=back 1308=back
1358
1359 1309
1360=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER 1310=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER
1361 1311
1362Each watcher has, by default, a member C<void *data> that you can change 1312Each watcher has, by default, a member C<void *data> that you can change
1363and read at any time: libev will completely ignore it. This can be used 1313and read at any time: libev will completely ignore it. This can be used
1419 t2_cb (EV_P_ ev_timer *w, int revents) 1369 t2_cb (EV_P_ ev_timer *w, int revents)
1420 { 1370 {
1421 struct my_biggy big = (struct my_biggy *) 1371 struct my_biggy big = (struct my_biggy *)
1422 (((char *)w) - offsetof (struct my_biggy, t2)); 1372 (((char *)w) - offsetof (struct my_biggy, t2));
1423 } 1373 }
1374
1375=head2 WATCHER STATES
1376
1377There are various watcher states mentioned throughout this manual -
1378active, pending and so on. In this section these states and the rules to
1379transition between them will be described in more detail - and while these
1380rules might look complicated, they usually do "the right thing".
1381
1382=over 4
1383
1384=item initialiased
1385
1386Before a watcher can be registered with the event looop it has to be
1387initialised. This can be done with a call to C<ev_TYPE_init>, or calls to
1388C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function.
1389
1390In this state it is simply some block of memory that is suitable for use
1391in an event loop. It can be moved around, freed, reused etc. at will.
1392
1393=item started/running/active
1394
1395Once a watcher has been started with a call to C<ev_TYPE_start> it becomes
1396property of the event loop, and is actively waiting for events. While in
1397this state it cannot be accessed (except in a few documented ways), moved,
1398freed or anything else - the only legal thing is to keep a pointer to it,
1399and call libev functions on it that are documented to work on active watchers.
1400
1401=item pending
1402
1403If a watcher is active and libev determines that an event it is interested
1404in has occurred (such as a timer expiring), it will become pending. It will
1405stay in this pending state until either it is stopped or its callback is
1406about to be invoked, so it is not normally pending inside the watcher
1407callback.
1408
1409The watcher might or might not be active while it is pending (for example,
1410an expired non-repeating timer can be pending but no longer active). If it
1411is stopped, it can be freely accessed (e.g. by calling C<ev_TYPE_set>),
1412but it is still property of the event loop at this time, so cannot be
1413moved, freed or reused. And if it is active the rules described in the
1414previous item still apply.
1415
1416It is also possible to feed an event on a watcher that is not active (e.g.
1417via C<ev_feed_event>), in which case it becomes pending without being
1418active.
1419
1420=item stopped
1421
1422A watcher can be stopped implicitly by libev (in which case it might still
1423be pending), or explicitly by calling its C<ev_TYPE_stop> function. The
1424latter will clear any pending state the watcher might be in, regardless
1425of whether it was active or not, so stopping a watcher explicitly before
1426freeing it is often a good idea.
1427
1428While stopped (and not pending) the watcher is essentially in the
1429initialised state, that is it can be reused, moved, modified in any way
1430you wish.
1431
1432=back
1424 1433
1425=head2 WATCHER PRIORITY MODELS 1434=head2 WATCHER PRIORITY MODELS
1426 1435
1427Many event loops support I<watcher priorities>, which are usually small 1436Many event loops support I<watcher priorities>, which are usually small
1428integers that influence the ordering of event callback invocation 1437integers that influence the ordering of event callback invocation
3092 3101
3093=head3 Watcher-Specific Functions and Data Members 3102=head3 Watcher-Specific Functions and Data Members
3094 3103
3095=over 4 3104=over 4
3096 3105
3097=item ev_fork_init (ev_signal *, callback) 3106=item ev_fork_init (ev_fork *, callback)
3098 3107
3099Initialises and configures the fork watcher - it has no parameters of any 3108Initialises and configures the fork watcher - it has no parameters of any
3100kind. There is a C<ev_fork_set> macro, but using it is utterly pointless, 3109kind. There is a C<ev_fork_set> macro, but using it is utterly pointless,
3101believe me. 3110really.
3102 3111
3103=back 3112=back
3113
3114
3115=head2 C<ev_cleanup> - even the best things end
3116
3117Cleanup watchers are called just before the event loop is being destroyed
3118by a call to C<ev_loop_destroy>.
3119
3120While there is no guarantee that the event loop gets destroyed, cleanup
3121watchers provide a convenient method to install cleanup hooks for your
3122program, worker threads and so on - you just to make sure to destroy the
3123loop when you want them to be invoked.
3124
3125Cleanup watchers are invoked in the same way as any other watcher. Unlike
3126all other watchers, they do not keep a reference to the event loop (which
3127makes a lot of sense if you think about it). Like all other watchers, you
3128can call libev functions in the callback, except C<ev_cleanup_start>.
3129
3130=head3 Watcher-Specific Functions and Data Members
3131
3132=over 4
3133
3134=item ev_cleanup_init (ev_cleanup *, callback)
3135
3136Initialises and configures the cleanup watcher - it has no parameters of
3137any kind. There is a C<ev_cleanup_set> macro, but using it is utterly
3138pointless, I assure you.
3139
3140=back
3141
3142Example: Register an atexit handler to destroy the default loop, so any
3143cleanup functions are called.
3144
3145 static void
3146 program_exits (void)
3147 {
3148 ev_loop_destroy (EV_DEFAULT_UC);
3149 }
3150
3151 ...
3152 atexit (program_exits);
3104 3153
3105 3154
3106=head2 C<ev_async> - how to wake up an event loop 3155=head2 C<ev_async> - how to wake up an event loop
3107 3156
3108In general, you cannot use an C<ev_run> from multiple threads or other 3157In general, you cannot use an C<ev_run> from multiple threads or other
4715structure (guaranteed by POSIX but not by ISO C for example), but it also 4764structure (guaranteed by POSIX but not by ISO C for example), but it also
4716assumes that the same (machine) code can be used to call any watcher 4765assumes that the same (machine) code can be used to call any watcher
4717callback: The watcher callbacks have different type signatures, but libev 4766callback: The watcher callbacks have different type signatures, but libev
4718calls them using an C<ev_watcher *> internally. 4767calls them using an C<ev_watcher *> internally.
4719 4768
4769=item pointer accesses must be thread-atomic
4770
4771Accessing a pointer value must be atomic, it must both be readable and
4772writable in one piece - this is the case on all current architectures.
4773
4720=item C<sig_atomic_t volatile> must be thread-atomic as well 4774=item C<sig_atomic_t volatile> must be thread-atomic as well
4721 4775
4722The type C<sig_atomic_t volatile> (or whatever is defined as 4776The type C<sig_atomic_t volatile> (or whatever is defined as
4723C<EV_ATOMIC_T>) must be atomic with respect to accesses from different 4777C<EV_ATOMIC_T>) must be atomic with respect to accesses from different
4724threads. This is not part of the specification for C<sig_atomic_t>, but is 4778threads. This is not part of the specification for C<sig_atomic_t>, but is
4830=back 4884=back
4831 4885
4832 4886
4833=head1 PORTING FROM LIBEV 3.X TO 4.X 4887=head1 PORTING FROM LIBEV 3.X TO 4.X
4834 4888
4835The major version 4 introduced some minor incompatible changes to the API. 4889The major version 4 introduced some incompatible changes to the API.
4836 4890
4837At the moment, the C<ev.h> header file tries to implement superficial 4891At the moment, the C<ev.h> header file provides compatibility definitions
4838compatibility, so most programs should still compile. Those might be 4892for all changes, so most programs should still compile. The compatibility
4839removed in later versions of libev, so better update early than late. 4893layer might be removed in later versions of libev, so better update to the
4894new API early than late.
4840 4895
4841=over 4 4896=over 4
4842 4897
4898=item C<EV_COMPAT3> backwards compatibility mechanism
4899
4900The backward compatibility mechanism can be controlled by
4901C<EV_COMPAT3>. See L<PREPROCESSOR SYMBOLS/MACROS> in the L<EMBEDDING>
4902section.
4903
4843=item C<ev_default_destroy> and C<ev_default_fork> have been removed 4904=item C<ev_default_destroy> and C<ev_default_fork> have been removed
4844 4905
4845These calls can be replaced easily by their C<ev_loop_xxx> counterparts: 4906These calls can be replaced easily by their C<ev_loop_xxx> counterparts:
4846 4907
4847 ev_loop_destroy (EV_DEFAULT); 4908 ev_loop_destroy (EV_DEFAULT_UC);
4848 ev_loop_fork (EV_DEFAULT); 4909 ev_loop_fork (EV_DEFAULT);
4849 4910
4850=item function/symbol renames 4911=item function/symbol renames
4851 4912
4852A number of functions and symbols have been renamed: 4913A number of functions and symbols have been renamed:
4872ev_loop> anymore and C<EV_TIMER> now follows the same naming scheme 4933ev_loop> anymore and C<EV_TIMER> now follows the same naming scheme
4873as all other watcher types. Note that C<ev_loop_fork> is still called 4934as all other watcher types. Note that C<ev_loop_fork> is still called
4874C<ev_loop_fork> because it would otherwise clash with the C<ev_fork> 4935C<ev_loop_fork> because it would otherwise clash with the C<ev_fork>
4875typedef. 4936typedef.
4876 4937
4877=item C<EV_COMPAT3> backwards compatibility mechanism
4878
4879The backward compatibility mechanism can be controlled by
4880C<EV_COMPAT3>. See L<PREPROCESSOR SYMBOLS/MACROS> in the L<EMBEDDING>
4881section.
4882
4883=item C<EV_MINIMAL> mechanism replaced by C<EV_FEATURES> 4938=item C<EV_MINIMAL> mechanism replaced by C<EV_FEATURES>
4884 4939
4885The preprocessor symbol C<EV_MINIMAL> has been replaced by a different 4940The preprocessor symbol C<EV_MINIMAL> has been replaced by a different
4886mechanism, C<EV_FEATURES>. Programs using C<EV_MINIMAL> usually compile 4941mechanism, C<EV_FEATURES>. Programs using C<EV_MINIMAL> usually compile
4887and work, but the library code will of course be larger. 4942and work, but the library code will of course be larger.
4961 5016
4962=back 5017=back
4963 5018
4964=head1 AUTHOR 5019=head1 AUTHOR
4965 5020
4966Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson. 5021Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael
5022Magnusson and Emanuele Giaquinta.
4967 5023

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines