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.95 by root, Sat Apr 26 11:06:45 2008 UTC vs.
Revision 1.137 by root, Mon May 26 03:27:52 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).
238 237
239Although the callback might get passed parameters, their value and 238Although the callback might get passed parameters, their value and
240presence is undefined and you cannot rely on them. Portable AnyEvent 239presence is undefined and you cannot rely on them. Portable AnyEvent
241callbacks cannot use arguments passed to signal watcher callbacks. 240callbacks cannot use arguments passed to signal watcher callbacks.
242 241
243Multiple signal occurances can be clumped together into one callback 242Multiple signal occurrences can be clumped together into one callback
244invocation, and callback invocation will be synchronous. synchronous means 243invocation, and callback invocation will be synchronous. Synchronous means
245that 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,
246but it is guarenteed not to interrupt any other callbacks. 245but it is guaranteed not to interrupt any other callbacks.
247 246
248The 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
249between multiple watchers. 248between multiple watchers.
250 249
251This watcher might use C<%SIG>, so programs overwriting those signals 250This watcher might use C<%SIG>, so programs overwriting those signals
280 279
281Example: fork a process and wait for it 280Example: fork a process and wait for it
282 281
283 my $done = AnyEvent->condvar; 282 my $done = AnyEvent->condvar;
284 283
285 AnyEvent::detect; # force event module to be initialised
286
287 my $pid = fork or exit 5; 284 my $pid = fork or exit 5;
288 285
289 my $w = AnyEvent->child ( 286 my $w = AnyEvent->child (
290 pid => $pid, 287 pid => $pid,
291 cb => sub { 288 cb => sub {
292 my ($pid, $status) = @_; 289 my ($pid, $status) = @_;
293 warn "pid $pid exited with status $status"; 290 warn "pid $pid exited with status $status";
294 $done->broadcast; 291 $done->send;
295 }, 292 },
296 ); 293 );
297 294
298 # do something else, then wait for process exit 295 # do something else, then wait for process exit
299 $done->wait; 296 $done->recv;
300 297
301=head2 CONDITION VARIABLES 298=head2 CONDITION VARIABLES
302 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
303Condition variables can be created by calling the C<< AnyEvent->condvar >> 310Condition variables can be created by calling the C<< AnyEvent->condvar
304method 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.
305 314
306A condition variable waits for a condition - precisely that the C<< 315After creation, the condition variable is "false" until it becomes "true"
307->broadcast >> method has been called. 316by calling the C<send> method (or calling the condition variable as if it
317were a callback, read about the caveats in the description for the C<<
318->send >> method).
308 319
309They are very useful to signal that a condition has been fulfilled, for 320Condition variables are similar to callbacks, except that you can
321optionally wait for them. They can also be called merge points - points
322in time where multiple outstanding events have been processed. And yet
323another way to call them is transactions - each condition variable can be
324used to represent a transaction, which finishes at some point and delivers
325a result.
326
327Condition variables are very useful to signal that something has finished,
310example, if you write a module that does asynchronous http requests, 328for example, if you write a module that does asynchronous http requests,
311then a condition variable would be the ideal candidate to signal the 329then a condition variable would be the ideal candidate to signal the
312availability of results. 330availability of results. The user can either act when the callback is
331called or can synchronously C<< ->recv >> for the results.
313 332
314You can also use condition variables to block your main program until 333You can also use them to simulate traditional event loops - for example,
315an event occurs - for example, you could C<< ->wait >> in your main 334you 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<< 335could C<< ->recv >> in your main program until the user clicks the Quit
317->broadcast >> the "quit" event. 336button of your app, which would C<< ->send >> the "quit" event.
318 337
319Note that condition variables recurse into the event loop - if you have 338Note 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 339two 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 340lose. Therefore, condition variables are good to export to your caller, but
322you should avoid making a blocking wait yourself, at least in callbacks, 341you should avoid making a blocking wait yourself, at least in callbacks,
323as this asks for trouble. 342as this asks for trouble.
324 343
325This object has two methods: 344Condition variables are represented by hash refs in perl, and the keys
345used by AnyEvent itself are all named C<_ae_XXX> to make subclassing
346easy (it is often useful to build your own transaction class on top of
347AnyEvent). To subclass, use C<AnyEvent::CondVar> as base class and call
348it's C<new> method in your own C<new> method.
349
350There are two "sides" to a condition variable - the "producer side" which
351eventually calls C<< -> send >>, and the "consumer side", which waits
352for the send to occur.
353
354Example: wait for a timer.
355
356 # wait till the result is ready
357 my $result_ready = AnyEvent->condvar;
358
359 # do something such as adding a timer
360 # or socket watcher the calls $result_ready->send
361 # when the "result" is ready.
362 # in this case, we simply use a timer:
363 my $w = AnyEvent->timer (
364 after => 1,
365 cb => sub { $result_ready->send },
366 );
367
368 # this "blocks" (while handling events) till the callback
369 # calls send
370 $result_ready->recv;
371
372Example: wait for a timer, but take advantage of the fact that
373condition variables are also code references.
374
375 my $done = AnyEvent->condvar;
376 my $delay = AnyEvent->timer (after => 5, cb => $done);
377 $done->recv;
378
379=head3 METHODS FOR PRODUCERS
380
381These methods should only be used by the producing side, i.e. the
382code/module that eventually sends the signal. Note that it is also
383the producer side which creates the condvar in most cases, but it isn't
384uncommon for the consumer to create it as well.
326 385
327=over 4 386=over 4
328 387
388=item $cv->send (...)
389
390Flag the condition as ready - a running C<< ->recv >> and all further
391calls to C<recv> will (eventually) return after this method has been
392called. If nobody is waiting the send will be remembered.
393
394If a callback has been set on the condition variable, it is called
395immediately from within send.
396
397Any arguments passed to the C<send> call will be returned by all
398future C<< ->recv >> calls.
399
400Condition variables are overloaded so one can call them directly
401(as a code reference). Calling them directly is the same as calling
402C<send>. Note, however, that many C-based event loops do not handle
403overloading, so as tempting as it may be, passing a condition variable
404instead of a callback does not work. Both the pure perl and EV loops
405support overloading, however, as well as all functions that use perl to
406invoke a callback (as in L<AnyEvent::Socket> and L<AnyEvent::DNS> for
407example).
408
409=item $cv->croak ($error)
410
411Similar to send, but causes all call's to C<< ->recv >> to invoke
412C<Carp::croak> with the given error message/object/scalar.
413
414This can be used to signal any errors to the condition variable
415user/consumer.
416
417=item $cv->begin ([group callback])
418
329=item $cv->wait 419=item $cv->end
330 420
331Wait (blocking if necessary) until the C<< ->broadcast >> method has been 421These two methods are EXPERIMENTAL and MIGHT CHANGE.
422
423These two methods can be used to combine many transactions/events into
424one. For example, a function that pings many hosts in parallel might want
425to use a condition variable for the whole process.
426
427Every call to C<< ->begin >> will increment a counter, and every call to
428C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end
429>>, the (last) callback passed to C<begin> will be executed. That callback
430is I<supposed> to call C<< ->send >>, but that is not required. If no
431callback was set, C<send> will be called without any arguments.
432
433Let's clarify this with the ping example:
434
435 my $cv = AnyEvent->condvar;
436
437 my %result;
438 $cv->begin (sub { $cv->send (\%result) });
439
440 for my $host (@list_of_hosts) {
441 $cv->begin;
442 ping_host_then_call_callback $host, sub {
443 $result{$host} = ...;
444 $cv->end;
445 };
446 }
447
448 $cv->end;
449
450This code fragment supposedly pings a number of hosts and calls
451C<send> after results for all then have have been gathered - in any
452order. To achieve this, the code issues a call to C<begin> when it starts
453each ping request and calls C<end> when it has received some result for
454it. Since C<begin> and C<end> only maintain a counter, the order in which
455results arrive is not relevant.
456
457There is an additional bracketing call to C<begin> and C<end> outside the
458loop, which serves two important purposes: first, it sets the callback
459to be called once the counter reaches C<0>, and second, it ensures that
460C<send> is called even when C<no> hosts are being pinged (the loop
461doesn't execute once).
462
463This is the general pattern when you "fan out" into multiple subrequests:
464use an outer C<begin>/C<end> pair to set the callback and ensure C<end>
465is called at least once, and then, for each subrequest you start, call
466C<begin> and for each subrequest you finish, call C<end>.
467
468=back
469
470=head3 METHODS FOR CONSUMERS
471
472These methods should only be used by the consuming side, i.e. the
473code awaits the condition.
474
475=over 4
476
477=item $cv->recv
478
479Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak
332called on c<$cv>, while servicing other watchers normally. 480>> methods have been called on c<$cv>, while servicing other watchers
481normally.
333 482
334You can only wait once on a condition - additional calls will return 483You can only wait once on a condition - additional calls are valid but
335immediately. 484will return immediately.
485
486If an error condition has been set by calling C<< ->croak >>, then this
487function will call C<croak>.
488
489In list context, all parameters passed to C<send> will be returned,
490in scalar context only the first one will be returned.
336 491
337Not all event models support a blocking wait - some die in that case 492Not 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 493(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 494using 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 495caller decide whether the call will block or not (for example, by coupling
341condition variables with some kind of request results and supporting 496condition variables with some kind of request results and supporting
342callbacks so the caller knows that getting the result will not block, 497callbacks so the caller knows that getting the result will not block,
343while still suppporting blocking waits if the caller so desires). 498while still supporting blocking waits if the caller so desires).
344 499
345Another reason I<never> to C<< ->wait >> in a module is that you cannot 500Another 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 501sensibly have two C<< ->recv >>'s in parallel, as that would require
347multiple interpreters or coroutines/threads, none of which C<AnyEvent> 502multiple interpreters or coroutines/threads, none of which C<AnyEvent>
348can supply (the coroutine-aware backends L<AnyEvent::Impl::CoroEV> and 503can supply.
349L<AnyEvent::Impl::CoroEvent> explicitly support concurrent C<< ->wait >>'s
350from different coroutines, however).
351 504
352=item $cv->broadcast 505The L<Coro> module, however, I<can> and I<does> supply coroutines and, in
506fact, L<Coro::AnyEvent> replaces AnyEvent's condvars by coroutine-safe
507versions and also integrates coroutines into AnyEvent, making blocking
508C<< ->recv >> calls perfectly safe as long as they are done from another
509coroutine (one that doesn't run the event loop).
353 510
354Flag the condition as ready - a running C<< ->wait >> and all further 511You can ensure that C<< -recv >> never blocks by setting a callback and
355calls to C<wait> will (eventually) return after this method has been 512only calling C<< ->recv >> from within that callback (or at a later
356called. If nobody is waiting the broadcast will be remembered.. 513time). This will work even when the event loop does not support blocking
514waits otherwise.
515
516=item $bool = $cv->ready
517
518Returns true when the condition is "true", i.e. whether C<send> or
519C<croak> have been called.
520
521=item $cb = $cv->cb ([new callback])
522
523This is a mutator function that returns the callback set and optionally
524replaces it before doing so.
525
526The callback will be called when the condition becomes "true", i.e. when
527C<send> or C<croak> are called. Calling C<recv> inside the callback
528or at any later time is guaranteed not to block.
357 529
358=back 530=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 531
378=head1 GLOBAL VARIABLES AND FUNCTIONS 532=head1 GLOBAL VARIABLES AND FUNCTIONS
379 533
380=over 4 534=over 4
381 535
387C<AnyEvent::Impl:xxx> modules, but can be any other class in the case 541C<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>). 542AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>).
389 543
390The known classes so far are: 544The known classes so far are:
391 545
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). 546 AnyEvent::Impl::EV based on EV (an interface to libev, best choice).
395 AnyEvent::Impl::Event based on Event, second best choice. 547 AnyEvent::Impl::Event based on Event, second best choice.
548 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
396 AnyEvent::Impl::Glib based on Glib, third-best choice. 549 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. 550 AnyEvent::Impl::Tk based on Tk, very bad choice.
399 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs). 551 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
400 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse. 552 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
401 AnyEvent::Impl::POE based on POE, not generic enough for full support. 553 AnyEvent::Impl::POE based on POE, not generic enough for full support.
402 554
415Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model 567Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model
416if necessary. You should only call this function right before you would 568if necessary. You should only call this function right before you would
417have created an AnyEvent watcher anyway, that is, as late as possible at 569have created an AnyEvent watcher anyway, that is, as late as possible at
418runtime. 570runtime.
419 571
572=item $guard = AnyEvent::post_detect { BLOCK }
573
574Arranges for the code block to be executed as soon as the event model is
575autodetected (or immediately if this has already happened).
576
577If called in scalar or list context, then it creates and returns an object
578that automatically removes the callback again when it is destroyed. See
579L<Coro::BDB> for a case where this is useful.
580
581=item @AnyEvent::post_detect
582
583If there are any code references in this array (you can C<push> to it
584before or after loading AnyEvent), then they will called directly after
585the event loop has been chosen.
586
587You should check C<$AnyEvent::MODEL> before adding to this array, though:
588if it contains a true value then the event loop has already been detected,
589and the array will be ignored.
590
591Best use C<AnyEvent::post_detect { BLOCK }> instead.
592
420=back 593=back
421 594
422=head1 WHAT TO DO IN A MODULE 595=head1 WHAT TO DO IN A MODULE
423 596
424As a module author, you should C<use AnyEvent> and call AnyEvent methods 597As a module author, you should C<use AnyEvent> and call AnyEvent methods
427Be careful when you create watchers in the module body - AnyEvent will 600Be 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 601decide 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 602by calling AnyEvent in your module body you force the user of your module
430to load the event module first. 603to load the event module first.
431 604
432Never call C<< ->wait >> on a condition variable unless you I<know> that 605Never call C<< ->recv >> on a condition variable unless you I<know> that
433the C<< ->broadcast >> method has been called on it already. This is 606the C<< ->send >> method has been called on it already. This is
434because it will stall the whole program, and the whole point of using 607because it will stall the whole program, and the whole point of using
435events is to stay interactive. 608events is to stay interactive.
436 609
437It is fine, however, to call C<< ->wait >> when the user of your module 610It 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 611requests 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 >> 612called C<results> that returns the results, it should call C<< ->recv >>
440freely, as the user of your module knows what she is doing. always). 613freely, as the user of your module knows what she is doing. always).
441 614
442=head1 WHAT TO DO IN THE MAIN PROGRAM 615=head1 WHAT TO DO IN THE MAIN PROGRAM
443 616
444There will always be a single main program - the only place that should 617There will always be a single main program - the only place that should
446 619
447If it doesn't care, it can just "use AnyEvent" and use it itself, or not 620If 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 621do anything special (it does not need to be event-based) and let AnyEvent
449decide which implementation to chose if some module relies on it. 622decide which implementation to chose if some module relies on it.
450 623
451If the main program relies on a specific event model. For example, in 624If 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 625Gtk2 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 626event module before loading AnyEvent or any module that uses it: generally
454speaking, you should load it as early as possible. The reason is that 627speaking, you should load it as early as possible. The reason is that
455modules might create watchers when they are loaded, and AnyEvent will 628modules 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 629decide 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. 630might chose the wrong one unless you load the correct one yourself.
458 631
459You can chose to use a rather inefficient pure-perl implementation by 632You can chose to use a pure-perl implementation by loading the
460loading the C<AnyEvent::Impl::Perl> module, which gives you similar 633C<AnyEvent::Impl::Perl> module, which gives you similar behaviour
461behaviour everywhere, but letting AnyEvent chose is generally better. 634everywhere, but letting AnyEvent chose the model is generally better.
635
636=head2 MAINLOOP EMULATION
637
638Sometimes (often for short test scripts, or even standalone programs who
639only want to use AnyEvent), you do not want to run a specific event loop.
640
641In that case, you can use a condition variable like this:
642
643 AnyEvent->condvar->recv;
644
645This has the effect of entering the event loop and looping forever.
646
647Note that usually your program has some exit condition, in which case
648it is better to use the "traditional" approach of storing a condition
649variable somewhere, waiting for it, and sending it when the program should
650exit cleanly.
651
652
653=head1 OTHER MODULES
654
655The following is a non-exhaustive list of additional modules that use
656AnyEvent and can therefore be mixed easily with other AnyEvent modules
657in the same program. Some of the modules come with AnyEvent, some are
658available via CPAN.
659
660=over 4
661
662=item L<AnyEvent::Util>
663
664Contains various utility functions that replace often-used but blocking
665functions such as C<inet_aton> by event-/callback-based versions.
666
667=item L<AnyEvent::Handle>
668
669Provide read and write buffers and manages watchers for reads and writes.
670
671=item L<AnyEvent::Socket>
672
673Provides various utility functions for (internet protocol) sockets,
674addresses and name resolution. Also functions to create non-blocking tcp
675connections or tcp servers, with IPv6 and SRV record support and more.
676
677=item L<AnyEvent::DNS>
678
679Provides rich asynchronous DNS resolver capabilities.
680
681=item L<AnyEvent::HTTPD>
682
683Provides a simple web application server framework.
684
685=item L<AnyEvent::FastPing>
686
687The fastest ping in the west.
688
689=item L<Net::IRC3>
690
691AnyEvent based IRC client module family.
692
693=item L<Net::XMPP2>
694
695AnyEvent based XMPP (Jabber protocol) module family.
696
697=item L<Net::FCP>
698
699AnyEvent-based implementation of the Freenet Client Protocol, birthplace
700of AnyEvent.
701
702=item L<Event::ExecFlow>
703
704High level API for event-based execution flow control.
705
706=item L<Coro>
707
708Has special support for AnyEvent via L<Coro::AnyEvent>.
709
710=item L<AnyEvent::AIO>, L<IO::AIO>
711
712Truly asynchronous I/O, should be in the toolbox of every event
713programmer. AnyEvent::AIO transparently fuses IO::AIO and AnyEvent
714together.
715
716=item L<AnyEvent::BDB>, L<BDB>
717
718Truly asynchronous Berkeley DB access. AnyEvent::AIO transparently fuses
719IO::AIO and AnyEvent together.
720
721=item L<IO::Lambda>
722
723The lambda approach to I/O - don't ask, look there. Can use AnyEvent.
724
725=back
462 726
463=cut 727=cut
464 728
465package AnyEvent; 729package AnyEvent;
466 730
467no warnings; 731no warnings;
468use strict; 732use strict;
469 733
470use Carp; 734use Carp;
471 735
472our $VERSION = '3.3'; 736our $VERSION = '4.03';
473our $MODEL; 737our $MODEL;
474 738
475our $AUTOLOAD; 739our $AUTOLOAD;
476our @ISA; 740our @ISA;
477 741
742our @REGISTRY;
743
478our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 744our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
479 745
480our @REGISTRY; 746our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred
747
748{
749 my $idx;
750 $PROTOCOL{$_} = ++$idx
751 for reverse split /\s*,\s*/,
752 $ENV{PERL_ANYEVENT_PROTOCOLS} || "ipv4,ipv6";
753}
481 754
482my @models = ( 755my @models = (
483 [Coro::EV:: => AnyEvent::Impl::CoroEV::],
484 [Coro::Event:: => AnyEvent::Impl::CoroEvent::],
485 [EV:: => AnyEvent::Impl::EV::], 756 [EV:: => AnyEvent::Impl::EV::],
486 [Event:: => AnyEvent::Impl::Event::], 757 [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::], 758 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::],
492 # everything below here will not be autoprobed as the pureperl backend should work everywhere 759 # everything below here will not be autoprobed
760 # as the pureperl backend should work everywhere
761 # and is usually faster
762 [Tk:: => AnyEvent::Impl::Tk::], # crashes with many handles
763 [Glib:: => AnyEvent::Impl::Glib::], # becomes extremely slow with many watchers
493 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 764 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
494 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 765 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
495 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 766 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
767 [Wx:: => AnyEvent::Impl::POE::],
768 [Prima:: => AnyEvent::Impl::POE::],
496); 769);
497 770
498our %method = map +($_ => 1), qw(io timer signal child condvar broadcast wait one_event DESTROY); 771our %method = map +($_ => 1), qw(io timer signal child condvar one_event DESTROY);
772
773our @post_detect;
774
775sub post_detect(&) {
776 my ($cb) = @_;
777
778 if ($MODEL) {
779 $cb->();
780
781 1
782 } else {
783 push @post_detect, $cb;
784
785 defined wantarray
786 ? bless \$cb, "AnyEvent::Util::PostDetect"
787 : ()
788 }
789}
790
791sub AnyEvent::Util::PostDetect::DESTROY {
792 @post_detect = grep $_ != ${$_[0]}, @post_detect;
793}
499 794
500sub detect() { 795sub detect() {
501 unless ($MODEL) { 796 unless ($MODEL) {
502 no strict 'refs'; 797 no strict 'refs';
798 local $SIG{__DIE__};
503 799
504 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) { 800 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) {
505 my $model = "AnyEvent::Impl::$1"; 801 my $model = "AnyEvent::Impl::$1";
506 if (eval "require $model") { 802 if (eval "require $model") {
507 $MODEL = $model; 803 $MODEL = $model;
537 last; 833 last;
538 } 834 }
539 } 835 }
540 836
541 $MODEL 837 $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."; 838 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib.";
543 } 839 }
544 } 840 }
545 841
546 unshift @ISA, $MODEL; 842 unshift @ISA, $MODEL;
547 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 843 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
844
845 (shift @post_detect)->() while @post_detect;
548 } 846 }
549 847
550 $MODEL 848 $MODEL
551} 849}
552 850
562 $class->$func (@_); 860 $class->$func (@_);
563} 861}
564 862
565package AnyEvent::Base; 863package AnyEvent::Base;
566 864
567# default implementation for ->condvar, ->wait, ->broadcast 865# default implementation for ->condvar
568 866
569sub condvar { 867sub condvar {
570 bless \my $flag, "AnyEvent::Base::CondVar" 868 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} 869}
580 870
581# default implementation for ->signal 871# default implementation for ->signal
582 872
583our %SIG_CB; 873our %SIG_CB;
636 or Carp::croak "required option 'pid' is missing"; 926 or Carp::croak "required option 'pid' is missing";
637 927
638 $PID_CB{$pid}{$arg{cb}} = $arg{cb}; 928 $PID_CB{$pid}{$arg{cb}} = $arg{cb};
639 929
640 unless ($WNOHANG) { 930 unless ($WNOHANG) {
641 $WNOHANG = eval { require POSIX; &POSIX::WNOHANG } || 1; 931 $WNOHANG = eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1;
642 } 932 }
643 933
644 unless ($CHLD_W) { 934 unless ($CHLD_W) {
645 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld); 935 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld);
646 # child could be a zombie already, so make at least one round 936 # child could be a zombie already, so make at least one round
656 delete $PID_CB{$pid}{$cb}; 946 delete $PID_CB{$pid}{$cb};
657 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 947 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
658 948
659 undef $CHLD_W unless keys %PID_CB; 949 undef $CHLD_W unless keys %PID_CB;
660} 950}
951
952package AnyEvent::CondVar;
953
954our @ISA = AnyEvent::CondVar::Base::;
955
956package AnyEvent::CondVar::Base;
957
958use overload
959 '&{}' => sub { my $self = shift; sub { $self->send (@_) } },
960 fallback => 1;
961
962sub _send {
963 # nop
964}
965
966sub send {
967 my $cv = shift;
968 $cv->{_ae_sent} = [@_];
969 (delete $cv->{_ae_cb})->($cv) if $cv->{_ae_cb};
970 $cv->_send;
971}
972
973sub croak {
974 $_[0]{_ae_croak} = $_[1];
975 $_[0]->send;
976}
977
978sub ready {
979 $_[0]{_ae_sent}
980}
981
982sub _wait {
983 AnyEvent->one_event while !$_[0]{_ae_sent};
984}
985
986sub recv {
987 $_[0]->_wait;
988
989 Carp::croak $_[0]{_ae_croak} if $_[0]{_ae_croak};
990 wantarray ? @{ $_[0]{_ae_sent} } : $_[0]{_ae_sent}[0]
991}
992
993sub cb {
994 $_[0]{_ae_cb} = $_[1] if @_ > 1;
995 $_[0]{_ae_cb}
996}
997
998sub begin {
999 ++$_[0]{_ae_counter};
1000 $_[0]{_ae_end_cb} = $_[1] if @_ > 1;
1001}
1002
1003sub end {
1004 return if --$_[0]{_ae_counter};
1005 &{ $_[0]{_ae_end_cb} || sub { $_[0]->send } };
1006}
1007
1008# undocumented/compatibility with pre-3.4
1009*broadcast = \&send;
1010*wait = \&_wait;
661 1011
662=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1012=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
663 1013
664This is an advanced topic that you do not normally need to use AnyEvent in 1014This 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 1015a module. This section is only of use to event loop authors who want to
722model it chooses. 1072model it chooses.
723 1073
724=item C<PERL_ANYEVENT_MODEL> 1074=item C<PERL_ANYEVENT_MODEL>
725 1075
726This can be used to specify the event model to be used by AnyEvent, before 1076This 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 1077auto detection and -probing kicks in. It must be a string consisting
728entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended 1078entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
729and the resulting module name is loaded and if the load was successful, 1079and 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 1080used as event model. If it fails to load AnyEvent will proceed with
731autodetection and -probing. 1081auto detection and -probing.
732 1082
733This functionality might change in future versions. 1083This functionality might change in future versions.
734 1084
735For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you 1085For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
736could start your program like this: 1086could start your program like this:
737 1087
738 PERL_ANYEVENT_MODEL=Perl perl ... 1088 PERL_ANYEVENT_MODEL=Perl perl ...
1089
1090=item C<PERL_ANYEVENT_PROTOCOLS>
1091
1092Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1093for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1094of auto probing).
1095
1096Must be set to a comma-separated list of protocols or address families,
1097current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1098used, and preference will be given to protocols mentioned earlier in the
1099list.
1100
1101This variable can effectively be used for denial-of-service attacks
1102against local programs (e.g. when setuid), although the impact is likely
1103small, as the program has to handle connection errors already-
1104
1105Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1106but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1107- only support IPv4, never try to resolve or contact IPv6
1108addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1109IPv6, but prefer IPv6 over IPv4.
1110
1111=item C<PERL_ANYEVENT_EDNS0>
1112
1113Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1114for DNS. This extension is generally useful to reduce DNS traffic, but
1115some (broken) firewalls drop such DNS packets, which is why it is off by
1116default.
1117
1118Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1119EDNS0 in its DNS requests.
739 1120
740=back 1121=back
741 1122
742=head1 EXAMPLE PROGRAM 1123=head1 EXAMPLE PROGRAM
743 1124
754 poll => 'r', 1135 poll => 'r',
755 cb => sub { 1136 cb => sub {
756 warn "io event <$_[0]>\n"; # will always output <r> 1137 warn "io event <$_[0]>\n"; # will always output <r>
757 chomp (my $input = <STDIN>); # read a line 1138 chomp (my $input = <STDIN>); # read a line
758 warn "read: $input\n"; # output what has been read 1139 warn "read: $input\n"; # output what has been read
759 $cv->broadcast if $input =~ /^q/i; # quit program if /^q/i 1140 $cv->send if $input =~ /^q/i; # quit program if /^q/i
760 }, 1141 },
761 ); 1142 );
762 1143
763 my $time_watcher; # can only be used once 1144 my $time_watcher; # can only be used once
764 1145
769 }); 1150 });
770 } 1151 }
771 1152
772 new_timer; # create first timer 1153 new_timer; # create first timer
773 1154
774 $cv->wait; # wait until user enters /^q/i 1155 $cv->recv; # wait until user enters /^q/i
775 1156
776=head1 REAL-WORLD EXAMPLE 1157=head1 REAL-WORLD EXAMPLE
777 1158
778Consider the L<Net::FCP> module. It features (among others) the following 1159Consider the L<Net::FCP> module. It features (among others) the following
779API calls, which are to freenet what HTTP GET requests are to http: 1160API calls, which are to freenet what HTTP GET requests are to http:
829 syswrite $txn->{fh}, $txn->{request} 1210 syswrite $txn->{fh}, $txn->{request}
830 or die "connection or write error"; 1211 or die "connection or write error";
831 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r }); 1212 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r });
832 1213
833Again, C<fh_ready_r> waits till all data has arrived, and then stores the 1214Again, 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: 1215result and signals any possible waiters that the request has finished:
835 1216
836 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf}; 1217 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf};
837 1218
838 if (end-of-file or data complete) { 1219 if (end-of-file or data complete) {
839 $txn->{result} = $txn->{buf}; 1220 $txn->{result} = $txn->{buf};
840 $txn->{finished}->broadcast; 1221 $txn->{finished}->send;
841 $txb->{cb}->($txn) of $txn->{cb}; # also call callback 1222 $txb->{cb}->($txn) of $txn->{cb}; # also call callback
842 } 1223 }
843 1224
844The C<result> method, finally, just waits for the finished signal (if the 1225The 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 1226request was already finished, it doesn't wait, of course, and returns the
846data: 1227data:
847 1228
848 $txn->{finished}->wait; 1229 $txn->{finished}->recv;
849 return $txn->{result}; 1230 return $txn->{result};
850 1231
851The actual code goes further and collects all errors (C<die>s, exceptions) 1232The actual code goes further and collects all errors (C<die>s, exceptions)
852that occured during request processing. The C<result> method detects 1233that occurred during request processing. The C<result> method detects
853whether an exception as thrown (it is stored inside the $txn object) 1234whether an exception as thrown (it is stored inside the $txn object)
854and just throws the exception, which means connection errors and other 1235and 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 1236problems get reported tot he code that tries to use the result, not in a
856random callback. 1237random callback.
857 1238
888 1269
889 my $quit = AnyEvent->condvar; 1270 my $quit = AnyEvent->condvar;
890 1271
891 $fcp->txn_client_get ($url)->cb (sub { 1272 $fcp->txn_client_get ($url)->cb (sub {
892 ... 1273 ...
893 $quit->broadcast; 1274 $quit->send;
894 }); 1275 });
895 1276
896 $quit->wait; 1277 $quit->recv;
897 1278
898 1279
899=head1 BENCHMARKS 1280=head1 BENCHMARKS
900 1281
901To give you an idea of the performance and overheads that AnyEvent adds 1282To give you an idea of the performance and overheads that AnyEvent adds
903of various event loops I prepared some benchmarks. 1284of various event loops I prepared some benchmarks.
904 1285
905=head2 BENCHMARKING ANYEVENT OVERHEAD 1286=head2 BENCHMARKING ANYEVENT OVERHEAD
906 1287
907Here is a benchmark of various supported event models used natively and 1288Here is a benchmark of various supported event models used natively and
908through anyevent. The benchmark creates a lot of timers (with a zero 1289through AnyEvent. The benchmark creates a lot of timers (with a zero
909timeout) and I/O watchers (watching STDOUT, a pty, to become writable, 1290timeout) and I/O watchers (watching STDOUT, a pty, to become writable,
910which it is), lets them fire exactly once and destroys them again. 1291which it is), lets them fire exactly once and destroys them again.
911 1292
912Source code for this benchmark is found as F<eg/bench> in the AnyEvent 1293Source code for this benchmark is found as F<eg/bench> in the AnyEvent
913distribution. 1294distribution.
930all watchers, to avoid adding memory overhead. That means closure creation 1311all watchers, to avoid adding memory overhead. That means closure creation
931and memory usage is not included in the figures. 1312and memory usage is not included in the figures.
932 1313
933I<invoke> is the time, in microseconds, used to invoke a simple 1314I<invoke> is the time, in microseconds, used to invoke a simple
934callback. The callback simply counts down a Perl variable and after it was 1315callback. The callback simply counts down a Perl variable and after it was
935invoked "watcher" times, it would C<< ->broadcast >> a condvar once to 1316invoked "watcher" times, it would C<< ->send >> a condvar once to
936signal the end of this phase. 1317signal the end of this phase.
937 1318
938I<destroy> is the time, in microseconds, that it takes to destroy a single 1319I<destroy> is the time, in microseconds, that it takes to destroy a single
939watcher. 1320watcher.
940 1321
944 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1325 EV/EV 400000 244 0.56 0.46 0.31 EV native interface
945 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers 1326 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers
946 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal 1327 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal
947 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation 1328 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation
948 Event/Event 16000 516 31.88 31.30 0.85 Event native interface 1329 Event/Event 16000 516 31.88 31.30 0.85 Event native interface
949 Event/Any 16000 936 39.17 33.63 1.43 Event + AnyEvent watchers 1330 Event/Any 16000 590 35.75 31.42 1.08 Event + AnyEvent watchers
950 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1331 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour
951 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers 1332 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers
952 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event 1333 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event
953 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select 1334 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select
954 1335
963 1344
964Also, note that the number of watchers usually has a nonlinear effect on 1345Also, note that the number of watchers usually has a nonlinear effect on
965overall speed, that is, creating twice as many watchers doesn't take twice 1346overall speed, that is, creating twice as many watchers doesn't take twice
966the time - usually it takes longer. This puts event loops tested with a 1347the time - usually it takes longer. This puts event loops tested with a
967higher number of watchers at a disadvantage. 1348higher number of watchers at a disadvantage.
1349
1350To put the range of results into perspective, consider that on the
1351benchmark machine, handling an event takes roughly 1600 CPU cycles with
1352EV, 3100 CPU cycles with AnyEvent's pure perl loop and almost 3000000 CPU
1353cycles with POE.
968 1354
969C<EV> is the sole leader regarding speed and memory use, which are both 1355C<EV> is the sole leader regarding speed and memory use, which are both
970maximal/minimal, respectively. Even when going through AnyEvent, it uses 1356maximal/minimal, respectively. Even when going through AnyEvent, it uses
971far less memory than any other event loop and is still faster than Event 1357far less memory than any other event loop and is still faster than Event
972natively. 1358natively.
995file descriptor is dup()ed for each watcher. This shows that the dup() 1381file descriptor is dup()ed for each watcher. This shows that the dup()
996employed by some adaptors is not a big performance issue (it does incur a 1382employed by some adaptors is not a big performance issue (it does incur a
997hidden memory cost inside the kernel which is not reflected in the figures 1383hidden memory cost inside the kernel which is not reflected in the figures
998above). 1384above).
999 1385
1000C<POE>, regardless of underlying event loop (whether using its pure 1386C<POE>, regardless of underlying event loop (whether using its pure perl
1001perl select-based backend or the Event module, the POE-EV backend 1387select-based backend or the Event module, the POE-EV backend couldn't
1002couldn't be tested because it wasn't working) shows abysmal performance 1388be tested because it wasn't working) shows abysmal performance and
1003and memory usage: Watchers use almost 30 times as much memory as 1389memory usage with AnyEvent: Watchers use almost 30 times as much memory
1004EV watchers, and 10 times as much memory as Event (the high memory 1390as EV watchers, and 10 times as much memory as Event (the high memory
1005requirements are caused by requiring a session for each watcher). Watcher 1391requirements are caused by requiring a session for each watcher). Watcher
1006invocation speed is almost 900 times slower than with AnyEvent's pure perl 1392invocation speed is almost 900 times slower than with AnyEvent's pure perl
1393implementation.
1394
1007implementation. The design of the POE adaptor class in AnyEvent can not 1395The design of the POE adaptor class in AnyEvent can not really account
1008really account for this, as session creation overhead is small compared 1396for the performance issues, though, as session creation overhead is
1009to execution of the state machine, which is coded pretty optimally within 1397small compared to execution of the state machine, which is coded pretty
1010L<AnyEvent::Impl::POE>. POE simply seems to be abysmally slow. 1398optimally within L<AnyEvent::Impl::POE> (and while everybody agrees that
1399using multiple sessions is not a good approach, especially regarding
1400memory usage, even the author of POE could not come up with a faster
1401design).
1011 1402
1012=head3 Summary 1403=head3 Summary
1013 1404
1014=over 4 1405=over 4
1015 1406
1026 1417
1027=back 1418=back
1028 1419
1029=head2 BENCHMARKING THE LARGE SERVER CASE 1420=head2 BENCHMARKING THE LARGE SERVER CASE
1030 1421
1031This benchmark atcually benchmarks the event loop itself. It works by 1422This benchmark actually benchmarks the event loop itself. It works by
1032creating a number of "servers": each server consists of a socketpair, a 1423creating a number of "servers": each server consists of a socket pair, a
1033timeout watcher that gets reset on activity (but never fires), and an I/O 1424timeout watcher that gets reset on activity (but never fires), and an I/O
1034watcher waiting for input on one side of the socket. Each time the socket 1425watcher waiting for input on one side of the socket. Each time the socket
1035watcher reads a byte it will write that byte to a random other "server". 1426watcher reads a byte it will write that byte to a random other "server".
1036 1427
1037The effect is that there will be a lot of I/O watchers, only part of which 1428The effect is that there will be a lot of I/O watchers, only part of which
1038are active at any one point (so there is a constant number of active 1429are active at any one point (so there is a constant number of active
1039fds for each loop iterstaion, but which fds these are is random). The 1430fds for each loop iteration, but which fds these are is random). The
1040timeout is reset each time something is read because that reflects how 1431timeout is reset each time something is read because that reflects how
1041most timeouts work (and puts extra pressure on the event loops). 1432most timeouts work (and puts extra pressure on the event loops).
1042 1433
1043In this benchmark, we use 10000 socketpairs (20000 sockets), of which 100 1434In this benchmark, we use 10000 socket pairs (20000 sockets), of which 100
1044(1%) are active. This mirrors the activity of large servers with many 1435(1%) are active. This mirrors the activity of large servers with many
1045connections, most of which are idle at any one point in time. 1436connections, most of which are idle at any one point in time.
1046 1437
1047Source code for this benchmark is found as F<eg/bench2> in the AnyEvent 1438Source code for this benchmark is found as F<eg/bench2> in the AnyEvent
1048distribution. 1439distribution.
1050=head3 Explanation of the columns 1441=head3 Explanation of the columns
1051 1442
1052I<sockets> is the number of sockets, and twice the number of "servers" (as 1443I<sockets> is the number of sockets, and twice the number of "servers" (as
1053each server has a read and write socket end). 1444each server has a read and write socket end).
1054 1445
1055I<create> is the time it takes to create a socketpair (which is 1446I<create> is the time it takes to create a socket pair (which is
1056nontrivial) and two watchers: an I/O watcher and a timeout watcher. 1447nontrivial) and two watchers: an I/O watcher and a timeout watcher.
1057 1448
1058I<request>, the most important value, is the time it takes to handle a 1449I<request>, the most important value, is the time it takes to handle a
1059single "request", that is, reading the token from the pipe and forwarding 1450single "request", that is, reading the token from the pipe and forwarding
1060it to another server. This includes deleting the old timeout and creating 1451it to another server. This includes deleting the old timeout and creating
1062 1453
1063=head3 Results 1454=head3 Results
1064 1455
1065 name sockets create request 1456 name sockets create request
1066 EV 20000 69.01 11.16 1457 EV 20000 69.01 11.16
1067 Perl 20000 75.28 112.76 1458 Perl 20000 73.32 35.87
1068 Event 20000 212.62 257.32 1459 Event 20000 212.62 257.32
1069 Glib 20000 651.16 1896.30 1460 Glib 20000 651.16 1896.30
1070 POE 20000 349.67 12317.24 uses POE::Loop::Event 1461 POE 20000 349.67 12317.24 uses POE::Loop::Event
1071 1462
1072=head3 Discussion 1463=head3 Discussion
1094 1485
1095=head3 Summary 1486=head3 Summary
1096 1487
1097=over 4 1488=over 4
1098 1489
1099=item * The pure perl implementation performs extremely well, considering 1490=item * The pure perl implementation performs extremely well.
1100that it uses select.
1101 1491
1102=item * Avoid Glib or POE in large projects where performance matters. 1492=item * Avoid Glib or POE in large projects where performance matters.
1103 1493
1104=back 1494=back
1105 1495
1118 1508
1119=head3 Results 1509=head3 Results
1120 1510
1121 name sockets create request 1511 name sockets create request
1122 EV 16 20.00 6.54 1512 EV 16 20.00 6.54
1513 Perl 16 25.75 12.62
1123 Event 16 81.27 35.86 1514 Event 16 81.27 35.86
1124 Glib 16 32.63 15.48 1515 Glib 16 32.63 15.48
1125 Perl 16 24.62 162.37
1126 POE 16 261.87 276.28 uses POE::Loop::Event 1516 POE 16 261.87 276.28 uses POE::Loop::Event
1127 1517
1128=head3 Discussion 1518=head3 Discussion
1129 1519
1130The benchmark tries to test the performance of a typical small 1520The benchmark tries to test the performance of a typical small
1131server. While knowing how various event loops perform is interesting, keep 1521server. While knowing how various event loops perform is interesting, keep
1132in mind that their overhead in this case is usually not as important, due 1522in mind that their overhead in this case is usually not as important, due
1133to the small absolute number of watchers. 1523to the small absolute number of watchers (that is, you need efficiency and
1524speed most when you have lots of watchers, not when you only have a few of
1525them).
1134 1526
1135EV is again fastest. 1527EV is again fastest.
1136 1528
1137The C-based event loops Event and Glib come in second this time, as the 1529Perl again comes second. It is noticeably faster than the C-based event
1138overhead of running an iteration is much smaller in C than in Perl (little 1530loops Event and Glib, although the difference is too small to really
1139code to execute in the inner loop, and perl's function calling overhead is 1531matter.
1140high, and updating all the data structures is costly).
1141 1532
1142The pure perl event loop is much slower, but still competitive.
1143
1144POE also performs much better in this case, but is is stillf ar behind the 1533POE also performs much better in this case, but is is still far behind the
1145others. 1534others.
1146 1535
1147=head3 Summary 1536=head3 Summary
1148 1537
1149=over 4 1538=over 4
1155 1544
1156 1545
1157=head1 FORK 1546=head1 FORK
1158 1547
1159Most event libraries are not fork-safe. The ones who are usually are 1548Most event libraries are not fork-safe. The ones who are usually are
1160because they are so inefficient. Only L<EV> is fully fork-aware. 1549because they rely on inefficient but fork-safe C<select> or C<poll>
1550calls. Only L<EV> is fully fork-aware.
1161 1551
1162If you have to fork, you must either do so I<before> creating your first 1552If you have to fork, you must either do so I<before> creating your first
1163watcher OR you must not use AnyEvent at all in the child. 1553watcher OR you must not use AnyEvent at all in the child.
1164 1554
1165 1555
1177 1567
1178 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} } 1568 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} }
1179 1569
1180 use AnyEvent; 1570 use AnyEvent;
1181 1571
1572Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1573be used to probe what backend is used and gain other information (which is
1574probably even less useful to an attacker than PERL_ANYEVENT_MODEL).
1575
1182 1576
1183=head1 SEE ALSO 1577=head1 SEE ALSO
1184 1578
1185Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>, 1579Utility functions: L<AnyEvent::Util>.
1186L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>, 1580
1581Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>,
1187L<Event::Lib>, L<Qt>, L<POE>. 1582L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>.
1188 1583
1189Implementations: L<AnyEvent::Impl::CoroEV>, L<AnyEvent::Impl::EV>, 1584Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>,
1190L<AnyEvent::Impl::CoroEvent>, L<AnyEvent::Impl::Event>, L<AnyEvent::Impl::Glib>, 1585L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>,
1191L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>, L<AnyEvent::Impl::EventLib>, 1586L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>,
1192L<AnyEvent::Impl::Qt>, L<AnyEvent::Impl::POE>. 1587L<AnyEvent::Impl::POE>.
1193 1588
1589Non-blocking file handles, sockets, TCP clients and
1590servers: L<AnyEvent::Handle>, L<AnyEvent::Socket>.
1591
1592Asynchronous DNS: L<AnyEvent::DNS>.
1593
1594Coroutine support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>, L<Coro::Event>,
1595
1194Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>. 1596Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>, L<AnyEvent::DNS>.
1195 1597
1196 1598
1197=head1 AUTHOR 1599=head1 AUTHOR
1198 1600
1199 Marc Lehmann <schmorp@schmorp.de> 1601 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines