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.190 by root, Wed Nov 5 02:21:27 2008 UTC vs.
Revision 1.346 by root, Fri Jan 14 06:32:21 2011 UTC

1=head1 NAME 1=head1 NAME
2 2
3AnyEvent - provide framework for multiple event loops 3AnyEvent - the DBI of event loop programming
4 4
5EV, Event, Glib, Tk, Perl, Event::Lib, Qt, POE - various supported event loops 5EV, Event, Glib, Tk, Perl, Event::Lib, Irssi, rxvt-unicode, IO::Async, Qt
6and POE are various supported event loops/environments.
6 7
7=head1 SYNOPSIS 8=head1 SYNOPSIS
8 9
9 use AnyEvent; 10 use AnyEvent;
10 11
12 # if you prefer function calls, look at the AE manpage for
13 # an alternative API.
14
15 # file handle or descriptor readable
11 my $w = AnyEvent->io (fh => $fh, poll => "r|w", cb => sub { ... }); 16 my $w = AnyEvent->io (fh => $fh, poll => "r", cb => sub { ... });
12 17
18 # one-shot or repeating timers
13 my $w = AnyEvent->timer (after => $seconds, cb => sub { ... }); 19 my $w = AnyEvent->timer (after => $seconds, cb => sub { ... });
14 my $w = AnyEvent->timer (after => $seconds, interval => $seconds, cb => ... 20 my $w = AnyEvent->timer (after => $seconds, interval => $seconds, cb => ...);
15 21
16 print AnyEvent->now; # prints current event loop time 22 print AnyEvent->now; # prints current event loop time
17 print AnyEvent->time; # think Time::HiRes::time or simply CORE::time. 23 print AnyEvent->time; # think Time::HiRes::time or simply CORE::time.
18 24
25 # POSIX signal
19 my $w = AnyEvent->signal (signal => "TERM", cb => sub { ... }); 26 my $w = AnyEvent->signal (signal => "TERM", cb => sub { ... });
20 27
28 # child process exit
21 my $w = AnyEvent->child (pid => $pid, cb => sub { 29 my $w = AnyEvent->child (pid => $pid, cb => sub {
22 my ($pid, $status) = @_; 30 my ($pid, $status) = @_;
23 ... 31 ...
24 }); 32 });
33
34 # called when event loop idle (if applicable)
35 my $w = AnyEvent->idle (cb => sub { ... });
25 36
26 my $w = AnyEvent->condvar; # stores whether a condition was flagged 37 my $w = AnyEvent->condvar; # stores whether a condition was flagged
27 $w->send; # wake up current and all future recv's 38 $w->send; # wake up current and all future recv's
28 $w->recv; # enters "main loop" till $condvar gets ->send 39 $w->recv; # enters "main loop" till $condvar gets ->send
29 # use a condvar in callback mode: 40 # use a condvar in callback mode:
32=head1 INTRODUCTION/TUTORIAL 43=head1 INTRODUCTION/TUTORIAL
33 44
34This manpage is mainly a reference manual. If you are interested 45This manpage is mainly a reference manual. If you are interested
35in a tutorial or some gentle introduction, have a look at the 46in a tutorial or some gentle introduction, have a look at the
36L<AnyEvent::Intro> manpage. 47L<AnyEvent::Intro> manpage.
48
49=head1 SUPPORT
50
51An FAQ document is available as L<AnyEvent::FAQ>.
52
53There also is a mailinglist for discussing all things AnyEvent, and an IRC
54channel, too.
55
56See the AnyEvent project page at the B<Schmorpforge Ta-Sa Software
57Repository>, at L<http://anyevent.schmorp.de>, for more info.
37 58
38=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT) 59=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT)
39 60
40Glib, POE, IO::Async, Event... CPAN offers event models by the dozen 61Glib, POE, IO::Async, Event... CPAN offers event models by the dozen
41nowadays. So what is different about AnyEvent? 62nowadays. So what is different about AnyEvent?
57module users into the same thing by forcing them to use the same event 78module users into the same thing by forcing them to use the same event
58model you use. 79model you use.
59 80
60For modules like POE or IO::Async (which is a total misnomer as it is 81For modules like POE or IO::Async (which is a total misnomer as it is
61actually doing all I/O I<synchronously>...), using them in your module is 82actually doing all I/O I<synchronously>...), using them in your module is
62like joining a cult: After you joined, you are dependent on them and you 83like joining a cult: After you join, you are dependent on them and you
63cannot use anything else, as they are simply incompatible to everything 84cannot use anything else, as they are simply incompatible to everything
64that isn't them. What's worse, all the potential users of your 85that isn't them. What's worse, all the potential users of your
65module are I<also> forced to use the same event loop you use. 86module are I<also> forced to use the same event loop you use.
66 87
67AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works 88AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works
68fine. AnyEvent + Tk works fine etc. etc. but none of these work together 89fine. AnyEvent + Tk works fine etc. etc. but none of these work together
69with the rest: POE + IO::Async? No go. Tk + Event? No go. Again: if 90with the rest: POE + EV? No go. Tk + Event? No go. Again: if your module
70your module uses one of those, every user of your module has to use it, 91uses one of those, every user of your module has to use it, too. But if
71too. But if your module uses AnyEvent, it works transparently with all 92your module uses AnyEvent, it works transparently with all event models it
72event models it supports (including stuff like IO::Async, as long as those 93supports (including stuff like IO::Async, as long as those use one of the
73use one of the supported event loops. It is trivial to add new event loops 94supported event loops. It is easy to add new event loops to AnyEvent, too,
74to AnyEvent, too, so it is future-proof). 95so it is future-proof).
75 96
76In addition to being free of having to use I<the one and only true event 97In addition to being free of having to use I<the one and only true event
77model>, AnyEvent also is free of bloat and policy: with POE or similar 98model>, AnyEvent also is free of bloat and policy: with POE or similar
78modules, you get an enormous amount of code and strict rules you have to 99modules, you get an enormous amount of code and strict rules you have to
79follow. AnyEvent, on the other hand, is lean and up to the point, by only 100follow. AnyEvent, on the other hand, is lean and to the point, by only
80offering the functionality that is necessary, in as thin as a wrapper as 101offering the functionality that is necessary, in as thin as a wrapper as
81technically possible. 102technically possible.
82 103
83Of course, AnyEvent comes with a big (and fully optional!) toolbox 104Of course, AnyEvent comes with a big (and fully optional!) toolbox
84of useful functionality, such as an asynchronous DNS resolver, 100% 105of useful functionality, such as an asynchronous DNS resolver, 100%
90useful) and you want to force your users to use the one and only event 111useful) and you want to force your users to use the one and only event
91model, you should I<not> use this module. 112model, you should I<not> use this module.
92 113
93=head1 DESCRIPTION 114=head1 DESCRIPTION
94 115
95L<AnyEvent> provides an identical interface to multiple event loops. This 116L<AnyEvent> provides a uniform interface to various event loops. This
96allows module authors to utilise an event loop without forcing module 117allows module authors to use event loop functionality without forcing
97users to use the same event loop (as only a single event loop can coexist 118module users to use a specific event loop implementation (since more
98peacefully at any one time). 119than one event loop cannot coexist peacefully).
99 120
100The interface itself is vaguely similar, but not identical to the L<Event> 121The interface itself is vaguely similar, but not identical to the L<Event>
101module. 122module.
102 123
103During the first call of any watcher-creation method, the module tries 124During the first call of any watcher-creation method, the module tries
104to detect the currently loaded event loop by probing whether one of the 125to detect the currently loaded event loop by probing whether one of the
105following modules is already loaded: L<EV>, 126following modules is already loaded: L<EV>, L<AnyEvent::Impl::Perl>,
106L<Event>, L<Glib>, L<AnyEvent::Impl::Perl>, L<Tk>, L<Event::Lib>, L<Qt>, 127L<Event>, L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>. The first one
107L<POE>. The first one found is used. If none are found, the module tries 128found is used. If none are detected, the module tries to load the first
108to load these modules (excluding Tk, Event::Lib, Qt and POE as the pure perl 129four modules in the order given; but note that if L<EV> is not
109adaptor should always succeed) in the order given. The first one that can 130available, the pure-perl L<AnyEvent::Impl::Perl> should always work, so
110be successfully loaded will be used. If, after this, still none could be 131the other two are not normally tried.
111found, AnyEvent will fall back to a pure-perl event loop, which is not
112very efficient, but should work everywhere.
113 132
114Because AnyEvent first checks for modules that are already loaded, loading 133Because AnyEvent first checks for modules that are already loaded, loading
115an event model explicitly before first using AnyEvent will likely make 134an event model explicitly before first using AnyEvent will likely make
116that model the default. For example: 135that model the default. For example:
117 136
119 use AnyEvent; 138 use AnyEvent;
120 139
121 # .. AnyEvent will likely default to Tk 140 # .. AnyEvent will likely default to Tk
122 141
123The I<likely> means that, if any module loads another event model and 142The I<likely> means that, if any module loads another event model and
124starts using it, all bets are off. Maybe you should tell their authors to 143starts using it, all bets are off - this case should be very rare though,
125use AnyEvent so their modules work together with others seamlessly... 144as very few modules hardcode event loops without announcing this very
145loudly.
126 146
127The pure-perl implementation of AnyEvent is called 147The pure-perl implementation of AnyEvent is called
128C<AnyEvent::Impl::Perl>. Like other event modules you can load it 148C<AnyEvent::Impl::Perl>. Like other event modules you can load it
129explicitly and enjoy the high availability of that event loop :) 149explicitly and enjoy the high availability of that event loop :)
130 150
137These watchers are normal Perl objects with normal Perl lifetime. After 157These watchers are normal Perl objects with normal Perl lifetime. After
138creating a watcher it will immediately "watch" for events and invoke the 158creating a watcher it will immediately "watch" for events and invoke the
139callback when the event occurs (of course, only when the event model 159callback when the event occurs (of course, only when the event model
140is in control). 160is in control).
141 161
162Note that B<callbacks must not permanently change global variables>
163potentially in use by the event loop (such as C<$_> or C<$[>) and that B<<
164callbacks must not C<die> >>. The former is good programming practice in
165Perl and the latter stems from the fact that exception handling differs
166widely between event loops.
167
142To disable the watcher you have to destroy it (e.g. by setting the 168To disable a watcher you have to destroy it (e.g. by setting the
143variable you store it in to C<undef> or otherwise deleting all references 169variable you store it in to C<undef> or otherwise deleting all references
144to it). 170to it).
145 171
146All watchers are created by calling a method on the C<AnyEvent> class. 172All watchers are created by calling a method on the C<AnyEvent> class.
147 173
148Many watchers either are used with "recursion" (repeating timers for 174Many watchers either are used with "recursion" (repeating timers for
149example), or need to refer to their watcher object in other ways. 175example), or need to refer to their watcher object in other ways.
150 176
151An any way to achieve that is this pattern: 177One way to achieve that is this pattern:
152 178
153 my $w; $w = AnyEvent->type (arg => value ..., cb => sub { 179 my $w; $w = AnyEvent->type (arg => value ..., cb => sub {
154 # you can use $w here, for example to undef it 180 # you can use $w here, for example to undef it
155 undef $w; 181 undef $w;
156 }); 182 });
159my variables are only visible after the statement in which they are 185my variables are only visible after the statement in which they are
160declared. 186declared.
161 187
162=head2 I/O WATCHERS 188=head2 I/O WATCHERS
163 189
190 $w = AnyEvent->io (
191 fh => <filehandle_or_fileno>,
192 poll => <"r" or "w">,
193 cb => <callback>,
194 );
195
164You can create an I/O watcher by calling the C<< AnyEvent->io >> method 196You can create an I/O watcher by calling the C<< AnyEvent->io >> method
165with the following mandatory key-value pairs as arguments: 197with the following mandatory key-value pairs as arguments:
166 198
167C<fh> the Perl I<file handle> (I<not> file descriptor) to watch for events 199C<fh> is the Perl I<file handle> (or a naked file descriptor) to watch
168(AnyEvent might or might not keep a reference to this file handle). C<poll> 200for events (AnyEvent might or might not keep a reference to this file
201handle). Note that only file handles pointing to things for which
202non-blocking operation makes sense are allowed. This includes sockets,
203most character devices, pipes, fifos and so on, but not for example files
204or block devices.
205
169must be a string that is either C<r> or C<w>, which creates a watcher 206C<poll> must be a string that is either C<r> or C<w>, which creates a
170waiting for "r"eadable or "w"ritable events, respectively. C<cb> is the 207watcher waiting for "r"eadable or "w"ritable events, respectively.
208
171callback to invoke each time the file handle becomes ready. 209C<cb> is the callback to invoke each time the file handle becomes ready.
172 210
173Although the callback might get passed parameters, their value and 211Although the callback might get passed parameters, their value and
174presence is undefined and you cannot rely on them. Portable AnyEvent 212presence is undefined and you cannot rely on them. Portable AnyEvent
175callbacks cannot use arguments passed to I/O watcher callbacks. 213callbacks cannot use arguments passed to I/O watcher callbacks.
176 214
177The I/O watcher might use the underlying file descriptor or a copy of it. 215The I/O watcher might use the underlying file descriptor or a copy of it.
178You must not close a file handle as long as any watcher is active on the 216You must not close a file handle as long as any watcher is active on the
179underlying file descriptor. 217underlying file descriptor.
180 218
181Some event loops issue spurious readyness notifications, so you should 219Some event loops issue spurious readiness notifications, so you should
182always use non-blocking calls when reading/writing from/to your file 220always use non-blocking calls when reading/writing from/to your file
183handles. 221handles.
184 222
185Example: wait for readability of STDIN, then read a line and disable the 223Example: wait for readability of STDIN, then read a line and disable the
186watcher. 224watcher.
191 undef $w; 229 undef $w;
192 }); 230 });
193 231
194=head2 TIME WATCHERS 232=head2 TIME WATCHERS
195 233
234 $w = AnyEvent->timer (after => <seconds>, cb => <callback>);
235
236 $w = AnyEvent->timer (
237 after => <fractional_seconds>,
238 interval => <fractional_seconds>,
239 cb => <callback>,
240 );
241
196You can create a time watcher by calling the C<< AnyEvent->timer >> 242You can create a time watcher by calling the C<< AnyEvent->timer >>
197method with the following mandatory arguments: 243method with the following mandatory arguments:
198 244
199C<after> specifies after how many seconds (fractional values are 245C<after> specifies after how many seconds (fractional values are
200supported) the callback should be invoked. C<cb> is the callback to invoke 246supported) the callback should be invoked. C<cb> is the callback to invoke
202 248
203Although the callback might get passed parameters, their value and 249Although the callback might get passed parameters, their value and
204presence is undefined and you cannot rely on them. Portable AnyEvent 250presence is undefined and you cannot rely on them. Portable AnyEvent
205callbacks cannot use arguments passed to time watcher callbacks. 251callbacks cannot use arguments passed to time watcher callbacks.
206 252
207The callback will normally be invoked once only. If you specify another 253The callback will normally be invoked only once. If you specify another
208parameter, C<interval>, as a strictly positive number (> 0), then the 254parameter, C<interval>, as a strictly positive number (> 0), then the
209callback will be invoked regularly at that interval (in fractional 255callback will be invoked regularly at that interval (in fractional
210seconds) after the first invocation. If C<interval> is specified with a 256seconds) after the first invocation. If C<interval> is specified with a
211false value, then it is treated as if it were missing. 257false value, then it is treated as if it were not specified at all.
212 258
213The callback will be rescheduled before invoking the callback, but no 259The callback will be rescheduled before invoking the callback, but no
214attempt is done to avoid timer drift in most backends, so the interval is 260attempt is made to avoid timer drift in most backends, so the interval is
215only approximate. 261only approximate.
216 262
217Example: fire an event after 7.7 seconds. 263Example: fire an event after 7.7 seconds.
218 264
219 my $w = AnyEvent->timer (after => 7.7, cb => sub { 265 my $w = AnyEvent->timer (after => 7.7, cb => sub {
237 283
238While most event loops expect timers to specified in a relative way, they 284While most event loops expect timers to specified in a relative way, they
239use absolute time internally. This makes a difference when your clock 285use absolute time internally. This makes a difference when your clock
240"jumps", for example, when ntp decides to set your clock backwards from 286"jumps", for example, when ntp decides to set your clock backwards from
241the wrong date of 2014-01-01 to 2008-01-01, a watcher that is supposed to 287the wrong date of 2014-01-01 to 2008-01-01, a watcher that is supposed to
242fire "after" a second might actually take six years to finally fire. 288fire "after a second" might actually take six years to finally fire.
243 289
244AnyEvent cannot compensate for this. The only event loop that is conscious 290AnyEvent cannot compensate for this. The only event loop that is conscious
245about these issues is L<EV>, which offers both relative (ev_timer, based 291of these issues is L<EV>, which offers both relative (ev_timer, based
246on true relative time) and absolute (ev_periodic, based on wallclock time) 292on true relative time) and absolute (ev_periodic, based on wallclock time)
247timers. 293timers.
248 294
249AnyEvent always prefers relative timers, if available, matching the 295AnyEvent always prefers relative timers, if available, matching the
250AnyEvent API. 296AnyEvent API.
272I<In almost all cases (in all cases if you don't care), this is the 318I<In almost all cases (in all cases if you don't care), this is the
273function to call when you want to know the current time.> 319function to call when you want to know the current time.>
274 320
275This function is also often faster then C<< AnyEvent->time >>, and 321This function is also often faster then C<< AnyEvent->time >>, and
276thus the preferred method if you want some timestamp (for example, 322thus the preferred method if you want some timestamp (for example,
277L<AnyEvent::Handle> uses this to update it's activity timeouts). 323L<AnyEvent::Handle> uses this to update its activity timeouts).
278 324
279The rest of this section is only of relevance if you try to be very exact 325The rest of this section is only of relevance if you try to be very exact
280with your timing, you can skip it without bad conscience. 326with your timing; you can skip it without a bad conscience.
281 327
282For a practical example of when these times differ, consider L<Event::Lib> 328For a practical example of when these times differ, consider L<Event::Lib>
283and L<EV> and the following set-up: 329and L<EV> and the following set-up:
284 330
285The event loop is running and has just invoked one of your callback at 331The event loop is running and has just invoked one of your callbacks at
286time=500 (assume no other callbacks delay processing). In your callback, 332time=500 (assume no other callbacks delay processing). In your callback,
287you wait a second by executing C<sleep 1> (blocking the process for a 333you wait a second by executing C<sleep 1> (blocking the process for a
288second) and then (at time=501) you create a relative timer that fires 334second) and then (at time=501) you create a relative timer that fires
289after three seconds. 335after three seconds.
290 336
308In either case, if you care (and in most cases, you don't), then you 354In either case, if you care (and in most cases, you don't), then you
309can get whatever behaviour you want with any event loop, by taking the 355can get whatever behaviour you want with any event loop, by taking the
310difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into 356difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into
311account. 357account.
312 358
359=item AnyEvent->now_update
360
361Some event loops (such as L<EV> or L<AnyEvent::Impl::Perl>) cache
362the current time for each loop iteration (see the discussion of L<<
363AnyEvent->now >>, above).
364
365When a callback runs for a long time (or when the process sleeps), then
366this "current" time will differ substantially from the real time, which
367might affect timers and time-outs.
368
369When this is the case, you can call this method, which will update the
370event loop's idea of "current time".
371
372A typical example would be a script in a web server (e.g. C<mod_perl>) -
373when mod_perl executes the script, then the event loop will have the wrong
374idea about the "current time" (being potentially far in the past, when the
375script ran the last time). In that case you should arrange a call to C<<
376AnyEvent->now_update >> each time the web server process wakes up again
377(e.g. at the start of your script, or in a handler).
378
379Note that updating the time I<might> cause some events to be handled.
380
313=back 381=back
314 382
315=head2 SIGNAL WATCHERS 383=head2 SIGNAL WATCHERS
384
385 $w = AnyEvent->signal (signal => <uppercase_signal_name>, cb => <callback>);
316 386
317You can watch for signals using a signal watcher, C<signal> is the signal 387You can watch for signals using a signal watcher, C<signal> is the signal
318I<name> in uppercase and without any C<SIG> prefix, C<cb> is the Perl 388I<name> in uppercase and without any C<SIG> prefix, C<cb> is the Perl
319callback to be invoked whenever a signal occurs. 389callback to be invoked whenever a signal occurs.
320 390
326invocation, and callback invocation will be synchronous. Synchronous means 396invocation, and callback invocation will be synchronous. Synchronous means
327that it might take a while until the signal gets handled by the process, 397that it might take a while until the signal gets handled by the process,
328but it is guaranteed not to interrupt any other callbacks. 398but it is guaranteed not to interrupt any other callbacks.
329 399
330The main advantage of using these watchers is that you can share a signal 400The main advantage of using these watchers is that you can share a signal
331between multiple watchers. 401between multiple watchers, and AnyEvent will ensure that signals will not
402interrupt your program at bad times.
332 403
333This watcher might use C<%SIG>, so programs overwriting those signals 404This watcher might use C<%SIG> (depending on the event loop used),
334directly will likely not work correctly. 405so programs overwriting those signals directly will likely not work
406correctly.
335 407
336Example: exit on SIGINT 408Example: exit on SIGINT
337 409
338 my $w = AnyEvent->signal (signal => "INT", cb => sub { exit 1 }); 410 my $w = AnyEvent->signal (signal => "INT", cb => sub { exit 1 });
339 411
412=head3 Restart Behaviour
413
414While restart behaviour is up to the event loop implementation, most will
415not restart syscalls (that includes L<Async::Interrupt> and AnyEvent's
416pure perl implementation).
417
418=head3 Safe/Unsafe Signals
419
420Perl signals can be either "safe" (synchronous to opcode handling) or
421"unsafe" (asynchronous) - the former might get delayed indefinitely, the
422latter might corrupt your memory.
423
424AnyEvent signal handlers are, in addition, synchronous to the event loop,
425i.e. they will not interrupt your running perl program but will only be
426called as part of the normal event handling (just like timer, I/O etc.
427callbacks, too).
428
429=head3 Signal Races, Delays and Workarounds
430
431Many event loops (e.g. Glib, Tk, Qt, IO::Async) do not support attaching
432callbacks to signals in a generic way, which is a pity, as you cannot
433do race-free signal handling in perl, requiring C libraries for
434this. AnyEvent will try to do its best, which means in some cases,
435signals will be delayed. The maximum time a signal might be delayed is
436specified in C<$AnyEvent::MAX_SIGNAL_LATENCY> (default: 10 seconds). This
437variable can be changed only before the first signal watcher is created,
438and should be left alone otherwise. This variable determines how often
439AnyEvent polls for signals (in case a wake-up was missed). Higher values
440will cause fewer spurious wake-ups, which is better for power and CPU
441saving.
442
443All these problems can be avoided by installing the optional
444L<Async::Interrupt> module, which works with most event loops. It will not
445work with inherently broken event loops such as L<Event> or L<Event::Lib>
446(and not with L<POE> currently, as POE does its own workaround with
447one-second latency). For those, you just have to suffer the delays.
448
340=head2 CHILD PROCESS WATCHERS 449=head2 CHILD PROCESS WATCHERS
341 450
451 $w = AnyEvent->child (pid => <process id>, cb => <callback>);
452
342You can also watch on a child process exit and catch its exit status. 453You can also watch for a child process exit and catch its exit status.
343 454
344The child process is specified by the C<pid> argument (if set to C<0>, it 455The child process is specified by the C<pid> argument (on some backends,
345watches for any child process exit). The watcher will triggered only when 456using C<0> watches for any child process exit, on others this will
346the child process has finished and an exit status is available, not on 457croak). The watcher will be triggered only when the child process has
347any trace events (stopped/continued). 458finished and an exit status is available, not on any trace events
459(stopped/continued).
348 460
349The callback will be called with the pid and exit status (as returned by 461The callback will be called with the pid and exit status (as returned by
350waitpid), so unlike other watcher types, you I<can> rely on child watcher 462waitpid), so unlike other watcher types, you I<can> rely on child watcher
351callback arguments. 463callback arguments.
352 464
357 469
358There is a slight catch to child watchers, however: you usually start them 470There is a slight catch to child watchers, however: you usually start them
359I<after> the child process was created, and this means the process could 471I<after> the child process was created, and this means the process could
360have exited already (and no SIGCHLD will be sent anymore). 472have exited already (and no SIGCHLD will be sent anymore).
361 473
362Not all event models handle this correctly (POE doesn't), but even for 474Not all event models handle this correctly (neither POE nor IO::Async do,
475see their AnyEvent::Impl manpages for details), but even for event models
363event models that I<do> handle this correctly, they usually need to be 476that I<do> handle this correctly, they usually need to be loaded before
364loaded before the process exits (i.e. before you fork in the first place). 477the process exits (i.e. before you fork in the first place). AnyEvent's
478pure perl event loop handles all cases correctly regardless of when you
479start the watcher.
365 480
366This means you cannot create a child watcher as the very first thing in an 481This means you cannot create a child watcher as the very first
367AnyEvent program, you I<have> to create at least one watcher before you 482thing in an AnyEvent program, you I<have> to create at least one
368C<fork> the child (alternatively, you can call C<AnyEvent::detect>). 483watcher before you C<fork> the child (alternatively, you can call
484C<AnyEvent::detect>).
485
486As most event loops do not support waiting for child events, they will be
487emulated by AnyEvent in most cases, in which the latency and race problems
488mentioned in the description of signal watchers apply.
369 489
370Example: fork a process and wait for it 490Example: fork a process and wait for it
371 491
372 my $done = AnyEvent->condvar; 492 my $done = AnyEvent->condvar;
373 493
383 ); 503 );
384 504
385 # do something else, then wait for process exit 505 # do something else, then wait for process exit
386 $done->recv; 506 $done->recv;
387 507
508=head2 IDLE WATCHERS
509
510 $w = AnyEvent->idle (cb => <callback>);
511
512This will repeatedly invoke the callback after the process becomes idle,
513until either the watcher is destroyed or new events have been detected.
514
515Idle watchers are useful when there is a need to do something, but it
516is not so important (or wise) to do it instantly. The callback will be
517invoked only when there is "nothing better to do", which is usually
518defined as "all outstanding events have been handled and no new events
519have been detected". That means that idle watchers ideally get invoked
520when the event loop has just polled for new events but none have been
521detected. Instead of blocking to wait for more events, the idle watchers
522will be invoked.
523
524Unfortunately, most event loops do not really support idle watchers (only
525EV, Event and Glib do it in a usable fashion) - for the rest, AnyEvent
526will simply call the callback "from time to time".
527
528Example: read lines from STDIN, but only process them when the
529program is otherwise idle:
530
531 my @lines; # read data
532 my $idle_w;
533 my $io_w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
534 push @lines, scalar <STDIN>;
535
536 # start an idle watcher, if not already done
537 $idle_w ||= AnyEvent->idle (cb => sub {
538 # handle only one line, when there are lines left
539 if (my $line = shift @lines) {
540 print "handled when idle: $line";
541 } else {
542 # otherwise disable the idle watcher again
543 undef $idle_w;
544 }
545 });
546 });
547
388=head2 CONDITION VARIABLES 548=head2 CONDITION VARIABLES
549
550 $cv = AnyEvent->condvar;
551
552 $cv->send (<list>);
553 my @res = $cv->recv;
389 554
390If you are familiar with some event loops you will know that all of them 555If you are familiar with some event loops you will know that all of them
391require you to run some blocking "loop", "run" or similar function that 556require you to run some blocking "loop", "run" or similar function that
392will actively watch for new events and call your callbacks. 557will actively watch for new events and call your callbacks.
393 558
394AnyEvent is different, it expects somebody else to run the event loop and 559AnyEvent is slightly different: it expects somebody else to run the event
395will only block when necessary (usually when told by the user). 560loop and will only block when necessary (usually when told by the user).
396 561
397The instrument to do that is called a "condition variable", so called 562The tool to do that is called a "condition variable", so called because
398because they represent a condition that must become true. 563they represent a condition that must become true.
564
565Now is probably a good time to look at the examples further below.
399 566
400Condition variables can be created by calling the C<< AnyEvent->condvar 567Condition variables can be created by calling the C<< AnyEvent->condvar
401>> method, usually without arguments. The only argument pair allowed is 568>> method, usually without arguments. The only argument pair allowed is
402
403C<cb>, which specifies a callback to be called when the condition variable 569C<cb>, which specifies a callback to be called when the condition variable
404becomes true, with the condition variable as the first argument (but not 570becomes true, with the condition variable as the first argument (but not
405the results). 571the results).
406 572
407After creation, the condition variable is "false" until it becomes "true" 573After creation, the condition variable is "false" until it becomes "true"
408by calling the C<send> method (or calling the condition variable as if it 574by calling the C<send> method (or calling the condition variable as if it
409were a callback, read about the caveats in the description for the C<< 575were a callback, read about the caveats in the description for the C<<
410->send >> method). 576->send >> method).
411 577
412Condition variables are similar to callbacks, except that you can 578Since condition variables are the most complex part of the AnyEvent API, here are
413optionally wait for them. They can also be called merge points - points 579some different mental models of what they are - pick the ones you can connect to:
414in time where multiple outstanding events have been processed. And yet 580
415another way to call them is transactions - each condition variable can be 581=over 4
416used to represent a transaction, which finishes at some point and delivers 582
417a result. 583=item * Condition variables are like callbacks - you can call them (and pass them instead
584of callbacks). Unlike callbacks however, you can also wait for them to be called.
585
586=item * Condition variables are signals - one side can emit or send them,
587the other side can wait for them, or install a handler that is called when
588the signal fires.
589
590=item * Condition variables are like "Merge Points" - points in your program
591where you merge multiple independent results/control flows into one.
592
593=item * Condition variables represent a transaction - functions that start
594some kind of transaction can return them, leaving the caller the choice
595between waiting in a blocking fashion, or setting a callback.
596
597=item * Condition variables represent future values, or promises to deliver
598some result, long before the result is available.
599
600=back
418 601
419Condition variables are very useful to signal that something has finished, 602Condition variables are very useful to signal that something has finished,
420for example, if you write a module that does asynchronous http requests, 603for example, if you write a module that does asynchronous http requests,
421then a condition variable would be the ideal candidate to signal the 604then a condition variable would be the ideal candidate to signal the
422availability of results. The user can either act when the callback is 605availability of results. The user can either act when the callback is
435 618
436Condition variables are represented by hash refs in perl, and the keys 619Condition variables are represented by hash refs in perl, and the keys
437used by AnyEvent itself are all named C<_ae_XXX> to make subclassing 620used by AnyEvent itself are all named C<_ae_XXX> to make subclassing
438easy (it is often useful to build your own transaction class on top of 621easy (it is often useful to build your own transaction class on top of
439AnyEvent). To subclass, use C<AnyEvent::CondVar> as base class and call 622AnyEvent). To subclass, use C<AnyEvent::CondVar> as base class and call
440it's C<new> method in your own C<new> method. 623its C<new> method in your own C<new> method.
441 624
442There are two "sides" to a condition variable - the "producer side" which 625There are two "sides" to a condition variable - the "producer side" which
443eventually calls C<< -> send >>, and the "consumer side", which waits 626eventually calls C<< -> send >>, and the "consumer side", which waits
444for the send to occur. 627for the send to occur.
445 628
446Example: wait for a timer. 629Example: wait for a timer.
447 630
448 # wait till the result is ready 631 # condition: "wait till the timer is fired"
449 my $result_ready = AnyEvent->condvar; 632 my $timer_fired = AnyEvent->condvar;
450 633
451 # do something such as adding a timer 634 # create the timer - we could wait for, say
452 # or socket watcher the calls $result_ready->send 635 # a handle becomign ready, or even an
453 # when the "result" is ready. 636 # AnyEvent::HTTP request to finish, but
454 # in this case, we simply use a timer: 637 # in this case, we simply use a timer:
455 my $w = AnyEvent->timer ( 638 my $w = AnyEvent->timer (
456 after => 1, 639 after => 1,
457 cb => sub { $result_ready->send }, 640 cb => sub { $timer_fired->send },
458 ); 641 );
459 642
460 # this "blocks" (while handling events) till the callback 643 # this "blocks" (while handling events) till the callback
461 # calls send 644 # calls ->send
462 $result_ready->recv; 645 $timer_fired->recv;
463 646
464Example: wait for a timer, but take advantage of the fact that 647Example: wait for a timer, but take advantage of the fact that condition
465condition variables are also code references. 648variables are also callable directly.
466 649
467 my $done = AnyEvent->condvar; 650 my $done = AnyEvent->condvar;
468 my $delay = AnyEvent->timer (after => 5, cb => $done); 651 my $delay = AnyEvent->timer (after => 5, cb => $done);
469 $done->recv; 652 $done->recv;
470 653
476 659
477 ... 660 ...
478 661
479 my @info = $couchdb->info->recv; 662 my @info = $couchdb->info->recv;
480 663
481And this is how you would just ste a callback to be called whenever the 664And this is how you would just set a callback to be called whenever the
482results are available: 665results are available:
483 666
484 $couchdb->info->cb (sub { 667 $couchdb->info->cb (sub {
485 my @info = $_[0]->recv; 668 my @info = $_[0]->recv;
486 }); 669 });
504immediately from within send. 687immediately from within send.
505 688
506Any arguments passed to the C<send> call will be returned by all 689Any arguments passed to the C<send> call will be returned by all
507future C<< ->recv >> calls. 690future C<< ->recv >> calls.
508 691
509Condition variables are overloaded so one can call them directly 692Condition variables are overloaded so one can call them directly (as if
510(as a code reference). Calling them directly is the same as calling 693they were a code reference). Calling them directly is the same as calling
511C<send>. Note, however, that many C-based event loops do not handle 694C<send>.
512overloading, so as tempting as it may be, passing a condition variable
513instead of a callback does not work. Both the pure perl and EV loops
514support overloading, however, as well as all functions that use perl to
515invoke a callback (as in L<AnyEvent::Socket> and L<AnyEvent::DNS> for
516example).
517 695
518=item $cv->croak ($error) 696=item $cv->croak ($error)
519 697
520Similar to send, but causes all call's to C<< ->recv >> to invoke 698Similar to send, but causes all calls to C<< ->recv >> to invoke
521C<Carp::croak> with the given error message/object/scalar. 699C<Carp::croak> with the given error message/object/scalar.
522 700
523This can be used to signal any errors to the condition variable 701This can be used to signal any errors to the condition variable
524user/consumer. 702user/consumer. Doing it this way instead of calling C<croak> directly
703delays the error detection, but has the overwhelming advantage that it
704diagnoses the error at the place where the result is expected, and not
705deep in some event callback with no connection to the actual code causing
706the problem.
525 707
526=item $cv->begin ([group callback]) 708=item $cv->begin ([group callback])
527 709
528=item $cv->end 710=item $cv->end
529
530These two methods are EXPERIMENTAL and MIGHT CHANGE.
531 711
532These two methods can be used to combine many transactions/events into 712These two methods can be used to combine many transactions/events into
533one. For example, a function that pings many hosts in parallel might want 713one. For example, a function that pings many hosts in parallel might want
534to use a condition variable for the whole process. 714to use a condition variable for the whole process.
535 715
536Every call to C<< ->begin >> will increment a counter, and every call to 716Every call to C<< ->begin >> will increment a counter, and every call to
537C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end 717C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end
538>>, the (last) callback passed to C<begin> will be executed. That callback 718>>, the (last) callback passed to C<begin> will be executed, passing the
539is I<supposed> to call C<< ->send >>, but that is not required. If no 719condvar as first argument. That callback is I<supposed> to call C<< ->send
540callback was set, C<send> will be called without any arguments. 720>>, but that is not required. If no group callback was set, C<send> will
721be called without any arguments.
541 722
542Let's clarify this with the ping example: 723You can think of C<< $cv->send >> giving you an OR condition (one call
724sends), while C<< $cv->begin >> and C<< $cv->end >> giving you an AND
725condition (all C<begin> calls must be C<end>'ed before the condvar sends).
726
727Let's start with a simple example: you have two I/O watchers (for example,
728STDOUT and STDERR for a program), and you want to wait for both streams to
729close before activating a condvar:
543 730
544 my $cv = AnyEvent->condvar; 731 my $cv = AnyEvent->condvar;
545 732
733 $cv->begin; # first watcher
734 my $w1 = AnyEvent->io (fh => $fh1, cb => sub {
735 defined sysread $fh1, my $buf, 4096
736 or $cv->end;
737 });
738
739 $cv->begin; # second watcher
740 my $w2 = AnyEvent->io (fh => $fh2, cb => sub {
741 defined sysread $fh2, my $buf, 4096
742 or $cv->end;
743 });
744
745 $cv->recv;
746
747This works because for every event source (EOF on file handle), there is
748one call to C<begin>, so the condvar waits for all calls to C<end> before
749sending.
750
751The ping example mentioned above is slightly more complicated, as the
752there are results to be passwd back, and the number of tasks that are
753begun can potentially be zero:
754
755 my $cv = AnyEvent->condvar;
756
546 my %result; 757 my %result;
547 $cv->begin (sub { $cv->send (\%result) }); 758 $cv->begin (sub { shift->send (\%result) });
548 759
549 for my $host (@list_of_hosts) { 760 for my $host (@list_of_hosts) {
550 $cv->begin; 761 $cv->begin;
551 ping_host_then_call_callback $host, sub { 762 ping_host_then_call_callback $host, sub {
552 $result{$host} = ...; 763 $result{$host} = ...;
567loop, which serves two important purposes: first, it sets the callback 778loop, which serves two important purposes: first, it sets the callback
568to be called once the counter reaches C<0>, and second, it ensures that 779to be called once the counter reaches C<0>, and second, it ensures that
569C<send> is called even when C<no> hosts are being pinged (the loop 780C<send> is called even when C<no> hosts are being pinged (the loop
570doesn't execute once). 781doesn't execute once).
571 782
572This is the general pattern when you "fan out" into multiple subrequests: 783This is the general pattern when you "fan out" into multiple (but
573use an outer C<begin>/C<end> pair to set the callback and ensure C<end> 784potentially zero) subrequests: use an outer C<begin>/C<end> pair to set
574is called at least once, and then, for each subrequest you start, call 785the callback and ensure C<end> is called at least once, and then, for each
575C<begin> and for each subrequest you finish, call C<end>. 786subrequest you start, call C<begin> and for each subrequest you finish,
787call C<end>.
576 788
577=back 789=back
578 790
579=head3 METHODS FOR CONSUMERS 791=head3 METHODS FOR CONSUMERS
580 792
584=over 4 796=over 4
585 797
586=item $cv->recv 798=item $cv->recv
587 799
588Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak 800Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak
589>> methods have been called on c<$cv>, while servicing other watchers 801>> methods have been called on C<$cv>, while servicing other watchers
590normally. 802normally.
591 803
592You can only wait once on a condition - additional calls are valid but 804You can only wait once on a condition - additional calls are valid but
593will return immediately. 805will return immediately.
594 806
596function will call C<croak>. 808function will call C<croak>.
597 809
598In list context, all parameters passed to C<send> will be returned, 810In list context, all parameters passed to C<send> will be returned,
599in scalar context only the first one will be returned. 811in scalar context only the first one will be returned.
600 812
813Note that doing a blocking wait in a callback is not supported by any
814event loop, that is, recursive invocation of a blocking C<< ->recv
815>> is not allowed, and the C<recv> call will C<croak> if such a
816condition is detected. This condition can be slightly loosened by using
817L<Coro::AnyEvent>, which allows you to do a blocking C<< ->recv >> from
818any thread that doesn't run the event loop itself.
819
601Not all event models support a blocking wait - some die in that case 820Not all event models support a blocking wait - some die in that case
602(programs might want to do that to stay interactive), so I<if you are 821(programs might want to do that to stay interactive), so I<if you are
603using this from a module, never require a blocking wait>, but let the 822using this from a module, never require a blocking wait>. Instead, let the
604caller decide whether the call will block or not (for example, by coupling 823caller decide whether the call will block or not (for example, by coupling
605condition variables with some kind of request results and supporting 824condition variables with some kind of request results and supporting
606callbacks so the caller knows that getting the result will not block, 825callbacks so the caller knows that getting the result will not block,
607while still supporting blocking waits if the caller so desires). 826while still supporting blocking waits if the caller so desires).
608 827
609Another reason I<never> to C<< ->recv >> in a module is that you cannot
610sensibly have two C<< ->recv >>'s in parallel, as that would require
611multiple interpreters or coroutines/threads, none of which C<AnyEvent>
612can supply.
613
614The L<Coro> module, however, I<can> and I<does> supply coroutines and, in
615fact, L<Coro::AnyEvent> replaces AnyEvent's condvars by coroutine-safe
616versions and also integrates coroutines into AnyEvent, making blocking
617C<< ->recv >> calls perfectly safe as long as they are done from another
618coroutine (one that doesn't run the event loop).
619
620You can ensure that C<< -recv >> never blocks by setting a callback and 828You can ensure that C<< ->recv >> never blocks by setting a callback and
621only calling C<< ->recv >> from within that callback (or at a later 829only calling C<< ->recv >> from within that callback (or at a later
622time). This will work even when the event loop does not support blocking 830time). This will work even when the event loop does not support blocking
623waits otherwise. 831waits otherwise.
624 832
625=item $bool = $cv->ready 833=item $bool = $cv->ready
631 839
632This is a mutator function that returns the callback set and optionally 840This is a mutator function that returns the callback set and optionally
633replaces it before doing so. 841replaces it before doing so.
634 842
635The callback will be called when the condition becomes "true", i.e. when 843The callback will be called when the condition becomes "true", i.e. when
636C<send> or C<croak> are called, with the only argument being the condition 844C<send> or C<croak> are called, with the only argument being the
637variable itself. Calling C<recv> inside the callback or at any later time 845condition variable itself. If the condition is already true, the
638is guaranteed not to block. 846callback is called immediately when it is set. Calling C<recv> inside
847the callback or at any later time is guaranteed not to block.
639 848
640=back 849=back
641 850
851=head1 SUPPORTED EVENT LOOPS/BACKENDS
852
853The available backend classes are (every class has its own manpage):
854
855=over 4
856
857=item Backends that are autoprobed when no other event loop can be found.
858
859EV is the preferred backend when no other event loop seems to be in
860use. If EV is not installed, then AnyEvent will fall back to its own
861pure-perl implementation, which is available everywhere as it comes with
862AnyEvent itself.
863
864 AnyEvent::Impl::EV based on EV (interface to libev, best choice).
865 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
866
867=item Backends that are transparently being picked up when they are used.
868
869These will be used if they are already loaded when the first watcher
870is created, in which case it is assumed that the application is using
871them. This means that AnyEvent will automatically pick the right backend
872when the main program loads an event module before anything starts to
873create watchers. Nothing special needs to be done by the main program.
874
875 AnyEvent::Impl::Event based on Event, very stable, few glitches.
876 AnyEvent::Impl::Glib based on Glib, slow but very stable.
877 AnyEvent::Impl::Tk based on Tk, very broken.
878 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
879 AnyEvent::Impl::POE based on POE, very slow, some limitations.
880 AnyEvent::Impl::Irssi used when running within irssi.
881 AnyEvent::Impl::IOAsync based on IO::Async.
882 AnyEvent::Impl::Cocoa based on Cocoa::EventLoop.
883
884=item Backends with special needs.
885
886Qt requires the Qt::Application to be instantiated first, but will
887otherwise be picked up automatically. As long as the main program
888instantiates the application before any AnyEvent watchers are created,
889everything should just work.
890
891 AnyEvent::Impl::Qt based on Qt.
892
893=item Event loops that are indirectly supported via other backends.
894
895Some event loops can be supported via other modules:
896
897There is no direct support for WxWidgets (L<Wx>) or L<Prima>.
898
899B<WxWidgets> has no support for watching file handles. However, you can
900use WxWidgets through the POE adaptor, as POE has a Wx backend that simply
901polls 20 times per second, which was considered to be too horrible to even
902consider for AnyEvent.
903
904B<Prima> is not supported as nobody seems to be using it, but it has a POE
905backend, so it can be supported through POE.
906
907AnyEvent knows about both L<Prima> and L<Wx>, however, and will try to
908load L<POE> when detecting them, in the hope that POE will pick them up,
909in which case everything will be automatic.
910
911=back
912
642=head1 GLOBAL VARIABLES AND FUNCTIONS 913=head1 GLOBAL VARIABLES AND FUNCTIONS
643 914
915These are not normally required to use AnyEvent, but can be useful to
916write AnyEvent extension modules.
917
644=over 4 918=over 4
645 919
646=item $AnyEvent::MODEL 920=item $AnyEvent::MODEL
647 921
648Contains C<undef> until the first watcher is being created. Then it 922Contains C<undef> until the first watcher is being created, before the
923backend has been autodetected.
924
649contains the event model that is being used, which is the name of the 925Afterwards it contains the event model that is being used, which is the
650Perl class implementing the model. This class is usually one of the 926name of the Perl class implementing the model. This class is usually one
651C<AnyEvent::Impl:xxx> modules, but can be any other class in the case 927of the C<AnyEvent::Impl::xxx> modules, but can be any other class in the
652AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>). 928case AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode> it
653 929will be C<urxvt::anyevent>).
654The known classes so far are:
655
656 AnyEvent::Impl::EV based on EV (an interface to libev, best choice).
657 AnyEvent::Impl::Event based on Event, second best choice.
658 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
659 AnyEvent::Impl::Glib based on Glib, third-best choice.
660 AnyEvent::Impl::Tk based on Tk, very bad choice.
661 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
662 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
663 AnyEvent::Impl::POE based on POE, not generic enough for full support.
664
665There is no support for WxWidgets, as WxWidgets has no support for
666watching file handles. However, you can use WxWidgets through the
667POE Adaptor, as POE has a Wx backend that simply polls 20 times per
668second, which was considered to be too horrible to even consider for
669AnyEvent. Likewise, other POE backends can be used by AnyEvent by using
670it's adaptor.
671
672AnyEvent knows about L<Prima> and L<Wx> and will try to use L<POE> when
673autodetecting them.
674 930
675=item AnyEvent::detect 931=item AnyEvent::detect
676 932
677Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model 933Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model
678if necessary. You should only call this function right before you would 934if necessary. You should only call this function right before you would
679have created an AnyEvent watcher anyway, that is, as late as possible at 935have created an AnyEvent watcher anyway, that is, as late as possible at
680runtime. 936runtime, and not e.g. during initialisation of your module.
937
938If you need to do some initialisation before AnyEvent watchers are
939created, use C<post_detect>.
681 940
682=item $guard = AnyEvent::post_detect { BLOCK } 941=item $guard = AnyEvent::post_detect { BLOCK }
683 942
684Arranges for the code block to be executed as soon as the event model is 943Arranges for the code block to be executed as soon as the event model is
685autodetected (or immediately if this has already happened). 944autodetected (or immediately if that has already happened).
945
946The block will be executed I<after> the actual backend has been detected
947(C<$AnyEvent::MODEL> is set), but I<before> any watchers have been
948created, so it is possible to e.g. patch C<@AnyEvent::ISA> or do
949other initialisations - see the sources of L<AnyEvent::Strict> or
950L<AnyEvent::AIO> to see how this is used.
951
952The most common usage is to create some global watchers, without forcing
953event module detection too early, for example, L<AnyEvent::AIO> creates
954and installs the global L<IO::AIO> watcher in a C<post_detect> block to
955avoid autodetecting the event module at load time.
686 956
687If called in scalar or list context, then it creates and returns an object 957If called in scalar or list context, then it creates and returns an object
688that automatically removes the callback again when it is destroyed. See 958that automatically removes the callback again when it is destroyed (or
959C<undef> when the hook was immediately executed). See L<AnyEvent::AIO> for
689L<Coro::BDB> for a case where this is useful. 960a case where this is useful.
961
962Example: Create a watcher for the IO::AIO module and store it in
963C<$WATCHER>, but do so only do so after the event loop is initialised.
964
965 our WATCHER;
966
967 my $guard = AnyEvent::post_detect {
968 $WATCHER = AnyEvent->io (fh => IO::AIO::poll_fileno, poll => 'r', cb => \&IO::AIO::poll_cb);
969 };
970
971 # the ||= is important in case post_detect immediately runs the block,
972 # as to not clobber the newly-created watcher. assigning both watcher and
973 # post_detect guard to the same variable has the advantage of users being
974 # able to just C<undef $WATCHER> if the watcher causes them grief.
975
976 $WATCHER ||= $guard;
690 977
691=item @AnyEvent::post_detect 978=item @AnyEvent::post_detect
692 979
693If there are any code references in this array (you can C<push> to it 980If there are any code references in this array (you can C<push> to it
694before or after loading AnyEvent), then they will called directly after 981before or after loading AnyEvent), then they will be called directly
695the event loop has been chosen. 982after the event loop has been chosen.
696 983
697You should check C<$AnyEvent::MODEL> before adding to this array, though: 984You should check C<$AnyEvent::MODEL> before adding to this array, though:
698if it contains a true value then the event loop has already been detected, 985if it is defined then the event loop has already been detected, and the
699and the array will be ignored. 986array will be ignored.
700 987
701Best use C<AnyEvent::post_detect { BLOCK }> instead. 988Best use C<AnyEvent::post_detect { BLOCK }> when your application allows
989it, as it takes care of these details.
990
991This variable is mainly useful for modules that can do something useful
992when AnyEvent is used and thus want to know when it is initialised, but do
993not need to even load it by default. This array provides the means to hook
994into AnyEvent passively, without loading it.
995
996Example: To load Coro::AnyEvent whenever Coro and AnyEvent are used
997together, you could put this into Coro (this is the actual code used by
998Coro to accomplish this):
999
1000 if (defined $AnyEvent::MODEL) {
1001 # AnyEvent already initialised, so load Coro::AnyEvent
1002 require Coro::AnyEvent;
1003 } else {
1004 # AnyEvent not yet initialised, so make sure to load Coro::AnyEvent
1005 # as soon as it is
1006 push @AnyEvent::post_detect, sub { require Coro::AnyEvent };
1007 }
702 1008
703=back 1009=back
704 1010
705=head1 WHAT TO DO IN A MODULE 1011=head1 WHAT TO DO IN A MODULE
706 1012
717because it will stall the whole program, and the whole point of using 1023because it will stall the whole program, and the whole point of using
718events is to stay interactive. 1024events is to stay interactive.
719 1025
720It is fine, however, to call C<< ->recv >> when the user of your module 1026It is fine, however, to call C<< ->recv >> when the user of your module
721requests it (i.e. if you create a http request object ad have a method 1027requests it (i.e. if you create a http request object ad have a method
722called C<results> that returns the results, it should call C<< ->recv >> 1028called C<results> that returns the results, it may call C<< ->recv >>
723freely, as the user of your module knows what she is doing. always). 1029freely, as the user of your module knows what she is doing. Always).
724 1030
725=head1 WHAT TO DO IN THE MAIN PROGRAM 1031=head1 WHAT TO DO IN THE MAIN PROGRAM
726 1032
727There will always be a single main program - the only place that should 1033There will always be a single main program - the only place that should
728dictate which event model to use. 1034dictate which event model to use.
729 1035
730If it doesn't care, it can just "use AnyEvent" and use it itself, or not 1036If the program is not event-based, it need not do anything special, even
731do anything special (it does not need to be event-based) and let AnyEvent 1037when it depends on a module that uses an AnyEvent. If the program itself
732decide which implementation to chose if some module relies on it. 1038uses AnyEvent, but does not care which event loop is used, all it needs
1039to do is C<use AnyEvent>. In either case, AnyEvent will choose the best
1040available loop implementation.
733 1041
734If the main program relies on a specific event model - for example, in 1042If the main program relies on a specific event model - for example, in
735Gtk2 programs you have to rely on the Glib module - you should load the 1043Gtk2 programs you have to rely on the Glib module - you should load the
736event module before loading AnyEvent or any module that uses it: generally 1044event module before loading AnyEvent or any module that uses it: generally
737speaking, you should load it as early as possible. The reason is that 1045speaking, you should load it as early as possible. The reason is that
738modules might create watchers when they are loaded, and AnyEvent will 1046modules might create watchers when they are loaded, and AnyEvent will
739decide on the event model to use as soon as it creates watchers, and it 1047decide on the event model to use as soon as it creates watchers, and it
740might chose the wrong one unless you load the correct one yourself. 1048might choose the wrong one unless you load the correct one yourself.
741 1049
742You can chose to use a pure-perl implementation by loading the 1050You can chose to use a pure-perl implementation by loading the
743C<AnyEvent::Impl::Perl> module, which gives you similar behaviour 1051C<AnyEvent::Impl::Perl> module, which gives you similar behaviour
744everywhere, but letting AnyEvent chose the model is generally better. 1052everywhere, but letting AnyEvent chose the model is generally better.
745 1053
761 1069
762 1070
763=head1 OTHER MODULES 1071=head1 OTHER MODULES
764 1072
765The following is a non-exhaustive list of additional modules that use 1073The following is a non-exhaustive list of additional modules that use
766AnyEvent and can therefore be mixed easily with other AnyEvent modules 1074AnyEvent as a client and can therefore be mixed easily with other AnyEvent
767in the same program. Some of the modules come with AnyEvent, some are 1075modules and other event loops in the same program. Some of the modules
768available via CPAN. 1076come as part of AnyEvent, the others are available via CPAN.
769 1077
770=over 4 1078=over 4
771 1079
772=item L<AnyEvent::Util> 1080=item L<AnyEvent::Util>
773 1081
774Contains various utility functions that replace often-used but blocking 1082Contains various utility functions that replace often-used blocking
775functions such as C<inet_aton> by event-/callback-based versions. 1083functions such as C<inet_aton> with event/callback-based versions.
776 1084
777=item L<AnyEvent::Socket> 1085=item L<AnyEvent::Socket>
778 1086
779Provides various utility functions for (internet protocol) sockets, 1087Provides various utility functions for (internet protocol) sockets,
780addresses and name resolution. Also functions to create non-blocking tcp 1088addresses and name resolution. Also functions to create non-blocking tcp
782 1090
783=item L<AnyEvent::Handle> 1091=item L<AnyEvent::Handle>
784 1092
785Provide read and write buffers, manages watchers for reads and writes, 1093Provide read and write buffers, manages watchers for reads and writes,
786supports raw and formatted I/O, I/O queued and fully transparent and 1094supports raw and formatted I/O, I/O queued and fully transparent and
787non-blocking SSL/TLS. 1095non-blocking SSL/TLS (via L<AnyEvent::TLS>).
788 1096
789=item L<AnyEvent::DNS> 1097=item L<AnyEvent::DNS>
790 1098
791Provides rich asynchronous DNS resolver capabilities. 1099Provides rich asynchronous DNS resolver capabilities.
792 1100
1101=item L<AnyEvent::HTTP>, L<AnyEvent::IRC>, L<AnyEvent::XMPP>, L<AnyEvent::GPSD>, L<AnyEvent::IGS>, L<AnyEvent::FCP>
1102
1103Implement event-based interfaces to the protocols of the same name (for
1104the curious, IGS is the International Go Server and FCP is the Freenet
1105Client Protocol).
1106
1107=item L<AnyEvent::Handle::UDP>
1108
1109Here be danger!
1110
1111As Pauli would put it, "Not only is it not right, it's not even wrong!" -
1112there are so many things wrong with AnyEvent::Handle::UDP, most notably
1113its use of a stream-based API with a protocol that isn't streamable, that
1114the only way to improve it is to delete it.
1115
1116It features data corruption (but typically only under load) and general
1117confusion. On top, the author is not only clueless about UDP but also
1118fact-resistant - some gems of his understanding: "connect doesn't work
1119with UDP", "UDP packets are not IP packets", "UDP only has datagrams, not
1120packets", "I don't need to implement proper error checking as UDP doesn't
1121support error checking" and so on - he doesn't even understand what's
1122wrong with his module when it is explained to him.
1123
793=item L<AnyEvent::HTTP> 1124=item L<AnyEvent::DBI>
794 1125
795A simple-to-use HTTP library that is capable of making a lot of concurrent 1126Executes L<DBI> requests asynchronously in a proxy process for you,
796HTTP requests. 1127notifying you in an event-based way when the operation is finished.
1128
1129=item L<AnyEvent::AIO>
1130
1131Truly asynchronous (as opposed to non-blocking) I/O, should be in the
1132toolbox of every event programmer. AnyEvent::AIO transparently fuses
1133L<IO::AIO> and AnyEvent together, giving AnyEvent access to event-based
1134file I/O, and much more.
797 1135
798=item L<AnyEvent::HTTPD> 1136=item L<AnyEvent::HTTPD>
799 1137
800Provides a simple web application server framework. 1138A simple embedded webserver.
801 1139
802=item L<AnyEvent::FastPing> 1140=item L<AnyEvent::FastPing>
803 1141
804The fastest ping in the west. 1142The fastest ping in the west.
805 1143
806=item L<AnyEvent::DBI>
807
808Executes L<DBI> requests asynchronously in a proxy process.
809
810=item L<AnyEvent::AIO>
811
812Truly asynchronous I/O, should be in the toolbox of every event
813programmer. AnyEvent::AIO transparently fuses L<IO::AIO> and AnyEvent
814together.
815
816=item L<AnyEvent::BDB>
817
818Truly asynchronous Berkeley DB access. AnyEvent::BDB transparently fuses
819L<BDB> and AnyEvent together.
820
821=item L<AnyEvent::GPSD>
822
823A non-blocking interface to gpsd, a daemon delivering GPS information.
824
825=item L<AnyEvent::IGS>
826
827A non-blocking interface to the Internet Go Server protocol (used by
828L<App::IGS>).
829
830=item L<AnyEvent::IRC>
831
832AnyEvent based IRC client module family (replacing the older Net::IRC3).
833
834=item L<Net::XMPP2>
835
836AnyEvent based XMPP (Jabber protocol) module family.
837
838=item L<Net::FCP>
839
840AnyEvent-based implementation of the Freenet Client Protocol, birthplace
841of AnyEvent.
842
843=item L<Event::ExecFlow>
844
845High level API for event-based execution flow control.
846
847=item L<Coro> 1144=item L<Coro>
848 1145
849Has special support for AnyEvent via L<Coro::AnyEvent>. 1146Has special support for AnyEvent via L<Coro::AnyEvent>.
850 1147
851=item L<IO::Lambda>
852
853The lambda approach to I/O - don't ask, look there. Can use AnyEvent.
854
855=back 1148=back
856 1149
857=cut 1150=cut
858 1151
859package AnyEvent; 1152package AnyEvent;
860 1153
861no warnings; 1154# basically a tuned-down version of common::sense
862use strict qw(vars subs); 1155sub common_sense {
1156 # from common:.sense 3.4
1157 ${^WARNING_BITS} ^= ${^WARNING_BITS} ^ "\x3c\x3f\x33\x00\x0f\xf0\x0f\xc0\xf0\xfc\x33\x00";
1158 # use strict vars subs - NO UTF-8, as Util.pm doesn't like this atm. (uts46data.pl)
1159 $^H |= 0x00000600;
1160}
863 1161
1162BEGIN { AnyEvent::common_sense }
1163
864use Carp; 1164use Carp ();
865 1165
866our $VERSION = 4.32; 1166our $VERSION = '5.3';
867our $MODEL; 1167our $MODEL;
868 1168
869our $AUTOLOAD; 1169our $AUTOLOAD;
870our @ISA; 1170our @ISA;
871 1171
872our @REGISTRY; 1172our @REGISTRY;
873 1173
874our $WIN32; 1174our $VERBOSE;
875 1175
876BEGIN { 1176BEGIN {
877 my $win32 = ! ! ($^O =~ /mswin32/i); 1177 require "AnyEvent/constants.pl";
878 eval "sub WIN32(){ $win32 }";
879}
880 1178
1179 eval "sub TAINT (){" . (${^TAINT}*1) . "}";
1180
1181 delete @ENV{grep /^PERL_ANYEVENT_/, keys %ENV}
1182 if ${^TAINT};
1183
881our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 1184 $VERBOSE = $ENV{PERL_ANYEVENT_VERBOSE}*1;
1185
1186}
1187
1188our $MAX_SIGNAL_LATENCY = 10;
882 1189
883our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred 1190our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred
884 1191
885{ 1192{
886 my $idx; 1193 my $idx;
888 for reverse split /\s*,\s*/, 1195 for reverse split /\s*,\s*/,
889 $ENV{PERL_ANYEVENT_PROTOCOLS} || "ipv4,ipv6"; 1196 $ENV{PERL_ANYEVENT_PROTOCOLS} || "ipv4,ipv6";
890} 1197}
891 1198
892my @models = ( 1199my @models = (
893 [EV:: => AnyEvent::Impl::EV::], 1200 [EV:: => AnyEvent::Impl::EV:: , 1],
894 [Event:: => AnyEvent::Impl::Event::],
895 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::], 1201 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl:: , 1],
896 # everything below here will not be autoprobed 1202 # everything below here will not (normally) be autoprobed
897 # as the pureperl backend should work everywhere 1203 # as the pureperl backend should work everywhere
898 # and is usually faster 1204 # and is usually faster
1205 [Event:: => AnyEvent::Impl::Event::, 1],
1206 [Glib:: => AnyEvent::Impl::Glib:: , 1], # becomes extremely slow with many watchers
1207 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
1208 [Irssi:: => AnyEvent::Impl::Irssi::], # Irssi has a bogus "Event" package
899 [Tk:: => AnyEvent::Impl::Tk::], # crashes with many handles 1209 [Tk:: => AnyEvent::Impl::Tk::], # crashes with many handles
900 [Glib:: => AnyEvent::Impl::Glib::], # becomes extremely slow with many watchers
901 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
902 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 1210 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
903 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 1211 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
904 [Wx:: => AnyEvent::Impl::POE::], 1212 [Wx:: => AnyEvent::Impl::POE::],
905 [Prima:: => AnyEvent::Impl::POE::], 1213 [Prima:: => AnyEvent::Impl::POE::],
1214 [IO::Async::Loop:: => AnyEvent::Impl::IOAsync::],
1215 [Cocoa::EventLoop:: => AnyEvent::Impl::Cocoa::],
906); 1216);
907 1217
908our %method = map +($_ => 1), qw(io timer time now signal child condvar one_event DESTROY); 1218our %method = map +($_ => 1),
1219 qw(io timer time now now_update signal child idle condvar one_event DESTROY);
909 1220
910our @post_detect; 1221our @post_detect;
911 1222
912sub post_detect(&) { 1223sub post_detect(&) {
913 my ($cb) = @_; 1224 my ($cb) = @_;
914 1225
915 if ($MODEL) {
916 $cb->();
917
918 1
919 } else {
920 push @post_detect, $cb; 1226 push @post_detect, $cb;
921 1227
922 defined wantarray 1228 defined wantarray
923 ? bless \$cb, "AnyEvent::Util::PostDetect" 1229 ? bless \$cb, "AnyEvent::Util::postdetect"
924 : () 1230 : ()
1231}
1232
1233sub AnyEvent::Util::postdetect::DESTROY {
1234 @post_detect = grep $_ != ${$_[0]}, @post_detect;
1235}
1236
1237sub detect() {
1238 # free some memory
1239 *detect = sub () { $MODEL };
1240
1241 local $!; # for good measure
1242 local $SIG{__DIE__};
1243
1244 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) {
1245 my $model = "AnyEvent::Impl::$1";
1246 if (eval "require $model") {
1247 $MODEL = $model;
1248 warn "AnyEvent: loaded model '$model' (forced by \$ENV{PERL_ANYEVENT_MODEL}), using it.\n" if $VERBOSE >= 2;
1249 } else {
1250 warn "AnyEvent: unable to load model '$model' (from \$ENV{PERL_ANYEVENT_MODEL}):\n$@" if $VERBOSE;
1251 }
925 } 1252 }
926}
927 1253
928sub AnyEvent::Util::PostDetect::DESTROY { 1254 # check for already loaded models
929 @post_detect = grep $_ != ${$_[0]}, @post_detect;
930}
931
932sub detect() {
933 unless ($MODEL) { 1255 unless ($MODEL) {
934 no strict 'refs'; 1256 for (@REGISTRY, @models) {
935 local $SIG{__DIE__}; 1257 my ($package, $model) = @$_;
936 1258 if (${"$package\::VERSION"} > 0) {
937 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) {
938 my $model = "AnyEvent::Impl::$1";
939 if (eval "require $model") { 1259 if (eval "require $model") {
940 $MODEL = $model; 1260 $MODEL = $model;
941 warn "AnyEvent: loaded model '$model' (forced by \$PERL_ANYEVENT_MODEL), using it.\n" if $verbose > 1; 1261 warn "AnyEvent: autodetected model '$model', using it.\n" if $VERBOSE >= 2;
942 } else { 1262 last;
943 warn "AnyEvent: unable to load model '$model' (from \$PERL_ANYEVENT_MODEL):\n$@" if $verbose; 1263 }
944 } 1264 }
945 } 1265 }
946 1266
947 # check for already loaded models
948 unless ($MODEL) { 1267 unless ($MODEL) {
1268 # try to autoload a model
949 for (@REGISTRY, @models) { 1269 for (@REGISTRY, @models) {
950 my ($package, $model) = @$_; 1270 my ($package, $model, $autoload) = @$_;
1271 if (
1272 $autoload
1273 and eval "require $package"
951 if (${"$package\::VERSION"} > 0) { 1274 and ${"$package\::VERSION"} > 0
952 if (eval "require $model") { 1275 and eval "require $model"
1276 ) {
953 $MODEL = $model; 1277 $MODEL = $model;
954 warn "AnyEvent: autodetected model '$model', using it.\n" if $verbose > 1; 1278 warn "AnyEvent: autoloaded model '$model', using it.\n" if $VERBOSE >= 2;
955 last; 1279 last;
956 }
957 } 1280 }
958 } 1281 }
959 1282
960 unless ($MODEL) {
961 # try to load a model
962
963 for (@REGISTRY, @models) {
964 my ($package, $model) = @$_;
965 if (eval "require $package"
966 and ${"$package\::VERSION"} > 0
967 and eval "require $model") {
968 $MODEL = $model;
969 warn "AnyEvent: autoprobed model '$model', using it.\n" if $verbose > 1;
970 last;
971 }
972 }
973
974 $MODEL 1283 $MODEL
975 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib."; 1284 or die "AnyEvent: backend autodetection failed - did you properly install AnyEvent?\n";
976 }
977 } 1285 }
978
979 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
980
981 unshift @ISA, $MODEL;
982
983 require AnyEvent::Strict if $ENV{PERL_ANYEVENT_STRICT};
984
985 (shift @post_detect)->() while @post_detect;
986 } 1286 }
1287
1288 @models = (); # free probe data
1289
1290 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
1291 unshift @ISA, $MODEL;
1292
1293 # now nuke some methods that are overridden by the backend.
1294 # SUPER is not allowed.
1295 for (qw(time signal child idle)) {
1296 undef &{"AnyEvent::Base::$_"}
1297 if defined &{"$MODEL\::$_"};
1298 }
1299
1300 if ($ENV{PERL_ANYEVENT_STRICT}) {
1301 eval { require AnyEvent::Strict };
1302 warn "AnyEvent: cannot load AnyEvent::Strict: $@"
1303 if $@ && $VERBOSE;
1304 }
1305
1306 (shift @post_detect)->() while @post_detect;
1307
1308 *post_detect = sub(&) {
1309 shift->();
1310
1311 undef
1312 };
987 1313
988 $MODEL 1314 $MODEL
989} 1315}
990 1316
991sub AUTOLOAD { 1317sub AUTOLOAD {
992 (my $func = $AUTOLOAD) =~ s/.*://; 1318 (my $func = $AUTOLOAD) =~ s/.*://;
993 1319
994 $method{$func} 1320 $method{$func}
995 or croak "$func: not a valid method for AnyEvent objects"; 1321 or Carp::croak "$func: not a valid AnyEvent class method";
996 1322
997 detect unless $MODEL; 1323 detect;
998 1324
999 my $class = shift; 1325 my $class = shift;
1000 $class->$func (@_); 1326 $class->$func (@_);
1001} 1327}
1002 1328
1003# utility function to dup a filehandle. this is used by many backends 1329# utility function to dup a filehandle. this is used by many backends
1004# to support binding more than one watcher per filehandle (they usually 1330# to support binding more than one watcher per filehandle (they usually
1005# allow only one watcher per fd, so we dup it to get a different one). 1331# allow only one watcher per fd, so we dup it to get a different one).
1006sub _dupfh($$$$) { 1332sub _dupfh($$;$$) {
1007 my ($poll, $fh, $r, $w) = @_; 1333 my ($poll, $fh, $r, $w) = @_;
1008 1334
1009 require Fcntl;
1010
1011 # cygwin requires the fh mode to be matching, unix doesn't 1335 # cygwin requires the fh mode to be matching, unix doesn't
1012 my ($rw, $mode) = $poll eq "r" ? ($r, "<") 1336 my ($rw, $mode) = $poll eq "r" ? ($r, "<&") : ($w, ">&");
1013 : $poll eq "w" ? ($w, ">")
1014 : Carp::croak "AnyEvent->io requires poll set to either 'r' or 'w'";
1015 1337
1016 open my $fh2, "$mode&" . fileno $fh 1338 open my $fh2, $mode, $fh
1017 or die "cannot dup() filehandle: $!"; 1339 or die "AnyEvent->io: cannot dup() filehandle in mode '$poll': $!,";
1018 1340
1019 # we assume CLOEXEC is already set by perl in all important cases 1341 # we assume CLOEXEC is already set by perl in all important cases
1020 1342
1021 ($fh2, $rw) 1343 ($fh2, $rw)
1022} 1344}
1023 1345
1346=head1 SIMPLIFIED AE API
1347
1348Starting with version 5.0, AnyEvent officially supports a second, much
1349simpler, API that is designed to reduce the calling, typing and memory
1350overhead by using function call syntax and a fixed number of parameters.
1351
1352See the L<AE> manpage for details.
1353
1354=cut
1355
1356package AE;
1357
1358our $VERSION = $AnyEvent::VERSION;
1359
1360# fall back to the main API by default - backends and AnyEvent::Base
1361# implementations can overwrite these.
1362
1363sub io($$$) {
1364 AnyEvent->io (fh => $_[0], poll => $_[1] ? "w" : "r", cb => $_[2])
1365}
1366
1367sub timer($$$) {
1368 AnyEvent->timer (after => $_[0], interval => $_[1], cb => $_[2])
1369}
1370
1371sub signal($$) {
1372 AnyEvent->signal (signal => $_[0], cb => $_[1])
1373}
1374
1375sub child($$) {
1376 AnyEvent->child (pid => $_[0], cb => $_[1])
1377}
1378
1379sub idle($) {
1380 AnyEvent->idle (cb => $_[0])
1381}
1382
1383sub cv(;&) {
1384 AnyEvent->condvar (@_ ? (cb => $_[0]) : ())
1385}
1386
1387sub now() {
1388 AnyEvent->now
1389}
1390
1391sub now_update() {
1392 AnyEvent->now_update
1393}
1394
1395sub time() {
1396 AnyEvent->time
1397}
1398
1024package AnyEvent::Base; 1399package AnyEvent::Base;
1025 1400
1026# default implementation for now and time 1401# default implementations for many methods
1027 1402
1028BEGIN { 1403sub time {
1404 eval q{ # poor man's autoloading {}
1405 # probe for availability of Time::HiRes
1029 if (eval "use Time::HiRes (); time (); 1") { 1406 if (eval "use Time::HiRes (); Time::HiRes::time (); 1") {
1407 warn "AnyEvent: using Time::HiRes for sub-second timing accuracy.\n" if $VERBOSE >= 8;
1030 *_time = \&Time::HiRes::time; 1408 *AE::time = \&Time::HiRes::time;
1031 # if (eval "use POSIX (); (POSIX::times())... 1409 # if (eval "use POSIX (); (POSIX::times())...
1032 } else { 1410 } else {
1411 warn "AnyEvent: using built-in time(), WARNING, no sub-second resolution!\n" if $VERBOSE;
1033 *_time = sub { time }; # epic fail 1412 *AE::time = sub (){ time }; # epic fail
1413 }
1414
1415 *time = sub { AE::time }; # different prototypes
1416 };
1417 die if $@;
1418
1419 &time
1420}
1421
1422*now = \&time;
1423
1424sub now_update { }
1425
1426# default implementation for ->condvar
1427
1428sub condvar {
1429 eval q{ # poor man's autoloading {}
1430 *condvar = sub {
1431 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, "AnyEvent::CondVar"
1432 };
1433
1434 *AE::cv = sub (;&) {
1435 bless { @_ ? (_ae_cb => shift) : () }, "AnyEvent::CondVar"
1436 };
1437 };
1438 die if $@;
1439
1440 &condvar
1441}
1442
1443# default implementation for ->signal
1444
1445our $HAVE_ASYNC_INTERRUPT;
1446
1447sub _have_async_interrupt() {
1448 $HAVE_ASYNC_INTERRUPT = 1*(!$ENV{PERL_ANYEVENT_AVOID_ASYNC_INTERRUPT}
1449 && eval "use Async::Interrupt 1.02 (); 1")
1450 unless defined $HAVE_ASYNC_INTERRUPT;
1451
1452 $HAVE_ASYNC_INTERRUPT
1453}
1454
1455our ($SIGPIPE_R, $SIGPIPE_W, %SIG_CB, %SIG_EV, $SIG_IO);
1456our (%SIG_ASY, %SIG_ASY_W);
1457our ($SIG_COUNT, $SIG_TW);
1458
1459# install a dummy wakeup watcher to reduce signal catching latency
1460# used by Impls
1461sub _sig_add() {
1462 unless ($SIG_COUNT++) {
1463 # try to align timer on a full-second boundary, if possible
1464 my $NOW = AE::now;
1465
1466 $SIG_TW = AE::timer
1467 $MAX_SIGNAL_LATENCY - ($NOW - int $NOW),
1468 $MAX_SIGNAL_LATENCY,
1469 sub { } # just for the PERL_ASYNC_CHECK
1470 ;
1034 } 1471 }
1035} 1472}
1036 1473
1037sub time { _time } 1474sub _sig_del {
1038sub now { _time } 1475 undef $SIG_TW
1039 1476 unless --$SIG_COUNT;
1040# default implementation for ->condvar
1041
1042sub condvar {
1043 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar::
1044} 1477}
1045 1478
1046# default implementation for ->signal 1479our $_sig_name_init; $_sig_name_init = sub {
1480 eval q{ # poor man's autoloading {}
1481 undef $_sig_name_init;
1047 1482
1048our %SIG_CB; 1483 if (_have_async_interrupt) {
1484 *sig2num = \&Async::Interrupt::sig2num;
1485 *sig2name = \&Async::Interrupt::sig2name;
1486 } else {
1487 require Config;
1488
1489 my %signame2num;
1490 @signame2num{ split ' ', $Config::Config{sig_name} }
1491 = split ' ', $Config::Config{sig_num};
1492
1493 my @signum2name;
1494 @signum2name[values %signame2num] = keys %signame2num;
1495
1496 *sig2num = sub($) {
1497 $_[0] > 0 ? shift : $signame2num{+shift}
1498 };
1499 *sig2name = sub ($) {
1500 $_[0] > 0 ? $signum2name[+shift] : shift
1501 };
1502 }
1503 };
1504 die if $@;
1505};
1506
1507sub sig2num ($) { &$_sig_name_init; &sig2num }
1508sub sig2name($) { &$_sig_name_init; &sig2name }
1049 1509
1050sub signal { 1510sub signal {
1511 eval q{ # poor man's autoloading {}
1512 # probe for availability of Async::Interrupt
1513 if (_have_async_interrupt) {
1514 warn "AnyEvent: using Async::Interrupt for race-free signal handling.\n" if $VERBOSE >= 8;
1515
1516 $SIGPIPE_R = new Async::Interrupt::EventPipe;
1517 $SIG_IO = AE::io $SIGPIPE_R->fileno, 0, \&_signal_exec;
1518
1519 } else {
1520 warn "AnyEvent: using emulated perl signal handling with latency timer.\n" if $VERBOSE >= 8;
1521
1522 if (AnyEvent::WIN32) {
1523 require AnyEvent::Util;
1524
1525 ($SIGPIPE_R, $SIGPIPE_W) = AnyEvent::Util::portable_pipe ();
1526 AnyEvent::Util::fh_nonblocking ($SIGPIPE_R, 1) if $SIGPIPE_R;
1527 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W, 1) if $SIGPIPE_W; # just in case
1528 } else {
1529 pipe $SIGPIPE_R, $SIGPIPE_W;
1530 fcntl $SIGPIPE_R, AnyEvent::F_SETFL, AnyEvent::O_NONBLOCK if $SIGPIPE_R;
1531 fcntl $SIGPIPE_W, AnyEvent::F_SETFL, AnyEvent::O_NONBLOCK if $SIGPIPE_W; # just in case
1532
1533 # not strictly required, as $^F is normally 2, but let's make sure...
1534 fcntl $SIGPIPE_R, AnyEvent::F_SETFD, AnyEvent::FD_CLOEXEC;
1535 fcntl $SIGPIPE_W, AnyEvent::F_SETFD, AnyEvent::FD_CLOEXEC;
1536 }
1537
1538 $SIGPIPE_R
1539 or Carp::croak "AnyEvent: unable to create a signal reporting pipe: $!\n";
1540
1541 $SIG_IO = AE::io $SIGPIPE_R, 0, \&_signal_exec;
1542 }
1543
1544 *signal = $HAVE_ASYNC_INTERRUPT
1545 ? sub {
1051 my (undef, %arg) = @_; 1546 my (undef, %arg) = @_;
1052 1547
1548 # async::interrupt
1053 my $signal = uc $arg{signal} 1549 my $signal = sig2num $arg{signal};
1054 or Carp::croak "required option 'signal' is missing";
1055
1056 $SIG_CB{$signal}{$arg{cb}} = $arg{cb}; 1550 $SIG_CB{$signal}{$arg{cb}} = $arg{cb};
1551
1552 $SIG_ASY{$signal} ||= new Async::Interrupt
1553 cb => sub { undef $SIG_EV{$signal} },
1554 signal => $signal,
1555 pipe => [$SIGPIPE_R->filenos],
1556 pipe_autodrain => 0,
1557 ;
1558
1559 bless [$signal, $arg{cb}], "AnyEvent::Base::signal"
1560 }
1561 : sub {
1562 my (undef, %arg) = @_;
1563
1564 # pure perl
1565 my $signal = sig2name $arg{signal};
1566 $SIG_CB{$signal}{$arg{cb}} = $arg{cb};
1567
1057 $SIG{$signal} ||= sub { 1568 $SIG{$signal} ||= sub {
1569 local $!;
1570 syswrite $SIGPIPE_W, "\x00", 1 unless %SIG_EV;
1571 undef $SIG_EV{$signal};
1572 };
1573
1574 # can't do signal processing without introducing races in pure perl,
1575 # so limit the signal latency.
1576 _sig_add;
1577
1578 bless [$signal, $arg{cb}], "AnyEvent::Base::signal"
1579 }
1580 ;
1581
1582 *AnyEvent::Base::signal::DESTROY = sub {
1583 my ($signal, $cb) = @{$_[0]};
1584
1585 _sig_del;
1586
1587 delete $SIG_CB{$signal}{$cb};
1588
1589 $HAVE_ASYNC_INTERRUPT
1590 ? delete $SIG_ASY{$signal}
1591 : # delete doesn't work with older perls - they then
1592 # print weird messages, or just unconditionally exit
1593 # instead of getting the default action.
1594 undef $SIG{$signal}
1595 unless keys %{ $SIG_CB{$signal} };
1596 };
1597
1598 *_signal_exec = sub {
1599 $HAVE_ASYNC_INTERRUPT
1600 ? $SIGPIPE_R->drain
1601 : sysread $SIGPIPE_R, (my $dummy), 9;
1602
1603 while (%SIG_EV) {
1604 for (keys %SIG_EV) {
1605 delete $SIG_EV{$_};
1058 $_->() for values %{ $SIG_CB{$signal} || {} }; 1606 $_->() for values %{ $SIG_CB{$_} || {} };
1607 }
1608 }
1609 };
1059 }; 1610 };
1611 die if $@;
1060 1612
1061 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal" 1613 &signal
1062}
1063
1064sub AnyEvent::Base::Signal::DESTROY {
1065 my ($signal, $cb) = @{$_[0]};
1066
1067 delete $SIG_CB{$signal}{$cb};
1068
1069 delete $SIG{$signal} unless keys %{ $SIG_CB{$signal} };
1070} 1614}
1071 1615
1072# default implementation for ->child 1616# default implementation for ->child
1073 1617
1074our %PID_CB; 1618our %PID_CB;
1075our $CHLD_W; 1619our $CHLD_W;
1076our $CHLD_DELAY_W; 1620our $CHLD_DELAY_W;
1077our $PID_IDLE;
1078our $WNOHANG;
1079 1621
1080sub _child_wait { 1622# used by many Impl's
1081 while (0 < (my $pid = waitpid -1, $WNOHANG)) { 1623sub _emit_childstatus($$) {
1624 my (undef, $rpid, $rstatus) = @_;
1625
1626 $_->($rpid, $rstatus)
1082 $_->($pid, $?) for (values %{ $PID_CB{$pid} || {} }), 1627 for values %{ $PID_CB{$rpid} || {} },
1083 (values %{ $PID_CB{0} || {} }); 1628 values %{ $PID_CB{0} || {} };
1084 }
1085
1086 undef $PID_IDLE;
1087}
1088
1089sub _sigchld {
1090 # make sure we deliver these changes "synchronous" with the event loop.
1091 $CHLD_DELAY_W ||= AnyEvent->timer (after => 0, cb => sub {
1092 undef $CHLD_DELAY_W;
1093 &_child_wait;
1094 });
1095} 1629}
1096 1630
1097sub child { 1631sub child {
1632 eval q{ # poor man's autoloading {}
1633 *_sigchld = sub {
1634 my $pid;
1635
1636 AnyEvent->_emit_childstatus ($pid, $?)
1637 while ($pid = waitpid -1, WNOHANG) > 0;
1638 };
1639
1640 *child = sub {
1098 my (undef, %arg) = @_; 1641 my (undef, %arg) = @_;
1099 1642
1100 defined (my $pid = $arg{pid} + 0) 1643 defined (my $pid = $arg{pid} + 0)
1101 or Carp::croak "required option 'pid' is missing"; 1644 or Carp::croak "required option 'pid' is missing";
1102 1645
1103 $PID_CB{$pid}{$arg{cb}} = $arg{cb}; 1646 $PID_CB{$pid}{$arg{cb}} = $arg{cb};
1104 1647
1105 unless ($WNOHANG) {
1106 $WNOHANG = eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1;
1107 }
1108
1109 unless ($CHLD_W) { 1648 unless ($CHLD_W) {
1110 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld); 1649 $CHLD_W = AE::signal CHLD => \&_sigchld;
1111 # child could be a zombie already, so make at least one round 1650 # child could be a zombie already, so make at least one round
1112 &_sigchld; 1651 &_sigchld;
1113 } 1652 }
1114 1653
1115 bless [$pid, $arg{cb}], "AnyEvent::Base::Child" 1654 bless [$pid, $arg{cb}], "AnyEvent::Base::child"
1116} 1655 };
1117 1656
1118sub AnyEvent::Base::Child::DESTROY { 1657 *AnyEvent::Base::child::DESTROY = sub {
1119 my ($pid, $cb) = @{$_[0]}; 1658 my ($pid, $cb) = @{$_[0]};
1120 1659
1121 delete $PID_CB{$pid}{$cb}; 1660 delete $PID_CB{$pid}{$cb};
1122 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 1661 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
1123 1662
1124 undef $CHLD_W unless keys %PID_CB; 1663 undef $CHLD_W unless keys %PID_CB;
1664 };
1665 };
1666 die if $@;
1667
1668 &child
1669}
1670
1671# idle emulation is done by simply using a timer, regardless
1672# of whether the process is idle or not, and not letting
1673# the callback use more than 50% of the time.
1674sub idle {
1675 eval q{ # poor man's autoloading {}
1676 *idle = sub {
1677 my (undef, %arg) = @_;
1678
1679 my ($cb, $w, $rcb) = $arg{cb};
1680
1681 $rcb = sub {
1682 if ($cb) {
1683 $w = _time;
1684 &$cb;
1685 $w = _time - $w;
1686
1687 # never use more then 50% of the time for the idle watcher,
1688 # within some limits
1689 $w = 0.0001 if $w < 0.0001;
1690 $w = 5 if $w > 5;
1691
1692 $w = AE::timer $w, 0, $rcb;
1693 } else {
1694 # clean up...
1695 undef $w;
1696 undef $rcb;
1697 }
1698 };
1699
1700 $w = AE::timer 0.05, 0, $rcb;
1701
1702 bless \\$cb, "AnyEvent::Base::idle"
1703 };
1704
1705 *AnyEvent::Base::idle::DESTROY = sub {
1706 undef $${$_[0]};
1707 };
1708 };
1709 die if $@;
1710
1711 &idle
1125} 1712}
1126 1713
1127package AnyEvent::CondVar; 1714package AnyEvent::CondVar;
1128 1715
1129our @ISA = AnyEvent::CondVar::Base::; 1716our @ISA = AnyEvent::CondVar::Base::;
1130 1717
1718# only to be used for subclassing
1719sub new {
1720 my $class = shift;
1721 bless AnyEvent->condvar (@_), $class
1722}
1723
1131package AnyEvent::CondVar::Base; 1724package AnyEvent::CondVar::Base;
1132 1725
1133use overload 1726#use overload
1134 '&{}' => sub { my $self = shift; sub { $self->send (@_) } }, 1727# '&{}' => sub { my $self = shift; sub { $self->send (@_) } },
1135 fallback => 1; 1728# fallback => 1;
1729
1730# save 300+ kilobytes by dirtily hardcoding overloading
1731${"AnyEvent::CondVar::Base::OVERLOAD"}{dummy}++; # Register with magic by touching.
1732*{'AnyEvent::CondVar::Base::()'} = sub { }; # "Make it findable via fetchmethod."
1733*{'AnyEvent::CondVar::Base::(&{}'} = sub { my $self = shift; sub { $self->send (@_) } }; # &{}
1734${'AnyEvent::CondVar::Base::()'} = 1; # fallback
1735
1736our $WAITING;
1136 1737
1137sub _send { 1738sub _send {
1138 # nop 1739 # nop
1139} 1740}
1140 1741
1153sub ready { 1754sub ready {
1154 $_[0]{_ae_sent} 1755 $_[0]{_ae_sent}
1155} 1756}
1156 1757
1157sub _wait { 1758sub _wait {
1759 $WAITING
1760 and !$_[0]{_ae_sent}
1761 and Carp::croak "AnyEvent::CondVar: recursive blocking wait detected";
1762
1763 local $WAITING = 1;
1158 AnyEvent->one_event while !$_[0]{_ae_sent}; 1764 AnyEvent->one_event while !$_[0]{_ae_sent};
1159} 1765}
1160 1766
1161sub recv { 1767sub recv {
1162 $_[0]->_wait; 1768 $_[0]->_wait;
1164 Carp::croak $_[0]{_ae_croak} if $_[0]{_ae_croak}; 1770 Carp::croak $_[0]{_ae_croak} if $_[0]{_ae_croak};
1165 wantarray ? @{ $_[0]{_ae_sent} } : $_[0]{_ae_sent}[0] 1771 wantarray ? @{ $_[0]{_ae_sent} } : $_[0]{_ae_sent}[0]
1166} 1772}
1167 1773
1168sub cb { 1774sub cb {
1169 $_[0]{_ae_cb} = $_[1] if @_ > 1; 1775 my $cv = shift;
1776
1777 @_
1778 and $cv->{_ae_cb} = shift
1779 and $cv->{_ae_sent}
1780 and (delete $cv->{_ae_cb})->($cv);
1781
1170 $_[0]{_ae_cb} 1782 $cv->{_ae_cb}
1171} 1783}
1172 1784
1173sub begin { 1785sub begin {
1174 ++$_[0]{_ae_counter}; 1786 ++$_[0]{_ae_counter};
1175 $_[0]{_ae_end_cb} = $_[1] if @_ > 1; 1787 $_[0]{_ae_end_cb} = $_[1] if @_ > 1;
1203so on. 1815so on.
1204 1816
1205=head1 ENVIRONMENT VARIABLES 1817=head1 ENVIRONMENT VARIABLES
1206 1818
1207The following environment variables are used by this module or its 1819The following environment variables are used by this module or its
1208submodules: 1820submodules.
1821
1822Note that AnyEvent will remove I<all> environment variables starting with
1823C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
1824enabled.
1209 1825
1210=over 4 1826=over 4
1211 1827
1212=item C<PERL_ANYEVENT_VERBOSE> 1828=item C<PERL_ANYEVENT_VERBOSE>
1213 1829
1220C<PERL_ANYEVENT_MODEL>. 1836C<PERL_ANYEVENT_MODEL>.
1221 1837
1222When set to C<2> or higher, cause AnyEvent to report to STDERR which event 1838When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1223model it chooses. 1839model it chooses.
1224 1840
1841When set to C<8> or higher, then AnyEvent will report extra information on
1842which optional modules it loads and how it implements certain features.
1843
1225=item C<PERL_ANYEVENT_STRICT> 1844=item C<PERL_ANYEVENT_STRICT>
1226 1845
1227AnyEvent does not do much argument checking by default, as thorough 1846AnyEvent does not do much argument checking by default, as thorough
1228argument checking is very costly. Setting this variable to a true value 1847argument checking is very costly. Setting this variable to a true value
1229will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly 1848will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1230check the arguments passed to most method calls. If it finds any problems 1849check the arguments passed to most method calls. If it finds any problems,
1231it will croak. 1850it will croak.
1232 1851
1233In other words, enables "strict" mode. 1852In other words, enables "strict" mode.
1234 1853
1235Unlike C<use strict>, it is definitely recommended ot keep it off in 1854Unlike C<use strict> (or its modern cousin, C<< use L<common::sense>
1236production. Keeping C<PERL_ANYEVENT_STRICT=1> in your environment while 1855>>, it is definitely recommended to keep it off in production. Keeping
1237developing programs can be very useful, however. 1856C<PERL_ANYEVENT_STRICT=1> in your environment while developing programs
1857can be very useful, however.
1238 1858
1239=item C<PERL_ANYEVENT_MODEL> 1859=item C<PERL_ANYEVENT_MODEL>
1240 1860
1241This can be used to specify the event model to be used by AnyEvent, before 1861This can be used to specify the event model to be used by AnyEvent, before
1242auto detection and -probing kicks in. It must be a string consisting 1862auto detection and -probing kicks in. It must be a string consisting
1263used, and preference will be given to protocols mentioned earlier in the 1883used, and preference will be given to protocols mentioned earlier in the
1264list. 1884list.
1265 1885
1266This variable can effectively be used for denial-of-service attacks 1886This variable can effectively be used for denial-of-service attacks
1267against local programs (e.g. when setuid), although the impact is likely 1887against local programs (e.g. when setuid), although the impact is likely
1268small, as the program has to handle connection errors already- 1888small, as the program has to handle conenction and other failures anyways.
1269 1889
1270Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6, 1890Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1271but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4> 1891but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1272- only support IPv4, never try to resolve or contact IPv6 1892- only support IPv4, never try to resolve or contact IPv6
1273addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or 1893addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1285 1905
1286=item C<PERL_ANYEVENT_MAX_FORKS> 1906=item C<PERL_ANYEVENT_MAX_FORKS>
1287 1907
1288The maximum number of child processes that C<AnyEvent::Util::fork_call> 1908The maximum number of child processes that C<AnyEvent::Util::fork_call>
1289will create in parallel. 1909will create in parallel.
1910
1911=item C<PERL_ANYEVENT_MAX_OUTSTANDING_DNS>
1912
1913The default value for the C<max_outstanding> parameter for the default DNS
1914resolver - this is the maximum number of parallel DNS requests that are
1915sent to the DNS server.
1916
1917=item C<PERL_ANYEVENT_RESOLV_CONF>
1918
1919The file to use instead of F</etc/resolv.conf> (or OS-specific
1920configuration) in the default resolver. When set to the empty string, no
1921default config will be used.
1922
1923=item C<PERL_ANYEVENT_CA_FILE>, C<PERL_ANYEVENT_CA_PATH>.
1924
1925When neither C<ca_file> nor C<ca_path> was specified during
1926L<AnyEvent::TLS> context creation, and either of these environment
1927variables exist, they will be used to specify CA certificate locations
1928instead of a system-dependent default.
1929
1930=item C<PERL_ANYEVENT_AVOID_GUARD> and C<PERL_ANYEVENT_AVOID_ASYNC_INTERRUPT>
1931
1932When these are set to C<1>, then the respective modules are not
1933loaded. Mostly good for testing AnyEvent itself.
1290 1934
1291=back 1935=back
1292 1936
1293=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1937=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
1294 1938
1352 warn "read: $input\n"; # output what has been read 1996 warn "read: $input\n"; # output what has been read
1353 $cv->send if $input =~ /^q/i; # quit program if /^q/i 1997 $cv->send if $input =~ /^q/i; # quit program if /^q/i
1354 }, 1998 },
1355 ); 1999 );
1356 2000
1357 my $time_watcher; # can only be used once
1358
1359 sub new_timer {
1360 $timer = AnyEvent->timer (after => 1, cb => sub { 2001 my $time_watcher = AnyEvent->timer (after => 1, interval => 1, cb => sub {
1361 warn "timeout\n"; # print 'timeout' about every second 2002 warn "timeout\n"; # print 'timeout' at most every second
1362 &new_timer; # and restart the time
1363 }); 2003 });
1364 }
1365
1366 new_timer; # create first timer
1367 2004
1368 $cv->recv; # wait until user enters /^q/i 2005 $cv->recv; # wait until user enters /^q/i
1369 2006
1370=head1 REAL-WORLD EXAMPLE 2007=head1 REAL-WORLD EXAMPLE
1371 2008
1444 2081
1445The actual code goes further and collects all errors (C<die>s, exceptions) 2082The actual code goes further and collects all errors (C<die>s, exceptions)
1446that occurred during request processing. The C<result> method detects 2083that occurred during request processing. The C<result> method detects
1447whether an exception as thrown (it is stored inside the $txn object) 2084whether an exception as thrown (it is stored inside the $txn object)
1448and just throws the exception, which means connection errors and other 2085and just throws the exception, which means connection errors and other
1449problems get reported tot he code that tries to use the result, not in a 2086problems get reported to the code that tries to use the result, not in a
1450random callback. 2087random callback.
1451 2088
1452All of this enables the following usage styles: 2089All of this enables the following usage styles:
1453 2090
14541. Blocking: 20911. Blocking:
1502through AnyEvent. The benchmark creates a lot of timers (with a zero 2139through AnyEvent. The benchmark creates a lot of timers (with a zero
1503timeout) and I/O watchers (watching STDOUT, a pty, to become writable, 2140timeout) and I/O watchers (watching STDOUT, a pty, to become writable,
1504which it is), lets them fire exactly once and destroys them again. 2141which it is), lets them fire exactly once and destroys them again.
1505 2142
1506Source code for this benchmark is found as F<eg/bench> in the AnyEvent 2143Source code for this benchmark is found as F<eg/bench> in the AnyEvent
1507distribution. 2144distribution. It uses the L<AE> interface, which makes a real difference
2145for the EV and Perl backends only.
1508 2146
1509=head3 Explanation of the columns 2147=head3 Explanation of the columns
1510 2148
1511I<watcher> is the number of event watchers created/destroyed. Since 2149I<watcher> is the number of event watchers created/destroyed. Since
1512different event models feature vastly different performances, each event 2150different event models feature vastly different performances, each event
1533watcher. 2171watcher.
1534 2172
1535=head3 Results 2173=head3 Results
1536 2174
1537 name watchers bytes create invoke destroy comment 2175 name watchers bytes create invoke destroy comment
1538 EV/EV 400000 224 0.47 0.35 0.27 EV native interface 2176 EV/EV 100000 223 0.47 0.43 0.27 EV native interface
1539 EV/Any 100000 224 2.88 0.34 0.27 EV + AnyEvent watchers 2177 EV/Any 100000 223 0.48 0.42 0.26 EV + AnyEvent watchers
1540 CoroEV/Any 100000 224 2.85 0.35 0.28 coroutines + Coro::Signal 2178 Coro::EV/Any 100000 223 0.47 0.42 0.26 coroutines + Coro::Signal
1541 Perl/Any 100000 452 4.13 0.73 0.95 pure perl implementation 2179 Perl/Any 100000 431 2.70 0.74 0.92 pure perl implementation
1542 Event/Event 16000 517 32.20 31.80 0.81 Event native interface 2180 Event/Event 16000 516 31.16 31.84 0.82 Event native interface
1543 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers 2181 Event/Any 16000 1203 42.61 34.79 1.80 Event + AnyEvent watchers
2182 IOAsync/Any 16000 1911 41.92 27.45 16.81 via IO::Async::Loop::IO_Poll
2183 IOAsync/Any 16000 1726 40.69 26.37 15.25 via IO::Async::Loop::Epoll
1544 Glib/Any 16000 1357 102.33 12.31 51.00 quadratic behaviour 2184 Glib/Any 16000 1118 89.00 12.57 51.17 quadratic behaviour
1545 Tk/Any 2000 1860 27.20 66.31 14.00 SEGV with >> 2000 watchers 2185 Tk/Any 2000 1346 20.96 10.75 8.00 SEGV with >> 2000 watchers
1546 POE/Event 2000 6328 109.99 751.67 14.02 via POE::Loop::Event 2186 POE/Any 2000 6951 108.97 795.32 14.24 via POE::Loop::Event
1547 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select 2187 POE/Any 2000 6648 94.79 774.40 575.51 via POE::Loop::Select
1548 2188
1549=head3 Discussion 2189=head3 Discussion
1550 2190
1551The benchmark does I<not> measure scalability of the event loop very 2191The benchmark does I<not> measure scalability of the event loop very
1552well. For example, a select-based event loop (such as the pure perl one) 2192well. For example, a select-based event loop (such as the pure perl one)
1564benchmark machine, handling an event takes roughly 1600 CPU cycles with 2204benchmark machine, handling an event takes roughly 1600 CPU cycles with
1565EV, 3100 CPU cycles with AnyEvent's pure perl loop and almost 3000000 CPU 2205EV, 3100 CPU cycles with AnyEvent's pure perl loop and almost 3000000 CPU
1566cycles with POE. 2206cycles with POE.
1567 2207
1568C<EV> is the sole leader regarding speed and memory use, which are both 2208C<EV> is the sole leader regarding speed and memory use, which are both
1569maximal/minimal, respectively. Even when going through AnyEvent, it uses 2209maximal/minimal, respectively. When using the L<AE> API there is zero
2210overhead (when going through the AnyEvent API create is about 5-6 times
2211slower, with other times being equal, so still uses far less memory than
1570far less memory than any other event loop and is still faster than Event 2212any other event loop and is still faster than Event natively).
1571natively.
1572 2213
1573The pure perl implementation is hit in a few sweet spots (both the 2214The pure perl implementation is hit in a few sweet spots (both the
1574constant timeout and the use of a single fd hit optimisations in the perl 2215constant timeout and the use of a single fd hit optimisations in the perl
1575interpreter and the backend itself). Nevertheless this shows that it 2216interpreter and the backend itself). Nevertheless this shows that it
1576adds very little overhead in itself. Like any select-based backend its 2217adds very little overhead in itself. Like any select-based backend its
1577performance becomes really bad with lots of file descriptors (and few of 2218performance becomes really bad with lots of file descriptors (and few of
1578them active), of course, but this was not subject of this benchmark. 2219them active), of course, but this was not subject of this benchmark.
1579 2220
1580The C<Event> module has a relatively high setup and callback invocation 2221The C<Event> module has a relatively high setup and callback invocation
1581cost, but overall scores in on the third place. 2222cost, but overall scores in on the third place.
2223
2224C<IO::Async> performs admirably well, about on par with C<Event>, even
2225when using its pure perl backend.
1582 2226
1583C<Glib>'s memory usage is quite a bit higher, but it features a 2227C<Glib>'s memory usage is quite a bit higher, but it features a
1584faster callback invocation and overall ends up in the same class as 2228faster callback invocation and overall ends up in the same class as
1585C<Event>. However, Glib scales extremely badly, doubling the number of 2229C<Event>. However, Glib scales extremely badly, doubling the number of
1586watchers increases the processing time by more than a factor of four, 2230watchers increases the processing time by more than a factor of four,
1647In this benchmark, we use 10000 socket pairs (20000 sockets), of which 100 2291In this benchmark, we use 10000 socket pairs (20000 sockets), of which 100
1648(1%) are active. This mirrors the activity of large servers with many 2292(1%) are active. This mirrors the activity of large servers with many
1649connections, most of which are idle at any one point in time. 2293connections, most of which are idle at any one point in time.
1650 2294
1651Source code for this benchmark is found as F<eg/bench2> in the AnyEvent 2295Source code for this benchmark is found as F<eg/bench2> in the AnyEvent
1652distribution. 2296distribution. It uses the L<AE> interface, which makes a real difference
2297for the EV and Perl backends only.
1653 2298
1654=head3 Explanation of the columns 2299=head3 Explanation of the columns
1655 2300
1656I<sockets> is the number of sockets, and twice the number of "servers" (as 2301I<sockets> is the number of sockets, and twice the number of "servers" (as
1657each server has a read and write socket end). 2302each server has a read and write socket end).
1664it to another server. This includes deleting the old timeout and creating 2309it to another server. This includes deleting the old timeout and creating
1665a new one that moves the timeout into the future. 2310a new one that moves the timeout into the future.
1666 2311
1667=head3 Results 2312=head3 Results
1668 2313
1669 name sockets create request 2314 name sockets create request
1670 EV 20000 69.01 11.16 2315 EV 20000 62.66 7.99
1671 Perl 20000 73.32 35.87 2316 Perl 20000 68.32 32.64
1672 Event 20000 212.62 257.32 2317 IOAsync 20000 174.06 101.15 epoll
1673 Glib 20000 651.16 1896.30 2318 IOAsync 20000 174.67 610.84 poll
2319 Event 20000 202.69 242.91
2320 Glib 20000 557.01 1689.52
1674 POE 20000 349.67 12317.24 uses POE::Loop::Event 2321 POE 20000 341.54 12086.32 uses POE::Loop::Event
1675 2322
1676=head3 Discussion 2323=head3 Discussion
1677 2324
1678This benchmark I<does> measure scalability and overall performance of the 2325This benchmark I<does> measure scalability and overall performance of the
1679particular event loop. 2326particular event loop.
1681EV is again fastest. Since it is using epoll on my system, the setup time 2328EV is again fastest. Since it is using epoll on my system, the setup time
1682is relatively high, though. 2329is relatively high, though.
1683 2330
1684Perl surprisingly comes second. It is much faster than the C-based event 2331Perl surprisingly comes second. It is much faster than the C-based event
1685loops Event and Glib. 2332loops Event and Glib.
2333
2334IO::Async performs very well when using its epoll backend, and still quite
2335good compared to Glib when using its pure perl backend.
1686 2336
1687Event suffers from high setup time as well (look at its code and you will 2337Event suffers from high setup time as well (look at its code and you will
1688understand why). Callback invocation also has a high overhead compared to 2338understand why). Callback invocation also has a high overhead compared to
1689the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event 2339the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event
1690uses select or poll in basically all documented configurations. 2340uses select or poll in basically all documented configurations.
1753=item * C-based event loops perform very well with small number of 2403=item * C-based event loops perform very well with small number of
1754watchers, as the management overhead dominates. 2404watchers, as the management overhead dominates.
1755 2405
1756=back 2406=back
1757 2407
2408=head2 THE IO::Lambda BENCHMARK
2409
2410Recently I was told about the benchmark in the IO::Lambda manpage, which
2411could be misinterpreted to make AnyEvent look bad. In fact, the benchmark
2412simply compares IO::Lambda with POE, and IO::Lambda looks better (which
2413shouldn't come as a surprise to anybody). As such, the benchmark is
2414fine, and mostly shows that the AnyEvent backend from IO::Lambda isn't
2415very optimal. But how would AnyEvent compare when used without the extra
2416baggage? To explore this, I wrote the equivalent benchmark for AnyEvent.
2417
2418The benchmark itself creates an echo-server, and then, for 500 times,
2419connects to the echo server, sends a line, waits for the reply, and then
2420creates the next connection. This is a rather bad benchmark, as it doesn't
2421test the efficiency of the framework or much non-blocking I/O, but it is a
2422benchmark nevertheless.
2423
2424 name runtime
2425 Lambda/select 0.330 sec
2426 + optimized 0.122 sec
2427 Lambda/AnyEvent 0.327 sec
2428 + optimized 0.138 sec
2429 Raw sockets/select 0.077 sec
2430 POE/select, components 0.662 sec
2431 POE/select, raw sockets 0.226 sec
2432 POE/select, optimized 0.404 sec
2433
2434 AnyEvent/select/nb 0.085 sec
2435 AnyEvent/EV/nb 0.068 sec
2436 +state machine 0.134 sec
2437
2438The benchmark is also a bit unfair (my fault): the IO::Lambda/POE
2439benchmarks actually make blocking connects and use 100% blocking I/O,
2440defeating the purpose of an event-based solution. All of the newly
2441written AnyEvent benchmarks use 100% non-blocking connects (using
2442AnyEvent::Socket::tcp_connect and the asynchronous pure perl DNS
2443resolver), so AnyEvent is at a disadvantage here, as non-blocking connects
2444generally require a lot more bookkeeping and event handling than blocking
2445connects (which involve a single syscall only).
2446
2447The last AnyEvent benchmark additionally uses L<AnyEvent::Handle>, which
2448offers similar expressive power as POE and IO::Lambda, using conventional
2449Perl syntax. This means that both the echo server and the client are 100%
2450non-blocking, further placing it at a disadvantage.
2451
2452As you can see, the AnyEvent + EV combination even beats the
2453hand-optimised "raw sockets benchmark", while AnyEvent + its pure perl
2454backend easily beats IO::Lambda and POE.
2455
2456And even the 100% non-blocking version written using the high-level (and
2457slow :) L<AnyEvent::Handle> abstraction beats both POE and IO::Lambda
2458higher level ("unoptimised") abstractions by a large margin, even though
2459it does all of DNS, tcp-connect and socket I/O in a non-blocking way.
2460
2461The two AnyEvent benchmarks programs can be found as F<eg/ae0.pl> and
2462F<eg/ae2.pl> in the AnyEvent distribution, the remaining benchmarks are
2463part of the IO::Lambda distribution and were used without any changes.
2464
1758 2465
1759=head1 SIGNALS 2466=head1 SIGNALS
1760 2467
1761AnyEvent currently installs handlers for these signals: 2468AnyEvent currently installs handlers for these signals:
1762 2469
1765=item SIGCHLD 2472=item SIGCHLD
1766 2473
1767A handler for C<SIGCHLD> is installed by AnyEvent's child watcher 2474A handler for C<SIGCHLD> is installed by AnyEvent's child watcher
1768emulation for event loops that do not support them natively. Also, some 2475emulation for event loops that do not support them natively. Also, some
1769event loops install a similar handler. 2476event loops install a similar handler.
2477
2478Additionally, when AnyEvent is loaded and SIGCHLD is set to IGNORE, then
2479AnyEvent will reset it to default, to avoid losing child exit statuses.
1770 2480
1771=item SIGPIPE 2481=item SIGPIPE
1772 2482
1773A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef> 2483A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef>
1774when AnyEvent gets loaded. 2484when AnyEvent gets loaded.
1786 2496
1787=back 2497=back
1788 2498
1789=cut 2499=cut
1790 2500
2501undef $SIG{CHLD}
2502 if $SIG{CHLD} eq 'IGNORE';
2503
1791$SIG{PIPE} = sub { } 2504$SIG{PIPE} = sub { }
1792 unless defined $SIG{PIPE}; 2505 unless defined $SIG{PIPE};
1793 2506
2507=head1 RECOMMENDED/OPTIONAL MODULES
2508
2509One of AnyEvent's main goals is to be 100% Pure-Perl(tm): only perl (and
2510its built-in modules) are required to use it.
2511
2512That does not mean that AnyEvent won't take advantage of some additional
2513modules if they are installed.
2514
2515This section explains which additional modules will be used, and how they
2516affect AnyEvent's operation.
2517
2518=over 4
2519
2520=item L<Async::Interrupt>
2521
2522This slightly arcane module is used to implement fast signal handling: To
2523my knowledge, there is no way to do completely race-free and quick
2524signal handling in pure perl. To ensure that signals still get
2525delivered, AnyEvent will start an interval timer to wake up perl (and
2526catch the signals) with some delay (default is 10 seconds, look for
2527C<$AnyEvent::MAX_SIGNAL_LATENCY>).
2528
2529If this module is available, then it will be used to implement signal
2530catching, which means that signals will not be delayed, and the event loop
2531will not be interrupted regularly, which is more efficient (and good for
2532battery life on laptops).
2533
2534This affects not just the pure-perl event loop, but also other event loops
2535that have no signal handling on their own (e.g. Glib, Tk, Qt).
2536
2537Some event loops (POE, Event, Event::Lib) offer signal watchers natively,
2538and either employ their own workarounds (POE) or use AnyEvent's workaround
2539(using C<$AnyEvent::MAX_SIGNAL_LATENCY>). Installing L<Async::Interrupt>
2540does nothing for those backends.
2541
2542=item L<EV>
2543
2544This module isn't really "optional", as it is simply one of the backend
2545event loops that AnyEvent can use. However, it is simply the best event
2546loop available in terms of features, speed and stability: It supports
2547the AnyEvent API optimally, implements all the watcher types in XS, does
2548automatic timer adjustments even when no monotonic clock is available,
2549can take avdantage of advanced kernel interfaces such as C<epoll> and
2550C<kqueue>, and is the fastest backend I<by far>. You can even embed
2551L<Glib>/L<Gtk2> in it (or vice versa, see L<EV::Glib> and L<Glib::EV>).
2552
2553If you only use backends that rely on another event loop (e.g. C<Tk>),
2554then this module will do nothing for you.
2555
2556=item L<Guard>
2557
2558The guard module, when used, will be used to implement
2559C<AnyEvent::Util::guard>. This speeds up guards considerably (and uses a
2560lot less memory), but otherwise doesn't affect guard operation much. It is
2561purely used for performance.
2562
2563=item L<JSON> and L<JSON::XS>
2564
2565One of these modules is required when you want to read or write JSON data
2566via L<AnyEvent::Handle>. L<JSON> is also written in pure-perl, but can take
2567advantage of the ultra-high-speed L<JSON::XS> module when it is installed.
2568
2569=item L<Net::SSLeay>
2570
2571Implementing TLS/SSL in Perl is certainly interesting, but not very
2572worthwhile: If this module is installed, then L<AnyEvent::Handle> (with
2573the help of L<AnyEvent::TLS>), gains the ability to do TLS/SSL.
2574
2575=item L<Time::HiRes>
2576
2577This module is part of perl since release 5.008. It will be used when the
2578chosen event library does not come with a timing source of its own. The
2579pure-perl event loop (L<AnyEvent::Impl::Perl>) will additionally use it to
2580try to use a monotonic clock for timing stability.
2581
2582=back
2583
1794 2584
1795=head1 FORK 2585=head1 FORK
1796 2586
1797Most event libraries are not fork-safe. The ones who are usually are 2587Most event libraries are not fork-safe. The ones who are usually are
1798because they rely on inefficient but fork-safe C<select> or C<poll> 2588because they rely on inefficient but fork-safe C<select> or C<poll> calls
1799calls. Only L<EV> is fully fork-aware. 2589- higher performance APIs such as BSD's kqueue or the dreaded Linux epoll
2590are usually badly thought-out hacks that are incompatible with fork in
2591one way or another. Only L<EV> is fully fork-aware and ensures that you
2592continue event-processing in both parent and child (or both, if you know
2593what you are doing).
2594
2595This means that, in general, you cannot fork and do event processing in
2596the child if the event library was initialised before the fork (which
2597usually happens when the first AnyEvent watcher is created, or the library
2598is loaded).
1800 2599
1801If you have to fork, you must either do so I<before> creating your first 2600If you have to fork, you must either do so I<before> creating your first
1802watcher OR you must not use AnyEvent at all in the child. 2601watcher OR you must not use AnyEvent at all in the child OR you must do
2602something completely out of the scope of AnyEvent.
2603
2604The problem of doing event processing in the parent I<and> the child
2605is much more complicated: even for backends that I<are> fork-aware or
2606fork-safe, their behaviour is not usually what you want: fork clones all
2607watchers, that means all timers, I/O watchers etc. are active in both
2608parent and child, which is almost never what you want. USing C<exec>
2609to start worker children from some kind of manage rprocess is usually
2610preferred, because it is much easier and cleaner, at the expense of having
2611to have another binary.
1803 2612
1804 2613
1805=head1 SECURITY CONSIDERATIONS 2614=head1 SECURITY CONSIDERATIONS
1806 2615
1807AnyEvent can be forced to load any event model via 2616AnyEvent can be forced to load any event model via
1819 use AnyEvent; 2628 use AnyEvent;
1820 2629
1821Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can 2630Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1822be used to probe what backend is used and gain other information (which is 2631be used to probe what backend is used and gain other information (which is
1823probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and 2632probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and
1824$ENV{PERL_ANYEGENT_STRICT}. 2633$ENV{PERL_ANYEVENT_STRICT}.
2634
2635Note that AnyEvent will remove I<all> environment variables starting with
2636C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
2637enabled.
1825 2638
1826 2639
1827=head1 BUGS 2640=head1 BUGS
1828 2641
1829Perl 5.8 has numerous memleaks that sometimes hit this module and are hard 2642Perl 5.8 has numerous memleaks that sometimes hit this module and are hard
1830to work around. If you suffer from memleaks, first upgrade to Perl 5.10 2643to work around. If you suffer from memleaks, first upgrade to Perl 5.10
1831and check wether the leaks still show up. (Perl 5.10.0 has other annoying 2644and check wether the leaks still show up. (Perl 5.10.0 has other annoying
1832mamleaks, such as leaking on C<map> and C<grep> but it is usually not as 2645memleaks, such as leaking on C<map> and C<grep> but it is usually not as
1833pronounced). 2646pronounced).
1834 2647
1835 2648
1836=head1 SEE ALSO 2649=head1 SEE ALSO
2650
2651Tutorial/Introduction: L<AnyEvent::Intro>.
2652
2653FAQ: L<AnyEvent::FAQ>.
1837 2654
1838Utility functions: L<AnyEvent::Util>. 2655Utility functions: L<AnyEvent::Util>.
1839 2656
1840Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>, 2657Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>,
1841L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>. 2658L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>.
1842 2659
1843Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>, 2660Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>,
1844L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>, 2661L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>,
1845L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>, 2662L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>,
1846L<AnyEvent::Impl::POE>. 2663L<AnyEvent::Impl::POE>, L<AnyEvent::Impl::IOAsync>, L<Anyevent::Impl::Irssi>.
1847 2664
1848Non-blocking file handles, sockets, TCP clients and 2665Non-blocking file handles, sockets, TCP clients and
1849servers: L<AnyEvent::Handle>, L<AnyEvent::Socket>. 2666servers: L<AnyEvent::Handle>, L<AnyEvent::Socket>, L<AnyEvent::TLS>.
1850 2667
1851Asynchronous DNS: L<AnyEvent::DNS>. 2668Asynchronous DNS: L<AnyEvent::DNS>.
1852 2669
1853Coroutine support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>, L<Coro::Event>, 2670Thread support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>, L<Coro::Event>.
1854 2671
1855Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>, L<AnyEvent::DNS>. 2672Nontrivial usage examples: L<AnyEvent::GPSD>, L<AnyEvent::IRC>,
2673L<AnyEvent::HTTP>.
1856 2674
1857 2675
1858=head1 AUTHOR 2676=head1 AUTHOR
1859 2677
1860 Marc Lehmann <schmorp@schmorp.de> 2678 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines