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.164 by root, Tue Jul 8 19:50:25 2008 UTC vs.
Revision 1.210 by root, Wed May 13 15:19:43 2009 UTC

6 6
7=head1 SYNOPSIS 7=head1 SYNOPSIS
8 8
9 use AnyEvent; 9 use AnyEvent;
10 10
11 # file descriptor readable
11 my $w = AnyEvent->io (fh => $fh, poll => "r|w", cb => sub { 12 my $w = AnyEvent->io (fh => $fh, poll => "r", cb => sub { ... });
13
14 # one-shot or repeating timers
15 my $w = AnyEvent->timer (after => $seconds, cb => sub { ... });
16 my $w = AnyEvent->timer (after => $seconds, interval => $seconds, cb => ...
17
18 print AnyEvent->now; # prints current event loop time
19 print AnyEvent->time; # think Time::HiRes::time or simply CORE::time.
20
21 # POSIX signal
22 my $w = AnyEvent->signal (signal => "TERM", cb => sub { ... });
23
24 # child process exit
25 my $w = AnyEvent->child (pid => $pid, cb => sub {
26 my ($pid, $status) = @_;
12 ... 27 ...
13 }); 28 });
14 29
15 my $w = AnyEvent->timer (after => $seconds, cb => sub { 30 # called when event loop idle (if applicable)
16 ... 31 my $w = AnyEvent->idle (cb => sub { ... });
17 });
18 32
19 my $w = AnyEvent->condvar; # stores whether a condition was flagged 33 my $w = AnyEvent->condvar; # stores whether a condition was flagged
20 $w->send; # wake up current and all future recv's 34 $w->send; # wake up current and all future recv's
21 $w->recv; # enters "main loop" till $condvar gets ->send 35 $w->recv; # enters "main loop" till $condvar gets ->send
36 # use a condvar in callback mode:
37 $w->cb (sub { $_[0]->recv });
22 38
23=head1 INTRODUCTION/TUTORIAL 39=head1 INTRODUCTION/TUTORIAL
24 40
25This manpage is mainly a reference manual. If you are interested 41This manpage is mainly a reference manual. If you are interested
26in a tutorial or some gentle introduction, have a look at the 42in a tutorial or some gentle introduction, have a look at the
33 49
34Executive Summary: AnyEvent is I<compatible>, AnyEvent is I<free of 50Executive Summary: AnyEvent is I<compatible>, AnyEvent is I<free of
35policy> and AnyEvent is I<small and efficient>. 51policy> and AnyEvent is I<small and efficient>.
36 52
37First and foremost, I<AnyEvent is not an event model> itself, it only 53First and foremost, I<AnyEvent is not an event model> itself, it only
38interfaces to whatever event model the main program happens to use in a 54interfaces to whatever event model the main program happens to use, in a
39pragmatic way. For event models and certain classes of immortals alike, 55pragmatic way. For event models and certain classes of immortals alike,
40the statement "there can only be one" is a bitter reality: In general, 56the statement "there can only be one" is a bitter reality: In general,
41only one event loop can be active at the same time in a process. AnyEvent 57only one event loop can be active at the same time in a process. AnyEvent
42helps hiding the differences between those event loops. 58cannot change this, but it can hide the differences between those event
59loops.
43 60
44The goal of AnyEvent is to offer module authors the ability to do event 61The goal of AnyEvent is to offer module authors the ability to do event
45programming (waiting for I/O or timer events) without subscribing to a 62programming (waiting for I/O or timer events) without subscribing to a
46religion, a way of living, and most importantly: without forcing your 63religion, a way of living, and most importantly: without forcing your
47module users into the same thing by forcing them to use the same event 64module users into the same thing by forcing them to use the same event
48model you use. 65model you use.
49 66
50For modules like POE or IO::Async (which is a total misnomer as it is 67For modules like POE or IO::Async (which is a total misnomer as it is
51actually doing all I/O I<synchronously>...), using them in your module is 68actually doing all I/O I<synchronously>...), using them in your module is
52like joining a cult: After you joined, you are dependent on them and you 69like joining a cult: After you joined, you are dependent on them and you
53cannot use anything else, as it is simply incompatible to everything that 70cannot use anything else, as they are simply incompatible to everything
54isn't itself. What's worse, all the potential users of your module are 71that isn't them. What's worse, all the potential users of your
55I<also> forced to use the same event loop you use. 72module are I<also> forced to use the same event loop you use.
56 73
57AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works 74AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works
58fine. AnyEvent + Tk works fine etc. etc. but none of these work together 75fine. AnyEvent + Tk works fine etc. etc. but none of these work together
59with the rest: POE + IO::Async? No go. Tk + Event? No go. Again: if 76with the rest: POE + IO::Async? No go. Tk + Event? No go. Again: if
60your module uses one of those, every user of your module has to use it, 77your module uses one of those, every user of your module has to use it,
61too. But if your module uses AnyEvent, it works transparently with all 78too. But if your module uses AnyEvent, it works transparently with all
62event models it supports (including stuff like POE and IO::Async, as long 79event models it supports (including stuff like IO::Async, as long as those
63as those use one of the supported event loops. It is trivial to add new 80use one of the supported event loops. It is trivial to add new event loops
64event loops to AnyEvent, too, so it is future-proof). 81to AnyEvent, too, so it is future-proof).
65 82
66In addition to being free of having to use I<the one and only true event 83In addition to being free of having to use I<the one and only true event
67model>, AnyEvent also is free of bloat and policy: with POE or similar 84model>, AnyEvent also is free of bloat and policy: with POE or similar
68modules, you get an enormous amount of code and strict rules you have to 85modules, you get an enormous amount of code and strict rules you have to
69follow. AnyEvent, on the other hand, is lean and up to the point, by only 86follow. AnyEvent, on the other hand, is lean and up to the point, by only
127These watchers are normal Perl objects with normal Perl lifetime. After 144These watchers are normal Perl objects with normal Perl lifetime. After
128creating a watcher it will immediately "watch" for events and invoke the 145creating a watcher it will immediately "watch" for events and invoke the
129callback when the event occurs (of course, only when the event model 146callback when the event occurs (of course, only when the event model
130is in control). 147is in control).
131 148
149Note that B<callbacks must not permanently change global variables>
150potentially in use by the event loop (such as C<$_> or C<$[>) and that B<<
151callbacks must not C<die> >>. The former is good programming practise in
152Perl and the latter stems from the fact that exception handling differs
153widely between event loops.
154
132To disable the watcher you have to destroy it (e.g. by setting the 155To disable the watcher you have to destroy it (e.g. by setting the
133variable you store it in to C<undef> or otherwise deleting all references 156variable you store it in to C<undef> or otherwise deleting all references
134to it). 157to it).
135 158
136All watchers are created by calling a method on the C<AnyEvent> class. 159All watchers are created by calling a method on the C<AnyEvent> class.
152=head2 I/O WATCHERS 175=head2 I/O WATCHERS
153 176
154You can create an I/O watcher by calling the C<< AnyEvent->io >> method 177You can create an I/O watcher by calling the C<< AnyEvent->io >> method
155with the following mandatory key-value pairs as arguments: 178with the following mandatory key-value pairs as arguments:
156 179
157C<fh> the Perl I<file handle> (I<not> file descriptor) to watch 180C<fh> is the Perl I<file handle> (I<not> file descriptor) to watch
181for events (AnyEvent might or might not keep a reference to this file
182handle). Note that only file handles pointing to things for which
183non-blocking operation makes sense are allowed. This includes sockets,
184most character devices, pipes, fifos and so on, but not for example files
185or block devices.
186
158for events. C<poll> must be a string that is either C<r> or C<w>, 187C<poll> must be a string that is either C<r> or C<w>, which creates a
159which creates a watcher waiting for "r"eadable or "w"ritable events, 188watcher waiting for "r"eadable or "w"ritable events, respectively.
189
160respectively. C<cb> is the callback to invoke each time the file handle 190C<cb> is the callback to invoke each time the file handle becomes ready.
161becomes ready.
162 191
163Although the callback might get passed parameters, their value and 192Although the callback might get passed parameters, their value and
164presence is undefined and you cannot rely on them. Portable AnyEvent 193presence is undefined and you cannot rely on them. Portable AnyEvent
165callbacks cannot use arguments passed to I/O watcher callbacks. 194callbacks cannot use arguments passed to I/O watcher callbacks.
166 195
193Although the callback might get passed parameters, their value and 222Although the callback might get passed parameters, their value and
194presence is undefined and you cannot rely on them. Portable AnyEvent 223presence is undefined and you cannot rely on them. Portable AnyEvent
195callbacks cannot use arguments passed to time watcher callbacks. 224callbacks cannot use arguments passed to time watcher callbacks.
196 225
197The callback will normally be invoked once only. If you specify another 226The callback will normally be invoked once only. If you specify another
198parameter, C<interval>, as a positive number, then the callback will be 227parameter, C<interval>, as a strictly positive number (> 0), then the
199invoked regularly at that interval (in fractional seconds) after the first 228callback will be invoked regularly at that interval (in fractional
200invocation. 229seconds) after the first invocation. If C<interval> is specified with a
230false value, then it is treated as if it were missing.
201 231
202The callback will be rescheduled before invoking the callback, but no 232The callback will be rescheduled before invoking the callback, but no
203attempt is done to avoid timer drift in most backends, so the interval is 233attempt is done to avoid timer drift in most backends, so the interval is
204only approximate. 234only approximate.
205 235
297In either case, if you care (and in most cases, you don't), then you 327In either case, if you care (and in most cases, you don't), then you
298can get whatever behaviour you want with any event loop, by taking the 328can get whatever behaviour you want with any event loop, by taking the
299difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into 329difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into
300account. 330account.
301 331
332=item AnyEvent->now_update
333
334Some event loops (such as L<EV> or L<AnyEvent::Impl::Perl>) cache
335the current time for each loop iteration (see the discussion of L<<
336AnyEvent->now >>, above).
337
338When a callback runs for a long time (or when the process sleeps), then
339this "current" time will differ substantially from the real time, which
340might affect timers and time-outs.
341
342When this is the case, you can call this method, which will update the
343event loop's idea of "current time".
344
345Note that updating the time I<might> cause some events to be handled.
346
302=back 347=back
303 348
304=head2 SIGNAL WATCHERS 349=head2 SIGNAL WATCHERS
305 350
306You can watch for signals using a signal watcher, C<signal> is the signal 351You can watch for signals using a signal watcher, C<signal> is the signal
307I<name> without any C<SIG> prefix, C<cb> is the Perl callback to 352I<name> in uppercase and without any C<SIG> prefix, C<cb> is the Perl
308be invoked whenever a signal occurs. 353callback to be invoked whenever a signal occurs.
309 354
310Although the callback might get passed parameters, their value and 355Although the callback might get passed parameters, their value and
311presence is undefined and you cannot rely on them. Portable AnyEvent 356presence is undefined and you cannot rely on them. Portable AnyEvent
312callbacks cannot use arguments passed to signal watcher callbacks. 357callbacks cannot use arguments passed to signal watcher callbacks.
313 358
329=head2 CHILD PROCESS WATCHERS 374=head2 CHILD PROCESS WATCHERS
330 375
331You can also watch on a child process exit and catch its exit status. 376You can also watch on a child process exit and catch its exit status.
332 377
333The child process is specified by the C<pid> argument (if set to C<0>, it 378The child process is specified by the C<pid> argument (if set to C<0>, it
334watches for any child process exit). The watcher will trigger as often 379watches for any child process exit). The watcher will triggered only when
335as status change for the child are received. This works by installing a 380the child process has finished and an exit status is available, not on
336signal handler for C<SIGCHLD>. The callback will be called with the pid 381any trace events (stopped/continued).
337and exit status (as returned by waitpid), so unlike other watcher types, 382
338you I<can> rely on child watcher callback arguments. 383The callback will be called with the pid and exit status (as returned by
384waitpid), so unlike other watcher types, you I<can> rely on child watcher
385callback arguments.
386
387This watcher type works by installing a signal handler for C<SIGCHLD>,
388and since it cannot be shared, nothing else should use SIGCHLD or reap
389random child processes (waiting for specific child processes, e.g. inside
390C<system>, is just fine).
339 391
340There is a slight catch to child watchers, however: you usually start them 392There is a slight catch to child watchers, however: you usually start them
341I<after> the child process was created, and this means the process could 393I<after> the child process was created, and this means the process could
342have exited already (and no SIGCHLD will be sent anymore). 394have exited already (and no SIGCHLD will be sent anymore).
343 395
365 ); 417 );
366 418
367 # do something else, then wait for process exit 419 # do something else, then wait for process exit
368 $done->recv; 420 $done->recv;
369 421
422=head2 IDLE WATCHERS
423
424Sometimes there is a need to do something, but it is not so important
425to do it instantly, but only when there is nothing better to do. This
426"nothing better to do" is usually defined to be "no other events need
427attention by the event loop".
428
429Idle watchers ideally get invoked when the event loop has nothing
430better to do, just before it would block the process to wait for new
431events. Instead of blocking, the idle watcher is invoked.
432
433Most event loops unfortunately do not really support idle watchers (only
434EV, Event and Glib do it in a usable fashion) - for the rest, AnyEvent
435will simply call the callback "from time to time".
436
437Example: read lines from STDIN, but only process them when the
438program is otherwise idle:
439
440 my @lines; # read data
441 my $idle_w;
442 my $io_w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
443 push @lines, scalar <STDIN>;
444
445 # start an idle watcher, if not already done
446 $idle_w ||= AnyEvent->idle (cb => sub {
447 # handle only one line, when there are lines left
448 if (my $line = shift @lines) {
449 print "handled when idle: $line";
450 } else {
451 # otherwise disable the idle watcher again
452 undef $idle_w;
453 }
454 });
455 });
456
370=head2 CONDITION VARIABLES 457=head2 CONDITION VARIABLES
371 458
372If you are familiar with some event loops you will know that all of them 459If you are familiar with some event loops you will know that all of them
373require you to run some blocking "loop", "run" or similar function that 460require you to run some blocking "loop", "run" or similar function that
374will actively watch for new events and call your callbacks. 461will actively watch for new events and call your callbacks.
379The instrument to do that is called a "condition variable", so called 466The instrument to do that is called a "condition variable", so called
380because they represent a condition that must become true. 467because they represent a condition that must become true.
381 468
382Condition variables can be created by calling the C<< AnyEvent->condvar 469Condition variables can be created by calling the C<< AnyEvent->condvar
383>> method, usually without arguments. The only argument pair allowed is 470>> method, usually without arguments. The only argument pair allowed is
471
384C<cb>, which specifies a callback to be called when the condition variable 472C<cb>, which specifies a callback to be called when the condition variable
385becomes true. 473becomes true, with the condition variable as the first argument (but not
474the results).
386 475
387After creation, the condition variable is "false" until it becomes "true" 476After creation, the condition variable is "false" until it becomes "true"
388by calling the C<send> method (or calling the condition variable as if it 477by calling the C<send> method (or calling the condition variable as if it
389were a callback, read about the caveats in the description for the C<< 478were a callback, read about the caveats in the description for the C<<
390->send >> method). 479->send >> method).
446 535
447 my $done = AnyEvent->condvar; 536 my $done = AnyEvent->condvar;
448 my $delay = AnyEvent->timer (after => 5, cb => $done); 537 my $delay = AnyEvent->timer (after => 5, cb => $done);
449 $done->recv; 538 $done->recv;
450 539
540Example: Imagine an API that returns a condvar and doesn't support
541callbacks. This is how you make a synchronous call, for example from
542the main program:
543
544 use AnyEvent::CouchDB;
545
546 ...
547
548 my @info = $couchdb->info->recv;
549
550And this is how you would just ste a callback to be called whenever the
551results are available:
552
553 $couchdb->info->cb (sub {
554 my @info = $_[0]->recv;
555 });
556
451=head3 METHODS FOR PRODUCERS 557=head3 METHODS FOR PRODUCERS
452 558
453These methods should only be used by the producing side, i.e. the 559These methods should only be used by the producing side, i.e. the
454code/module that eventually sends the signal. Note that it is also 560code/module that eventually sends the signal. Note that it is also
455the producer side which creates the condvar in most cases, but it isn't 561the producer side which creates the condvar in most cases, but it isn't
588=item $bool = $cv->ready 694=item $bool = $cv->ready
589 695
590Returns true when the condition is "true", i.e. whether C<send> or 696Returns true when the condition is "true", i.e. whether C<send> or
591C<croak> have been called. 697C<croak> have been called.
592 698
593=item $cb = $cv->cb ([new callback]) 699=item $cb = $cv->cb ($cb->($cv))
594 700
595This is a mutator function that returns the callback set and optionally 701This is a mutator function that returns the callback set and optionally
596replaces it before doing so. 702replaces it before doing so.
597 703
598The callback will be called when the condition becomes "true", i.e. when 704The callback will be called when the condition becomes "true", i.e. when
788=item L<AnyEvent::IGS> 894=item L<AnyEvent::IGS>
789 895
790A non-blocking interface to the Internet Go Server protocol (used by 896A non-blocking interface to the Internet Go Server protocol (used by
791L<App::IGS>). 897L<App::IGS>).
792 898
793=item L<Net::IRC3> 899=item L<AnyEvent::IRC>
794 900
795AnyEvent based IRC client module family. 901AnyEvent based IRC client module family (replacing the older Net::IRC3).
796 902
797=item L<Net::XMPP2> 903=item L<Net::XMPP2>
798 904
799AnyEvent based XMPP (Jabber protocol) module family. 905AnyEvent based XMPP (Jabber protocol) module family.
800 906
820=cut 926=cut
821 927
822package AnyEvent; 928package AnyEvent;
823 929
824no warnings; 930no warnings;
825use strict; 931use strict qw(vars subs);
826 932
827use Carp; 933use Carp;
828 934
829our $VERSION = 4.2; 935our $VERSION = 4.41;
830our $MODEL; 936our $MODEL;
831 937
832our $AUTOLOAD; 938our $AUTOLOAD;
833our @ISA; 939our @ISA;
834 940
866 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 972 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
867 [Wx:: => AnyEvent::Impl::POE::], 973 [Wx:: => AnyEvent::Impl::POE::],
868 [Prima:: => AnyEvent::Impl::POE::], 974 [Prima:: => AnyEvent::Impl::POE::],
869); 975);
870 976
871our %method = map +($_ => 1), qw(io timer time now signal child condvar one_event DESTROY); 977our %method = map +($_ => 1),
978 qw(io timer time now now_update signal child idle condvar one_event DESTROY);
872 979
873our @post_detect; 980our @post_detect;
874 981
875sub post_detect(&) { 982sub post_detect(&) {
876 my ($cb) = @_; 983 my ($cb) = @_;
881 1 988 1
882 } else { 989 } else {
883 push @post_detect, $cb; 990 push @post_detect, $cb;
884 991
885 defined wantarray 992 defined wantarray
886 ? bless \$cb, "AnyEvent::Util::PostDetect" 993 ? bless \$cb, "AnyEvent::Util::postdetect"
887 : () 994 : ()
888 } 995 }
889} 996}
890 997
891sub AnyEvent::Util::PostDetect::DESTROY { 998sub AnyEvent::Util::postdetect::DESTROY {
892 @post_detect = grep $_ != ${$_[0]}, @post_detect; 999 @post_detect = grep $_ != ${$_[0]}, @post_detect;
893} 1000}
894 1001
895sub detect() { 1002sub detect() {
896 unless ($MODEL) { 1003 unless ($MODEL) {
933 last; 1040 last;
934 } 1041 }
935 } 1042 }
936 1043
937 $MODEL 1044 $MODEL
938 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib."; 1045 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib.\n";
939 } 1046 }
940 } 1047 }
941 1048
1049 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
1050
942 unshift @ISA, $MODEL; 1051 unshift @ISA, $MODEL;
943 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 1052
1053 require AnyEvent::Strict if $ENV{PERL_ANYEVENT_STRICT};
944 1054
945 (shift @post_detect)->() while @post_detect; 1055 (shift @post_detect)->() while @post_detect;
946 } 1056 }
947 1057
948 $MODEL 1058 $MODEL
958 1068
959 my $class = shift; 1069 my $class = shift;
960 $class->$func (@_); 1070 $class->$func (@_);
961} 1071}
962 1072
1073# utility function to dup a filehandle. this is used by many backends
1074# to support binding more than one watcher per filehandle (they usually
1075# allow only one watcher per fd, so we dup it to get a different one).
1076sub _dupfh($$$$) {
1077 my ($poll, $fh, $r, $w) = @_;
1078
1079 # cygwin requires the fh mode to be matching, unix doesn't
1080 my ($rw, $mode) = $poll eq "r" ? ($r, "<")
1081 : $poll eq "w" ? ($w, ">")
1082 : Carp::croak "AnyEvent->io requires poll set to either 'r' or 'w'";
1083
1084 open my $fh2, "$mode&" . fileno $fh
1085 or die "cannot dup() filehandle: $!,";
1086
1087 # we assume CLOEXEC is already set by perl in all important cases
1088
1089 ($fh2, $rw)
1090}
1091
963package AnyEvent::Base; 1092package AnyEvent::Base;
964 1093
965# default implementation for now and time 1094# default implementations for many methods
966 1095
967use Time::HiRes (); 1096BEGIN {
1097 if (eval "use Time::HiRes (); Time::HiRes::time (); 1") {
1098 *_time = \&Time::HiRes::time;
1099 # if (eval "use POSIX (); (POSIX::times())...
1100 } else {
1101 *_time = sub { time }; # epic fail
1102 }
1103}
968 1104
969sub time { Time::HiRes::time } 1105sub time { _time }
970sub now { Time::HiRes::time } 1106sub now { _time }
1107sub now_update { }
971 1108
972# default implementation for ->condvar 1109# default implementation for ->condvar
973 1110
974sub condvar { 1111sub condvar {
975 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar:: 1112 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, "AnyEvent::CondVar"
976} 1113}
977 1114
978# default implementation for ->signal 1115# default implementation for ->signal
979 1116
980our %SIG_CB; 1117our ($SIGPIPE_R, $SIGPIPE_W, %SIG_CB, %SIG_EV, $SIG_IO);
1118
1119sub _signal_exec {
1120 sysread $SIGPIPE_R, my $dummy, 4;
1121
1122 while (%SIG_EV) {
1123 for (keys %SIG_EV) {
1124 delete $SIG_EV{$_};
1125 $_->() for values %{ $SIG_CB{$_} || {} };
1126 }
1127 }
1128}
981 1129
982sub signal { 1130sub signal {
983 my (undef, %arg) = @_; 1131 my (undef, %arg) = @_;
984 1132
1133 unless ($SIGPIPE_R) {
1134 require Fcntl;
1135
1136 if (AnyEvent::WIN32) {
1137 require AnyEvent::Util;
1138
1139 ($SIGPIPE_R, $SIGPIPE_W) = AnyEvent::Util::portable_pipe ();
1140 AnyEvent::Util::fh_nonblocking ($SIGPIPE_R) if $SIGPIPE_R;
1141 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W) if $SIGPIPE_W; # just in case
1142 } else {
1143 pipe $SIGPIPE_R, $SIGPIPE_W;
1144 fcntl $SIGPIPE_R, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_R;
1145 fcntl $SIGPIPE_W, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_W; # just in case
1146 }
1147
1148 $SIGPIPE_R
1149 or Carp::croak "AnyEvent: unable to create a signal reporting pipe: $!\n";
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 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R, poll => "r", cb => \&_signal_exec);
1156 }
1157
985 my $signal = uc $arg{signal} 1158 my $signal = uc $arg{signal}
986 or Carp::croak "required option 'signal' is missing"; 1159 or Carp::croak "required option 'signal' is missing";
987 1160
988 $SIG_CB{$signal}{$arg{cb}} = $arg{cb}; 1161 $SIG_CB{$signal}{$arg{cb}} = $arg{cb};
989 $SIG{$signal} ||= sub { 1162 $SIG{$signal} ||= sub {
990 $_->() for values %{ $SIG_CB{$signal} || {} }; 1163 local $!;
1164 syswrite $SIGPIPE_W, "\x00", 1 unless %SIG_EV;
1165 undef $SIG_EV{$signal};
991 }; 1166 };
992 1167
993 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal" 1168 bless [$signal, $arg{cb}], "AnyEvent::Base::signal"
994} 1169}
995 1170
996sub AnyEvent::Base::Signal::DESTROY { 1171sub AnyEvent::Base::signal::DESTROY {
997 my ($signal, $cb) = @{$_[0]}; 1172 my ($signal, $cb) = @{$_[0]};
998 1173
999 delete $SIG_CB{$signal}{$cb}; 1174 delete $SIG_CB{$signal}{$cb};
1000 1175
1176 # delete doesn't work with older perls - they then
1177 # print weird messages, or just unconditionally exit
1178 # instead of getting the default action.
1001 delete $SIG{$signal} unless keys %{ $SIG_CB{$signal} }; 1179 undef $SIG{$signal} unless keys %{ $SIG_CB{$signal} };
1002} 1180}
1003 1181
1004# default implementation for ->child 1182# default implementation for ->child
1005 1183
1006our %PID_CB; 1184our %PID_CB;
1007our $CHLD_W; 1185our $CHLD_W;
1008our $CHLD_DELAY_W; 1186our $CHLD_DELAY_W;
1009our $PID_IDLE;
1010our $WNOHANG; 1187our $WNOHANG;
1011 1188
1012sub _child_wait { 1189sub _sigchld {
1013 while (0 < (my $pid = waitpid -1, $WNOHANG)) { 1190 while (0 < (my $pid = waitpid -1, $WNOHANG)) {
1014 $_->($pid, $?) for (values %{ $PID_CB{$pid} || {} }), 1191 $_->($pid, $?) for (values %{ $PID_CB{$pid} || {} }),
1015 (values %{ $PID_CB{0} || {} }); 1192 (values %{ $PID_CB{0} || {} });
1016 } 1193 }
1017
1018 undef $PID_IDLE;
1019}
1020
1021sub _sigchld {
1022 # make sure we deliver these changes "synchronous" with the event loop.
1023 $CHLD_DELAY_W ||= AnyEvent->timer (after => 0, cb => sub {
1024 undef $CHLD_DELAY_W;
1025 &_child_wait;
1026 });
1027} 1194}
1028 1195
1029sub child { 1196sub child {
1030 my (undef, %arg) = @_; 1197 my (undef, %arg) = @_;
1031 1198
1032 defined (my $pid = $arg{pid} + 0) 1199 defined (my $pid = $arg{pid} + 0)
1033 or Carp::croak "required option 'pid' is missing"; 1200 or Carp::croak "required option 'pid' is missing";
1034 1201
1035 $PID_CB{$pid}{$arg{cb}} = $arg{cb}; 1202 $PID_CB{$pid}{$arg{cb}} = $arg{cb};
1036 1203
1037 unless ($WNOHANG) {
1038 $WNOHANG = eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1; 1204 $WNOHANG ||= eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1;
1039 }
1040 1205
1041 unless ($CHLD_W) { 1206 unless ($CHLD_W) {
1042 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld); 1207 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld);
1043 # child could be a zombie already, so make at least one round 1208 # child could be a zombie already, so make at least one round
1044 &_sigchld; 1209 &_sigchld;
1045 } 1210 }
1046 1211
1047 bless [$pid, $arg{cb}], "AnyEvent::Base::Child" 1212 bless [$pid, $arg{cb}], "AnyEvent::Base::child"
1048} 1213}
1049 1214
1050sub AnyEvent::Base::Child::DESTROY { 1215sub AnyEvent::Base::child::DESTROY {
1051 my ($pid, $cb) = @{$_[0]}; 1216 my ($pid, $cb) = @{$_[0]};
1052 1217
1053 delete $PID_CB{$pid}{$cb}; 1218 delete $PID_CB{$pid}{$cb};
1054 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 1219 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
1055 1220
1056 undef $CHLD_W unless keys %PID_CB; 1221 undef $CHLD_W unless keys %PID_CB;
1222}
1223
1224# idle emulation is done by simply using a timer, regardless
1225# of whether the process is idle or not, and not letting
1226# the callback use more than 50% of the time.
1227sub idle {
1228 my (undef, %arg) = @_;
1229
1230 my ($cb, $w, $rcb) = $arg{cb};
1231
1232 $rcb = sub {
1233 if ($cb) {
1234 $w = _time;
1235 &$cb;
1236 $w = _time - $w;
1237
1238 # never use more then 50% of the time for the idle watcher,
1239 # within some limits
1240 $w = 0.0001 if $w < 0.0001;
1241 $w = 5 if $w > 5;
1242
1243 $w = AnyEvent->timer (after => $w, cb => $rcb);
1244 } else {
1245 # clean up...
1246 undef $w;
1247 undef $rcb;
1248 }
1249 };
1250
1251 $w = AnyEvent->timer (after => 0.05, cb => $rcb);
1252
1253 bless \\$cb, "AnyEvent::Base::idle"
1254}
1255
1256sub AnyEvent::Base::idle::DESTROY {
1257 undef $${$_[0]};
1057} 1258}
1058 1259
1059package AnyEvent::CondVar; 1260package AnyEvent::CondVar;
1060 1261
1061our @ISA = AnyEvent::CondVar::Base::; 1262our @ISA = AnyEvent::CondVar::Base::;
1113} 1314}
1114 1315
1115# undocumented/compatibility with pre-3.4 1316# undocumented/compatibility with pre-3.4
1116*broadcast = \&send; 1317*broadcast = \&send;
1117*wait = \&_wait; 1318*wait = \&_wait;
1319
1320=head1 ERROR AND EXCEPTION HANDLING
1321
1322In general, AnyEvent does not do any error handling - it relies on the
1323caller to do that if required. The L<AnyEvent::Strict> module (see also
1324the C<PERL_ANYEVENT_STRICT> environment variable, below) provides strict
1325checking of all AnyEvent methods, however, which is highly useful during
1326development.
1327
1328As for exception handling (i.e. runtime errors and exceptions thrown while
1329executing a callback), this is not only highly event-loop specific, but
1330also not in any way wrapped by this module, as this is the job of the main
1331program.
1332
1333The pure perl event loop simply re-throws the exception (usually
1334within C<< condvar->recv >>), the L<Event> and L<EV> modules call C<<
1335$Event/EV::DIED->() >>, L<Glib> uses C<< install_exception_handler >> and
1336so on.
1337
1338=head1 ENVIRONMENT VARIABLES
1339
1340The following environment variables are used by this module or its
1341submodules:
1342
1343=over 4
1344
1345=item C<PERL_ANYEVENT_VERBOSE>
1346
1347By default, AnyEvent will be completely silent except in fatal
1348conditions. You can set this environment variable to make AnyEvent more
1349talkative.
1350
1351When set to C<1> or higher, causes AnyEvent to warn about unexpected
1352conditions, such as not being able to load the event model specified by
1353C<PERL_ANYEVENT_MODEL>.
1354
1355When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1356model it chooses.
1357
1358=item C<PERL_ANYEVENT_STRICT>
1359
1360AnyEvent does not do much argument checking by default, as thorough
1361argument checking is very costly. Setting this variable to a true value
1362will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1363check the arguments passed to most method calls. If it finds any problems
1364it will croak.
1365
1366In other words, enables "strict" mode.
1367
1368Unlike C<use strict>, it is definitely recommended ot keep it off in
1369production. Keeping C<PERL_ANYEVENT_STRICT=1> in your environment while
1370developing programs can be very useful, however.
1371
1372=item C<PERL_ANYEVENT_MODEL>
1373
1374This can be used to specify the event model to be used by AnyEvent, before
1375auto detection and -probing kicks in. It must be a string consisting
1376entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1377and the resulting module name is loaded and if the load was successful,
1378used as event model. If it fails to load AnyEvent will proceed with
1379auto detection and -probing.
1380
1381This functionality might change in future versions.
1382
1383For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1384could start your program like this:
1385
1386 PERL_ANYEVENT_MODEL=Perl perl ...
1387
1388=item C<PERL_ANYEVENT_PROTOCOLS>
1389
1390Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1391for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1392of auto probing).
1393
1394Must be set to a comma-separated list of protocols or address families,
1395current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1396used, and preference will be given to protocols mentioned earlier in the
1397list.
1398
1399This variable can effectively be used for denial-of-service attacks
1400against local programs (e.g. when setuid), although the impact is likely
1401small, as the program has to handle conenction and other failures anyways.
1402
1403Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1404but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1405- only support IPv4, never try to resolve or contact IPv6
1406addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1407IPv6, but prefer IPv6 over IPv4.
1408
1409=item C<PERL_ANYEVENT_EDNS0>
1410
1411Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1412for DNS. This extension is generally useful to reduce DNS traffic, but
1413some (broken) firewalls drop such DNS packets, which is why it is off by
1414default.
1415
1416Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1417EDNS0 in its DNS requests.
1418
1419=item C<PERL_ANYEVENT_MAX_FORKS>
1420
1421The maximum number of child processes that C<AnyEvent::Util::fork_call>
1422will create in parallel.
1423
1424=back
1118 1425
1119=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1426=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
1120 1427
1121This is an advanced topic that you do not normally need to use AnyEvent in 1428This is an advanced topic that you do not normally need to use AnyEvent in
1122a module. This section is only of use to event loop authors who want to 1429a module. This section is only of use to event loop authors who want to
1156 1463
1157I<rxvt-unicode> also cheats a bit by not providing blocking access to 1464I<rxvt-unicode> also cheats a bit by not providing blocking access to
1158condition variables: code blocking while waiting for a condition will 1465condition variables: code blocking while waiting for a condition will
1159C<die>. This still works with most modules/usages, and blocking calls must 1466C<die>. This still works with most modules/usages, and blocking calls must
1160not be done in an interactive application, so it makes sense. 1467not be done in an interactive application, so it makes sense.
1161
1162=head1 ENVIRONMENT VARIABLES
1163
1164The following environment variables are used by this module:
1165
1166=over 4
1167
1168=item C<PERL_ANYEVENT_VERBOSE>
1169
1170By default, AnyEvent will be completely silent except in fatal
1171conditions. You can set this environment variable to make AnyEvent more
1172talkative.
1173
1174When set to C<1> or higher, causes AnyEvent to warn about unexpected
1175conditions, such as not being able to load the event model specified by
1176C<PERL_ANYEVENT_MODEL>.
1177
1178When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1179model it chooses.
1180
1181=item C<PERL_ANYEVENT_MODEL>
1182
1183This can be used to specify the event model to be used by AnyEvent, before
1184auto detection and -probing kicks in. It must be a string consisting
1185entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1186and the resulting module name is loaded and if the load was successful,
1187used as event model. If it fails to load AnyEvent will proceed with
1188auto detection and -probing.
1189
1190This functionality might change in future versions.
1191
1192For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1193could start your program like this:
1194
1195 PERL_ANYEVENT_MODEL=Perl perl ...
1196
1197=item C<PERL_ANYEVENT_PROTOCOLS>
1198
1199Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1200for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1201of auto probing).
1202
1203Must be set to a comma-separated list of protocols or address families,
1204current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1205used, and preference will be given to protocols mentioned earlier in the
1206list.
1207
1208This variable can effectively be used for denial-of-service attacks
1209against local programs (e.g. when setuid), although the impact is likely
1210small, as the program has to handle connection errors already-
1211
1212Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1213but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1214- only support IPv4, never try to resolve or contact IPv6
1215addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1216IPv6, but prefer IPv6 over IPv4.
1217
1218=item C<PERL_ANYEVENT_EDNS0>
1219
1220Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1221for DNS. This extension is generally useful to reduce DNS traffic, but
1222some (broken) firewalls drop such DNS packets, which is why it is off by
1223default.
1224
1225Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1226EDNS0 in its DNS requests.
1227
1228=item C<PERL_ANYEVENT_MAX_FORKS>
1229
1230The maximum number of child processes that C<AnyEvent::Util::fork_call>
1231will create in parallel.
1232
1233=back
1234 1468
1235=head1 EXAMPLE PROGRAM 1469=head1 EXAMPLE PROGRAM
1236 1470
1237The following program uses an I/O watcher to read data from STDIN, a timer 1471The following program uses an I/O watcher to read data from STDIN, a timer
1238to display a message once per second, and a condition variable to quit the 1472to display a message once per second, and a condition variable to quit the
1432watcher. 1666watcher.
1433 1667
1434=head3 Results 1668=head3 Results
1435 1669
1436 name watchers bytes create invoke destroy comment 1670 name watchers bytes create invoke destroy comment
1437 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1671 EV/EV 400000 224 0.47 0.35 0.27 EV native interface
1438 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers 1672 EV/Any 100000 224 2.88 0.34 0.27 EV + AnyEvent watchers
1439 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal 1673 CoroEV/Any 100000 224 2.85 0.35 0.28 coroutines + Coro::Signal
1440 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation 1674 Perl/Any 100000 452 4.13 0.73 0.95 pure perl implementation
1441 Event/Event 16000 516 31.88 31.30 0.85 Event native interface 1675 Event/Event 16000 517 32.20 31.80 0.81 Event native interface
1442 Event/Any 16000 590 35.75 31.42 1.08 Event + AnyEvent watchers 1676 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers
1443 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1677 Glib/Any 16000 1357 102.33 12.31 51.00 quadratic behaviour
1444 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers 1678 Tk/Any 2000 1860 27.20 66.31 14.00 SEGV with >> 2000 watchers
1445 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event 1679 POE/Event 2000 6328 109.99 751.67 14.02 via POE::Loop::Event
1446 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select 1680 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select
1447 1681
1448=head3 Discussion 1682=head3 Discussion
1449 1683
1450The benchmark does I<not> measure scalability of the event loop very 1684The benchmark does I<not> measure scalability of the event loop very
1451well. For example, a select-based event loop (such as the pure perl one) 1685well. For example, a select-based event loop (such as the pure perl one)
1653watchers, as the management overhead dominates. 1887watchers, as the management overhead dominates.
1654 1888
1655=back 1889=back
1656 1890
1657 1891
1892=head1 SIGNALS
1893
1894AnyEvent currently installs handlers for these signals:
1895
1896=over 4
1897
1898=item SIGCHLD
1899
1900A handler for C<SIGCHLD> is installed by AnyEvent's child watcher
1901emulation for event loops that do not support them natively. Also, some
1902event loops install a similar handler.
1903
1904=item SIGPIPE
1905
1906A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef>
1907when AnyEvent gets loaded.
1908
1909The rationale for this is that AnyEvent users usually do not really depend
1910on SIGPIPE delivery (which is purely an optimisation for shell use, or
1911badly-written programs), but C<SIGPIPE> can cause spurious and rare
1912program exits as a lot of people do not expect C<SIGPIPE> when writing to
1913some random socket.
1914
1915The rationale for installing a no-op handler as opposed to ignoring it is
1916that this way, the handler will be restored to defaults on exec.
1917
1918Feel free to install your own handler, or reset it to defaults.
1919
1920=back
1921
1922=cut
1923
1924$SIG{PIPE} = sub { }
1925 unless defined $SIG{PIPE};
1926
1927
1658=head1 FORK 1928=head1 FORK
1659 1929
1660Most event libraries are not fork-safe. The ones who are usually are 1930Most event libraries are not fork-safe. The ones who are usually are
1661because they rely on inefficient but fork-safe C<select> or C<poll> 1931because they rely on inefficient but fork-safe C<select> or C<poll>
1662calls. Only L<EV> is fully fork-aware. 1932calls. Only L<EV> is fully fork-aware.
1681 1951
1682 use AnyEvent; 1952 use AnyEvent;
1683 1953
1684Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can 1954Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1685be used to probe what backend is used and gain other information (which is 1955be used to probe what backend is used and gain other information (which is
1686probably even less useful to an attacker than PERL_ANYEVENT_MODEL). 1956probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and
1957$ENV{PERL_ANYEGENT_STRICT}.
1687 1958
1688 1959
1689=head1 BUGS 1960=head1 BUGS
1690 1961
1691Perl 5.8 has numerous memleaks that sometimes hit this module and are hard 1962Perl 5.8 has numerous memleaks that sometimes hit this module and are hard
1692to work around. If you suffer from memleaks, first upgrade to Perl 5.10 1963to work around. If you suffer from memleaks, first upgrade to Perl 5.10
1693and check wether the leaks still show up. (Perl 5.10.0 has other annoying 1964and check wether the leaks still show up. (Perl 5.10.0 has other annoying
1694mamleaks, such as leaking on C<map> and C<grep> but it is usually not as 1965memleaks, such as leaking on C<map> and C<grep> but it is usually not as
1695pronounced). 1966pronounced).
1696 1967
1697 1968
1698=head1 SEE ALSO 1969=head1 SEE ALSO
1699 1970

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines