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.89 by root, Fri Apr 25 14:19:23 2008 UTC vs.
Revision 1.206 by root, Mon Apr 20 14:34:18 2009 UTC

1=head1 NAME 1=head1 NAME
2 2
3AnyEvent - provide framework for multiple event loops 3AnyEvent - provide framework for multiple event loops
4 4
5EV, Event, Coro::EV, Coro::Event, Glib, Tk, Perl, Event::Lib, Qt, POE - various supported event loops 5EV, Event, Glib, Tk, Perl, Event::Lib, Qt, POE - various supported event loops
6 6
7=head1 SYNOPSIS 7=head1 SYNOPSIS
8 8
9 use AnyEvent; 9 use AnyEvent;
10 10
11 my $w = AnyEvent->io (fh => $fh, poll => "r|w", cb => sub { 11 my $w = AnyEvent->io (fh => $fh, poll => "r|w", cb => sub { ... });
12
13 my $w = AnyEvent->timer (after => $seconds, cb => sub { ... });
14 my $w = AnyEvent->timer (after => $seconds, interval => $seconds, cb => ...
15
16 print AnyEvent->now; # prints current event loop time
17 print AnyEvent->time; # think Time::HiRes::time or simply CORE::time.
18
19 my $w = AnyEvent->signal (signal => "TERM", cb => sub { ... });
20
21 my $w = AnyEvent->child (pid => $pid, cb => sub {
22 my ($pid, $status) = @_;
12 ... 23 ...
13 }); 24 });
14 25
15 my $w = AnyEvent->timer (after => $seconds, cb => sub {
16 ...
17 });
18
19 my $w = AnyEvent->condvar; # stores whether a condition was flagged 26 my $w = AnyEvent->condvar; # stores whether a condition was flagged
27 $w->send; # wake up current and all future recv's
20 $w->wait; # enters "main loop" till $condvar gets ->broadcast 28 $w->recv; # enters "main loop" till $condvar gets ->send
21 $w->broadcast; # wake up current and all future wait's 29 # use a condvar in callback mode:
30 $w->cb (sub { $_[0]->recv });
31
32=head1 INTRODUCTION/TUTORIAL
33
34This manpage is mainly a reference manual. If you are interested
35in a tutorial or some gentle introduction, have a look at the
36L<AnyEvent::Intro> manpage.
22 37
23=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT) 38=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT)
24 39
25Glib, POE, IO::Async, Event... CPAN offers event models by the dozen 40Glib, POE, IO::Async, Event... CPAN offers event models by the dozen
26nowadays. So what is different about AnyEvent? 41nowadays. So what is different about AnyEvent?
27 42
28Executive Summary: AnyEvent is I<compatible>, AnyEvent is I<free of 43Executive Summary: AnyEvent is I<compatible>, AnyEvent is I<free of
29policy> and AnyEvent is I<small and efficient>. 44policy> and AnyEvent is I<small and efficient>.
30 45
31First and foremost, I<AnyEvent is not an event model> itself, it only 46First 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 47interfaces to whatever event model the main program happens to use, in a
33pragmatic way. For event models and certain classes of immortals alike, 48pragmatic way. For event models and certain classes of immortals alike,
34the statement "there can only be one" is a bitter reality: In general, 49the 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 50only one event loop can be active at the same time in a process. AnyEvent
36helps hiding the differences between those event loops. 51cannot change this, but it can hide the differences between those event
52loops.
37 53
38The goal of AnyEvent is to offer module authors the ability to do event 54The 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 55programming (waiting for I/O or timer events) without subscribing to a
40religion, a way of living, and most importantly: without forcing your 56religion, a way of living, and most importantly: without forcing your
41module users into the same thing by forcing them to use the same event 57module users into the same thing by forcing them to use the same event
42model you use. 58model you use.
43 59
44For modules like POE or IO::Async (which is a total misnomer as it is 60For 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 61actually 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 62like 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 63cannot use anything else, as they are simply incompatible to everything
48isn't itself. What's worse, all the potential users of your module are 64that isn't them. What's worse, all the potential users of your
49I<also> forced to use the same event loop you use. 65module are I<also> forced to use the same event loop you use.
50 66
51AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works 67AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works
52fine. AnyEvent + Tk works fine etc. etc. but none of these work together 68fine. 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 69with 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, 70your 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 71too. But if your module uses AnyEvent, it works transparently with all
56event models it supports (including stuff like POE and IO::Async, as long 72event 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 73use one of the supported event loops. It is trivial to add new event loops
58event loops to AnyEvent, too, so it is future-proof). 74to AnyEvent, too, so it is future-proof).
59 75
60In addition to being free of having to use I<the one and only true event 76In 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 77model>, 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 78modules, 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 79follow. 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 80offering the functionality that is necessary, in as thin as a wrapper as
65technically possible. 81technically possible.
66 82
83Of course, AnyEvent comes with a big (and fully optional!) toolbox
84of useful functionality, such as an asynchronous DNS resolver, 100%
85non-blocking connects (even with TLS/SSL, IPv6 and on broken platforms
86such as Windows) and lots of real-world knowledge and workarounds for
87platform bugs and differences.
88
67Of course, if you want lots of policy (this can arguably be somewhat 89Now, 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 90useful) and you want to force your users to use the one and only event
69model, you should I<not> use this module. 91model, you should I<not> use this module.
70
71 92
72=head1 DESCRIPTION 93=head1 DESCRIPTION
73 94
74L<AnyEvent> provides an identical interface to multiple event loops. This 95L<AnyEvent> provides an identical interface to multiple event loops. This
75allows module authors to utilise an event loop without forcing module 96allows module authors to utilise an event loop without forcing module
79The interface itself is vaguely similar, but not identical to the L<Event> 100The interface itself is vaguely similar, but not identical to the L<Event>
80module. 101module.
81 102
82During the first call of any watcher-creation method, the module tries 103During the first call of any watcher-creation method, the module tries
83to detect the currently loaded event loop by probing whether one of the 104to 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>, 105following modules is already loaded: L<EV>,
85L<Event>, L<Glib>, L<AnyEvent::Impl::Perl>, L<Tk>, L<Event::Lib>, L<Qt>, 106L<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 107L<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 108to 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 109adaptor 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 110be 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 124starts using it, all bets are off. Maybe you should tell their authors to
104use AnyEvent so their modules work together with others seamlessly... 125use AnyEvent so their modules work together with others seamlessly...
105 126
106The pure-perl implementation of AnyEvent is called 127The pure-perl implementation of AnyEvent is called
107C<AnyEvent::Impl::Perl>. Like other event modules you can load it 128C<AnyEvent::Impl::Perl>. Like other event modules you can load it
108explicitly. 129explicitly and enjoy the high availability of that event loop :)
109 130
110=head1 WATCHERS 131=head1 WATCHERS
111 132
112AnyEvent has the central concept of a I<watcher>, which is an object that 133AnyEvent 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 134stores relevant data for each kind of event you are waiting for, such as
114the callback to call, the filehandle to watch, etc. 135the callback to call, the file handle to watch, etc.
115 136
116These watchers are normal Perl objects with normal Perl lifetime. After 137These watchers are normal Perl objects with normal Perl lifetime. After
117creating a watcher it will immediately "watch" for events and invoke the 138creating a watcher it will immediately "watch" for events and invoke the
118callback when the event occurs (of course, only when the event model 139callback when the event occurs (of course, only when the event model
119is in control). 140is in control).
120 141
142Note that B<callbacks must not permanently change global variables>
143potentially in use by the event loop (such as C<$_> or C<$[>) and that B<<
144callbacks must not C<die> >>. The former is good programming practise in
145Perl and the latter stems from the fact that exception handling differs
146widely between event loops.
147
121To disable the watcher you have to destroy it (e.g. by setting the 148To 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 149variable you store it in to C<undef> or otherwise deleting all references
123to it). 150to it).
124 151
125All watchers are created by calling a method on the C<AnyEvent> class. 152All watchers are created by calling a method on the C<AnyEvent> class.
127Many watchers either are used with "recursion" (repeating timers for 154Many watchers either are used with "recursion" (repeating timers for
128example), or need to refer to their watcher object in other ways. 155example), or need to refer to their watcher object in other ways.
129 156
130An any way to achieve that is this pattern: 157An any way to achieve that is this pattern:
131 158
132 my $w; $w = AnyEvent->type (arg => value ..., cb => sub { 159 my $w; $w = AnyEvent->type (arg => value ..., cb => sub {
133 # you can use $w here, for example to undef it 160 # you can use $w here, for example to undef it
134 undef $w; 161 undef $w;
135 }); 162 });
136 163
137Note that C<my $w; $w => combination. This is necessary because in Perl, 164Note that C<my $w; $w => combination. This is necessary because in Perl,
138my variables are only visible after the statement in which they are 165my variables are only visible after the statement in which they are
139declared. 166declared.
140 167
141=head2 I/O WATCHERS 168=head2 I/O WATCHERS
142 169
143You can create an I/O watcher by calling the C<< AnyEvent->io >> method 170You can create an I/O watcher by calling the C<< AnyEvent->io >> method
144with the following mandatory key-value pairs as arguments: 171with the following mandatory key-value pairs as arguments:
145 172
146C<fh> the Perl I<file handle> (I<not> file descriptor) to watch 173C<fh> is the Perl I<file handle> (I<not> file descriptor) to watch
174for events (AnyEvent might or might not keep a reference to this file
175handle). Note that only file handles pointing to things for which
176non-blocking operation makes sense are allowed. This includes sockets,
177most character devices, pipes, fifos and so on, but not for example files
178or block devices.
179
147for events. C<poll> must be a string that is either C<r> or C<w>, 180C<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, 181watcher waiting for "r"eadable or "w"ritable events, respectively.
182
149respectively. C<cb> is the callback to invoke each time the file handle 183C<cb> is the callback to invoke each time the file handle becomes ready.
150becomes ready.
151 184
152Although the callback might get passed parameters, their value and 185Although the callback might get passed parameters, their value and
153presence is undefined and you cannot rely on them. Portable AnyEvent 186presence is undefined and you cannot rely on them. Portable AnyEvent
154callbacks cannot use arguments passed to I/O watcher callbacks. 187callbacks cannot use arguments passed to I/O watcher callbacks.
155 188
159 192
160Some event loops issue spurious readyness notifications, so you should 193Some event loops issue spurious readyness notifications, so you should
161always use non-blocking calls when reading/writing from/to your file 194always use non-blocking calls when reading/writing from/to your file
162handles. 195handles.
163 196
164Example:
165
166 # wait for readability of STDIN, then read a line and disable the watcher 197Example: wait for readability of STDIN, then read a line and disable the
198watcher.
199
167 my $w; $w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub { 200 my $w; $w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
168 chomp (my $input = <STDIN>); 201 chomp (my $input = <STDIN>);
169 warn "read: $input\n"; 202 warn "read: $input\n";
170 undef $w; 203 undef $w;
171 }); 204 });
181 214
182Although the callback might get passed parameters, their value and 215Although the callback might get passed parameters, their value and
183presence is undefined and you cannot rely on them. Portable AnyEvent 216presence is undefined and you cannot rely on them. Portable AnyEvent
184callbacks cannot use arguments passed to time watcher callbacks. 217callbacks cannot use arguments passed to time watcher callbacks.
185 218
186The timer callback will be invoked at most once: if you want a repeating 219The 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 220parameter, C<interval>, as a strictly positive number (> 0), then the
188and Glib). 221callback will be invoked regularly at that interval (in fractional
222seconds) after the first invocation. If C<interval> is specified with a
223false value, then it is treated as if it were missing.
189 224
190Example: 225The callback will be rescheduled before invoking the callback, but no
226attempt is done to avoid timer drift in most backends, so the interval is
227only approximate.
191 228
192 # fire an event after 7.7 seconds 229Example: fire an event after 7.7 seconds.
230
193 my $w = AnyEvent->timer (after => 7.7, cb => sub { 231 my $w = AnyEvent->timer (after => 7.7, cb => sub {
194 warn "timeout\n"; 232 warn "timeout\n";
195 }); 233 });
196 234
197 # to cancel the timer: 235 # to cancel the timer:
198 undef $w; 236 undef $w;
199 237
200Example 2:
201
202 # fire an event after 0.5 seconds, then roughly every second 238Example 2: fire an event after 0.5 seconds, then roughly every second.
203 my $w;
204 239
205 my $cb = sub {
206 # cancel the old timer while creating a new one
207 $w = AnyEvent->timer (after => 1, cb => $cb); 240 my $w = AnyEvent->timer (after => 0.5, interval => 1, cb => sub {
241 warn "timeout\n";
208 }; 242 };
209
210 # start the "loop" by creating the first watcher
211 $w = AnyEvent->timer (after => 0.5, cb => $cb);
212 243
213=head3 TIMING ISSUES 244=head3 TIMING ISSUES
214 245
215There are two ways to handle timers: based on real time (relative, "fire 246There are two ways to handle timers: based on real time (relative, "fire
216in 10 seconds") and based on wallclock time (absolute, "fire at 12 247in 10 seconds") and based on wallclock time (absolute, "fire at 12
228timers. 259timers.
229 260
230AnyEvent always prefers relative timers, if available, matching the 261AnyEvent always prefers relative timers, if available, matching the
231AnyEvent API. 262AnyEvent API.
232 263
264AnyEvent has two additional methods that return the "current time":
265
266=over 4
267
268=item AnyEvent->time
269
270This returns the "current wallclock time" as a fractional number of
271seconds since the Epoch (the same thing as C<time> or C<Time::HiRes::time>
272return, and the result is guaranteed to be compatible with those).
273
274It progresses independently of any event loop processing, i.e. each call
275will check the system clock, which usually gets updated frequently.
276
277=item AnyEvent->now
278
279This also returns the "current wallclock time", but unlike C<time>, above,
280this value might change only once per event loop iteration, depending on
281the event loop (most return the same time as C<time>, above). This is the
282time that AnyEvent's timers get scheduled against.
283
284I<In almost all cases (in all cases if you don't care), this is the
285function to call when you want to know the current time.>
286
287This function is also often faster then C<< AnyEvent->time >>, and
288thus the preferred method if you want some timestamp (for example,
289L<AnyEvent::Handle> uses this to update it's activity timeouts).
290
291The rest of this section is only of relevance if you try to be very exact
292with your timing, you can skip it without bad conscience.
293
294For a practical example of when these times differ, consider L<Event::Lib>
295and L<EV> and the following set-up:
296
297The event loop is running and has just invoked one of your callback at
298time=500 (assume no other callbacks delay processing). In your callback,
299you wait a second by executing C<sleep 1> (blocking the process for a
300second) and then (at time=501) you create a relative timer that fires
301after three seconds.
302
303With L<Event::Lib>, C<< AnyEvent->time >> and C<< AnyEvent->now >> will
304both return C<501>, because that is the current time, and the timer will
305be scheduled to fire at time=504 (C<501> + C<3>).
306
307With L<EV>, C<< AnyEvent->time >> returns C<501> (as that is the current
308time), but C<< AnyEvent->now >> returns C<500>, as that is the time the
309last event processing phase started. With L<EV>, your timer gets scheduled
310to run at time=503 (C<500> + C<3>).
311
312In one sense, L<Event::Lib> is more exact, as it uses the current time
313regardless of any delays introduced by event processing. However, most
314callbacks do not expect large delays in processing, so this causes a
315higher drift (and a lot more system calls to get the current time).
316
317In another sense, L<EV> is more exact, as your timer will be scheduled at
318the same time, regardless of how long event processing actually took.
319
320In either case, if you care (and in most cases, you don't), then you
321can get whatever behaviour you want with any event loop, by taking the
322difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into
323account.
324
325=item AnyEvent->now_update
326
327Some event loops (such as L<EV> or L<AnyEvent::Impl::Perl>) cache
328the current time for each loop iteration (see the discussion of L<<
329AnyEvent->now >>, above).
330
331When a callback runs for a long time (or when the process sleeps), then
332this "current" time will differ substantially from the real time, which
333might affect timers and time-outs.
334
335When this is the case, you can call this method, which will update the
336event loop's idea of "current time".
337
338Note that updating the time I<might> cause some events to be handled.
339
340=back
341
233=head2 SIGNAL WATCHERS 342=head2 SIGNAL WATCHERS
234 343
235You can watch for signals using a signal watcher, C<signal> is the signal 344You 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 345I<name> in uppercase and without any C<SIG> prefix, C<cb> is the Perl
237be invoked whenever a signal occurs. 346callback to be invoked whenever a signal occurs.
238 347
239Although the callback might get passed parameters, their value and 348Although the callback might get passed parameters, their value and
240presence is undefined and you cannot rely on them. Portable AnyEvent 349presence is undefined and you cannot rely on them. Portable AnyEvent
241callbacks cannot use arguments passed to signal watcher callbacks. 350callbacks cannot use arguments passed to signal watcher callbacks.
242 351
243Multiple signal occurances can be clumped together into one callback 352Multiple signal occurrences can be clumped together into one callback
244invocation, and callback invocation will be synchronous. synchronous means 353invocation, and callback invocation will be synchronous. Synchronous means
245that it might take a while until the signal gets handled by the process, 354that it might take a while until the signal gets handled by the process,
246but it is guarenteed not to interrupt any other callbacks. 355but it is guaranteed not to interrupt any other callbacks.
247 356
248The main advantage of using these watchers is that you can share a signal 357The main advantage of using these watchers is that you can share a signal
249between multiple watchers. 358between multiple watchers.
250 359
251This watcher might use C<%SIG>, so programs overwriting those signals 360This watcher might use C<%SIG>, so programs overwriting those signals
258=head2 CHILD PROCESS WATCHERS 367=head2 CHILD PROCESS WATCHERS
259 368
260You can also watch on a child process exit and catch its exit status. 369You can also watch on a child process exit and catch its exit status.
261 370
262The child process is specified by the C<pid> argument (if set to C<0>, it 371The child process is specified by the C<pid> argument (if set to C<0>, it
263watches for any child process exit). The watcher will trigger as often 372watches for any child process exit). The watcher will triggered only when
264as status change for the child are received. This works by installing a 373the child process has finished and an exit status is available, not on
265signal handler for C<SIGCHLD>. The callback will be called with the pid 374any trace events (stopped/continued).
266and exit status (as returned by waitpid), so unlike other watcher types, 375
267you I<can> rely on child watcher callback arguments. 376The callback will be called with the pid and exit status (as returned by
377waitpid), so unlike other watcher types, you I<can> rely on child watcher
378callback arguments.
379
380This watcher type works by installing a signal handler for C<SIGCHLD>,
381and since it cannot be shared, nothing else should use SIGCHLD or reap
382random child processes (waiting for specific child processes, e.g. inside
383C<system>, is just fine).
268 384
269There is a slight catch to child watchers, however: you usually start them 385There 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 386I<after> the child process was created, and this means the process could
271have exited already (and no SIGCHLD will be sent anymore). 387have exited already (and no SIGCHLD will be sent anymore).
272 388
278AnyEvent program, you I<have> to create at least one watcher before you 394AnyEvent program, you I<have> to create at least one watcher before you
279C<fork> the child (alternatively, you can call C<AnyEvent::detect>). 395C<fork> the child (alternatively, you can call C<AnyEvent::detect>).
280 396
281Example: fork a process and wait for it 397Example: fork a process and wait for it
282 398
283 my $done = AnyEvent->condvar; 399 my $done = AnyEvent->condvar;
284 400
285 AnyEvent::detect; # force event module to be initialised
286
287 my $pid = fork or exit 5; 401 my $pid = fork or exit 5;
288 402
289 my $w = AnyEvent->child ( 403 my $w = AnyEvent->child (
290 pid => $pid, 404 pid => $pid,
291 cb => sub { 405 cb => sub {
292 my ($pid, $status) = @_; 406 my ($pid, $status) = @_;
293 warn "pid $pid exited with status $status"; 407 warn "pid $pid exited with status $status";
294 $done->broadcast; 408 $done->send;
295 }, 409 },
296 ); 410 );
297 411
298 # do something else, then wait for process exit 412 # do something else, then wait for process exit
299 $done->wait; 413 $done->recv;
300 414
301=head2 CONDITION VARIABLES 415=head2 CONDITION VARIABLES
302 416
417If you are familiar with some event loops you will know that all of them
418require you to run some blocking "loop", "run" or similar function that
419will actively watch for new events and call your callbacks.
420
421AnyEvent is different, it expects somebody else to run the event loop and
422will only block when necessary (usually when told by the user).
423
424The instrument to do that is called a "condition variable", so called
425because they represent a condition that must become true.
426
303Condition variables can be created by calling the C<< AnyEvent->condvar >> 427Condition variables can be created by calling the C<< AnyEvent->condvar
304method without any arguments. 428>> method, usually without arguments. The only argument pair allowed is
305 429
306A condition variable waits for a condition - precisely that the C<< 430C<cb>, which specifies a callback to be called when the condition variable
307->broadcast >> method has been called. 431becomes true, with the condition variable as the first argument (but not
432the results).
308 433
309They are very useful to signal that a condition has been fulfilled, for 434After creation, the condition variable is "false" until it becomes "true"
435by calling the C<send> method (or calling the condition variable as if it
436were a callback, read about the caveats in the description for the C<<
437->send >> method).
438
439Condition variables are similar to callbacks, except that you can
440optionally wait for them. They can also be called merge points - points
441in time where multiple outstanding events have been processed. And yet
442another way to call them is transactions - each condition variable can be
443used to represent a transaction, which finishes at some point and delivers
444a result.
445
446Condition variables are very useful to signal that something has finished,
310example, if you write a module that does asynchronous http requests, 447for example, if you write a module that does asynchronous http requests,
311then a condition variable would be the ideal candidate to signal the 448then a condition variable would be the ideal candidate to signal the
312availability of results. 449availability of results. The user can either act when the callback is
450called or can synchronously C<< ->recv >> for the results.
313 451
314You can also use condition variables to block your main program until 452You can also use them to simulate traditional event loops - for example,
315an event occurs - for example, you could C<< ->wait >> in your main 453you 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<< 454could C<< ->recv >> in your main program until the user clicks the Quit
317->broadcast >> the "quit" event. 455button of your app, which would C<< ->send >> the "quit" event.
318 456
319Note that condition variables recurse into the event loop - if you have 457Note 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 458two 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 459lose. Therefore, condition variables are good to export to your caller, but
322you should avoid making a blocking wait yourself, at least in callbacks, 460you should avoid making a blocking wait yourself, at least in callbacks,
323as this asks for trouble. 461as this asks for trouble.
324 462
325This object has two methods: 463Condition variables are represented by hash refs in perl, and the keys
464used by AnyEvent itself are all named C<_ae_XXX> to make subclassing
465easy (it is often useful to build your own transaction class on top of
466AnyEvent). To subclass, use C<AnyEvent::CondVar> as base class and call
467it's C<new> method in your own C<new> method.
468
469There are two "sides" to a condition variable - the "producer side" which
470eventually calls C<< -> send >>, and the "consumer side", which waits
471for the send to occur.
472
473Example: wait for a timer.
474
475 # wait till the result is ready
476 my $result_ready = AnyEvent->condvar;
477
478 # do something such as adding a timer
479 # or socket watcher the calls $result_ready->send
480 # when the "result" is ready.
481 # in this case, we simply use a timer:
482 my $w = AnyEvent->timer (
483 after => 1,
484 cb => sub { $result_ready->send },
485 );
486
487 # this "blocks" (while handling events) till the callback
488 # calls send
489 $result_ready->recv;
490
491Example: wait for a timer, but take advantage of the fact that
492condition variables are also code references.
493
494 my $done = AnyEvent->condvar;
495 my $delay = AnyEvent->timer (after => 5, cb => $done);
496 $done->recv;
497
498Example: Imagine an API that returns a condvar and doesn't support
499callbacks. This is how you make a synchronous call, for example from
500the main program:
501
502 use AnyEvent::CouchDB;
503
504 ...
505
506 my @info = $couchdb->info->recv;
507
508And this is how you would just ste a callback to be called whenever the
509results are available:
510
511 $couchdb->info->cb (sub {
512 my @info = $_[0]->recv;
513 });
514
515=head3 METHODS FOR PRODUCERS
516
517These methods should only be used by the producing side, i.e. the
518code/module that eventually sends the signal. Note that it is also
519the producer side which creates the condvar in most cases, but it isn't
520uncommon for the consumer to create it as well.
326 521
327=over 4 522=over 4
328 523
524=item $cv->send (...)
525
526Flag the condition as ready - a running C<< ->recv >> and all further
527calls to C<recv> will (eventually) return after this method has been
528called. If nobody is waiting the send will be remembered.
529
530If a callback has been set on the condition variable, it is called
531immediately from within send.
532
533Any arguments passed to the C<send> call will be returned by all
534future C<< ->recv >> calls.
535
536Condition variables are overloaded so one can call them directly
537(as a code reference). Calling them directly is the same as calling
538C<send>. Note, however, that many C-based event loops do not handle
539overloading, so as tempting as it may be, passing a condition variable
540instead of a callback does not work. Both the pure perl and EV loops
541support overloading, however, as well as all functions that use perl to
542invoke a callback (as in L<AnyEvent::Socket> and L<AnyEvent::DNS> for
543example).
544
545=item $cv->croak ($error)
546
547Similar to send, but causes all call's to C<< ->recv >> to invoke
548C<Carp::croak> with the given error message/object/scalar.
549
550This can be used to signal any errors to the condition variable
551user/consumer.
552
553=item $cv->begin ([group callback])
554
329=item $cv->wait 555=item $cv->end
330 556
331Wait (blocking if necessary) until the C<< ->broadcast >> method has been 557These two methods are EXPERIMENTAL and MIGHT CHANGE.
558
559These two methods can be used to combine many transactions/events into
560one. For example, a function that pings many hosts in parallel might want
561to use a condition variable for the whole process.
562
563Every call to C<< ->begin >> will increment a counter, and every call to
564C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end
565>>, the (last) callback passed to C<begin> will be executed. That callback
566is I<supposed> to call C<< ->send >>, but that is not required. If no
567callback was set, C<send> will be called without any arguments.
568
569Let's clarify this with the ping example:
570
571 my $cv = AnyEvent->condvar;
572
573 my %result;
574 $cv->begin (sub { $cv->send (\%result) });
575
576 for my $host (@list_of_hosts) {
577 $cv->begin;
578 ping_host_then_call_callback $host, sub {
579 $result{$host} = ...;
580 $cv->end;
581 };
582 }
583
584 $cv->end;
585
586This code fragment supposedly pings a number of hosts and calls
587C<send> after results for all then have have been gathered - in any
588order. To achieve this, the code issues a call to C<begin> when it starts
589each ping request and calls C<end> when it has received some result for
590it. Since C<begin> and C<end> only maintain a counter, the order in which
591results arrive is not relevant.
592
593There is an additional bracketing call to C<begin> and C<end> outside the
594loop, which serves two important purposes: first, it sets the callback
595to be called once the counter reaches C<0>, and second, it ensures that
596C<send> is called even when C<no> hosts are being pinged (the loop
597doesn't execute once).
598
599This is the general pattern when you "fan out" into multiple subrequests:
600use an outer C<begin>/C<end> pair to set the callback and ensure C<end>
601is called at least once, and then, for each subrequest you start, call
602C<begin> and for each subrequest you finish, call C<end>.
603
604=back
605
606=head3 METHODS FOR CONSUMERS
607
608These methods should only be used by the consuming side, i.e. the
609code awaits the condition.
610
611=over 4
612
613=item $cv->recv
614
615Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak
332called on c<$cv>, while servicing other watchers normally. 616>> methods have been called on c<$cv>, while servicing other watchers
617normally.
333 618
334You can only wait once on a condition - additional calls will return 619You can only wait once on a condition - additional calls are valid but
335immediately. 620will return immediately.
621
622If an error condition has been set by calling C<< ->croak >>, then this
623function will call C<croak>.
624
625In list context, all parameters passed to C<send> will be returned,
626in scalar context only the first one will be returned.
336 627
337Not all event models support a blocking wait - some die in that case 628Not 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 629(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 630using 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 631caller decide whether the call will block or not (for example, by coupling
341condition variables with some kind of request results and supporting 632condition variables with some kind of request results and supporting
342callbacks so the caller knows that getting the result will not block, 633callbacks so the caller knows that getting the result will not block,
343while still suppporting blocking waits if the caller so desires). 634while still supporting blocking waits if the caller so desires).
344 635
345Another reason I<never> to C<< ->wait >> in a module is that you cannot 636Another reason I<never> to C<< ->recv >> in a module is that you cannot
346sensibly have two C<< ->wait >>'s in parallel, as that would require 637sensibly have two C<< ->recv >>'s in parallel, as that would require
347multiple interpreters or coroutines/threads, none of which C<AnyEvent> 638multiple interpreters or coroutines/threads, none of which C<AnyEvent>
348can supply (the coroutine-aware backends L<AnyEvent::Impl::CoroEV> and 639can supply.
349L<AnyEvent::Impl::CoroEvent> explicitly support concurrent C<< ->wait >>'s
350from different coroutines, however).
351 640
352=item $cv->broadcast 641The L<Coro> module, however, I<can> and I<does> supply coroutines and, in
642fact, L<Coro::AnyEvent> replaces AnyEvent's condvars by coroutine-safe
643versions and also integrates coroutines into AnyEvent, making blocking
644C<< ->recv >> calls perfectly safe as long as they are done from another
645coroutine (one that doesn't run the event loop).
353 646
354Flag the condition as ready - a running C<< ->wait >> and all further 647You can ensure that C<< -recv >> never blocks by setting a callback and
355calls to C<wait> will (eventually) return after this method has been 648only calling C<< ->recv >> from within that callback (or at a later
356called. If nobody is waiting the broadcast will be remembered.. 649time). This will work even when the event loop does not support blocking
650waits otherwise.
651
652=item $bool = $cv->ready
653
654Returns true when the condition is "true", i.e. whether C<send> or
655C<croak> have been called.
656
657=item $cb = $cv->cb ($cb->($cv))
658
659This is a mutator function that returns the callback set and optionally
660replaces it before doing so.
661
662The callback will be called when the condition becomes "true", i.e. when
663C<send> or C<croak> are called, with the only argument being the condition
664variable itself. Calling C<recv> inside the callback or at any later time
665is guaranteed not to block.
357 666
358=back 667=back
359
360Example:
361
362 # wait till the result is ready
363 my $result_ready = AnyEvent->condvar;
364
365 # do something such as adding a timer
366 # or socket watcher the calls $result_ready->broadcast
367 # when the "result" is ready.
368 # in this case, we simply use a timer:
369 my $w = AnyEvent->timer (
370 after => 1,
371 cb => sub { $result_ready->broadcast },
372 );
373
374 # this "blocks" (while handling events) till the watcher
375 # calls broadcast
376 $result_ready->wait;
377 668
378=head1 GLOBAL VARIABLES AND FUNCTIONS 669=head1 GLOBAL VARIABLES AND FUNCTIONS
379 670
380=over 4 671=over 4
381 672
387C<AnyEvent::Impl:xxx> modules, but can be any other class in the case 678C<AnyEvent::Impl:xxx> modules, but can be any other class in the case
388AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>). 679AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>).
389 680
390The known classes so far are: 681The known classes so far are:
391 682
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). 683 AnyEvent::Impl::EV based on EV (an interface to libev, best choice).
395 AnyEvent::Impl::Event based on Event, second best choice. 684 AnyEvent::Impl::Event based on Event, second best choice.
685 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
396 AnyEvent::Impl::Glib based on Glib, third-best choice. 686 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. 687 AnyEvent::Impl::Tk based on Tk, very bad choice.
399 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs). 688 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
400 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse. 689 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
401 AnyEvent::Impl::POE based on POE, not generic enough for full support. 690 AnyEvent::Impl::POE based on POE, not generic enough for full support.
402 691
415Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model 704Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model
416if necessary. You should only call this function right before you would 705if necessary. You should only call this function right before you would
417have created an AnyEvent watcher anyway, that is, as late as possible at 706have created an AnyEvent watcher anyway, that is, as late as possible at
418runtime. 707runtime.
419 708
709=item $guard = AnyEvent::post_detect { BLOCK }
710
711Arranges for the code block to be executed as soon as the event model is
712autodetected (or immediately if this has already happened).
713
714If called in scalar or list context, then it creates and returns an object
715that automatically removes the callback again when it is destroyed. See
716L<Coro::BDB> for a case where this is useful.
717
718=item @AnyEvent::post_detect
719
720If there are any code references in this array (you can C<push> to it
721before or after loading AnyEvent), then they will called directly after
722the event loop has been chosen.
723
724You should check C<$AnyEvent::MODEL> before adding to this array, though:
725if it contains a true value then the event loop has already been detected,
726and the array will be ignored.
727
728Best use C<AnyEvent::post_detect { BLOCK }> instead.
729
420=back 730=back
421 731
422=head1 WHAT TO DO IN A MODULE 732=head1 WHAT TO DO IN A MODULE
423 733
424As a module author, you should C<use AnyEvent> and call AnyEvent methods 734As a module author, you should C<use AnyEvent> and call AnyEvent methods
427Be careful when you create watchers in the module body - AnyEvent will 737Be 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 738decide 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 739by calling AnyEvent in your module body you force the user of your module
430to load the event module first. 740to load the event module first.
431 741
432Never call C<< ->wait >> on a condition variable unless you I<know> that 742Never call C<< ->recv >> on a condition variable unless you I<know> that
433the C<< ->broadcast >> method has been called on it already. This is 743the C<< ->send >> method has been called on it already. This is
434because it will stall the whole program, and the whole point of using 744because it will stall the whole program, and the whole point of using
435events is to stay interactive. 745events is to stay interactive.
436 746
437It is fine, however, to call C<< ->wait >> when the user of your module 747It 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 748requests 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 >> 749called C<results> that returns the results, it should call C<< ->recv >>
440freely, as the user of your module knows what she is doing. always). 750freely, as the user of your module knows what she is doing. always).
441 751
442=head1 WHAT TO DO IN THE MAIN PROGRAM 752=head1 WHAT TO DO IN THE MAIN PROGRAM
443 753
444There will always be a single main program - the only place that should 754There will always be a single main program - the only place that should
446 756
447If it doesn't care, it can just "use AnyEvent" and use it itself, or not 757If 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 758do anything special (it does not need to be event-based) and let AnyEvent
449decide which implementation to chose if some module relies on it. 759decide which implementation to chose if some module relies on it.
450 760
451If the main program relies on a specific event model. For example, in 761If 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 762Gtk2 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 763event module before loading AnyEvent or any module that uses it: generally
454speaking, you should load it as early as possible. The reason is that 764speaking, you should load it as early as possible. The reason is that
455modules might create watchers when they are loaded, and AnyEvent will 765modules 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 766decide 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. 767might chose the wrong one unless you load the correct one yourself.
458 768
459You can chose to use a rather inefficient pure-perl implementation by 769You can chose to use a pure-perl implementation by loading the
460loading the C<AnyEvent::Impl::Perl> module, which gives you similar 770C<AnyEvent::Impl::Perl> module, which gives you similar behaviour
461behaviour everywhere, but letting AnyEvent chose is generally better. 771everywhere, but letting AnyEvent chose the model is generally better.
772
773=head2 MAINLOOP EMULATION
774
775Sometimes (often for short test scripts, or even standalone programs who
776only want to use AnyEvent), you do not want to run a specific event loop.
777
778In that case, you can use a condition variable like this:
779
780 AnyEvent->condvar->recv;
781
782This has the effect of entering the event loop and looping forever.
783
784Note that usually your program has some exit condition, in which case
785it is better to use the "traditional" approach of storing a condition
786variable somewhere, waiting for it, and sending it when the program should
787exit cleanly.
788
789
790=head1 OTHER MODULES
791
792The following is a non-exhaustive list of additional modules that use
793AnyEvent and can therefore be mixed easily with other AnyEvent modules
794in the same program. Some of the modules come with AnyEvent, some are
795available via CPAN.
796
797=over 4
798
799=item L<AnyEvent::Util>
800
801Contains various utility functions that replace often-used but blocking
802functions such as C<inet_aton> by event-/callback-based versions.
803
804=item L<AnyEvent::Socket>
805
806Provides various utility functions for (internet protocol) sockets,
807addresses and name resolution. Also functions to create non-blocking tcp
808connections or tcp servers, with IPv6 and SRV record support and more.
809
810=item L<AnyEvent::Handle>
811
812Provide read and write buffers, manages watchers for reads and writes,
813supports raw and formatted I/O, I/O queued and fully transparent and
814non-blocking SSL/TLS.
815
816=item L<AnyEvent::DNS>
817
818Provides rich asynchronous DNS resolver capabilities.
819
820=item L<AnyEvent::HTTP>
821
822A simple-to-use HTTP library that is capable of making a lot of concurrent
823HTTP requests.
824
825=item L<AnyEvent::HTTPD>
826
827Provides a simple web application server framework.
828
829=item L<AnyEvent::FastPing>
830
831The fastest ping in the west.
832
833=item L<AnyEvent::DBI>
834
835Executes L<DBI> requests asynchronously in a proxy process.
836
837=item L<AnyEvent::AIO>
838
839Truly asynchronous I/O, should be in the toolbox of every event
840programmer. AnyEvent::AIO transparently fuses L<IO::AIO> and AnyEvent
841together.
842
843=item L<AnyEvent::BDB>
844
845Truly asynchronous Berkeley DB access. AnyEvent::BDB transparently fuses
846L<BDB> and AnyEvent together.
847
848=item L<AnyEvent::GPSD>
849
850A non-blocking interface to gpsd, a daemon delivering GPS information.
851
852=item L<AnyEvent::IGS>
853
854A non-blocking interface to the Internet Go Server protocol (used by
855L<App::IGS>).
856
857=item L<AnyEvent::IRC>
858
859AnyEvent based IRC client module family (replacing the older Net::IRC3).
860
861=item L<Net::XMPP2>
862
863AnyEvent based XMPP (Jabber protocol) module family.
864
865=item L<Net::FCP>
866
867AnyEvent-based implementation of the Freenet Client Protocol, birthplace
868of AnyEvent.
869
870=item L<Event::ExecFlow>
871
872High level API for event-based execution flow control.
873
874=item L<Coro>
875
876Has special support for AnyEvent via L<Coro::AnyEvent>.
877
878=item L<IO::Lambda>
879
880The lambda approach to I/O - don't ask, look there. Can use AnyEvent.
881
882=back
462 883
463=cut 884=cut
464 885
465package AnyEvent; 886package AnyEvent;
466 887
467no warnings; 888no warnings;
468use strict; 889use strict qw(vars subs);
469 890
470use Carp; 891use Carp;
471 892
472our $VERSION = '3.3'; 893our $VERSION = 4.352;
473our $MODEL; 894our $MODEL;
474 895
475our $AUTOLOAD; 896our $AUTOLOAD;
476our @ISA; 897our @ISA;
477 898
899our @REGISTRY;
900
901our $WIN32;
902
903BEGIN {
904 my $win32 = ! ! ($^O =~ /mswin32/i);
905 eval "sub WIN32(){ $win32 }";
906}
907
478our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 908our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
479 909
480our @REGISTRY; 910our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred
911
912{
913 my $idx;
914 $PROTOCOL{$_} = ++$idx
915 for reverse split /\s*,\s*/,
916 $ENV{PERL_ANYEVENT_PROTOCOLS} || "ipv4,ipv6";
917}
481 918
482my @models = ( 919my @models = (
483 [Coro::EV:: => AnyEvent::Impl::CoroEV::],
484 [Coro::Event:: => AnyEvent::Impl::CoroEvent::],
485 [EV:: => AnyEvent::Impl::EV::], 920 [EV:: => AnyEvent::Impl::EV::],
486 [Event:: => AnyEvent::Impl::Event::], 921 [Event:: => AnyEvent::Impl::Event::],
487 [Glib:: => AnyEvent::Impl::Glib::],
488 [Tk:: => AnyEvent::Impl::Tk::],
489 [Wx:: => AnyEvent::Impl::POE::],
490 [Prima:: => AnyEvent::Impl::POE::],
491 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::], 922 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::],
492 # everything below here will not be autoprobed as the pureperl backend should work everywhere 923 # everything below here will not be autoprobed
924 # as the pureperl backend should work everywhere
925 # and is usually faster
926 [Tk:: => AnyEvent::Impl::Tk::], # crashes with many handles
927 [Glib:: => AnyEvent::Impl::Glib::], # becomes extremely slow with many watchers
493 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 928 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
494 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 929 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
495 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 930 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
931 [Wx:: => AnyEvent::Impl::POE::],
932 [Prima:: => AnyEvent::Impl::POE::],
496); 933);
497 934
498our %method = map +($_ => 1), qw(io timer signal child condvar broadcast wait one_event DESTROY); 935our %method = map +($_ => 1),
936 qw(io timer time now now_update signal child condvar one_event DESTROY);
937
938our @post_detect;
939
940sub post_detect(&) {
941 my ($cb) = @_;
942
943 if ($MODEL) {
944 $cb->();
945
946 1
947 } else {
948 push @post_detect, $cb;
949
950 defined wantarray
951 ? bless \$cb, "AnyEvent::Util::PostDetect"
952 : ()
953 }
954}
955
956sub AnyEvent::Util::PostDetect::DESTROY {
957 @post_detect = grep $_ != ${$_[0]}, @post_detect;
958}
499 959
500sub detect() { 960sub detect() {
501 unless ($MODEL) { 961 unless ($MODEL) {
502 no strict 'refs'; 962 no strict 'refs';
963 local $SIG{__DIE__};
503 964
504 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) { 965 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) {
505 my $model = "AnyEvent::Impl::$1"; 966 my $model = "AnyEvent::Impl::$1";
506 if (eval "require $model") { 967 if (eval "require $model") {
507 $MODEL = $model; 968 $MODEL = $model;
537 last; 998 last;
538 } 999 }
539 } 1000 }
540 1001
541 $MODEL 1002 $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."; 1003 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib.\n";
543 } 1004 }
544 } 1005 }
545 1006
1007 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
1008
546 unshift @ISA, $MODEL; 1009 unshift @ISA, $MODEL;
547 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 1010
1011 require AnyEvent::Strict if $ENV{PERL_ANYEVENT_STRICT};
1012
1013 (shift @post_detect)->() while @post_detect;
548 } 1014 }
549 1015
550 $MODEL 1016 $MODEL
551} 1017}
552 1018
560 1026
561 my $class = shift; 1027 my $class = shift;
562 $class->$func (@_); 1028 $class->$func (@_);
563} 1029}
564 1030
1031# utility function to dup a filehandle. this is used by many backends
1032# to support binding more than one watcher per filehandle (they usually
1033# allow only one watcher per fd, so we dup it to get a different one).
1034sub _dupfh($$$$) {
1035 my ($poll, $fh, $r, $w) = @_;
1036
1037 # cygwin requires the fh mode to be matching, unix doesn't
1038 my ($rw, $mode) = $poll eq "r" ? ($r, "<")
1039 : $poll eq "w" ? ($w, ">")
1040 : Carp::croak "AnyEvent->io requires poll set to either 'r' or 'w'";
1041
1042 open my $fh2, "$mode&" . fileno $fh
1043 or die "cannot dup() filehandle: $!,";
1044
1045 # we assume CLOEXEC is already set by perl in all important cases
1046
1047 ($fh2, $rw)
1048}
1049
565package AnyEvent::Base; 1050package AnyEvent::Base;
566 1051
1052# default implementations for many methods
1053
1054BEGIN {
1055 if (eval "use Time::HiRes (); time (); 1") {
1056 *_time = \&Time::HiRes::time;
1057 # if (eval "use POSIX (); (POSIX::times())...
1058 } else {
1059 *_time = sub { time }; # epic fail
1060 }
1061}
1062
1063sub time { _time }
1064sub now { _time }
1065sub now_update { }
1066
567# default implementation for ->condvar, ->wait, ->broadcast 1067# default implementation for ->condvar
568 1068
569sub condvar { 1069sub condvar {
570 bless \my $flag, "AnyEvent::Base::CondVar" 1070 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} 1071}
580 1072
581# default implementation for ->signal 1073# default implementation for ->signal
582 1074
583our %SIG_CB; 1075our ($SIGPIPE_R, $SIGPIPE_W, %SIG_CB, %SIG_EV, $SIG_IO);
1076
1077sub _signal_exec {
1078 sysread $SIGPIPE_R, my $dummy, 4;
1079
1080 while (%SIG_EV) {
1081 for (keys %SIG_EV) {
1082 delete $SIG_EV{$_};
1083 $_->() for values %{ $SIG_CB{$_} || {} };
1084 }
1085 }
1086}
584 1087
585sub signal { 1088sub signal {
586 my (undef, %arg) = @_; 1089 my (undef, %arg) = @_;
587 1090
1091 unless ($SIGPIPE_R) {
1092 require Fcntl;
1093
1094 if (AnyEvent::WIN32) {
1095 require AnyEvent::Util;
1096
1097 ($SIGPIPE_R, $SIGPIPE_W) = AnyEvent::Util::portable_pipe ();
1098 AnyEvent::Util::fh_nonblocking ($SIGPIPE_R) if $SIGPIPE_R;
1099 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W) if $SIGPIPE_W; # just in case
1100 } else {
1101 pipe $SIGPIPE_R, $SIGPIPE_W;
1102 fcntl $SIGPIPE_R, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_R;
1103 fcntl $SIGPIPE_W, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_W; # just in case
1104 }
1105
1106 $SIGPIPE_R
1107 or Carp::croak "AnyEvent: unable to create a signal reporting pipe: $!\n";
1108
1109 # not strictly required, as $^F is normally 2, but let's make sure...
1110 fcntl $SIGPIPE_R, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1111 fcntl $SIGPIPE_W, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1112
1113 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R, poll => "r", cb => \&_signal_exec);
1114 }
1115
588 my $signal = uc $arg{signal} 1116 my $signal = uc $arg{signal}
589 or Carp::croak "required option 'signal' is missing"; 1117 or Carp::croak "required option 'signal' is missing";
590 1118
591 $SIG_CB{$signal}{$arg{cb}} = $arg{cb}; 1119 $SIG_CB{$signal}{$arg{cb}} = $arg{cb};
592 $SIG{$signal} ||= sub { 1120 $SIG{$signal} ||= sub {
593 $_->() for values %{ $SIG_CB{$signal} || {} }; 1121 local $!;
1122 syswrite $SIGPIPE_W, "\x00", 1 unless %SIG_EV;
1123 undef $SIG_EV{$signal};
594 }; 1124 };
595 1125
596 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal" 1126 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal"
597} 1127}
598 1128
599sub AnyEvent::Base::Signal::DESTROY { 1129sub AnyEvent::Base::Signal::DESTROY {
600 my ($signal, $cb) = @{$_[0]}; 1130 my ($signal, $cb) = @{$_[0]};
601 1131
602 delete $SIG_CB{$signal}{$cb}; 1132 delete $SIG_CB{$signal}{$cb};
603 1133
604 $SIG{$signal} = 'DEFAULT' unless keys %{ $SIG_CB{$signal} }; 1134 delete $SIG{$signal} unless keys %{ $SIG_CB{$signal} };
605} 1135}
606 1136
607# default implementation for ->child 1137# default implementation for ->child
608 1138
609our %PID_CB; 1139our %PID_CB;
636 or Carp::croak "required option 'pid' is missing"; 1166 or Carp::croak "required option 'pid' is missing";
637 1167
638 $PID_CB{$pid}{$arg{cb}} = $arg{cb}; 1168 $PID_CB{$pid}{$arg{cb}} = $arg{cb};
639 1169
640 unless ($WNOHANG) { 1170 unless ($WNOHANG) {
641 $WNOHANG = eval { require POSIX; &POSIX::WNOHANG } || 1; 1171 $WNOHANG = eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1;
642 } 1172 }
643 1173
644 unless ($CHLD_W) { 1174 unless ($CHLD_W) {
645 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld); 1175 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld);
646 # child could be a zombie already, so make at least one round 1176 # child could be a zombie already, so make at least one round
656 delete $PID_CB{$pid}{$cb}; 1186 delete $PID_CB{$pid}{$cb};
657 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 1187 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
658 1188
659 undef $CHLD_W unless keys %PID_CB; 1189 undef $CHLD_W unless keys %PID_CB;
660} 1190}
1191
1192package AnyEvent::CondVar;
1193
1194our @ISA = AnyEvent::CondVar::Base::;
1195
1196package AnyEvent::CondVar::Base;
1197
1198use overload
1199 '&{}' => sub { my $self = shift; sub { $self->send (@_) } },
1200 fallback => 1;
1201
1202sub _send {
1203 # nop
1204}
1205
1206sub send {
1207 my $cv = shift;
1208 $cv->{_ae_sent} = [@_];
1209 (delete $cv->{_ae_cb})->($cv) if $cv->{_ae_cb};
1210 $cv->_send;
1211}
1212
1213sub croak {
1214 $_[0]{_ae_croak} = $_[1];
1215 $_[0]->send;
1216}
1217
1218sub ready {
1219 $_[0]{_ae_sent}
1220}
1221
1222sub _wait {
1223 AnyEvent->one_event while !$_[0]{_ae_sent};
1224}
1225
1226sub recv {
1227 $_[0]->_wait;
1228
1229 Carp::croak $_[0]{_ae_croak} if $_[0]{_ae_croak};
1230 wantarray ? @{ $_[0]{_ae_sent} } : $_[0]{_ae_sent}[0]
1231}
1232
1233sub cb {
1234 $_[0]{_ae_cb} = $_[1] if @_ > 1;
1235 $_[0]{_ae_cb}
1236}
1237
1238sub begin {
1239 ++$_[0]{_ae_counter};
1240 $_[0]{_ae_end_cb} = $_[1] if @_ > 1;
1241}
1242
1243sub end {
1244 return if --$_[0]{_ae_counter};
1245 &{ $_[0]{_ae_end_cb} || sub { $_[0]->send } };
1246}
1247
1248# undocumented/compatibility with pre-3.4
1249*broadcast = \&send;
1250*wait = \&_wait;
1251
1252=head1 ERROR AND EXCEPTION HANDLING
1253
1254In general, AnyEvent does not do any error handling - it relies on the
1255caller to do that if required. The L<AnyEvent::Strict> module (see also
1256the C<PERL_ANYEVENT_STRICT> environment variable, below) provides strict
1257checking of all AnyEvent methods, however, which is highly useful during
1258development.
1259
1260As for exception handling (i.e. runtime errors and exceptions thrown while
1261executing a callback), this is not only highly event-loop specific, but
1262also not in any way wrapped by this module, as this is the job of the main
1263program.
1264
1265The pure perl event loop simply re-throws the exception (usually
1266within C<< condvar->recv >>), the L<Event> and L<EV> modules call C<<
1267$Event/EV::DIED->() >>, L<Glib> uses C<< install_exception_handler >> and
1268so on.
1269
1270=head1 ENVIRONMENT VARIABLES
1271
1272The following environment variables are used by this module or its
1273submodules:
1274
1275=over 4
1276
1277=item C<PERL_ANYEVENT_VERBOSE>
1278
1279By default, AnyEvent will be completely silent except in fatal
1280conditions. You can set this environment variable to make AnyEvent more
1281talkative.
1282
1283When set to C<1> or higher, causes AnyEvent to warn about unexpected
1284conditions, such as not being able to load the event model specified by
1285C<PERL_ANYEVENT_MODEL>.
1286
1287When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1288model it chooses.
1289
1290=item C<PERL_ANYEVENT_STRICT>
1291
1292AnyEvent does not do much argument checking by default, as thorough
1293argument checking is very costly. Setting this variable to a true value
1294will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1295check the arguments passed to most method calls. If it finds any problems
1296it will croak.
1297
1298In other words, enables "strict" mode.
1299
1300Unlike C<use strict>, it is definitely recommended ot keep it off in
1301production. Keeping C<PERL_ANYEVENT_STRICT=1> in your environment while
1302developing programs can be very useful, however.
1303
1304=item C<PERL_ANYEVENT_MODEL>
1305
1306This can be used to specify the event model to be used by AnyEvent, before
1307auto detection and -probing kicks in. It must be a string consisting
1308entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1309and the resulting module name is loaded and if the load was successful,
1310used as event model. If it fails to load AnyEvent will proceed with
1311auto detection and -probing.
1312
1313This functionality might change in future versions.
1314
1315For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1316could start your program like this:
1317
1318 PERL_ANYEVENT_MODEL=Perl perl ...
1319
1320=item C<PERL_ANYEVENT_PROTOCOLS>
1321
1322Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1323for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1324of auto probing).
1325
1326Must be set to a comma-separated list of protocols or address families,
1327current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1328used, and preference will be given to protocols mentioned earlier in the
1329list.
1330
1331This variable can effectively be used for denial-of-service attacks
1332against local programs (e.g. when setuid), although the impact is likely
1333small, as the program has to handle conenction and other failures anyways.
1334
1335Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1336but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1337- only support IPv4, never try to resolve or contact IPv6
1338addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1339IPv6, but prefer IPv6 over IPv4.
1340
1341=item C<PERL_ANYEVENT_EDNS0>
1342
1343Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1344for DNS. This extension is generally useful to reduce DNS traffic, but
1345some (broken) firewalls drop such DNS packets, which is why it is off by
1346default.
1347
1348Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1349EDNS0 in its DNS requests.
1350
1351=item C<PERL_ANYEVENT_MAX_FORKS>
1352
1353The maximum number of child processes that C<AnyEvent::Util::fork_call>
1354will create in parallel.
1355
1356=back
661 1357
662=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1358=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
663 1359
664This is an advanced topic that you do not normally need to use AnyEvent in 1360This 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 1361a module. This section is only of use to event loop authors who want to
699 1395
700I<rxvt-unicode> also cheats a bit by not providing blocking access to 1396I<rxvt-unicode> also cheats a bit by not providing blocking access to
701condition variables: code blocking while waiting for a condition will 1397condition variables: code blocking while waiting for a condition will
702C<die>. This still works with most modules/usages, and blocking calls must 1398C<die>. This still works with most modules/usages, and blocking calls must
703not be done in an interactive application, so it makes sense. 1399not 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 1400
742=head1 EXAMPLE PROGRAM 1401=head1 EXAMPLE PROGRAM
743 1402
744The following program uses an I/O watcher to read data from STDIN, a timer 1403The 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 1404to display a message once per second, and a condition variable to quit the
754 poll => 'r', 1413 poll => 'r',
755 cb => sub { 1414 cb => sub {
756 warn "io event <$_[0]>\n"; # will always output <r> 1415 warn "io event <$_[0]>\n"; # will always output <r>
757 chomp (my $input = <STDIN>); # read a line 1416 chomp (my $input = <STDIN>); # read a line
758 warn "read: $input\n"; # output what has been read 1417 warn "read: $input\n"; # output what has been read
759 $cv->broadcast if $input =~ /^q/i; # quit program if /^q/i 1418 $cv->send if $input =~ /^q/i; # quit program if /^q/i
760 }, 1419 },
761 ); 1420 );
762 1421
763 my $time_watcher; # can only be used once 1422 my $time_watcher; # can only be used once
764 1423
769 }); 1428 });
770 } 1429 }
771 1430
772 new_timer; # create first timer 1431 new_timer; # create first timer
773 1432
774 $cv->wait; # wait until user enters /^q/i 1433 $cv->recv; # wait until user enters /^q/i
775 1434
776=head1 REAL-WORLD EXAMPLE 1435=head1 REAL-WORLD EXAMPLE
777 1436
778Consider the L<Net::FCP> module. It features (among others) the following 1437Consider the L<Net::FCP> module. It features (among others) the following
779API calls, which are to freenet what HTTP GET requests are to http: 1438API calls, which are to freenet what HTTP GET requests are to http:
829 syswrite $txn->{fh}, $txn->{request} 1488 syswrite $txn->{fh}, $txn->{request}
830 or die "connection or write error"; 1489 or die "connection or write error";
831 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r }); 1490 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r });
832 1491
833Again, C<fh_ready_r> waits till all data has arrived, and then stores the 1492Again, 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: 1493result and signals any possible waiters that the request has finished:
835 1494
836 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf}; 1495 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf};
837 1496
838 if (end-of-file or data complete) { 1497 if (end-of-file or data complete) {
839 $txn->{result} = $txn->{buf}; 1498 $txn->{result} = $txn->{buf};
840 $txn->{finished}->broadcast; 1499 $txn->{finished}->send;
841 $txb->{cb}->($txn) of $txn->{cb}; # also call callback 1500 $txb->{cb}->($txn) of $txn->{cb}; # also call callback
842 } 1501 }
843 1502
844The C<result> method, finally, just waits for the finished signal (if the 1503The 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 1504request was already finished, it doesn't wait, of course, and returns the
846data: 1505data:
847 1506
848 $txn->{finished}->wait; 1507 $txn->{finished}->recv;
849 return $txn->{result}; 1508 return $txn->{result};
850 1509
851The actual code goes further and collects all errors (C<die>s, exceptions) 1510The actual code goes further and collects all errors (C<die>s, exceptions)
852that occured during request processing. The C<result> method detects 1511that occurred during request processing. The C<result> method detects
853whether an exception as thrown (it is stored inside the $txn object) 1512whether an exception as thrown (it is stored inside the $txn object)
854and just throws the exception, which means connection errors and other 1513and 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 1514problems get reported tot he code that tries to use the result, not in a
856random callback. 1515random callback.
857 1516
888 1547
889 my $quit = AnyEvent->condvar; 1548 my $quit = AnyEvent->condvar;
890 1549
891 $fcp->txn_client_get ($url)->cb (sub { 1550 $fcp->txn_client_get ($url)->cb (sub {
892 ... 1551 ...
893 $quit->broadcast; 1552 $quit->send;
894 }); 1553 });
895 1554
896 $quit->wait; 1555 $quit->recv;
897 1556
898 1557
899=head1 BENCHMARK 1558=head1 BENCHMARKS
900 1559
901To give you an idea of the performance and overheads that AnyEvent adds 1560To 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 1561over 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 1562of various event loops I prepared some benchmarks.
904event models natively and with anyevent. The benchmark creates a lot of 1563
905timers (with a zero timeout) and I/O watchers (watching STDOUT, a pty, to 1564=head2 BENCHMARKING ANYEVENT OVERHEAD
1565
1566Here is a benchmark of various supported event models used natively and
1567through AnyEvent. The benchmark creates a lot of timers (with a zero
1568timeout) and I/O watchers (watching STDOUT, a pty, to become writable,
906become writable, which it is), lets them fire exactly once and destroys 1569which it is), lets them fire exactly once and destroys them again.
907them again.
908 1570
909Rewriting the benchmark to use many different sockets instead of using 1571Source 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 1572distribution.
911(socket creation is expensive), but qualitatively the same figures, so it
912was not used.
913 1573
914=head2 Explanation of the columns 1574=head3 Explanation of the columns
915 1575
916I<watcher> is the number of event watchers created/destroyed. Since 1576I<watcher> is the number of event watchers created/destroyed. Since
917different event models feature vastly different performances, each event 1577different event models feature vastly different performances, each event
918loop was given a number of watchers so that overall runtime is acceptable 1578loop was given a number of watchers so that overall runtime is acceptable
919and similar between tested event loop (and keep them from crashing): Glib 1579and similar between tested event loop (and keep them from crashing): Glib
929all watchers, to avoid adding memory overhead. That means closure creation 1589all watchers, to avoid adding memory overhead. That means closure creation
930and memory usage is not included in the figures. 1590and memory usage is not included in the figures.
931 1591
932I<invoke> is the time, in microseconds, used to invoke a simple 1592I<invoke> is the time, in microseconds, used to invoke a simple
933callback. The callback simply counts down a Perl variable and after it was 1593callback. The callback simply counts down a Perl variable and after it was
934invoked "watcher" times, it would C<< ->broadcast >> a condvar once to 1594invoked "watcher" times, it would C<< ->send >> a condvar once to
935signal the end of this phase. 1595signal the end of this phase.
936 1596
937I<destroy> is the time, in microseconds, that it takes to destroy a single 1597I<destroy> is the time, in microseconds, that it takes to destroy a single
938watcher. 1598watcher.
939 1599
940=head2 Results 1600=head3 Results
941 1601
942 name watchers bytes create invoke destroy comment 1602 name watchers bytes create invoke destroy comment
943 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1603 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 1604 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 1605 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 1606 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 1607 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 1608 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers
949 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1609 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 1610 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 1611 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 1612 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select
953 1613
954=head2 Discussion 1614=head3 Discussion
955 1615
956The benchmark does I<not> measure scalability of the event loop very 1616The 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) 1617well. 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 1618can 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 1619file descriptors grows high. In this benchmark, all events become ready at
960the same time, so select/poll-based implementations get an unnatural speed 1620the same time, so select/poll-based implementations get an unnatural speed
961boost. 1621boost.
962 1622
1623Also, note that the number of watchers usually has a nonlinear effect on
1624overall speed, that is, creating twice as many watchers doesn't take twice
1625the time - usually it takes longer. This puts event loops tested with a
1626higher number of watchers at a disadvantage.
1627
1628To put the range of results into perspective, consider that on the
1629benchmark machine, handling an event takes roughly 1600 CPU cycles with
1630EV, 3100 CPU cycles with AnyEvent's pure perl loop and almost 3000000 CPU
1631cycles with POE.
1632
963C<EV> is the sole leader regarding speed and memory use, which are both 1633C<EV> is the sole leader regarding speed and memory use, which are both
964maximal/minimal, respectively. Even when going through AnyEvent, it uses 1634maximal/minimal, respectively. Even when going through AnyEvent, it uses
965far less memory than any other event loop and is still faster than Event 1635far less memory than any other event loop and is still faster than Event
966natively. 1636natively.
967 1637
970interpreter and the backend itself). Nevertheless this shows that it 1640interpreter and the backend itself). Nevertheless this shows that it
971adds very little overhead in itself. Like any select-based backend its 1641adds very little overhead in itself. Like any select-based backend its
972performance becomes really bad with lots of file descriptors (and few of 1642performance becomes really bad with lots of file descriptors (and few of
973them active), of course, but this was not subject of this benchmark. 1643them active), of course, but this was not subject of this benchmark.
974 1644
975The C<Event> module has a relatively high setup and callback invocation cost, 1645The C<Event> module has a relatively high setup and callback invocation
976but overall scores on the third place. 1646cost, but overall scores in on the third place.
977 1647
978C<Glib>'s memory usage is quite a bit bit higher, but it features a 1648C<Glib>'s memory usage is quite a bit higher, but it features a
979faster callback invocation and overall ends up in the same class as 1649faster callback invocation and overall ends up in the same class as
980C<Event>. However, Glib scales extremely badly, doubling the number of 1650C<Event>. However, Glib scales extremely badly, doubling the number of
981watchers increases the processing time by more than a factor of four, 1651watchers increases the processing time by more than a factor of four,
982making it completely unusable when using larger numbers of watchers 1652making it completely unusable when using larger numbers of watchers
983(note that only a single file descriptor was used in the benchmark, so 1653(note that only a single file descriptor was used in the benchmark, so
989file descriptor is dup()ed for each watcher. This shows that the dup() 1659file descriptor is dup()ed for each watcher. This shows that the dup()
990employed by some adaptors is not a big performance issue (it does incur a 1660employed by some adaptors is not a big performance issue (it does incur a
991hidden memory cost inside the kernel which is not reflected in the figures 1661hidden memory cost inside the kernel which is not reflected in the figures
992above). 1662above).
993 1663
994C<POE>, regardless of underlying event loop (whether using its pure 1664C<POE>, regardless of underlying event loop (whether using its pure perl
995perl select-based backend or the Event module, the POE-EV backend 1665select-based backend or the Event module, the POE-EV backend couldn't
996couldn't be tested because it wasn't working) shows abysmal performance 1666be tested because it wasn't working) shows abysmal performance and
997and memory usage: Watchers use almost 30 times as much memory as 1667memory usage with AnyEvent: Watchers use almost 30 times as much memory
998EV watchers, and 10 times as much memory as Event (the high memory 1668as EV watchers, and 10 times as much memory as Event (the high memory
999requirements are caused by requiring a session for each watcher). Watcher 1669requirements are caused by requiring a session for each watcher). Watcher
1000invocation speed is almost 900 times slower than with AnyEvent's pure perl 1670invocation speed is almost 900 times slower than with AnyEvent's pure perl
1671implementation.
1672
1001implementation. The design of the POE adaptor class in AnyEvent can not 1673The design of the POE adaptor class in AnyEvent can not really account
1002really account for this, as session creation overhead is small compared 1674for the performance issues, though, as session creation overhead is
1003to execution of the state machine, which is coded pretty optimally within 1675small compared to execution of the state machine, which is coded pretty
1004L<AnyEvent::Impl::POE>. POE simply seems to be abysmally slow. 1676optimally within L<AnyEvent::Impl::POE> (and while everybody agrees that
1677using multiple sessions is not a good approach, especially regarding
1678memory usage, even the author of POE could not come up with a faster
1679design).
1005 1680
1006=head2 Summary 1681=head3 Summary
1007 1682
1008=over 4 1683=over 4
1009 1684
1010=item * Using EV through AnyEvent is faster than any other event loop 1685=item * Using EV through AnyEvent is faster than any other event loop
1011(even when used without AnyEvent), but most event loops have acceptable 1686(even when used without AnyEvent), but most event loops have acceptable
1013 1688
1014=item * The overhead AnyEvent adds is usually much smaller than the overhead of 1689=item * The overhead AnyEvent adds is usually much smaller than the overhead of
1015the actual event loop, only with extremely fast event loops such as EV 1690the actual event loop, only with extremely fast event loops such as EV
1016adds AnyEvent significant overhead. 1691adds AnyEvent significant overhead.
1017 1692
1018=item * You should simply avoid POE like the plague if you want performance or 1693=item * You should avoid POE like the plague if you want performance or
1019reasonable memory usage. 1694reasonable memory usage.
1020 1695
1021=back 1696=back
1022 1697
1698=head2 BENCHMARKING THE LARGE SERVER CASE
1699
1700This benchmark actually benchmarks the event loop itself. It works by
1701creating a number of "servers": each server consists of a socket pair, a
1702timeout watcher that gets reset on activity (but never fires), and an I/O
1703watcher waiting for input on one side of the socket. Each time the socket
1704watcher reads a byte it will write that byte to a random other "server".
1705
1706The effect is that there will be a lot of I/O watchers, only part of which
1707are active at any one point (so there is a constant number of active
1708fds for each loop iteration, but which fds these are is random). The
1709timeout is reset each time something is read because that reflects how
1710most timeouts work (and puts extra pressure on the event loops).
1711
1712In this benchmark, we use 10000 socket pairs (20000 sockets), of which 100
1713(1%) are active. This mirrors the activity of large servers with many
1714connections, most of which are idle at any one point in time.
1715
1716Source code for this benchmark is found as F<eg/bench2> in the AnyEvent
1717distribution.
1718
1719=head3 Explanation of the columns
1720
1721I<sockets> is the number of sockets, and twice the number of "servers" (as
1722each server has a read and write socket end).
1723
1724I<create> is the time it takes to create a socket pair (which is
1725nontrivial) and two watchers: an I/O watcher and a timeout watcher.
1726
1727I<request>, the most important value, is the time it takes to handle a
1728single "request", that is, reading the token from the pipe and forwarding
1729it to another server. This includes deleting the old timeout and creating
1730a new one that moves the timeout into the future.
1731
1732=head3 Results
1733
1734 name sockets create request
1735 EV 20000 69.01 11.16
1736 Perl 20000 73.32 35.87
1737 Event 20000 212.62 257.32
1738 Glib 20000 651.16 1896.30
1739 POE 20000 349.67 12317.24 uses POE::Loop::Event
1740
1741=head3 Discussion
1742
1743This benchmark I<does> measure scalability and overall performance of the
1744particular event loop.
1745
1746EV is again fastest. Since it is using epoll on my system, the setup time
1747is relatively high, though.
1748
1749Perl surprisingly comes second. It is much faster than the C-based event
1750loops Event and Glib.
1751
1752Event suffers from high setup time as well (look at its code and you will
1753understand why). Callback invocation also has a high overhead compared to
1754the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event
1755uses select or poll in basically all documented configurations.
1756
1757Glib is hit hard by its quadratic behaviour w.r.t. many watchers. It
1758clearly fails to perform with many filehandles or in busy servers.
1759
1760POE is still completely out of the picture, taking over 1000 times as long
1761as EV, and over 100 times as long as the Perl implementation, even though
1762it uses a C-based event loop in this case.
1763
1764=head3 Summary
1765
1766=over 4
1767
1768=item * The pure perl implementation performs extremely well.
1769
1770=item * Avoid Glib or POE in large projects where performance matters.
1771
1772=back
1773
1774=head2 BENCHMARKING SMALL SERVERS
1775
1776While event loops should scale (and select-based ones do not...) even to
1777large servers, most programs we (or I :) actually write have only a few
1778I/O watchers.
1779
1780In this benchmark, I use the same benchmark program as in the large server
1781case, but it uses only eight "servers", of which three are active at any
1782one time. This should reflect performance for a small server relatively
1783well.
1784
1785The columns are identical to the previous table.
1786
1787=head3 Results
1788
1789 name sockets create request
1790 EV 16 20.00 6.54
1791 Perl 16 25.75 12.62
1792 Event 16 81.27 35.86
1793 Glib 16 32.63 15.48
1794 POE 16 261.87 276.28 uses POE::Loop::Event
1795
1796=head3 Discussion
1797
1798The benchmark tries to test the performance of a typical small
1799server. While knowing how various event loops perform is interesting, keep
1800in mind that their overhead in this case is usually not as important, due
1801to the small absolute number of watchers (that is, you need efficiency and
1802speed most when you have lots of watchers, not when you only have a few of
1803them).
1804
1805EV is again fastest.
1806
1807Perl again comes second. It is noticeably faster than the C-based event
1808loops Event and Glib, although the difference is too small to really
1809matter.
1810
1811POE also performs much better in this case, but is is still far behind the
1812others.
1813
1814=head3 Summary
1815
1816=over 4
1817
1818=item * C-based event loops perform very well with small number of
1819watchers, as the management overhead dominates.
1820
1821=back
1822
1823
1824=head1 SIGNALS
1825
1826AnyEvent currently installs handlers for these signals:
1827
1828=over 4
1829
1830=item SIGCHLD
1831
1832A handler for C<SIGCHLD> is installed by AnyEvent's child watcher
1833emulation for event loops that do not support them natively. Also, some
1834event loops install a similar handler.
1835
1836=item SIGPIPE
1837
1838A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef>
1839when AnyEvent gets loaded.
1840
1841The rationale for this is that AnyEvent users usually do not really depend
1842on SIGPIPE delivery (which is purely an optimisation for shell use, or
1843badly-written programs), but C<SIGPIPE> can cause spurious and rare
1844program exits as a lot of people do not expect C<SIGPIPE> when writing to
1845some random socket.
1846
1847The rationale for installing a no-op handler as opposed to ignoring it is
1848that this way, the handler will be restored to defaults on exec.
1849
1850Feel free to install your own handler, or reset it to defaults.
1851
1852=back
1853
1854=cut
1855
1856$SIG{PIPE} = sub { }
1857 unless defined $SIG{PIPE};
1858
1023 1859
1024=head1 FORK 1860=head1 FORK
1025 1861
1026Most event libraries are not fork-safe. The ones who are usually are 1862Most event libraries are not fork-safe. The ones who are usually are
1027because they are so inefficient. Only L<EV> is fully fork-aware. 1863because they rely on inefficient but fork-safe C<select> or C<poll>
1864calls. Only L<EV> is fully fork-aware.
1028 1865
1029If you have to fork, you must either do so I<before> creating your first 1866If you have to fork, you must either do so I<before> creating your first
1030watcher OR you must not use AnyEvent at all in the child. 1867watcher OR you must not use AnyEvent at all in the child.
1031 1868
1032 1869
1040specified in the variable. 1877specified in the variable.
1041 1878
1042You can make AnyEvent completely ignore this variable by deleting it 1879You can make AnyEvent completely ignore this variable by deleting it
1043before the first watcher gets created, e.g. with a C<BEGIN> block: 1880before the first watcher gets created, e.g. with a C<BEGIN> block:
1044 1881
1045 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} } 1882 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} }
1046 1883
1047 use AnyEvent; 1884 use AnyEvent;
1885
1886Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1887be used to probe what backend is used and gain other information (which is
1888probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and
1889$ENV{PERL_ANYEGENT_STRICT}.
1890
1891
1892=head1 BUGS
1893
1894Perl 5.8 has numerous memleaks that sometimes hit this module and are hard
1895to work around. If you suffer from memleaks, first upgrade to Perl 5.10
1896and check wether the leaks still show up. (Perl 5.10.0 has other annoying
1897memleaks, such as leaking on C<map> and C<grep> but it is usually not as
1898pronounced).
1048 1899
1049 1900
1050=head1 SEE ALSO 1901=head1 SEE ALSO
1051 1902
1052Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>, 1903Utility functions: L<AnyEvent::Util>.
1053L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>, 1904
1905Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>,
1054L<Event::Lib>, L<Qt>, L<POE>. 1906L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>.
1055 1907
1056Implementations: L<AnyEvent::Impl::CoroEV>, L<AnyEvent::Impl::EV>, 1908Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>,
1057L<AnyEvent::Impl::CoroEvent>, L<AnyEvent::Impl::Event>, L<AnyEvent::Impl::Glib>, 1909L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>,
1058L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>, L<AnyEvent::Impl::EventLib>, 1910L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>,
1059L<AnyEvent::Impl::Qt>, L<AnyEvent::Impl::POE>. 1911L<AnyEvent::Impl::POE>.
1060 1912
1913Non-blocking file handles, sockets, TCP clients and
1914servers: L<AnyEvent::Handle>, L<AnyEvent::Socket>.
1915
1916Asynchronous DNS: L<AnyEvent::DNS>.
1917
1918Coroutine support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>, L<Coro::Event>,
1919
1061Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>. 1920Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>, L<AnyEvent::DNS>.
1062 1921
1063 1922
1064=head1 AUTHOR 1923=head1 AUTHOR
1065 1924
1066 Marc Lehmann <schmorp@schmorp.de> 1925 Marc Lehmann <schmorp@schmorp.de>
1067 http://home.schmorp.de/ 1926 http://home.schmorp.de/
1068 1927
1069=cut 1928=cut
1070 1929
10711 19301
1072 1931

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines