| 1 | package AnyEvent::Handle; |
1 | package AnyEvent::Handle; |
| 2 | |
2 | |
| 3 | no warnings; |
|
|
| 4 | use strict qw(subs vars); |
|
|
| 5 | |
|
|
| 6 | use AnyEvent (); |
|
|
| 7 | use AnyEvent::Util qw(WSAEWOULDBLOCK); |
|
|
| 8 | use Scalar::Util (); |
3 | use Scalar::Util (); |
| 9 | use Carp (); |
4 | use Carp (); |
| 10 | use Fcntl (); |
|
|
| 11 | use Errno qw(EAGAIN EINTR); |
5 | use Errno qw(EAGAIN EINTR); |
| 12 | |
6 | |
|
|
7 | use AnyEvent (); BEGIN { AnyEvent::common_sense } |
|
|
8 | use AnyEvent::Util qw(WSAEWOULDBLOCK); |
|
|
9 | |
| 13 | =head1 NAME |
10 | =head1 NAME |
| 14 | |
11 | |
| 15 | AnyEvent::Handle - non-blocking I/O on file handles via AnyEvent |
12 | AnyEvent::Handle - non-blocking I/O on file handles via AnyEvent |
| 16 | |
13 | |
| 17 | =cut |
14 | =cut |
| 18 | |
15 | |
| 19 | our $VERSION = 4.8; |
16 | our $VERSION = 4.86; |
| 20 | |
17 | |
| 21 | =head1 SYNOPSIS |
18 | =head1 SYNOPSIS |
| 22 | |
19 | |
| 23 | use AnyEvent; |
20 | use AnyEvent; |
| 24 | use AnyEvent::Handle; |
21 | use AnyEvent::Handle; |
| 25 | |
22 | |
| 26 | my $cv = AnyEvent->condvar; |
23 | my $cv = AnyEvent->condvar; |
| 27 | |
24 | |
| 28 | my $handle = |
25 | my $hdl; $hdl = new AnyEvent::Handle |
| 29 | AnyEvent::Handle->new ( |
|
|
| 30 | fh => \*STDIN, |
26 | fh => \*STDIN, |
| 31 | on_eof => sub { |
27 | on_error => sub { |
|
|
28 | my ($hdl, $fatal, $msg) = @_; |
|
|
29 | warn "got error $msg\n"; |
|
|
30 | $hdl->destroy; |
| 32 | $cv->send; |
31 | $cv->send; |
| 33 | }, |
|
|
| 34 | ); |
32 | ); |
| 35 | |
33 | |
| 36 | # send some request line |
34 | # send some request line |
| 37 | $handle->push_write ("getinfo\015\012"); |
35 | $hdl->push_write ("getinfo\015\012"); |
| 38 | |
36 | |
| 39 | # read the response line |
37 | # read the response line |
| 40 | $handle->push_read (line => sub { |
38 | $hdl->push_read (line => sub { |
| 41 | my ($handle, $line) = @_; |
39 | my ($hdl, $line) = @_; |
| 42 | warn "read line <$line>\n"; |
40 | warn "got line <$line>\n"; |
| 43 | $cv->send; |
41 | $cv->send; |
| 44 | }); |
42 | }); |
| 45 | |
43 | |
| 46 | $cv->recv; |
44 | $cv->recv; |
| 47 | |
45 | |
| … | |
… | |
| 81 | |
79 | |
| 82 | =item on_eof => $cb->($handle) |
80 | =item on_eof => $cb->($handle) |
| 83 | |
81 | |
| 84 | Set the callback to be called when an end-of-file condition is detected, |
82 | Set the callback to be called when an end-of-file condition is detected, |
| 85 | i.e. in the case of a socket, when the other side has closed the |
83 | i.e. in the case of a socket, when the other side has closed the |
| 86 | connection cleanly. |
84 | connection cleanly, and there are no outstanding read requests in the |
|
|
85 | queue (if there are read requests, then an EOF counts as an unexpected |
|
|
86 | connection close and will be flagged as an error). |
| 87 | |
87 | |
| 88 | For sockets, this just means that the other side has stopped sending data, |
88 | For sockets, this just means that the other side has stopped sending data, |
| 89 | you can still try to write data, and, in fact, one can return from the EOF |
89 | you can still try to write data, and, in fact, one can return from the EOF |
| 90 | callback and continue writing data, as only the read part has been shut |
90 | callback and continue writing data, as only the read part has been shut |
| 91 | down. |
91 | down. |
| 92 | |
92 | |
| 93 | While not mandatory, it is I<highly> recommended to set an EOF callback, |
|
|
| 94 | otherwise you might end up with a closed socket while you are still |
|
|
| 95 | waiting for data. |
|
|
| 96 | |
|
|
| 97 | If an EOF condition has been detected but no C<on_eof> callback has been |
93 | If an EOF condition has been detected but no C<on_eof> callback has been |
| 98 | set, then a fatal error will be raised with C<$!> set to <0>. |
94 | set, then a fatal error will be raised with C<$!> set to <0>. |
| 99 | |
95 | |
| 100 | =item on_error => $cb->($handle, $fatal, $message) |
96 | =item on_error => $cb->($handle, $fatal, $message) |
| 101 | |
97 | |
| 102 | This is the error callback, which is called when, well, some error |
98 | This is the error callback, which is called when, well, some error |
| 103 | occured, such as not being able to resolve the hostname, failure to |
99 | occured, such as not being able to resolve the hostname, failure to |
| 104 | connect or a read error. |
100 | connect or a read error. |
| 105 | |
101 | |
| 106 | Some errors are fatal (which is indicated by C<$fatal> being true). On |
102 | Some errors are fatal (which is indicated by C<$fatal> being true). On |
| 107 | fatal errors the handle object will be shut down and will not be usable |
103 | fatal errors the handle object will be destroyed (by a call to C<< -> |
| 108 | (but you are free to look at the current C<< ->rbuf >>). Examples of fatal |
104 | destroy >>) after invoking the error callback (which means you are free to |
| 109 | errors are an EOF condition with active (but unsatisifable) read watchers |
105 | examine the handle object). Examples of fatal errors are an EOF condition |
| 110 | (C<EPIPE>) or I/O errors. |
106 | with active (but unsatisifable) read watchers (C<EPIPE>) or I/O errors. |
| 111 | |
107 | |
| 112 | AnyEvent::Handle tries to find an appropriate error code for you to check |
108 | AnyEvent::Handle tries to find an appropriate error code for you to check |
| 113 | against, but in some cases (TLS errors), this does not work well. It is |
109 | against, but in some cases (TLS errors), this does not work well. It is |
| 114 | recommended to always output the C<$message> argument in human-readable |
110 | recommended to always output the C<$message> argument in human-readable |
| 115 | error messages (it's usually the same as C<"$!">). |
111 | error messages (it's usually the same as C<"$!">). |
| … | |
… | |
| 141 | |
137 | |
| 142 | When an EOF condition is detected then AnyEvent::Handle will first try to |
138 | When an EOF condition is detected then AnyEvent::Handle will first try to |
| 143 | feed all the remaining data to the queued callbacks and C<on_read> before |
139 | feed all the remaining data to the queued callbacks and C<on_read> before |
| 144 | calling the C<on_eof> callback. If no progress can be made, then a fatal |
140 | calling the C<on_eof> callback. If no progress can be made, then a fatal |
| 145 | error will be raised (with C<$!> set to C<EPIPE>). |
141 | error will be raised (with C<$!> set to C<EPIPE>). |
|
|
142 | |
|
|
143 | Note that, unlike requests in the read queue, an C<on_read> callback |
|
|
144 | doesn't mean you I<require> some data: if there is an EOF and there |
|
|
145 | are outstanding read requests then an error will be flagged. With an |
|
|
146 | C<on_read> callback, the C<on_eof> callback will be invoked. |
| 146 | |
147 | |
| 147 | =item on_drain => $cb->($handle) |
148 | =item on_drain => $cb->($handle) |
| 148 | |
149 | |
| 149 | This sets the callback that is called when the write buffer becomes empty |
150 | This sets the callback that is called when the write buffer becomes empty |
| 150 | (or when the callback is set and the buffer is empty already). |
151 | (or when the callback is set and the buffer is empty already). |
| … | |
… | |
| 369 | if $self->{on_read}; |
370 | if $self->{on_read}; |
| 370 | |
371 | |
| 371 | $self->{fh} && $self |
372 | $self->{fh} && $self |
| 372 | } |
373 | } |
| 373 | |
374 | |
| 374 | sub _shutdown { |
375 | #sub _shutdown { |
| 375 | my ($self) = @_; |
376 | # my ($self) = @_; |
| 376 | |
377 | # |
| 377 | delete @$self{qw(_tw _rw _ww fh wbuf on_read _queue)}; |
378 | # delete @$self{qw(_tw _rw _ww fh wbuf on_read _queue)}; |
| 378 | $self->{_eof} = 1; # tell starttls et. al to stop trying |
379 | # $self->{_eof} = 1; # tell starttls et. al to stop trying |
| 379 | |
380 | # |
| 380 | &_freetls; |
381 | # &_freetls; |
| 381 | } |
382 | #} |
| 382 | |
383 | |
| 383 | sub _error { |
384 | sub _error { |
| 384 | my ($self, $errno, $fatal, $message) = @_; |
385 | my ($self, $errno, $fatal, $message) = @_; |
| 385 | |
386 | |
| 386 | $self->_shutdown |
|
|
| 387 | if $fatal; |
|
|
| 388 | |
|
|
| 389 | $! = $errno; |
387 | $! = $errno; |
| 390 | $message ||= "$!"; |
388 | $message ||= "$!"; |
| 391 | |
389 | |
| 392 | if ($self->{on_error}) { |
390 | if ($self->{on_error}) { |
| 393 | $self->{on_error}($self, $fatal, $message); |
391 | $self->{on_error}($self, $fatal, $message); |
|
|
392 | $self->destroy if $fatal; |
| 394 | } elsif ($self->{fh}) { |
393 | } elsif ($self->{fh}) { |
|
|
394 | $self->destroy; |
| 395 | Carp::croak "AnyEvent::Handle uncaught error: $message"; |
395 | Carp::croak "AnyEvent::Handle uncaught error: $message"; |
| 396 | } |
396 | } |
| 397 | } |
397 | } |
| 398 | |
398 | |
| 399 | =item $fh = $handle->fh |
399 | =item $fh = $handle->fh |
| … | |
… | |
| 514 | $self->{_activity} = $NOW; |
514 | $self->{_activity} = $NOW; |
| 515 | |
515 | |
| 516 | if ($self->{on_timeout}) { |
516 | if ($self->{on_timeout}) { |
| 517 | $self->{on_timeout}($self); |
517 | $self->{on_timeout}($self); |
| 518 | } else { |
518 | } else { |
| 519 | $self->_error (&Errno::ETIMEDOUT); |
519 | $self->_error (Errno::ETIMEDOUT); |
| 520 | } |
520 | } |
| 521 | |
521 | |
| 522 | # callback could have changed timeout value, optimise |
522 | # callback could have changed timeout value, optimise |
| 523 | return unless $self->{timeout}; |
523 | return unless $self->{timeout}; |
| 524 | |
524 | |
| … | |
… | |
| 587 | Scalar::Util::weaken $self; |
587 | Scalar::Util::weaken $self; |
| 588 | |
588 | |
| 589 | my $cb = sub { |
589 | my $cb = sub { |
| 590 | my $len = syswrite $self->{fh}, $self->{wbuf}; |
590 | my $len = syswrite $self->{fh}, $self->{wbuf}; |
| 591 | |
591 | |
| 592 | if ($len >= 0) { |
592 | if (defined $len) { |
| 593 | substr $self->{wbuf}, 0, $len, ""; |
593 | substr $self->{wbuf}, 0, $len, ""; |
| 594 | |
594 | |
| 595 | $self->{_activity} = AnyEvent->now; |
595 | $self->{_activity} = AnyEvent->now; |
| 596 | |
596 | |
| 597 | $self->{on_drain}($self) |
597 | $self->{on_drain}($self) |
| … | |
… | |
| 866 | |
866 | |
| 867 | if ( |
867 | if ( |
| 868 | defined $self->{rbuf_max} |
868 | defined $self->{rbuf_max} |
| 869 | && $self->{rbuf_max} < length $self->{rbuf} |
869 | && $self->{rbuf_max} < length $self->{rbuf} |
| 870 | ) { |
870 | ) { |
| 871 | $self->_error (&Errno::ENOSPC, 1), return; |
871 | $self->_error (Errno::ENOSPC, 1), return; |
| 872 | } |
872 | } |
| 873 | |
873 | |
| 874 | while () { |
874 | while () { |
| 875 | # we need to use a separate tls read buffer, as we must not receive data while |
875 | # we need to use a separate tls read buffer, as we must not receive data while |
| 876 | # we are draining the buffer, and this can only happen with TLS. |
876 | # we are draining the buffer, and this can only happen with TLS. |
| … | |
… | |
| 880 | |
880 | |
| 881 | if (my $cb = shift @{ $self->{_queue} }) { |
881 | if (my $cb = shift @{ $self->{_queue} }) { |
| 882 | unless ($cb->($self)) { |
882 | unless ($cb->($self)) { |
| 883 | if ($self->{_eof}) { |
883 | if ($self->{_eof}) { |
| 884 | # no progress can be made (not enough data and no data forthcoming) |
884 | # no progress can be made (not enough data and no data forthcoming) |
| 885 | $self->_error (&Errno::EPIPE, 1), return; |
885 | $self->_error (Errno::EPIPE, 1), return; |
| 886 | } |
886 | } |
| 887 | |
887 | |
| 888 | unshift @{ $self->{_queue} }, $cb; |
888 | unshift @{ $self->{_queue} }, $cb; |
| 889 | last; |
889 | last; |
| 890 | } |
890 | } |
| … | |
… | |
| 898 | && !@{ $self->{_queue} } # and the queue is still empty |
898 | && !@{ $self->{_queue} } # and the queue is still empty |
| 899 | && $self->{on_read} # but we still have on_read |
899 | && $self->{on_read} # but we still have on_read |
| 900 | ) { |
900 | ) { |
| 901 | # no further data will arrive |
901 | # no further data will arrive |
| 902 | # so no progress can be made |
902 | # so no progress can be made |
| 903 | $self->_error (&Errno::EPIPE, 1), return |
903 | $self->_error (Errno::EPIPE, 1), return |
| 904 | if $self->{_eof}; |
904 | if $self->{_eof}; |
| 905 | |
905 | |
| 906 | last; # more data might arrive |
906 | last; # more data might arrive |
| 907 | } |
907 | } |
| 908 | } else { |
908 | } else { |
| … | |
… | |
| 1158 | return 1; |
1158 | return 1; |
| 1159 | } |
1159 | } |
| 1160 | |
1160 | |
| 1161 | # reject |
1161 | # reject |
| 1162 | if ($reject && $$rbuf =~ $reject) { |
1162 | if ($reject && $$rbuf =~ $reject) { |
| 1163 | $self->_error (&Errno::EBADMSG); |
1163 | $self->_error (Errno::EBADMSG); |
| 1164 | } |
1164 | } |
| 1165 | |
1165 | |
| 1166 | # skip |
1166 | # skip |
| 1167 | if ($skip && $$rbuf =~ $skip) { |
1167 | if ($skip && $$rbuf =~ $skip) { |
| 1168 | $data .= substr $$rbuf, 0, $+[0], ""; |
1168 | $data .= substr $$rbuf, 0, $+[0], ""; |
| … | |
… | |
| 1184 | my ($self, $cb) = @_; |
1184 | my ($self, $cb) = @_; |
| 1185 | |
1185 | |
| 1186 | sub { |
1186 | sub { |
| 1187 | unless ($_[0]{rbuf} =~ s/^(0|[1-9][0-9]*)://) { |
1187 | unless ($_[0]{rbuf} =~ s/^(0|[1-9][0-9]*)://) { |
| 1188 | if ($_[0]{rbuf} =~ /[^0-9]/) { |
1188 | if ($_[0]{rbuf} =~ /[^0-9]/) { |
| 1189 | $self->_error (&Errno::EBADMSG); |
1189 | $self->_error (Errno::EBADMSG); |
| 1190 | } |
1190 | } |
| 1191 | return; |
1191 | return; |
| 1192 | } |
1192 | } |
| 1193 | |
1193 | |
| 1194 | my $len = $1; |
1194 | my $len = $1; |
| … | |
… | |
| 1197 | my $string = $_[1]; |
1197 | my $string = $_[1]; |
| 1198 | $_[0]->unshift_read (chunk => 1, sub { |
1198 | $_[0]->unshift_read (chunk => 1, sub { |
| 1199 | if ($_[1] eq ",") { |
1199 | if ($_[1] eq ",") { |
| 1200 | $cb->($_[0], $string); |
1200 | $cb->($_[0], $string); |
| 1201 | } else { |
1201 | } else { |
| 1202 | $self->_error (&Errno::EBADMSG); |
1202 | $self->_error (Errno::EBADMSG); |
| 1203 | } |
1203 | } |
| 1204 | }); |
1204 | }); |
| 1205 | }); |
1205 | }); |
| 1206 | |
1206 | |
| 1207 | 1 |
1207 | 1 |
| … | |
… | |
| 1297 | $json->incr_skip; |
1297 | $json->incr_skip; |
| 1298 | |
1298 | |
| 1299 | $self->{rbuf} = $json->incr_text; |
1299 | $self->{rbuf} = $json->incr_text; |
| 1300 | $json->incr_text = ""; |
1300 | $json->incr_text = ""; |
| 1301 | |
1301 | |
| 1302 | $self->_error (&Errno::EBADMSG); |
1302 | $self->_error (Errno::EBADMSG); |
| 1303 | |
1303 | |
| 1304 | () |
1304 | () |
| 1305 | } else { |
1305 | } else { |
| 1306 | $self->{rbuf} = ""; |
1306 | $self->{rbuf} = ""; |
| 1307 | |
1307 | |
| … | |
… | |
| 1344 | # read remaining chunk |
1344 | # read remaining chunk |
| 1345 | $_[0]->unshift_read (chunk => $len, sub { |
1345 | $_[0]->unshift_read (chunk => $len, sub { |
| 1346 | if (my $ref = eval { Storable::thaw ($_[1]) }) { |
1346 | if (my $ref = eval { Storable::thaw ($_[1]) }) { |
| 1347 | $cb->($_[0], $ref); |
1347 | $cb->($_[0], $ref); |
| 1348 | } else { |
1348 | } else { |
| 1349 | $self->_error (&Errno::EBADMSG); |
1349 | $self->_error (Errno::EBADMSG); |
| 1350 | } |
1350 | } |
| 1351 | }); |
1351 | }); |
| 1352 | } |
1352 | } |
| 1353 | |
1353 | |
| 1354 | 1 |
1354 | 1 |
| … | |
… | |
| 1452 | if ($self->{_on_starttls}) { |
1452 | if ($self->{_on_starttls}) { |
| 1453 | (delete $self->{_on_starttls})->($self, undef, $err); |
1453 | (delete $self->{_on_starttls})->($self, undef, $err); |
| 1454 | &_freetls; |
1454 | &_freetls; |
| 1455 | } else { |
1455 | } else { |
| 1456 | &_freetls; |
1456 | &_freetls; |
| 1457 | $self->_error (&Errno::EPROTO, 1, $err); |
1457 | $self->_error (Errno::EPROTO, 1, $err); |
| 1458 | } |
1458 | } |
| 1459 | } |
1459 | } |
| 1460 | |
1460 | |
| 1461 | # poll the write BIO and send the data if applicable |
1461 | # poll the write BIO and send the data if applicable |
| 1462 | # also decode read data if possible |
1462 | # also decode read data if possible |
| … | |
… | |
| 1637 | |
1637 | |
| 1638 | &_freetls; |
1638 | &_freetls; |
| 1639 | |
1639 | |
| 1640 | my $linger = exists $self->{linger} ? $self->{linger} : 3600; |
1640 | my $linger = exists $self->{linger} ? $self->{linger} : 3600; |
| 1641 | |
1641 | |
| 1642 | if ($linger && length $self->{wbuf}) { |
1642 | if ($linger && length $self->{wbuf} && $self->{fh}) { |
| 1643 | my $fh = delete $self->{fh}; |
1643 | my $fh = delete $self->{fh}; |
| 1644 | my $wbuf = delete $self->{wbuf}; |
1644 | my $wbuf = delete $self->{wbuf}; |
| 1645 | |
1645 | |
| 1646 | my @linger; |
1646 | my @linger; |
| 1647 | |
1647 | |
| … | |
… | |
| 1671 | callbacks, as well as code outside. It does I<NOT> work in a read or write |
1671 | callbacks, as well as code outside. It does I<NOT> work in a read or write |
| 1672 | callback, so when you want to destroy the AnyEvent::Handle object from |
1672 | callback, so when you want to destroy the AnyEvent::Handle object from |
| 1673 | within such an callback. You I<MUST> call C<< ->destroy >> explicitly in |
1673 | within such an callback. You I<MUST> call C<< ->destroy >> explicitly in |
| 1674 | that case. |
1674 | that case. |
| 1675 | |
1675 | |
|
|
1676 | Destroying the handle object in this way has the advantage that callbacks |
|
|
1677 | will be removed as well, so if those are the only reference holders (as |
|
|
1678 | is common), then one doesn't need to do anything special to break any |
|
|
1679 | reference cycles. |
|
|
1680 | |
| 1676 | The handle might still linger in the background and write out remaining |
1681 | The handle might still linger in the background and write out remaining |
| 1677 | data, as specified by the C<linger> option, however. |
1682 | data, as specified by the C<linger> option, however. |
| 1678 | |
1683 | |
| 1679 | =cut |
1684 | =cut |
| 1680 | |
1685 | |
| … | |
… | |
| 1747 | |
1752 | |
| 1748 | $handle->on_read (sub { }); |
1753 | $handle->on_read (sub { }); |
| 1749 | $handle->on_eof (undef); |
1754 | $handle->on_eof (undef); |
| 1750 | $handle->on_error (sub { |
1755 | $handle->on_error (sub { |
| 1751 | my $data = delete $_[0]{rbuf}; |
1756 | my $data = delete $_[0]{rbuf}; |
| 1752 | undef $handle; |
|
|
| 1753 | }); |
1757 | }); |
| 1754 | |
1758 | |
| 1755 | The reason to use C<on_error> is that TCP connections, due to latencies |
1759 | The reason to use C<on_error> is that TCP connections, due to latencies |
| 1756 | and packets loss, might get closed quite violently with an error, when in |
1760 | and packets loss, might get closed quite violently with an error, when in |
| 1757 | fact, all data has been received. |
1761 | fact, all data has been received. |
