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.54 by root, Tue Apr 22 05:12:19 2008 UTC vs.
Revision 1.77 by root, Fri Apr 25 09:00:37 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 - various supported event loops 5EV, Event, Coro::EV, Coro::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
80module. 80module.
81 81
82During the first call of any watcher-creation method, the module tries 82During the first call of any watcher-creation method, the module tries
83to detect the currently loaded event loop by probing whether one of the 83to 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>, 84following modules is already loaded: L<Coro::EV>, L<Coro::Event>, L<EV>,
85L<Event>, L<Glib>, L<Tk>. The first one found is used. If none are found, 85L<Event>, L<Glib>, L<Tk>, L<AnyEvent::Impl::Perl>, L<Event::Lib>, L<Qt>,
86the module tries to load these modules in the stated order. The first one 86L<POE>. The first one found is used. If none are found, the module tries
87to load these modules (excluding Event::Lib, Qt and POE as the pure perl
88adaptor should always succeed) in the order given. The first one that can
87that can be successfully loaded will be used. If, after this, still none 89be successfully loaded will be used. If, after this, still none could be
88could be found, AnyEvent will fall back to a pure-perl event loop, which 90found, AnyEvent will fall back to a pure-perl event loop, which is not
89is not very efficient, but should work everywhere. 91very efficient, but should work everywhere.
90 92
91Because AnyEvent first checks for modules that are already loaded, loading 93Because AnyEvent first checks for modules that are already loaded, loading
92an event model explicitly before first using AnyEvent will likely make 94an event model explicitly before first using AnyEvent will likely make
93that model the default. For example: 95that model the default. For example:
94 96
145events. C<poll> must be a string that is either C<r> or C<w>, which 147events. C<poll> must be a string that is either C<r> or C<w>, which
146creates a watcher waiting for "r"eadable or "w"ritable events, 148creates a watcher waiting for "r"eadable or "w"ritable events,
147respectively. C<cb> is the callback to invoke each time the file handle 149respectively. C<cb> is the callback to invoke each time the file handle
148becomes ready. 150becomes ready.
149 151
150File handles will be kept alive, so as long as the watcher exists, the 152As long as the I/O watcher exists it will keep the file descriptor or a
151file handle exists, too. 153copy of it alive/open.
152 154
153It is not allowed to close a file handle as long as any watcher is active 155It is not allowed to close a file handle as long as any watcher is active
154on the underlying file descriptor. 156on the underlying file descriptor.
155 157
156Some event loops issue spurious readyness notifications, so you should 158Some event loops issue spurious readyness notifications, so you should
206 208
207There are two ways to handle timers: based on real time (relative, "fire 209There are two ways to handle timers: based on real time (relative, "fire
208in 10 seconds") and based on wallclock time (absolute, "fire at 12 210in 10 seconds") and based on wallclock time (absolute, "fire at 12
209o'clock"). 211o'clock").
210 212
211While most event loops expect timers to specified in a relative way, they use 213While most event loops expect timers to specified in a relative way, they
212absolute time internally. This makes a difference when your clock "jumps", 214use absolute time internally. This makes a difference when your clock
213for example, when ntp decides to set your clock backwards from the wrong 2014-01-01 to 215"jumps", for example, when ntp decides to set your clock backwards from
2142008-01-01, a watcher that you created to fire "after" a second might actually take 216the wrong date of 2014-01-01 to 2008-01-01, a watcher that is supposed to
215six years to finally fire. 217fire "after" a second might actually take six years to finally fire.
216 218
217AnyEvent cannot compensate for this. The only event loop that is conscious 219AnyEvent cannot compensate for this. The only event loop that is conscious
218about these issues is L<EV>, which offers both relative (ev_timer) and 220about these issues is L<EV>, which offers both relative (ev_timer, based
219absolute (ev_periodic) timers. 221on true relative time) and absolute (ev_periodic, based on wallclock time)
222timers.
220 223
221AnyEvent always prefers relative timers, if available, matching the 224AnyEvent always prefers relative timers, if available, matching the
222AnyEvent API. 225AnyEvent API.
223 226
224=head2 SIGNAL WATCHERS 227=head2 SIGNAL WATCHERS
225 228
226You can watch for signals using a signal watcher, C<signal> is the signal 229You can watch for signals using a signal watcher, C<signal> is the signal
227I<name> without any C<SIG> prefix, C<cb> is the Perl callback to 230I<name> without any C<SIG> prefix, C<cb> is the Perl callback to
228be invoked whenever a signal occurs. 231be invoked whenever a signal occurs.
229 232
230Multiple signals occurances can be clumped together into one callback 233Multiple signal occurances can be clumped together into one callback
231invocation, and callback invocation will be synchronous. synchronous means 234invocation, and callback invocation will be synchronous. synchronous means
232that it might take a while until the signal gets handled by the process, 235that it might take a while until the signal gets handled by the process,
233but it is guarenteed not to interrupt any other callbacks. 236but it is guarenteed not to interrupt any other callbacks.
234 237
235The main advantage of using these watchers is that you can share a signal 238The main advantage of using these watchers is that you can share a signal
353 356
354The known classes so far are: 357The known classes so far are:
355 358
356 AnyEvent::Impl::CoroEV based on Coro::EV, best choice. 359 AnyEvent::Impl::CoroEV based on Coro::EV, best choice.
357 AnyEvent::Impl::CoroEvent based on Coro::Event, second best choice. 360 AnyEvent::Impl::CoroEvent based on Coro::Event, second best choice.
358 AnyEvent::Impl::EV based on EV (an interface to libev, also best choice). 361 AnyEvent::Impl::EV based on EV (an interface to libev, best choice).
359 AnyEvent::Impl::Event based on Event, also second best choice :) 362 AnyEvent::Impl::Event based on Event, second best choice.
360 AnyEvent::Impl::Glib based on Glib, third-best choice. 363 AnyEvent::Impl::Glib based on Glib, third-best choice.
361 AnyEvent::Impl::Tk based on Tk, very bad choice. 364 AnyEvent::Impl::Tk based on Tk, very bad choice.
362 AnyEvent::Impl::Perl pure-perl implementation, inefficient but portable. 365 AnyEvent::Impl::Perl pure-perl implementation, inefficient but portable.
366 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
367 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
368 AnyEvent::Impl::POE based on POE, not generic enough for full support.
369
370There is no support for WxWidgets, as WxWidgets has no support for
371watching file handles. However, you can use WxWidgets through the
372POE Adaptor, as POE has a Wx backend that simply polls 20 times per
373second, which was considered to be too horrible to even consider for
374AnyEvent. Likewise, other POE backends can be used by AnyEvent by using
375it's adaptor.
376
377AnyEvent knows about L<Prima> and L<Wx> and will try to use L<POE> when
378autodetecting them.
363 379
364=item AnyEvent::detect 380=item AnyEvent::detect
365 381
366Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model 382Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model
367if necessary. You should only call this function right before you would 383if necessary. You should only call this function right before you would
418no warnings; 434no warnings;
419use strict; 435use strict;
420 436
421use Carp; 437use Carp;
422 438
423our $VERSION = '3.12'; 439our $VERSION = '3.3';
424our $MODEL; 440our $MODEL;
425 441
426our $AUTOLOAD; 442our $AUTOLOAD;
427our @ISA; 443our @ISA;
428 444
435 [Coro::Event:: => AnyEvent::Impl::CoroEvent::], 451 [Coro::Event:: => AnyEvent::Impl::CoroEvent::],
436 [EV:: => AnyEvent::Impl::EV::], 452 [EV:: => AnyEvent::Impl::EV::],
437 [Event:: => AnyEvent::Impl::Event::], 453 [Event:: => AnyEvent::Impl::Event::],
438 [Glib:: => AnyEvent::Impl::Glib::], 454 [Glib:: => AnyEvent::Impl::Glib::],
439 [Tk:: => AnyEvent::Impl::Tk::], 455 [Tk:: => AnyEvent::Impl::Tk::],
456 [Wx:: => AnyEvent::Impl::POE::],
457 [Prima:: => AnyEvent::Impl::POE::],
440 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::], 458 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::],
459 # everything below here will not be autoprobed as the pureperl backend should work everywhere
460 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
461 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
462 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
441); 463);
442 464
443our %method = map +($_ => 1), qw(io timer condvar broadcast wait signal one_event DESTROY); 465our %method = map +($_ => 1), qw(io timer signal child condvar broadcast wait one_event DESTROY);
444 466
445sub detect() { 467sub detect() {
446 unless ($MODEL) { 468 unless ($MODEL) {
447 no strict 'refs'; 469 no strict 'refs';
448 470
471 if ($ENV{PERL_ANYEVENT_MODEL} =~ /^([a-zA-Z]+)$/) {
472 my $model = "AnyEvent::Impl::$1";
473 if (eval "require $model") {
474 $MODEL = $model;
475 warn "AnyEvent: loaded model '$model' (forced by \$PERL_ANYEVENT_MODEL), using it.\n" if $verbose > 1;
476 } else {
477 warn "AnyEvent: unable to load model '$model' (from \$PERL_ANYEVENT_MODEL):\n$@" if $verbose;
478 }
479 }
480
449 # check for already loaded models 481 # check for already loaded models
482 unless ($MODEL) {
450 for (@REGISTRY, @models) { 483 for (@REGISTRY, @models) {
451 my ($package, $model) = @$_; 484 my ($package, $model) = @$_;
452 if (${"$package\::VERSION"} > 0) { 485 if (${"$package\::VERSION"} > 0) {
453 if (eval "require $model") { 486 if (eval "require $model") {
454 $MODEL = $model; 487 $MODEL = $model;
455 warn "AnyEvent: found model '$model', using it.\n" if $verbose > 1; 488 warn "AnyEvent: autodetected model '$model', using it.\n" if $verbose > 1;
456 last; 489 last;
490 }
457 } 491 }
458 } 492 }
459 }
460 493
461 unless ($MODEL) { 494 unless ($MODEL) {
462 # try to load a model 495 # try to load a model
463 496
464 for (@REGISTRY, @models) { 497 for (@REGISTRY, @models) {
465 my ($package, $model) = @$_; 498 my ($package, $model) = @$_;
466 if (eval "require $package" 499 if (eval "require $package"
467 and ${"$package\::VERSION"} > 0 500 and ${"$package\::VERSION"} > 0
468 and eval "require $model") { 501 and eval "require $model") {
469 $MODEL = $model; 502 $MODEL = $model;
470 warn "AnyEvent: autoprobed and loaded model '$model', using it.\n" if $verbose > 1; 503 warn "AnyEvent: autoprobed model '$model', using it.\n" if $verbose > 1;
471 last; 504 last;
505 }
472 } 506 }
507
508 $MODEL
509 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.";
473 } 510 }
474
475 $MODEL
476 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), Glib or Tk.";
477 } 511 }
478 512
479 unshift @ISA, $MODEL; 513 unshift @ISA, $MODEL;
480 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 514 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
481 } 515 }
637 671
638=head1 ENVIRONMENT VARIABLES 672=head1 ENVIRONMENT VARIABLES
639 673
640The following environment variables are used by this module: 674The following environment variables are used by this module:
641 675
642C<PERL_ANYEVENT_VERBOSE> when set to C<2> or higher, cause AnyEvent to 676=over 4
643report to STDERR which event model it chooses. 677
678=item C<PERL_ANYEVENT_VERBOSE>
679
680By default, AnyEvent will be completely silent except in fatal
681conditions. You can set this environment variable to make AnyEvent more
682talkative.
683
684When set to C<1> or higher, causes AnyEvent to warn about unexpected
685conditions, such as not being able to load the event model specified by
686C<PERL_ANYEVENT_MODEL>.
687
688When set to C<2> or higher, cause AnyEvent to report to STDERR which event
689model it chooses.
690
691=item C<PERL_ANYEVENT_MODEL>
692
693This can be used to specify the event model to be used by AnyEvent, before
694autodetection and -probing kicks in. It must be a string consisting
695entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
696and the resulting module name is loaded and if the load was successful,
697used as event model. If it fails to load AnyEvent will proceed with
698autodetection and -probing.
699
700This functionality might change in future versions.
701
702For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
703could start your program like this:
704
705 PERL_ANYEVENT_MODEL=Perl perl ...
706
707=back
644 708
645=head1 EXAMPLE PROGRAM 709=head1 EXAMPLE PROGRAM
646 710
647The following program uses an IO watcher to read data from STDIN, a timer 711The following program uses an IO watcher to read data from STDIN, a timer
648to display a message once per second, and a condition variable to quit the 712to display a message once per second, and a condition variable to quit the
796 $quit->broadcast; 860 $quit->broadcast;
797 }); 861 });
798 862
799 $quit->wait; 863 $quit->wait;
800 864
865
866=head1 BENCHMARK
867
868To give you an idea of the performance and overheads that AnyEvent adds
869over the event loops themselves (and to give you an impression of the
870speed of various event loops), here is a benchmark of various supported
871event models natively and with anyevent. The benchmark creates a lot of
872timers (with a zero timeout) and io watchers (watching STDOUT, a pty, to
873become writable, which it is), lets them fire exactly once and destroys
874them again.
875
876Rewriting the benchmark to use many different sockets instead of using
877the same filehandle for all io watchers results in a much longer runtime
878(socket creation is expensive), but qualitatively the same figures, so it
879was not used.
880
881=head2 Explanation of the columns
882
883I<watcher> is the number of event watchers created/destroyed. Since
884different event models feature vastly different performances, each event
885loop was given a number of watchers so that overall runtime is acceptable
886and similar between tested event loop (and keep them from crashing): Glib
887would probably take thousands of years if asked to process the same number
888of watchers as EV in this benchmark.
889
890I<bytes> is the number of bytes (as measured by the resident set size,
891RSS) consumed by each watcher. This method of measuring captures both C
892and Perl-based overheads.
893
894I<create> is the time, in microseconds (millionths of seconds), that it
895takes to create a single watcher. The callback is a closure shared between
896all watchers, to avoid adding memory overhead. That means closure creation
897and memory usage is not included in the figures.
898
899I<invoke> is the time, in microseconds, used to invoke a simple
900callback. The callback simply counts down a Perl variable and after it was
901invoked "watcher" times, it would C<< ->broadcast >> a condvar once to
902signal the end of this phase.
903
904I<destroy> is the time, in microseconds, that it takes to destroy a single
905watcher.
906
907=head2 Results
908
909 name watchers bytes create invoke destroy comment
910 EV/EV 400000 244 0.56 0.46 0.31 EV native interface
911 EV/Any 100000 610 3.52 0.91 0.75 EV + AnyEvent watchers
912 CoroEV/Any 100000 610 3.49 0.92 0.75 coroutines + Coro::Signal
913 Perl/Any 100000 513 4.91 0.92 1.15 pure perl implementation
914 Event/Event 16000 523 28.05 21.38 0.86 Event native interface
915 Event/Any 16000 943 34.43 20.48 1.39 Event + AnyEvent watchers
916 Glib/Any 16000 1357 96.99 12.55 55.51 quadratic behaviour
917 Tk/Any 2000 1855 27.01 66.61 14.03 SEGV with >> 2000 watchers
918 POE/Event 2000 6644 108.15 768.19 14.33 via POE::Loop::Event
919 POE/Select 2000 6343 94.69 807.65 562.69 via POE::Loop::Select
920
921=head2 Discussion
922
923The benchmark does I<not> measure scalability of the event loop very
924well. For example, a select-based event loop (such as the pure perl one)
925can never compete with an event loop that uses epoll when the number of
926file descriptors grows high. In this benchmark, only a single filehandle
927is used (although some of the AnyEvent adaptors dup() its file descriptor
928to worka round bugs).
929
930C<EV> is the sole leader regarding speed and memory use, which are both
931maximal/minimal, respectively. Even when going through AnyEvent, there are
932only two event loops that use slightly less memory (the C<Event> module
933natively and the pure perl backend), and no faster event models, not even
934C<Event> natively.
935
936The pure perl implementation is hit in a few sweet spots (both the
937zero timeout and the use of a single fd hit optimisations in the perl
938interpreter and the backend itself, and all watchers become ready at the
939same time). Nevertheless this shows that it adds very little overhead in
940itself. Like any select-based backend its performance becomes really bad
941with lots of file descriptors (and few of them active), of course, but
942this was not subject of this benchmark.
943
944The C<Event> module has a relatively high setup and callback invocation cost,
945but overall scores on the third place.
946
947C<Glib>'s memory usage is quite a bit bit higher, but it features a
948faster callback invocation and overall ends up in the same class as
949C<Event>. However, Glib scales extremely badly, doubling the number of
950watchers increases the processing time by more than a factor of four,
951making it completely unusable when using larger numbers of watchers
952(note that only a single file descriptor was used in the benchmark, so
953inefficiencies of C<poll> do not account for this).
954
955The C<Tk> adaptor works relatively well. The fact that it crashes with
956more than 2000 watchers is a big setback, however, as correctness takes
957precedence over speed. Nevertheless, its performance is surprising, as the
958file descriptor is dup()ed for each watcher. This shows that the dup()
959employed by some adaptors is not a big performance issue (it does incur a
960hidden memory cost inside the kernel, though, that is not reflected in the
961figures above).
962
963C<POE>, regardless of underlying event loop (wether using its pure perl
964select-based backend or the Event module) shows abysmal performance and
965memory usage: Watchers use almost 30 times as much memory as EV watchers,
966and 10 times as much memory as both Event or EV via AnyEvent. Watcher
967invocation is almost 700 times slower than with AnyEvent's pure perl
968implementation. The design of the POE adaptor class in AnyEvent can not
969really account for this, as session creation overhead is small compared
970to execution of the state machine, which is coded pretty optimally within
971L<AnyEvent::Impl::POE>. POE simply seems to be abysmally slow.
972
973=head2 Summary
974
975Using EV through AnyEvent is faster than any other event loop, but most
976event loops have acceptable performance with or without AnyEvent.
977
978The overhead AnyEvent adds is usually much smaller than the overhead of
979the actual event loop, only with extremely fast event loops such as the EV
980adds AnyEvent significant overhead.
981
982And you should simply avoid POE like the plague if you want performance or
983reasonable memory usage.
984
985
986=head1 FORK
987
988Most event libraries are not fork-safe. The ones who are usually are
989because they are so inefficient. Only L<EV> is fully fork-aware.
990
991If you have to fork, you must either do so I<before> creating your first
992watcher OR you must not use AnyEvent at all in the child.
993
994
995=head1 SECURITY CONSIDERATIONS
996
997AnyEvent can be forced to load any event model via
998$ENV{PERL_ANYEVENT_MODEL}. While this cannot (to my knowledge) be used to
999execute arbitrary code or directly gain access, it can easily be used to
1000make the program hang or malfunction in subtle ways, as AnyEvent watchers
1001will not be active when the program uses a different event model than
1002specified in the variable.
1003
1004You can make AnyEvent completely ignore this variable by deleting it
1005before the first watcher gets created, e.g. with a C<BEGIN> block:
1006
1007 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} }
1008
1009 use AnyEvent;
1010
1011
801=head1 SEE ALSO 1012=head1 SEE ALSO
802 1013
803Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>, 1014Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>,
804L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>. 1015L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>,
1016L<Event::Lib>, L<Qt>, L<POE>.
805 1017
806Implementations: L<AnyEvent::Impl::CoroEV>, L<AnyEvent::Impl::EV>, 1018Implementations: L<AnyEvent::Impl::CoroEV>, L<AnyEvent::Impl::EV>,
1019L<AnyEvent::Impl::CoroEvent>, L<AnyEvent::Impl::Event>, L<AnyEvent::Impl::Glib>,
1020L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>, L<AnyEvent::Impl::EventLib>,
807L<AnyEvent::Impl::CoroEvent>, L<AnyEvent::Impl::Event>, 1021L<AnyEvent::Impl::Qt>, L<AnyEvent::Impl::POE>.
808L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>.
809 1022
810Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>. 1023Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>.
1024
811 1025
812=head1 AUTHOR 1026=head1 AUTHOR
813 1027
814 Marc Lehmann <schmorp@schmorp.de> 1028 Marc Lehmann <schmorp@schmorp.de>
815 http://home.schmorp.de/ 1029 http://home.schmorp.de/

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines