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

Comparing libev/ev.pod (file contents):
Revision 1.323 by root, Sun Oct 24 18:01:26 2010 UTC vs.
Revision 1.335 by root, Mon Oct 25 10:32:05 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
1112=item C<EV_FORK> 1120=item C<EV_FORK>
1113 1121
1114The 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
1115C<ev_fork>). 1123C<ev_fork>).
1116 1124
1125=item C<EV_CLEANUP>
1126
1127The event loop is about to be destroyed (see C<ev_cleanup>).
1128
1117=item C<EV_ASYNC> 1129=item C<EV_ASYNC>
1118 1130
1119The given async watcher has been asynchronously notified (see C<ev_async>). 1131The given async watcher has been asynchronously notified (see C<ev_async>).
1120 1132
1121=item C<EV_CUSTOM> 1133=item C<EV_CUSTOM>
1142programs, 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
1143thing, so beware. 1155thing, so beware.
1144 1156
1145=back 1157=back
1146 1158
1147=head2 WATCHER STATES
1148
1149There are various watcher states mentioned throughout this manual -
1150active, pending and so on. In this section these states and the rules to
1151transition between them will be described in more detail - and while these
1152rules might look complicated, they usually do "the right thing".
1153
1154=over 4
1155
1156=item initialiased
1157
1158Before a watcher can be registered with the event looop it has to be
1159initialised. This can be done with a call to C<ev_TYPE_init>, or calls to
1160C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function.
1161
1162In this state it is simply some block of memory that is suitable for use
1163in an event loop. It can be moved around, freed, reused etc. at will.
1164
1165=item started/running/active
1166
1167Once a watcher has been started with a call to C<ev_TYPE_start> it becomes
1168property of the event loop, and is actively waiting for events. While in
1169this state it cannot be accessed (except in a few documented ways), moved,
1170freed or anything else - the only legal thing is to keep a pointer to it,
1171and call libev functions on it that are documented to work on active watchers.
1172
1173=item pending
1174
1175If a watcher is active and libev determines that an event it is interested
1176in has occurred (such as a timer expiring), it will become pending. It will
1177stay in this pending state until either it is stopped or its callback is
1178about to be invoked, so it is not normally pending inside the watcher
1179callback.
1180
1181The watcher might or might not be active while it is pending (for example,
1182an expired non-repeating timer can be pending but no longer active). If it
1183is stopped, it can be freely accessed (e.g. by calling C<ev_TYPE_set>),
1184but it is still property of the event loop at this time, so cannot be
1185moved, freed or reused. And if it is active the rules described in the
1186previous item still apply.
1187
1188It is also possible to feed an event on a watcher that is not active (e.g.
1189via C<ev_feed_event>), in which case it becomes pending without being
1190active.
1191
1192=item stopped
1193
1194A watcher can be stopped implicitly by libev (in which case it might still
1195be pending), or explicitly by calling its C<ev_TYPE_stop> function. The
1196latter will clear any pending state the watcher might be in, regardless
1197of whether it was active or not, so stopping a watcher explicitly before
1198freeing it is often a good idea.
1199
1200While stopped (and not pending) the watcher is essentially in the
1201initialised state, that is it can be reused, moved, modified in any way
1202you wish.
1203
1204=back
1205
1206=head2 GENERIC WATCHER FUNCTIONS 1159=head2 GENERIC WATCHER FUNCTIONS
1207 1160
1208=over 4 1161=over 4
1209 1162
1210=item C<ev_init> (ev_TYPE *watcher, callback) 1163=item C<ev_init> (ev_TYPE *watcher, callback)
1351 1304
1352See 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
1353functions that do not need a watcher. 1306functions that do not need a watcher.
1354 1307
1355=back 1308=back
1356
1357 1309
1358=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER 1310=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER
1359 1311
1360Each 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
1361and 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
1417 t2_cb (EV_P_ ev_timer *w, int revents) 1369 t2_cb (EV_P_ ev_timer *w, int revents)
1418 { 1370 {
1419 struct my_biggy big = (struct my_biggy *) 1371 struct my_biggy big = (struct my_biggy *)
1420 (((char *)w) - offsetof (struct my_biggy, t2)); 1372 (((char *)w) - offsetof (struct my_biggy, t2));
1421 } 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
1422 1433
1423=head2 WATCHER PRIORITY MODELS 1434=head2 WATCHER PRIORITY MODELS
1424 1435
1425Many event loops support I<watcher priorities>, which are usually small 1436Many event loops support I<watcher priorities>, which are usually small
1426integers that influence the ordering of event callback invocation 1437integers that influence the ordering of event callback invocation
3090 3101
3091=head3 Watcher-Specific Functions and Data Members 3102=head3 Watcher-Specific Functions and Data Members
3092 3103
3093=over 4 3104=over 4
3094 3105
3095=item ev_fork_init (ev_signal *, callback) 3106=item ev_fork_init (ev_fork *, callback)
3096 3107
3097Initialises and configures the fork watcher - it has no parameters of any 3108Initialises and configures the fork watcher - it has no parameters of any
3098kind. 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,
3099believe me. 3110really.
3100 3111
3101=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);
3102 3153
3103 3154
3104=head2 C<ev_async> - how to wake up an event loop 3155=head2 C<ev_async> - how to wake up an event loop
3105 3156
3106In 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
4713structure (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
4714assumes 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
4715callback: The watcher callbacks have different type signatures, but libev 4766callback: The watcher callbacks have different type signatures, but libev
4716calls them using an C<ev_watcher *> internally. 4767calls them using an C<ev_watcher *> internally.
4717 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
4718=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
4719 4775
4720The type C<sig_atomic_t volatile> (or whatever is defined as 4776The type C<sig_atomic_t volatile> (or whatever is defined as
4721C<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
4722threads. 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
4828=back 4884=back
4829 4885
4830 4886
4831=head1 PORTING FROM LIBEV 3.X TO 4.X 4887=head1 PORTING FROM LIBEV 3.X TO 4.X
4832 4888
4833The major version 4 introduced some minor incompatible changes to the API. 4889The major version 4 introduced some incompatible changes to the API.
4834 4890
4835At the moment, the C<ev.h> header file tries to implement superficial 4891At the moment, the C<ev.h> header file provides compatibility definitions
4836compatibility, so most programs should still compile. Those might be 4892for all changes, so most programs should still compile. The compatibility
4837removed 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.
4838 4895
4839=over 4 4896=over 4
4840 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
4841=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
4842 4905
4843These 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:
4844 4907
4845 ev_loop_destroy (EV_DEFAULT); 4908 ev_loop_destroy (EV_DEFAULT_UC);
4846 ev_loop_fork (EV_DEFAULT); 4909 ev_loop_fork (EV_DEFAULT);
4847 4910
4848=item function/symbol renames 4911=item function/symbol renames
4849 4912
4850A number of functions and symbols have been renamed: 4913A number of functions and symbols have been renamed:
4870ev_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
4871as 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
4872C<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>
4873typedef. 4936typedef.
4874 4937
4875=item C<EV_COMPAT3> backwards compatibility mechanism
4876
4877The backward compatibility mechanism can be controlled by
4878C<EV_COMPAT3>. See L<PREPROCESSOR SYMBOLS/MACROS> in the L<EMBEDDING>
4879section.
4880
4881=item C<EV_MINIMAL> mechanism replaced by C<EV_FEATURES> 4938=item C<EV_MINIMAL> mechanism replaced by C<EV_FEATURES>
4882 4939
4883The preprocessor symbol C<EV_MINIMAL> has been replaced by a different 4940The preprocessor symbol C<EV_MINIMAL> has been replaced by a different
4884mechanism, C<EV_FEATURES>. Programs using C<EV_MINIMAL> usually compile 4941mechanism, C<EV_FEATURES>. Programs using C<EV_MINIMAL> usually compile
4885and work, but the library code will of course be larger. 4942and work, but the library code will of course be larger.
4959 5016
4960=back 5017=back
4961 5018
4962=head1 AUTHOR 5019=head1 AUTHOR
4963 5020
4964Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson. 5021Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael
5022Magnusson and Emanuele Giaquinta.
4965 5023

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines