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.210 by root, Wed May 13 15:19:43 2009 UTC vs.
Revision 1.221 by root, Fri Jun 26 06:33:17 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
391 392
392There is a slight catch to child watchers, however: you usually start them 393There is a slight catch to child watchers, however: you usually start them
393I<after> the child process was created, and this means the process could 394I<after> the child process was created, and this means the process could
394have exited already (and no SIGCHLD will be sent anymore). 395have exited already (and no SIGCHLD will be sent anymore).
395 396
396Not all event models handle this correctly (POE doesn't), but even for 397Not all event models handle this correctly (neither POE nor IO::Async do,
398see their AnyEvent::Impl manpages for details), but even for event models
397event models that I<do> handle this correctly, they usually need to be 399that I<do> handle this correctly, they usually need to be loaded before
398loaded before the process exits (i.e. before you fork in the first place). 400the process exits (i.e. before you fork in the first place). AnyEvent's
401pure perl event loop handles all cases correctly regardless of when you
402start the watcher.
399 403
400This means you cannot create a child watcher as the very first thing in an 404This means you cannot create a child watcher as the very first
401AnyEvent program, you I<have> to create at least one watcher before you 405thing in an AnyEvent program, you I<have> to create at least one
402C<fork> the child (alternatively, you can call C<AnyEvent::detect>). 406watcher before you C<fork> the child (alternatively, you can call
407C<AnyEvent::detect>).
403 408
404Example: fork a process and wait for it 409Example: fork a process and wait for it
405 410
406 my $done = AnyEvent->condvar; 411 my $done = AnyEvent->condvar;
407 412
729 AnyEvent::Impl::Tk based on Tk, very bad choice. 734 AnyEvent::Impl::Tk based on Tk, very bad choice.
730 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs). 735 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
731 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse. 736 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
732 AnyEvent::Impl::POE based on POE, not generic enough for full support. 737 AnyEvent::Impl::POE based on POE, not generic enough for full support.
733 738
739 # warning, support for IO::Async is only partial, as it is too broken
740 # and limited toe ven support the AnyEvent API. See AnyEvent::Impl::Async.
741 AnyEvent::Impl::IOAsync based on IO::Async, cannot be autoprobed (see its docs).
742
734There is no support for WxWidgets, as WxWidgets has no support for 743There is no support for WxWidgets, as WxWidgets has no support for
735watching file handles. However, you can use WxWidgets through the 744watching file handles. However, you can use WxWidgets through the
736POE Adaptor, as POE has a Wx backend that simply polls 20 times per 745POE Adaptor, as POE has a Wx backend that simply polls 20 times per
737second, which was considered to be too horrible to even consider for 746second, which was considered to be too horrible to even consider for
738AnyEvent. Likewise, other POE backends can be used by AnyEvent by using 747AnyEvent. Likewise, other POE backends can be used by AnyEvent by using
930no warnings; 939no warnings;
931use strict qw(vars subs); 940use strict qw(vars subs);
932 941
933use Carp; 942use Carp;
934 943
935our $VERSION = 4.41; 944our $VERSION = 4.42;
936our $MODEL; 945our $MODEL;
937 946
938our $AUTOLOAD; 947our $AUTOLOAD;
939our @ISA; 948our @ISA;
940 949
941our @REGISTRY; 950our @REGISTRY;
942 951
943our $WIN32; 952our $WIN32;
944 953
945BEGIN { 954BEGIN {
946 my $win32 = ! ! ($^O =~ /mswin32/i); 955 eval "sub WIN32(){ " . (($^O =~ /mswin32/i)*1) ." }";
947 eval "sub WIN32(){ $win32 }"; 956 eval "sub TAINT(){ " . (${^TAINT}*1) . " }";
957
958 delete @ENV{grep /^PERL_ANYEVENT_/, keys %ENV}
959 if ${^TAINT};
948} 960}
949 961
950our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 962our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
951 963
952our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred 964our %PROTOCOL; # (ipv4|ipv6) => (1|2), higher numbers are preferred
970 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 982 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
971 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 983 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
972 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 984 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
973 [Wx:: => AnyEvent::Impl::POE::], 985 [Wx:: => AnyEvent::Impl::POE::],
974 [Prima:: => AnyEvent::Impl::POE::], 986 [Prima:: => AnyEvent::Impl::POE::],
987 # IO::Async is just too broken - we would need workaorunds for its
988 # byzantine signal and broken child handling, among others.
989 # IO::Async is rather hard to detect, as it doesn't have any
990 # obvious default class.
991# [IO::Async:: => AnyEvent::Impl::IOAsync::], # requires special main program
992# [IO::Async::Loop:: => AnyEvent::Impl::IOAsync::], # requires special main program
993# [IO::Async::Notifier:: => AnyEvent::Impl::IOAsync::], # requires special main program
975); 994);
976 995
977our %method = map +($_ => 1), 996our %method = map +($_ => 1),
978 qw(io timer time now now_update signal child idle condvar one_event DESTROY); 997 qw(io timer time now now_update signal child idle condvar one_event DESTROY);
979 998
1071} 1090}
1072 1091
1073# utility function to dup a filehandle. this is used by many backends 1092# utility function to dup a filehandle. this is used by many backends
1074# to support binding more than one watcher per filehandle (they usually 1093# 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). 1094# allow only one watcher per fd, so we dup it to get a different one).
1076sub _dupfh($$$$) { 1095sub _dupfh($$;$$) {
1077 my ($poll, $fh, $r, $w) = @_; 1096 my ($poll, $fh, $r, $w) = @_;
1078 1097
1079 # cygwin requires the fh mode to be matching, unix doesn't 1098 # cygwin requires the fh mode to be matching, unix doesn't
1080 my ($rw, $mode) = $poll eq "r" ? ($r, "<") 1099 my ($rw, $mode) = $poll eq "r" ? ($r, "<")
1081 : $poll eq "w" ? ($w, ">") 1100 : $poll eq "w" ? ($w, ">")
1141 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W) if $SIGPIPE_W; # just in case 1160 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W) if $SIGPIPE_W; # just in case
1142 } else { 1161 } else {
1143 pipe $SIGPIPE_R, $SIGPIPE_W; 1162 pipe $SIGPIPE_R, $SIGPIPE_W;
1144 fcntl $SIGPIPE_R, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_R; 1163 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 1164 fcntl $SIGPIPE_W, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_W; # just in case
1165
1166 # not strictly required, as $^F is normally 2, but let's make sure...
1167 fcntl $SIGPIPE_R, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1168 fcntl $SIGPIPE_W, &Fcntl::F_SETFD, &Fcntl::FD_CLOEXEC;
1146 } 1169 }
1147 1170
1148 $SIGPIPE_R 1171 $SIGPIPE_R
1149 or Carp::croak "AnyEvent: unable to create a signal reporting pipe: $!\n"; 1172 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 1173
1155 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R, poll => "r", cb => \&_signal_exec); 1174 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R, poll => "r", cb => \&_signal_exec);
1156 } 1175 }
1157 1176
1158 my $signal = uc $arg{signal} 1177 my $signal = uc $arg{signal}
1336so on. 1355so on.
1337 1356
1338=head1 ENVIRONMENT VARIABLES 1357=head1 ENVIRONMENT VARIABLES
1339 1358
1340The following environment variables are used by this module or its 1359The following environment variables are used by this module or its
1341submodules: 1360submodules.
1361
1362Note that AnyEvent will remove I<all> environment variables starting with
1363C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
1364enabled.
1342 1365
1343=over 4 1366=over 4
1344 1367
1345=item C<PERL_ANYEVENT_VERBOSE> 1368=item C<PERL_ANYEVENT_VERBOSE>
1346 1369
1358=item C<PERL_ANYEVENT_STRICT> 1381=item C<PERL_ANYEVENT_STRICT>
1359 1382
1360AnyEvent does not do much argument checking by default, as thorough 1383AnyEvent does not do much argument checking by default, as thorough
1361argument checking is very costly. Setting this variable to a true value 1384argument checking is very costly. Setting this variable to a true value
1362will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly 1385will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1363check the arguments passed to most method calls. If it finds any problems 1386check the arguments passed to most method calls. If it finds any problems,
1364it will croak. 1387it will croak.
1365 1388
1366In other words, enables "strict" mode. 1389In other words, enables "strict" mode.
1367 1390
1368Unlike C<use strict>, it is definitely recommended ot keep it off in 1391Unlike C<use strict>, it is definitely recommended to keep it off in
1369production. Keeping C<PERL_ANYEVENT_STRICT=1> in your environment while 1392production. Keeping C<PERL_ANYEVENT_STRICT=1> in your environment while
1370developing programs can be very useful, however. 1393developing programs can be very useful, however.
1371 1394
1372=item C<PERL_ANYEVENT_MODEL> 1395=item C<PERL_ANYEVENT_MODEL>
1373 1396
1672 EV/Any 100000 224 2.88 0.34 0.27 EV + AnyEvent watchers 1695 EV/Any 100000 224 2.88 0.34 0.27 EV + AnyEvent watchers
1673 CoroEV/Any 100000 224 2.85 0.35 0.28 coroutines + Coro::Signal 1696 CoroEV/Any 100000 224 2.85 0.35 0.28 coroutines + Coro::Signal
1674 Perl/Any 100000 452 4.13 0.73 0.95 pure perl implementation 1697 Perl/Any 100000 452 4.13 0.73 0.95 pure perl implementation
1675 Event/Event 16000 517 32.20 31.80 0.81 Event native interface 1698 Event/Event 16000 517 32.20 31.80 0.81 Event native interface
1676 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers 1699 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers
1700 IOAsync/Any 16000 989 38.10 32.77 11.13 via IO::Async::Loop::IO_Poll
1701 IOAsync/Any 16000 990 37.59 29.50 10.61 via IO::Async::Loop::Epoll
1677 Glib/Any 16000 1357 102.33 12.31 51.00 quadratic behaviour 1702 Glib/Any 16000 1357 102.33 12.31 51.00 quadratic behaviour
1678 Tk/Any 2000 1860 27.20 66.31 14.00 SEGV with >> 2000 watchers 1703 Tk/Any 2000 1860 27.20 66.31 14.00 SEGV with >> 2000 watchers
1679 POE/Event 2000 6328 109.99 751.67 14.02 via POE::Loop::Event 1704 POE/Event 2000 6328 109.99 751.67 14.02 via POE::Loop::Event
1680 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select 1705 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select
1681 1706
1710performance becomes really bad with lots of file descriptors (and few of 1735performance becomes really bad with lots of file descriptors (and few of
1711them active), of course, but this was not subject of this benchmark. 1736them active), of course, but this was not subject of this benchmark.
1712 1737
1713The C<Event> module has a relatively high setup and callback invocation 1738The C<Event> module has a relatively high setup and callback invocation
1714cost, but overall scores in on the third place. 1739cost, but overall scores in on the third place.
1740
1741C<IO::Async> performs admirably well, about on par with C<Event>, even
1742when using its pure perl backend.
1715 1743
1716C<Glib>'s memory usage is quite a bit higher, but it features a 1744C<Glib>'s memory usage is quite a bit higher, but it features a
1717faster callback invocation and overall ends up in the same class as 1745faster callback invocation and overall ends up in the same class as
1718C<Event>. However, Glib scales extremely badly, doubling the number of 1746C<Event>. However, Glib scales extremely badly, doubling the number of
1719watchers increases the processing time by more than a factor of four, 1747watchers increases the processing time by more than a factor of four,
1797it to another server. This includes deleting the old timeout and creating 1825it to another server. This includes deleting the old timeout and creating
1798a new one that moves the timeout into the future. 1826a new one that moves the timeout into the future.
1799 1827
1800=head3 Results 1828=head3 Results
1801 1829
1802 name sockets create request 1830 name sockets create request
1803 EV 20000 69.01 11.16 1831 EV 20000 69.01 11.16
1804 Perl 20000 73.32 35.87 1832 Perl 20000 73.32 35.87
1833 IOAsync 20000 157.00 98.14 epoll
1834 IOAsync 20000 159.31 616.06 poll
1805 Event 20000 212.62 257.32 1835 Event 20000 212.62 257.32
1806 Glib 20000 651.16 1896.30 1836 Glib 20000 651.16 1896.30
1807 POE 20000 349.67 12317.24 uses POE::Loop::Event 1837 POE 20000 349.67 12317.24 uses POE::Loop::Event
1808 1838
1809=head3 Discussion 1839=head3 Discussion
1810 1840
1811This benchmark I<does> measure scalability and overall performance of the 1841This benchmark I<does> measure scalability and overall performance of the
1812particular event loop. 1842particular event loop.
1814EV is again fastest. Since it is using epoll on my system, the setup time 1844EV is again fastest. Since it is using epoll on my system, the setup time
1815is relatively high, though. 1845is relatively high, though.
1816 1846
1817Perl surprisingly comes second. It is much faster than the C-based event 1847Perl surprisingly comes second. It is much faster than the C-based event
1818loops Event and Glib. 1848loops Event and Glib.
1849
1850IO::Async performs very well when using its epoll backend, and still quite
1851good compared to Glib when using its pure perl backend.
1819 1852
1820Event suffers from high setup time as well (look at its code and you will 1853Event suffers from high setup time as well (look at its code and you will
1821understand why). Callback invocation also has a high overhead compared to 1854understand why). Callback invocation also has a high overhead compared to
1822the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event 1855the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event
1823uses select or poll in basically all documented configurations. 1856uses select or poll in basically all documented configurations.
1886=item * C-based event loops perform very well with small number of 1919=item * C-based event loops perform very well with small number of
1887watchers, as the management overhead dominates. 1920watchers, as the management overhead dominates.
1888 1921
1889=back 1922=back
1890 1923
1924=head2 THE IO::Lambda BENCHMARK
1925
1926Recently I was told about the benchmark in the IO::Lambda manpage, which
1927could be misinterpreted to make AnyEvent look bad. In fact, the benchmark
1928simply compares IO::Lambda with POE, and IO::Lambda looks better (which
1929shouldn't come as a surprise to anybody). As such, the benchmark is
1930fine, and mostly shows that the AnyEvent backend from IO::Lambda isn't
1931very optimal. But how would AnyEvent compare when used without the extra
1932baggage? To explore this, I wrote the equivalent benchmark for AnyEvent.
1933
1934The benchmark itself creates an echo-server, and then, for 500 times,
1935connects to the echo server, sends a line, waits for the reply, and then
1936creates the next connection. This is a rather bad benchmark, as it doesn't
1937test the efficiency of the framework or much non-blocking I/O, but it is a
1938benchmark nevertheless.
1939
1940 name runtime
1941 Lambda/select 0.330 sec
1942 + optimized 0.122 sec
1943 Lambda/AnyEvent 0.327 sec
1944 + optimized 0.138 sec
1945 Raw sockets/select 0.077 sec
1946 POE/select, components 0.662 sec
1947 POE/select, raw sockets 0.226 sec
1948 POE/select, optimized 0.404 sec
1949
1950 AnyEvent/select/nb 0.085 sec
1951 AnyEvent/EV/nb 0.068 sec
1952 +state machine 0.134 sec
1953
1954The benchmark is also a bit unfair (my fault): the IO::Lambda/POE
1955benchmarks actually make blocking connects and use 100% blocking I/O,
1956defeating the purpose of an event-based solution. All of the newly
1957written AnyEvent benchmarks use 100% non-blocking connects (using
1958AnyEvent::Socket::tcp_connect and the asynchronous pure perl DNS
1959resolver), so AnyEvent is at a disadvantage here, as non-blocking connects
1960generally require a lot more bookkeeping and event handling than blocking
1961connects (which involve a single syscall only).
1962
1963The last AnyEvent benchmark additionally uses L<AnyEvent::Handle>, which
1964offers similar expressive power as POE and IO::Lambda, using conventional
1965Perl syntax. This means that both the echo server and the client are 100%
1966non-blocking, further placing it at a disadvantage.
1967
1968As you can see, the AnyEvent + EV combination even beats the
1969hand-optimised "raw sockets benchmark", while AnyEvent + its pure perl
1970backend easily beats IO::Lambda and POE.
1971
1972And even the 100% non-blocking version written using the high-level (and
1973slow :) L<AnyEvent::Handle> abstraction beats both POE and IO::Lambda by a
1974large margin, even though it does all of DNS, tcp-connect and socket I/O
1975in a non-blocking way.
1976
1977The two AnyEvent benchmarks programs can be found as F<eg/ae0.pl> and
1978F<eg/ae2.pl> in the AnyEvent distribution, the remaining benchmarks are
1979part of the IO::lambda distribution and were used without any changes.
1980
1891 1981
1892=head1 SIGNALS 1982=head1 SIGNALS
1893 1983
1894AnyEvent currently installs handlers for these signals: 1984AnyEvent currently installs handlers for these signals:
1895 1985
1898=item SIGCHLD 1988=item SIGCHLD
1899 1989
1900A handler for C<SIGCHLD> is installed by AnyEvent's child watcher 1990A handler for C<SIGCHLD> is installed by AnyEvent's child watcher
1901emulation for event loops that do not support them natively. Also, some 1991emulation for event loops that do not support them natively. Also, some
1902event loops install a similar handler. 1992event loops install a similar handler.
1993
1994If, when AnyEvent is loaded, SIGCHLD is set to IGNORE, then AnyEvent will
1995reset it to default, to avoid losing child exit statuses.
1903 1996
1904=item SIGPIPE 1997=item SIGPIPE
1905 1998
1906A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef> 1999A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef>
1907when AnyEvent gets loaded. 2000when AnyEvent gets loaded.
1919 2012
1920=back 2013=back
1921 2014
1922=cut 2015=cut
1923 2016
2017undef $SIG{CHLD}
2018 if $SIG{CHLD} eq 'IGNORE';
2019
1924$SIG{PIPE} = sub { } 2020$SIG{PIPE} = sub { }
1925 unless defined $SIG{PIPE}; 2021 unless defined $SIG{PIPE};
1926
1927 2022
1928=head1 FORK 2023=head1 FORK
1929 2024
1930Most event libraries are not fork-safe. The ones who are usually are 2025Most event libraries are not fork-safe. The ones who are usually are
1931because they rely on inefficient but fork-safe C<select> or C<poll> 2026because they rely on inefficient but fork-safe C<select> or C<poll>
1952 use AnyEvent; 2047 use AnyEvent;
1953 2048
1954Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can 2049Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1955be used to probe what backend is used and gain other information (which is 2050be used to probe what backend is used and gain other information (which is
1956probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and 2051probably even less useful to an attacker than PERL_ANYEVENT_MODEL), and
1957$ENV{PERL_ANYEGENT_STRICT}. 2052$ENV{PERL_ANYEVENT_STRICT}.
2053
2054Note that AnyEvent will remove I<all> environment variables starting with
2055C<PERL_ANYEVENT_> from C<%ENV> when it is loaded while taint mode is
2056enabled.
1958 2057
1959 2058
1960=head1 BUGS 2059=head1 BUGS
1961 2060
1962Perl 5.8 has numerous memleaks that sometimes hit this module and are hard 2061Perl 5.8 has numerous memleaks that sometimes hit this module and are hard

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines