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.169 by root, Wed Jul 9 10:36:22 2008 UTC vs.
Revision 1.218 by root, Wed Jun 24 10:03:42 2009 UTC

1=head1 NAME 1=head1 NAME
2 2
3AnyEvent - provide framework for multiple event loops 3AnyEvent - provide framework for multiple event loops
4 4
5EV, Event, Glib, Tk, Perl, Event::Lib, Qt, POE - various supported event loops 5EV, Event, Glib, Tk, Perl, Event::Lib, Qt and POE are various supported
6event loops.
6 7
7=head1 SYNOPSIS 8=head1 SYNOPSIS
8 9
9 use AnyEvent; 10 use AnyEvent;
10 11
12 # file descriptor readable
11 my $w = AnyEvent->io (fh => $fh, poll => "r|w", cb => sub { 13 my $w = AnyEvent->io (fh => $fh, poll => "r", cb => sub { ... });
14
15 # one-shot or repeating timers
16 my $w = AnyEvent->timer (after => $seconds, cb => sub { ... });
17 my $w = AnyEvent->timer (after => $seconds, interval => $seconds, cb => ...
18
19 print AnyEvent->now; # prints current event loop time
20 print AnyEvent->time; # think Time::HiRes::time or simply CORE::time.
21
22 # POSIX signal
23 my $w = AnyEvent->signal (signal => "TERM", cb => sub { ... });
24
25 # child process exit
26 my $w = AnyEvent->child (pid => $pid, cb => sub {
27 my ($pid, $status) = @_;
12 ... 28 ...
13 }); 29 });
14 30
15 my $w = AnyEvent->timer (after => $seconds, cb => sub { 31 # called when event loop idle (if applicable)
16 ... 32 my $w = AnyEvent->idle (cb => sub { ... });
17 });
18 33
19 my $w = AnyEvent->condvar; # stores whether a condition was flagged 34 my $w = AnyEvent->condvar; # stores whether a condition was flagged
20 $w->send; # wake up current and all future recv's 35 $w->send; # wake up current and all future recv's
21 $w->recv; # enters "main loop" till $condvar gets ->send 36 $w->recv; # enters "main loop" till $condvar gets ->send
37 # use a condvar in callback mode:
38 $w->cb (sub { $_[0]->recv });
22 39
23=head1 INTRODUCTION/TUTORIAL 40=head1 INTRODUCTION/TUTORIAL
24 41
25This manpage is mainly a reference manual. If you are interested 42This manpage is mainly a reference manual. If you are interested
26in a tutorial or some gentle introduction, have a look at the 43in a tutorial or some gentle introduction, have a look at the
128These watchers are normal Perl objects with normal Perl lifetime. After 145These watchers are normal Perl objects with normal Perl lifetime. After
129creating a watcher it will immediately "watch" for events and invoke the 146creating a watcher it will immediately "watch" for events and invoke the
130callback when the event occurs (of course, only when the event model 147callback when the event occurs (of course, only when the event model
131is in control). 148is in control).
132 149
150Note that B<callbacks must not permanently change global variables>
151potentially in use by the event loop (such as C<$_> or C<$[>) and that B<<
152callbacks must not C<die> >>. The former is good programming practise in
153Perl and the latter stems from the fact that exception handling differs
154widely between event loops.
155
133To disable the watcher you have to destroy it (e.g. by setting the 156To disable the watcher you have to destroy it (e.g. by setting the
134variable you store it in to C<undef> or otherwise deleting all references 157variable you store it in to C<undef> or otherwise deleting all references
135to it). 158to it).
136 159
137All watchers are created by calling a method on the C<AnyEvent> class. 160All watchers are created by calling a method on the C<AnyEvent> class.
153=head2 I/O WATCHERS 176=head2 I/O WATCHERS
154 177
155You can create an I/O watcher by calling the C<< AnyEvent->io >> method 178You can create an I/O watcher by calling the C<< AnyEvent->io >> method
156with the following mandatory key-value pairs as arguments: 179with the following mandatory key-value pairs as arguments:
157 180
158C<fh> the Perl I<file handle> (I<not> file descriptor) to watch for events 181C<fh> is the Perl I<file handle> (I<not> file descriptor) to watch
159(AnyEvent might or might not keep a reference to this file handle). C<poll> 182for events (AnyEvent might or might not keep a reference to this file
183handle). Note that only file handles pointing to things for which
184non-blocking operation makes sense are allowed. This includes sockets,
185most character devices, pipes, fifos and so on, but not for example files
186or block devices.
187
160must be a string that is either C<r> or C<w>, which creates a watcher 188C<poll> must be a string that is either C<r> or C<w>, which creates a
161waiting for "r"eadable or "w"ritable events, respectively. C<cb> is the 189watcher waiting for "r"eadable or "w"ritable events, respectively.
190
162callback to invoke each time the file handle becomes ready. 191C<cb> is the callback to invoke each time the file handle becomes ready.
163 192
164Although the callback might get passed parameters, their value and 193Although the callback might get passed parameters, their value and
165presence is undefined and you cannot rely on them. Portable AnyEvent 194presence is undefined and you cannot rely on them. Portable AnyEvent
166callbacks cannot use arguments passed to I/O watcher callbacks. 195callbacks cannot use arguments passed to I/O watcher callbacks.
167 196
299In either case, if you care (and in most cases, you don't), then you 328In either case, if you care (and in most cases, you don't), then you
300can get whatever behaviour you want with any event loop, by taking the 329can get whatever behaviour you want with any event loop, by taking the
301difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into 330difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into
302account. 331account.
303 332
333=item AnyEvent->now_update
334
335Some event loops (such as L<EV> or L<AnyEvent::Impl::Perl>) cache
336the current time for each loop iteration (see the discussion of L<<
337AnyEvent->now >>, above).
338
339When a callback runs for a long time (or when the process sleeps), then
340this "current" time will differ substantially from the real time, which
341might affect timers and time-outs.
342
343When this is the case, you can call this method, which will update the
344event loop's idea of "current time".
345
346Note that updating the time I<might> cause some events to be handled.
347
304=back 348=back
305 349
306=head2 SIGNAL WATCHERS 350=head2 SIGNAL WATCHERS
307 351
308You can watch for signals using a signal watcher, C<signal> is the signal 352You can watch for signals using a signal watcher, C<signal> is the signal
331=head2 CHILD PROCESS WATCHERS 375=head2 CHILD PROCESS WATCHERS
332 376
333You can also watch on a child process exit and catch its exit status. 377You can also watch on a child process exit and catch its exit status.
334 378
335The child process is specified by the C<pid> argument (if set to C<0>, it 379The child process is specified by the C<pid> argument (if set to C<0>, it
336watches for any child process exit). The watcher will trigger as often 380watches for any child process exit). The watcher will triggered only when
337as status change for the child are received. This works by installing a 381the child process has finished and an exit status is available, not on
338signal handler for C<SIGCHLD>. The callback will be called with the pid 382any trace events (stopped/continued).
339and exit status (as returned by waitpid), so unlike other watcher types, 383
340you I<can> rely on child watcher callback arguments. 384The callback will be called with the pid and exit status (as returned by
385waitpid), so unlike other watcher types, you I<can> rely on child watcher
386callback arguments.
387
388This watcher type works by installing a signal handler for C<SIGCHLD>,
389and since it cannot be shared, nothing else should use SIGCHLD or reap
390random child processes (waiting for specific child processes, e.g. inside
391C<system>, is just fine).
341 392
342There is a slight catch to child watchers, however: you usually start them 393There is a slight catch to child watchers, however: you usually start them
343I<after> the child process was created, and this means the process could 394I<after> the child process was created, and this means the process could
344have exited already (and no SIGCHLD will be sent anymore). 395have exited already (and no SIGCHLD will be sent anymore).
345 396
367 ); 418 );
368 419
369 # do something else, then wait for process exit 420 # do something else, then wait for process exit
370 $done->recv; 421 $done->recv;
371 422
423=head2 IDLE WATCHERS
424
425Sometimes there is a need to do something, but it is not so important
426to do it instantly, but only when there is nothing better to do. This
427"nothing better to do" is usually defined to be "no other events need
428attention by the event loop".
429
430Idle watchers ideally get invoked when the event loop has nothing
431better to do, just before it would block the process to wait for new
432events. Instead of blocking, the idle watcher is invoked.
433
434Most event loops unfortunately do not really support idle watchers (only
435EV, Event and Glib do it in a usable fashion) - for the rest, AnyEvent
436will simply call the callback "from time to time".
437
438Example: read lines from STDIN, but only process them when the
439program is otherwise idle:
440
441 my @lines; # read data
442 my $idle_w;
443 my $io_w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
444 push @lines, scalar <STDIN>;
445
446 # start an idle watcher, if not already done
447 $idle_w ||= AnyEvent->idle (cb => sub {
448 # handle only one line, when there are lines left
449 if (my $line = shift @lines) {
450 print "handled when idle: $line";
451 } else {
452 # otherwise disable the idle watcher again
453 undef $idle_w;
454 }
455 });
456 });
457
372=head2 CONDITION VARIABLES 458=head2 CONDITION VARIABLES
373 459
374If you are familiar with some event loops you will know that all of them 460If you are familiar with some event loops you will know that all of them
375require you to run some blocking "loop", "run" or similar function that 461require you to run some blocking "loop", "run" or similar function that
376will actively watch for new events and call your callbacks. 462will actively watch for new events and call your callbacks.
381The instrument to do that is called a "condition variable", so called 467The instrument to do that is called a "condition variable", so called
382because they represent a condition that must become true. 468because they represent a condition that must become true.
383 469
384Condition variables can be created by calling the C<< AnyEvent->condvar 470Condition variables can be created by calling the C<< AnyEvent->condvar
385>> method, usually without arguments. The only argument pair allowed is 471>> method, usually without arguments. The only argument pair allowed is
472
386C<cb>, which specifies a callback to be called when the condition variable 473C<cb>, which specifies a callback to be called when the condition variable
387becomes true. 474becomes true, with the condition variable as the first argument (but not
475the results).
388 476
389After creation, the condition variable is "false" until it becomes "true" 477After creation, the condition variable is "false" until it becomes "true"
390by calling the C<send> method (or calling the condition variable as if it 478by calling the C<send> method (or calling the condition variable as if it
391were a callback, read about the caveats in the description for the C<< 479were a callback, read about the caveats in the description for the C<<
392->send >> method). 480->send >> method).
448 536
449 my $done = AnyEvent->condvar; 537 my $done = AnyEvent->condvar;
450 my $delay = AnyEvent->timer (after => 5, cb => $done); 538 my $delay = AnyEvent->timer (after => 5, cb => $done);
451 $done->recv; 539 $done->recv;
452 540
541Example: Imagine an API that returns a condvar and doesn't support
542callbacks. This is how you make a synchronous call, for example from
543the main program:
544
545 use AnyEvent::CouchDB;
546
547 ...
548
549 my @info = $couchdb->info->recv;
550
551And this is how you would just ste a callback to be called whenever the
552results are available:
553
554 $couchdb->info->cb (sub {
555 my @info = $_[0]->recv;
556 });
557
453=head3 METHODS FOR PRODUCERS 558=head3 METHODS FOR PRODUCERS
454 559
455These methods should only be used by the producing side, i.e. the 560These methods should only be used by the producing side, i.e. the
456code/module that eventually sends the signal. Note that it is also 561code/module that eventually sends the signal. Note that it is also
457the producer side which creates the condvar in most cases, but it isn't 562the producer side which creates the condvar in most cases, but it isn't
590=item $bool = $cv->ready 695=item $bool = $cv->ready
591 696
592Returns true when the condition is "true", i.e. whether C<send> or 697Returns true when the condition is "true", i.e. whether C<send> or
593C<croak> have been called. 698C<croak> have been called.
594 699
595=item $cb = $cv->cb ([new callback]) 700=item $cb = $cv->cb ($cb->($cv))
596 701
597This is a mutator function that returns the callback set and optionally 702This is a mutator function that returns the callback set and optionally
598replaces it before doing so. 703replaces it before doing so.
599 704
600The callback will be called when the condition becomes "true", i.e. when 705The callback will be called when the condition becomes "true", i.e. when
790=item L<AnyEvent::IGS> 895=item L<AnyEvent::IGS>
791 896
792A non-blocking interface to the Internet Go Server protocol (used by 897A non-blocking interface to the Internet Go Server protocol (used by
793L<App::IGS>). 898L<App::IGS>).
794 899
795=item L<Net::IRC3> 900=item L<AnyEvent::IRC>
796 901
797AnyEvent based IRC client module family. 902AnyEvent based IRC client module family (replacing the older Net::IRC3).
798 903
799=item L<Net::XMPP2> 904=item L<Net::XMPP2>
800 905
801AnyEvent based XMPP (Jabber protocol) module family. 906AnyEvent based XMPP (Jabber protocol) module family.
802 907
822=cut 927=cut
823 928
824package AnyEvent; 929package AnyEvent;
825 930
826no warnings; 931no warnings;
827use strict; 932use strict qw(vars subs);
828 933
829use Carp; 934use Carp;
830 935
831our $VERSION = 4.2; 936our $VERSION = 4.412;
832our $MODEL; 937our $MODEL;
833 938
834our $AUTOLOAD; 939our $AUTOLOAD;
835our @ISA; 940our @ISA;
836 941
837our @REGISTRY; 942our @REGISTRY;
838 943
839our $WIN32; 944our $WIN32;
840 945
841BEGIN { 946BEGIN {
842 my $win32 = ! ! ($^O =~ /mswin32/i); 947 eval "sub WIN32(){ " . (($^O =~ /mswin32/i)*1) ." }";
843 eval "sub WIN32(){ $win32 }"; 948 eval "sub TAINT(){ " . (${^TAINT}*1) . " }";
949
950 delete @ENV{grep /^PERL_ANYEVENT_/, keys %ENV}
951 if ${^TAINT};
844} 952}
845 953
846our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 954our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
847 955
848our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred 956our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred
868 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 976 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
869 [Wx:: => AnyEvent::Impl::POE::], 977 [Wx:: => AnyEvent::Impl::POE::],
870 [Prima:: => AnyEvent::Impl::POE::], 978 [Prima:: => AnyEvent::Impl::POE::],
871); 979);
872 980
873our %method = map +($_ => 1), qw(io timer time now signal child condvar one_event DESTROY); 981our %method = map +($_ => 1),
982 qw(io timer time now now_update signal child idle condvar one_event DESTROY);
874 983
875our @post_detect; 984our @post_detect;
876 985
877sub post_detect(&) { 986sub post_detect(&) {
878 my ($cb) = @_; 987 my ($cb) = @_;
883 1 992 1
884 } else { 993 } else {
885 push @post_detect, $cb; 994 push @post_detect, $cb;
886 995
887 defined wantarray 996 defined wantarray
888 ? bless \$cb, "AnyEvent::Util::PostDetect" 997 ? bless \$cb, "AnyEvent::Util::postdetect"
889 : () 998 : ()
890 } 999 }
891} 1000}
892 1001
893sub AnyEvent::Util::PostDetect::DESTROY { 1002sub AnyEvent::Util::postdetect::DESTROY {
894 @post_detect = grep $_ != ${$_[0]}, @post_detect; 1003 @post_detect = grep $_ != ${$_[0]}, @post_detect;
895} 1004}
896 1005
897sub detect() { 1006sub detect() {
898 unless ($MODEL) { 1007 unless ($MODEL) {
935 last; 1044 last;
936 } 1045 }
937 } 1046 }
938 1047
939 $MODEL 1048 $MODEL
940 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib."; 1049 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib.\n";
941 } 1050 }
942 } 1051 }
943 1052
944 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 1053 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
945 1054
969# to support binding more than one watcher per filehandle (they usually 1078# to support binding more than one watcher per filehandle (they usually
970# allow only one watcher per fd, so we dup it to get a different one). 1079# allow only one watcher per fd, so we dup it to get a different one).
971sub _dupfh($$$$) { 1080sub _dupfh($$$$) {
972 my ($poll, $fh, $r, $w) = @_; 1081 my ($poll, $fh, $r, $w) = @_;
973 1082
974 require Fcntl;
975
976 # cygwin requires the fh mode to be matching, unix doesn't 1083 # cygwin requires the fh mode to be matching, unix doesn't
977 my ($rw, $mode) = $poll eq "r" ? ($r, "<") 1084 my ($rw, $mode) = $poll eq "r" ? ($r, "<")
978 : $poll eq "w" ? ($w, ">") 1085 : $poll eq "w" ? ($w, ">")
979 : Carp::croak "AnyEvent->io requires poll set to either 'r' or 'w'"; 1086 : Carp::croak "AnyEvent->io requires poll set to either 'r' or 'w'";
980 1087
981 open my $fh2, "$mode&" . fileno $fh 1088 open my $fh2, "$mode&" . fileno $fh
982 or die "cannot dup() filehandle: $!"; 1089 or die "cannot dup() filehandle: $!,";
983 1090
984 # we assume CLOEXEC is already set by perl in all important cases 1091 # we assume CLOEXEC is already set by perl in all important cases
985 1092
986 ($fh2, $rw) 1093 ($fh2, $rw)
987} 1094}
988 1095
989package AnyEvent::Base; 1096package AnyEvent::Base;
990 1097
991# default implementation for now and time 1098# default implementations for many methods
992 1099
993use Time::HiRes (); 1100BEGIN {
1101 if (eval "use Time::HiRes (); Time::HiRes::time (); 1") {
1102 *_time = \&Time::HiRes::time;
1103 # if (eval "use POSIX (); (POSIX::times())...
1104 } else {
1105 *_time = sub { time }; # epic fail
1106 }
1107}
994 1108
995sub time { Time::HiRes::time } 1109sub time { _time }
996sub now { Time::HiRes::time } 1110sub now { _time }
1111sub now_update { }
997 1112
998# default implementation for ->condvar 1113# default implementation for ->condvar
999 1114
1000sub condvar { 1115sub condvar {
1001 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar:: 1116 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, "AnyEvent::CondVar"
1002} 1117}
1003 1118
1004# default implementation for ->signal 1119# default implementation for ->signal
1005 1120
1006our %SIG_CB; 1121our ($SIGPIPE_R, $SIGPIPE_W, %SIG_CB, %SIG_EV, $SIG_IO);
1122
1123sub _signal_exec {
1124 sysread $SIGPIPE_R, my $dummy, 4;
1125
1126 while (%SIG_EV) {
1127 for (keys %SIG_EV) {
1128 delete $SIG_EV{$_};
1129 $_->() for values %{ $SIG_CB{$_} || {} };
1130 }
1131 }
1132}
1007 1133
1008sub signal { 1134sub signal {
1009 my (undef, %arg) = @_; 1135 my (undef, %arg) = @_;
1010 1136
1137 unless ($SIGPIPE_R) {
1138 require Fcntl;
1139
1140 if (AnyEvent::WIN32) {
1141 require AnyEvent::Util;
1142
1143 ($SIGPIPE_R, $SIGPIPE_W) = AnyEvent::Util::portable_pipe ();
1144 AnyEvent::Util::fh_nonblocking ($SIGPIPE_R) if $SIGPIPE_R;
1145 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W) if $SIGPIPE_W; # just in case
1146 } else {
1147 pipe $SIGPIPE_R, $SIGPIPE_W;
1148 fcntl $SIGPIPE_R, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_R;
1149 fcntl $SIGPIPE_W, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_W; # just in case
1150
1151 # not strictly required, as $^F is normally 2, but let's make sure...
1152 fcntl $SIGPIPE_R, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1153 fcntl $SIGPIPE_W, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1154 }
1155
1156 $SIGPIPE_R
1157 or Carp::croak "AnyEvent: unable to create a signal reporting pipe: $!\n";
1158
1159 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R, poll => "r", cb => \&_signal_exec);
1160 }
1161
1011 my $signal = uc $arg{signal} 1162 my $signal = uc $arg{signal}
1012 or Carp::croak "required option 'signal' is missing"; 1163 or Carp::croak "required option 'signal' is missing";
1013 1164
1014 $SIG_CB{$signal}{$arg{cb}} = $arg{cb}; 1165 $SIG_CB{$signal}{$arg{cb}} = $arg{cb};
1015 $SIG{$signal} ||= sub { 1166 $SIG{$signal} ||= sub {
1016 $_->() for values %{ $SIG_CB{$signal} || {} }; 1167 local $!;
1168 syswrite $SIGPIPE_W, "\x00", 1 unless %SIG_EV;
1169 undef $SIG_EV{$signal};
1017 }; 1170 };
1018 1171
1019 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal" 1172 bless [$signal, $arg{cb}], "AnyEvent::Base::signal"
1020} 1173}
1021 1174
1022sub AnyEvent::Base::Signal::DESTROY { 1175sub AnyEvent::Base::signal::DESTROY {
1023 my ($signal, $cb) = @{$_[0]}; 1176 my ($signal, $cb) = @{$_[0]};
1024 1177
1025 delete $SIG_CB{$signal}{$cb}; 1178 delete $SIG_CB{$signal}{$cb};
1026 1179
1180 # delete doesn't work with older perls - they then
1181 # print weird messages, or just unconditionally exit
1182 # instead of getting the default action.
1027 delete $SIG{$signal} unless keys %{ $SIG_CB{$signal} }; 1183 undef $SIG{$signal} unless keys %{ $SIG_CB{$signal} };
1028} 1184}
1029 1185
1030# default implementation for ->child 1186# default implementation for ->child
1031 1187
1032our %PID_CB; 1188our %PID_CB;
1033our $CHLD_W; 1189our $CHLD_W;
1034our $CHLD_DELAY_W; 1190our $CHLD_DELAY_W;
1035our $PID_IDLE;
1036our $WNOHANG; 1191our $WNOHANG;
1037 1192
1038sub _child_wait { 1193sub _sigchld {
1039 while (0 < (my $pid = waitpid -1, $WNOHANG)) { 1194 while (0 < (my $pid = waitpid -1, $WNOHANG)) {
1040 $_->($pid, $?) for (values %{ $PID_CB{$pid} || {} }), 1195 $_->($pid, $?) for (values %{ $PID_CB{$pid} || {} }),
1041 (values %{ $PID_CB{0} || {} }); 1196 (values %{ $PID_CB{0} || {} });
1042 } 1197 }
1043
1044 undef $PID_IDLE;
1045}
1046
1047sub _sigchld {
1048 # make sure we deliver these changes "synchronous" with the event loop.
1049 $CHLD_DELAY_W ||= AnyEvent->timer (after => 0, cb => sub {
1050 undef $CHLD_DELAY_W;
1051 &_child_wait;
1052 });
1053} 1198}
1054 1199
1055sub child { 1200sub child {
1056 my (undef, %arg) = @_; 1201 my (undef, %arg) = @_;
1057 1202
1058 defined (my $pid = $arg{pid} + 0) 1203 defined (my $pid = $arg{pid} + 0)
1059 or Carp::croak "required option 'pid' is missing"; 1204 or Carp::croak "required option 'pid' is missing";
1060 1205
1061 $PID_CB{$pid}{$arg{cb}} = $arg{cb}; 1206 $PID_CB{$pid}{$arg{cb}} = $arg{cb};
1062 1207
1063 unless ($WNOHANG) {
1064 $WNOHANG = eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1; 1208 $WNOHANG ||= eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1;
1065 }
1066 1209
1067 unless ($CHLD_W) { 1210 unless ($CHLD_W) {
1068 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld); 1211 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld);
1069 # child could be a zombie already, so make at least one round 1212 # child could be a zombie already, so make at least one round
1070 &_sigchld; 1213 &_sigchld;
1071 } 1214 }
1072 1215
1073 bless [$pid, $arg{cb}], "AnyEvent::Base::Child" 1216 bless [$pid, $arg{cb}], "AnyEvent::Base::child"
1074} 1217}
1075 1218
1076sub AnyEvent::Base::Child::DESTROY { 1219sub AnyEvent::Base::child::DESTROY {
1077 my ($pid, $cb) = @{$_[0]}; 1220 my ($pid, $cb) = @{$_[0]};
1078 1221
1079 delete $PID_CB{$pid}{$cb}; 1222 delete $PID_CB{$pid}{$cb};
1080 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 1223 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
1081 1224
1082 undef $CHLD_W unless keys %PID_CB; 1225 undef $CHLD_W unless keys %PID_CB;
1226}
1227
1228# idle emulation is done by simply using a timer, regardless
1229# of whether the process is idle or not, and not letting
1230# the callback use more than 50% of the time.
1231sub idle {
1232 my (undef, %arg) = @_;
1233
1234 my ($cb, $w, $rcb) = $arg{cb};
1235
1236 $rcb = sub {
1237 if ($cb) {
1238 $w = _time;
1239 &$cb;
1240 $w = _time - $w;
1241
1242 # never use more then 50% of the time for the idle watcher,
1243 # within some limits
1244 $w = 0.0001 if $w < 0.0001;
1245 $w = 5 if $w > 5;
1246
1247 $w = AnyEvent->timer (after => $w, cb => $rcb);
1248 } else {
1249 # clean up...
1250 undef $w;
1251 undef $rcb;
1252 }
1253 };
1254
1255 $w = AnyEvent->timer (after => 0.05, cb => $rcb);
1256
1257 bless \\$cb, "AnyEvent::Base::idle"
1258}
1259
1260sub AnyEvent::Base::idle::DESTROY {
1261 undef $${$_[0]};
1083} 1262}
1084 1263
1085package AnyEvent::CondVar; 1264package AnyEvent::CondVar;
1086 1265
1087our @ISA = AnyEvent::CondVar::Base::; 1266our @ISA = AnyEvent::CondVar::Base::;
1139} 1318}
1140 1319
1141# undocumented/compatibility with pre-3.4 1320# undocumented/compatibility with pre-3.4
1142*broadcast = \&send; 1321*broadcast = \&send;
1143*wait = \&_wait; 1322*wait = \&_wait;
1323
1324=head1 ERROR AND EXCEPTION HANDLING
1325
1326In general, AnyEvent does not do any error handling - it relies on the
1327caller to do that if required. The L<AnyEvent::Strict> module (see also
1328the C<PERL_ANYEVENT_STRICT> environment variable, below) provides strict
1329checking of all AnyEvent methods, however, which is highly useful during
1330development.
1331
1332As for exception handling (i.e. runtime errors and exceptions thrown while
1333executing a callback), this is not only highly event-loop specific, but
1334also not in any way wrapped by this module, as this is the job of the main
1335program.
1336
1337The pure perl event loop simply re-throws the exception (usually
1338within C<< condvar->recv >>), the L<Event> and L<EV> modules call C<<
1339$Event/EV::DIED->() >>, L<Glib> uses C<< install_exception_handler >> and
1340so on.
1341
1342=head1 ENVIRONMENT VARIABLES
1343
1344The following environment variables are used by this module or its
1345submodules.
1346
1347Note that AnyEvent will remove I<all> environment variables starting with
1348C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
1349enabled.
1350
1351=over 4
1352
1353=item C<PERL_ANYEVENT_VERBOSE>
1354
1355By default, AnyEvent will be completely silent except in fatal
1356conditions. You can set this environment variable to make AnyEvent more
1357talkative.
1358
1359When set to C<1> or higher, causes AnyEvent to warn about unexpected
1360conditions, such as not being able to load the event model specified by
1361C<PERL_ANYEVENT_MODEL>.
1362
1363When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1364model it chooses.
1365
1366=item C<PERL_ANYEVENT_STRICT>
1367
1368AnyEvent does not do much argument checking by default, as thorough
1369argument checking is very costly. Setting this variable to a true value
1370will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1371check the arguments passed to most method calls. If it finds any problems,
1372it will croak.
1373
1374In other words, enables "strict" mode.
1375
1376Unlike C<use strict>, it is definitely recommended to keep it off in
1377production. Keeping C<PERL_ANYEVENT_STRICT=1> in your environment while
1378developing programs can be very useful, however.
1379
1380=item C<PERL_ANYEVENT_MODEL>
1381
1382This can be used to specify the event model to be used by AnyEvent, before
1383auto detection and -probing kicks in. It must be a string consisting
1384entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1385and the resulting module name is loaded and if the load was successful,
1386used as event model. If it fails to load AnyEvent will proceed with
1387auto detection and -probing.
1388
1389This functionality might change in future versions.
1390
1391For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1392could start your program like this:
1393
1394 PERL_ANYEVENT_MODEL=Perl perl ...
1395
1396=item C<PERL_ANYEVENT_PROTOCOLS>
1397
1398Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1399for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1400of auto probing).
1401
1402Must be set to a comma-separated list of protocols or address families,
1403current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1404used, and preference will be given to protocols mentioned earlier in the
1405list.
1406
1407This variable can effectively be used for denial-of-service attacks
1408against local programs (e.g. when setuid), although the impact is likely
1409small, as the program has to handle conenction and other failures anyways.
1410
1411Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1412but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1413- only support IPv4, never try to resolve or contact IPv6
1414addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1415IPv6, but prefer IPv6 over IPv4.
1416
1417=item C<PERL_ANYEVENT_EDNS0>
1418
1419Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1420for DNS. This extension is generally useful to reduce DNS traffic, but
1421some (broken) firewalls drop such DNS packets, which is why it is off by
1422default.
1423
1424Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1425EDNS0 in its DNS requests.
1426
1427=item C<PERL_ANYEVENT_MAX_FORKS>
1428
1429The maximum number of child processes that C<AnyEvent::Util::fork_call>
1430will create in parallel.
1431
1432=back
1144 1433
1145=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1434=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
1146 1435
1147This is an advanced topic that you do not normally need to use AnyEvent in 1436This is an advanced topic that you do not normally need to use AnyEvent in
1148a module. This section is only of use to event loop authors who want to 1437a module. This section is only of use to event loop authors who want to
1182 1471
1183I<rxvt-unicode> also cheats a bit by not providing blocking access to 1472I<rxvt-unicode> also cheats a bit by not providing blocking access to
1184condition variables: code blocking while waiting for a condition will 1473condition variables: code blocking while waiting for a condition will
1185C<die>. This still works with most modules/usages, and blocking calls must 1474C<die>. This still works with most modules/usages, and blocking calls must
1186not be done in an interactive application, so it makes sense. 1475not be done in an interactive application, so it makes sense.
1187
1188=head1 ENVIRONMENT VARIABLES
1189
1190The following environment variables are used by this module:
1191
1192=over 4
1193
1194=item C<PERL_ANYEVENT_VERBOSE>
1195
1196By default, AnyEvent will be completely silent except in fatal
1197conditions. You can set this environment variable to make AnyEvent more
1198talkative.
1199
1200When set to C<1> or higher, causes AnyEvent to warn about unexpected
1201conditions, such as not being able to load the event model specified by
1202C<PERL_ANYEVENT_MODEL>.
1203
1204When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1205model it chooses.
1206
1207=item C<PERL_ANYEVENT_STRICT>
1208
1209AnyEvent does not do much argument checking by default, as thorough
1210argument checking is very costly. Setting this variable to a true value
1211will cause AnyEvent to thoroughly check the arguments passed to most
1212method calls and croaks if it finds any problems. In other words, enables
1213"strict" mode. Unlike C<use strict> it is definitely recommended ot keep
1214it off in production.
1215
1216=item C<PERL_ANYEVENT_MODEL>
1217
1218This can be used to specify the event model to be used by AnyEvent, before
1219auto detection and -probing kicks in. It must be a string consisting
1220entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1221and the resulting module name is loaded and if the load was successful,
1222used as event model. If it fails to load AnyEvent will proceed with
1223auto detection and -probing.
1224
1225This functionality might change in future versions.
1226
1227For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1228could start your program like this:
1229
1230 PERL_ANYEVENT_MODEL=Perl perl ...
1231
1232=item C<PERL_ANYEVENT_PROTOCOLS>
1233
1234Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1235for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1236of auto probing).
1237
1238Must be set to a comma-separated list of protocols or address families,
1239current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1240used, and preference will be given to protocols mentioned earlier in the
1241list.
1242
1243This variable can effectively be used for denial-of-service attacks
1244against local programs (e.g. when setuid), although the impact is likely
1245small, as the program has to handle connection errors already-
1246
1247Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1248but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1249- only support IPv4, never try to resolve or contact IPv6
1250addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1251IPv6, but prefer IPv6 over IPv4.
1252
1253=item C<PERL_ANYEVENT_EDNS0>
1254
1255Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1256for DNS. This extension is generally useful to reduce DNS traffic, but
1257some (broken) firewalls drop such DNS packets, which is why it is off by
1258default.
1259
1260Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1261EDNS0 in its DNS requests.
1262
1263=item C<PERL_ANYEVENT_MAX_FORKS>
1264
1265The maximum number of child processes that C<AnyEvent::Util::fork_call>
1266will create in parallel.
1267
1268=back
1269 1476
1270=head1 EXAMPLE PROGRAM 1477=head1 EXAMPLE PROGRAM
1271 1478
1272The following program uses an I/O watcher to read data from STDIN, a timer 1479The following program uses an I/O watcher to read data from STDIN, a timer
1273to display a message once per second, and a condition variable to quit the 1480to display a message once per second, and a condition variable to quit the
1467watcher. 1674watcher.
1468 1675
1469=head3 Results 1676=head3 Results
1470 1677
1471 name watchers bytes create invoke destroy comment 1678 name watchers bytes create invoke destroy comment
1472 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1679 EV/EV 400000 224 0.47 0.35 0.27 EV native interface
1473 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers 1680 EV/Any 100000 224 2.88 0.34 0.27 EV + AnyEvent watchers
1474 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal 1681 CoroEV/Any 100000 224 2.85 0.35 0.28 coroutines + Coro::Signal
1475 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation 1682 Perl/Any 100000 452 4.13 0.73 0.95 pure perl implementation
1476 Event/Event 16000 516 31.88 31.30 0.85 Event native interface 1683 Event/Event 16000 517 32.20 31.80 0.81 Event native interface
1477 Event/Any 16000 590 35.75 31.42 1.08 Event + AnyEvent watchers 1684 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers
1478 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1685 Glib/Any 16000 1357 102.33 12.31 51.00 quadratic behaviour
1479 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers 1686 Tk/Any 2000 1860 27.20 66.31 14.00 SEGV with >> 2000 watchers
1480 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event 1687 POE/Event 2000 6328 109.99 751.67 14.02 via POE::Loop::Event
1481 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select 1688 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select
1482 1689
1483=head3 Discussion 1690=head3 Discussion
1484 1691
1485The benchmark does I<not> measure scalability of the event loop very 1692The benchmark does I<not> measure scalability of the event loop very
1486well. For example, a select-based event loop (such as the pure perl one) 1693well. For example, a select-based event loop (such as the pure perl one)
1687=item * C-based event loops perform very well with small number of 1894=item * C-based event loops perform very well with small number of
1688watchers, as the management overhead dominates. 1895watchers, as the management overhead dominates.
1689 1896
1690=back 1897=back
1691 1898
1899=head2 THE IO::Lambda BENCHMARK
1900
1901Recently I was told about the benchmark in the IO::Lambda manpage, which
1902could be misinterpreted to make AnyEvent look bad. In fact, the benchmark
1903simply compares IO::Lambda with POE, and IO::Lambda looks better (which
1904shouldn't come as a surprise to anybody). As such, the benchmark is
1905fine, and mostly shows that the AnyEvent backend from IO::Lambda isn't
1906very optimal. But how would AnyEvent compare when used without the extra
1907baggage? To explore this, I wrote the equivalent benchmark for AnyEvent.
1908
1909The benchmark itself creates an echo-server, and then, for 500 times,
1910connects to the echo server, sends a line, waits for the reply, and then
1911creates the next connection. This is a rather bad benchmark, as it doesn't
1912test the efficiency of the framework or much non-blocking I/O, but it is a
1913benchmark nevertheless.
1914
1915 name runtime
1916 Lambda/select 0.330 sec
1917 + optimized 0.122 sec
1918 Lambda/AnyEvent 0.327 sec
1919 + optimized 0.138 sec
1920 Raw sockets/select 0.077 sec
1921 POE/select, components 0.662 sec
1922 POE/select, raw sockets 0.226 sec
1923 POE/select, optimized 0.404 sec
1924
1925 AnyEvent/select/nb 0.085 sec
1926 AnyEvent/EV/nb 0.068 sec
1927 +state machine 0.134 sec
1928
1929The benchmark is also a bit unfair (my fault): the IO::Lambda/POE
1930benchmarks actually make blocking connects and use 100% blocking I/O,
1931defeating the purpose of an event-based solution. All of the newly
1932written AnyEvent benchmarks use 100% non-blocking connects (using
1933AnyEvent::Socket::tcp_connect and the asynchronous pure perl DNS
1934resolver), so AnyEvent is at a disadvantage here, as non-blocking connects
1935generally require a lot more bookkeeping and event handling than blocking
1936connects (which involve a single syscall only).
1937
1938The last AnyEvent benchmark additionally uses L<AnyEvent::Handle>, which
1939offers similar expressive power as POE and IO::Lambda, using conventional
1940Perl syntax. This means that both the echo server and the client are 100%
1941non-blocking, further placing it at a disadvantage.
1942
1943As you can see, the AnyEvent + EV combination even beats the
1944hand-optimised "raw sockets benchmark", while AnyEvent + its pure perl
1945backend easily beats IO::Lambda and POE.
1946
1947And even the 100% non-blocking version written using the high-level (and
1948slow :) L<AnyEvent::Handle> abstraction beats both POE and IO::Lambda by a
1949large margin, even though it does all of DNS, tcp-connect and socket I/O
1950in a non-blocking way.
1951
1952The two AnyEvent benchmarks programs can be found as F<eg/ae0.pl> and
1953F<eg/ae2.pl> in the AnyEvent distribution, the remaining benchmarks are
1954part of the IO::lambda distribution and were used without any changes.
1955
1956
1957=head1 SIGNALS
1958
1959AnyEvent currently installs handlers for these signals:
1960
1961=over 4
1962
1963=item SIGCHLD
1964
1965A handler for C<SIGCHLD> is installed by AnyEvent's child watcher
1966emulation for event loops that do not support them natively. Also, some
1967event loops install a similar handler.
1968
1969=item SIGPIPE
1970
1971A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef>
1972when AnyEvent gets loaded.
1973
1974The rationale for this is that AnyEvent users usually do not really depend
1975on SIGPIPE delivery (which is purely an optimisation for shell use, or
1976badly-written programs), but C<SIGPIPE> can cause spurious and rare
1977program exits as a lot of people do not expect C<SIGPIPE> when writing to
1978some random socket.
1979
1980The rationale for installing a no-op handler as opposed to ignoring it is
1981that this way, the handler will be restored to defaults on exec.
1982
1983Feel free to install your own handler, or reset it to defaults.
1984
1985=back
1986
1987=cut
1988
1989$SIG{PIPE} = sub { }
1990 unless defined $SIG{PIPE};
1991
1692 1992
1693=head1 FORK 1993=head1 FORK
1694 1994
1695Most event libraries are not fork-safe. The ones who are usually are 1995Most event libraries are not fork-safe. The ones who are usually are
1696because they rely on inefficient but fork-safe C<select> or C<poll> 1996because they rely on inefficient but fork-safe C<select> or C<poll>
1717 use AnyEvent; 2017 use AnyEvent;
1718 2018
1719Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can 2019Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1720be used to probe what backend is used and gain other information (which is 2020be used to probe what backend is used and gain other information (which is
1721probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and 2021probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and
1722$ENV{PERL_ANYEGENT_STRICT}. 2022$ENV{PERL_ANYEVENT_STRICT}.
2023
2024Note that AnyEvent will remove I<all> environment variables starting with
2025C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
2026enabled.
1723 2027
1724 2028
1725=head1 BUGS 2029=head1 BUGS
1726 2030
1727Perl 5.8 has numerous memleaks that sometimes hit this module and are hard 2031Perl 5.8 has numerous memleaks that sometimes hit this module and are hard
1728to work around. If you suffer from memleaks, first upgrade to Perl 5.10 2032to work around. If you suffer from memleaks, first upgrade to Perl 5.10
1729and check wether the leaks still show up. (Perl 5.10.0 has other annoying 2033and check wether the leaks still show up. (Perl 5.10.0 has other annoying
1730mamleaks, such as leaking on C<map> and C<grep> but it is usually not as 2034memleaks, such as leaking on C<map> and C<grep> but it is usually not as
1731pronounced). 2035pronounced).
1732 2036
1733 2037
1734=head1 SEE ALSO 2038=head1 SEE ALSO
1735 2039

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines