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.179 by root, Thu Sep 4 10:58:58 2008 UTC vs.
Revision 1.195 by root, Wed Mar 25 17:33:11 2009 UTC

340=head2 CHILD PROCESS WATCHERS 340=head2 CHILD PROCESS WATCHERS
341 341
342You can also watch on a child process exit and catch its exit status. 342You can also watch on a child process exit and catch its exit status.
343 343
344The child process is specified by the C<pid> argument (if set to C<0>, it 344The child process is specified by the C<pid> argument (if set to C<0>, it
345watches for any child process exit). The watcher will trigger as often 345watches for any child process exit). The watcher will triggered only when
346as status change for the child are received. This works by installing a 346the child process has finished and an exit status is available, not on
347signal handler for C<SIGCHLD>. The callback will be called with the pid 347any trace events (stopped/continued).
348and exit status (as returned by waitpid), so unlike other watcher types, 348
349you I<can> rely on child watcher callback arguments. 349The callback will be called with the pid and exit status (as returned by
350waitpid), so unlike other watcher types, you I<can> rely on child watcher
351callback arguments.
352
353This watcher type works by installing a signal handler for C<SIGCHLD>,
354and since it cannot be shared, nothing else should use SIGCHLD or reap
355random child processes (waiting for specific child processes, e.g. inside
356C<system>, is just fine).
350 357
351There is a slight catch to child watchers, however: you usually start them 358There is a slight catch to child watchers, however: you usually start them
352I<after> the child process was created, and this means the process could 359I<after> the child process was created, and this means the process could
353have exited already (and no SIGCHLD will be sent anymore). 360have exited already (and no SIGCHLD will be sent anymore).
354 361
818=item L<AnyEvent::IGS> 825=item L<AnyEvent::IGS>
819 826
820A non-blocking interface to the Internet Go Server protocol (used by 827A non-blocking interface to the Internet Go Server protocol (used by
821L<App::IGS>). 828L<App::IGS>).
822 829
823=item L<Net::IRC3> 830=item L<AnyEvent::IRC>
824 831
825AnyEvent based IRC client module family. 832AnyEvent based IRC client module family (replacing the older Net::IRC3).
826 833
827=item L<Net::XMPP2> 834=item L<Net::XMPP2>
828 835
829AnyEvent based XMPP (Jabber protocol) module family. 836AnyEvent based XMPP (Jabber protocol) module family.
830 837
850=cut 857=cut
851 858
852package AnyEvent; 859package AnyEvent;
853 860
854no warnings; 861no warnings;
855use strict; 862use strict qw(vars subs);
856 863
857use Carp; 864use Carp;
858 865
859our $VERSION = 4.233; 866our $VERSION = 4.341;
860our $MODEL; 867our $MODEL;
861 868
862our $AUTOLOAD; 869our $AUTOLOAD;
863our @ISA; 870our @ISA;
864 871
997# to support binding more than one watcher per filehandle (they usually 1004# to support binding more than one watcher per filehandle (they usually
998# allow only one watcher per fd, so we dup it to get a different one). 1005# allow only one watcher per fd, so we dup it to get a different one).
999sub _dupfh($$$$) { 1006sub _dupfh($$$$) {
1000 my ($poll, $fh, $r, $w) = @_; 1007 my ($poll, $fh, $r, $w) = @_;
1001 1008
1002 require Fcntl;
1003
1004 # cygwin requires the fh mode to be matching, unix doesn't 1009 # cygwin requires the fh mode to be matching, unix doesn't
1005 my ($rw, $mode) = $poll eq "r" ? ($r, "<") 1010 my ($rw, $mode) = $poll eq "r" ? ($r, "<")
1006 : $poll eq "w" ? ($w, ">") 1011 : $poll eq "w" ? ($w, ">")
1007 : Carp::croak "AnyEvent->io requires poll set to either 'r' or 'w'"; 1012 : Carp::croak "AnyEvent->io requires poll set to either 'r' or 'w'";
1008 1013
1021BEGIN { 1026BEGIN {
1022 if (eval "use Time::HiRes (); time (); 1") { 1027 if (eval "use Time::HiRes (); time (); 1") {
1023 *_time = \&Time::HiRes::time; 1028 *_time = \&Time::HiRes::time;
1024 # if (eval "use POSIX (); (POSIX::times())... 1029 # if (eval "use POSIX (); (POSIX::times())...
1025 } else { 1030 } else {
1026 *_time = \&CORE::time; # epic fail 1031 *_time = sub { time }; # epic fail
1027 } 1032 }
1028} 1033}
1029 1034
1030sub time { _time } 1035sub time { _time }
1031sub now { _time } 1036sub now { _time }
1036 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar:: 1041 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar::
1037} 1042}
1038 1043
1039# default implementation for ->signal 1044# default implementation for ->signal
1040 1045
1041our %SIG_CB; 1046our ($SIGPIPE_R, $SIGPIPE_W, %SIG_CB, %SIG_EV, $SIG_IO);
1047
1048sub _signal_exec {
1049 while (%SIG_EV) {
1050 sysread $SIGPIPE_R, my $dummy, 4;
1051 for (keys %SIG_EV) {
1052 delete $SIG_EV{$_};
1053 $_->() for values %{ $SIG_CB{$_} || {} };
1054 }
1055 }
1056}
1042 1057
1043sub signal { 1058sub signal {
1044 my (undef, %arg) = @_; 1059 my (undef, %arg) = @_;
1045 1060
1061 unless ($SIGPIPE_R) {
1062 if (AnyEvent::WIN32) {
1063 ($SIGPIPE_R, $SIGPIPE_W) = AnyEvent::Util::portable_pipe ();
1064 AnyEvent::Util::fh_nonblocking ($SIGPIPE_R) if $SIGPIPE_R;
1065 AnyEvent::Util::fh_nonblocking ($SIGPIPE_W) if $SIGPIPE_W; # just in case
1066 } else {
1067 pipe $SIGPIPE_R, $SIGPIPE_W;
1068 require Fcntl;
1069 fcntl $SIGPIPE_R, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_R;
1070 fcntl $SIGPIPE_W, &Fcntl::F_SETFL, &Fcntl::O_NONBLOCK if $SIGPIPE_W; # just in case
1071 }
1072
1073 $SIGPIPE_R
1074 or Carp::croak "AnyEvent: unable to create a signal reporting pipe: $!\n";
1075
1076 $SIG_IO = AnyEvent->io (fh => $SIGPIPE_R, poll => "r", cb => \&_signal_exec);
1077 }
1078
1046 my $signal = uc $arg{signal} 1079 my $signal = uc $arg{signal}
1047 or Carp::croak "required option 'signal' is missing"; 1080 or Carp::croak "required option 'signal' is missing";
1048 1081
1049 $SIG_CB{$signal}{$arg{cb}} = $arg{cb}; 1082 $SIG_CB{$signal}{$arg{cb}} = $arg{cb};
1050 $SIG{$signal} ||= sub { 1083 $SIG{$signal} ||= sub {
1051 $_->() for values %{ $SIG_CB{$signal} || {} }; 1084 syswrite $SIGPIPE_W, "\x00", 1 unless %SIG_EV;
1085 undef $SIG_EV{$signal};
1052 }; 1086 };
1053 1087
1054 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal" 1088 bless [$signal, $arg{cb}], "AnyEvent::Base::Signal"
1055} 1089}
1056 1090
1175 1209
1176# undocumented/compatibility with pre-3.4 1210# undocumented/compatibility with pre-3.4
1177*broadcast = \&send; 1211*broadcast = \&send;
1178*wait = \&_wait; 1212*wait = \&_wait;
1179 1213
1214=head1 ERROR AND EXCEPTION HANDLING
1215
1216In general, AnyEvent does not do any error handling - it relies on the
1217caller to do that if required. The L<AnyEvent::Strict> module (see also
1218the C<PERL_ANYEVENT_STRICT> environment variable, below) provides strict
1219checking of all AnyEvent methods, however, which is highly useful during
1220development.
1221
1222As for exception handling (i.e. runtime errors and exceptions thrown while
1223executing a callback), this is not only highly event-loop specific, but
1224also not in any way wrapped by this module, as this is the job of the main
1225program.
1226
1227The pure perl event loop simply re-throws the exception (usually
1228within C<< condvar->recv >>), the L<Event> and L<EV> modules call C<<
1229$Event/EV::DIED->() >>, L<Glib> uses C<< install_exception_handler >> and
1230so on.
1231
1232=head1 ENVIRONMENT VARIABLES
1233
1234The following environment variables are used by this module or its
1235submodules:
1236
1237=over 4
1238
1239=item C<PERL_ANYEVENT_VERBOSE>
1240
1241By default, AnyEvent will be completely silent except in fatal
1242conditions. You can set this environment variable to make AnyEvent more
1243talkative.
1244
1245When set to C<1> or higher, causes AnyEvent to warn about unexpected
1246conditions, such as not being able to load the event model specified by
1247C<PERL_ANYEVENT_MODEL>.
1248
1249When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1250model it chooses.
1251
1252=item C<PERL_ANYEVENT_STRICT>
1253
1254AnyEvent does not do much argument checking by default, as thorough
1255argument checking is very costly. Setting this variable to a true value
1256will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1257check the arguments passed to most method calls. If it finds any problems
1258it will croak.
1259
1260In other words, enables "strict" mode.
1261
1262Unlike C<use strict>, it is definitely recommended ot keep it off in
1263production. Keeping C<PERL_ANYEVENT_STRICT=1> in your environment while
1264developing programs can be very useful, however.
1265
1266=item C<PERL_ANYEVENT_MODEL>
1267
1268This can be used to specify the event model to be used by AnyEvent, before
1269auto detection and -probing kicks in. It must be a string consisting
1270entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1271and the resulting module name is loaded and if the load was successful,
1272used as event model. If it fails to load AnyEvent will proceed with
1273auto detection and -probing.
1274
1275This functionality might change in future versions.
1276
1277For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1278could start your program like this:
1279
1280 PERL_ANYEVENT_MODEL=Perl perl ...
1281
1282=item C<PERL_ANYEVENT_PROTOCOLS>
1283
1284Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1285for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1286of auto probing).
1287
1288Must be set to a comma-separated list of protocols or address families,
1289current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1290used, and preference will be given to protocols mentioned earlier in the
1291list.
1292
1293This variable can effectively be used for denial-of-service attacks
1294against local programs (e.g. when setuid), although the impact is likely
1295small, as the program has to handle conenction and other failures anyways.
1296
1297Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1298but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1299- only support IPv4, never try to resolve or contact IPv6
1300addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1301IPv6, but prefer IPv6 over IPv4.
1302
1303=item C<PERL_ANYEVENT_EDNS0>
1304
1305Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1306for DNS. This extension is generally useful to reduce DNS traffic, but
1307some (broken) firewalls drop such DNS packets, which is why it is off by
1308default.
1309
1310Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1311EDNS0 in its DNS requests.
1312
1313=item C<PERL_ANYEVENT_MAX_FORKS>
1314
1315The maximum number of child processes that C<AnyEvent::Util::fork_call>
1316will create in parallel.
1317
1318=back
1319
1180=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 1320=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
1181 1321
1182This is an advanced topic that you do not normally need to use AnyEvent in 1322This is an advanced topic that you do not normally need to use AnyEvent in
1183a module. This section is only of use to event loop authors who want to 1323a module. This section is only of use to event loop authors who want to
1184provide AnyEvent compatibility. 1324provide AnyEvent compatibility.
1217 1357
1218I<rxvt-unicode> also cheats a bit by not providing blocking access to 1358I<rxvt-unicode> also cheats a bit by not providing blocking access to
1219condition variables: code blocking while waiting for a condition will 1359condition variables: code blocking while waiting for a condition will
1220C<die>. This still works with most modules/usages, and blocking calls must 1360C<die>. This still works with most modules/usages, and blocking calls must
1221not be done in an interactive application, so it makes sense. 1361not be done in an interactive application, so it makes sense.
1222
1223=head1 ENVIRONMENT VARIABLES
1224
1225The following environment variables are used by this module:
1226
1227=over 4
1228
1229=item C<PERL_ANYEVENT_VERBOSE>
1230
1231By default, AnyEvent will be completely silent except in fatal
1232conditions. You can set this environment variable to make AnyEvent more
1233talkative.
1234
1235When set to C<1> or higher, causes AnyEvent to warn about unexpected
1236conditions, such as not being able to load the event model specified by
1237C<PERL_ANYEVENT_MODEL>.
1238
1239When set to C<2> or higher, cause AnyEvent to report to STDERR which event
1240model it chooses.
1241
1242=item C<PERL_ANYEVENT_STRICT>
1243
1244AnyEvent does not do much argument checking by default, as thorough
1245argument checking is very costly. Setting this variable to a true value
1246will cause AnyEvent to load C<AnyEvent::Strict> and then to thoroughly
1247check the arguments passed to most method calls. If it finds any problems
1248it will croak.
1249
1250In other words, enables "strict" mode.
1251
1252Unlike C<use strict> it is definitely recommended ot keep it off in
1253production.
1254
1255=item C<PERL_ANYEVENT_MODEL>
1256
1257This can be used to specify the event model to be used by AnyEvent, before
1258auto detection and -probing kicks in. It must be a string consisting
1259entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
1260and the resulting module name is loaded and if the load was successful,
1261used as event model. If it fails to load AnyEvent will proceed with
1262auto detection and -probing.
1263
1264This functionality might change in future versions.
1265
1266For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
1267could start your program like this:
1268
1269 PERL_ANYEVENT_MODEL=Perl perl ...
1270
1271=item C<PERL_ANYEVENT_PROTOCOLS>
1272
1273Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1274for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1275of auto probing).
1276
1277Must be set to a comma-separated list of protocols or address families,
1278current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1279used, and preference will be given to protocols mentioned earlier in the
1280list.
1281
1282This variable can effectively be used for denial-of-service attacks
1283against local programs (e.g. when setuid), although the impact is likely
1284small, as the program has to handle connection errors already-
1285
1286Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1287but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1288- only support IPv4, never try to resolve or contact IPv6
1289addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1290IPv6, but prefer IPv6 over IPv4.
1291
1292=item C<PERL_ANYEVENT_EDNS0>
1293
1294Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1295for DNS. This extension is generally useful to reduce DNS traffic, but
1296some (broken) firewalls drop such DNS packets, which is why it is off by
1297default.
1298
1299Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1300EDNS0 in its DNS requests.
1301
1302=item C<PERL_ANYEVENT_MAX_FORKS>
1303
1304The maximum number of child processes that C<AnyEvent::Util::fork_call>
1305will create in parallel.
1306
1307=back
1308 1362
1309=head1 EXAMPLE PROGRAM 1363=head1 EXAMPLE PROGRAM
1310 1364
1311The following program uses an I/O watcher to read data from STDIN, a timer 1365The following program uses an I/O watcher to read data from STDIN, a timer
1312to display a message once per second, and a condition variable to quit the 1366to display a message once per second, and a condition variable to quit the
1506watcher. 1560watcher.
1507 1561
1508=head3 Results 1562=head3 Results
1509 1563
1510 name watchers bytes create invoke destroy comment 1564 name watchers bytes create invoke destroy comment
1511 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1565 EV/EV 400000 224 0.47 0.35 0.27 EV native interface
1512 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers 1566 EV/Any 100000 224 2.88 0.34 0.27 EV + AnyEvent watchers
1513 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal 1567 CoroEV/Any 100000 224 2.85 0.35 0.28 coroutines + Coro::Signal
1514 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation 1568 Perl/Any 100000 452 4.13 0.73 0.95 pure perl implementation
1515 Event/Event 16000 516 31.88 31.30 0.85 Event native interface 1569 Event/Event 16000 517 32.20 31.80 0.81 Event native interface
1516 Event/Any 16000 590 35.75 31.42 1.08 Event + AnyEvent watchers 1570 Event/Any 16000 590 35.85 31.55 1.06 Event + AnyEvent watchers
1517 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1571 Glib/Any 16000 1357 102.33 12.31 51.00 quadratic behaviour
1518 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers 1572 Tk/Any 2000 1860 27.20 66.31 14.00 SEGV with >> 2000 watchers
1519 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event 1573 POE/Event 2000 6328 109.99 751.67 14.02 via POE::Loop::Event
1520 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select 1574 POE/Select 2000 6027 94.54 809.13 579.80 via POE::Loop::Select
1521 1575
1522=head3 Discussion 1576=head3 Discussion
1523 1577
1524The benchmark does I<not> measure scalability of the event loop very 1578The benchmark does I<not> measure scalability of the event loop very
1525well. For example, a select-based event loop (such as the pure perl one) 1579well. For example, a select-based event loop (such as the pure perl one)
1727watchers, as the management overhead dominates. 1781watchers, as the management overhead dominates.
1728 1782
1729=back 1783=back
1730 1784
1731 1785
1786=head1 SIGNALS
1787
1788AnyEvent currently installs handlers for these signals:
1789
1790=over 4
1791
1792=item SIGCHLD
1793
1794A handler for C<SIGCHLD> is installed by AnyEvent's child watcher
1795emulation for event loops that do not support them natively. Also, some
1796event loops install a similar handler.
1797
1798=item SIGPIPE
1799
1800A no-op handler is installed for C<SIGPIPE> when C<$SIG{PIPE}> is C<undef>
1801when AnyEvent gets loaded.
1802
1803The rationale for this is that AnyEvent users usually do not really depend
1804on SIGPIPE delivery (which is purely an optimisation for shell use, or
1805badly-written programs), but C<SIGPIPE> can cause spurious and rare
1806program exits as a lot of people do not expect C<SIGPIPE> when writing to
1807some random socket.
1808
1809The rationale for installing a no-op handler as opposed to ignoring it is
1810that this way, the handler will be restored to defaults on exec.
1811
1812Feel free to install your own handler, or reset it to defaults.
1813
1814=back
1815
1816=cut
1817
1818$SIG{PIPE} = sub { }
1819 unless defined $SIG{PIPE};
1820
1821
1732=head1 FORK 1822=head1 FORK
1733 1823
1734Most event libraries are not fork-safe. The ones who are usually are 1824Most event libraries are not fork-safe. The ones who are usually are
1735because they rely on inefficient but fork-safe C<select> or C<poll> 1825because they rely on inefficient but fork-safe C<select> or C<poll>
1736calls. Only L<EV> is fully fork-aware. 1826calls. Only L<EV> is fully fork-aware.

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines