ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/AnyEvent/lib/AnyEvent.pm
(Generate patch)

Comparing AnyEvent/lib/AnyEvent.pm (file contents):
Revision 1.106 by root, Thu May 1 13:45:22 2008 UTC vs.
Revision 1.249 by root, Mon Jul 20 06:00:42 2009 UTC

1=head1 NAME 1=head1 NAME
2 2
3AnyEvent - provide framework for multiple event loops 3AnyEvent - events independent of event loop implementation
4 4
5EV, Event, Coro::EV, Coro::Event, Glib, Tk, Perl, Event::Lib, Qt, POE - various supported event loops 5EV, Event, Glib, Tk, Perl, Event::Lib, Qt and POE are various supported
6event loops.
6 7
7=head1 SYNOPSIS 8=head1 SYNOPSIS
8 9
9 use AnyEvent; 10 use AnyEvent;
10 11
12 # file descriptor readable
11 my $w = AnyEvent->io (fh => $fh, poll => "r|w", cb => sub { 13 my $w = AnyEvent->io (fh => $fh, poll => "r", cb => sub { ... });
14
15 # one-shot or repeating timers
16 my $w = AnyEvent->timer (after => $seconds, cb => sub { ... });
17 my $w = AnyEvent->timer (after => $seconds, interval => $seconds, cb => ...
18
19 print AnyEvent->now; # prints current event loop time
20 print AnyEvent->time; # think Time::HiRes::time or simply CORE::time.
21
22 # POSIX signal
23 my $w = AnyEvent->signal (signal => "TERM", cb => sub { ... });
24
25 # child process exit
26 my $w = AnyEvent->child (pid => $pid, cb => sub {
27 my ($pid, $status) = @_;
12 ... 28 ...
13 }); 29 });
14 30
15 my $w = AnyEvent->timer (after => $seconds, cb => sub { 31 # called when event loop idle (if applicable)
16 ... 32 my $w = AnyEvent->idle (cb => sub { ... });
17 });
18 33
19 my $w = AnyEvent->condvar; # stores whether a condition was flagged 34 my $w = AnyEvent->condvar; # stores whether a condition was flagged
35 $w->send; # wake up current and all future recv's
20 $w->wait; # enters "main loop" till $condvar gets ->send 36 $w->recv; # enters "main loop" till $condvar gets ->send
21 $w->send; # wake up current and all future wait's 37 # use a condvar in callback mode:
38 $w->cb (sub { $_[0]->recv });
39
40=head1 INTRODUCTION/TUTORIAL
41
42This manpage is mainly a reference manual. If you are interested
43in a tutorial or some gentle introduction, have a look at the
44L<AnyEvent::Intro> manpage.
45
46=head1 SUPPORT
47
48There is a mailinglist for discussing all things AnyEvent, and an IRC
49channel, too.
50
51See the AnyEvent project page at the B<Schmorpforge Ta-Sa Software
52Respository>, at L<http://anyevent.schmorp.de>, for more info.
22 53
23=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT) 54=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT)
24 55
25Glib, POE, IO::Async, Event... CPAN offers event models by the dozen 56Glib, POE, IO::Async, Event... CPAN offers event models by the dozen
26nowadays. So what is different about AnyEvent? 57nowadays. So what is different about AnyEvent?
27 58
28Executive Summary: AnyEvent is I<compatible>, AnyEvent is I<free of 59Executive Summary: AnyEvent is I<compatible>, AnyEvent is I<free of
29policy> and AnyEvent is I<small and efficient>. 60policy> and AnyEvent is I<small and efficient>.
30 61
31First and foremost, I<AnyEvent is not an event model> itself, it only 62First and foremost, I<AnyEvent is not an event model> itself, it only
32interfaces to whatever event model the main program happens to use in a 63interfaces to whatever event model the main program happens to use, in a
33pragmatic way. For event models and certain classes of immortals alike, 64pragmatic way. For event models and certain classes of immortals alike,
34the statement "there can only be one" is a bitter reality: In general, 65the statement "there can only be one" is a bitter reality: In general,
35only one event loop can be active at the same time in a process. AnyEvent 66only one event loop can be active at the same time in a process. AnyEvent
36helps hiding the differences between those event loops. 67cannot change this, but it can hide the differences between those event
68loops.
37 69
38The goal of AnyEvent is to offer module authors the ability to do event 70The goal of AnyEvent is to offer module authors the ability to do event
39programming (waiting for I/O or timer events) without subscribing to a 71programming (waiting for I/O or timer events) without subscribing to a
40religion, a way of living, and most importantly: without forcing your 72religion, a way of living, and most importantly: without forcing your
41module users into the same thing by forcing them to use the same event 73module users into the same thing by forcing them to use the same event
42model you use. 74model you use.
43 75
44For modules like POE or IO::Async (which is a total misnomer as it is 76For modules like POE or IO::Async (which is a total misnomer as it is
45actually doing all I/O I<synchronously>...), using them in your module is 77actually doing all I/O I<synchronously>...), using them in your module is
46like joining a cult: After you joined, you are dependent on them and you 78like joining a cult: After you joined, you are dependent on them and you
47cannot use anything else, as it is simply incompatible to everything that 79cannot use anything else, as they are simply incompatible to everything
48isn't itself. What's worse, all the potential users of your module are 80that isn't them. What's worse, all the potential users of your
49I<also> forced to use the same event loop you use. 81module are I<also> forced to use the same event loop you use.
50 82
51AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works 83AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works
52fine. AnyEvent + Tk works fine etc. etc. but none of these work together 84fine. AnyEvent + Tk works fine etc. etc. but none of these work together
53with the rest: POE + IO::Async? no go. Tk + Event? no go. Again: if 85with the rest: POE + IO::Async? No go. Tk + Event? No go. Again: if
54your module uses one of those, every user of your module has to use it, 86your module uses one of those, every user of your module has to use it,
55too. But if your module uses AnyEvent, it works transparently with all 87too. But if your module uses AnyEvent, it works transparently with all
56event models it supports (including stuff like POE and IO::Async, as long 88event models it supports (including stuff like IO::Async, as long as those
57as those use one of the supported event loops. It is trivial to add new 89use one of the supported event loops. It is trivial to add new event loops
58event loops to AnyEvent, too, so it is future-proof). 90to AnyEvent, too, so it is future-proof).
59 91
60In addition to being free of having to use I<the one and only true event 92In addition to being free of having to use I<the one and only true event
61model>, AnyEvent also is free of bloat and policy: with POE or similar 93model>, AnyEvent also is free of bloat and policy: with POE or similar
62modules, you get an enourmous amount of code and strict rules you have to 94modules, you get an enormous amount of code and strict rules you have to
63follow. AnyEvent, on the other hand, is lean and up to the point, by only 95follow. AnyEvent, on the other hand, is lean and up to the point, by only
64offering the functionality that is necessary, in as thin as a wrapper as 96offering the functionality that is necessary, in as thin as a wrapper as
65technically possible. 97technically possible.
66 98
99Of course, AnyEvent comes with a big (and fully optional!) toolbox
100of useful functionality, such as an asynchronous DNS resolver, 100%
101non-blocking connects (even with TLS/SSL, IPv6 and on broken platforms
102such as Windows) and lots of real-world knowledge and workarounds for
103platform bugs and differences.
104
67Of course, if you want lots of policy (this can arguably be somewhat 105Now, if you I<do want> lots of policy (this can arguably be somewhat
68useful) and you want to force your users to use the one and only event 106useful) and you want to force your users to use the one and only event
69model, you should I<not> use this module. 107model, you should I<not> use this module.
70 108
71=head1 DESCRIPTION 109=head1 DESCRIPTION
72 110
78The interface itself is vaguely similar, but not identical to the L<Event> 116The interface itself is vaguely similar, but not identical to the L<Event>
79module. 117module.
80 118
81During the first call of any watcher-creation method, the module tries 119During the first call of any watcher-creation method, the module tries
82to detect the currently loaded event loop by probing whether one of the 120to detect the currently loaded event loop by probing whether one of the
83following modules is already loaded: L<Coro::EV>, L<Coro::Event>, L<EV>, 121following modules is already loaded: L<EV>,
84L<Event>, L<Glib>, L<AnyEvent::Impl::Perl>, L<Tk>, L<Event::Lib>, L<Qt>, 122L<Event>, L<Glib>, L<AnyEvent::Impl::Perl>, L<Tk>, L<Event::Lib>, L<Qt>,
85L<POE>. The first one found is used. If none are found, the module tries 123L<POE>. The first one found is used. If none are found, the module tries
86to load these modules (excluding Tk, Event::Lib, Qt and POE as the pure perl 124to load these modules (excluding Tk, Event::Lib, Qt and POE as the pure perl
87adaptor should always succeed) in the order given. The first one that can 125adaptor should always succeed) in the order given. The first one that can
88be successfully loaded will be used. If, after this, still none could be 126be successfully loaded will be used. If, after this, still none could be
102starts using it, all bets are off. Maybe you should tell their authors to 140starts using it, all bets are off. Maybe you should tell their authors to
103use AnyEvent so their modules work together with others seamlessly... 141use AnyEvent so their modules work together with others seamlessly...
104 142
105The pure-perl implementation of AnyEvent is called 143The pure-perl implementation of AnyEvent is called
106C<AnyEvent::Impl::Perl>. Like other event modules you can load it 144C<AnyEvent::Impl::Perl>. Like other event modules you can load it
107explicitly. 145explicitly and enjoy the high availability of that event loop :)
108 146
109=head1 WATCHERS 147=head1 WATCHERS
110 148
111AnyEvent has the central concept of a I<watcher>, which is an object that 149AnyEvent has the central concept of a I<watcher>, which is an object that
112stores relevant data for each kind of event you are waiting for, such as 150stores relevant data for each kind of event you are waiting for, such as
113the callback to call, the filehandle to watch, etc. 151the callback to call, the file handle to watch, etc.
114 152
115These watchers are normal Perl objects with normal Perl lifetime. After 153These watchers are normal Perl objects with normal Perl lifetime. After
116creating a watcher it will immediately "watch" for events and invoke the 154creating a watcher it will immediately "watch" for events and invoke the
117callback when the event occurs (of course, only when the event model 155callback when the event occurs (of course, only when the event model
118is in control). 156is in control).
119 157
158Note that B<callbacks must not permanently change global variables>
159potentially in use by the event loop (such as C<$_> or C<$[>) and that B<<
160callbacks must not C<die> >>. The former is good programming practise in
161Perl and the latter stems from the fact that exception handling differs
162widely between event loops.
163
120To disable the watcher you have to destroy it (e.g. by setting the 164To disable the watcher you have to destroy it (e.g. by setting the
121variable you store it in to C<undef> or otherwise deleting all references 165variable you store it in to C<undef> or otherwise deleting all references
122to it). 166to it).
123 167
124All watchers are created by calling a method on the C<AnyEvent> class. 168All watchers are created by calling a method on the C<AnyEvent> class.
126Many watchers either are used with "recursion" (repeating timers for 170Many watchers either are used with "recursion" (repeating timers for
127example), or need to refer to their watcher object in other ways. 171example), or need to refer to their watcher object in other ways.
128 172
129An any way to achieve that is this pattern: 173An any way to achieve that is this pattern:
130 174
131 my $w; $w = AnyEvent->type (arg => value ..., cb => sub { 175 my $w; $w = AnyEvent->type (arg => value ..., cb => sub {
132 # you can use $w here, for example to undef it 176 # you can use $w here, for example to undef it
133 undef $w; 177 undef $w;
134 }); 178 });
135 179
136Note that C<my $w; $w => combination. This is necessary because in Perl, 180Note that C<my $w; $w => combination. This is necessary because in Perl,
137my variables are only visible after the statement in which they are 181my variables are only visible after the statement in which they are
138declared. 182declared.
139 183
140=head2 I/O WATCHERS 184=head2 I/O WATCHERS
141 185
142You can create an I/O watcher by calling the C<< AnyEvent->io >> method 186You can create an I/O watcher by calling the C<< AnyEvent->io >> method
143with the following mandatory key-value pairs as arguments: 187with the following mandatory key-value pairs as arguments:
144 188
145C<fh> the Perl I<file handle> (I<not> file descriptor) to watch 189C<fh> is the Perl I<file handle> (or a naked file descriptor) to watch
190for events (AnyEvent might or might not keep a reference to this file
191handle). Note that only file handles pointing to things for which
192non-blocking operation makes sense are allowed. This includes sockets,
193most character devices, pipes, fifos and so on, but not for example files
194or block devices.
195
146for events. C<poll> must be a string that is either C<r> or C<w>, 196C<poll> must be a string that is either C<r> or C<w>, which creates a
147which creates a watcher waiting for "r"eadable or "w"ritable events, 197watcher waiting for "r"eadable or "w"ritable events, respectively.
198
148respectively. C<cb> is the callback to invoke each time the file handle 199C<cb> is the callback to invoke each time the file handle becomes ready.
149becomes ready.
150 200
151Although the callback might get passed parameters, their value and 201Although the callback might get passed parameters, their value and
152presence is undefined and you cannot rely on them. Portable AnyEvent 202presence is undefined and you cannot rely on them. Portable AnyEvent
153callbacks cannot use arguments passed to I/O watcher callbacks. 203callbacks cannot use arguments passed to I/O watcher callbacks.
154 204
158 208
159Some event loops issue spurious readyness notifications, so you should 209Some event loops issue spurious readyness notifications, so you should
160always use non-blocking calls when reading/writing from/to your file 210always use non-blocking calls when reading/writing from/to your file
161handles. 211handles.
162 212
163Example:
164
165 # wait for readability of STDIN, then read a line and disable the watcher 213Example: wait for readability of STDIN, then read a line and disable the
214watcher.
215
166 my $w; $w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub { 216 my $w; $w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
167 chomp (my $input = <STDIN>); 217 chomp (my $input = <STDIN>);
168 warn "read: $input\n"; 218 warn "read: $input\n";
169 undef $w; 219 undef $w;
170 }); 220 });
180 230
181Although the callback might get passed parameters, their value and 231Although the callback might get passed parameters, their value and
182presence is undefined and you cannot rely on them. Portable AnyEvent 232presence is undefined and you cannot rely on them. Portable AnyEvent
183callbacks cannot use arguments passed to time watcher callbacks. 233callbacks cannot use arguments passed to time watcher callbacks.
184 234
185The timer callback will be invoked at most once: if you want a repeating 235The callback will normally be invoked once only. If you specify another
186timer you have to create a new watcher (this is a limitation by both Tk 236parameter, C<interval>, as a strictly positive number (> 0), then the
187and Glib). 237callback will be invoked regularly at that interval (in fractional
238seconds) after the first invocation. If C<interval> is specified with a
239false value, then it is treated as if it were missing.
188 240
189Example: 241The callback will be rescheduled before invoking the callback, but no
242attempt is done to avoid timer drift in most backends, so the interval is
243only approximate.
190 244
191 # fire an event after 7.7 seconds 245Example: fire an event after 7.7 seconds.
246
192 my $w = AnyEvent->timer (after => 7.7, cb => sub { 247 my $w = AnyEvent->timer (after => 7.7, cb => sub {
193 warn "timeout\n"; 248 warn "timeout\n";
194 }); 249 });
195 250
196 # to cancel the timer: 251 # to cancel the timer:
197 undef $w; 252 undef $w;
198 253
199Example 2:
200
201 # fire an event after 0.5 seconds, then roughly every second 254Example 2: fire an event after 0.5 seconds, then roughly every second.
202 my $w;
203 255
204 my $cb = sub {
205 # cancel the old timer while creating a new one
206 $w = AnyEvent->timer (after => 1, cb => $cb); 256 my $w = AnyEvent->timer (after => 0.5, interval => 1, cb => sub {
257 warn "timeout\n";
207 }; 258 };
208
209 # start the "loop" by creating the first watcher
210 $w = AnyEvent->timer (after => 0.5, cb => $cb);
211 259
212=head3 TIMING ISSUES 260=head3 TIMING ISSUES
213 261
214There are two ways to handle timers: based on real time (relative, "fire 262There are two ways to handle timers: based on real time (relative, "fire
215in 10 seconds") and based on wallclock time (absolute, "fire at 12 263in 10 seconds") and based on wallclock time (absolute, "fire at 12
227timers. 275timers.
228 276
229AnyEvent always prefers relative timers, if available, matching the 277AnyEvent always prefers relative timers, if available, matching the
230AnyEvent API. 278AnyEvent API.
231 279
280AnyEvent has two additional methods that return the "current time":
281
282=over 4
283
284=item AnyEvent->time
285
286This returns the "current wallclock time" as a fractional number of
287seconds since the Epoch (the same thing as C<time> or C<Time::HiRes::time>
288return, and the result is guaranteed to be compatible with those).
289
290It progresses independently of any event loop processing, i.e. each call
291will check the system clock, which usually gets updated frequently.
292
293=item AnyEvent->now
294
295This also returns the "current wallclock time", but unlike C<time>, above,
296this value might change only once per event loop iteration, depending on
297the event loop (most return the same time as C<time>, above). This is the
298time that AnyEvent's timers get scheduled against.
299
300I<In almost all cases (in all cases if you don't care), this is the
301function to call when you want to know the current time.>
302
303This function is also often faster then C<< AnyEvent->time >>, and
304thus the preferred method if you want some timestamp (for example,
305L<AnyEvent::Handle> uses this to update it's activity timeouts).
306
307The rest of this section is only of relevance if you try to be very exact
308with your timing, you can skip it without bad conscience.
309
310For a practical example of when these times differ, consider L<Event::Lib>
311and L<EV> and the following set-up:
312
313The event loop is running and has just invoked one of your callback at
314time=500 (assume no other callbacks delay processing). In your callback,
315you wait a second by executing C<sleep 1> (blocking the process for a
316second) and then (at time=501) you create a relative timer that fires
317after three seconds.
318
319With L<Event::Lib>, C<< AnyEvent->time >> and C<< AnyEvent->now >> will
320both return C<501>, because that is the current time, and the timer will
321be scheduled to fire at time=504 (C<501> + C<3>).
322
323With L<EV>, C<< AnyEvent->time >> returns C<501> (as that is the current
324time), but C<< AnyEvent->now >> returns C<500>, as that is the time the
325last event processing phase started. With L<EV>, your timer gets scheduled
326to run at time=503 (C<500> + C<3>).
327
328In one sense, L<Event::Lib> is more exact, as it uses the current time
329regardless of any delays introduced by event processing. However, most
330callbacks do not expect large delays in processing, so this causes a
331higher drift (and a lot more system calls to get the current time).
332
333In another sense, L<EV> is more exact, as your timer will be scheduled at
334the same time, regardless of how long event processing actually took.
335
336In either case, if you care (and in most cases, you don't), then you
337can get whatever behaviour you want with any event loop, by taking the
338difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into
339account.
340
341=item AnyEvent->now_update
342
343Some event loops (such as L<EV> or L<AnyEvent::Impl::Perl>) cache
344the current time for each loop iteration (see the discussion of L<<
345AnyEvent->now >>, above).
346
347When a callback runs for a long time (or when the process sleeps), then
348this "current" time will differ substantially from the real time, which
349might affect timers and time-outs.
350
351When this is the case, you can call this method, which will update the
352event loop's idea of "current time".
353
354Note that updating the time I<might> cause some events to be handled.
355
356=back
357
232=head2 SIGNAL WATCHERS 358=head2 SIGNAL WATCHERS
233 359
234You can watch for signals using a signal watcher, C<signal> is the signal 360You can watch for signals using a signal watcher, C<signal> is the signal
235I<name> without any C<SIG> prefix, C<cb> is the Perl callback to 361I<name> in uppercase and without any C<SIG> prefix, C<cb> is the Perl
236be invoked whenever a signal occurs. 362callback to be invoked whenever a signal occurs.
237 363
238Although the callback might get passed parameters, their value and 364Although the callback might get passed parameters, their value and
239presence is undefined and you cannot rely on them. Portable AnyEvent 365presence is undefined and you cannot rely on them. Portable AnyEvent
240callbacks cannot use arguments passed to signal watcher callbacks. 366callbacks cannot use arguments passed to signal watcher callbacks.
241 367
242Multiple signal occurances can be clumped together into one callback 368Multiple signal occurrences can be clumped together into one callback
243invocation, and callback invocation will be synchronous. synchronous means 369invocation, and callback invocation will be synchronous. Synchronous means
244that it might take a while until the signal gets handled by the process, 370that it might take a while until the signal gets handled by the process,
245but it is guarenteed not to interrupt any other callbacks. 371but it is guaranteed not to interrupt any other callbacks.
246 372
247The main advantage of using these watchers is that you can share a signal 373The main advantage of using these watchers is that you can share a signal
248between multiple watchers. 374between multiple watchers, and AnyEvent will ensure that signals will not
375interrupt your program at bad times.
249 376
250This watcher might use C<%SIG>, so programs overwriting those signals 377This watcher might use C<%SIG> (depending on the event loop used),
251directly will likely not work correctly. 378so programs overwriting those signals directly will likely not work
379correctly.
252 380
253Example: exit on SIGINT 381Example: exit on SIGINT
254 382
255 my $w = AnyEvent->signal (signal => "INT", cb => sub { exit 1 }); 383 my $w = AnyEvent->signal (signal => "INT", cb => sub { exit 1 });
256 384
385=head3 Signal Races, Delays and Workarounds
386
387Many event loops (e.g. Glib, Tk, Qt, IO::Async) do not support attaching
388callbacks to signals in a generic way, which is a pity, as you cannot do
389race-free signal handling in perl. AnyEvent will try to do it's best, but
390in some cases, signals will be delayed. The maximum time a signal might
391be delayed is specified in C<$AnyEvent::MAX_SIGNAL_LATENCY> (default: 10
392seconds). This variable can be changed only before the first signal
393watcher is created, and should be left alone otherwise. Higher values
394will cause fewer spurious wake-ups, which is better for power and CPU
395saving. All these problems can be avoided by installing the optional
396L<Async::Interrupt> module. This will not work with inherently broken
397event loops such as L<Event> or L<Event::Lib> (and not with L<POE>
398currently, as POE does it's own workaround with one-second latency). With
399those, you just have to suffer the delays.
400
257=head2 CHILD PROCESS WATCHERS 401=head2 CHILD PROCESS WATCHERS
258 402
259You can also watch on a child process exit and catch its exit status. 403You can also watch on a child process exit and catch its exit status.
260 404
261The child process is specified by the C<pid> argument (if set to C<0>, it 405The child process is specified by the C<pid> argument (if set to C<0>, it
262watches for any child process exit). The watcher will trigger as often 406watches for any child process exit). The watcher will triggered only when
263as status change for the child are received. This works by installing a 407the child process has finished and an exit status is available, not on
264signal handler for C<SIGCHLD>. The callback will be called with the pid 408any trace events (stopped/continued).
265and exit status (as returned by waitpid), so unlike other watcher types, 409
266you I<can> rely on child watcher callback arguments. 410The callback will be called with the pid and exit status (as returned by
411waitpid), so unlike other watcher types, you I<can> rely on child watcher
412callback arguments.
413
414This watcher type works by installing a signal handler for C<SIGCHLD>,
415and since it cannot be shared, nothing else should use SIGCHLD or reap
416random child processes (waiting for specific child processes, e.g. inside
417C<system>, is just fine).
267 418
268There is a slight catch to child watchers, however: you usually start them 419There is a slight catch to child watchers, however: you usually start them
269I<after> the child process was created, and this means the process could 420I<after> the child process was created, and this means the process could
270have exited already (and no SIGCHLD will be sent anymore). 421have exited already (and no SIGCHLD will be sent anymore).
271 422
272Not all event models handle this correctly (POE doesn't), but even for 423Not all event models handle this correctly (neither POE nor IO::Async do,
424see their AnyEvent::Impl manpages for details), but even for event models
273event models that I<do> handle this correctly, they usually need to be 425that I<do> handle this correctly, they usually need to be loaded before
274loaded before the process exits (i.e. before you fork in the first place). 426the process exits (i.e. before you fork in the first place). AnyEvent's
427pure perl event loop handles all cases correctly regardless of when you
428start the watcher.
275 429
276This means you cannot create a child watcher as the very first thing in an 430This means you cannot create a child watcher as the very first
277AnyEvent program, you I<have> to create at least one watcher before you 431thing in an AnyEvent program, you I<have> to create at least one
278C<fork> the child (alternatively, you can call C<AnyEvent::detect>). 432watcher before you C<fork> the child (alternatively, you can call
433C<AnyEvent::detect>).
434
435As most event loops do not support waiting for child events, they will be
436emulated by AnyEvent in most cases, in which the latency and race problems
437mentioned in the description of signal watchers apply.
279 438
280Example: fork a process and wait for it 439Example: fork a process and wait for it
281 440
282 my $done = AnyEvent->condvar; 441 my $done = AnyEvent->condvar;
283 442
284 AnyEvent::detect; # force event module to be initialised
285
286 my $pid = fork or exit 5; 443 my $pid = fork or exit 5;
287 444
288 my $w = AnyEvent->child ( 445 my $w = AnyEvent->child (
289 pid => $pid, 446 pid => $pid,
290 cb => sub { 447 cb => sub {
291 my ($pid, $status) = @_; 448 my ($pid, $status) = @_;
292 warn "pid $pid exited with status $status"; 449 warn "pid $pid exited with status $status";
293 $done->send; 450 $done->send;
294 }, 451 },
295 ); 452 );
296 453
297 # do something else, then wait for process exit 454 # do something else, then wait for process exit
298 $done->wait; 455 $done->recv;
456
457=head2 IDLE WATCHERS
458
459Sometimes there is a need to do something, but it is not so important
460to do it instantly, but only when there is nothing better to do. This
461"nothing better to do" is usually defined to be "no other events need
462attention by the event loop".
463
464Idle watchers ideally get invoked when the event loop has nothing
465better to do, just before it would block the process to wait for new
466events. Instead of blocking, the idle watcher is invoked.
467
468Most event loops unfortunately do not really support idle watchers (only
469EV, Event and Glib do it in a usable fashion) - for the rest, AnyEvent
470will simply call the callback "from time to time".
471
472Example: read lines from STDIN, but only process them when the
473program is otherwise idle:
474
475 my @lines; # read data
476 my $idle_w;
477 my $io_w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
478 push @lines, scalar <STDIN>;
479
480 # start an idle watcher, if not already done
481 $idle_w ||= AnyEvent->idle (cb => sub {
482 # handle only one line, when there are lines left
483 if (my $line = shift @lines) {
484 print "handled when idle: $line";
485 } else {
486 # otherwise disable the idle watcher again
487 undef $idle_w;
488 }
489 });
490 });
299 491
300=head2 CONDITION VARIABLES 492=head2 CONDITION VARIABLES
301 493
302If you are familiar with some event loops you will know that all of them 494If you are familiar with some event loops you will know that all of them
303require you to run some blocking "loop", "run" or similar function that 495require you to run some blocking "loop", "run" or similar function that
304will actively watch for new events and call your callbacks. 496will actively watch for new events and call your callbacks.
305 497
306AnyEvent is different, it expects somebody else to run the event loop and 498AnyEvent is slightly different: it expects somebody else to run the event
307will only block when necessary (usually when told by the user). 499loop and will only block when necessary (usually when told by the user).
308 500
309The instrument to do that is called a "condition variable", so called 501The instrument to do that is called a "condition variable", so called
310because they represent a condition that must become true. 502because they represent a condition that must become true.
503
504Now is probably a good time to look at the examples further below.
311 505
312Condition variables can be created by calling the C<< AnyEvent->condvar 506Condition variables can be created by calling the C<< AnyEvent->condvar
313>> method, usually without arguments. The only argument pair allowed is 507>> method, usually without arguments. The only argument pair allowed is
314C<cb>, which specifies a callback to be called when the condition variable 508C<cb>, which specifies a callback to be called when the condition variable
315becomes true. 509becomes true, with the condition variable as the first argument (but not
510the results).
316 511
317After creation, the conditon variable is "false" until it becomes "true" 512After creation, the condition variable is "false" until it becomes "true"
318by calling the C<send> method. 513by calling the C<send> method (or calling the condition variable as if it
514were a callback, read about the caveats in the description for the C<<
515->send >> method).
319 516
320Condition variables are similar to callbacks, except that you can 517Condition variables are similar to callbacks, except that you can
321optionally wait for them. They can also be called merge points - points 518optionally wait for them. They can also be called merge points - points
322in time where multiple outstandign events have been processed. And yet 519in time where multiple outstanding events have been processed. And yet
323another way to call them is transations - each condition variable can be 520another way to call them is transactions - each condition variable can be
324used to represent a transaction, which finishes at some point and delivers 521used to represent a transaction, which finishes at some point and delivers
325a result. 522a result.
326 523
327Condition variables are very useful to signal that something has finished, 524Condition variables are very useful to signal that something has finished,
328for example, if you write a module that does asynchronous http requests, 525for example, if you write a module that does asynchronous http requests,
329then a condition variable would be the ideal candidate to signal the 526then a condition variable would be the ideal candidate to signal the
330availability of results. The user can either act when the callback is 527availability of results. The user can either act when the callback is
331called or can synchronously C<< ->wait >> for the results. 528called or can synchronously C<< ->recv >> for the results.
332 529
333You can also use them to simulate traditional event loops - for example, 530You can also use them to simulate traditional event loops - for example,
334you can block your main program until an event occurs - for example, you 531you can block your main program until an event occurs - for example, you
335could C<< ->wait >> in your main program until the user clicks the Quit 532could C<< ->recv >> in your main program until the user clicks the Quit
336button of your app, which would C<< ->send >> the "quit" event. 533button of your app, which would C<< ->send >> the "quit" event.
337 534
338Note that condition variables recurse into the event loop - if you have 535Note that condition variables recurse into the event loop - if you have
339two pieces of code that call C<< ->wait >> in a round-robbin fashion, you 536two pieces of code that call C<< ->recv >> in a round-robin fashion, you
340lose. Therefore, condition variables are good to export to your caller, but 537lose. Therefore, condition variables are good to export to your caller, but
341you should avoid making a blocking wait yourself, at least in callbacks, 538you should avoid making a blocking wait yourself, at least in callbacks,
342as this asks for trouble. 539as this asks for trouble.
343 540
344Condition variables are represented by hash refs in perl, and the keys 541Condition variables are represented by hash refs in perl, and the keys
349 546
350There are two "sides" to a condition variable - the "producer side" which 547There are two "sides" to a condition variable - the "producer side" which
351eventually calls C<< -> send >>, and the "consumer side", which waits 548eventually calls C<< -> send >>, and the "consumer side", which waits
352for the send to occur. 549for the send to occur.
353 550
354Example: 551Example: wait for a timer.
355 552
356 # wait till the result is ready 553 # wait till the result is ready
357 my $result_ready = AnyEvent->condvar; 554 my $result_ready = AnyEvent->condvar;
358 555
359 # do something such as adding a timer 556 # do something such as adding a timer
364 after => 1, 561 after => 1,
365 cb => sub { $result_ready->send }, 562 cb => sub { $result_ready->send },
366 ); 563 );
367 564
368 # this "blocks" (while handling events) till the callback 565 # this "blocks" (while handling events) till the callback
369 # calls send 566 # calls -<send
370 $result_ready->wait; 567 $result_ready->recv;
568
569Example: wait for a timer, but take advantage of the fact that condition
570variables are also callable directly.
571
572 my $done = AnyEvent->condvar;
573 my $delay = AnyEvent->timer (after => 5, cb => $done);
574 $done->recv;
575
576Example: Imagine an API that returns a condvar and doesn't support
577callbacks. This is how you make a synchronous call, for example from
578the main program:
579
580 use AnyEvent::CouchDB;
581
582 ...
583
584 my @info = $couchdb->info->recv;
585
586And this is how you would just set a callback to be called whenever the
587results are available:
588
589 $couchdb->info->cb (sub {
590 my @info = $_[0]->recv;
591 });
371 592
372=head3 METHODS FOR PRODUCERS 593=head3 METHODS FOR PRODUCERS
373 594
374These methods should only be used by the producing side, i.e. the 595These methods should only be used by the producing side, i.e. the
375code/module that eventually sends the signal. Note that it is also 596code/module that eventually sends the signal. Note that it is also
378 599
379=over 4 600=over 4
380 601
381=item $cv->send (...) 602=item $cv->send (...)
382 603
383Flag the condition as ready - a running C<< ->wait >> and all further 604Flag the condition as ready - a running C<< ->recv >> and all further
384calls to C<wait> will (eventually) return after this method has been 605calls to C<recv> will (eventually) return after this method has been
385called. If nobody is waiting the send will be remembered. 606called. If nobody is waiting the send will be remembered.
386 607
387If a callback has been set on the condition variable, it is called 608If a callback has been set on the condition variable, it is called
388immediately from within send. 609immediately from within send.
389 610
390Any arguments passed to the C<send> call will be returned by all 611Any arguments passed to the C<send> call will be returned by all
391future C<< ->wait >> calls. 612future C<< ->recv >> calls.
613
614Condition variables are overloaded so one can call them directly (as if
615they were a code reference). Calling them directly is the same as calling
616C<send>.
392 617
393=item $cv->croak ($error) 618=item $cv->croak ($error)
394 619
395Similar to send, but causes all call's wait C<< ->wait >> to invoke 620Similar to send, but causes all call's to C<< ->recv >> to invoke
396C<Carp::croak> with the given error message/object/scalar. 621C<Carp::croak> with the given error message/object/scalar.
397 622
398This can be used to signal any errors to the condition variable 623This can be used to signal any errors to the condition variable
399user/consumer. 624user/consumer. Doing it this way instead of calling C<croak> directly
625delays the error detetcion, but has the overwhelmign advantage that it
626diagnoses the error at the place where the result is expected, and not
627deep in some event clalback without connection to the actual code causing
628the problem.
400 629
401=item $cv->begin ([group callback]) 630=item $cv->begin ([group callback])
402 631
403=item $cv->end 632=item $cv->end
404 633
410C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end 639C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end
411>>, the (last) callback passed to C<begin> will be executed. That callback 640>>, the (last) callback passed to C<begin> will be executed. That callback
412is I<supposed> to call C<< ->send >>, but that is not required. If no 641is I<supposed> to call C<< ->send >>, but that is not required. If no
413callback was set, C<send> will be called without any arguments. 642callback was set, C<send> will be called without any arguments.
414 643
415Let's clarify this with the ping example: 644You can think of C<< $cv->send >> giving you an OR condition (one call
645sends), while C<< $cv->begin >> and C<< $cv->end >> giving you an AND
646condition (all C<begin> calls must be C<end>'ed before the condvar sends).
647
648Let's start with a simple example: you have two I/O watchers (for example,
649STDOUT and STDERR for a program), and you want to wait for both streams to
650close before activating a condvar:
651
652 my $cv = AnyEvent->condvar;
653
654 $cv->begin; # first watcher
655 my $w1 = AnyEvent->io (fh => $fh1, cb => sub {
656 defined sysread $fh1, my $buf, 4096
657 or $cv->end;
658 });
659
660 $cv->begin; # second watcher
661 my $w2 = AnyEvent->io (fh => $fh2, cb => sub {
662 defined sysread $fh2, my $buf, 4096
663 or $cv->end;
664 });
665
666 $cv->recv;
667
668This works because for every event source (EOF on file handle), there is
669one call to C<begin>, so the condvar waits for all calls to C<end> before
670sending.
671
672The ping example mentioned above is slightly more complicated, as the
673there are results to be passwd back, and the number of tasks that are
674begung can potentially be zero:
416 675
417 my $cv = AnyEvent->condvar; 676 my $cv = AnyEvent->condvar;
418 677
419 my %result; 678 my %result;
420 $cv->begin (sub { $cv->send (\%result) }); 679 $cv->begin (sub { $cv->send (\%result) });
440loop, which serves two important purposes: first, it sets the callback 699loop, which serves two important purposes: first, it sets the callback
441to be called once the counter reaches C<0>, and second, it ensures that 700to be called once the counter reaches C<0>, and second, it ensures that
442C<send> is called even when C<no> hosts are being pinged (the loop 701C<send> is called even when C<no> hosts are being pinged (the loop
443doesn't execute once). 702doesn't execute once).
444 703
445This is the general pattern when you "fan out" into multiple subrequests: 704This is the general pattern when you "fan out" into multiple (but
446use an outer C<begin>/C<end> pair to set the callback and ensure C<end> 705potentially none) subrequests: use an outer C<begin>/C<end> pair to set
447is called at least once, and then, for each subrequest you start, call 706the callback and ensure C<end> is called at least once, and then, for each
448C<begin> and for eahc subrequest you finish, call C<end>. 707subrequest you start, call C<begin> and for each subrequest you finish,
708call C<end>.
449 709
450=back 710=back
451 711
452=head3 METHODS FOR CONSUMERS 712=head3 METHODS FOR CONSUMERS
453 713
454These methods should only be used by the consuming side, i.e. the 714These methods should only be used by the consuming side, i.e. the
455code awaits the condition. 715code awaits the condition.
456 716
457=over 4 717=over 4
458 718
459=item $cv->wait 719=item $cv->recv
460 720
461Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak 721Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak
462>> methods have been called on c<$cv>, while servicing other watchers 722>> methods have been called on c<$cv>, while servicing other watchers
463normally. 723normally.
464 724
469function will call C<croak>. 729function will call C<croak>.
470 730
471In list context, all parameters passed to C<send> will be returned, 731In list context, all parameters passed to C<send> will be returned,
472in scalar context only the first one will be returned. 732in scalar context only the first one will be returned.
473 733
734Note that doing a blocking wait in a callback is not supported by any
735event loop, that is, recursive invocation of a blocking C<< ->recv
736>> is not allowed, and the C<recv> call will C<croak> if such a
737condition is detected. This condition can be slightly loosened by using
738L<Coro::AnyEvent>, which allows you to do a blocking C<< ->recv >> from
739any thread that doesn't run the event loop itself.
740
474Not all event models support a blocking wait - some die in that case 741Not all event models support a blocking wait - some die in that case
475(programs might want to do that to stay interactive), so I<if you are 742(programs might want to do that to stay interactive), so I<if you are
476using this from a module, never require a blocking wait>, but let the 743using this from a module, never require a blocking wait>. Instead, let the
477caller decide whether the call will block or not (for example, by coupling 744caller decide whether the call will block or not (for example, by coupling
478condition variables with some kind of request results and supporting 745condition variables with some kind of request results and supporting
479callbacks so the caller knows that getting the result will not block, 746callbacks so the caller knows that getting the result will not block,
480while still suppporting blocking waits if the caller so desires). 747while still supporting blocking waits if the caller so desires).
481 748
482Another reason I<never> to C<< ->wait >> in a module is that you cannot
483sensibly have two C<< ->wait >>'s in parallel, as that would require
484multiple interpreters or coroutines/threads, none of which C<AnyEvent>
485can supply (the coroutine-aware backends L<AnyEvent::Impl::CoroEV> and
486L<AnyEvent::Impl::CoroEvent> explicitly support concurrent C<< ->wait >>'s
487from different coroutines, however).
488
489You can ensure that C<< -wait >> never blocks by setting a callback and 749You can ensure that C<< -recv >> never blocks by setting a callback and
490only calling C<< ->wait >> from within that callback (or at a later 750only calling C<< ->recv >> from within that callback (or at a later
491time). This will work even when the event loop does not support blocking 751time). This will work even when the event loop does not support blocking
492waits otherwise. 752waits otherwise.
493 753
494=item $bool = $cv->ready 754=item $bool = $cv->ready
495 755
496Returns true when the condition is "true", i.e. whether C<send> or 756Returns true when the condition is "true", i.e. whether C<send> or
497C<croak> have been called. 757C<croak> have been called.
498 758
499=item $cb = $cv->cb ([new callback]) 759=item $cb = $cv->cb ($cb->($cv))
500 760
501This is a mutator function that returns the callback set and optionally 761This is a mutator function that returns the callback set and optionally
502replaces it before doing so. 762replaces it before doing so.
503 763
504The callback will be called when the condition becomes "true", i.e. when 764The callback will be called when the condition becomes "true", i.e. when
505C<send> or C<croak> are called. Calling C<wait> inside the callback 765C<send> or C<croak> are called, with the only argument being the condition
506or at any later time is guaranteed not to block. 766variable itself. Calling C<recv> inside the callback or at any later time
767is guaranteed not to block.
507 768
508=back 769=back
509 770
771=head1 SUPPORTED EVENT LOOPS/BACKENDS
772
773The available backend classes are (every class has its own manpage):
774
775=over 4
776
777=item Backends that are autoprobed when no other event loop can be found.
778
779EV is the preferred backend when no other event loop seems to be in
780use. If EV is not installed, then AnyEvent will try Event, and, failing
781that, will fall back to its own pure-perl implementation, which is
782available everywhere as it comes with AnyEvent itself.
783
784 AnyEvent::Impl::EV based on EV (interface to libev, best choice).
785 AnyEvent::Impl::Event based on Event, very stable, few glitches.
786 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
787
788=item Backends that are transparently being picked up when they are used.
789
790These will be used when they are currently loaded when the first watcher
791is created, in which case it is assumed that the application is using
792them. This means that AnyEvent will automatically pick the right backend
793when the main program loads an event module before anything starts to
794create watchers. Nothing special needs to be done by the main program.
795
796 AnyEvent::Impl::Glib based on Glib, slow but very stable.
797 AnyEvent::Impl::Tk based on Tk, very broken.
798 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
799 AnyEvent::Impl::POE based on POE, very slow, some limitations.
800
801=item Backends with special needs.
802
803Qt requires the Qt::Application to be instantiated first, but will
804otherwise be picked up automatically. As long as the main program
805instantiates the application before any AnyEvent watchers are created,
806everything should just work.
807
808 AnyEvent::Impl::Qt based on Qt.
809
810Support for IO::Async can only be partial, as it is too broken and
811architecturally limited to even support the AnyEvent API. It also
812is the only event loop that needs the loop to be set explicitly, so
813it can only be used by a main program knowing about AnyEvent. See
814L<AnyEvent::Impl::Async> for the gory details.
815
816 AnyEvent::Impl::IOAsync based on IO::Async, cannot be autoprobed.
817
818=item Event loops that are indirectly supported via other backends.
819
820Some event loops can be supported via other modules:
821
822There is no direct support for WxWidgets (L<Wx>) or L<Prima>.
823
824B<WxWidgets> has no support for watching file handles. However, you can
825use WxWidgets through the POE adaptor, as POE has a Wx backend that simply
826polls 20 times per second, which was considered to be too horrible to even
827consider for AnyEvent.
828
829B<Prima> is not supported as nobody seems to be using it, but it has a POE
830backend, so it can be supported through POE.
831
832AnyEvent knows about both L<Prima> and L<Wx>, however, and will try to
833load L<POE> when detecting them, in the hope that POE will pick them up,
834in which case everything will be automatic.
835
836=back
837
510=head1 GLOBAL VARIABLES AND FUNCTIONS 838=head1 GLOBAL VARIABLES AND FUNCTIONS
511 839
840These are not normally required to use AnyEvent, but can be useful to
841write AnyEvent extension modules.
842
512=over 4 843=over 4
513 844
514=item $AnyEvent::MODEL 845=item $AnyEvent::MODEL
515 846
516Contains C<undef> until the first watcher is being created. Then it 847Contains C<undef> until the first watcher is being created, before the
848backend has been autodetected.
849
517contains the event model that is being used, which is the name of the 850Afterwards it contains the event model that is being used, which is the
518Perl class implementing the model. This class is usually one of the 851name of the Perl class implementing the model. This class is usually one
519C<AnyEvent::Impl:xxx> modules, but can be any other class in the case 852of the C<AnyEvent::Impl:xxx> modules, but can be any other class in the
520AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>). 853case AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode> it
521 854will be C<urxvt::anyevent>).
522The known classes so far are:
523
524 AnyEvent::Impl::CoroEV based on Coro::EV, best choice.
525 AnyEvent::Impl::CoroEvent based on Coro::Event, second best choice.
526 AnyEvent::Impl::EV based on EV (an interface to libev, best choice).
527 AnyEvent::Impl::Event based on Event, second best choice.
528 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
529 AnyEvent::Impl::Glib based on Glib, third-best choice.
530 AnyEvent::Impl::Tk based on Tk, very bad choice.
531 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
532 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
533 AnyEvent::Impl::POE based on POE, not generic enough for full support.
534
535There is no support for WxWidgets, as WxWidgets has no support for
536watching file handles. However, you can use WxWidgets through the
537POE Adaptor, as POE has a Wx backend that simply polls 20 times per
538second, which was considered to be too horrible to even consider for
539AnyEvent. Likewise, other POE backends can be used by AnyEvent by using
540it's adaptor.
541
542AnyEvent knows about L<Prima> and L<Wx> and will try to use L<POE> when
543autodetecting them.
544 855
545=item AnyEvent::detect 856=item AnyEvent::detect
546 857
547Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model 858Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model
548if necessary. You should only call this function right before you would 859if necessary. You should only call this function right before you would
549have created an AnyEvent watcher anyway, that is, as late as possible at 860have created an AnyEvent watcher anyway, that is, as late as possible at
550runtime. 861runtime, and not e.g. while initialising of your module.
862
863If you need to do some initialisation before AnyEvent watchers are
864created, use C<post_detect>.
865
866=item $guard = AnyEvent::post_detect { BLOCK }
867
868Arranges for the code block to be executed as soon as the event model is
869autodetected (or immediately if this has already happened).
870
871The block will be executed I<after> the actual backend has been detected
872(C<$AnyEvent::MODEL> is set), but I<before> any watchers have been
873created, so it is possible to e.g. patch C<@AnyEvent::ISA> or do
874other initialisations - see the sources of L<AnyEvent::Strict> or
875L<AnyEvent::AIO> to see how this is used.
876
877The most common usage is to create some global watchers, without forcing
878event module detection too early, for example, L<AnyEvent::AIO> creates
879and installs the global L<IO::AIO> watcher in a C<post_detect> block to
880avoid autodetecting the event module at load time.
881
882If called in scalar or list context, then it creates and returns an object
883that automatically removes the callback again when it is destroyed. See
884L<Coro::BDB> for a case where this is useful.
885
886=item @AnyEvent::post_detect
887
888If there are any code references in this array (you can C<push> to it
889before or after loading AnyEvent), then they will called directly after
890the event loop has been chosen.
891
892You should check C<$AnyEvent::MODEL> before adding to this array, though:
893if it is defined then the event loop has already been detected, and the
894array will be ignored.
895
896Best use C<AnyEvent::post_detect { BLOCK }> when your application allows
897it,as it takes care of these details.
898
899This variable is mainly useful for modules that can do something useful
900when AnyEvent is used and thus want to know when it is initialised, but do
901not need to even load it by default. This array provides the means to hook
902into AnyEvent passively, without loading it.
551 903
552=back 904=back
553 905
554=head1 WHAT TO DO IN A MODULE 906=head1 WHAT TO DO IN A MODULE
555 907
559Be careful when you create watchers in the module body - AnyEvent will 911Be careful when you create watchers in the module body - AnyEvent will
560decide which event module to use as soon as the first method is called, so 912decide which event module to use as soon as the first method is called, so
561by calling AnyEvent in your module body you force the user of your module 913by calling AnyEvent in your module body you force the user of your module
562to load the event module first. 914to load the event module first.
563 915
564Never call C<< ->wait >> on a condition variable unless you I<know> that 916Never call C<< ->recv >> on a condition variable unless you I<know> that
565the C<< ->send >> method has been called on it already. This is 917the C<< ->send >> method has been called on it already. This is
566because it will stall the whole program, and the whole point of using 918because it will stall the whole program, and the whole point of using
567events is to stay interactive. 919events is to stay interactive.
568 920
569It is fine, however, to call C<< ->wait >> when the user of your module 921It is fine, however, to call C<< ->recv >> when the user of your module
570requests it (i.e. if you create a http request object ad have a method 922requests it (i.e. if you create a http request object ad have a method
571called C<results> that returns the results, it should call C<< ->wait >> 923called C<results> that returns the results, it should call C<< ->recv >>
572freely, as the user of your module knows what she is doing. always). 924freely, as the user of your module knows what she is doing. always).
573 925
574=head1 WHAT TO DO IN THE MAIN PROGRAM 926=head1 WHAT TO DO IN THE MAIN PROGRAM
575 927
576There will always be a single main program - the only place that should 928There will always be a single main program - the only place that should
578 930
579If it doesn't care, it can just "use AnyEvent" and use it itself, or not 931If it doesn't care, it can just "use AnyEvent" and use it itself, or not
580do anything special (it does not need to be event-based) and let AnyEvent 932do anything special (it does not need to be event-based) and let AnyEvent
581decide which implementation to chose if some module relies on it. 933decide which implementation to chose if some module relies on it.
582 934
583If the main program relies on a specific event model. For example, in 935If the main program relies on a specific event model - for example, in
584Gtk2 programs you have to rely on the Glib module. You should load the 936Gtk2 programs you have to rely on the Glib module - you should load the
585event module before loading AnyEvent or any module that uses it: generally 937event module before loading AnyEvent or any module that uses it: generally
586speaking, you should load it as early as possible. The reason is that 938speaking, you should load it as early as possible. The reason is that
587modules might create watchers when they are loaded, and AnyEvent will 939modules might create watchers when they are loaded, and AnyEvent will
588decide on the event model to use as soon as it creates watchers, and it 940decide on the event model to use as soon as it creates watchers, and it
589might chose the wrong one unless you load the correct one yourself. 941might chose the wrong one unless you load the correct one yourself.
590 942
591You can chose to use a rather inefficient pure-perl implementation by 943You can chose to use a pure-perl implementation by loading the
592loading the C<AnyEvent::Impl::Perl> module, which gives you similar 944C<AnyEvent::Impl::Perl> module, which gives you similar behaviour
593behaviour everywhere, but letting AnyEvent chose is generally better. 945everywhere, but letting AnyEvent chose the model is generally better.
946
947=head2 MAINLOOP EMULATION
948
949Sometimes (often for short test scripts, or even standalone programs who
950only want to use AnyEvent), you do not want to run a specific event loop.
951
952In that case, you can use a condition variable like this:
953
954 AnyEvent->condvar->recv;
955
956This has the effect of entering the event loop and looping forever.
957
958Note that usually your program has some exit condition, in which case
959it is better to use the "traditional" approach of storing a condition
960variable somewhere, waiting for it, and sending it when the program should
961exit cleanly.
962
594 963
595=head1 OTHER MODULES 964=head1 OTHER MODULES
596 965
597The following is a non-exhaustive list of additional modules that use 966The following is a non-exhaustive list of additional modules that use
598AnyEvent and can therefore be mixed easily with other AnyEvent modules 967AnyEvent as a client and can therefore be mixed easily with other AnyEvent
599in the same program. Some of the modules come with AnyEvent, some are 968modules and other event loops in the same program. Some of the modules
600available via CPAN. 969come with AnyEvent, most are available via CPAN.
601 970
602=over 4 971=over 4
603 972
604=item L<AnyEvent::Util> 973=item L<AnyEvent::Util>
605 974
606Contains various utility functions that replace often-used but blocking 975Contains various utility functions that replace often-used but blocking
607functions such as C<inet_aton> by event-/callback-based versions. 976functions such as C<inet_aton> by event-/callback-based versions.
608 977
978=item L<AnyEvent::Socket>
979
980Provides various utility functions for (internet protocol) sockets,
981addresses and name resolution. Also functions to create non-blocking tcp
982connections or tcp servers, with IPv6 and SRV record support and more.
983
609=item L<AnyEvent::Handle> 984=item L<AnyEvent::Handle>
610 985
611Provide read and write buffers and manages watchers for reads and writes. 986Provide read and write buffers, manages watchers for reads and writes,
987supports raw and formatted I/O, I/O queued and fully transparent and
988non-blocking SSL/TLS (via L<AnyEvent::TLS>.
612 989
613=item L<AnyEvent::Socket> 990=item L<AnyEvent::DNS>
614 991
615Provides a means to do non-blocking connects, accepts etc. 992Provides rich asynchronous DNS resolver capabilities.
993
994=item L<AnyEvent::HTTP>
995
996A simple-to-use HTTP library that is capable of making a lot of concurrent
997HTTP requests.
616 998
617=item L<AnyEvent::HTTPD> 999=item L<AnyEvent::HTTPD>
618 1000
619Provides a simple web application server framework. 1001Provides a simple web application server framework.
620 1002
621=item L<AnyEvent::DNS>
622
623Provides asynchronous DNS resolver capabilities, beyond what
624L<AnyEvent::Util> offers.
625
626=item L<AnyEvent::FastPing> 1003=item L<AnyEvent::FastPing>
627 1004
628The fastest ping in the west. 1005The fastest ping in the west.
629 1006
1007=item L<AnyEvent::DBI>
1008
1009Executes L<DBI> requests asynchronously in a proxy process.
1010
1011=item L<AnyEvent::AIO>
1012
1013Truly asynchronous I/O, should be in the toolbox of every event
1014programmer. AnyEvent::AIO transparently fuses L<IO::AIO> and AnyEvent
1015together.
1016
1017=item L<AnyEvent::BDB>
1018
1019Truly asynchronous Berkeley DB access. AnyEvent::BDB transparently fuses
1020L<BDB> and AnyEvent together.
1021
1022=item L<AnyEvent::GPSD>
1023
1024A non-blocking interface to gpsd, a daemon delivering GPS information.
1025
630=item L<Net::IRC3> 1026=item L<AnyEvent::IRC>
631 1027
632AnyEvent based IRC client module family. 1028AnyEvent based IRC client module family (replacing the older Net::IRC3).
633 1029
634=item L<Net::XMPP2> 1030=item L<AnyEvent::XMPP>
635 1031
636AnyEvent based XMPP (Jabber protocol) module family. 1032AnyEvent based XMPP (Jabber protocol) module family (replacing the older
1033Net::XMPP2>.
1034
1035=item L<AnyEvent::IGS>
1036
1037A non-blocking interface to the Internet Go Server protocol (used by
1038L<App::IGS>).
637 1039
638=item L<Net::FCP> 1040=item L<Net::FCP>
639 1041
640AnyEvent-based implementation of the Freenet Client Protocol, birthplace 1042AnyEvent-based implementation of the Freenet Client Protocol, birthplace
641of AnyEvent. 1043of AnyEvent.
644 1046
645High level API for event-based execution flow control. 1047High level API for event-based execution flow control.
646 1048
647=item L<Coro> 1049=item L<Coro>
648 1050
649Has special support for AnyEvent. 1051Has special support for AnyEvent via L<Coro::AnyEvent>.
650
651=item L<IO::Lambda>
652
653The lambda approach to I/O - don't ask, look there. Can use AnyEvent.
654
655=item L<IO::AIO>
656
657Truly asynchronous I/O, should be in the toolbox of every event
658programmer. Can be trivially made to use AnyEvent.
659
660=item L<BDB>
661
662Truly asynchronous Berkeley DB access. Can be trivially made to use
663AnyEvent.
664 1052
665=back 1053=back
666 1054
667=cut 1055=cut
668 1056
669package AnyEvent; 1057package AnyEvent;
670 1058
1059# basically a tuned-down version of common::sense
1060sub common_sense {
671no warnings; 1061 # no warnings
672use strict; 1062 ${^WARNING_BITS} ^= ${^WARNING_BITS};
1063 # use strict vars subs
1064 $^H |= 0x00000600;
1065}
673 1066
1067BEGIN { AnyEvent::common_sense }
1068
674use Carp; 1069use Carp ();
675 1070
676our $VERSION = '3.3'; 1071our $VERSION = 4.85;
677our $MODEL; 1072our $MODEL;
678 1073
679our $AUTOLOAD; 1074our $AUTOLOAD;
680our @ISA; 1075our @ISA;
681 1076
682our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
683
684our @REGISTRY; 1077our @REGISTRY;
685 1078
1079our $WIN32;
1080
1081our $VERBOSE;
1082
1083BEGIN {
1084 eval "sub WIN32(){ " . (($^O =~ /mswin32/i)*1) ." }";
1085 eval "sub TAINT(){ " . (${^TAINT}*1) . " }";
1086
1087 delete @ENV{grep /^PERL_ANYEVENT_/, keys %ENV}
1088 if ${^TAINT};
1089
1090 $VERBOSE = $ENV{PERL_ANYEVENT_VERBOSE}*1;
1091
1092}
1093
1094our $MAX_SIGNAL_LATENCY = 10;
1095
1096our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred
1097
1098{
1099 my $idx;
1100 $PROTOCOL{$_} = ++$idx
1101 for reverse split /\s*,\s*/,
1102 $ENV{PERL_ANYEVENT_PROTOCOLS} || "ipv4,ipv6";
1103}
1104
686my @models = ( 1105my @models = (
687 [Coro::EV:: => AnyEvent::Impl::CoroEV::],
688 [Coro::Event:: => AnyEvent::Impl::CoroEvent::],
689 [EV:: => AnyEvent::Impl::EV::], 1106 [EV:: => AnyEvent::Impl::EV::],
690 [Event:: => AnyEvent::Impl::Event::], 1107 [Event:: => AnyEvent::Impl::Event::],
1108 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::],
1109 # everything below here will not be autoprobed
1110 # as the pureperl backend should work everywhere
1111 # and is usually faster
1112 [Glib:: => AnyEvent::Impl::Glib::], # becomes extremely slow with many watchers
1113 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
691 [Tk:: => AnyEvent::Impl::Tk::], 1114 [Tk:: => AnyEvent::Impl::Tk::], # crashes with many handles
1115 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
1116 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
692 [Wx:: => AnyEvent::Impl::POE::], 1117 [Wx:: => AnyEvent::Impl::POE::],
693 [Prima:: => AnyEvent::Impl::POE::], 1118 [Prima:: => AnyEvent::Impl::POE::],
694 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::], 1119 # IO::Async is just too broken - we would need workarounds for its
695 # everything below here will not be autoprobed as the pureperl backend should work everywhere 1120 # byzantine signal and broken child handling, among others.
696 [Glib:: => AnyEvent::Impl::Glib::], 1121 # IO::Async is rather hard to detect, as it doesn't have any
697 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 1122 # obvious default class.
698 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 1123# [IO::Async:: => AnyEvent::Impl::IOAsync::], # requires special main program
699 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 1124# [IO::Async::Loop:: => AnyEvent::Impl::IOAsync::], # requires special main program
1125# [IO::Async::Notifier:: => AnyEvent::Impl::IOAsync::], # requires special main program
700); 1126);
701 1127
702our %method = map +($_ => 1), qw(io timer signal child condvar one_event DESTROY); 1128our %method = map +($_ => 1),
1129 qw(io timer time now now_update signal child idle condvar one_event DESTROY);
1130
1131our @post_detect;
1132
1133sub post_detect(&) {
1134 my ($cb) = @_;
1135
1136 if ($MODEL) {
1137 $cb->();
1138
1139 1
1140 } else {
1141 push @post_detect, $cb;
1142
1143 defined wantarray
1144 ? bless \$cb, "AnyEvent::Util::postdetect"
1145 : ()
1146 }
1147}
1148
1149sub AnyEvent::Util::postdetect::DESTROY {
1150 @post_detect = grep $_ != ${$_[0]}, @post_detect;
1151}
703 1152
704sub detect() { 1153sub detect() {
705 unless ($MODEL) { 1154 unless ($MODEL) {
706 no strict 'refs'; 1155 local $SIG{__DIE__};
707 1156
708 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) { 1157 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) {
709 my $model = "AnyEvent::Impl::$1"; 1158 my $model = "AnyEvent::Impl::$1";
710 if (eval "require $model") { 1159 if (eval "require $model") {
711 $MODEL = $model; 1160 $MODEL = $model;
712 warn "AnyEvent: loaded model '$model' (forced by \$PERL_ANYEVENT_MODEL), using it.\n" if $verbose > 1; 1161 warn "AnyEvent: loaded model '$model' (forced by \$ENV{PERL_ANYEVENT_MODEL}), using it.\n" if $VERBOSE >= 2;
713 } else { 1162 } else {
714 warn "AnyEvent: unable to load model '$model' (from \$PERL_ANYEVENT_MODEL):\n$@" if $verbose; 1163 warn "AnyEvent: unable to load model '$model' (from \$ENV{PERL_ANYEVENT_MODEL}):\n$@" if $VERBOSE;
715 } 1164 }
716 } 1165 }
717 1166
718 # check for already loaded models 1167 # check for already loaded models
719 unless ($MODEL) { 1168 unless ($MODEL) {
720 for (@REGISTRY, @models) { 1169 for (@REGISTRY, @models) {
721 my ($package, $model) = @$_; 1170 my ($package, $model) = @$_;
722 if (${"$package\::VERSION"} > 0) { 1171 if (${"$package\::VERSION"} > 0) {
723 if (eval "require $model") { 1172 if (eval "require $model") {
724 $MODEL = $model; 1173 $MODEL = $model;
725 warn "AnyEvent: autodetected model '$model', using it.\n" if $verbose > 1; 1174 warn "AnyEvent: autodetected model '$model', using it.\n" if $VERBOSE >= 2;
726 last; 1175 last;
727 } 1176 }
728 } 1177 }
729 } 1178 }
730 1179
735 my ($package, $model) = @$_; 1184 my ($package, $model) = @$_;
736 if (eval "require $package" 1185 if (eval "require $package"
737 and ${"$package\::VERSION"} > 0 1186 and ${"$package\::VERSION"} > 0
738 and eval "require $model") { 1187 and eval "require $model") {
739 $MODEL = $model; 1188 $MODEL = $model;
740 warn "AnyEvent: autoprobed model '$model', using it.\n" if $verbose > 1; 1189 warn "AnyEvent: autoprobed model '$model', using it.\n" if $VERBOSE >= 2;
741 last; 1190 last;
742 } 1191 }
743 } 1192 }
744 1193
745 $MODEL 1194 $MODEL
746 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV (or Coro+EV), Event (or Coro+Event) or Glib."; 1195 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib.\n";
747 } 1196 }
748 } 1197 }
749 1198
1199 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
1200
750 unshift @ISA, $MODEL; 1201 unshift @ISA, $MODEL;
751 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 1202
1203 require AnyEvent::Strict if $ENV{PERL_ANYEVENT_STRICT};
1204
1205 (shift @post_detect)->() while @post_detect;
752 } 1206 }
753 1207
754 $MODEL 1208 $MODEL
755} 1209}
756 1210
757sub AUTOLOAD { 1211sub AUTOLOAD {
758 (my $func = $AUTOLOAD) =~ s/.*://; 1212 (my $func = $AUTOLOAD) =~ s/.*://;
759 1213
760 $method{$func} 1214 $method{$func}
761 or croak "$func: not a valid method for AnyEvent objects"; 1215 or Carp::croak "$func: not a valid method for AnyEvent objects";
762 1216
763 detect unless $MODEL; 1217 detect unless $MODEL;
764 1218
765 my $class = shift; 1219 my $class = shift;
766 $class->$func (@_); 1220 $class->$func (@_);
767} 1221}
768 1222
1223# utility function to dup a filehandle. this is used by many backends
1224# to support binding more than one watcher per filehandle (they usually
1225# allow only one watcher per fd, so we dup it to get a different one).
1226sub _dupfh($$;$$) {
1227 my ($poll, $fh, $r, $w) = @_;
1228
1229 # cygwin requires the fh mode to be matching, unix doesn't
1230 my ($rw, $mode) = $poll eq "r" ? ($r, "<&") : ($w, ">&");
1231
1232 open my $fh2, $mode, $fh
1233 or die "AnyEvent->io: cannot dup() filehandle in mode '$poll': $!,";
1234
1235 # we assume CLOEXEC is already set by perl in all important cases
1236
1237 ($fh2, $rw)
1238}
1239
769package AnyEvent::Base; 1240package AnyEvent::Base;
770 1241
1242# default implementations for many methods
1243
1244sub _time {
1245 # probe for availability of Time::HiRes
1246 if (eval "use Time::HiRes (); Time::HiRes::time (); 1") {
1247 warn "AnyEvent: using Time::HiRes for sub-second timing accuracy.\n" if $VERBOSE >= 8;
1248 *_time = \&Time::HiRes::time;
1249 # if (eval "use POSIX (); (POSIX::times())...
1250 } else {
1251 warn "AnyEvent: using built-in time(), WARNING, no sub-second resolution!\n" if $VERBOSE;
1252 *_time = sub { time }; # epic fail
1253 }
1254
1255 &_time
1256}
1257
1258sub time { _time }
1259sub now { _time }
1260sub now_update { }
1261
771# default implementation for ->condvar, ->wait, ->broadcast 1262# default implementation for ->condvar
772 1263
773sub condvar { 1264sub condvar {
774 bless \my $flag, "AnyEvent::Base::CondVar" 1265 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, "AnyEvent::CondVar"
775}
776
777sub AnyEvent::Base::CondVar::broadcast {
778 ${$_[0]}++;
779}
780
781sub AnyEvent::Base::CondVar::wait {
782 AnyEvent->one_event while !${$_[0]};
783} 1266}
784 1267
785# default implementation for ->signal 1268# default implementation for ->signal
786 1269
787our %SIG_CB; 1270our $HAVE_ASYNC_INTERRUPT;
1271our ($SIGPIPE_R, $SIGPIPE_W, %SIG_CB, %SIG_EV, $SIG_IO);
1272our (%SIG_ASY, %SIG_ASY_W);
1273our ($SIG_COUNT, $SIG_TW);
788 1274
1275sub _signal_exec {
1276 $HAVE_ASYNC_INTERRUPT
1277 ? $SIGPIPE_R->drain
1278 : sysread $SIGPIPE_R, my $dummy, 9;
1279
1280 while (%SIG_EV) {
1281 for (keys %SIG_EV) {
1282 delete $SIG_EV{$_};
1283 $_->() for values %{ $SIG_CB{$_} || {} };
1284 }
1285 }
1286}
1287
1288# install a dumym wakeupw atcher to reduce signal catching latency
1289sub _sig_add() {
1290 unless ($SIG_COUNT++) {
1291 # try to align timer on a full-second boundary, if possible
1292 my $NOW = AnyEvent->now;
1293
1294 $SIG_TW = AnyEvent->timer (
1295 after => $MAX_SIGNAL_LATENCY - ($NOW - int $NOW),
1296 interval => $MAX_SIGNAL_LATENCY,
1297 cb => sub { }, # just for the PERL_ASYNC_CHECK
1298 );
1299 }
1300}
1301
1302sub _sig_del {
1303 undef $SIG_TW
1304 unless --$SIG_COUNT;
1305}
1306
789sub signal { 1307sub _signal {
790 my (undef, %arg) = @_; 1308 my (undef, %arg) = @_;
791 1309
792 my $signal = uc $arg{signal} 1310 my $signal = uc $arg{signal}
793 or Carp::croak "required option 'signal' is missing"; 1311 or Carp::croak "required option 'signal' is missing";
794 1312
795 $SIG_CB{$signal}{$arg{cb}} = $arg{cb}; 1313 $SIG_CB{$signal}{$arg{cb}} = $arg{cb};
1314
1315 if ($HAVE_ASYNC_INTERRUPT) {
1316 # async::interrupt
1317
1318 $SIG_ASY{$signal} ||= do {
1319 my $asy = new Async::Interrupt
1320 cb => sub { undef $SIG_EV{$signal} },
1321 signal => $signal,
1322 pipe => [$SIGPIPE_R->filenos],
1323 ;
1324 $asy->pipe_autodrain (0);
1325
1326 $asy
1327 };
1328
1329 } else {
1330 # pure perl
1331
796 $SIG{$signal} ||= sub { 1332 $SIG{$signal} ||= sub {
797 $_->() for values %{ $SIG_CB{$signal} || {} }; 1333 local $!;
1334 syswrite $SIGPIPE_W, "\x00", 1 unless %SIG_EV;
1335 undef $SIG_EV{$signal};
1336 };
1337
1338 # can't do signal processing without introducing races in pure perl,
1339 # so limit the signal latency.
1340 _sig_add;
798 }; 1341 }
799 1342
800 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal" 1343 bless [$signal, $arg{cb}], "AnyEvent::Base::signal"
801} 1344}
802 1345
1346sub signal {
1347 # probe for availability of Async::Interrupt
1348 if (!$ENV{PERL_ANYEVENT_AVOID_ASYNC_INTERRUPT} && eval "use Async::Interrupt 0.6 (); 1") {
1349 warn "AnyEvent: using Async::Interrupt for race-free signal handling.\n" if $VERBOSE >= 8;
1350
1351 $HAVE_ASYNC_INTERRUPT = 1;
1352 $SIGPIPE_R = new Async::Interrupt::EventPipe;
1353 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R->fileno, poll => "r", cb => \&_signal_exec);
1354
1355 } else {
1356 warn "AnyEvent: using emulated perl signal handling with latency timer.\n" if $VERBOSE >= 8;
1357
1358 require Fcntl;
1359
1360 if (AnyEvent::WIN32) {
1361 require AnyEvent::Util;
1362
1363 ($SIGPIPE_R, $SIGPIPE_W) = AnyEvent::Util::portable_pipe ();
1364 AnyEvent::Util::fh_nonblocking ($SIGPIPE_R) if $SIGPIPE_R;
1365 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W) if $SIGPIPE_W; # just in case
1366 } else {
1367 pipe $SIGPIPE_R, $SIGPIPE_W;
1368 fcntl $SIGPIPE_R, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_R;
1369 fcntl $SIGPIPE_W, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_W; # just in case
1370
1371 # not strictly required, as $^F is normally 2, but let's make sure...
1372 fcntl $SIGPIPE_R, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1373 fcntl $SIGPIPE_W, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1374 }
1375
1376 $SIGPIPE_R
1377 or Carp::croak "AnyEvent: unable to create a signal reporting pipe: $!\n";
1378
1379 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R, poll => "r", cb => \&_signal_exec);
1380 }
1381
1382 *signal = \&_signal;
1383 &signal
1384}
1385
803sub AnyEvent::Base::Signal::DESTROY { 1386sub AnyEvent::Base::signal::DESTROY {
804 my ($signal, $cb) = @{$_[0]}; 1387 my ($signal, $cb) = @{$_[0]};
805 1388
1389 _sig_del;
1390
806 delete $SIG_CB{$signal}{$cb}; 1391 delete $SIG_CB{$signal}{$cb};
807 1392
808 $SIG{$signal} = 'DEFAULT' unless keys %{ $SIG_CB{$signal} }; 1393 $HAVE_ASYNC_INTERRUPT
1394 ? delete $SIG_ASY{$signal}
1395 : # delete doesn't work with older perls - they then
1396 # print weird messages, or just unconditionally exit
1397 # instead of getting the default action.
1398 undef $SIG{$signal}
1399 unless keys %{ $SIG_CB{$signal} };
809} 1400}
810 1401
811# default implementation for ->child 1402# default implementation for ->child
812 1403
813our %PID_CB; 1404our %PID_CB;
814our $CHLD_W; 1405our $CHLD_W;
815our $CHLD_DELAY_W; 1406our $CHLD_DELAY_W;
816our $PID_IDLE;
817our $WNOHANG; 1407our $WNOHANG;
818 1408
819sub _child_wait { 1409sub _sigchld {
820 while (0 < (my $pid = waitpid -1, $WNOHANG)) { 1410 while (0 < (my $pid = waitpid -1, $WNOHANG)) {
1411 $_->($pid, $?)
821 $_->($pid, $?) for (values %{ $PID_CB{$pid} || {} }), 1412 for values %{ $PID_CB{$pid} || {} },
822 (values %{ $PID_CB{0} || {} }); 1413 values %{ $PID_CB{0} || {} };
823 } 1414 }
824
825 undef $PID_IDLE;
826}
827
828sub _sigchld {
829 # make sure we deliver these changes "synchronous" with the event loop.
830 $CHLD_DELAY_W ||= AnyEvent->timer (after => 0, cb => sub {
831 undef $CHLD_DELAY_W;
832 &_child_wait;
833 });
834} 1415}
835 1416
836sub child { 1417sub child {
837 my (undef, %arg) = @_; 1418 my (undef, %arg) = @_;
838 1419
839 defined (my $pid = $arg{pid} + 0) 1420 defined (my $pid = $arg{pid} + 0)
840 or Carp::croak "required option 'pid' is missing"; 1421 or Carp::croak "required option 'pid' is missing";
841 1422
842 $PID_CB{$pid}{$arg{cb}} = $arg{cb}; 1423 $PID_CB{$pid}{$arg{cb}} = $arg{cb};
843 1424
844 unless ($WNOHANG) { 1425 # WNOHANG is almost cetrainly 1 everywhere
845 $WNOHANG = eval { require POSIX; &POSIX::WNOHANG } || 1; 1426 $WNOHANG ||= $^O =~ /^(?:openbsd|netbsd|linux|freebsd|cygwin|MSWin32)$/
846 } 1427 ? 1
1428 : eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1;
847 1429
848 unless ($CHLD_W) { 1430 unless ($CHLD_W) {
849 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld); 1431 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld);
850 # child could be a zombie already, so make at least one round 1432 # child could be a zombie already, so make at least one round
851 &_sigchld; 1433 &_sigchld;
852 } 1434 }
853 1435
854 bless [$pid, $arg{cb}], "AnyEvent::Base::Child" 1436 bless [$pid, $arg{cb}], "AnyEvent::Base::child"
855} 1437}
856 1438
857sub AnyEvent::Base::Child::DESTROY { 1439sub AnyEvent::Base::child::DESTROY {
858 my ($pid, $cb) = @{$_[0]}; 1440 my ($pid, $cb) = @{$_[0]};
859 1441
860 delete $PID_CB{$pid}{$cb}; 1442 delete $PID_CB{$pid}{$cb};
861 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 1443 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
862 1444
863 undef $CHLD_W unless keys %PID_CB; 1445 undef $CHLD_W unless keys %PID_CB;
864} 1446}
1447
1448# idle emulation is done by simply using a timer, regardless
1449# of whether the process is idle or not, and not letting
1450# the callback use more than 50% of the time.
1451sub idle {
1452 my (undef, %arg) = @_;
1453
1454 my ($cb, $w, $rcb) = $arg{cb};
1455
1456 $rcb = sub {
1457 if ($cb) {
1458 $w = _time;
1459 &$cb;
1460 $w = _time - $w;
1461
1462 # never use more then 50% of the time for the idle watcher,
1463 # within some limits
1464 $w = 0.0001 if $w < 0.0001;
1465 $w = 5 if $w > 5;
1466
1467 $w = AnyEvent->timer (after => $w, cb => $rcb);
1468 } else {
1469 # clean up...
1470 undef $w;
1471 undef $rcb;
1472 }
1473 };
1474
1475 $w = AnyEvent->timer (after => 0.05, cb => $rcb);
1476
1477 bless \\$cb, "AnyEvent::Base::idle"
1478}
1479
1480sub AnyEvent::Base::idle::DESTROY {
1481 undef $${$_[0]};
1482}
1483
1484package AnyEvent::CondVar;
1485
1486our @ISA = AnyEvent::CondVar::Base::;
1487
1488package AnyEvent::CondVar::Base;
1489
1490#use overload
1491# '&{}' => sub { my $self = shift; sub { $self->send (@_) } },
1492# fallback => 1;
1493
1494# save 300+ kilobytes by dirtily hardcoding overloading
1495${"AnyEvent::CondVar::Base::OVERLOAD"}{dummy}++; # Register with magic by touching.
1496*{'AnyEvent::CondVar::Base::()'} = sub { }; # "Make it findable via fetchmethod."
1497*{'AnyEvent::CondVar::Base::(&{}'} = sub { my $self = shift; sub { $self->send (@_) } }; # &{}
1498${'AnyEvent::CondVar::Base::()'} = 1; # fallback
1499
1500our $WAITING;
1501
1502sub _send {
1503 # nop
1504}
1505
1506sub send {
1507 my $cv = shift;
1508 $cv->{_ae_sent} = [@_];
1509 (delete $cv->{_ae_cb})->($cv) if $cv->{_ae_cb};
1510 $cv->_send;
1511}
1512
1513sub croak {
1514 $_[0]{_ae_croak} = $_[1];
1515 $_[0]->send;
1516}
1517
1518sub ready {
1519 $_[0]{_ae_sent}
1520}
1521
1522sub _wait {
1523 $WAITING
1524 and !$_[0]{_ae_sent}
1525 and Carp::croak "AnyEvent::CondVar: recursive blocking wait detected";
1526
1527 local $WAITING = 1;
1528 AnyEvent->one_event while !$_[0]{_ae_sent};
1529}
1530
1531sub recv {
1532 $_[0]->_wait;
1533
1534 Carp::croak $_[0]{_ae_croak} if $_[0]{_ae_croak};
1535 wantarray ? @{ $_[0]{_ae_sent} } : $_[0]{_ae_sent}[0]
1536}
1537
1538sub cb {
1539 $_[0]{_ae_cb} = $_[1] if @_ > 1;
1540 $_[0]{_ae_cb}
1541}
1542
1543sub begin {
1544 ++$_[0]{_ae_counter};
1545 $_[0]{_ae_end_cb} = $_[1] if @_ > 1;
1546}
1547
1548sub end {
1549 return if --$_[0]{_ae_counter};
1550 &{ $_[0]{_ae_end_cb} || sub { $_[0]->send } };
1551}
1552
1553# undocumented/compatibility with pre-3.4
1554*broadcast = \&send;
1555*wait = \&_wait;
1556
1557=head1 ERROR AND EXCEPTION HANDLING
1558
1559In general, AnyEvent does not do any error handling - it relies on the
1560caller to do that if required. The L<AnyEvent::Strict> module (see also
1561the C<PERL_ANYEVENT_STRICT> environment variable, below) provides strict
1562checking of all AnyEvent methods, however, which is highly useful during
1563development.
1564
1565As for exception handling (i.e. runtime errors and exceptions thrown while
1566executing a callback), this is not only highly event-loop specific, but
1567also not in any way wrapped by this module, as this is the job of the main
1568program.
1569
1570The pure perl event loop simply re-throws the exception (usually
1571within C<< condvar->recv >>), the L<Event> and L<EV> modules call C<<
1572$Event/EV::DIED->() >>, L<Glib> uses C<< install_exception_handler >> and
1573so on.
1574
1575=head1 ENVIRONMENT VARIABLES
1576
1577The following environment variables are used by this module or its
1578submodules.
1579
1580Note that AnyEvent will remove I<all> environment variables starting with
1581C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
1582enabled.
1583
1584=over 4
1585
1586=item C<PERL_ANYEVENT_VERBOSE>
1587
1588By default, AnyEvent will be completely silent except in fatal
1589conditions. You can set this environment variable to make AnyEvent more
1590talkative.
1591
1592When set to C<1> or higher, causes AnyEvent to warn about unexpected
1593conditions, such as not being able to load the event model specified by
1594C<PERL_ANYEVENT_MODEL>.
1595
1596When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1597model it chooses.
1598
1599When set to C<8> or higher, then AnyEvent will report extra information on
1600which optional modules it loads and how it implements certain features.
1601
1602=item C<PERL_ANYEVENT_STRICT>
1603
1604AnyEvent does not do much argument checking by default, as thorough
1605argument checking is very costly. Setting this variable to a true value
1606will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1607check the arguments passed to most method calls. If it finds any problems,
1608it will croak.
1609
1610In other words, enables "strict" mode.
1611
1612Unlike C<use strict> (or it's modern cousin, C<< use L<common::sense>
1613>>, it is definitely recommended to keep it off in production. Keeping
1614C<PERL_ANYEVENT_STRICT=1> in your environment while developing programs
1615can be very useful, however.
1616
1617=item C<PERL_ANYEVENT_MODEL>
1618
1619This can be used to specify the event model to be used by AnyEvent, before
1620auto detection and -probing kicks in. It must be a string consisting
1621entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1622and the resulting module name is loaded and if the load was successful,
1623used as event model. If it fails to load AnyEvent will proceed with
1624auto detection and -probing.
1625
1626This functionality might change in future versions.
1627
1628For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1629could start your program like this:
1630
1631 PERL_ANYEVENT_MODEL=Perl perl ...
1632
1633=item C<PERL_ANYEVENT_PROTOCOLS>
1634
1635Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1636for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1637of auto probing).
1638
1639Must be set to a comma-separated list of protocols or address families,
1640current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1641used, and preference will be given to protocols mentioned earlier in the
1642list.
1643
1644This variable can effectively be used for denial-of-service attacks
1645against local programs (e.g. when setuid), although the impact is likely
1646small, as the program has to handle conenction and other failures anyways.
1647
1648Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1649but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1650- only support IPv4, never try to resolve or contact IPv6
1651addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1652IPv6, but prefer IPv6 over IPv4.
1653
1654=item C<PERL_ANYEVENT_EDNS0>
1655
1656Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1657for DNS. This extension is generally useful to reduce DNS traffic, but
1658some (broken) firewalls drop such DNS packets, which is why it is off by
1659default.
1660
1661Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1662EDNS0 in its DNS requests.
1663
1664=item C<PERL_ANYEVENT_MAX_FORKS>
1665
1666The maximum number of child processes that C<AnyEvent::Util::fork_call>
1667will create in parallel.
1668
1669=item C<PERL_ANYEVENT_MAX_OUTSTANDING_DNS>
1670
1671The default value for the C<max_outstanding> parameter for the default DNS
1672resolver - this is the maximum number of parallel DNS requests that are
1673sent to the DNS server.
1674
1675=item C<PERL_ANYEVENT_RESOLV_CONF>
1676
1677The file to use instead of F</etc/resolv.conf> (or OS-specific
1678configuration) in the default resolver. When set to the empty string, no
1679default config will be used.
1680
1681=item C<PERL_ANYEVENT_CA_FILE>, C<PERL_ANYEVENT_CA_PATH>.
1682
1683When neither C<ca_file> nor C<ca_path> was specified during
1684L<AnyEvent::TLS> context creation, and either of these environment
1685variables exist, they will be used to specify CA certificate locations
1686instead of a system-dependent default.
1687
1688=item C<PERL_ANYEVENT_AVOID_GUARD> and C<PERL_ANYEVENT_AVOID_ASYNC_INTERRUPT>
1689
1690When these are set to C<1>, then the respective modules are not
1691loaded. Mostly good for testing AnyEvent itself.
1692
1693=back
865 1694
866=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1695=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
867 1696
868This is an advanced topic that you do not normally need to use AnyEvent in 1697This is an advanced topic that you do not normally need to use AnyEvent in
869a module. This section is only of use to event loop authors who want to 1698a module. This section is only of use to event loop authors who want to
903 1732
904I<rxvt-unicode> also cheats a bit by not providing blocking access to 1733I<rxvt-unicode> also cheats a bit by not providing blocking access to
905condition variables: code blocking while waiting for a condition will 1734condition variables: code blocking while waiting for a condition will
906C<die>. This still works with most modules/usages, and blocking calls must 1735C<die>. This still works with most modules/usages, and blocking calls must
907not be done in an interactive application, so it makes sense. 1736not be done in an interactive application, so it makes sense.
908
909=head1 ENVIRONMENT VARIABLES
910
911The following environment variables are used by this module:
912
913=over 4
914
915=item C<PERL_ANYEVENT_VERBOSE>
916
917By default, AnyEvent will be completely silent except in fatal
918conditions. You can set this environment variable to make AnyEvent more
919talkative.
920
921When set to C<1> or higher, causes AnyEvent to warn about unexpected
922conditions, such as not being able to load the event model specified by
923C<PERL_ANYEVENT_MODEL>.
924
925When set to C<2> or higher, cause AnyEvent to report to STDERR which event
926model it chooses.
927
928=item C<PERL_ANYEVENT_MODEL>
929
930This can be used to specify the event model to be used by AnyEvent, before
931autodetection and -probing kicks in. It must be a string consisting
932entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
933and the resulting module name is loaded and if the load was successful,
934used as event model. If it fails to load AnyEvent will proceed with
935autodetection and -probing.
936
937This functionality might change in future versions.
938
939For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
940could start your program like this:
941
942 PERL_ANYEVENT_MODEL=Perl perl ...
943
944=back
945 1737
946=head1 EXAMPLE PROGRAM 1738=head1 EXAMPLE PROGRAM
947 1739
948The following program uses an I/O watcher to read data from STDIN, a timer 1740The following program uses an I/O watcher to read data from STDIN, a timer
949to display a message once per second, and a condition variable to quit the 1741to display a message once per second, and a condition variable to quit the
958 poll => 'r', 1750 poll => 'r',
959 cb => sub { 1751 cb => sub {
960 warn "io event <$_[0]>\n"; # will always output <r> 1752 warn "io event <$_[0]>\n"; # will always output <r>
961 chomp (my $input = <STDIN>); # read a line 1753 chomp (my $input = <STDIN>); # read a line
962 warn "read: $input\n"; # output what has been read 1754 warn "read: $input\n"; # output what has been read
963 $cv->broadcast if $input =~ /^q/i; # quit program if /^q/i 1755 $cv->send if $input =~ /^q/i; # quit program if /^q/i
964 }, 1756 },
965 ); 1757 );
966 1758
967 my $time_watcher; # can only be used once 1759 my $time_watcher; # can only be used once
968 1760
973 }); 1765 });
974 } 1766 }
975 1767
976 new_timer; # create first timer 1768 new_timer; # create first timer
977 1769
978 $cv->wait; # wait until user enters /^q/i 1770 $cv->recv; # wait until user enters /^q/i
979 1771
980=head1 REAL-WORLD EXAMPLE 1772=head1 REAL-WORLD EXAMPLE
981 1773
982Consider the L<Net::FCP> module. It features (among others) the following 1774Consider the L<Net::FCP> module. It features (among others) the following
983API calls, which are to freenet what HTTP GET requests are to http: 1775API calls, which are to freenet what HTTP GET requests are to http:
1033 syswrite $txn->{fh}, $txn->{request} 1825 syswrite $txn->{fh}, $txn->{request}
1034 or die "connection or write error"; 1826 or die "connection or write error";
1035 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r }); 1827 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r });
1036 1828
1037Again, C<fh_ready_r> waits till all data has arrived, and then stores the 1829Again, C<fh_ready_r> waits till all data has arrived, and then stores the
1038result and signals any possible waiters that the request ahs finished: 1830result and signals any possible waiters that the request has finished:
1039 1831
1040 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf}; 1832 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf};
1041 1833
1042 if (end-of-file or data complete) { 1834 if (end-of-file or data complete) {
1043 $txn->{result} = $txn->{buf}; 1835 $txn->{result} = $txn->{buf};
1044 $txn->{finished}->broadcast; 1836 $txn->{finished}->send;
1045 $txb->{cb}->($txn) of $txn->{cb}; # also call callback 1837 $txb->{cb}->($txn) of $txn->{cb}; # also call callback
1046 } 1838 }
1047 1839
1048The C<result> method, finally, just waits for the finished signal (if the 1840The C<result> method, finally, just waits for the finished signal (if the
1049request was already finished, it doesn't wait, of course, and returns the 1841request was already finished, it doesn't wait, of course, and returns the
1050data: 1842data:
1051 1843
1052 $txn->{finished}->wait; 1844 $txn->{finished}->recv;
1053 return $txn->{result}; 1845 return $txn->{result};
1054 1846
1055The actual code goes further and collects all errors (C<die>s, exceptions) 1847The actual code goes further and collects all errors (C<die>s, exceptions)
1056that occured during request processing. The C<result> method detects 1848that occurred during request processing. The C<result> method detects
1057whether an exception as thrown (it is stored inside the $txn object) 1849whether an exception as thrown (it is stored inside the $txn object)
1058and just throws the exception, which means connection errors and other 1850and just throws the exception, which means connection errors and other
1059problems get reported tot he code that tries to use the result, not in a 1851problems get reported tot he code that tries to use the result, not in a
1060random callback. 1852random callback.
1061 1853
1092 1884
1093 my $quit = AnyEvent->condvar; 1885 my $quit = AnyEvent->condvar;
1094 1886
1095 $fcp->txn_client_get ($url)->cb (sub { 1887 $fcp->txn_client_get ($url)->cb (sub {
1096 ... 1888 ...
1097 $quit->broadcast; 1889 $quit->send;
1098 }); 1890 });
1099 1891
1100 $quit->wait; 1892 $quit->recv;
1101 1893
1102 1894
1103=head1 BENCHMARKS 1895=head1 BENCHMARKS
1104 1896
1105To give you an idea of the performance and overheads that AnyEvent adds 1897To give you an idea of the performance and overheads that AnyEvent adds
1107of various event loops I prepared some benchmarks. 1899of various event loops I prepared some benchmarks.
1108 1900
1109=head2 BENCHMARKING ANYEVENT OVERHEAD 1901=head2 BENCHMARKING ANYEVENT OVERHEAD
1110 1902
1111Here is a benchmark of various supported event models used natively and 1903Here is a benchmark of various supported event models used natively and
1112through anyevent. The benchmark creates a lot of timers (with a zero 1904through AnyEvent. The benchmark creates a lot of timers (with a zero
1113timeout) and I/O watchers (watching STDOUT, a pty, to become writable, 1905timeout) and I/O watchers (watching STDOUT, a pty, to become writable,
1114which it is), lets them fire exactly once and destroys them again. 1906which it is), lets them fire exactly once and destroys them again.
1115 1907
1116Source code for this benchmark is found as F<eg/bench> in the AnyEvent 1908Source code for this benchmark is found as F<eg/bench> in the AnyEvent
1117distribution. 1909distribution.
1134all watchers, to avoid adding memory overhead. That means closure creation 1926all watchers, to avoid adding memory overhead. That means closure creation
1135and memory usage is not included in the figures. 1927and memory usage is not included in the figures.
1136 1928
1137I<invoke> is the time, in microseconds, used to invoke a simple 1929I<invoke> is the time, in microseconds, used to invoke a simple
1138callback. The callback simply counts down a Perl variable and after it was 1930callback. The callback simply counts down a Perl variable and after it was
1139invoked "watcher" times, it would C<< ->broadcast >> a condvar once to 1931invoked "watcher" times, it would C<< ->send >> a condvar once to
1140signal the end of this phase. 1932signal the end of this phase.
1141 1933
1142I<destroy> is the time, in microseconds, that it takes to destroy a single 1934I<destroy> is the time, in microseconds, that it takes to destroy a single
1143watcher. 1935watcher.
1144 1936
1145=head3 Results 1937=head3 Results
1146 1938
1147 name watchers bytes create invoke destroy comment 1939 name watchers bytes create invoke destroy comment
1148 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1940 EV/EV 400000 224 0.47 0.35 0.27 EV native interface
1149 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers 1941 EV/Any 100000 224 2.88 0.34 0.27 EV + AnyEvent watchers
1150 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal 1942 CoroEV/Any 100000 224 2.85 0.35 0.28 coroutines + Coro::Signal
1151 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation 1943 Perl/Any 100000 452 4.13 0.73 0.95 pure perl implementation
1152 Event/Event 16000 516 31.88 31.30 0.85 Event native interface 1944 Event/Event 16000 517 32.20 31.80 0.81 Event native interface
1153 Event/Any 16000 590 35.75 31.42 1.08 Event + AnyEvent watchers 1945 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers
1946 IOAsync/Any 16000 989 38.10 32.77 11.13 via IO::Async::Loop::IO_Poll
1947 IOAsync/Any 16000 990 37.59 29.50 10.61 via IO::Async::Loop::Epoll
1154 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1948 Glib/Any 16000 1357 102.33 12.31 51.00 quadratic behaviour
1155 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers 1949 Tk/Any 2000 1860 27.20 66.31 14.00 SEGV with >> 2000 watchers
1156 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event 1950 POE/Event 2000 6328 109.99 751.67 14.02 via POE::Loop::Event
1157 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select 1951 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select
1158 1952
1159=head3 Discussion 1953=head3 Discussion
1160 1954
1161The benchmark does I<not> measure scalability of the event loop very 1955The benchmark does I<not> measure scalability of the event loop very
1162well. For example, a select-based event loop (such as the pure perl one) 1956well. For example, a select-based event loop (such as the pure perl one)
1187performance becomes really bad with lots of file descriptors (and few of 1981performance becomes really bad with lots of file descriptors (and few of
1188them active), of course, but this was not subject of this benchmark. 1982them active), of course, but this was not subject of this benchmark.
1189 1983
1190The C<Event> module has a relatively high setup and callback invocation 1984The C<Event> module has a relatively high setup and callback invocation
1191cost, but overall scores in on the third place. 1985cost, but overall scores in on the third place.
1986
1987C<IO::Async> performs admirably well, about on par with C<Event>, even
1988when using its pure perl backend.
1192 1989
1193C<Glib>'s memory usage is quite a bit higher, but it features a 1990C<Glib>'s memory usage is quite a bit higher, but it features a
1194faster callback invocation and overall ends up in the same class as 1991faster callback invocation and overall ends up in the same class as
1195C<Event>. However, Glib scales extremely badly, doubling the number of 1992C<Event>. However, Glib scales extremely badly, doubling the number of
1196watchers increases the processing time by more than a factor of four, 1993watchers increases the processing time by more than a factor of four,
1240 2037
1241=back 2038=back
1242 2039
1243=head2 BENCHMARKING THE LARGE SERVER CASE 2040=head2 BENCHMARKING THE LARGE SERVER CASE
1244 2041
1245This benchmark atcually benchmarks the event loop itself. It works by 2042This benchmark actually benchmarks the event loop itself. It works by
1246creating a number of "servers": each server consists of a socketpair, a 2043creating a number of "servers": each server consists of a socket pair, a
1247timeout watcher that gets reset on activity (but never fires), and an I/O 2044timeout watcher that gets reset on activity (but never fires), and an I/O
1248watcher waiting for input on one side of the socket. Each time the socket 2045watcher waiting for input on one side of the socket. Each time the socket
1249watcher reads a byte it will write that byte to a random other "server". 2046watcher reads a byte it will write that byte to a random other "server".
1250 2047
1251The effect is that there will be a lot of I/O watchers, only part of which 2048The effect is that there will be a lot of I/O watchers, only part of which
1252are active at any one point (so there is a constant number of active 2049are active at any one point (so there is a constant number of active
1253fds for each loop iterstaion, but which fds these are is random). The 2050fds for each loop iteration, but which fds these are is random). The
1254timeout is reset each time something is read because that reflects how 2051timeout is reset each time something is read because that reflects how
1255most timeouts work (and puts extra pressure on the event loops). 2052most timeouts work (and puts extra pressure on the event loops).
1256 2053
1257In this benchmark, we use 10000 socketpairs (20000 sockets), of which 100 2054In this benchmark, we use 10000 socket pairs (20000 sockets), of which 100
1258(1%) are active. This mirrors the activity of large servers with many 2055(1%) are active. This mirrors the activity of large servers with many
1259connections, most of which are idle at any one point in time. 2056connections, most of which are idle at any one point in time.
1260 2057
1261Source code for this benchmark is found as F<eg/bench2> in the AnyEvent 2058Source code for this benchmark is found as F<eg/bench2> in the AnyEvent
1262distribution. 2059distribution.
1264=head3 Explanation of the columns 2061=head3 Explanation of the columns
1265 2062
1266I<sockets> is the number of sockets, and twice the number of "servers" (as 2063I<sockets> is the number of sockets, and twice the number of "servers" (as
1267each server has a read and write socket end). 2064each server has a read and write socket end).
1268 2065
1269I<create> is the time it takes to create a socketpair (which is 2066I<create> is the time it takes to create a socket pair (which is
1270nontrivial) and two watchers: an I/O watcher and a timeout watcher. 2067nontrivial) and two watchers: an I/O watcher and a timeout watcher.
1271 2068
1272I<request>, the most important value, is the time it takes to handle a 2069I<request>, the most important value, is the time it takes to handle a
1273single "request", that is, reading the token from the pipe and forwarding 2070single "request", that is, reading the token from the pipe and forwarding
1274it to another server. This includes deleting the old timeout and creating 2071it to another server. This includes deleting the old timeout and creating
1275a new one that moves the timeout into the future. 2072a new one that moves the timeout into the future.
1276 2073
1277=head3 Results 2074=head3 Results
1278 2075
1279 name sockets create request 2076 name sockets create request
1280 EV 20000 69.01 11.16 2077 EV 20000 69.01 11.16
1281 Perl 20000 73.32 35.87 2078 Perl 20000 73.32 35.87
2079 IOAsync 20000 157.00 98.14 epoll
2080 IOAsync 20000 159.31 616.06 poll
1282 Event 20000 212.62 257.32 2081 Event 20000 212.62 257.32
1283 Glib 20000 651.16 1896.30 2082 Glib 20000 651.16 1896.30
1284 POE 20000 349.67 12317.24 uses POE::Loop::Event 2083 POE 20000 349.67 12317.24 uses POE::Loop::Event
1285 2084
1286=head3 Discussion 2085=head3 Discussion
1287 2086
1288This benchmark I<does> measure scalability and overall performance of the 2087This benchmark I<does> measure scalability and overall performance of the
1289particular event loop. 2088particular event loop.
1291EV is again fastest. Since it is using epoll on my system, the setup time 2090EV is again fastest. Since it is using epoll on my system, the setup time
1292is relatively high, though. 2091is relatively high, though.
1293 2092
1294Perl surprisingly comes second. It is much faster than the C-based event 2093Perl surprisingly comes second. It is much faster than the C-based event
1295loops Event and Glib. 2094loops Event and Glib.
2095
2096IO::Async performs very well when using its epoll backend, and still quite
2097good compared to Glib when using its pure perl backend.
1296 2098
1297Event suffers from high setup time as well (look at its code and you will 2099Event suffers from high setup time as well (look at its code and you will
1298understand why). Callback invocation also has a high overhead compared to 2100understand why). Callback invocation also has a high overhead compared to
1299the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event 2101the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event
1300uses select or poll in basically all documented configurations. 2102uses select or poll in basically all documented configurations.
1347speed most when you have lots of watchers, not when you only have a few of 2149speed most when you have lots of watchers, not when you only have a few of
1348them). 2150them).
1349 2151
1350EV is again fastest. 2152EV is again fastest.
1351 2153
1352Perl again comes second. It is noticably faster than the C-based event 2154Perl again comes second. It is noticeably faster than the C-based event
1353loops Event and Glib, although the difference is too small to really 2155loops Event and Glib, although the difference is too small to really
1354matter. 2156matter.
1355 2157
1356POE also performs much better in this case, but is is still far behind the 2158POE also performs much better in this case, but is is still far behind the
1357others. 2159others.
1360 2162
1361=over 4 2163=over 4
1362 2164
1363=item * C-based event loops perform very well with small number of 2165=item * C-based event loops perform very well with small number of
1364watchers, as the management overhead dominates. 2166watchers, as the management overhead dominates.
2167
2168=back
2169
2170=head2 THE IO::Lambda BENCHMARK
2171
2172Recently I was told about the benchmark in the IO::Lambda manpage, which
2173could be misinterpreted to make AnyEvent look bad. In fact, the benchmark
2174simply compares IO::Lambda with POE, and IO::Lambda looks better (which
2175shouldn't come as a surprise to anybody). As such, the benchmark is
2176fine, and mostly shows that the AnyEvent backend from IO::Lambda isn't
2177very optimal. But how would AnyEvent compare when used without the extra
2178baggage? To explore this, I wrote the equivalent benchmark for AnyEvent.
2179
2180The benchmark itself creates an echo-server, and then, for 500 times,
2181connects to the echo server, sends a line, waits for the reply, and then
2182creates the next connection. This is a rather bad benchmark, as it doesn't
2183test the efficiency of the framework or much non-blocking I/O, but it is a
2184benchmark nevertheless.
2185
2186 name runtime
2187 Lambda/select 0.330 sec
2188 + optimized 0.122 sec
2189 Lambda/AnyEvent 0.327 sec
2190 + optimized 0.138 sec
2191 Raw sockets/select 0.077 sec
2192 POE/select, components 0.662 sec
2193 POE/select, raw sockets 0.226 sec
2194 POE/select, optimized 0.404 sec
2195
2196 AnyEvent/select/nb 0.085 sec
2197 AnyEvent/EV/nb 0.068 sec
2198 +state machine 0.134 sec
2199
2200The benchmark is also a bit unfair (my fault): the IO::Lambda/POE
2201benchmarks actually make blocking connects and use 100% blocking I/O,
2202defeating the purpose of an event-based solution. All of the newly
2203written AnyEvent benchmarks use 100% non-blocking connects (using
2204AnyEvent::Socket::tcp_connect and the asynchronous pure perl DNS
2205resolver), so AnyEvent is at a disadvantage here, as non-blocking connects
2206generally require a lot more bookkeeping and event handling than blocking
2207connects (which involve a single syscall only).
2208
2209The last AnyEvent benchmark additionally uses L<AnyEvent::Handle>, which
2210offers similar expressive power as POE and IO::Lambda, using conventional
2211Perl syntax. This means that both the echo server and the client are 100%
2212non-blocking, further placing it at a disadvantage.
2213
2214As you can see, the AnyEvent + EV combination even beats the
2215hand-optimised "raw sockets benchmark", while AnyEvent + its pure perl
2216backend easily beats IO::Lambda and POE.
2217
2218And even the 100% non-blocking version written using the high-level (and
2219slow :) L<AnyEvent::Handle> abstraction beats both POE and IO::Lambda by a
2220large margin, even though it does all of DNS, tcp-connect and socket I/O
2221in a non-blocking way.
2222
2223The two AnyEvent benchmarks programs can be found as F<eg/ae0.pl> and
2224F<eg/ae2.pl> in the AnyEvent distribution, the remaining benchmarks are
2225part of the IO::lambda distribution and were used without any changes.
2226
2227
2228=head1 SIGNALS
2229
2230AnyEvent currently installs handlers for these signals:
2231
2232=over 4
2233
2234=item SIGCHLD
2235
2236A handler for C<SIGCHLD> is installed by AnyEvent's child watcher
2237emulation for event loops that do not support them natively. Also, some
2238event loops install a similar handler.
2239
2240Additionally, when AnyEvent is loaded and SIGCHLD is set to IGNORE, then
2241AnyEvent will reset it to default, to avoid losing child exit statuses.
2242
2243=item SIGPIPE
2244
2245A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef>
2246when AnyEvent gets loaded.
2247
2248The rationale for this is that AnyEvent users usually do not really depend
2249on SIGPIPE delivery (which is purely an optimisation for shell use, or
2250badly-written programs), but C<SIGPIPE> can cause spurious and rare
2251program exits as a lot of people do not expect C<SIGPIPE> when writing to
2252some random socket.
2253
2254The rationale for installing a no-op handler as opposed to ignoring it is
2255that this way, the handler will be restored to defaults on exec.
2256
2257Feel free to install your own handler, or reset it to defaults.
2258
2259=back
2260
2261=cut
2262
2263undef $SIG{CHLD}
2264 if $SIG{CHLD} eq 'IGNORE';
2265
2266$SIG{PIPE} = sub { }
2267 unless defined $SIG{PIPE};
2268
2269=head1 RECOMMENDED/OPTIONAL MODULES
2270
2271One of AnyEvent's main goals is to be 100% Pure-Perl(tm): only perl (and
2272it's built-in modules) are required to use it.
2273
2274That does not mean that AnyEvent won't take advantage of some additional
2275modules if they are installed.
2276
2277This section epxlains which additional modules will be used, and how they
2278affect AnyEvent's operetion.
2279
2280=over 4
2281
2282=item L<Async::Interrupt>
2283
2284This slightly arcane module is used to implement fast signal handling: To
2285my knowledge, there is no way to do completely race-free and quick
2286signal handling in pure perl. To ensure that signals still get
2287delivered, AnyEvent will start an interval timer to wake up perl (and
2288catch the signals) with some delay (default is 10 seconds, look for
2289C<$AnyEvent::MAX_SIGNAL_LATENCY>).
2290
2291If this module is available, then it will be used to implement signal
2292catching, which means that signals will not be delayed, and the event loop
2293will not be interrupted regularly, which is more efficient (And good for
2294battery life on laptops).
2295
2296This affects not just the pure-perl event loop, but also other event loops
2297that have no signal handling on their own (e.g. Glib, Tk, Qt).
2298
2299Some event loops (POE, Event, Event::Lib) offer signal watchers natively,
2300and either employ their own workarounds (POE) or use AnyEvent's workaround
2301(using C<$AnyEvent::MAX_SIGNAL_LATENCY>). Installing L<Async::Interrupt>
2302does nothing for those backends.
2303
2304=item L<EV>
2305
2306This module isn't really "optional", as it is simply one of the backend
2307event loops that AnyEvent can use. However, it is simply the best event
2308loop available in terms of features, speed and stability: It supports
2309the AnyEvent API optimally, implements all the watcher types in XS, does
2310automatic timer adjustments even when no monotonic clock is available,
2311can take avdantage of advanced kernel interfaces such as C<epoll> and
2312C<kqueue>, and is the fastest backend I<by far>. You can even embed
2313L<Glib>/L<Gtk2> in it (or vice versa, see L<EV::Glib> and L<Glib::EV>).
2314
2315=item L<Guard>
2316
2317The guard module, when used, will be used to implement
2318C<AnyEvent::Util::guard>. This speeds up guards considerably (and uses a
2319lot less memory), but otherwise doesn't affect guard operation much. It is
2320purely used for performance.
2321
2322=item L<JSON> and L<JSON::XS>
2323
2324This module is required when you want to read or write JSON data via
2325L<AnyEvent::Handle>. It is also written in pure-perl, but can take
2326advantage of the ultra-high-speed L<JSON::XS> module when it is installed.
2327
2328In fact, L<AnyEvent::Handle> will use L<JSON::XS> by default if it is
2329installed.
2330
2331=item L<Net::SSLeay>
2332
2333Implementing TLS/SSL in Perl is certainly interesting, but not very
2334worthwhile: If this module is installed, then L<AnyEvent::Handle> (with
2335the help of L<AnyEvent::TLS>), gains the ability to do TLS/SSL.
2336
2337=item L<Time::HiRes>
2338
2339This module is part of perl since release 5.008. It will be used when the
2340chosen event library does not come with a timing source on it's own. The
2341pure-perl event loop (L<AnyEvent::Impl::Perl>) will additionally use it to
2342try to use a monotonic clock for timing stability.
1365 2343
1366=back 2344=back
1367 2345
1368 2346
1369=head1 FORK 2347=head1 FORK
1371Most event libraries are not fork-safe. The ones who are usually are 2349Most event libraries are not fork-safe. The ones who are usually are
1372because they rely on inefficient but fork-safe C<select> or C<poll> 2350because they rely on inefficient but fork-safe C<select> or C<poll>
1373calls. Only L<EV> is fully fork-aware. 2351calls. Only L<EV> is fully fork-aware.
1374 2352
1375If you have to fork, you must either do so I<before> creating your first 2353If you have to fork, you must either do so I<before> creating your first
1376watcher OR you must not use AnyEvent at all in the child. 2354watcher OR you must not use AnyEvent at all in the child OR you must do
2355something completely out of the scope of AnyEvent.
1377 2356
1378 2357
1379=head1 SECURITY CONSIDERATIONS 2358=head1 SECURITY CONSIDERATIONS
1380 2359
1381AnyEvent can be forced to load any event model via 2360AnyEvent can be forced to load any event model via
1386specified in the variable. 2365specified in the variable.
1387 2366
1388You can make AnyEvent completely ignore this variable by deleting it 2367You can make AnyEvent completely ignore this variable by deleting it
1389before the first watcher gets created, e.g. with a C<BEGIN> block: 2368before the first watcher gets created, e.g. with a C<BEGIN> block:
1390 2369
1391 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} } 2370 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} }
1392 2371
1393 use AnyEvent; 2372 use AnyEvent;
2373
2374Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
2375be used to probe what backend is used and gain other information (which is
2376probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and
2377$ENV{PERL_ANYEVENT_STRICT}.
2378
2379Note that AnyEvent will remove I<all> environment variables starting with
2380C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
2381enabled.
2382
2383
2384=head1 BUGS
2385
2386Perl 5.8 has numerous memleaks that sometimes hit this module and are hard
2387to work around. If you suffer from memleaks, first upgrade to Perl 5.10
2388and check wether the leaks still show up. (Perl 5.10.0 has other annoying
2389memleaks, such as leaking on C<map> and C<grep> but it is usually not as
2390pronounced).
1394 2391
1395 2392
1396=head1 SEE ALSO 2393=head1 SEE ALSO
1397 2394
1398Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>, 2395Utility functions: L<AnyEvent::Util>.
1399L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>, 2396
2397Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>,
1400L<Event::Lib>, L<Qt>, L<POE>. 2398L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>.
1401 2399
1402Implementations: L<AnyEvent::Impl::CoroEV>, L<AnyEvent::Impl::EV>, 2400Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>,
1403L<AnyEvent::Impl::CoroEvent>, L<AnyEvent::Impl::Event>, L<AnyEvent::Impl::Glib>, 2401L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>,
1404L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>, L<AnyEvent::Impl::EventLib>, 2402L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>,
1405L<AnyEvent::Impl::Qt>, L<AnyEvent::Impl::POE>. 2403L<AnyEvent::Impl::POE>, L<AnyEvent::Impl::IOAsync>.
1406 2404
2405Non-blocking file handles, sockets, TCP clients and
2406servers: L<AnyEvent::Handle>, L<AnyEvent::Socket>, L<AnyEvent::TLS>.
2407
2408Asynchronous DNS: L<AnyEvent::DNS>.
2409
2410Coroutine support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>,
2411L<Coro::Event>,
2412
1407Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>. 2413Nontrivial usage examples: L<AnyEvent::GPSD>, L<AnyEvent::XMPP>,
2414L<AnyEvent::HTTP>.
1408 2415
1409 2416
1410=head1 AUTHOR 2417=head1 AUTHOR
1411 2418
1412 Marc Lehmann <schmorp@schmorp.de> 2419 Marc Lehmann <schmorp@schmorp.de>
1413 http://home.schmorp.de/ 2420 http://home.schmorp.de/
1414 2421
1415=cut 2422=cut
1416 2423
14171 24241
1418 2425

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines