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

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines