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.82; |
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 | |
… | |
… | |
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. |