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.112 by root, Sat May 10 01:04:42 2008 UTC vs.
Revision 1.140 by root, Mon May 26 06:18:53 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, 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
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 ->send 21 $w->recv; # enters "main loop" till $condvar gets ->send
21 $w->send; # 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
108 108
109=head1 WATCHERS 109=head1 WATCHERS
110 110
111AnyEvent 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
112stores 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
113the callback to call, the filehandle to watch, etc. 113the callback to call, the file handle to watch, etc.
114 114
115These watchers are normal Perl objects with normal Perl lifetime. After 115These watchers are normal Perl objects with normal Perl lifetime. After
116creating a watcher it will immediately "watch" for events and invoke the 116creating a watcher it will immediately "watch" for events and invoke the
117callback when the event occurs (of course, only when the event model 117callback when the event occurs (of course, only when the event model
118is in control). 118is in control).
237 237
238Although the callback might get passed parameters, their value and 238Although the callback might get passed parameters, their value and
239presence is undefined and you cannot rely on them. Portable AnyEvent 239presence is undefined and you cannot rely on them. Portable AnyEvent
240callbacks cannot use arguments passed to signal watcher callbacks. 240callbacks cannot use arguments passed to signal watcher callbacks.
241 241
242Multiple signal occurances can be clumped together into one callback 242Multiple signal occurrences can be clumped together into one callback
243invocation, and callback invocation will be synchronous. synchronous means 243invocation, and callback invocation will be synchronous. Synchronous means
244that 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,
245but it is guarenteed not to interrupt any other callbacks. 245but it is guaranteed not to interrupt any other callbacks.
246 246
247The 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
248between multiple watchers. 248between multiple watchers.
249 249
250This watcher might use C<%SIG>, so programs overwriting those signals 250This watcher might use C<%SIG>, so programs overwriting those signals
278C<fork> the child (alternatively, you can call C<AnyEvent::detect>). 278C<fork> the child (alternatively, you can call C<AnyEvent::detect>).
279 279
280Example: fork a process and wait for it 280Example: fork a process and wait for it
281 281
282 my $done = AnyEvent->condvar; 282 my $done = AnyEvent->condvar;
283
284 AnyEvent::detect; # force event module to be initialised
285 283
286 my $pid = fork or exit 5; 284 my $pid = fork or exit 5;
287 285
288 my $w = AnyEvent->child ( 286 my $w = AnyEvent->child (
289 pid => $pid, 287 pid => $pid,
293 $done->send; 291 $done->send;
294 }, 292 },
295 ); 293 );
296 294
297 # do something else, then wait for process exit 295 # do something else, then wait for process exit
298 $done->wait; 296 $done->recv;
299 297
300=head2 CONDITION VARIABLES 298=head2 CONDITION VARIABLES
301 299
302If you are familiar with some event loops you will know that all of them 300If you are familiar with some event loops you will know that all of them
303require you to run some blocking "loop", "run" or similar function that 301require you to run some blocking "loop", "run" or similar function that
312Condition variables can be created by calling the C<< AnyEvent->condvar 310Condition variables can be created by calling the C<< AnyEvent->condvar
313>> method, usually without arguments. The only argument pair allowed is 311>> method, usually without arguments. The only argument pair allowed is
314C<cb>, which specifies a callback to be called when the condition variable 312C<cb>, which specifies a callback to be called when the condition variable
315becomes true. 313becomes true.
316 314
317After creation, the conditon variable is "false" until it becomes "true" 315After creation, the condition variable is "false" until it becomes "true"
318by calling the C<send> method. 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).
319 319
320Condition variables are similar to callbacks, except that you can 320Condition variables are similar to callbacks, except that you can
321optionally wait for them. They can also be called merge points - points 321optionally wait for them. They can also be called merge points - points
322in time where multiple outstandign events have been processed. And yet 322in time where multiple outstanding events have been processed. And yet
323another way to call them is transations - each condition variable can be 323another way to call them is transactions - each condition variable can be
324used to represent a transaction, which finishes at some point and delivers 324used to represent a transaction, which finishes at some point and delivers
325a result. 325a result.
326 326
327Condition variables are very useful to signal that something has finished, 327Condition variables are very useful to signal that something has finished,
328for example, if you write a module that does asynchronous http requests, 328for example, if you write a module that does asynchronous http requests,
329then a condition variable would be the ideal candidate to signal the 329then a condition variable would be the ideal candidate to signal the
330availability of results. The user can either act when the callback is 330availability of results. The user can either act when the callback is
331called or can synchronously C<< ->wait >> for the results. 331called or can synchronously C<< ->recv >> for the results.
332 332
333You can also use them to simulate traditional event loops - for example, 333You can also use them to simulate traditional event loops - for example,
334you can block your main program until an event occurs - for example, you 334you can block your main program until an event occurs - for example, you
335could C<< ->wait >> in your main program until the user clicks the Quit 335could C<< ->recv >> in your main program until the user clicks the Quit
336button of your app, which would C<< ->send >> the "quit" event. 336button of your app, which would C<< ->send >> the "quit" event.
337 337
338Note that condition variables recurse into the event loop - if you have 338Note that condition variables recurse into the event loop - if you have
339two pieces 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
340lose. Therefore, condition variables are good to export to your caller, but 340lose. Therefore, condition variables are good to export to your caller, but
341you should avoid making a blocking wait yourself, at least in callbacks, 341you should avoid making a blocking wait yourself, at least in callbacks,
342as this asks for trouble. 342as this asks for trouble.
343 343
344Condition variables are represented by hash refs in perl, and the keys 344Condition variables are represented by hash refs in perl, and the keys
349 349
350There are two "sides" to a condition variable - the "producer side" which 350There are two "sides" to a condition variable - the "producer side" which
351eventually calls C<< -> send >>, and the "consumer side", which waits 351eventually calls C<< -> send >>, and the "consumer side", which waits
352for the send to occur. 352for the send to occur.
353 353
354Example: 354Example: wait for a timer.
355 355
356 # wait till the result is ready 356 # wait till the result is ready
357 my $result_ready = AnyEvent->condvar; 357 my $result_ready = AnyEvent->condvar;
358 358
359 # do something such as adding a timer 359 # do something such as adding a timer
365 cb => sub { $result_ready->send }, 365 cb => sub { $result_ready->send },
366 ); 366 );
367 367
368 # this "blocks" (while handling events) till the callback 368 # this "blocks" (while handling events) till the callback
369 # calls send 369 # calls send
370 $result_ready->wait; 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;
371 378
372=head3 METHODS FOR PRODUCERS 379=head3 METHODS FOR PRODUCERS
373 380
374These methods should only be used by the producing side, i.e. the 381These methods should only be used by the producing side, i.e. the
375code/module that eventually sends the signal. Note that it is also 382code/module that eventually sends the signal. Note that it is also
378 385
379=over 4 386=over 4
380 387
381=item $cv->send (...) 388=item $cv->send (...)
382 389
383Flag the condition as ready - a running C<< ->wait >> and all further 390Flag the condition as ready - a running C<< ->recv >> and all further
384calls to C<wait> will (eventually) return after this method has been 391calls to C<recv> will (eventually) return after this method has been
385called. If nobody is waiting the send will be remembered. 392called. If nobody is waiting the send will be remembered.
386 393
387If a callback has been set on the condition variable, it is called 394If a callback has been set on the condition variable, it is called
388immediately from within send. 395immediately from within send.
389 396
390Any arguments passed to the C<send> call will be returned by all 397Any arguments passed to the C<send> call will be returned by all
391future C<< ->wait >> calls. 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).
392 408
393=item $cv->croak ($error) 409=item $cv->croak ($error)
394 410
395Similar to send, but causes all call's wait C<< ->wait >> to invoke 411Similar to send, but causes all call's to C<< ->recv >> to invoke
396C<Carp::croak> with the given error message/object/scalar. 412C<Carp::croak> with the given error message/object/scalar.
397 413
398This can be used to signal any errors to the condition variable 414This can be used to signal any errors to the condition variable
399user/consumer. 415user/consumer.
400 416
401=item $cv->begin ([group callback]) 417=item $cv->begin ([group callback])
402 418
403=item $cv->end 419=item $cv->end
420
421These two methods are EXPERIMENTAL and MIGHT CHANGE.
404 422
405These two methods can be used to combine many transactions/events into 423These two methods can be used to combine many transactions/events into
406one. For example, a function that pings many hosts in parallel might want 424one. For example, a function that pings many hosts in parallel might want
407to use a condition variable for the whole process. 425to use a condition variable for the whole process.
408 426
443doesn't execute once). 461doesn't execute once).
444 462
445This is the general pattern when you "fan out" into multiple subrequests: 463This is the general pattern when you "fan out" into multiple subrequests:
446use an outer C<begin>/C<end> pair to set the callback and ensure C<end> 464use an outer C<begin>/C<end> pair to set the callback and ensure C<end>
447is called at least once, and then, for each subrequest you start, call 465is called at least once, and then, for each subrequest you start, call
448C<begin> and for eahc subrequest you finish, call C<end>. 466C<begin> and for each subrequest you finish, call C<end>.
449 467
450=back 468=back
451 469
452=head3 METHODS FOR CONSUMERS 470=head3 METHODS FOR CONSUMERS
453 471
454These methods should only be used by the consuming side, i.e. the 472These methods should only be used by the consuming side, i.e. the
455code awaits the condition. 473code awaits the condition.
456 474
457=over 4 475=over 4
458 476
459=item $cv->wait 477=item $cv->recv
460 478
461Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak 479Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak
462>> methods have been called on c<$cv>, while servicing other watchers 480>> methods have been called on c<$cv>, while servicing other watchers
463normally. 481normally.
464 482
475(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
476using 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
477caller 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
478condition variables with some kind of request results and supporting 496condition variables with some kind of request results and supporting
479callbacks so the caller knows that getting the result will not block, 497callbacks so the caller knows that getting the result will not block,
480while still suppporting blocking waits if the caller so desires). 498while still supporting blocking waits if the caller so desires).
481 499
482Another 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
483sensibly have two C<< ->wait >>'s in parallel, as that would require 501sensibly have two C<< ->recv >>'s in parallel, as that would require
484multiple interpreters or coroutines/threads, none of which C<AnyEvent> 502multiple interpreters or coroutines/threads, none of which C<AnyEvent>
485can supply. 503can supply.
486 504
487The L<Coro> module, however, I<can> and I<does> supply coroutines and, in 505The L<Coro> module, however, I<can> and I<does> supply coroutines and, in
488fact, L<Coro::AnyEvent> replaces AnyEvent's condvars by coroutine-safe 506fact, L<Coro::AnyEvent> replaces AnyEvent's condvars by coroutine-safe
489versions and also integrates coroutines into AnyEvent, making blocking 507versions and also integrates coroutines into AnyEvent, making blocking
490C<< ->wait >> calls perfectly safe as long as they are done from another 508C<< ->recv >> calls perfectly safe as long as they are done from another
491coroutine (one that doesn't run the event loop). 509coroutine (one that doesn't run the event loop).
492 510
493You can ensure that C<< -wait >> never blocks by setting a callback and 511You can ensure that C<< -recv >> never blocks by setting a callback and
494only calling C<< ->wait >> from within that callback (or at a later 512only calling C<< ->recv >> from within that callback (or at a later
495time). This will work even when the event loop does not support blocking 513time). This will work even when the event loop does not support blocking
496waits otherwise. 514waits otherwise.
497 515
498=item $bool = $cv->ready 516=item $bool = $cv->ready
499 517
504 522
505This is a mutator function that returns the callback set and optionally 523This is a mutator function that returns the callback set and optionally
506replaces it before doing so. 524replaces it before doing so.
507 525
508The callback will be called when the condition becomes "true", i.e. when 526The callback will be called when the condition becomes "true", i.e. when
509C<send> or C<croak> are called. Calling C<wait> inside the callback 527C<send> or C<croak> are called. Calling C<recv> inside the callback
510or at any later time is guaranteed not to block. 528or at any later time is guaranteed not to block.
511 529
512=back 530=back
513 531
514=head1 GLOBAL VARIABLES AND FUNCTIONS 532=head1 GLOBAL VARIABLES AND FUNCTIONS
582Be careful when you create watchers in the module body - AnyEvent will 600Be careful when you create watchers in the module body - AnyEvent will
583decide 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
584by 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
585to load the event module first. 603to load the event module first.
586 604
587Never 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
588the C<< ->send >> method has been called on it already. This is 606the C<< ->send >> method has been called on it already. This is
589because 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
590events is to stay interactive. 608events is to stay interactive.
591 609
592It 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
593requests 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
594called C<results> that returns the results, it should call C<< ->wait >> 612called C<results> that returns the results, it should call C<< ->recv >>
595freely, 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).
596 614
597=head1 WHAT TO DO IN THE MAIN PROGRAM 615=head1 WHAT TO DO IN THE MAIN PROGRAM
598 616
599There 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
601 619
602If 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
603do 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
604decide which implementation to chose if some module relies on it. 622decide which implementation to chose if some module relies on it.
605 623
606If 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
607Gtk2 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
608event module before loading AnyEvent or any module that uses it: generally 626event module before loading AnyEvent or any module that uses it: generally
609speaking, 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
610modules might create watchers when they are loaded, and AnyEvent will 628modules might create watchers when they are loaded, and AnyEvent will
611decide 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
612might chose the wrong one unless you load the correct one yourself. 630might chose the wrong one unless you load the correct one yourself.
613 631
614You can chose to use a rather inefficient pure-perl implementation by 632You can chose to use a pure-perl implementation by loading the
615loading the C<AnyEvent::Impl::Perl> module, which gives you similar 633C<AnyEvent::Impl::Perl> module, which gives you similar behaviour
616behaviour 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
617 652
618=head1 OTHER MODULES 653=head1 OTHER MODULES
619 654
620The following is a non-exhaustive list of additional modules that use 655The following is a non-exhaustive list of additional modules that use
621AnyEvent and can therefore be mixed easily with other AnyEvent modules 656AnyEvent and can therefore be mixed easily with other AnyEvent modules
633 668
634Provide read and write buffers and manages watchers for reads and writes. 669Provide read and write buffers and manages watchers for reads and writes.
635 670
636=item L<AnyEvent::Socket> 671=item L<AnyEvent::Socket>
637 672
638Provides a means to do non-blocking connects, accepts etc. 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.
639 680
640=item L<AnyEvent::HTTPD> 681=item L<AnyEvent::HTTPD>
641 682
642Provides a simple web application server framework. 683Provides a simple web application server framework.
643
644=item L<AnyEvent::DNS>
645
646Provides asynchronous DNS resolver capabilities, beyond what
647L<AnyEvent::Util> offers.
648 684
649=item L<AnyEvent::FastPing> 685=item L<AnyEvent::FastPing>
650 686
651The fastest ping in the west. 687The fastest ping in the west.
652 688
669 705
670=item L<Coro> 706=item L<Coro>
671 707
672Has special support for AnyEvent via L<Coro::AnyEvent>. 708Has special support for AnyEvent via L<Coro::AnyEvent>.
673 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
674=item L<IO::Lambda> 721=item L<IO::Lambda>
675 722
676The lambda approach to I/O - don't ask, look there. Can use AnyEvent. 723The lambda approach to I/O - don't ask, look there. Can use AnyEvent.
677
678=item L<IO::AIO>
679
680Truly asynchronous I/O, should be in the toolbox of every event
681programmer. Can be trivially made to use AnyEvent.
682
683=item L<BDB>
684
685Truly asynchronous Berkeley DB access. Can be trivially made to use
686AnyEvent.
687 724
688=back 725=back
689 726
690=cut 727=cut
691 728
694no warnings; 731no warnings;
695use strict; 732use strict;
696 733
697use Carp; 734use Carp;
698 735
699our $VERSION = '3.4'; 736our $VERSION = '4.04';
700our $MODEL; 737our $MODEL;
701 738
702our $AUTOLOAD; 739our $AUTOLOAD;
703our @ISA; 740our @ISA;
704 741
742our @REGISTRY;
743
744our $WIN32;
745
746BEGIN {
747 my $win32 = ! ! ($^O =~ /mswin32/i);
748 eval "sub WIN32(){ $win32 }";
749}
750
705our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 751our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
706 752
707our @REGISTRY; 753our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred
754
755{
756 my $idx;
757 $PROTOCOL{$_} = ++$idx
758 for reverse split /\s*,\s*/,
759 $ENV{PERL_ANYEVENT_PROTOCOLS} || "ipv4,ipv6";
760}
708 761
709my @models = ( 762my @models = (
710 [EV:: => AnyEvent::Impl::EV::], 763 [EV:: => AnyEvent::Impl::EV::],
711 [Event:: => AnyEvent::Impl::Event::], 764 [Event:: => AnyEvent::Impl::Event::],
712 [Tk:: => AnyEvent::Impl::Tk::],
713 [Wx:: => AnyEvent::Impl::POE::],
714 [Prima:: => AnyEvent::Impl::POE::],
715 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::], 765 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::],
716 # everything below here will not be autoprobed as the pureperl backend should work everywhere 766 # everything below here will not be autoprobed
717 [Glib:: => AnyEvent::Impl::Glib::], 767 # as the pureperl backend should work everywhere
768 # and is usually faster
769 [Tk:: => AnyEvent::Impl::Tk::], # crashes with many handles
770 [Glib:: => AnyEvent::Impl::Glib::], # becomes extremely slow with many watchers
718 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 771 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
719 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 772 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
720 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 773 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
774 [Wx:: => AnyEvent::Impl::POE::],
775 [Prima:: => AnyEvent::Impl::POE::],
721); 776);
722 777
723our %method = map +($_ => 1), qw(io timer signal child condvar one_event DESTROY); 778our %method = map +($_ => 1), qw(io timer signal child condvar one_event DESTROY);
724 779
725our @post_detect; 780our @post_detect;
733 1 788 1
734 } else { 789 } else {
735 push @post_detect, $cb; 790 push @post_detect, $cb;
736 791
737 defined wantarray 792 defined wantarray
738 ? bless \$cb, "AnyEvent::Util::Guard" 793 ? bless \$cb, "AnyEvent::Util::PostDetect"
739 : () 794 : ()
740 } 795 }
741} 796}
742 797
743sub AnyEvent::Util::Guard::DESTROY { 798sub AnyEvent::Util::PostDetect::DESTROY {
744 @post_detect = grep $_ != ${$_[0]}, @post_detect; 799 @post_detect = grep $_ != ${$_[0]}, @post_detect;
745} 800}
746 801
747sub detect() { 802sub detect() {
748 unless ($MODEL) { 803 unless ($MODEL) {
749 no strict 'refs'; 804 no strict 'refs';
805 local $SIG{__DIE__};
750 806
751 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) { 807 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) {
752 my $model = "AnyEvent::Impl::$1"; 808 my $model = "AnyEvent::Impl::$1";
753 if (eval "require $model") { 809 if (eval "require $model") {
754 $MODEL = $model; 810 $MODEL = $model;
811 $class->$func (@_); 867 $class->$func (@_);
812} 868}
813 869
814package AnyEvent::Base; 870package AnyEvent::Base;
815 871
816# default implementation for ->condvar, ->wait, ->broadcast 872# default implementation for ->condvar
817 873
818sub condvar { 874sub condvar {
819 bless \my $flag, "AnyEvent::Base::CondVar" 875 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar::
820}
821
822sub AnyEvent::Base::CondVar::broadcast {
823 ${$_[0]}++;
824}
825
826sub AnyEvent::Base::CondVar::wait {
827 AnyEvent->one_event while !${$_[0]};
828} 876}
829 877
830# default implementation for ->signal 878# default implementation for ->signal
831 879
832our %SIG_CB; 880our %SIG_CB;
885 or Carp::croak "required option 'pid' is missing"; 933 or Carp::croak "required option 'pid' is missing";
886 934
887 $PID_CB{$pid}{$arg{cb}} = $arg{cb}; 935 $PID_CB{$pid}{$arg{cb}} = $arg{cb};
888 936
889 unless ($WNOHANG) { 937 unless ($WNOHANG) {
890 $WNOHANG = eval { require POSIX; &POSIX::WNOHANG } || 1; 938 $WNOHANG = eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1;
891 } 939 }
892 940
893 unless ($CHLD_W) { 941 unless ($CHLD_W) {
894 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld); 942 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld);
895 # child could be a zombie already, so make at least one round 943 # child could be a zombie already, so make at least one round
905 delete $PID_CB{$pid}{$cb}; 953 delete $PID_CB{$pid}{$cb};
906 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 954 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
907 955
908 undef $CHLD_W unless keys %PID_CB; 956 undef $CHLD_W unless keys %PID_CB;
909} 957}
958
959package AnyEvent::CondVar;
960
961our @ISA = AnyEvent::CondVar::Base::;
962
963package AnyEvent::CondVar::Base;
964
965use overload
966 '&{}' => sub { my $self = shift; sub { $self->send (@_) } },
967 fallback => 1;
968
969sub _send {
970 # nop
971}
972
973sub send {
974 my $cv = shift;
975 $cv->{_ae_sent} = [@_];
976 (delete $cv->{_ae_cb})->($cv) if $cv->{_ae_cb};
977 $cv->_send;
978}
979
980sub croak {
981 $_[0]{_ae_croak} = $_[1];
982 $_[0]->send;
983}
984
985sub ready {
986 $_[0]{_ae_sent}
987}
988
989sub _wait {
990 AnyEvent->one_event while !$_[0]{_ae_sent};
991}
992
993sub recv {
994 $_[0]->_wait;
995
996 Carp::croak $_[0]{_ae_croak} if $_[0]{_ae_croak};
997 wantarray ? @{ $_[0]{_ae_sent} } : $_[0]{_ae_sent}[0]
998}
999
1000sub cb {
1001 $_[0]{_ae_cb} = $_[1] if @_ > 1;
1002 $_[0]{_ae_cb}
1003}
1004
1005sub begin {
1006 ++$_[0]{_ae_counter};
1007 $_[0]{_ae_end_cb} = $_[1] if @_ > 1;
1008}
1009
1010sub end {
1011 return if --$_[0]{_ae_counter};
1012 &{ $_[0]{_ae_end_cb} || sub { $_[0]->send } };
1013}
1014
1015# undocumented/compatibility with pre-3.4
1016*broadcast = \&send;
1017*wait = \&_wait;
910 1018
911=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1019=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
912 1020
913This is an advanced topic that you do not normally need to use AnyEvent in 1021This is an advanced topic that you do not normally need to use AnyEvent in
914a module. This section is only of use to event loop authors who want to 1022a module. This section is only of use to event loop authors who want to
971model it chooses. 1079model it chooses.
972 1080
973=item C<PERL_ANYEVENT_MODEL> 1081=item C<PERL_ANYEVENT_MODEL>
974 1082
975This can be used to specify the event model to be used by AnyEvent, before 1083This can be used to specify the event model to be used by AnyEvent, before
976autodetection and -probing kicks in. It must be a string consisting 1084auto detection and -probing kicks in. It must be a string consisting
977entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended 1085entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
978and the resulting module name is loaded and if the load was successful, 1086and the resulting module name is loaded and if the load was successful,
979used as event model. If it fails to load AnyEvent will proceed with 1087used as event model. If it fails to load AnyEvent will proceed with
980autodetection and -probing. 1088auto detection and -probing.
981 1089
982This functionality might change in future versions. 1090This functionality might change in future versions.
983 1091
984For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you 1092For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
985could start your program like this: 1093could start your program like this:
986 1094
987 PERL_ANYEVENT_MODEL=Perl perl ... 1095 PERL_ANYEVENT_MODEL=Perl perl ...
1096
1097=item C<PERL_ANYEVENT_PROTOCOLS>
1098
1099Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1100for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1101of auto probing).
1102
1103Must be set to a comma-separated list of protocols or address families,
1104current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1105used, and preference will be given to protocols mentioned earlier in the
1106list.
1107
1108This variable can effectively be used for denial-of-service attacks
1109against local programs (e.g. when setuid), although the impact is likely
1110small, as the program has to handle connection errors already-
1111
1112Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1113but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1114- only support IPv4, never try to resolve or contact IPv6
1115addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1116IPv6, but prefer IPv6 over IPv4.
1117
1118=item C<PERL_ANYEVENT_EDNS0>
1119
1120Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1121for DNS. This extension is generally useful to reduce DNS traffic, but
1122some (broken) firewalls drop such DNS packets, which is why it is off by
1123default.
1124
1125Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1126EDNS0 in its DNS requests.
988 1127
989=back 1128=back
990 1129
991=head1 EXAMPLE PROGRAM 1130=head1 EXAMPLE PROGRAM
992 1131
1003 poll => 'r', 1142 poll => 'r',
1004 cb => sub { 1143 cb => sub {
1005 warn "io event <$_[0]>\n"; # will always output <r> 1144 warn "io event <$_[0]>\n"; # will always output <r>
1006 chomp (my $input = <STDIN>); # read a line 1145 chomp (my $input = <STDIN>); # read a line
1007 warn "read: $input\n"; # output what has been read 1146 warn "read: $input\n"; # output what has been read
1008 $cv->broadcast if $input =~ /^q/i; # quit program if /^q/i 1147 $cv->send if $input =~ /^q/i; # quit program if /^q/i
1009 }, 1148 },
1010 ); 1149 );
1011 1150
1012 my $time_watcher; # can only be used once 1151 my $time_watcher; # can only be used once
1013 1152
1018 }); 1157 });
1019 } 1158 }
1020 1159
1021 new_timer; # create first timer 1160 new_timer; # create first timer
1022 1161
1023 $cv->wait; # wait until user enters /^q/i 1162 $cv->recv; # wait until user enters /^q/i
1024 1163
1025=head1 REAL-WORLD EXAMPLE 1164=head1 REAL-WORLD EXAMPLE
1026 1165
1027Consider the L<Net::FCP> module. It features (among others) the following 1166Consider the L<Net::FCP> module. It features (among others) the following
1028API calls, which are to freenet what HTTP GET requests are to http: 1167API calls, which are to freenet what HTTP GET requests are to http:
1078 syswrite $txn->{fh}, $txn->{request} 1217 syswrite $txn->{fh}, $txn->{request}
1079 or die "connection or write error"; 1218 or die "connection or write error";
1080 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r }); 1219 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r });
1081 1220
1082Again, C<fh_ready_r> waits till all data has arrived, and then stores the 1221Again, C<fh_ready_r> waits till all data has arrived, and then stores the
1083result and signals any possible waiters that the request ahs finished: 1222result and signals any possible waiters that the request has finished:
1084 1223
1085 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf}; 1224 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf};
1086 1225
1087 if (end-of-file or data complete) { 1226 if (end-of-file or data complete) {
1088 $txn->{result} = $txn->{buf}; 1227 $txn->{result} = $txn->{buf};
1089 $txn->{finished}->broadcast; 1228 $txn->{finished}->send;
1090 $txb->{cb}->($txn) of $txn->{cb}; # also call callback 1229 $txb->{cb}->($txn) of $txn->{cb}; # also call callback
1091 } 1230 }
1092 1231
1093The C<result> method, finally, just waits for the finished signal (if the 1232The C<result> method, finally, just waits for the finished signal (if the
1094request was already finished, it doesn't wait, of course, and returns the 1233request was already finished, it doesn't wait, of course, and returns the
1095data: 1234data:
1096 1235
1097 $txn->{finished}->wait; 1236 $txn->{finished}->recv;
1098 return $txn->{result}; 1237 return $txn->{result};
1099 1238
1100The actual code goes further and collects all errors (C<die>s, exceptions) 1239The actual code goes further and collects all errors (C<die>s, exceptions)
1101that occured during request processing. The C<result> method detects 1240that occurred during request processing. The C<result> method detects
1102whether an exception as thrown (it is stored inside the $txn object) 1241whether an exception as thrown (it is stored inside the $txn object)
1103and just throws the exception, which means connection errors and other 1242and just throws the exception, which means connection errors and other
1104problems get reported tot he code that tries to use the result, not in a 1243problems get reported tot he code that tries to use the result, not in a
1105random callback. 1244random callback.
1106 1245
1137 1276
1138 my $quit = AnyEvent->condvar; 1277 my $quit = AnyEvent->condvar;
1139 1278
1140 $fcp->txn_client_get ($url)->cb (sub { 1279 $fcp->txn_client_get ($url)->cb (sub {
1141 ... 1280 ...
1142 $quit->broadcast; 1281 $quit->send;
1143 }); 1282 });
1144 1283
1145 $quit->wait; 1284 $quit->recv;
1146 1285
1147 1286
1148=head1 BENCHMARKS 1287=head1 BENCHMARKS
1149 1288
1150To give you an idea of the performance and overheads that AnyEvent adds 1289To give you an idea of the performance and overheads that AnyEvent adds
1152of various event loops I prepared some benchmarks. 1291of various event loops I prepared some benchmarks.
1153 1292
1154=head2 BENCHMARKING ANYEVENT OVERHEAD 1293=head2 BENCHMARKING ANYEVENT OVERHEAD
1155 1294
1156Here is a benchmark of various supported event models used natively and 1295Here is a benchmark of various supported event models used natively and
1157through anyevent. The benchmark creates a lot of timers (with a zero 1296through AnyEvent. The benchmark creates a lot of timers (with a zero
1158timeout) and I/O watchers (watching STDOUT, a pty, to become writable, 1297timeout) and I/O watchers (watching STDOUT, a pty, to become writable,
1159which it is), lets them fire exactly once and destroys them again. 1298which it is), lets them fire exactly once and destroys them again.
1160 1299
1161Source code for this benchmark is found as F<eg/bench> in the AnyEvent 1300Source code for this benchmark is found as F<eg/bench> in the AnyEvent
1162distribution. 1301distribution.
1179all watchers, to avoid adding memory overhead. That means closure creation 1318all watchers, to avoid adding memory overhead. That means closure creation
1180and memory usage is not included in the figures. 1319and memory usage is not included in the figures.
1181 1320
1182I<invoke> is the time, in microseconds, used to invoke a simple 1321I<invoke> is the time, in microseconds, used to invoke a simple
1183callback. The callback simply counts down a Perl variable and after it was 1322callback. The callback simply counts down a Perl variable and after it was
1184invoked "watcher" times, it would C<< ->broadcast >> a condvar once to 1323invoked "watcher" times, it would C<< ->send >> a condvar once to
1185signal the end of this phase. 1324signal the end of this phase.
1186 1325
1187I<destroy> is the time, in microseconds, that it takes to destroy a single 1326I<destroy> is the time, in microseconds, that it takes to destroy a single
1188watcher. 1327watcher.
1189 1328
1285 1424
1286=back 1425=back
1287 1426
1288=head2 BENCHMARKING THE LARGE SERVER CASE 1427=head2 BENCHMARKING THE LARGE SERVER CASE
1289 1428
1290This benchmark atcually benchmarks the event loop itself. It works by 1429This benchmark actually benchmarks the event loop itself. It works by
1291creating a number of "servers": each server consists of a socketpair, a 1430creating a number of "servers": each server consists of a socket pair, a
1292timeout watcher that gets reset on activity (but never fires), and an I/O 1431timeout watcher that gets reset on activity (but never fires), and an I/O
1293watcher waiting for input on one side of the socket. Each time the socket 1432watcher waiting for input on one side of the socket. Each time the socket
1294watcher reads a byte it will write that byte to a random other "server". 1433watcher reads a byte it will write that byte to a random other "server".
1295 1434
1296The effect is that there will be a lot of I/O watchers, only part of which 1435The effect is that there will be a lot of I/O watchers, only part of which
1297are active at any one point (so there is a constant number of active 1436are active at any one point (so there is a constant number of active
1298fds for each loop iterstaion, but which fds these are is random). The 1437fds for each loop iteration, but which fds these are is random). The
1299timeout is reset each time something is read because that reflects how 1438timeout is reset each time something is read because that reflects how
1300most timeouts work (and puts extra pressure on the event loops). 1439most timeouts work (and puts extra pressure on the event loops).
1301 1440
1302In this benchmark, we use 10000 socketpairs (20000 sockets), of which 100 1441In this benchmark, we use 10000 socket pairs (20000 sockets), of which 100
1303(1%) are active. This mirrors the activity of large servers with many 1442(1%) are active. This mirrors the activity of large servers with many
1304connections, most of which are idle at any one point in time. 1443connections, most of which are idle at any one point in time.
1305 1444
1306Source code for this benchmark is found as F<eg/bench2> in the AnyEvent 1445Source code for this benchmark is found as F<eg/bench2> in the AnyEvent
1307distribution. 1446distribution.
1309=head3 Explanation of the columns 1448=head3 Explanation of the columns
1310 1449
1311I<sockets> is the number of sockets, and twice the number of "servers" (as 1450I<sockets> is the number of sockets, and twice the number of "servers" (as
1312each server has a read and write socket end). 1451each server has a read and write socket end).
1313 1452
1314I<create> is the time it takes to create a socketpair (which is 1453I<create> is the time it takes to create a socket pair (which is
1315nontrivial) and two watchers: an I/O watcher and a timeout watcher. 1454nontrivial) and two watchers: an I/O watcher and a timeout watcher.
1316 1455
1317I<request>, the most important value, is the time it takes to handle a 1456I<request>, the most important value, is the time it takes to handle a
1318single "request", that is, reading the token from the pipe and forwarding 1457single "request", that is, reading the token from the pipe and forwarding
1319it to another server. This includes deleting the old timeout and creating 1458it to another server. This includes deleting the old timeout and creating
1392speed most when you have lots of watchers, not when you only have a few of 1531speed most when you have lots of watchers, not when you only have a few of
1393them). 1532them).
1394 1533
1395EV is again fastest. 1534EV is again fastest.
1396 1535
1397Perl again comes second. It is noticably faster than the C-based event 1536Perl again comes second. It is noticeably faster than the C-based event
1398loops Event and Glib, although the difference is too small to really 1537loops Event and Glib, although the difference is too small to really
1399matter. 1538matter.
1400 1539
1401POE also performs much better in this case, but is is still far behind the 1540POE also performs much better in this case, but is is still far behind the
1402others. 1541others.
1442probably even less useful to an attacker than PERL_ANYEVENT_MODEL). 1581probably even less useful to an attacker than PERL_ANYEVENT_MODEL).
1443 1582
1444 1583
1445=head1 SEE ALSO 1584=head1 SEE ALSO
1446 1585
1586Utility functions: L<AnyEvent::Util>.
1587
1447Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>, 1588Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>,
1448L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>. 1589L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>.
1449 1590
1450Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>, 1591Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>,
1451L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>, 1592L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>,
1452L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>, 1593L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>,
1453L<AnyEvent::Impl::POE>. 1594L<AnyEvent::Impl::POE>.
1454 1595
1596Non-blocking file handles, sockets, TCP clients and
1597servers: L<AnyEvent::Handle>, L<AnyEvent::Socket>.
1598
1599Asynchronous DNS: L<AnyEvent::DNS>.
1600
1455Coroutine support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>, L<Coro::Event>, 1601Coroutine support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>, L<Coro::Event>,
1456 1602
1457Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>. 1603Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>, L<AnyEvent::DNS>.
1458 1604
1459 1605
1460=head1 AUTHOR 1606=head1 AUTHOR
1461 1607
1462 Marc Lehmann <schmorp@schmorp.de> 1608 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines