ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/AnyEvent/lib/AnyEvent/Handle.pm
(Generate patch)

Comparing AnyEvent/lib/AnyEvent/Handle.pm (file contents):
Revision 1.233 by root, Thu Apr 5 06:14:10 2012 UTC vs.
Revision 1.253 by root, Fri Feb 7 15:06:01 2020 UTC

30 30
31 $cv->recv; 31 $cv->recv;
32 32
33=head1 DESCRIPTION 33=head1 DESCRIPTION
34 34
35This is a helper module to make it easier to do event-based I/O on 35This is a helper module to make it easier to do event-based I/O
36stream-based filehandles (sockets, pipes, and other stream things). 36on stream-based filehandles (sockets, pipes, and other stream
37things). Specifically, it doesn't work as expected on files, packet-based
38sockets or similar things.
37 39
38The L<AnyEvent::Intro> tutorial contains some well-documented 40The L<AnyEvent::Intro> tutorial contains some well-documented
39AnyEvent::Handle examples. 41AnyEvent::Handle examples.
40 42
41In the following, where the documentation refers to "bytes", it means 43In the following, where the documentation refers to "bytes", it means
53package AnyEvent::Handle; 55package AnyEvent::Handle;
54 56
55use Scalar::Util (); 57use Scalar::Util ();
56use List::Util (); 58use List::Util ();
57use Carp (); 59use Carp ();
58use Errno qw(EAGAIN EINTR); 60use Errno qw(EAGAIN EWOULDBLOCK EINTR);
59 61
60use AnyEvent (); BEGIN { AnyEvent::common_sense } 62use AnyEvent (); BEGIN { AnyEvent::common_sense }
61use AnyEvent::Util qw(WSAEWOULDBLOCK); 63use AnyEvent::Util qw(WSAEWOULDBLOCK);
62 64
63our $VERSION = $AnyEvent::VERSION; 65our $VERSION = $AnyEvent::VERSION;
91 93
92=item fh => $filehandle [C<fh> or C<connect> MANDATORY] 94=item fh => $filehandle [C<fh> or C<connect> MANDATORY]
93 95
94The filehandle this L<AnyEvent::Handle> object will operate on. 96The filehandle this L<AnyEvent::Handle> object will operate on.
95NOTE: The filehandle will be set to non-blocking mode (using 97NOTE: The filehandle will be set to non-blocking mode (using
96C<AnyEvent::Util::fh_nonblocking>) by the constructor and needs to stay in 98C<AnyEvent::fh_unblock>) by the constructor and needs to stay in
97that mode. 99that mode.
98 100
99=item connect => [$host, $service] [C<fh> or C<connect> MANDATORY] 101=item connect => [$host, $service] [C<fh> or C<connect> MANDATORY]
100 102
101Try to connect to the specified host and service (port), using 103Try to connect to the specified host and service (port), using
131 133
132The peer's numeric host and port (the socket peername) are passed as 134The peer's numeric host and port (the socket peername) are passed as
133parameters, together with a retry callback. At the time it is called the 135parameters, together with a retry callback. At the time it is called the
134read and write queues, EOF status, TLS status and similar properties of 136read and write queues, EOF status, TLS status and similar properties of
135the handle will have been reset. 137the handle will have been reset.
136
137It is not allowed to use the read or write queues while the handle object
138is connecting.
139 138
140If, for some reason, the handle is not acceptable, calling C<$retry> will 139If, for some reason, the handle is not acceptable, calling C<$retry> will
141continue with the next connection target (in case of multi-homed hosts or 140continue with the next connection target (in case of multi-homed hosts or
142SRV records there can be multiple connection endpoints). The C<$retry> 141SRV records there can be multiple connection endpoints). The C<$retry>
143callback can be invoked after the connect callback returns, i.e. one can 142callback can be invoked after the connect callback returns, i.e. one can
429appropriate error message. 428appropriate error message.
430 429
431TLS mode requires Net::SSLeay to be installed (it will be loaded 430TLS mode requires Net::SSLeay to be installed (it will be loaded
432automatically when you try to create a TLS handle): this module doesn't 431automatically when you try to create a TLS handle): this module doesn't
433have a dependency on that module, so if your module requires it, you have 432have a dependency on that module, so if your module requires it, you have
434to add the dependency yourself. 433to add the dependency yourself. If Net::SSLeay cannot be loaded or is too
434old, you get an C<EPROTO> error.
435 435
436Unlike TCP, TLS has a server and client side: for the TLS server side, use 436Unlike TCP, TLS has a server and client side: for the TLS server side, use
437C<accept>, and for the TLS client side of a connection, use C<connect> 437C<accept>, and for the TLS client side of a connection, use C<connect>
438mode. 438mode.
439 439
495callback. 495callback.
496 496
497This callback will only be called on TLS shutdowns, not when the 497This callback will only be called on TLS shutdowns, not when the
498underlying handle signals EOF. 498underlying handle signals EOF.
499 499
500=item json => JSON or JSON::XS object 500=item json => L<JSON>, L<JSON::PP> or L<JSON::XS> object
501 501
502This is the json coder object used by the C<json> read and write types. 502This is the json coder object used by the C<json> read and write types.
503 503
504If you don't supply it, then AnyEvent::Handle will create and use a 504If you don't supply it, then AnyEvent::Handle will create and use a
505suitable one (on demand), which will write and expect UTF-8 encoded JSON 505suitable one (on demand), which will write and expect UTF-8 encoded
506JSON texts (either using L<JSON::XS> or L<JSON>). The written texts are
507guaranteed not to contain any newline character.
508
509For security reasons, this encoder will likely I<not> handle numbers and
510strings, only arrays and objects/hashes. The reason is that originally
511JSON was self-delimited, but Dougles Crockford thought it was a splendid
512idea to redefine JSON incompatibly, so this is no longer true.
513
514For protocols that used back-to-back JSON texts, this might lead to
515run-ins, where two or more JSON texts will be interpreted as one JSON
506texts. 516text.
507 517
518For this reason, if the default encoder uses L<JSON::XS>, it will default
519to not allowing anything but arrays and objects/hashes, at least for the
520forseeable future (it will change at some point). This might or might not
521be true for the L<JSON> module, so this might cause a security issue.
522
523If you depend on either behaviour, you should create your own json object
524and pass it in explicitly.
525
526=item cbor => L<CBOR::XS> object
527
528This is the cbor coder object used by the C<cbor> read and write types.
529
530If you don't supply it, then AnyEvent::Handle will create and use a
531suitable one (on demand), which will write CBOR without using extensions,
532if possible.
533
508Note that you are responsible to depend on the JSON module if you want to 534Note that you are responsible to depend on the L<CBOR::XS> module if you
509use this functionality, as AnyEvent does not have a dependency itself. 535want to use this functionality, as AnyEvent does not have a dependency on
536it itself.
510 537
511=back 538=back
512 539
513=cut 540=cut
514 541
586 # with AnyEvent::Handle, do them a favour. 613 # with AnyEvent::Handle, do them a favour.
587 my $type = getsockopt $self->{fh}, Socket::SOL_SOCKET (), Socket::SO_TYPE (); 614 my $type = getsockopt $self->{fh}, Socket::SOL_SOCKET (), Socket::SO_TYPE ();
588 Carp::croak "AnyEvent::Handle: only stream sockets supported, anything else will NOT work!" 615 Carp::croak "AnyEvent::Handle: only stream sockets supported, anything else will NOT work!"
589 if Socket::SOCK_STREAM () != (unpack "I", $type) && defined $type; 616 if Socket::SOCK_STREAM () != (unpack "I", $type) && defined $type;
590 617
591 AnyEvent::Util::fh_nonblocking $self->{fh}, 1; 618 AnyEvent::fh_unblock $self->{fh};
592 619
593 $self->{_activity} = 620 $self->{_activity} =
594 $self->{_ractivity} = 621 $self->{_ractivity} =
595 $self->{_wactivity} = AE::now; 622 $self->{_wactivity} = AE::now;
596 623
728 $_[0]{oobinline} = $_[1]; 755 $_[0]{oobinline} = $_[1];
729 756
730 eval { 757 eval {
731 local $SIG{__DIE__}; 758 local $SIG{__DIE__};
732 setsockopt $_[0]{fh}, Socket::SOL_SOCKET (), Socket::SO_OOBINLINE (), int $_[1] 759 setsockopt $_[0]{fh}, Socket::SOL_SOCKET (), Socket::SO_OOBINLINE (), int $_[1]
733 if $_[0]{fh};
734 };
735}
736
737=item $handle->keepalive ($boolean)
738
739Enables or disables the C<keepalive> setting (see constructor argument of
740the same name for details).
741
742=cut
743
744sub keepalive {
745 $_[0]{keepalive} = $_[1];
746
747 eval {
748 local $SIG{__DIE__};
749 setsockopt $_[0]{fh}, Socket::SOL_SOCKET (), Socket::SO_KEEPALIVE (), int $_[1]
750 if $_[0]{fh}; 760 if $_[0]{fh};
751 }; 761 };
752} 762}
753 763
754=item $handle->on_starttls ($cb) 764=item $handle->on_starttls ($cb)
946 $self->{on_drain}($self) 956 $self->{on_drain}($self)
947 if $self->{low_water_mark} >= (length $self->{wbuf}) + (length $self->{_tls_wbuf}) 957 if $self->{low_water_mark} >= (length $self->{wbuf}) + (length $self->{_tls_wbuf})
948 && $self->{on_drain}; 958 && $self->{on_drain};
949 959
950 delete $self->{_ww} unless length $self->{wbuf}; 960 delete $self->{_ww} unless length $self->{wbuf};
951 } elsif ($! != EAGAIN && $! != EINTR && $! != WSAEWOULDBLOCK) { 961 } elsif ($! != EAGAIN && $! != EINTR && $! != EWOULDBLOCK && $! != WSAEWOULDBLOCK) {
952 $self->_error ($!, 1); 962 $self->_error ($!, 1);
953 } 963 }
954 }; 964 };
955 965
956 # try to write data immediately 966 # try to write data immediately
1044 1054
1045Encodes the given hash or array reference into a JSON object. Unless you 1055Encodes the given hash or array reference into a JSON object. Unless you
1046provide your own JSON object, this means it will be encoded to JSON text 1056provide your own JSON object, this means it will be encoded to JSON text
1047in UTF-8. 1057in UTF-8.
1048 1058
1059The default encoder might or might not handle every type of JSON value -
1060it might be limited to arrays and objects for security reasons. See the
1061C<json> constructor attribute for more details.
1062
1049JSON objects (and arrays) are self-delimiting, so you can write JSON at 1063JSON objects (and arrays) are self-delimiting, so if you only use arrays
1050one end of a handle and read them at the other end without using any 1064and hashes, you can write JSON at one end of a handle and read them at the
1051additional framing. 1065other end without using any additional framing.
1052 1066
1053The generated JSON text is guaranteed not to contain any newlines: While 1067The JSON text generated by the default encoder is guaranteed not to
1054this module doesn't need delimiters after or between JSON texts to be 1068contain any newlines: While this module doesn't need delimiters after or
1055able to read them, many other languages depend on that. 1069between JSON texts to be able to read them, many other languages depend on
1070them.
1056 1071
1057A simple RPC protocol that interoperates easily with others is to send 1072A simple RPC protocol that interoperates easily with other languages is
1058JSON arrays (or objects, although arrays are usually the better choice as 1073to send JSON arrays (or objects, although arrays are usually the better
1059they mimic how function argument passing works) and a newline after each 1074choice as they mimic how function argument passing works) and a newline
1060JSON text: 1075after each JSON text:
1061 1076
1062 $handle->push_write (json => ["method", "arg1", "arg2"]); # whatever 1077 $handle->push_write (json => ["method", "arg1", "arg2"]); # whatever
1063 $handle->push_write ("\012"); 1078 $handle->push_write ("\012");
1064 1079
1065An AnyEvent::Handle receiver would simply use the C<json> read type and 1080An AnyEvent::Handle receiver would simply use the C<json> read type and
1068 $handle->push_read (json => sub { my $array = $_[1]; ... }); 1083 $handle->push_read (json => sub { my $array = $_[1]; ... });
1069 1084
1070Other languages could read single lines terminated by a newline and pass 1085Other languages could read single lines terminated by a newline and pass
1071this line into their JSON decoder of choice. 1086this line into their JSON decoder of choice.
1072 1087
1088=item cbor => $perl_scalar
1089
1090Encodes the given scalar into a CBOR value. Unless you provide your own
1091L<CBOR::XS> object, this means it will be encoded to a CBOR string not
1092using any extensions, if possible.
1093
1094CBOR values are self-delimiting, so you can write CBOR at one end of
1095a handle and read them at the other end without using any additional
1096framing.
1097
1098A simple nd very very fast RPC protocol that interoperates with
1099other languages is to send CBOR and receive CBOR values (arrays are
1100recommended):
1101
1102 $handle->push_write (cbor => ["method", "arg1", "arg2"]); # whatever
1103
1104An AnyEvent::Handle receiver would simply use the C<cbor> read type:
1105
1106 $handle->push_read (cbor => sub { my $array = $_[1]; ... });
1107
1073=cut 1108=cut
1074 1109
1075sub json_coder() { 1110sub json_coder() {
1076 eval { require JSON::XS; JSON::XS->new->utf8 } 1111 eval { require JSON::XS; JSON::XS->new->utf8 }
1077 || do { require JSON; JSON->new->utf8 } 1112 || do { require JSON::PP; JSON::PP->new->utf8 }
1078} 1113}
1079 1114
1080register_write_type json => sub { 1115register_write_type json => sub {
1081 my ($self, $ref) = @_; 1116 my ($self, $ref) = @_;
1082 1117
1083 my $json = $self->{json} ||= json_coder; 1118 ($self->{json} ||= json_coder)
1084
1085 $json->encode ($ref) 1119 ->encode ($ref)
1120};
1121
1122sub cbor_coder() {
1123 require CBOR::XS;
1124 CBOR::XS->new
1125}
1126
1127register_write_type cbor => sub {
1128 my ($self, $scalar) = @_;
1129
1130 ($self->{cbor} ||= cbor_coder)
1131 ->encode ($scalar)
1086}; 1132};
1087 1133
1088=item storable => $reference 1134=item storable => $reference
1089 1135
1090Freezes the given reference using L<Storable> and writes it to the 1136Freezes the given reference using L<Storable> and writes it to the
1484 1530
1485register_read_type line => sub { 1531register_read_type line => sub {
1486 my ($self, $cb, $eol) = @_; 1532 my ($self, $cb, $eol) = @_;
1487 1533
1488 if (@_ < 3) { 1534 if (@_ < 3) {
1489 # this is more than twice as fast as the generic code below 1535 # this is faster then the generic code below
1490 sub { 1536 sub {
1491 $_[0]{rbuf} =~ s/^([^\015\012]*)(\015?\012)// or return; 1537 (my $pos = index $_[0]{rbuf}, "\012") >= 0
1538 or return;
1492 1539
1540 (my $str = substr $_[0]{rbuf}, 0, $pos + 1, "") =~ s/(\015?\012)\Z// or die;
1493 $cb->($_[0], "$1", "$2"); 1541 $cb->($_[0], $str, "$1");
1494 1 1542 1
1495 } 1543 }
1496 } else { 1544 } else {
1497 $eol = quotemeta $eol unless ref $eol; 1545 $eol = quotemeta $eol unless ref $eol;
1498 $eol = qr|^(.*?)($eol)|s; 1546 $eol = qr|^(.*?)($eol)|s;
1507}; 1555};
1508 1556
1509=item regex => $accept[, $reject[, $skip], $cb->($handle, $data) 1557=item regex => $accept[, $reject[, $skip], $cb->($handle, $data)
1510 1558
1511Makes a regex match against the regex object C<$accept> and returns 1559Makes a regex match against the regex object C<$accept> and returns
1512everything up to and including the match. 1560everything up to and including the match. All the usual regex variables
1561($1, %+ etc.) from the regex match are available in the callback.
1513 1562
1514Example: read a single line terminated by '\n'. 1563Example: read a single line terminated by '\n'.
1515 1564
1516 $handle->push_read (regex => qr<\n>, sub { ... }); 1565 $handle->push_read (regex => qr<\n>, sub { ... });
1517 1566
1661=item json => $cb->($handle, $hash_or_arrayref) 1710=item json => $cb->($handle, $hash_or_arrayref)
1662 1711
1663Reads a JSON object or array, decodes it and passes it to the 1712Reads a JSON object or array, decodes it and passes it to the
1664callback. When a parse error occurs, an C<EBADMSG> error will be raised. 1713callback. When a parse error occurs, an C<EBADMSG> error will be raised.
1665 1714
1666If a C<json> object was passed to the constructor, then that will be used 1715If a C<json> object was passed to the constructor, then that will be
1667for the final decode, otherwise it will create a JSON coder expecting UTF-8. 1716used for the final decode, otherwise it will create a L<JSON::XS> or
1717L<JSON::PP> coder object expecting UTF-8.
1668 1718
1669This read type uses the incremental parser available with JSON version 1719This read type uses the incremental parser available with JSON version
16702.09 (and JSON::XS version 2.2) and above. You have to provide a 17202.09 (and JSON::XS version 2.2) and above.
1671dependency on your own: this module will load the JSON module, but
1672AnyEvent does not depend on it itself.
1673 1721
1674Since JSON texts are fully self-delimiting, the C<json> read and write 1722Since JSON texts are fully self-delimiting, the C<json> read and write
1675types are an ideal simple RPC protocol: just exchange JSON datagrams. See 1723types are an ideal simple RPC protocol: just exchange JSON datagrams. See
1676the C<json> write type description, above, for an actual example. 1724the C<json> write type description, above, for an actual example.
1677 1725
1681 my ($self, $cb) = @_; 1729 my ($self, $cb) = @_;
1682 1730
1683 my $json = $self->{json} ||= json_coder; 1731 my $json = $self->{json} ||= json_coder;
1684 1732
1685 my $data; 1733 my $data;
1686 my $rbuf = \$self->{rbuf};
1687 1734
1688 sub { 1735 sub {
1689 my $ref = eval { $json->incr_parse ($_[0]{rbuf}) }; 1736 my $ref = eval { $json->incr_parse ($_[0]{rbuf}) };
1690 1737
1691 if ($ref) { 1738 if ($ref) {
1705 1752
1706 () 1753 ()
1707 } else { 1754 } else {
1708 $_[0]{rbuf} = ""; 1755 $_[0]{rbuf} = "";
1709 1756
1757 ()
1758 }
1759 }
1760};
1761
1762=item cbor => $cb->($handle, $scalar)
1763
1764Reads a CBOR value, decodes it and passes it to the callback. When a parse
1765error occurs, an C<EBADMSG> error will be raised.
1766
1767If a L<CBOR::XS> object was passed to the constructor, then that will be
1768used for the final decode, otherwise it will create a CBOR coder without
1769enabling any options.
1770
1771You have to provide a dependency to L<CBOR::XS> on your own: this module
1772will load the L<CBOR::XS> module, but AnyEvent does not depend on it
1773itself.
1774
1775Since CBOR values are fully self-delimiting, the C<cbor> read and write
1776types are an ideal simple RPC protocol: just exchange CBOR datagrams. See
1777the C<cbor> write type description, above, for an actual example.
1778
1779=cut
1780
1781register_read_type cbor => sub {
1782 my ($self, $cb) = @_;
1783
1784 my $cbor = $self->{cbor} ||= cbor_coder;
1785
1786 my $data;
1787
1788 sub {
1789 my (@value) = eval { $cbor->incr_parse ($_[0]{rbuf}) };
1790
1791 if (@value) {
1792 $cb->($_[0], @value);
1793
1794 1
1795 } elsif ($@) {
1796 # error case
1797 $cbor->incr_reset;
1798
1799 $_[0]->_error (Errno::EBADMSG);
1800
1801 ()
1802 } else {
1710 () 1803 ()
1711 } 1804 }
1712 } 1805 }
1713}; 1806};
1714 1807
1752 }); 1845 });
1753 } 1846 }
1754 1847
1755 1 1848 1
1756 } 1849 }
1850};
1851
1852=item tls_detect => $cb->($handle, $detect, $major, $minor)
1853
1854Checks the input stream for a valid SSL or TLS handshake TLSPaintext
1855record without consuming anything. Only SSL version 3 or higher
1856is handled, up to the fictituous protocol 4.x (but both SSL3+ and
1857SSL2-compatible framing is supported).
1858
1859If it detects that the input data is likely TLS, it calls the callback
1860with a true value for C<$detect> and the (on-wire) TLS version as second
1861and third argument (C<$major> is C<3>, and C<$minor> is 0..4 for SSL
18623.0, TLS 1.0, 1.1, 1.2 and 1.3, respectively). If it detects the input
1863to be definitely not TLS, it calls the callback with a false value for
1864C<$detect>.
1865
1866The callback could use this information to decide whether or not to start
1867TLS negotiation.
1868
1869In all cases the data read so far is passed to the following read
1870handlers.
1871
1872Usually you want to use the C<tls_autostart> read type instead.
1873
1874If you want to design a protocol that works in the presence of TLS
1875dtection, make sure that any non-TLS data doesn't start with the octet 22
1876(ASCII SYN, 16 hex) or 128-255 (i.e. highest bit set). The checks this
1877read type does are a bit more strict, but might losen in the future to
1878accomodate protocol changes.
1879
1880This read type does not rely on L<AnyEvent::TLS> (and thus, not on
1881L<Net::SSLeay>).
1882
1883=item tls_autostart => [$tls_ctx, ]$tls
1884
1885Tries to detect a valid SSL or TLS handshake. If one is detected, it tries
1886to start tls by calling C<starttls> with the given arguments.
1887
1888In practise, C<$tls> must be C<accept>, or a Net::SSLeay context that has
1889been configured to accept, as servers do not normally send a handshake on
1890their own and ths cannot be detected in this way.
1891
1892See C<tls_detect> above for more details.
1893
1894Example: give the client a chance to start TLS before accepting a text
1895line.
1896
1897 $hdl->push_read (tls_autostart => "accept");
1898 $hdl->push_read (line => sub {
1899 print "received ", ($_[0]{tls} ? "encrypted" : "cleartext"), " <$_[1]>\n";
1900 });
1901
1902=cut
1903
1904register_read_type tls_detect => sub {
1905 my ($self, $cb) = @_;
1906
1907 sub {
1908 # this regex matches a full or partial tls record
1909 if (
1910 # ssl3+: type(22=handshake) major(=3) minor(any) length_hi
1911 $self->{rbuf} =~ /^(?:\z| \x16 (\z| [\x03\x04] (?:\z| . (?:\z| [\x00-\x40] ))))/xs
1912 # ssl2 comapatible: len_hi len_lo type(1) major minor dummy(forlength)
1913 or $self->{rbuf} =~ /^(?:\z| [\x80-\xff] (?:\z| . (?:\z| \x01 (\z| [\x03\x04] (?:\z| . (?:\z| . ))))))/xs
1914 ) {
1915 return if 3 != length $1; # partial match, can't decide yet
1916
1917 # full match, valid TLS record
1918 my ($major, $minor) = unpack "CC", $1;
1919 $cb->($self, "accept", $major, $minor);
1920 } else {
1921 # mismatch == guaranteed not TLS
1922 $cb->($self, undef);
1923 }
1924
1925 1
1926 }
1927};
1928
1929register_read_type tls_autostart => sub {
1930 my ($self, @tls) = @_;
1931
1932 $RH{tls_detect}($self, sub {
1933 return unless $_[1];
1934 $_[0]->starttls (@tls);
1935 })
1757}; 1936};
1758 1937
1759=back 1938=back
1760 1939
1761=item custom read types - Package::anyevent_read_type $handle, $cb, @args 1940=item custom read types - Package::anyevent_read_type $handle, $cb, @args
1845 } elsif (defined $len) { 2024 } elsif (defined $len) {
1846 delete $self->{_rw}; 2025 delete $self->{_rw};
1847 $self->{_eof} = 1; 2026 $self->{_eof} = 1;
1848 $self->_drain_rbuf; 2027 $self->_drain_rbuf;
1849 2028
1850 } elsif ($! != EAGAIN && $! != EINTR && $! != WSAEWOULDBLOCK) { 2029 } elsif ($! != EAGAIN && $! != EINTR && $! != EWOULDBLOCK && $! != WSAEWOULDBLOCK) {
1851 return $self->_error ($!, 1); 2030 return $self->_error ($!, 1);
1852 } 2031 }
1853 }; 2032 };
1854 } 2033 }
1855} 2034}
1877 } 2056 }
1878} 2057}
1879 2058
1880# poll the write BIO and send the data if applicable 2059# poll the write BIO and send the data if applicable
1881# also decode read data if possible 2060# also decode read data if possible
1882# this is basiclaly our TLS state machine 2061# this is basically our TLS state machine
1883# more efficient implementations are possible with openssl, 2062# more efficient implementations are possible with openssl,
1884# but not with the buggy and incomplete Net::SSLeay. 2063# but not with the buggy and incomplete Net::SSLeay.
1885sub _dotls { 2064sub _dotls {
1886 my ($self) = @_; 2065 my ($self) = @_;
1887 2066
1888 my $tmp; 2067 my $tmp;
1889 2068
1890 if (length $self->{_tls_wbuf}) { 2069 while (length $self->{_tls_wbuf}) {
1891 while (($tmp = Net::SSLeay::write ($self->{tls}, $self->{_tls_wbuf})) > 0) { 2070 if (($tmp = Net::SSLeay::write ($self->{tls}, $self->{_tls_wbuf})) <= 0) {
1892 substr $self->{_tls_wbuf}, 0, $tmp, ""; 2071 $tmp = Net::SSLeay::get_error ($self->{tls}, $tmp);
2072
2073 return $self->_tls_error ($tmp)
2074 if $tmp != $ERROR_WANT_READ
2075 && ($tmp != $ERROR_SYSCALL || $!);
2076
2077 last;
1893 } 2078 }
1894 2079
1895 $tmp = Net::SSLeay::get_error ($self->{tls}, $tmp); 2080 substr $self->{_tls_wbuf}, 0, $tmp, "";
1896 return $self->_tls_error ($tmp)
1897 if $tmp != $ERROR_WANT_READ
1898 && ($tmp != $ERROR_SYSCALL || $!);
1899 } 2081 }
1900 2082
1901 while (defined ($tmp = Net::SSLeay::read ($self->{tls}))) { 2083 while (defined ($tmp = Net::SSLeay::read ($self->{tls}))) {
1902 unless (length $tmp) { 2084 unless (length $tmp) {
1903 $self->{_on_starttls} 2085 $self->{_on_starttls}
1917 $self->{_tls_rbuf} .= $tmp; 2099 $self->{_tls_rbuf} .= $tmp;
1918 $self->_drain_rbuf; 2100 $self->_drain_rbuf;
1919 $self->{tls} or return; # tls session might have gone away in callback 2101 $self->{tls} or return; # tls session might have gone away in callback
1920 } 2102 }
1921 2103
1922 $tmp = Net::SSLeay::get_error ($self->{tls}, -1); 2104 $tmp = Net::SSLeay::get_error ($self->{tls}, -1); # -1 is not neccessarily correct, but Net::SSLeay doesn't tell us
1923 return $self->_tls_error ($tmp) 2105 return $self->_tls_error ($tmp)
1924 if $tmp != $ERROR_WANT_READ 2106 if $tmp != $ERROR_WANT_READ
1925 && ($tmp != $ERROR_SYSCALL || $!); 2107 && ($tmp != $ERROR_SYSCALL || $!);
1926 2108
1927 while (length ($tmp = Net::SSLeay::BIO_read ($self->{_wbio}))) { 2109 while (length ($tmp = Net::SSLeay::BIO_read ($self->{_wbio}))) {
1937 2119
1938=item $handle->starttls ($tls[, $tls_ctx]) 2120=item $handle->starttls ($tls[, $tls_ctx])
1939 2121
1940Instead of starting TLS negotiation immediately when the AnyEvent::Handle 2122Instead of starting TLS negotiation immediately when the AnyEvent::Handle
1941object is created, you can also do that at a later time by calling 2123object is created, you can also do that at a later time by calling
1942C<starttls>. 2124C<starttls>. See the C<tls> constructor argument for general info.
1943 2125
1944Starting TLS is currently an asynchronous operation - when you push some 2126Starting TLS is currently an asynchronous operation - when you push some
1945write data and then call C<< ->starttls >> then TLS negotiation will start 2127write data and then call C<< ->starttls >> then TLS negotiation will start
1946immediately, after which the queued write data is then sent. 2128immediately, after which the queued write data is then sent. This might
2129change in future versions, so best make sure you have no outstanding write
2130data when calling this method.
1947 2131
1948The first argument is the same as the C<tls> constructor argument (either 2132The first argument is the same as the C<tls> constructor argument (either
1949C<"connect">, C<"accept"> or an existing Net::SSLeay object). 2133C<"connect">, C<"accept"> or an existing Net::SSLeay object).
1950 2134
1951The second argument is the optional C<AnyEvent::TLS> object that is used 2135The second argument is the optional C<AnyEvent::TLS> object that is used
1973 my ($self, $tls, $ctx) = @_; 2157 my ($self, $tls, $ctx) = @_;
1974 2158
1975 Carp::croak "It is an error to call starttls on an AnyEvent::Handle object while TLS is already active, caught" 2159 Carp::croak "It is an error to call starttls on an AnyEvent::Handle object while TLS is already active, caught"
1976 if $self->{tls}; 2160 if $self->{tls};
1977 2161
2162 unless (defined $AnyEvent::TLS::VERSION) {
2163 eval {
2164 require Net::SSLeay;
2165 require AnyEvent::TLS;
2166 1
2167 } or return $self->_error (Errno::EPROTO, 1, "TLS support not available on this system");
2168 }
2169
1978 $self->{tls} = $tls; 2170 $self->{tls} = $tls;
1979 $self->{tls_ctx} = $ctx if @_ > 2; 2171 $self->{tls_ctx} = $ctx if @_ > 2;
1980 2172
1981 return unless $self->{fh}; 2173 return unless $self->{fh};
1982 2174
1983 require Net::SSLeay;
1984
1985 $ERROR_SYSCALL = Net::SSLeay::ERROR_SYSCALL (); 2175 $ERROR_SYSCALL = Net::SSLeay::ERROR_SYSCALL ();
1986 $ERROR_WANT_READ = Net::SSLeay::ERROR_WANT_READ (); 2176 $ERROR_WANT_READ = Net::SSLeay::ERROR_WANT_READ ();
1987 2177
1988 $tls = delete $self->{tls}; 2178 $tls = delete $self->{tls};
1989 $ctx = $self->{tls_ctx}; 2179 $ctx = $self->{tls_ctx};
1990 2180
1991 local $Carp::CarpLevel = 1; # skip ourselves when creating a new context or session 2181 local $Carp::CarpLevel = 1; # skip ourselves when creating a new context or session
1992 2182
1993 if ("HASH" eq ref $ctx) { 2183 if ("HASH" eq ref $ctx) {
1994 require AnyEvent::TLS;
1995
1996 if ($ctx->{cache}) { 2184 if ($ctx->{cache}) {
1997 my $key = $ctx+0; 2185 my $key = $ctx+0;
1998 $ctx = $TLS_CACHE{$key} ||= new AnyEvent::TLS %$ctx; 2186 $ctx = $TLS_CACHE{$key} ||= new AnyEvent::TLS %$ctx;
1999 } else { 2187 } else {
2000 $ctx = new AnyEvent::TLS %$ctx; 2188 $ctx = new AnyEvent::TLS %$ctx;
2005 $self->{tls} = $tls = $self->{tls_ctx}->_get_session ($tls, $self, $self->{peername}); 2193 $self->{tls} = $tls = $self->{tls_ctx}->_get_session ($tls, $self, $self->{peername});
2006 2194
2007 # basically, this is deep magic (because SSL_read should have the same issues) 2195 # basically, this is deep magic (because SSL_read should have the same issues)
2008 # but the openssl maintainers basically said: "trust us, it just works". 2196 # but the openssl maintainers basically said: "trust us, it just works".
2009 # (unfortunately, we have to hardcode constants because the abysmally misdesigned 2197 # (unfortunately, we have to hardcode constants because the abysmally misdesigned
2010 # and mismaintained ssleay-module doesn't even offer them). 2198 # and mismaintained ssleay-module didn't offer them for a decade or so).
2011 # http://www.mail-archive.com/openssl-dev@openssl.org/msg22420.html 2199 # http://www.mail-archive.com/openssl-dev@openssl.org/msg22420.html
2012 # 2200 #
2013 # in short: this is a mess. 2201 # in short: this is a mess.
2014 # 2202 #
2015 # note that we do not try to keep the length constant between writes as we are required to do. 2203 # note that we do not try to keep the length constant between writes as we are required to do.
2016 # we assume that most (but not all) of this insanity only applies to non-blocking cases, 2204 # we assume that most (but not all) of this insanity only applies to non-blocking cases,
2017 # and we drive openssl fully in blocking mode here. Or maybe we don't - openssl seems to 2205 # and we drive openssl fully in blocking mode here. Or maybe we don't - openssl seems to
2018 # have identity issues in that area. 2206 # have identity issues in that area.
2019# Net::SSLeay::CTX_set_mode ($ssl, 2207# Net::SSLeay::set_mode ($ssl,
2020# (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ENABLE_PARTIAL_WRITE () } || 1) 2208# (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ENABLE_PARTIAL_WRITE () } || 1)
2021# | (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ACCEPT_MOVING_WRITE_BUFFER () } || 2)); 2209# | (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ACCEPT_MOVING_WRITE_BUFFER () } || 2));
2022 Net::SSLeay::CTX_set_mode ($tls, 1|2); 2210 Net::SSLeay::set_mode ($tls, 1|2);
2023 2211
2024 $self->{_rbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ()); 2212 $self->{_rbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ());
2025 $self->{_wbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ()); 2213 $self->{_wbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ());
2026 2214
2027 Net::SSLeay::BIO_write ($self->{_rbio}, $self->{rbuf}); 2215 Net::SSLeay::BIO_write ($self->{_rbio}, $self->{rbuf});
2067 2255
2068 return unless $self->{tls}; 2256 return unless $self->{tls};
2069 2257
2070 $self->{tls_ctx}->_put_session (delete $self->{tls}) 2258 $self->{tls_ctx}->_put_session (delete $self->{tls})
2071 if $self->{tls} > 0; 2259 if $self->{tls} > 0;
2072 2260
2073 delete @$self{qw(_rbio _wbio _tls_wbuf _on_starttls)}; 2261 delete @$self{qw(_rbio _wbio _tls_wbuf _on_starttls)};
2074} 2262}
2075 2263
2076=item $handle->resettls 2264=item $handle->resettls
2077 2265
2102 push @linger, AE::io $fh, 1, sub { 2290 push @linger, AE::io $fh, 1, sub {
2103 my $len = syswrite $fh, $wbuf, length $wbuf; 2291 my $len = syswrite $fh, $wbuf, length $wbuf;
2104 2292
2105 if ($len > 0) { 2293 if ($len > 0) {
2106 substr $wbuf, 0, $len, ""; 2294 substr $wbuf, 0, $len, "";
2107 } elsif (defined $len || ($! != EAGAIN && $! != EINTR && $! != WSAEWOULDBLOCK)) { 2295 } elsif (defined $len || ($! != EAGAIN && $! != EINTR && $! != EWOULDBLOCK && $! != WSAEWOULDBLOCK)) {
2108 @linger = (); # end 2296 @linger = (); # end
2109 } 2297 }
2110 }; 2298 };
2111 push @linger, AE::timer $linger, 0, sub { 2299 push @linger, AE::timer $linger, 0, sub {
2112 @linger = (); 2300 @linger = ();
2233handles requests until the server gets some QUIT command, causing it to 2421handles requests until the server gets some QUIT command, causing it to
2234close the connection first (highly desirable for a busy TCP server). A 2422close the connection first (highly desirable for a busy TCP server). A
2235client dropping the connection is an error, which means this variant can 2423client dropping the connection is an error, which means this variant can
2236detect an unexpected detection close. 2424detect an unexpected detection close.
2237 2425
2238To handle this case, always make sure you have a on-empty read queue, by 2426To handle this case, always make sure you have a non-empty read queue, by
2239pushing the "read request start" handler on it: 2427pushing the "read request start" handler on it:
2240 2428
2241 # we assume a request starts with a single line 2429 # we assume a request starts with a single line
2242 my @start_request; @start_request = (line => sub { 2430 my @start_request; @start_request = (line => sub {
2243 my ($hdl, $line) = @_; 2431 my ($hdl, $line) = @_;

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines