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

Comparing libev/ev.pod (file contents):
Revision 1.233 by root, Thu Apr 16 07:32:51 2009 UTC vs.
Revision 1.239 by root, Tue Apr 21 14:14:19 2009 UTC

62 62
63 // unloop was called, so exit 63 // unloop was called, so exit
64 return 0; 64 return 0;
65 } 65 }
66 66
67=head1 DESCRIPTION 67=head1 ABOUT THIS DOCUMENT
68
69This document documents the libev software package.
68 70
69The newest version of this document is also available as an html-formatted 71The newest version of this document is also available as an html-formatted
70web page you might find easier to navigate when reading it for the first 72web page you might find easier to navigate when reading it for the first
71time: L<http://pod.tst.eu/http://cvs.schmorp.de/libev/ev.pod>. 73time: L<http://pod.tst.eu/http://cvs.schmorp.de/libev/ev.pod>.
74
75While this document tries to be as complete as possible in documenting
76libev, its usage and the rationale behind its design, it is not a tutorial
77on event-based programming, nor will it introduce event-based programming
78with libev.
79
80Familarity with event based programming techniques in general is assumed
81throughout this document.
82
83=head1 ABOUT LIBEV
72 84
73Libev is an event loop: you register interest in certain events (such as a 85Libev is an event loop: you register interest in certain events (such as a
74file descriptor being readable or a timeout occurring), and it will manage 86file descriptor being readable or a timeout occurring), and it will manage
75these event sources and provide your program with events. 87these event sources and provide your program with events.
76 88
110name C<loop> (which is always of type C<ev_loop *>) will not have 122name C<loop> (which is always of type C<ev_loop *>) will not have
111this argument. 123this argument.
112 124
113=head2 TIME REPRESENTATION 125=head2 TIME REPRESENTATION
114 126
115Libev represents time as a single floating point number, representing the 127Libev represents time as a single floating point number, representing
116(fractional) number of seconds since the (POSIX) epoch (somewhere near 128the (fractional) number of seconds since the (POSIX) epoch (somewhere
117the beginning of 1970, details are complicated, don't ask). This type is 129near the beginning of 1970, details are complicated, don't ask). This
118called C<ev_tstamp>, which is what you should use too. It usually aliases 130type is called C<ev_tstamp>, which is what you should use too. It usually
119to the C<double> type in C, and when you need to do any calculations on 131aliases to the C<double> type in C. When you need to do any calculations
120it, you should treat it as some floating point value. Unlike the name 132on it, you should treat it as some floating point value. Unlike the name
121component C<stamp> might indicate, it is also used for time differences 133component C<stamp> might indicate, it is also used for time differences
122throughout libev. 134throughout libev.
123 135
124=head1 ERROR HANDLING 136=head1 ERROR HANDLING
125 137
632 644
633This function is rarely useful, but when some event callback runs for a 645This function is rarely useful, but when some event callback runs for a
634very long time without entering the event loop, updating libev's idea of 646very long time without entering the event loop, updating libev's idea of
635the current time is a good idea. 647the current time is a good idea.
636 648
637See also "The special problem of time updates" in the C<ev_timer> section. 649See also L<The special problem of time updates> in the C<ev_timer> section.
638 650
639=item ev_suspend (loop) 651=item ev_suspend (loop)
640 652
641=item ev_resume (loop) 653=item ev_resume (loop)
642 654
1096or might not have been clamped to the valid range. 1108or might not have been clamped to the valid range.
1097 1109
1098The default priority used by watchers when no priority has been set is 1110The default priority used by watchers when no priority has been set is
1099always C<0>, which is supposed to not be too high and not be too low :). 1111always C<0>, which is supposed to not be too high and not be too low :).
1100 1112
1101See L<WATCHER PRIORITIES>, below, for a more thorough treatment of 1113See L<WATCHER PRIORITY MODELS>, below, for a more thorough treatment of
1102priorities. 1114priorities.
1103 1115
1104=item ev_invoke (loop, ev_TYPE *watcher, int revents) 1116=item ev_invoke (loop, ev_TYPE *watcher, int revents)
1105 1117
1106Invoke the C<watcher> with the given C<loop> and C<revents>. Neither 1118Invoke the C<watcher> with the given C<loop> and C<revents>. Neither
1320descriptors to non-blocking mode is also usually a good idea (but not 1332descriptors to non-blocking mode is also usually a good idea (but not
1321required if you know what you are doing). 1333required if you know what you are doing).
1322 1334
1323If you cannot use non-blocking mode, then force the use of a 1335If you cannot use non-blocking mode, then force the use of a
1324known-to-be-good backend (at the time of this writing, this includes only 1336known-to-be-good backend (at the time of this writing, this includes only
1325C<EVBACKEND_SELECT> and C<EVBACKEND_POLL>). 1337C<EVBACKEND_SELECT> and C<EVBACKEND_POLL>). The same applies to file
1338descriptors for which non-blocking operation makes no sense (such as
1339files) - libev doesn't guarentee any specific behaviour in that case.
1326 1340
1327Another thing you have to watch out for is that it is quite easy to 1341Another thing you have to watch out for is that it is quite easy to
1328receive "spurious" readiness notifications, that is your callback might 1342receive "spurious" readiness notifications, that is your callback might
1329be called with C<EV_READ> but a subsequent C<read>(2) will actually block 1343be called with C<EV_READ> but a subsequent C<read>(2) will actually block
1330because there is no data. Not only are some backends known to create a 1344because there is no data. Not only are some backends known to create a
2696event loop blocks next and before C<ev_check> watchers are being called, 2710event loop blocks next and before C<ev_check> watchers are being called,
2697and only in the child after the fork. If whoever good citizen calling 2711and only in the child after the fork. If whoever good citizen calling
2698C<ev_default_fork> cheats and calls it in the wrong process, the fork 2712C<ev_default_fork> cheats and calls it in the wrong process, the fork
2699handlers will be invoked, too, of course. 2713handlers will be invoked, too, of course.
2700 2714
2715=head3 The special problem of life after fork - how is it possible?
2716
2717Most uses of C<fork()> consist of forking, then some simple calls to ste
2718up/change the process environment, followed by a call to C<exec()>. This
2719sequence should be handled by libev without any problems.
2720
2721This changes when the application actually wants to do event handling
2722in the child, or both parent in child, in effect "continuing" after the
2723fork.
2724
2725The default mode of operation (for libev, with application help to detect
2726forks) is to duplicate all the state in the child, as would be expected
2727when I<either> the parent I<or> the child process continues.
2728
2729When both processes want to continue using libev, then this is usually the
2730wrong result. In that case, usually one process (typically the parent) is
2731supposed to continue with all watchers in place as before, while the other
2732process typically wants to start fresh, i.e. without any active watchers.
2733
2734The cleanest and most efficient way to achieve that with libev is to
2735simply create a new event loop, which of course will be "empty", and
2736use that for new watchers. This has the advantage of not touching more
2737memory than necessary, and thus avoiding the copy-on-write, and the
2738disadvantage of having to use multiple event loops (which do not support
2739signal watchers).
2740
2741When this is not possible, or you want to use the default loop for
2742other reasons, then in the process that wants to start "fresh", call
2743C<ev_default_destroy ()> followed by C<ev_default_loop (...)>. Destroying
2744the default loop will "orphan" (not stop) all registered watchers, so you
2745have to be careful not to execute code that modifies those watchers. Note
2746also that in that case, you have to re-register any signal watchers.
2747
2701=head3 Watcher-Specific Functions and Data Members 2748=head3 Watcher-Specific Functions and Data Members
2702 2749
2703=over 4 2750=over 4
2704 2751
2705=item ev_fork_init (ev_signal *, callback) 2752=item ev_fork_init (ev_signal *, callback)
4094involves iterating over all running async watchers or all signal numbers. 4141involves iterating over all running async watchers or all signal numbers.
4095 4142
4096=back 4143=back
4097 4144
4098 4145
4146=head1 GLOSSARY
4147
4148=over 4
4149
4150=item active
4151
4152A watcher is active as long as it has been started (has been attached to
4153an event loop) but not yet stopped (disassociated from the event loop).
4154
4155=item application
4156
4157In this document, an application is whatever is using libev.
4158
4159=item callback
4160
4161The address of a function that is called when some event has been
4162detected. Callbacks are being passed the event loop, the watcher that
4163received the event, and the actual event bitset.
4164
4165=item callback invocation
4166
4167The act of calling the callback associated with a watcher.
4168
4169=item event
4170
4171A change of state of some external event, such as data now being available
4172for reading on a file descriptor, time having passed or simply not having
4173any other events happening anymore.
4174
4175In libev, events are represented as single bits (such as C<EV_READ> or
4176C<EV_TIMEOUT>).
4177
4178=item event library
4179
4180A software package implementing an event model and loop.
4181
4182=item event loop
4183
4184An entity that handles and processes external events and converts them
4185into callback invocations.
4186
4187=item event model
4188
4189The model used to describe how an event loop handles and processes
4190watchers and events.
4191
4192=item pending
4193
4194A watcher is pending as soon as the corresponding event has been detected,
4195and stops being pending as soon as the watcher will be invoked or its
4196pending status is explicitly cleared by the application.
4197
4198A watcher can be pending, but not active. Stopping a watcher also clears
4199its pending status.
4200
4201=item real time
4202
4203The physical time that is observed. It is apparently strictly monotonic :)
4204
4205=item wall-clock time
4206
4207The time and date as shown on clocks. Unlike real time, it can actually
4208be wrong and jump forwards and backwards, e.g. when the you adjust your
4209clock.
4210
4211=item watcher
4212
4213A data structure that describes interest in certain events. Watchers need
4214to be started (attached to an event loop) before they can receive events.
4215
4216=item watcher invocation
4217
4218The act of calling the callback associated with a watcher.
4219
4220=back
4221
4099=head1 AUTHOR 4222=head1 AUTHOR
4100 4223
4101Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson. 4224Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson.
4102 4225

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines