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.167 by root, Tue Jul 8 23:44:51 2008 UTC vs.
Revision 1.228 by root, Wed Jul 8 01:11:12 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
33 50
34Executive Summary: AnyEvent is I<compatible>, AnyEvent is I<free of 51Executive Summary: AnyEvent is I<compatible>, AnyEvent is I<free of
35policy> and AnyEvent is I<small and efficient>. 52policy> and AnyEvent is I<small and efficient>.
36 53
37First and foremost, I<AnyEvent is not an event model> itself, it only 54First 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 55interfaces to whatever event model the main program happens to use, in a
39pragmatic way. For event models and certain classes of immortals alike, 56pragmatic way. For event models and certain classes of immortals alike,
40the statement "there can only be one" is a bitter reality: In general, 57the 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 58only one event loop can be active at the same time in a process. AnyEvent
42helps hiding the differences between those event loops. 59cannot change this, but it can hide the differences between those event
60loops.
43 61
44The goal of AnyEvent is to offer module authors the ability to do event 62The 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 63programming (waiting for I/O or timer events) without subscribing to a
46religion, a way of living, and most importantly: without forcing your 64religion, a way of living, and most importantly: without forcing your
47module users into the same thing by forcing them to use the same event 65module users into the same thing by forcing them to use the same event
48model you use. 66model you use.
49 67
50For modules like POE or IO::Async (which is a total misnomer as it is 68For 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 69actually 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 70like 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 71cannot use anything else, as they are simply incompatible to everything
54isn't itself. What's worse, all the potential users of your module are 72that isn't them. What's worse, all the potential users of your
55I<also> forced to use the same event loop you use. 73module are I<also> forced to use the same event loop you use.
56 74
57AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works 75AnyEvent is different: AnyEvent + POE works fine. AnyEvent + Glib works
58fine. AnyEvent + Tk works fine etc. etc. but none of these work together 76fine. 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 77with 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, 78your 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 79too. But if your module uses AnyEvent, it works transparently with all
62event models it supports (including stuff like POE and IO::Async, as long 80event 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 81use one of the supported event loops. It is trivial to add new event loops
64event loops to AnyEvent, too, so it is future-proof). 82to AnyEvent, too, so it is future-proof).
65 83
66In addition to being free of having to use I<the one and only true event 84In 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 85model>, 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 86modules, 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 87follow. 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 145These watchers are normal Perl objects with normal Perl lifetime. After
128creating a watcher it will immediately "watch" for events and invoke the 146creating a watcher it will immediately "watch" for events and invoke the
129callback when the event occurs (of course, only when the event model 147callback when the event occurs (of course, only when the event model
130is in control). 148is in control).
131 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
132To 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
133variable 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
134to it). 158to it).
135 159
136All 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.
152=head2 I/O WATCHERS 176=head2 I/O WATCHERS
153 177
154You 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
155with the following mandatory key-value pairs as arguments: 179with the following mandatory key-value pairs as arguments:
156 180
157C<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, see below) to
158(AnyEvent might or might not keep a reference to this file handle). C<poll> 182watch for events (AnyEvent might or might not keep a reference to this
183file handle). 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
159must 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
160waiting for "r"eadable or "w"ritable events, respectively. C<cb> is the 189watcher waiting for "r"eadable or "w"ritable events, respectively.
190
161callback to invoke each time the file handle becomes ready. 191C<cb> is the callback to invoke each time the file handle becomes ready.
162 192
163Although the callback might get passed parameters, their value and 193Although the callback might get passed parameters, their value and
164presence is undefined and you cannot rely on them. Portable AnyEvent 194presence is undefined and you cannot rely on them. Portable AnyEvent
165callbacks cannot use arguments passed to I/O watcher callbacks. 195callbacks cannot use arguments passed to I/O watcher callbacks.
166 196
179 chomp (my $input = <STDIN>); 209 chomp (my $input = <STDIN>);
180 warn "read: $input\n"; 210 warn "read: $input\n";
181 undef $w; 211 undef $w;
182 }); 212 });
183 213
214=head3 GETTING A FILE HANDLE FROM A FILE DESCRIPTOR
215
216It is not uncommon to only have a file descriptor, while AnyEvent requires
217a Perl file handle.
218
219There are basically two methods to convert a file descriptor into a file handle. If you own
220the file descriptor, you can open it with C<&=>, as in:
221
222 open my $fh, "<&=$fileno" or die "xxx: ยง!";
223
224This will "own" the file descriptor, meaning that when C<$fh> is
225destroyed, it will automatically close the C<$fileno>. Also, note that
226the open mode (read, write, read/write) must correspond with how the
227underlying file descriptor was opened.
228
229In many cases, taking over the file descriptor is now what you want, in
230which case the only alternative is to dup the file descriptor:
231
232 open my $fh, "<&$fileno" or die "xxx: $!";
233
234This has the advantage of not closing the file descriptor and the
235disadvantage of making a slow copy.
236
184=head2 TIME WATCHERS 237=head2 TIME WATCHERS
185 238
186You can create a time watcher by calling the C<< AnyEvent->timer >> 239You can create a time watcher by calling the C<< AnyEvent->timer >>
187method with the following mandatory arguments: 240method with the following mandatory arguments:
188 241
298In either case, if you care (and in most cases, you don't), then you 351In either case, if you care (and in most cases, you don't), then you
299can get whatever behaviour you want with any event loop, by taking the 352can get whatever behaviour you want with any event loop, by taking the
300difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into 353difference between C<< AnyEvent->time >> and C<< AnyEvent->now >> into
301account. 354account.
302 355
356=item AnyEvent->now_update
357
358Some event loops (such as L<EV> or L<AnyEvent::Impl::Perl>) cache
359the current time for each loop iteration (see the discussion of L<<
360AnyEvent->now >>, above).
361
362When a callback runs for a long time (or when the process sleeps), then
363this "current" time will differ substantially from the real time, which
364might affect timers and time-outs.
365
366When this is the case, you can call this method, which will update the
367event loop's idea of "current time".
368
369Note that updating the time I<might> cause some events to be handled.
370
303=back 371=back
304 372
305=head2 SIGNAL WATCHERS 373=head2 SIGNAL WATCHERS
306 374
307You can watch for signals using a signal watcher, C<signal> is the signal 375You can watch for signals using a signal watcher, C<signal> is the signal
330=head2 CHILD PROCESS WATCHERS 398=head2 CHILD PROCESS WATCHERS
331 399
332You can also watch on a child process exit and catch its exit status. 400You can also watch on a child process exit and catch its exit status.
333 401
334The child process is specified by the C<pid> argument (if set to C<0>, it 402The child process is specified by the C<pid> argument (if set to C<0>, it
335watches for any child process exit). The watcher will trigger as often 403watches for any child process exit). The watcher will triggered only when
336as status change for the child are received. This works by installing a 404the child process has finished and an exit status is available, not on
337signal handler for C<SIGCHLD>. The callback will be called with the pid 405any trace events (stopped/continued).
338and exit status (as returned by waitpid), so unlike other watcher types, 406
339you I<can> rely on child watcher callback arguments. 407The callback will be called with the pid and exit status (as returned by
408waitpid), so unlike other watcher types, you I<can> rely on child watcher
409callback arguments.
410
411This watcher type works by installing a signal handler for C<SIGCHLD>,
412and since it cannot be shared, nothing else should use SIGCHLD or reap
413random child processes (waiting for specific child processes, e.g. inside
414C<system>, is just fine).
340 415
341There is a slight catch to child watchers, however: you usually start them 416There is a slight catch to child watchers, however: you usually start them
342I<after> the child process was created, and this means the process could 417I<after> the child process was created, and this means the process could
343have exited already (and no SIGCHLD will be sent anymore). 418have exited already (and no SIGCHLD will be sent anymore).
344 419
345Not all event models handle this correctly (POE doesn't), but even for 420Not all event models handle this correctly (neither POE nor IO::Async do,
421see their AnyEvent::Impl manpages for details), but even for event models
346event models that I<do> handle this correctly, they usually need to be 422that I<do> handle this correctly, they usually need to be loaded before
347loaded before the process exits (i.e. before you fork in the first place). 423the process exits (i.e. before you fork in the first place). AnyEvent's
424pure perl event loop handles all cases correctly regardless of when you
425start the watcher.
348 426
349This means you cannot create a child watcher as the very first thing in an 427This means you cannot create a child watcher as the very first
350AnyEvent program, you I<have> to create at least one watcher before you 428thing in an AnyEvent program, you I<have> to create at least one
351C<fork> the child (alternatively, you can call C<AnyEvent::detect>). 429watcher before you C<fork> the child (alternatively, you can call
430C<AnyEvent::detect>).
352 431
353Example: fork a process and wait for it 432Example: fork a process and wait for it
354 433
355 my $done = AnyEvent->condvar; 434 my $done = AnyEvent->condvar;
356 435
366 ); 445 );
367 446
368 # do something else, then wait for process exit 447 # do something else, then wait for process exit
369 $done->recv; 448 $done->recv;
370 449
450=head2 IDLE WATCHERS
451
452Sometimes there is a need to do something, but it is not so important
453to do it instantly, but only when there is nothing better to do. This
454"nothing better to do" is usually defined to be "no other events need
455attention by the event loop".
456
457Idle watchers ideally get invoked when the event loop has nothing
458better to do, just before it would block the process to wait for new
459events. Instead of blocking, the idle watcher is invoked.
460
461Most event loops unfortunately do not really support idle watchers (only
462EV, Event and Glib do it in a usable fashion) - for the rest, AnyEvent
463will simply call the callback "from time to time".
464
465Example: read lines from STDIN, but only process them when the
466program is otherwise idle:
467
468 my @lines; # read data
469 my $idle_w;
470 my $io_w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
471 push @lines, scalar <STDIN>;
472
473 # start an idle watcher, if not already done
474 $idle_w ||= AnyEvent->idle (cb => sub {
475 # handle only one line, when there are lines left
476 if (my $line = shift @lines) {
477 print "handled when idle: $line";
478 } else {
479 # otherwise disable the idle watcher again
480 undef $idle_w;
481 }
482 });
483 });
484
371=head2 CONDITION VARIABLES 485=head2 CONDITION VARIABLES
372 486
373If you are familiar with some event loops you will know that all of them 487If you are familiar with some event loops you will know that all of them
374require you to run some blocking "loop", "run" or similar function that 488require you to run some blocking "loop", "run" or similar function that
375will actively watch for new events and call your callbacks. 489will actively watch for new events and call your callbacks.
380The instrument to do that is called a "condition variable", so called 494The instrument to do that is called a "condition variable", so called
381because they represent a condition that must become true. 495because they represent a condition that must become true.
382 496
383Condition variables can be created by calling the C<< AnyEvent->condvar 497Condition variables can be created by calling the C<< AnyEvent->condvar
384>> method, usually without arguments. The only argument pair allowed is 498>> method, usually without arguments. The only argument pair allowed is
499
385C<cb>, which specifies a callback to be called when the condition variable 500C<cb>, which specifies a callback to be called when the condition variable
386becomes true. 501becomes true, with the condition variable as the first argument (but not
502the results).
387 503
388After creation, the condition variable is "false" until it becomes "true" 504After creation, the condition variable is "false" until it becomes "true"
389by calling the C<send> method (or calling the condition variable as if it 505by calling the C<send> method (or calling the condition variable as if it
390were a callback, read about the caveats in the description for the C<< 506were a callback, read about the caveats in the description for the C<<
391->send >> method). 507->send >> method).
447 563
448 my $done = AnyEvent->condvar; 564 my $done = AnyEvent->condvar;
449 my $delay = AnyEvent->timer (after => 5, cb => $done); 565 my $delay = AnyEvent->timer (after => 5, cb => $done);
450 $done->recv; 566 $done->recv;
451 567
568Example: Imagine an API that returns a condvar and doesn't support
569callbacks. This is how you make a synchronous call, for example from
570the main program:
571
572 use AnyEvent::CouchDB;
573
574 ...
575
576 my @info = $couchdb->info->recv;
577
578And this is how you would just ste a callback to be called whenever the
579results are available:
580
581 $couchdb->info->cb (sub {
582 my @info = $_[0]->recv;
583 });
584
452=head3 METHODS FOR PRODUCERS 585=head3 METHODS FOR PRODUCERS
453 586
454These methods should only be used by the producing side, i.e. the 587These methods should only be used by the producing side, i.e. the
455code/module that eventually sends the signal. Note that it is also 588code/module that eventually sends the signal. Note that it is also
456the producer side which creates the condvar in most cases, but it isn't 589the producer side which creates the condvar in most cases, but it isn't
489 622
490=item $cv->begin ([group callback]) 623=item $cv->begin ([group callback])
491 624
492=item $cv->end 625=item $cv->end
493 626
494These two methods are EXPERIMENTAL and MIGHT CHANGE.
495
496These two methods can be used to combine many transactions/events into 627These two methods can be used to combine many transactions/events into
497one. For example, a function that pings many hosts in parallel might want 628one. For example, a function that pings many hosts in parallel might want
498to use a condition variable for the whole process. 629to use a condition variable for the whole process.
499 630
500Every call to C<< ->begin >> will increment a counter, and every call to 631Every call to C<< ->begin >> will increment a counter, and every call to
501C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end 632C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end
502>>, the (last) callback passed to C<begin> will be executed. That callback 633>>, the (last) callback passed to C<begin> will be executed. That callback
503is I<supposed> to call C<< ->send >>, but that is not required. If no 634is I<supposed> to call C<< ->send >>, but that is not required. If no
504callback was set, C<send> will be called without any arguments. 635callback was set, C<send> will be called without any arguments.
505 636
506Let's clarify this with the ping example: 637You can think of C<< $cv->send >> giving you an OR condition (one call
638sends), while C<< $cv->begin >> and C<< $cv->end >> giving you an AND
639condition (all C<begin> calls must be C<end>'ed before the condvar sends).
640
641Let's start with a simple example: you have two I/O watchers (for example,
642STDOUT and STDERR for a program), and you want to wait for both streams to
643close before activating a condvar:
644
645 my $cv = AnyEvent->condvar;
646
647 $cv->begin; # first watcher
648 my $w1 = AnyEvent->io (fh => $fh1, cb => sub {
649 defined sysread $fh1, my $buf, 4096
650 or $cv->end;
651 });
652
653 $cv->begin; # second watcher
654 my $w2 = AnyEvent->io (fh => $fh2, cb => sub {
655 defined sysread $fh2, my $buf, 4096
656 or $cv->end;
657 });
658
659 $cv->recv;
660
661This works because for every event source (EOF on file handle), there is
662one call to C<begin>, so the condvar waits for all calls to C<end> before
663sending.
664
665The ping example mentioned above is slightly more complicated, as the
666there are results to be passwd back, and the number of tasks that are
667begung can potentially be zero:
507 668
508 my $cv = AnyEvent->condvar; 669 my $cv = AnyEvent->condvar;
509 670
510 my %result; 671 my %result;
511 $cv->begin (sub { $cv->send (\%result) }); 672 $cv->begin (sub { $cv->send (\%result) });
531loop, which serves two important purposes: first, it sets the callback 692loop, which serves two important purposes: first, it sets the callback
532to be called once the counter reaches C<0>, and second, it ensures that 693to be called once the counter reaches C<0>, and second, it ensures that
533C<send> is called even when C<no> hosts are being pinged (the loop 694C<send> is called even when C<no> hosts are being pinged (the loop
534doesn't execute once). 695doesn't execute once).
535 696
536This is the general pattern when you "fan out" into multiple subrequests: 697This is the general pattern when you "fan out" into multiple (but
537use an outer C<begin>/C<end> pair to set the callback and ensure C<end> 698potentially none) subrequests: use an outer C<begin>/C<end> pair to set
538is called at least once, and then, for each subrequest you start, call 699the callback and ensure C<end> is called at least once, and then, for each
539C<begin> and for each subrequest you finish, call C<end>. 700subrequest you start, call C<begin> and for each subrequest you finish,
701call C<end>.
540 702
541=back 703=back
542 704
543=head3 METHODS FOR CONSUMERS 705=head3 METHODS FOR CONSUMERS
544 706
589=item $bool = $cv->ready 751=item $bool = $cv->ready
590 752
591Returns true when the condition is "true", i.e. whether C<send> or 753Returns true when the condition is "true", i.e. whether C<send> or
592C<croak> have been called. 754C<croak> have been called.
593 755
594=item $cb = $cv->cb ([new callback]) 756=item $cb = $cv->cb ($cb->($cv))
595 757
596This is a mutator function that returns the callback set and optionally 758This is a mutator function that returns the callback set and optionally
597replaces it before doing so. 759replaces it before doing so.
598 760
599The callback will be called when the condition becomes "true", i.e. when 761The callback will be called when the condition becomes "true", i.e. when
624 AnyEvent::Impl::Tk based on Tk, very bad choice. 786 AnyEvent::Impl::Tk based on Tk, very bad choice.
625 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs). 787 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
626 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse. 788 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
627 AnyEvent::Impl::POE based on POE, not generic enough for full support. 789 AnyEvent::Impl::POE based on POE, not generic enough for full support.
628 790
791 # warning, support for IO::Async is only partial, as it is too broken
792 # and limited toe ven support the AnyEvent API. See AnyEvent::Impl::Async.
793 AnyEvent::Impl::IOAsync based on IO::Async, cannot be autoprobed (see its docs).
794
629There is no support for WxWidgets, as WxWidgets has no support for 795There is no support for WxWidgets, as WxWidgets has no support for
630watching file handles. However, you can use WxWidgets through the 796watching file handles. However, you can use WxWidgets through the
631POE Adaptor, as POE has a Wx backend that simply polls 20 times per 797POE Adaptor, as POE has a Wx backend that simply polls 20 times per
632second, which was considered to be too horrible to even consider for 798second, which was considered to be too horrible to even consider for
633AnyEvent. Likewise, other POE backends can be used by AnyEvent by using 799AnyEvent. Likewise, other POE backends can be used by AnyEvent by using
789=item L<AnyEvent::IGS> 955=item L<AnyEvent::IGS>
790 956
791A non-blocking interface to the Internet Go Server protocol (used by 957A non-blocking interface to the Internet Go Server protocol (used by
792L<App::IGS>). 958L<App::IGS>).
793 959
794=item L<Net::IRC3> 960=item L<AnyEvent::IRC>
795 961
796AnyEvent based IRC client module family. 962AnyEvent based IRC client module family (replacing the older Net::IRC3).
797 963
798=item L<Net::XMPP2> 964=item L<Net::XMPP2>
799 965
800AnyEvent based XMPP (Jabber protocol) module family. 966AnyEvent based XMPP (Jabber protocol) module family.
801 967
821=cut 987=cut
822 988
823package AnyEvent; 989package AnyEvent;
824 990
825no warnings; 991no warnings;
826use strict; 992use strict qw(vars subs);
827 993
828use Carp; 994use Carp;
829 995
830our $VERSION = 4.2; 996our $VERSION = 4.8;
831our $MODEL; 997our $MODEL;
832 998
833our $AUTOLOAD; 999our $AUTOLOAD;
834our @ISA; 1000our @ISA;
835 1001
836our @REGISTRY; 1002our @REGISTRY;
837 1003
838our $WIN32; 1004our $WIN32;
839 1005
840BEGIN { 1006BEGIN {
841 my $win32 = ! ! ($^O =~ /mswin32/i); 1007 eval "sub WIN32(){ " . (($^O =~ /mswin32/i)*1) ." }";
842 eval "sub WIN32(){ $win32 }"; 1008 eval "sub TAINT(){ " . (${^TAINT}*1) . " }";
1009
1010 delete @ENV{grep /^PERL_ANYEVENT_/, keys %ENV}
1011 if ${^TAINT};
843} 1012}
844 1013
845our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 1014our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
846 1015
847our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred 1016our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred
865 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 1034 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
866 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 1035 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
867 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 1036 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
868 [Wx:: => AnyEvent::Impl::POE::], 1037 [Wx:: => AnyEvent::Impl::POE::],
869 [Prima:: => AnyEvent::Impl::POE::], 1038 [Prima:: => AnyEvent::Impl::POE::],
1039 # IO::Async is just too broken - we would need workaorunds for its
1040 # byzantine signal and broken child handling, among others.
1041 # IO::Async is rather hard to detect, as it doesn't have any
1042 # obvious default class.
1043# [IO::Async:: => AnyEvent::Impl::IOAsync::], # requires special main program
1044# [IO::Async::Loop:: => AnyEvent::Impl::IOAsync::], # requires special main program
1045# [IO::Async::Notifier:: => AnyEvent::Impl::IOAsync::], # requires special main program
870); 1046);
871 1047
872our %method = map +($_ => 1), qw(io timer time now signal child condvar one_event DESTROY); 1048our %method = map +($_ => 1),
1049 qw(io timer time now now_update signal child idle condvar one_event DESTROY);
873 1050
874our @post_detect; 1051our @post_detect;
875 1052
876sub post_detect(&) { 1053sub post_detect(&) {
877 my ($cb) = @_; 1054 my ($cb) = @_;
882 1 1059 1
883 } else { 1060 } else {
884 push @post_detect, $cb; 1061 push @post_detect, $cb;
885 1062
886 defined wantarray 1063 defined wantarray
887 ? bless \$cb, "AnyEvent::Util::PostDetect" 1064 ? bless \$cb, "AnyEvent::Util::postdetect"
888 : () 1065 : ()
889 } 1066 }
890} 1067}
891 1068
892sub AnyEvent::Util::PostDetect::DESTROY { 1069sub AnyEvent::Util::postdetect::DESTROY {
893 @post_detect = grep $_ != ${$_[0]}, @post_detect; 1070 @post_detect = grep $_ != ${$_[0]}, @post_detect;
894} 1071}
895 1072
896sub detect() { 1073sub detect() {
897 unless ($MODEL) { 1074 unless ($MODEL) {
934 last; 1111 last;
935 } 1112 }
936 } 1113 }
937 1114
938 $MODEL 1115 $MODEL
939 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib."; 1116 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib.\n";
940 } 1117 }
941 } 1118 }
942 1119
943 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 1120 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
944 1121
945 if ($ENV{PERL_ANYEVENT_STRICT}) {
946 unshift @AnyEvent::Base::Strict::ISA, $MODEL;
947 unshift @ISA, AnyEvent::Base::Strict::
948 } else {
949 unshift @ISA, $MODEL; 1122 unshift @ISA, $MODEL;
950 } 1123
1124 require AnyEvent::Strict if $ENV{PERL_ANYEVENT_STRICT};
951 1125
952 (shift @post_detect)->() while @post_detect; 1126 (shift @post_detect)->() while @post_detect;
953 } 1127 }
954 1128
955 $MODEL 1129 $MODEL
965 1139
966 my $class = shift; 1140 my $class = shift;
967 $class->$func (@_); 1141 $class->$func (@_);
968} 1142}
969 1143
1144# utility function to dup a filehandle. this is used by many backends
1145# to support binding more than one watcher per filehandle (they usually
1146# allow only one watcher per fd, so we dup it to get a different one).
1147sub _dupfh($$;$$) {
1148 my ($poll, $fh, $r, $w) = @_;
1149
1150 # cygwin requires the fh mode to be matching, unix doesn't
1151 my ($rw, $mode) = $poll eq "r" ? ($r, "<")
1152 : $poll eq "w" ? ($w, ">")
1153 : Carp::croak "AnyEvent->io requires poll set to either 'r' or 'w'";
1154
1155 open my $fh2, "$mode&" . fileno $fh
1156 or die "cannot dup() filehandle: $!,";
1157
1158 # we assume CLOEXEC is already set by perl in all important cases
1159
1160 ($fh2, $rw)
1161}
1162
970package AnyEvent::Base; 1163package AnyEvent::Base;
971 1164
972# default implementation for now and time 1165# default implementations for many methods
973 1166
974use Time::HiRes (); 1167BEGIN {
1168 if (eval "use Time::HiRes (); Time::HiRes::time (); 1") {
1169 *_time = \&Time::HiRes::time;
1170 # if (eval "use POSIX (); (POSIX::times())...
1171 } else {
1172 *_time = sub { time }; # epic fail
1173 }
1174}
975 1175
976sub time { Time::HiRes::time } 1176sub time { _time }
977sub now { Time::HiRes::time } 1177sub now { _time }
1178sub now_update { }
978 1179
979# default implementation for ->condvar 1180# default implementation for ->condvar
980 1181
981sub condvar { 1182sub condvar {
982 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar:: 1183 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, "AnyEvent::CondVar"
983} 1184}
984 1185
985# default implementation for ->signal 1186# default implementation for ->signal
986 1187
987our %SIG_CB; 1188our ($SIGPIPE_R, $SIGPIPE_W, %SIG_CB, %SIG_EV, $SIG_IO);
1189
1190sub _signal_exec {
1191 sysread $SIGPIPE_R, my $dummy, 4;
1192
1193 while (%SIG_EV) {
1194 for (keys %SIG_EV) {
1195 delete $SIG_EV{$_};
1196 $_->() for values %{ $SIG_CB{$_} || {} };
1197 }
1198 }
1199}
988 1200
989sub signal { 1201sub signal {
990 my (undef, %arg) = @_; 1202 my (undef, %arg) = @_;
991 1203
1204 unless ($SIGPIPE_R) {
1205 require Fcntl;
1206
1207 if (AnyEvent::WIN32) {
1208 require AnyEvent::Util;
1209
1210 ($SIGPIPE_R, $SIGPIPE_W) = AnyEvent::Util::portable_pipe ();
1211 AnyEvent::Util::fh_nonblocking ($SIGPIPE_R) if $SIGPIPE_R;
1212 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W) if $SIGPIPE_W; # just in case
1213 } else {
1214 pipe $SIGPIPE_R, $SIGPIPE_W;
1215 fcntl $SIGPIPE_R, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_R;
1216 fcntl $SIGPIPE_W, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_W; # just in case
1217
1218 # not strictly required, as $^F is normally 2, but let's make sure...
1219 fcntl $SIGPIPE_R, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1220 fcntl $SIGPIPE_W, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1221 }
1222
1223 $SIGPIPE_R
1224 or Carp::croak "AnyEvent: unable to create a signal reporting pipe: $!\n";
1225
1226 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R, poll => "r", cb => \&_signal_exec);
1227 }
1228
992 my $signal = uc $arg{signal} 1229 my $signal = uc $arg{signal}
993 or Carp::croak "required option 'signal' is missing"; 1230 or Carp::croak "required option 'signal' is missing";
994 1231
995 $SIG_CB{$signal}{$arg{cb}} = $arg{cb}; 1232 $SIG_CB{$signal}{$arg{cb}} = $arg{cb};
996 $SIG{$signal} ||= sub { 1233 $SIG{$signal} ||= sub {
997 $_->() for values %{ $SIG_CB{$signal} || {} }; 1234 local $!;
1235 syswrite $SIGPIPE_W, "\x00", 1 unless %SIG_EV;
1236 undef $SIG_EV{$signal};
998 }; 1237 };
999 1238
1000 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal" 1239 bless [$signal, $arg{cb}], "AnyEvent::Base::signal"
1001} 1240}
1002 1241
1003sub AnyEvent::Base::Signal::DESTROY { 1242sub AnyEvent::Base::signal::DESTROY {
1004 my ($signal, $cb) = @{$_[0]}; 1243 my ($signal, $cb) = @{$_[0]};
1005 1244
1006 delete $SIG_CB{$signal}{$cb}; 1245 delete $SIG_CB{$signal}{$cb};
1007 1246
1247 # delete doesn't work with older perls - they then
1248 # print weird messages, or just unconditionally exit
1249 # instead of getting the default action.
1008 delete $SIG{$signal} unless keys %{ $SIG_CB{$signal} }; 1250 undef $SIG{$signal} unless keys %{ $SIG_CB{$signal} };
1009} 1251}
1010 1252
1011# default implementation for ->child 1253# default implementation for ->child
1012 1254
1013our %PID_CB; 1255our %PID_CB;
1014our $CHLD_W; 1256our $CHLD_W;
1015our $CHLD_DELAY_W; 1257our $CHLD_DELAY_W;
1016our $PID_IDLE;
1017our $WNOHANG; 1258our $WNOHANG;
1018 1259
1019sub _child_wait { 1260sub _sigchld {
1020 while (0 < (my $pid = waitpid -1, $WNOHANG)) { 1261 while (0 < (my $pid = waitpid -1, $WNOHANG)) {
1021 $_->($pid, $?) for (values %{ $PID_CB{$pid} || {} }), 1262 $_->($pid, $?) for (values %{ $PID_CB{$pid} || {} }),
1022 (values %{ $PID_CB{0} || {} }); 1263 (values %{ $PID_CB{0} || {} });
1023 } 1264 }
1024
1025 undef $PID_IDLE;
1026}
1027
1028sub _sigchld {
1029 # make sure we deliver these changes "synchronous" with the event loop.
1030 $CHLD_DELAY_W ||= AnyEvent->timer (after => 0, cb => sub {
1031 undef $CHLD_DELAY_W;
1032 &_child_wait;
1033 });
1034} 1265}
1035 1266
1036sub child { 1267sub child {
1037 my (undef, %arg) = @_; 1268 my (undef, %arg) = @_;
1038 1269
1039 defined (my $pid = $arg{pid} + 0) 1270 defined (my $pid = $arg{pid} + 0)
1040 or Carp::croak "required option 'pid' is missing"; 1271 or Carp::croak "required option 'pid' is missing";
1041 1272
1042 $PID_CB{$pid}{$arg{cb}} = $arg{cb}; 1273 $PID_CB{$pid}{$arg{cb}} = $arg{cb};
1043 1274
1044 unless ($WNOHANG) {
1045 $WNOHANG = eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1; 1275 $WNOHANG ||= eval { local $SIG{__DIE__}; require POSIX; &POSIX::WNOHANG } || 1;
1046 }
1047 1276
1048 unless ($CHLD_W) { 1277 unless ($CHLD_W) {
1049 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld); 1278 $CHLD_W = AnyEvent->signal (signal => 'CHLD', cb => \&_sigchld);
1050 # child could be a zombie already, so make at least one round 1279 # child could be a zombie already, so make at least one round
1051 &_sigchld; 1280 &_sigchld;
1052 } 1281 }
1053 1282
1054 bless [$pid, $arg{cb}], "AnyEvent::Base::Child" 1283 bless [$pid, $arg{cb}], "AnyEvent::Base::child"
1055} 1284}
1056 1285
1057sub AnyEvent::Base::Child::DESTROY { 1286sub AnyEvent::Base::child::DESTROY {
1058 my ($pid, $cb) = @{$_[0]}; 1287 my ($pid, $cb) = @{$_[0]};
1059 1288
1060 delete $PID_CB{$pid}{$cb}; 1289 delete $PID_CB{$pid}{$cb};
1061 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 1290 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
1062 1291
1063 undef $CHLD_W unless keys %PID_CB; 1292 undef $CHLD_W unless keys %PID_CB;
1293}
1294
1295# idle emulation is done by simply using a timer, regardless
1296# of whether the process is idle or not, and not letting
1297# the callback use more than 50% of the time.
1298sub idle {
1299 my (undef, %arg) = @_;
1300
1301 my ($cb, $w, $rcb) = $arg{cb};
1302
1303 $rcb = sub {
1304 if ($cb) {
1305 $w = _time;
1306 &$cb;
1307 $w = _time - $w;
1308
1309 # never use more then 50% of the time for the idle watcher,
1310 # within some limits
1311 $w = 0.0001 if $w < 0.0001;
1312 $w = 5 if $w > 5;
1313
1314 $w = AnyEvent->timer (after => $w, cb => $rcb);
1315 } else {
1316 # clean up...
1317 undef $w;
1318 undef $rcb;
1319 }
1320 };
1321
1322 $w = AnyEvent->timer (after => 0.05, cb => $rcb);
1323
1324 bless \\$cb, "AnyEvent::Base::idle"
1325}
1326
1327sub AnyEvent::Base::idle::DESTROY {
1328 undef $${$_[0]};
1064} 1329}
1065 1330
1066package AnyEvent::CondVar; 1331package AnyEvent::CondVar;
1067 1332
1068our @ISA = AnyEvent::CondVar::Base::; 1333our @ISA = AnyEvent::CondVar::Base::;
1121 1386
1122# undocumented/compatibility with pre-3.4 1387# undocumented/compatibility with pre-3.4
1123*broadcast = \&send; 1388*broadcast = \&send;
1124*wait = \&_wait; 1389*wait = \&_wait;
1125 1390
1126package AnyEvent::Base::Strict; 1391=head1 ERROR AND EXCEPTION HANDLING
1127 1392
1128use Carp qw(croak); 1393In general, AnyEvent does not do any error handling - it relies on the
1394caller to do that if required. The L<AnyEvent::Strict> module (see also
1395the C<PERL_ANYEVENT_STRICT> environment variable, below) provides strict
1396checking of all AnyEvent methods, however, which is highly useful during
1397development.
1129 1398
1130# supply checks for argument validity for many functions 1399As for exception handling (i.e. runtime errors and exceptions thrown while
1400executing a callback), this is not only highly event-loop specific, but
1401also not in any way wrapped by this module, as this is the job of the main
1402program.
1131 1403
1132sub io { 1404The pure perl event loop simply re-throws the exception (usually
1133 my $class = shift; 1405within C<< condvar->recv >>), the L<Event> and L<EV> modules call C<<
1134 my %arg = @_; 1406$Event/EV::DIED->() >>, L<Glib> uses C<< install_exception_handler >> and
1407so on.
1135 1408
1136 ref $arg{cb} 1409=head1 ENVIRONMENT VARIABLES
1137 or croak "AnyEvent->io called with illegal cb argument '$arg{cb}'";
1138 delete $arg{cb};
1139
1140 fileno $arg{fh}
1141 or croak "AnyEvent->io called with illegal fh argument '$arg{fh}'";
1142 delete $arg{fh};
1143
1144 $arg{poll} =~ /^[rw]$/
1145 or croak "AnyEvent->io called with illegal poll argument '$arg{poll}'";
1146 delete $arg{poll};
1147
1148 croak "AnyEvent->io called with unsupported parameter(s) " . join ", ", keys %arg
1149 if keys %arg;
1150 1410
1151 $class->SUPER::io (@_) 1411The following environment variables are used by this module or its
1152} 1412submodules.
1153 1413
1154sub timer { 1414Note that AnyEvent will remove I<all> environment variables starting with
1155 my $class = shift; 1415C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
1156 my %arg = @_; 1416enabled.
1157 1417
1158 ref $arg{cb} 1418=over 4
1159 or croak "AnyEvent->timer called with illegal cb argument '$arg{cb}'";
1160 delete $arg{cb};
1161
1162 exists $arg{after}
1163 or croak "AnyEvent->timer called without mandatory 'after' parameter";
1164 delete $arg{after};
1165
1166 $arg{interval} > 0 || !$arg{interval}
1167 or croak "AnyEvent->timer called with illegal interval argument '$arg{interval}'";
1168 delete $arg{interval};
1169
1170 croak "AnyEvent->timer called with unsupported parameter(s) " . join ", ", keys %arg
1171 if keys %arg;
1172 1419
1173 $class->SUPER::timer (@_) 1420=item C<PERL_ANYEVENT_VERBOSE>
1174}
1175 1421
1176sub signal { 1422By default, AnyEvent will be completely silent except in fatal
1177 my $class = shift; 1423conditions. You can set this environment variable to make AnyEvent more
1178 my %arg = @_; 1424talkative.
1179 1425
1180 ref $arg{cb} 1426When set to C<1> or higher, causes AnyEvent to warn about unexpected
1181 or croak "AnyEvent->signal called with illegal cb argument '$arg{cb}'"; 1427conditions, such as not being able to load the event model specified by
1182 delete $arg{cb}; 1428C<PERL_ANYEVENT_MODEL>.
1183
1184 eval "require POSIX; defined &POSIX::SIG$arg{signal}"
1185 or croak "AnyEvent->signal called with illegal signal name '$arg{signal}'";
1186 delete $arg{signal};
1187
1188 croak "AnyEvent->signal called with unsupported parameter(s) " . join ", ", keys %arg
1189 if keys %arg;
1190 1429
1191 $class->SUPER::signal (@_) 1430When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1192} 1431model it chooses.
1193 1432
1194sub child { 1433=item C<PERL_ANYEVENT_STRICT>
1195 my $class = shift;
1196 my %arg = @_;
1197 1434
1198 ref $arg{cb} 1435AnyEvent does not do much argument checking by default, as thorough
1199 or croak "AnyEvent->signal called with illegal cb argument '$arg{cb}'"; 1436argument checking is very costly. Setting this variable to a true value
1200 delete $arg{cb}; 1437will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1201 1438check the arguments passed to most method calls. If it finds any problems,
1202 $arg{pid} =~ /^-?\d+$/ 1439it will croak.
1203 or croak "AnyEvent->signal called with illegal pid value '$arg{pid}'";
1204 delete $arg{pid};
1205
1206 croak "AnyEvent->signal called with unsupported parameter(s) " . join ", ", keys %arg
1207 if keys %arg;
1208 1440
1209 $class->SUPER::child (@_) 1441In other words, enables "strict" mode.
1210}
1211 1442
1212sub condvar { 1443Unlike C<use strict>, it is definitely recommended to keep it off in
1213 my $class = shift; 1444production. Keeping C<PERL_ANYEVENT_STRICT=1> in your environment while
1214 my %arg = @_; 1445developing programs can be very useful, however.
1215 1446
1216 !exists $arg{cb} or ref $arg{cb} 1447=item C<PERL_ANYEVENT_MODEL>
1217 or croak "AnyEvent->condvar called with illegal cb argument '$arg{cb}'";
1218 delete $arg{cb};
1219
1220 croak "AnyEvent->condvar called with unsupported parameter(s) " . join ", ", keys %arg
1221 if keys %arg;
1222 1448
1223 $class->SUPER::condvar (@_) 1449This can be used to specify the event model to be used by AnyEvent, before
1224} 1450auto detection and -probing kicks in. It must be a string consisting
1451entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1452and the resulting module name is loaded and if the load was successful,
1453used as event model. If it fails to load AnyEvent will proceed with
1454auto detection and -probing.
1225 1455
1226sub time { 1456This functionality might change in future versions.
1227 my $class = shift;
1228 1457
1229 @_ 1458For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1230 and croak "AnyEvent->time wrongly called with paramaters"; 1459could start your program like this:
1231 1460
1232 $class->SUPER::time (@_) 1461 PERL_ANYEVENT_MODEL=Perl perl ...
1233}
1234 1462
1235sub now { 1463=item C<PERL_ANYEVENT_PROTOCOLS>
1236 my $class = shift;
1237 1464
1238 @_ 1465Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1239 and croak "AnyEvent->now wrongly called with paramaters"; 1466for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1467of auto probing).
1240 1468
1241 $class->SUPER::now (@_) 1469Must be set to a comma-separated list of protocols or address families,
1242} 1470current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1471used, and preference will be given to protocols mentioned earlier in the
1472list.
1473
1474This variable can effectively be used for denial-of-service attacks
1475against local programs (e.g. when setuid), although the impact is likely
1476small, as the program has to handle conenction and other failures anyways.
1477
1478Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1479but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1480- only support IPv4, never try to resolve or contact IPv6
1481addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1482IPv6, but prefer IPv6 over IPv4.
1483
1484=item C<PERL_ANYEVENT_EDNS0>
1485
1486Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1487for DNS. This extension is generally useful to reduce DNS traffic, but
1488some (broken) firewalls drop such DNS packets, which is why it is off by
1489default.
1490
1491Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1492EDNS0 in its DNS requests.
1493
1494=item C<PERL_ANYEVENT_MAX_FORKS>
1495
1496The maximum number of child processes that C<AnyEvent::Util::fork_call>
1497will create in parallel.
1498
1499=item C<PERL_ANYEVENT_MAX_OUTSTANDING_DNS>
1500
1501The default value for the C<max_outstanding> parameter for the default DNS
1502resolver - this is the maximum number of parallel DNS requests that are
1503sent to the DNS server.
1504
1505=item C<PERL_ANYEVENT_RESOLV_CONF>
1506
1507The file to use instead of F</etc/resolv.conf> (or OS-specific
1508configuration) in the default resolver. When set to the empty string, no
1509default config will be used.
1510
1511=item C<PERL_ANYEVENT_CA_FILE>, C<PERL_ANYEVENT_CA_PATH>.
1512
1513When neither C<ca_file> nor C<ca_path> was specified during
1514L<AnyEvent::TLS> context creation, and either of these environment
1515variables exist, they will be used to specify CA certificate locations
1516instead of a system-dependent default.
1517
1518=back
1243 1519
1244=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1520=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
1245 1521
1246This is an advanced topic that you do not normally need to use AnyEvent in 1522This is an advanced topic that you do not normally need to use AnyEvent in
1247a module. This section is only of use to event loop authors who want to 1523a module. This section is only of use to event loop authors who want to
1281 1557
1282I<rxvt-unicode> also cheats a bit by not providing blocking access to 1558I<rxvt-unicode> also cheats a bit by not providing blocking access to
1283condition variables: code blocking while waiting for a condition will 1559condition variables: code blocking while waiting for a condition will
1284C<die>. This still works with most modules/usages, and blocking calls must 1560C<die>. This still works with most modules/usages, and blocking calls must
1285not be done in an interactive application, so it makes sense. 1561not be done in an interactive application, so it makes sense.
1286
1287=head1 ENVIRONMENT VARIABLES
1288
1289The following environment variables are used by this module:
1290
1291=over 4
1292
1293=item C<PERL_ANYEVENT_VERBOSE>
1294
1295By default, AnyEvent will be completely silent except in fatal
1296conditions. You can set this environment variable to make AnyEvent more
1297talkative.
1298
1299When set to C<1> or higher, causes AnyEvent to warn about unexpected
1300conditions, such as not being able to load the event model specified by
1301C<PERL_ANYEVENT_MODEL>.
1302
1303When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1304model it chooses.
1305
1306=item C<PERL_ANYEVENT_STRICT>
1307
1308AnyEvent does not do much argument checking by default, as thorough
1309argument checking is very costly. Setting this variable to a true value
1310will cause AnyEvent to thoroughly check the arguments passed to most
1311method calls and croaks if it finds any problems. In other words, enables
1312"strict" mode. Unlike C<use strict> it is definitely recommended ot keep
1313it off in production.
1314
1315=item C<PERL_ANYEVENT_MODEL>
1316
1317This can be used to specify the event model to be used by AnyEvent, before
1318auto detection and -probing kicks in. It must be a string consisting
1319entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1320and the resulting module name is loaded and if the load was successful,
1321used as event model. If it fails to load AnyEvent will proceed with
1322auto detection and -probing.
1323
1324This functionality might change in future versions.
1325
1326For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1327could start your program like this:
1328
1329 PERL_ANYEVENT_MODEL=Perl perl ...
1330
1331=item C<PERL_ANYEVENT_PROTOCOLS>
1332
1333Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1334for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1335of auto probing).
1336
1337Must be set to a comma-separated list of protocols or address families,
1338current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1339used, and preference will be given to protocols mentioned earlier in the
1340list.
1341
1342This variable can effectively be used for denial-of-service attacks
1343against local programs (e.g. when setuid), although the impact is likely
1344small, as the program has to handle connection errors already-
1345
1346Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1347but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1348- only support IPv4, never try to resolve or contact IPv6
1349addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1350IPv6, but prefer IPv6 over IPv4.
1351
1352=item C<PERL_ANYEVENT_EDNS0>
1353
1354Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1355for DNS. This extension is generally useful to reduce DNS traffic, but
1356some (broken) firewalls drop such DNS packets, which is why it is off by
1357default.
1358
1359Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1360EDNS0 in its DNS requests.
1361
1362=item C<PERL_ANYEVENT_MAX_FORKS>
1363
1364The maximum number of child processes that C<AnyEvent::Util::fork_call>
1365will create in parallel.
1366
1367=back
1368 1562
1369=head1 EXAMPLE PROGRAM 1563=head1 EXAMPLE PROGRAM
1370 1564
1371The following program uses an I/O watcher to read data from STDIN, a timer 1565The following program uses an I/O watcher to read data from STDIN, a timer
1372to display a message once per second, and a condition variable to quit the 1566to display a message once per second, and a condition variable to quit the
1566watcher. 1760watcher.
1567 1761
1568=head3 Results 1762=head3 Results
1569 1763
1570 name watchers bytes create invoke destroy comment 1764 name watchers bytes create invoke destroy comment
1571 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1765 EV/EV 400000 224 0.47 0.35 0.27 EV native interface
1572 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers 1766 EV/Any 100000 224 2.88 0.34 0.27 EV + AnyEvent watchers
1573 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal 1767 CoroEV/Any 100000 224 2.85 0.35 0.28 coroutines + Coro::Signal
1574 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation 1768 Perl/Any 100000 452 4.13 0.73 0.95 pure perl implementation
1575 Event/Event 16000 516 31.88 31.30 0.85 Event native interface 1769 Event/Event 16000 517 32.20 31.80 0.81 Event native interface
1576 Event/Any 16000 590 35.75 31.42 1.08 Event + AnyEvent watchers 1770 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers
1771 IOAsync/Any 16000 989 38.10 32.77 11.13 via IO::Async::Loop::IO_Poll
1772 IOAsync/Any 16000 990 37.59 29.50 10.61 via IO::Async::Loop::Epoll
1577 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1773 Glib/Any 16000 1357 102.33 12.31 51.00 quadratic behaviour
1578 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers 1774 Tk/Any 2000 1860 27.20 66.31 14.00 SEGV with >> 2000 watchers
1579 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event 1775 POE/Event 2000 6328 109.99 751.67 14.02 via POE::Loop::Event
1580 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select 1776 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select
1581 1777
1582=head3 Discussion 1778=head3 Discussion
1583 1779
1584The benchmark does I<not> measure scalability of the event loop very 1780The benchmark does I<not> measure scalability of the event loop very
1585well. For example, a select-based event loop (such as the pure perl one) 1781well. For example, a select-based event loop (such as the pure perl one)
1610performance becomes really bad with lots of file descriptors (and few of 1806performance becomes really bad with lots of file descriptors (and few of
1611them active), of course, but this was not subject of this benchmark. 1807them active), of course, but this was not subject of this benchmark.
1612 1808
1613The C<Event> module has a relatively high setup and callback invocation 1809The C<Event> module has a relatively high setup and callback invocation
1614cost, but overall scores in on the third place. 1810cost, but overall scores in on the third place.
1811
1812C<IO::Async> performs admirably well, about on par with C<Event>, even
1813when using its pure perl backend.
1615 1814
1616C<Glib>'s memory usage is quite a bit higher, but it features a 1815C<Glib>'s memory usage is quite a bit higher, but it features a
1617faster callback invocation and overall ends up in the same class as 1816faster callback invocation and overall ends up in the same class as
1618C<Event>. However, Glib scales extremely badly, doubling the number of 1817C<Event>. However, Glib scales extremely badly, doubling the number of
1619watchers increases the processing time by more than a factor of four, 1818watchers increases the processing time by more than a factor of four,
1697it to another server. This includes deleting the old timeout and creating 1896it to another server. This includes deleting the old timeout and creating
1698a new one that moves the timeout into the future. 1897a new one that moves the timeout into the future.
1699 1898
1700=head3 Results 1899=head3 Results
1701 1900
1702 name sockets create request 1901 name sockets create request
1703 EV 20000 69.01 11.16 1902 EV 20000 69.01 11.16
1704 Perl 20000 73.32 35.87 1903 Perl 20000 73.32 35.87
1904 IOAsync 20000 157.00 98.14 epoll
1905 IOAsync 20000 159.31 616.06 poll
1705 Event 20000 212.62 257.32 1906 Event 20000 212.62 257.32
1706 Glib 20000 651.16 1896.30 1907 Glib 20000 651.16 1896.30
1707 POE 20000 349.67 12317.24 uses POE::Loop::Event 1908 POE 20000 349.67 12317.24 uses POE::Loop::Event
1708 1909
1709=head3 Discussion 1910=head3 Discussion
1710 1911
1711This benchmark I<does> measure scalability and overall performance of the 1912This benchmark I<does> measure scalability and overall performance of the
1712particular event loop. 1913particular event loop.
1714EV is again fastest. Since it is using epoll on my system, the setup time 1915EV is again fastest. Since it is using epoll on my system, the setup time
1715is relatively high, though. 1916is relatively high, though.
1716 1917
1717Perl surprisingly comes second. It is much faster than the C-based event 1918Perl surprisingly comes second. It is much faster than the C-based event
1718loops Event and Glib. 1919loops Event and Glib.
1920
1921IO::Async performs very well when using its epoll backend, and still quite
1922good compared to Glib when using its pure perl backend.
1719 1923
1720Event suffers from high setup time as well (look at its code and you will 1924Event suffers from high setup time as well (look at its code and you will
1721understand why). Callback invocation also has a high overhead compared to 1925understand why). Callback invocation also has a high overhead compared to
1722the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event 1926the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event
1723uses select or poll in basically all documented configurations. 1927uses select or poll in basically all documented configurations.
1786=item * C-based event loops perform very well with small number of 1990=item * C-based event loops perform very well with small number of
1787watchers, as the management overhead dominates. 1991watchers, as the management overhead dominates.
1788 1992
1789=back 1993=back
1790 1994
1995=head2 THE IO::Lambda BENCHMARK
1996
1997Recently I was told about the benchmark in the IO::Lambda manpage, which
1998could be misinterpreted to make AnyEvent look bad. In fact, the benchmark
1999simply compares IO::Lambda with POE, and IO::Lambda looks better (which
2000shouldn't come as a surprise to anybody). As such, the benchmark is
2001fine, and mostly shows that the AnyEvent backend from IO::Lambda isn't
2002very optimal. But how would AnyEvent compare when used without the extra
2003baggage? To explore this, I wrote the equivalent benchmark for AnyEvent.
2004
2005The benchmark itself creates an echo-server, and then, for 500 times,
2006connects to the echo server, sends a line, waits for the reply, and then
2007creates the next connection. This is a rather bad benchmark, as it doesn't
2008test the efficiency of the framework or much non-blocking I/O, but it is a
2009benchmark nevertheless.
2010
2011 name runtime
2012 Lambda/select 0.330 sec
2013 + optimized 0.122 sec
2014 Lambda/AnyEvent 0.327 sec
2015 + optimized 0.138 sec
2016 Raw sockets/select 0.077 sec
2017 POE/select, components 0.662 sec
2018 POE/select, raw sockets 0.226 sec
2019 POE/select, optimized 0.404 sec
2020
2021 AnyEvent/select/nb 0.085 sec
2022 AnyEvent/EV/nb 0.068 sec
2023 +state machine 0.134 sec
2024
2025The benchmark is also a bit unfair (my fault): the IO::Lambda/POE
2026benchmarks actually make blocking connects and use 100% blocking I/O,
2027defeating the purpose of an event-based solution. All of the newly
2028written AnyEvent benchmarks use 100% non-blocking connects (using
2029AnyEvent::Socket::tcp_connect and the asynchronous pure perl DNS
2030resolver), so AnyEvent is at a disadvantage here, as non-blocking connects
2031generally require a lot more bookkeeping and event handling than blocking
2032connects (which involve a single syscall only).
2033
2034The last AnyEvent benchmark additionally uses L<AnyEvent::Handle>, which
2035offers similar expressive power as POE and IO::Lambda, using conventional
2036Perl syntax. This means that both the echo server and the client are 100%
2037non-blocking, further placing it at a disadvantage.
2038
2039As you can see, the AnyEvent + EV combination even beats the
2040hand-optimised "raw sockets benchmark", while AnyEvent + its pure perl
2041backend easily beats IO::Lambda and POE.
2042
2043And even the 100% non-blocking version written using the high-level (and
2044slow :) L<AnyEvent::Handle> abstraction beats both POE and IO::Lambda by a
2045large margin, even though it does all of DNS, tcp-connect and socket I/O
2046in a non-blocking way.
2047
2048The two AnyEvent benchmarks programs can be found as F<eg/ae0.pl> and
2049F<eg/ae2.pl> in the AnyEvent distribution, the remaining benchmarks are
2050part of the IO::lambda distribution and were used without any changes.
2051
2052
2053=head1 SIGNALS
2054
2055AnyEvent currently installs handlers for these signals:
2056
2057=over 4
2058
2059=item SIGCHLD
2060
2061A handler for C<SIGCHLD> is installed by AnyEvent's child watcher
2062emulation for event loops that do not support them natively. Also, some
2063event loops install a similar handler.
2064
2065If, when AnyEvent is loaded, SIGCHLD is set to IGNORE, then AnyEvent will
2066reset it to default, to avoid losing child exit statuses.
2067
2068=item SIGPIPE
2069
2070A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef>
2071when AnyEvent gets loaded.
2072
2073The rationale for this is that AnyEvent users usually do not really depend
2074on SIGPIPE delivery (which is purely an optimisation for shell use, or
2075badly-written programs), but C<SIGPIPE> can cause spurious and rare
2076program exits as a lot of people do not expect C<SIGPIPE> when writing to
2077some random socket.
2078
2079The rationale for installing a no-op handler as opposed to ignoring it is
2080that this way, the handler will be restored to defaults on exec.
2081
2082Feel free to install your own handler, or reset it to defaults.
2083
2084=back
2085
2086=cut
2087
2088undef $SIG{CHLD}
2089 if $SIG{CHLD} eq 'IGNORE';
2090
2091$SIG{PIPE} = sub { }
2092 unless defined $SIG{PIPE};
1791 2093
1792=head1 FORK 2094=head1 FORK
1793 2095
1794Most event libraries are not fork-safe. The ones who are usually are 2096Most event libraries are not fork-safe. The ones who are usually are
1795because they rely on inefficient but fork-safe C<select> or C<poll> 2097because they rely on inefficient but fork-safe C<select> or C<poll>
1816 use AnyEvent; 2118 use AnyEvent;
1817 2119
1818Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can 2120Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1819be used to probe what backend is used and gain other information (which is 2121be used to probe what backend is used and gain other information (which is
1820probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and 2122probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and
1821$ENV{PERL_ANYEGENT_STRICT}. 2123$ENV{PERL_ANYEVENT_STRICT}.
2124
2125Note that AnyEvent will remove I<all> environment variables starting with
2126C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
2127enabled.
1822 2128
1823 2129
1824=head1 BUGS 2130=head1 BUGS
1825 2131
1826Perl 5.8 has numerous memleaks that sometimes hit this module and are hard 2132Perl 5.8 has numerous memleaks that sometimes hit this module and are hard
1827to work around. If you suffer from memleaks, first upgrade to Perl 5.10 2133to work around. If you suffer from memleaks, first upgrade to Perl 5.10
1828and check wether the leaks still show up. (Perl 5.10.0 has other annoying 2134and check wether the leaks still show up. (Perl 5.10.0 has other annoying
1829mamleaks, such as leaking on C<map> and C<grep> but it is usually not as 2135memleaks, such as leaking on C<map> and C<grep> but it is usually not as
1830pronounced). 2136pronounced).
1831 2137
1832 2138
1833=head1 SEE ALSO 2139=head1 SEE ALSO
1834 2140

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines