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.83 by root, Fri Apr 25 13:39:08 2008 UTC vs.
Revision 1.133 by root, Sun May 25 03:44:03 2008 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
15 my $w = AnyEvent->timer (after => $seconds, cb => sub { 15 my $w = AnyEvent->timer (after => $seconds, cb => sub {
16 ... 16 ...
17 }); 17 });
18 18
19 my $w = AnyEvent->condvar; # stores whether a condition was flagged 19 my $w = AnyEvent->condvar; # stores whether a condition was flagged
20 $w->send; # wake up current and all future recv's
20 $w->wait; # enters "main loop" till $condvar gets ->broadcast 21 $w->recv; # enters "main loop" till $condvar gets ->send
21 $w->broadcast; # wake up current and all future wait's
22 22
23=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT) 23=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT)
24 24
25Glib, POE, IO::Async, Event... CPAN offers event models by the dozen 25Glib, POE, IO::Async, Event... CPAN offers event models by the dozen
26nowadays. So what is different about AnyEvent? 26nowadays. So what is different about AnyEvent?
57as those use one of the supported event loops. It is trivial to add new 57as those use one of the supported event loops. It is trivial to add new
58event loops to AnyEvent, too, so it is future-proof). 58event loops to AnyEvent, too, so it is future-proof).
59 59
60In addition to being free of having to use I<the one and only true event 60In 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 61model>, 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 62modules, 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 63follow. 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 64offering the functionality that is necessary, in as thin as a wrapper as
65technically possible. 65technically possible.
66 66
67Of course, if you want lots of policy (this can arguably be somewhat 67Of course, if you want lots of policy (this can arguably be somewhat
68useful) and you want to force your users to use the one and only event 68useful) and you want to force your users to use the one and only event
69model, you should I<not> use this module. 69model, you should I<not> use this module.
70
71 70
72=head1 DESCRIPTION 71=head1 DESCRIPTION
73 72
74L<AnyEvent> provides an identical interface to multiple event loops. This 73L<AnyEvent> provides an identical interface to multiple event loops. This
75allows module authors to utilise an event loop without forcing module 74allows module authors to utilise an event loop without forcing module
79The interface itself is vaguely similar, but not identical to the L<Event> 78The interface itself is vaguely similar, but not identical to the L<Event>
80module. 79module.
81 80
82During the first call of any watcher-creation method, the module tries 81During the first call of any watcher-creation method, the module tries
83to detect the currently loaded event loop by probing whether one of the 82to 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>, 83following modules is already loaded: L<EV>,
85L<Event>, L<Glib>, L<AnyEvent::Impl::Perl>, L<Tk>, L<Event::Lib>, L<Qt>, 84L<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 85L<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 86to 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 87adaptor 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 88be successfully loaded will be used. If, after this, still none could be
109 108
110=head1 WATCHERS 109=head1 WATCHERS
111 110
112AnyEvent has the central concept of a I<watcher>, which is an object that 111AnyEvent 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 112stores relevant data for each kind of event you are waiting for, such as
114the callback to call, the filehandle to watch, etc. 113the callback to call, the file handle to watch, etc.
115 114
116These watchers are normal Perl objects with normal Perl lifetime. After 115These watchers are normal Perl objects with normal Perl lifetime. After
117creating a watcher it will immediately "watch" for events and invoke the 116creating a watcher it will immediately "watch" for events and invoke the
118callback when the event occurs (of course, only when the event model 117callback when the event occurs (of course, only when the event model
119is in control). 118is in control).
141=head2 I/O WATCHERS 140=head2 I/O WATCHERS
142 141
143You can create an I/O watcher by calling the C<< AnyEvent->io >> method 142You can create an I/O watcher by calling the C<< AnyEvent->io >> method
144with the following mandatory key-value pairs as arguments: 143with the following mandatory key-value pairs as arguments:
145 144
146C<fh> the Perl I<file handle> (I<not> file descriptor) to watch for 145C<fh> the Perl I<file handle> (I<not> file descriptor) to watch
147events. C<poll> must be a string that is either C<r> or C<w>, which 146for events. C<poll> must be a string that is either C<r> or C<w>,
148creates a watcher waiting for "r"eadable or "w"ritable events, 147which creates a watcher waiting for "r"eadable or "w"ritable events,
149respectively. C<cb> is the callback to invoke each time the file handle 148respectively. C<cb> is the callback to invoke each time the file handle
150becomes ready. 149becomes ready.
151 150
151Although the callback might get passed parameters, their value and
152presence is undefined and you cannot rely on them. Portable AnyEvent
153callbacks cannot use arguments passed to I/O watcher callbacks.
154
152The I/O watcher might use the underlying file descriptor or a copy of it. 155The I/O watcher might use the underlying file descriptor or a copy of it.
153It is not allowed to close a file handle as long as any watcher is active 156You must not close a file handle as long as any watcher is active on the
154on the underlying file descriptor. 157underlying file descriptor.
155 158
156Some event loops issue spurious readyness notifications, so you should 159Some event loops issue spurious readyness notifications, so you should
157always use non-blocking calls when reading/writing from/to your file 160always use non-blocking calls when reading/writing from/to your file
158handles. 161handles.
159 162
170 173
171You can create a time watcher by calling the C<< AnyEvent->timer >> 174You can create a time watcher by calling the C<< AnyEvent->timer >>
172method with the following mandatory arguments: 175method with the following mandatory arguments:
173 176
174C<after> specifies after how many seconds (fractional values are 177C<after> specifies after how many seconds (fractional values are
175supported) should the timer activate. C<cb> the callback to invoke in that 178supported) the callback should be invoked. C<cb> is the callback to invoke
176case. 179in that case.
180
181Although the callback might get passed parameters, their value and
182presence is undefined and you cannot rely on them. Portable AnyEvent
183callbacks cannot use arguments passed to time watcher callbacks.
177 184
178The timer callback will be invoked at most once: if you want a repeating 185The timer callback will be invoked at most once: if you want a repeating
179timer you have to create a new watcher (this is a limitation by both Tk 186timer you have to create a new watcher (this is a limitation by both Tk
180and Glib). 187and Glib).
181 188
226 233
227You can watch for signals using a signal watcher, C<signal> is the signal 234You can watch for signals using a signal watcher, C<signal> is the signal
228I<name> without any C<SIG> prefix, C<cb> is the Perl callback to 235I<name> without any C<SIG> prefix, C<cb> is the Perl callback to
229be invoked whenever a signal occurs. 236be invoked whenever a signal occurs.
230 237
238Although the callback might get passed parameters, their value and
239presence is undefined and you cannot rely on them. Portable AnyEvent
240callbacks cannot use arguments passed to signal watcher callbacks.
241
231Multiple signal occurances can be clumped together into one callback 242Multiple signal occurrences can be clumped together into one callback
232invocation, and callback invocation will be synchronous. synchronous means 243invocation, and callback invocation will be synchronous. Synchronous means
233that it might take a while until the signal gets handled by the process, 244that it might take a while until the signal gets handled by the process,
234but it is guarenteed not to interrupt any other callbacks. 245but it is guaranteed not to interrupt any other callbacks.
235 246
236The main advantage of using these watchers is that you can share a signal 247The main advantage of using these watchers is that you can share a signal
237between multiple watchers. 248between multiple watchers.
238 249
239This watcher might use C<%SIG>, so programs overwriting those signals 250This watcher might use C<%SIG>, so programs overwriting those signals
249 260
250The child process is specified by the C<pid> argument (if set to C<0>, it 261The child process is specified by the C<pid> argument (if set to C<0>, it
251watches for any child process exit). The watcher will trigger as often 262watches for any child process exit). The watcher will trigger as often
252as status change for the child are received. This works by installing a 263as status change for the child are received. This works by installing a
253signal handler for C<SIGCHLD>. The callback will be called with the pid 264signal handler for C<SIGCHLD>. The callback will be called with the pid
254and exit status (as returned by waitpid). 265and exit status (as returned by waitpid), so unlike other watcher types,
266you I<can> rely on child watcher callback arguments.
255 267
256There is a slight catch to child watchers, however: you usually start them 268There is a slight catch to child watchers, however: you usually start them
257I<after> the child process was created, and this means the process could 269I<after> the child process was created, and this means the process could
258have exited already (and no SIGCHLD will be sent anymore). 270have exited already (and no SIGCHLD will be sent anymore).
259 271
266C<fork> the child (alternatively, you can call C<AnyEvent::detect>). 278C<fork> the child (alternatively, you can call C<AnyEvent::detect>).
267 279
268Example: fork a process and wait for it 280Example: fork a process and wait for it
269 281
270 my $done = AnyEvent->condvar; 282 my $done = AnyEvent->condvar;
271
272 AnyEvent::detect; # force event module to be initialised
273 283
274 my $pid = fork or exit 5; 284 my $pid = fork or exit 5;
275 285
276 my $w = AnyEvent->child ( 286 my $w = AnyEvent->child (
277 pid => $pid, 287 pid => $pid,
278 cb => sub { 288 cb => sub {
279 my ($pid, $status) = @_; 289 my ($pid, $status) = @_;
280 warn "pid $pid exited with status $status"; 290 warn "pid $pid exited with status $status";
281 $done->broadcast; 291 $done->send;
282 }, 292 },
283 ); 293 );
284 294
285 # do something else, then wait for process exit 295 # do something else, then wait for process exit
286 $done->wait; 296 $done->recv;
287 297
288=head2 CONDITION VARIABLES 298=head2 CONDITION VARIABLES
289 299
300If you are familiar with some event loops you will know that all of them
301require you to run some blocking "loop", "run" or similar function that
302will actively watch for new events and call your callbacks.
303
304AnyEvent is different, it expects somebody else to run the event loop and
305will only block when necessary (usually when told by the user).
306
307The instrument to do that is called a "condition variable", so called
308because they represent a condition that must become true.
309
290Condition variables can be created by calling the C<< AnyEvent->condvar >> 310Condition variables can be created by calling the C<< AnyEvent->condvar
291method without any arguments. 311>> method, usually without arguments. The only argument pair allowed is
312C<cb>, which specifies a callback to be called when the condition variable
313becomes true.
292 314
293A condition variable waits for a condition - precisely that the C<< 315After creation, the condition variable is "false" until it becomes "true"
294->broadcast >> method has been called. 316by calling the C<send> method (or calling the condition variable as if it
317were a callback).
295 318
296They are very useful to signal that a condition has been fulfilled, for 319Condition variables are similar to callbacks, except that you can
320optionally wait for them. They can also be called merge points - points
321in time where multiple outstanding events have been processed. And yet
322another way to call them is transactions - each condition variable can be
323used to represent a transaction, which finishes at some point and delivers
324a result.
325
326Condition variables are very useful to signal that something has finished,
297example, if you write a module that does asynchronous http requests, 327for example, if you write a module that does asynchronous http requests,
298then a condition variable would be the ideal candidate to signal the 328then a condition variable would be the ideal candidate to signal the
299availability of results. 329availability of results. The user can either act when the callback is
330called or can synchronously C<< ->recv >> for the results.
300 331
301You can also use condition variables to block your main program until 332You can also use them to simulate traditional event loops - for example,
302an event occurs - for example, you could C<< ->wait >> in your main 333you can block your main program until an event occurs - for example, you
303program until the user clicks the Quit button in your app, which would C<< 334could C<< ->recv >> in your main program until the user clicks the Quit
304->broadcast >> the "quit" event. 335button of your app, which would C<< ->send >> the "quit" event.
305 336
306Note that condition variables recurse into the event loop - if you have 337Note that condition variables recurse into the event loop - if you have
307two pirces of code that call C<< ->wait >> in a round-robbin fashion, you 338two pieces of code that call C<< ->recv >> in a round-robin fashion, you
308lose. Therefore, condition variables are good to export to your caller, but 339lose. Therefore, condition variables are good to export to your caller, but
309you should avoid making a blocking wait yourself, at least in callbacks, 340you should avoid making a blocking wait yourself, at least in callbacks,
310as this asks for trouble. 341as this asks for trouble.
311 342
312This object has two methods: 343Condition variables are represented by hash refs in perl, and the keys
344used by AnyEvent itself are all named C<_ae_XXX> to make subclassing
345easy (it is often useful to build your own transaction class on top of
346AnyEvent). To subclass, use C<AnyEvent::CondVar> as base class and call
347it's C<new> method in your own C<new> method.
348
349There are two "sides" to a condition variable - the "producer side" which
350eventually calls C<< -> send >>, and the "consumer side", which waits
351for the send to occur.
352
353Example: wait for a timer.
354
355 # wait till the result is ready
356 my $result_ready = AnyEvent->condvar;
357
358 # do something such as adding a timer
359 # or socket watcher the calls $result_ready->send
360 # when the "result" is ready.
361 # in this case, we simply use a timer:
362 my $w = AnyEvent->timer (
363 after => 1,
364 cb => sub { $result_ready->send },
365 );
366
367 # this "blocks" (while handling events) till the callback
368 # calls send
369 $result_ready->recv;
370
371Example: wait for a timer, but take advantage of the fact that
372condition variables are also code references.
373
374 my $done = AnyEvent->condvar;
375 my $delay = AnyEvent->timer (after => 5, cb => $done);
376 $done->recv;
377
378=head3 METHODS FOR PRODUCERS
379
380These methods should only be used by the producing side, i.e. the
381code/module that eventually sends the signal. Note that it is also
382the producer side which creates the condvar in most cases, but it isn't
383uncommon for the consumer to create it as well.
313 384
314=over 4 385=over 4
315 386
387=item $cv->send (...)
388
389Flag the condition as ready - a running C<< ->recv >> and all further
390calls to C<recv> will (eventually) return after this method has been
391called. If nobody is waiting the send will be remembered.
392
393If a callback has been set on the condition variable, it is called
394immediately from within send.
395
396Any arguments passed to the C<send> call will be returned by all
397future C<< ->recv >> calls.
398
399Condition variables are overloaded so one can call them directly (as a
400code reference). Calling them directly is the same as calling C<send>.
401
402=item $cv->croak ($error)
403
404Similar to send, but causes all call's to C<< ->recv >> to invoke
405C<Carp::croak> with the given error message/object/scalar.
406
407This can be used to signal any errors to the condition variable
408user/consumer.
409
410=item $cv->begin ([group callback])
411
316=item $cv->wait 412=item $cv->end
317 413
318Wait (blocking if necessary) until the C<< ->broadcast >> method has been 414These two methods are EXPERIMENTAL and MIGHT CHANGE.
415
416These two methods can be used to combine many transactions/events into
417one. For example, a function that pings many hosts in parallel might want
418to use a condition variable for the whole process.
419
420Every call to C<< ->begin >> will increment a counter, and every call to
421C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end
422>>, the (last) callback passed to C<begin> will be executed. That callback
423is I<supposed> to call C<< ->send >>, but that is not required. If no
424callback was set, C<send> will be called without any arguments.
425
426Let's clarify this with the ping example:
427
428 my $cv = AnyEvent->condvar;
429
430 my %result;
431 $cv->begin (sub { $cv->send (\%result) });
432
433 for my $host (@list_of_hosts) {
434 $cv->begin;
435 ping_host_then_call_callback $host, sub {
436 $result{$host} = ...;
437 $cv->end;
438 };
439 }
440
441 $cv->end;
442
443This code fragment supposedly pings a number of hosts and calls
444C<send> after results for all then have have been gathered - in any
445order. To achieve this, the code issues a call to C<begin> when it starts
446each ping request and calls C<end> when it has received some result for
447it. Since C<begin> and C<end> only maintain a counter, the order in which
448results arrive is not relevant.
449
450There is an additional bracketing call to C<begin> and C<end> outside the
451loop, which serves two important purposes: first, it sets the callback
452to be called once the counter reaches C<0>, and second, it ensures that
453C<send> is called even when C<no> hosts are being pinged (the loop
454doesn't execute once).
455
456This is the general pattern when you "fan out" into multiple subrequests:
457use an outer C<begin>/C<end> pair to set the callback and ensure C<end>
458is called at least once, and then, for each subrequest you start, call
459C<begin> and for each subrequest you finish, call C<end>.
460
461=back
462
463=head3 METHODS FOR CONSUMERS
464
465These methods should only be used by the consuming side, i.e. the
466code awaits the condition.
467
468=over 4
469
470=item $cv->recv
471
472Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak
319called on c<$cv>, while servicing other watchers normally. 473>> methods have been called on c<$cv>, while servicing other watchers
474normally.
320 475
321You can only wait once on a condition - additional calls will return 476You can only wait once on a condition - additional calls are valid but
322immediately. 477will return immediately.
478
479If an error condition has been set by calling C<< ->croak >>, then this
480function will call C<croak>.
481
482In list context, all parameters passed to C<send> will be returned,
483in scalar context only the first one will be returned.
323 484
324Not all event models support a blocking wait - some die in that case 485Not all event models support a blocking wait - some die in that case
325(programs might want to do that to stay interactive), so I<if you are 486(programs might want to do that to stay interactive), so I<if you are
326using this from a module, never require a blocking wait>, but let the 487using this from a module, never require a blocking wait>, but let the
327caller decide whether the call will block or not (for example, by coupling 488caller decide whether the call will block or not (for example, by coupling
328condition variables with some kind of request results and supporting 489condition variables with some kind of request results and supporting
329callbacks so the caller knows that getting the result will not block, 490callbacks so the caller knows that getting the result will not block,
330while still suppporting blocking waits if the caller so desires). 491while still supporting blocking waits if the caller so desires).
331 492
332Another reason I<never> to C<< ->wait >> in a module is that you cannot 493Another reason I<never> to C<< ->recv >> in a module is that you cannot
333sensibly have two C<< ->wait >>'s in parallel, as that would require 494sensibly have two C<< ->recv >>'s in parallel, as that would require
334multiple interpreters or coroutines/threads, none of which C<AnyEvent> 495multiple interpreters or coroutines/threads, none of which C<AnyEvent>
335can supply (the coroutine-aware backends L<AnyEvent::Impl::CoroEV> and 496can supply.
336L<AnyEvent::Impl::CoroEvent> explicitly support concurrent C<< ->wait >>'s
337from different coroutines, however).
338 497
339=item $cv->broadcast 498The L<Coro> module, however, I<can> and I<does> supply coroutines and, in
499fact, L<Coro::AnyEvent> replaces AnyEvent's condvars by coroutine-safe
500versions and also integrates coroutines into AnyEvent, making blocking
501C<< ->recv >> calls perfectly safe as long as they are done from another
502coroutine (one that doesn't run the event loop).
340 503
341Flag the condition as ready - a running C<< ->wait >> and all further 504You can ensure that C<< -recv >> never blocks by setting a callback and
342calls to C<wait> will (eventually) return after this method has been 505only calling C<< ->recv >> from within that callback (or at a later
343called. If nobody is waiting the broadcast will be remembered.. 506time). This will work even when the event loop does not support blocking
507waits otherwise.
508
509=item $bool = $cv->ready
510
511Returns true when the condition is "true", i.e. whether C<send> or
512C<croak> have been called.
513
514=item $cb = $cv->cb ([new callback])
515
516This is a mutator function that returns the callback set and optionally
517replaces it before doing so.
518
519The callback will be called when the condition becomes "true", i.e. when
520C<send> or C<croak> are called. Calling C<recv> inside the callback
521or at any later time is guaranteed not to block.
344 522
345=back 523=back
346 524
347Example: 525=head3 MAINLOOP EMULATION
348 526
349 # wait till the result is ready 527Sometimes (often for short test scripts, or even standalone programs
350 my $result_ready = AnyEvent->condvar; 528who only want to use AnyEvent), you I<do> want your program to block
529indefinitely in some event loop.
351 530
352 # do something such as adding a timer 531In that case, you cna use a condition variable like this:
353 # or socket watcher the calls $result_ready->broadcast
354 # when the "result" is ready.
355 # in this case, we simply use a timer:
356 my $w = AnyEvent->timer (
357 after => 1,
358 cb => sub { $result_ready->broadcast },
359 );
360 532
361 # this "blocks" (while handling events) till the watcher 533 AnyEvent->condvar->recv;
362 # calls broadcast 534
363 $result_ready->wait; 535This has the effect of entering the event loop and looping forever.
536
537Note that usually your program has some exit condition, in which case
538it is better to use the "traditional" approach of storing a condition
539variable, waiting for it, and sending it when the program should exit
540cleanly.
541
364 542
365=head1 GLOBAL VARIABLES AND FUNCTIONS 543=head1 GLOBAL VARIABLES AND FUNCTIONS
366 544
367=over 4 545=over 4
368 546
374C<AnyEvent::Impl:xxx> modules, but can be any other class in the case 552C<AnyEvent::Impl:xxx> modules, but can be any other class in the case
375AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>). 553AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>).
376 554
377The known classes so far are: 555The known classes so far are:
378 556
379 AnyEvent::Impl::CoroEV based on Coro::EV, best choice.
380 AnyEvent::Impl::CoroEvent based on Coro::Event, second best choice.
381 AnyEvent::Impl::EV based on EV (an interface to libev, best choice). 557 AnyEvent::Impl::EV based on EV (an interface to libev, best choice).
382 AnyEvent::Impl::Event based on Event, second best choice. 558 AnyEvent::Impl::Event based on Event, second best choice.
559 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
383 AnyEvent::Impl::Glib based on Glib, third-best choice. 560 AnyEvent::Impl::Glib based on Glib, third-best choice.
384 AnyEvent::Impl::Perl pure-perl implementation, inefficient but portable.
385 AnyEvent::Impl::Tk based on Tk, very bad choice. 561 AnyEvent::Impl::Tk based on Tk, very bad choice.
386 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs). 562 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
387 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse. 563 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
388 AnyEvent::Impl::POE based on POE, not generic enough for full support. 564 AnyEvent::Impl::POE based on POE, not generic enough for full support.
389 565
402Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model 578Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model
403if necessary. You should only call this function right before you would 579if necessary. You should only call this function right before you would
404have created an AnyEvent watcher anyway, that is, as late as possible at 580have created an AnyEvent watcher anyway, that is, as late as possible at
405runtime. 581runtime.
406 582
583=item $guard = AnyEvent::post_detect { BLOCK }
584
585Arranges for the code block to be executed as soon as the event model is
586autodetected (or immediately if this has already happened).
587
588If called in scalar or list context, then it creates and returns an object
589that automatically removes the callback again when it is destroyed. See
590L<Coro::BDB> for a case where this is useful.
591
592=item @AnyEvent::post_detect
593
594If there are any code references in this array (you can C<push> to it
595before or after loading AnyEvent), then they will called directly after
596the event loop has been chosen.
597
598You should check C<$AnyEvent::MODEL> before adding to this array, though:
599if it contains a true value then the event loop has already been detected,
600and the array will be ignored.
601
602Best use C<AnyEvent::post_detect { BLOCK }> instead.
603
407=back 604=back
408 605
409=head1 WHAT TO DO IN A MODULE 606=head1 WHAT TO DO IN A MODULE
410 607
411As a module author, you should C<use AnyEvent> and call AnyEvent methods 608As a module author, you should C<use AnyEvent> and call AnyEvent methods
414Be careful when you create watchers in the module body - AnyEvent will 611Be careful when you create watchers in the module body - AnyEvent will
415decide which event module to use as soon as the first method is called, so 612decide which event module to use as soon as the first method is called, so
416by calling AnyEvent in your module body you force the user of your module 613by calling AnyEvent in your module body you force the user of your module
417to load the event module first. 614to load the event module first.
418 615
419Never call C<< ->wait >> on a condition variable unless you I<know> that 616Never call C<< ->recv >> on a condition variable unless you I<know> that
420the C<< ->broadcast >> method has been called on it already. This is 617the C<< ->send >> method has been called on it already. This is
421because it will stall the whole program, and the whole point of using 618because it will stall the whole program, and the whole point of using
422events is to stay interactive. 619events is to stay interactive.
423 620
424It is fine, however, to call C<< ->wait >> when the user of your module 621It is fine, however, to call C<< ->recv >> when the user of your module
425requests it (i.e. if you create a http request object ad have a method 622requests it (i.e. if you create a http request object ad have a method
426called C<results> that returns the results, it should call C<< ->wait >> 623called C<results> that returns the results, it should call C<< ->recv >>
427freely, as the user of your module knows what she is doing. always). 624freely, as the user of your module knows what she is doing. always).
428 625
429=head1 WHAT TO DO IN THE MAIN PROGRAM 626=head1 WHAT TO DO IN THE MAIN PROGRAM
430 627
431There will always be a single main program - the only place that should 628There will always be a single main program - the only place that should
445 642
446You can chose to use a rather inefficient pure-perl implementation by 643You can chose to use a rather inefficient pure-perl implementation by
447loading the C<AnyEvent::Impl::Perl> module, which gives you similar 644loading the C<AnyEvent::Impl::Perl> module, which gives you similar
448behaviour everywhere, but letting AnyEvent chose is generally better. 645behaviour everywhere, but letting AnyEvent chose is generally better.
449 646
647=head1 OTHER MODULES
648
649The following is a non-exhaustive list of additional modules that use
650AnyEvent and can therefore be mixed easily with other AnyEvent modules
651in the same program. Some of the modules come with AnyEvent, some are
652available via CPAN.
653
654=over 4
655
656=item L<AnyEvent::Util>
657
658Contains various utility functions that replace often-used but blocking
659functions such as C<inet_aton> by event-/callback-based versions.
660
661=item L<AnyEvent::Handle>
662
663Provide read and write buffers and manages watchers for reads and writes.
664
665=item L<AnyEvent::Socket>
666
667Provides various utility functions for (internet protocol) sockets,
668addresses and name resolution. Also functions to create non-blocking tcp
669connections or tcp servers, with IPv6 and SRV record support and more.
670
671=item L<AnyEvent::HTTPD>
672
673Provides a simple web application server framework.
674
675=item L<AnyEvent::DNS>
676
677Provides rich asynchronous DNS resolver capabilities.
678
679=item L<AnyEvent::FastPing>
680
681The fastest ping in the west.
682
683=item L<Net::IRC3>
684
685AnyEvent based IRC client module family.
686
687=item L<Net::XMPP2>
688
689AnyEvent based XMPP (Jabber protocol) module family.
690
691=item L<Net::FCP>
692
693AnyEvent-based implementation of the Freenet Client Protocol, birthplace
694of AnyEvent.
695
696=item L<Event::ExecFlow>
697
698High level API for event-based execution flow control.
699
700=item L<Coro>
701
702Has special support for AnyEvent via L<Coro::AnyEvent>.
703
704=item L<AnyEvent::AIO>, L<IO::AIO>
705
706Truly asynchronous I/O, should be in the toolbox of every event
707programmer. AnyEvent::AIO transparently fuses IO::AIO and AnyEvent
708together.
709
710=item L<AnyEvent::BDB>, L<BDB>
711
712Truly asynchronous Berkeley DB access. AnyEvent::AIO transparently fuses
713IO::AIO and AnyEvent together.
714
715=item L<IO::Lambda>
716
717The lambda approach to I/O - don't ask, look there. Can use AnyEvent.
718
719=back
720
450=cut 721=cut
451 722
452package AnyEvent; 723package AnyEvent;
453 724
454no warnings; 725no warnings;
455use strict; 726use strict;
456 727
457use Carp; 728use Carp;
458 729
459our $VERSION = '3.3'; 730our $VERSION = '4.03';
460our $MODEL; 731our $MODEL;
461 732
462our $AUTOLOAD; 733our $AUTOLOAD;
463our @ISA; 734our @ISA;
464 735
465our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 736our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
466 737
467our @REGISTRY; 738our @REGISTRY;
468 739
740our %PROTOCOL; # (ipv4|ipv6) => (1|2)
741
742{
743 my $idx;
744 $PROTOCOL{$_} = ++$idx
745 for split /\s*,\s*/, $ENV{PERL_ANYEVENT_PROTOCOLS} || "ipv4,ipv6";
746}
747
469my @models = ( 748my @models = (
470 [Coro::EV:: => AnyEvent::Impl::CoroEV::],
471 [Coro::Event:: => AnyEvent::Impl::CoroEvent::],
472 [EV:: => AnyEvent::Impl::EV::], 749 [EV:: => AnyEvent::Impl::EV::],
473 [Event:: => AnyEvent::Impl::Event::], 750 [Event:: => AnyEvent::Impl::Event::],
474 [Glib:: => AnyEvent::Impl::Glib::],
475 [Tk:: => AnyEvent::Impl::Tk::], 751 [Tk:: => AnyEvent::Impl::Tk::],
476 [Wx:: => AnyEvent::Impl::POE::], 752 [Wx:: => AnyEvent::Impl::POE::],
477 [Prima:: => AnyEvent::Impl::POE::], 753 [Prima:: => AnyEvent::Impl::POE::],
478 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::], 754 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::],
479 # everything below here will not be autoprobed as the pureperl backend should work everywhere 755 # everything below here will not be autoprobed as the pureperl backend should work everywhere
756 [Glib:: => AnyEvent::Impl::Glib::],
480 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 757 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
481 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 758 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
482 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 759 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
483); 760);
484 761
485our %method = map +($_ => 1), qw(io timer signal child condvar broadcast wait one_event DESTROY); 762our %method = map +($_ => 1), qw(io timer signal child condvar one_event DESTROY);
763
764our @post_detect;
765
766sub post_detect(&) {
767 my ($cb) = @_;
768
769 if ($MODEL) {
770 $cb->();
771
772 1
773 } else {
774 push @post_detect, $cb;
775
776 defined wantarray
777 ? bless \$cb, "AnyEvent::Util::PostDetect"
778 : ()
779 }
780}
781
782sub AnyEvent::Util::PostDetect::DESTROY {
783 @post_detect = grep $_ != ${$_[0]}, @post_detect;
784}
486 785
487sub detect() { 786sub detect() {
488 unless ($MODEL) { 787 unless ($MODEL) {
489 no strict 'refs'; 788 no strict 'refs';
490 789
524 last; 823 last;
525 } 824 }
526 } 825 }
527 826
528 $MODEL 827 $MODEL
529 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."; 828 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib.";
530 } 829 }
531 } 830 }
532 831
533 unshift @ISA, $MODEL; 832 unshift @ISA, $MODEL;
534 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 833 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
834
835 (shift @post_detect)->() while @post_detect;
535 } 836 }
536 837
537 $MODEL 838 $MODEL
538} 839}
539 840
549 $class->$func (@_); 850 $class->$func (@_);
550} 851}
551 852
552package AnyEvent::Base; 853package AnyEvent::Base;
553 854
554# default implementation for ->condvar, ->wait, ->broadcast 855# default implementation for ->condvar
555 856
556sub condvar { 857sub condvar {
557 bless \my $flag, "AnyEvent::Base::CondVar" 858 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar::
558}
559
560sub AnyEvent::Base::CondVar::broadcast {
561 ${$_[0]}++;
562}
563
564sub AnyEvent::Base::CondVar::wait {
565 AnyEvent->one_event while !${$_[0]};
566} 859}
567 860
568# default implementation for ->signal 861# default implementation for ->signal
569 862
570our %SIG_CB; 863our %SIG_CB;
644 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 937 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
645 938
646 undef $CHLD_W unless keys %PID_CB; 939 undef $CHLD_W unless keys %PID_CB;
647} 940}
648 941
942package AnyEvent::CondVar;
943
944our @ISA = AnyEvent::CondVar::Base::;
945
946package AnyEvent::CondVar::Base;
947
948use overload
949 '&{}' => sub { my $self = shift; sub { $self->send (@_) } },
950 fallback => 1;
951
952sub _send {
953 # nop
954}
955
956sub send {
957 my $cv = shift;
958 $cv->{_ae_sent} = [@_];
959 (delete $cv->{_ae_cb})->($cv) if $cv->{_ae_cb};
960 $cv->_send;
961}
962
963sub croak {
964 $_[0]{_ae_croak} = $_[1];
965 $_[0]->send;
966}
967
968sub ready {
969 $_[0]{_ae_sent}
970}
971
972sub _wait {
973 AnyEvent->one_event while !$_[0]{_ae_sent};
974}
975
976sub recv {
977 $_[0]->_wait;
978
979 Carp::croak $_[0]{_ae_croak} if $_[0]{_ae_croak};
980 wantarray ? @{ $_[0]{_ae_sent} } : $_[0]{_ae_sent}[0]
981}
982
983sub cb {
984 $_[0]{_ae_cb} = $_[1] if @_ > 1;
985 $_[0]{_ae_cb}
986}
987
988sub begin {
989 ++$_[0]{_ae_counter};
990 $_[0]{_ae_end_cb} = $_[1] if @_ > 1;
991}
992
993sub end {
994 return if --$_[0]{_ae_counter};
995 &{ $_[0]{_ae_end_cb} || sub { $_[0]->send } };
996}
997
998# undocumented/compatibility with pre-3.4
999*broadcast = \&send;
1000*wait = \&_wait;
1001
649=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1002=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
650 1003
651This is an advanced topic that you do not normally need to use AnyEvent in 1004This is an advanced topic that you do not normally need to use AnyEvent in
652a module. This section is only of use to event loop authors who want to 1005a module. This section is only of use to event loop authors who want to
653provide AnyEvent compatibility. 1006provide AnyEvent compatibility.
709model it chooses. 1062model it chooses.
710 1063
711=item C<PERL_ANYEVENT_MODEL> 1064=item C<PERL_ANYEVENT_MODEL>
712 1065
713This can be used to specify the event model to be used by AnyEvent, before 1066This can be used to specify the event model to be used by AnyEvent, before
714autodetection and -probing kicks in. It must be a string consisting 1067auto detection and -probing kicks in. It must be a string consisting
715entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended 1068entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
716and the resulting module name is loaded and if the load was successful, 1069and the resulting module name is loaded and if the load was successful,
717used as event model. If it fails to load AnyEvent will proceed with 1070used as event model. If it fails to load AnyEvent will proceed with
718autodetection and -probing. 1071auto detection and -probing.
719 1072
720This functionality might change in future versions. 1073This functionality might change in future versions.
721 1074
722For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you 1075For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
723could start your program like this: 1076could start your program like this:
724 1077
725 PERL_ANYEVENT_MODEL=Perl perl ... 1078 PERL_ANYEVENT_MODEL=Perl perl ...
1079
1080=item C<PERL_ANYEVENT_PROTOCOLS>
1081
1082Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1083for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1084of auto probing).
1085
1086Must be set to a comma-separated list of protocols or address families,
1087current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1088used, and preference will be given to protocols mentioned earlier in the
1089list.
1090
1091This variable can effectively be used for denial-of-service attacks
1092against local programs (e.g. when setuid), although the impact is likely
1093small, as the program has to handle connection errors already-
1094
1095Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1096but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1097- only support IPv4, never try to resolve or contact IPv6
1098addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1099IPv6, but prefer IPv6 over IPv4.
1100
1101=item C<PERL_ANYEVENT_EDNS0>
1102
1103Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1104for DNS. This extension is generally useful to reduce DNS traffic, but
1105some (broken) firewalls drop such DNS packets, which is why it is off by
1106default.
1107
1108Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1109EDNS0 in its DNS requests.
726 1110
727=back 1111=back
728 1112
729=head1 EXAMPLE PROGRAM 1113=head1 EXAMPLE PROGRAM
730 1114
741 poll => 'r', 1125 poll => 'r',
742 cb => sub { 1126 cb => sub {
743 warn "io event <$_[0]>\n"; # will always output <r> 1127 warn "io event <$_[0]>\n"; # will always output <r>
744 chomp (my $input = <STDIN>); # read a line 1128 chomp (my $input = <STDIN>); # read a line
745 warn "read: $input\n"; # output what has been read 1129 warn "read: $input\n"; # output what has been read
746 $cv->broadcast if $input =~ /^q/i; # quit program if /^q/i 1130 $cv->send if $input =~ /^q/i; # quit program if /^q/i
747 }, 1131 },
748 ); 1132 );
749 1133
750 my $time_watcher; # can only be used once 1134 my $time_watcher; # can only be used once
751 1135
756 }); 1140 });
757 } 1141 }
758 1142
759 new_timer; # create first timer 1143 new_timer; # create first timer
760 1144
761 $cv->wait; # wait until user enters /^q/i 1145 $cv->recv; # wait until user enters /^q/i
762 1146
763=head1 REAL-WORLD EXAMPLE 1147=head1 REAL-WORLD EXAMPLE
764 1148
765Consider the L<Net::FCP> module. It features (among others) the following 1149Consider the L<Net::FCP> module. It features (among others) the following
766API calls, which are to freenet what HTTP GET requests are to http: 1150API calls, which are to freenet what HTTP GET requests are to http:
816 syswrite $txn->{fh}, $txn->{request} 1200 syswrite $txn->{fh}, $txn->{request}
817 or die "connection or write error"; 1201 or die "connection or write error";
818 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r }); 1202 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r });
819 1203
820Again, C<fh_ready_r> waits till all data has arrived, and then stores the 1204Again, C<fh_ready_r> waits till all data has arrived, and then stores the
821result and signals any possible waiters that the request ahs finished: 1205result and signals any possible waiters that the request has finished:
822 1206
823 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf}; 1207 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf};
824 1208
825 if (end-of-file or data complete) { 1209 if (end-of-file or data complete) {
826 $txn->{result} = $txn->{buf}; 1210 $txn->{result} = $txn->{buf};
827 $txn->{finished}->broadcast; 1211 $txn->{finished}->send;
828 $txb->{cb}->($txn) of $txn->{cb}; # also call callback 1212 $txb->{cb}->($txn) of $txn->{cb}; # also call callback
829 } 1213 }
830 1214
831The C<result> method, finally, just waits for the finished signal (if the 1215The C<result> method, finally, just waits for the finished signal (if the
832request was already finished, it doesn't wait, of course, and returns the 1216request was already finished, it doesn't wait, of course, and returns the
833data: 1217data:
834 1218
835 $txn->{finished}->wait; 1219 $txn->{finished}->recv;
836 return $txn->{result}; 1220 return $txn->{result};
837 1221
838The actual code goes further and collects all errors (C<die>s, exceptions) 1222The actual code goes further and collects all errors (C<die>s, exceptions)
839that occured during request processing. The C<result> method detects 1223that occurred during request processing. The C<result> method detects
840whether an exception as thrown (it is stored inside the $txn object) 1224whether an exception as thrown (it is stored inside the $txn object)
841and just throws the exception, which means connection errors and other 1225and just throws the exception, which means connection errors and other
842problems get reported tot he code that tries to use the result, not in a 1226problems get reported tot he code that tries to use the result, not in a
843random callback. 1227random callback.
844 1228
875 1259
876 my $quit = AnyEvent->condvar; 1260 my $quit = AnyEvent->condvar;
877 1261
878 $fcp->txn_client_get ($url)->cb (sub { 1262 $fcp->txn_client_get ($url)->cb (sub {
879 ... 1263 ...
880 $quit->broadcast; 1264 $quit->send;
881 }); 1265 });
882 1266
883 $quit->wait; 1267 $quit->recv;
884 1268
885 1269
886=head1 BENCHMARK 1270=head1 BENCHMARKS
887 1271
888To give you an idea of the performance and overheads that AnyEvent adds 1272To give you an idea of the performance and overheads that AnyEvent adds
889over the event loops themselves (and to give you an impression of the 1273over the event loops themselves and to give you an impression of the speed
890speed of various event loops), here is a benchmark of various supported 1274of various event loops I prepared some benchmarks.
891event models natively and with anyevent. The benchmark creates a lot of 1275
892timers (with a zero timeout) and I/O watchers (watching STDOUT, a pty, to 1276=head2 BENCHMARKING ANYEVENT OVERHEAD
1277
1278Here is a benchmark of various supported event models used natively and
1279through AnyEvent. The benchmark creates a lot of timers (with a zero
1280timeout) and I/O watchers (watching STDOUT, a pty, to become writable,
893become writable, which it is), lets them fire exactly once and destroys 1281which it is), lets them fire exactly once and destroys them again.
894them again.
895 1282
896Rewriting the benchmark to use many different sockets instead of using 1283Source code for this benchmark is found as F<eg/bench> in the AnyEvent
897the same filehandle for all I/O watchers results in a much longer runtime 1284distribution.
898(socket creation is expensive), but qualitatively the same figures, so it
899was not used.
900 1285
901=head2 Explanation of the columns 1286=head3 Explanation of the columns
902 1287
903I<watcher> is the number of event watchers created/destroyed. Since 1288I<watcher> is the number of event watchers created/destroyed. Since
904different event models feature vastly different performances, each event 1289different event models feature vastly different performances, each event
905loop was given a number of watchers so that overall runtime is acceptable 1290loop was given a number of watchers so that overall runtime is acceptable
906and similar between tested event loop (and keep them from crashing): Glib 1291and similar between tested event loop (and keep them from crashing): Glib
916all watchers, to avoid adding memory overhead. That means closure creation 1301all watchers, to avoid adding memory overhead. That means closure creation
917and memory usage is not included in the figures. 1302and memory usage is not included in the figures.
918 1303
919I<invoke> is the time, in microseconds, used to invoke a simple 1304I<invoke> is the time, in microseconds, used to invoke a simple
920callback. The callback simply counts down a Perl variable and after it was 1305callback. The callback simply counts down a Perl variable and after it was
921invoked "watcher" times, it would C<< ->broadcast >> a condvar once to 1306invoked "watcher" times, it would C<< ->send >> a condvar once to
922signal the end of this phase. 1307signal the end of this phase.
923 1308
924I<destroy> is the time, in microseconds, that it takes to destroy a single 1309I<destroy> is the time, in microseconds, that it takes to destroy a single
925watcher. 1310watcher.
926 1311
927=head2 Results 1312=head3 Results
928 1313
929 name watchers bytes create invoke destroy comment 1314 name watchers bytes create invoke destroy comment
930 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1315 EV/EV 400000 244 0.56 0.46 0.31 EV native interface
931 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers 1316 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers
932 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal 1317 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal
933 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation 1318 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation
934 Event/Event 16000 516 31.88 31.30 0.85 Event native interface 1319 Event/Event 16000 516 31.88 31.30 0.85 Event native interface
935 Event/Any 16000 936 39.17 33.63 1.43 Event + AnyEvent watchers 1320 Event/Any 16000 590 35.75 31.42 1.08 Event + AnyEvent watchers
936 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1321 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour
937 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers 1322 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers
938 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event 1323 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event
939 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select 1324 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select
940 1325
941=head2 Discussion 1326=head3 Discussion
942 1327
943The benchmark does I<not> measure scalability of the event loop very 1328The benchmark does I<not> measure scalability of the event loop very
944well. For example, a select-based event loop (such as the pure perl one) 1329well. For example, a select-based event loop (such as the pure perl one)
945can never compete with an event loop that uses epoll when the number of 1330can never compete with an event loop that uses epoll when the number of
946file descriptors grows high. In this benchmark, all events become ready at 1331file descriptors grows high. In this benchmark, all events become ready at
947the same time, so select/poll-based implementations get an unnatural speed 1332the same time, so select/poll-based implementations get an unnatural speed
948boost. 1333boost.
949 1334
1335Also, note that the number of watchers usually has a nonlinear effect on
1336overall speed, that is, creating twice as many watchers doesn't take twice
1337the time - usually it takes longer. This puts event loops tested with a
1338higher number of watchers at a disadvantage.
1339
1340To put the range of results into perspective, consider that on the
1341benchmark machine, handling an event takes roughly 1600 CPU cycles with
1342EV, 3100 CPU cycles with AnyEvent's pure perl loop and almost 3000000 CPU
1343cycles with POE.
1344
950C<EV> is the sole leader regarding speed and memory use, which are both 1345C<EV> is the sole leader regarding speed and memory use, which are both
951maximal/minimal, respectively. Even when going through AnyEvent, there are 1346maximal/minimal, respectively. Even when going through AnyEvent, it uses
952only two event loops that use slightly less memory (the C<Event> module 1347far less memory than any other event loop and is still faster than Event
953natively and the pure perl backend), and no faster event models, not even 1348natively.
954C<Event> natively.
955 1349
956The pure perl implementation is hit in a few sweet spots (both the 1350The pure perl implementation is hit in a few sweet spots (both the
957zero timeout and the use of a single fd hit optimisations in the perl 1351constant timeout and the use of a single fd hit optimisations in the perl
958interpreter and the backend itself, and all watchers become ready at the 1352interpreter and the backend itself). Nevertheless this shows that it
959same time). Nevertheless this shows that it adds very little overhead in 1353adds very little overhead in itself. Like any select-based backend its
960itself. Like any select-based backend its performance becomes really bad 1354performance becomes really bad with lots of file descriptors (and few of
961with lots of file descriptors (and few of them active), of course, but 1355them active), of course, but this was not subject of this benchmark.
962this was not subject of this benchmark.
963 1356
964The C<Event> module has a relatively high setup and callback invocation cost, 1357The C<Event> module has a relatively high setup and callback invocation
965but overall scores on the third place. 1358cost, but overall scores in on the third place.
966 1359
967C<Glib>'s memory usage is quite a bit bit higher, but it features a 1360C<Glib>'s memory usage is quite a bit higher, but it features a
968faster callback invocation and overall ends up in the same class as 1361faster callback invocation and overall ends up in the same class as
969C<Event>. However, Glib scales extremely badly, doubling the number of 1362C<Event>. However, Glib scales extremely badly, doubling the number of
970watchers increases the processing time by more than a factor of four, 1363watchers increases the processing time by more than a factor of four,
971making it completely unusable when using larger numbers of watchers 1364making it completely unusable when using larger numbers of watchers
972(note that only a single file descriptor was used in the benchmark, so 1365(note that only a single file descriptor was used in the benchmark, so
975The C<Tk> adaptor works relatively well. The fact that it crashes with 1368The C<Tk> adaptor works relatively well. The fact that it crashes with
976more than 2000 watchers is a big setback, however, as correctness takes 1369more than 2000 watchers is a big setback, however, as correctness takes
977precedence over speed. Nevertheless, its performance is surprising, as the 1370precedence over speed. Nevertheless, its performance is surprising, as the
978file descriptor is dup()ed for each watcher. This shows that the dup() 1371file descriptor is dup()ed for each watcher. This shows that the dup()
979employed by some adaptors is not a big performance issue (it does incur a 1372employed by some adaptors is not a big performance issue (it does incur a
980hidden memory cost inside the kernel, though, that is not reflected in the 1373hidden memory cost inside the kernel which is not reflected in the figures
981figures above). 1374above).
982 1375
983C<POE>, regardless of underlying event loop (wether using its pure perl 1376C<POE>, regardless of underlying event loop (whether using its pure perl
984select-based backend or the Event module) shows abysmal performance and 1377select-based backend or the Event module, the POE-EV backend couldn't
1378be tested because it wasn't working) shows abysmal performance and
985memory usage: Watchers use almost 30 times as much memory as EV watchers, 1379memory usage with AnyEvent: Watchers use almost 30 times as much memory
986and 10 times as much memory as both Event or EV via AnyEvent. Watcher 1380as EV watchers, and 10 times as much memory as Event (the high memory
1381requirements are caused by requiring a session for each watcher). Watcher
987invocation is almost 900 times slower than with AnyEvent's pure perl 1382invocation speed is almost 900 times slower than with AnyEvent's pure perl
1383implementation.
1384
988implementation. The design of the POE adaptor class in AnyEvent can not 1385The design of the POE adaptor class in AnyEvent can not really account
989really account for this, as session creation overhead is small compared 1386for the performance issues, though, as session creation overhead is
990to execution of the state machine, which is coded pretty optimally within 1387small compared to execution of the state machine, which is coded pretty
991L<AnyEvent::Impl::POE>. POE simply seems to be abysmally slow. 1388optimally within L<AnyEvent::Impl::POE> (and while everybody agrees that
1389using multiple sessions is not a good approach, especially regarding
1390memory usage, even the author of POE could not come up with a faster
1391design).
992 1392
993=head2 Summary 1393=head3 Summary
994 1394
1395=over 4
1396
995Using EV through AnyEvent is faster than any other event loop, but most 1397=item * Using EV through AnyEvent is faster than any other event loop
996event loops have acceptable performance with or without AnyEvent. 1398(even when used without AnyEvent), but most event loops have acceptable
1399performance with or without AnyEvent.
997 1400
998The overhead AnyEvent adds is usually much smaller than the overhead of 1401=item * The overhead AnyEvent adds is usually much smaller than the overhead of
999the actual event loop, only with extremely fast event loops such as the EV 1402the actual event loop, only with extremely fast event loops such as EV
1000adds AnyEvent significant overhead. 1403adds AnyEvent significant overhead.
1001 1404
1002And you should simply avoid POE like the plague if you want performance or 1405=item * You should avoid POE like the plague if you want performance or
1003reasonable memory usage. 1406reasonable memory usage.
1004 1407
1408=back
1409
1410=head2 BENCHMARKING THE LARGE SERVER CASE
1411
1412This benchmark actually benchmarks the event loop itself. It works by
1413creating a number of "servers": each server consists of a socket pair, a
1414timeout watcher that gets reset on activity (but never fires), and an I/O
1415watcher waiting for input on one side of the socket. Each time the socket
1416watcher reads a byte it will write that byte to a random other "server".
1417
1418The effect is that there will be a lot of I/O watchers, only part of which
1419are active at any one point (so there is a constant number of active
1420fds for each loop iteration, but which fds these are is random). The
1421timeout is reset each time something is read because that reflects how
1422most timeouts work (and puts extra pressure on the event loops).
1423
1424In this benchmark, we use 10000 socket pairs (20000 sockets), of which 100
1425(1%) are active. This mirrors the activity of large servers with many
1426connections, most of which are idle at any one point in time.
1427
1428Source code for this benchmark is found as F<eg/bench2> in the AnyEvent
1429distribution.
1430
1431=head3 Explanation of the columns
1432
1433I<sockets> is the number of sockets, and twice the number of "servers" (as
1434each server has a read and write socket end).
1435
1436I<create> is the time it takes to create a socket pair (which is
1437nontrivial) and two watchers: an I/O watcher and a timeout watcher.
1438
1439I<request>, the most important value, is the time it takes to handle a
1440single "request", that is, reading the token from the pipe and forwarding
1441it to another server. This includes deleting the old timeout and creating
1442a new one that moves the timeout into the future.
1443
1444=head3 Results
1445
1446 name sockets create request
1447 EV 20000 69.01 11.16
1448 Perl 20000 73.32 35.87
1449 Event 20000 212.62 257.32
1450 Glib 20000 651.16 1896.30
1451 POE 20000 349.67 12317.24 uses POE::Loop::Event
1452
1453=head3 Discussion
1454
1455This benchmark I<does> measure scalability and overall performance of the
1456particular event loop.
1457
1458EV is again fastest. Since it is using epoll on my system, the setup time
1459is relatively high, though.
1460
1461Perl surprisingly comes second. It is much faster than the C-based event
1462loops Event and Glib.
1463
1464Event suffers from high setup time as well (look at its code and you will
1465understand why). Callback invocation also has a high overhead compared to
1466the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event
1467uses select or poll in basically all documented configurations.
1468
1469Glib is hit hard by its quadratic behaviour w.r.t. many watchers. It
1470clearly fails to perform with many filehandles or in busy servers.
1471
1472POE is still completely out of the picture, taking over 1000 times as long
1473as EV, and over 100 times as long as the Perl implementation, even though
1474it uses a C-based event loop in this case.
1475
1476=head3 Summary
1477
1478=over 4
1479
1480=item * The pure perl implementation performs extremely well.
1481
1482=item * Avoid Glib or POE in large projects where performance matters.
1483
1484=back
1485
1486=head2 BENCHMARKING SMALL SERVERS
1487
1488While event loops should scale (and select-based ones do not...) even to
1489large servers, most programs we (or I :) actually write have only a few
1490I/O watchers.
1491
1492In this benchmark, I use the same benchmark program as in the large server
1493case, but it uses only eight "servers", of which three are active at any
1494one time. This should reflect performance for a small server relatively
1495well.
1496
1497The columns are identical to the previous table.
1498
1499=head3 Results
1500
1501 name sockets create request
1502 EV 16 20.00 6.54
1503 Perl 16 25.75 12.62
1504 Event 16 81.27 35.86
1505 Glib 16 32.63 15.48
1506 POE 16 261.87 276.28 uses POE::Loop::Event
1507
1508=head3 Discussion
1509
1510The benchmark tries to test the performance of a typical small
1511server. While knowing how various event loops perform is interesting, keep
1512in mind that their overhead in this case is usually not as important, due
1513to the small absolute number of watchers (that is, you need efficiency and
1514speed most when you have lots of watchers, not when you only have a few of
1515them).
1516
1517EV is again fastest.
1518
1519Perl again comes second. It is noticeably faster than the C-based event
1520loops Event and Glib, although the difference is too small to really
1521matter.
1522
1523POE also performs much better in this case, but is is still far behind the
1524others.
1525
1526=head3 Summary
1527
1528=over 4
1529
1530=item * C-based event loops perform very well with small number of
1531watchers, as the management overhead dominates.
1532
1533=back
1534
1005 1535
1006=head1 FORK 1536=head1 FORK
1007 1537
1008Most event libraries are not fork-safe. The ones who are usually are 1538Most event libraries are not fork-safe. The ones who are usually are
1009because they are so inefficient. Only L<EV> is fully fork-aware. 1539because they rely on inefficient but fork-safe C<select> or C<poll>
1540calls. Only L<EV> is fully fork-aware.
1010 1541
1011If you have to fork, you must either do so I<before> creating your first 1542If you have to fork, you must either do so I<before> creating your first
1012watcher OR you must not use AnyEvent at all in the child. 1543watcher OR you must not use AnyEvent at all in the child.
1013 1544
1014 1545
1026 1557
1027 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} } 1558 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} }
1028 1559
1029 use AnyEvent; 1560 use AnyEvent;
1030 1561
1562Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1563be used to probe what backend is used and gain other information (which is
1564probably even less useful to an attacker than PERL_ANYEVENT_MODEL).
1565
1031 1566
1032=head1 SEE ALSO 1567=head1 SEE ALSO
1033 1568
1034Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>, 1569Utility functions: L<AnyEvent::Util>.
1035L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>, 1570
1571Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>,
1036L<Event::Lib>, L<Qt>, L<POE>. 1572L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>.
1037 1573
1038Implementations: L<AnyEvent::Impl::CoroEV>, L<AnyEvent::Impl::EV>, 1574Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>,
1039L<AnyEvent::Impl::CoroEvent>, L<AnyEvent::Impl::Event>, L<AnyEvent::Impl::Glib>, 1575L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>,
1040L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>, L<AnyEvent::Impl::EventLib>, 1576L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>,
1041L<AnyEvent::Impl::Qt>, L<AnyEvent::Impl::POE>. 1577L<AnyEvent::Impl::POE>.
1042 1578
1579Non-blocking file handles, sockets, TCP clients and
1580servers: L<AnyEvent::Handle>, L<AnyEvent::Socket>.
1581
1582Asynchronous DNS: L<AnyEvent::DNS>.
1583
1584Coroutine support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>, L<Coro::Event>,
1585
1043Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>. 1586Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>, L<AnyEvent::DNS>.
1044 1587
1045 1588
1046=head1 AUTHOR 1589=head1 AUTHOR
1047 1590
1048 Marc Lehmann <schmorp@schmorp.de> 1591 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines