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.28 by root, Sat May 24 22:27:11 2008 UTC vs.
Revision 1.82 by root, Thu Aug 21 18:45:16 2008 UTC

1package AnyEvent::Handle; 1package AnyEvent::Handle;
2 2
3no warnings; 3no warnings;
4use strict; 4use strict qw(subs vars);
5 5
6use AnyEvent (); 6use AnyEvent ();
7use AnyEvent::Util (); 7use AnyEvent::Util qw(WSAEWOULDBLOCK);
8use Scalar::Util (); 8use Scalar::Util ();
9use Carp (); 9use Carp ();
10use Fcntl (); 10use Fcntl ();
11use Errno qw/EAGAIN EINTR/; 11use Errno qw(EAGAIN EINTR);
12 12
13=head1 NAME 13=head1 NAME
14 14
15AnyEvent::Handle - non-blocking I/O on file handles via AnyEvent 15AnyEvent::Handle - non-blocking I/O on file handles via AnyEvent
16 16
17This module is experimental.
18
19=cut 17=cut
20 18
21our $VERSION = '0.04'; 19our $VERSION = 4.232;
22 20
23=head1 SYNOPSIS 21=head1 SYNOPSIS
24 22
25 use AnyEvent; 23 use AnyEvent;
26 use AnyEvent::Handle; 24 use AnyEvent::Handle;
27 25
28 my $cv = AnyEvent->condvar; 26 my $cv = AnyEvent->condvar;
29 27
30 my $ae_fh = AnyEvent::Handle->new (fh => \*STDIN); 28 my $handle =
31
32 #TODO
33
34 # or use the constructor to pass the callback:
35
36 my $ae_fh2 =
37 AnyEvent::Handle->new ( 29 AnyEvent::Handle->new (
38 fh => \*STDIN, 30 fh => \*STDIN,
39 on_eof => sub { 31 on_eof => sub {
40 $cv->broadcast; 32 $cv->broadcast;
41 }, 33 },
42 #TODO
43 ); 34 );
44 35
45 $cv->wait; 36 # send some request line
37 $handle->push_write ("getinfo\015\012");
38
39 # read the response line
40 $handle->push_read (line => sub {
41 my ($handle, $line) = @_;
42 warn "read line <$line>\n";
43 $cv->send;
44 });
45
46 $cv->recv;
46 47
47=head1 DESCRIPTION 48=head1 DESCRIPTION
48 49
49This module is a helper module to make it easier to do event-based I/O on 50This module is a helper module to make it easier to do event-based I/O on
50filehandles. For utility functions for doing non-blocking connects and accepts 51filehandles. For utility functions for doing non-blocking connects and accepts
72The filehandle this L<AnyEvent::Handle> object will operate on. 73The filehandle this L<AnyEvent::Handle> object will operate on.
73 74
74NOTE: The filehandle will be set to non-blocking (using 75NOTE: The filehandle will be set to non-blocking (using
75AnyEvent::Util::fh_nonblocking). 76AnyEvent::Util::fh_nonblocking).
76 77
77=item on_eof => $cb->($self) 78=item on_eof => $cb->($handle)
78 79
79Set the callback to be called on EOF. 80Set the callback to be called when an end-of-file condition is detected,
81i.e. in the case of a socket, when the other side has closed the
82connection cleanly.
80 83
84For sockets, this just means that the other side has stopped sending data,
85you can still try to write data, and, in fact, one can return from the eof
86callback and continue writing data, as only the read part has been shut
87down.
88
81While not mandatory, it is highly recommended to set an eof callback, 89While not mandatory, it is I<highly> recommended to set an eof callback,
82otherwise you might end up with a closed socket while you are still 90otherwise you might end up with a closed socket while you are still
83waiting for data. 91waiting for data.
84 92
93If an EOF condition has been detected but no C<on_eof> callback has been
94set, then a fatal error will be raised with C<$!> set to <0>.
95
85=item on_error => $cb->($self) 96=item on_error => $cb->($handle, $fatal)
86 97
87This is the fatal error callback, that is called when, well, a fatal error 98This is the error callback, which is called when, well, some error
88occurs, such as not being able to resolve the hostname, failure to connect 99occured, such as not being able to resolve the hostname, failure to
89or a read error. 100connect or a read error.
90 101
91The object will not be in a usable state when this callback has been 102Some errors are fatal (which is indicated by C<$fatal> being true). On
92called. 103fatal errors the handle object will be shut down and will not be usable
104(but you are free to look at the current C< ->rbuf >). Examples of fatal
105errors are an EOF condition with active (but unsatisifable) read watchers
106(C<EPIPE>) or I/O errors.
107
108Non-fatal errors can be retried by simply returning, but it is recommended
109to simply ignore this parameter and instead abondon the handle object
110when this callback is invoked. Examples of non-fatal errors are timeouts
111C<ETIMEDOUT>) or badly-formatted data (C<EBADMSG>).
93 112
94On callback entrance, the value of C<$!> contains the operating system 113On callback entrance, the value of C<$!> contains the operating system
95error (or C<ENOSPC> or C<EPIPE>). 114error (or C<ENOSPC>, C<EPIPE>, C<ETIMEDOUT> or C<EBADMSG>).
96 115
97While not mandatory, it is I<highly> recommended to set this callback, as 116While not mandatory, it is I<highly> recommended to set this callback, as
98you will not be notified of errors otherwise. The default simply calls 117you will not be notified of errors otherwise. The default simply calls
99die. 118C<croak>.
100 119
101=item on_read => $cb->($self) 120=item on_read => $cb->($handle)
102 121
103This sets the default read callback, which is called when data arrives 122This sets the default read callback, which is called when data arrives
104and no read request is in the queue. 123and no read request is in the queue (unlike read queue callbacks, this
124callback will only be called when at least one octet of data is in the
125read buffer).
105 126
106To access (and remove data from) the read buffer, use the C<< ->rbuf >> 127To access (and remove data from) the read buffer, use the C<< ->rbuf >>
107method or access the C<$self->{rbuf}> member directly. 128method or access the C<$handle->{rbuf}> member directly.
108 129
109When an EOF condition is detected then AnyEvent::Handle will first try to 130When an EOF condition is detected then AnyEvent::Handle will first try to
110feed all the remaining data to the queued callbacks and C<on_read> before 131feed all the remaining data to the queued callbacks and C<on_read> before
111calling the C<on_eof> callback. If no progress can be made, then a fatal 132calling the C<on_eof> callback. If no progress can be made, then a fatal
112error will be raised (with C<$!> set to C<EPIPE>). 133error will be raised (with C<$!> set to C<EPIPE>).
113 134
114=item on_drain => $cb->() 135=item on_drain => $cb->($handle)
115 136
116This sets the callback that is called when the write buffer becomes empty 137This sets the callback that is called when the write buffer becomes empty
117(or when the callback is set and the buffer is empty already). 138(or when the callback is set and the buffer is empty already).
118 139
119To append to the write buffer, use the C<< ->push_write >> method. 140To append to the write buffer, use the C<< ->push_write >> method.
141
142This callback is useful when you don't want to put all of your write data
143into the queue at once, for example, when you want to write the contents
144of some file to the socket you might not want to read the whole file into
145memory and push it into the queue, but instead only read more data from
146the file when the write queue becomes empty.
147
148=item timeout => $fractional_seconds
149
150If non-zero, then this enables an "inactivity" timeout: whenever this many
151seconds pass without a successful read or write on the underlying file
152handle, the C<on_timeout> callback will be invoked (and if that one is
153missing, an C<ETIMEDOUT> error will be raised).
154
155Note that timeout processing is also active when you currently do not have
156any outstanding read or write requests: If you plan to keep the connection
157idle then you should disable the timout temporarily or ignore the timeout
158in the C<on_timeout> callback.
159
160Zero (the default) disables this timeout.
161
162=item on_timeout => $cb->($handle)
163
164Called whenever the inactivity timeout passes. If you return from this
165callback, then the timeout will be reset as if some activity had happened,
166so this condition is not fatal in any way.
120 167
121=item rbuf_max => <bytes> 168=item rbuf_max => <bytes>
122 169
123If defined, then a fatal error will be raised (with C<$!> set to C<ENOSPC>) 170If defined, then a fatal error will be raised (with C<$!> set to C<ENOSPC>)
124when the read buffer ever (strictly) exceeds this size. This is useful to 171when the read buffer ever (strictly) exceeds this size. This is useful to
128be configured to accept only so-and-so much data that it cannot act on 175be configured to accept only so-and-so much data that it cannot act on
129(for example, when expecting a line, an attacker could send an unlimited 176(for example, when expecting a line, an attacker could send an unlimited
130amount of data without a callback ever being called as long as the line 177amount of data without a callback ever being called as long as the line
131isn't finished). 178isn't finished).
132 179
180=item autocork => <boolean>
181
182When disabled (the default), then C<push_write> will try to immediately
183write the data to the handle if possible. This avoids having to register
184a write watcher and wait for the next event loop iteration, but can be
185inefficient if you write multiple small chunks (this disadvantage is
186usually avoided by your kernel's nagle algorithm, see C<low_delay>).
187
188When enabled, then writes will always be queued till the next event loop
189iteration. This is efficient when you do many small writes per iteration,
190but less efficient when you do a single write only.
191
192=item no_delay => <boolean>
193
194When doing small writes on sockets, your operating system kernel might
195wait a bit for more data before actually sending it out. This is called
196the Nagle algorithm, and usually it is beneficial.
197
198In some situations you want as low a delay as possible, which cna be
199accomplishd by setting this option to true.
200
201The default is your opertaing system's default behaviour, this option
202explicitly enables or disables it, if possible.
203
133=item read_size => <bytes> 204=item read_size => <bytes>
134 205
135The default read block size (the amount of bytes this module will try to read 206The default read block size (the amount of bytes this module will try to read
136on each [loop iteration). Default: C<4096>. 207during each (loop iteration). Default: C<8192>.
137 208
138=item low_water_mark => <bytes> 209=item low_water_mark => <bytes>
139 210
140Sets the amount of bytes (default: C<0>) that make up an "empty" write 211Sets the amount of bytes (default: C<0>) that make up an "empty" write
141buffer: If the write reaches this size or gets even samller it is 212buffer: If the write reaches this size or gets even samller it is
142considered empty. 213considered empty.
214
215=item linger => <seconds>
216
217If non-zero (default: C<3600>), then the destructor of the
218AnyEvent::Handle object will check wether there is still outstanding write
219data and will install a watcher that will write out this data. No errors
220will be reported (this mostly matches how the operating system treats
221outstanding data at socket close time).
222
223This will not work for partial TLS data that could not yet been
224encoded. This data will be lost.
143 225
144=item tls => "accept" | "connect" | Net::SSLeay::SSL object 226=item tls => "accept" | "connect" | Net::SSLeay::SSL object
145 227
146When this parameter is given, it enables TLS (SSL) mode, that means it 228When this parameter is given, it enables TLS (SSL) mode, that means it
147will start making tls handshake and will transparently encrypt/decrypt 229will start making tls handshake and will transparently encrypt/decrypt
156You can also provide your own TLS connection object, but you have 238You can also provide your own TLS connection object, but you have
157to make sure that you call either C<Net::SSLeay::set_connect_state> 239to make sure that you call either C<Net::SSLeay::set_connect_state>
158or C<Net::SSLeay::set_accept_state> on it before you pass it to 240or C<Net::SSLeay::set_accept_state> on it before you pass it to
159AnyEvent::Handle. 241AnyEvent::Handle.
160 242
161See the C<starttls> method if you need to start TLs negotiation later. 243See the C<starttls> method if you need to start TLS negotiation later.
162 244
163=item tls_ctx => $ssl_ctx 245=item tls_ctx => $ssl_ctx
164 246
165Use the given Net::SSLeay::CTX object to create the new TLS connection 247Use the given Net::SSLeay::CTX object to create the new TLS connection
166(unless a connection object was specified directly). If this parameter is 248(unless a connection object was specified directly). If this parameter is
167missing, then AnyEvent::Handle will use C<AnyEvent::Handle::TLS_CTX>. 249missing, then AnyEvent::Handle will use C<AnyEvent::Handle::TLS_CTX>.
168 250
251=item json => JSON or JSON::XS object
252
253This is the json coder object used by the C<json> read and write types.
254
255If you don't supply it, then AnyEvent::Handle will create and use a
256suitable one, which will write and expect UTF-8 encoded JSON texts.
257
258Note that you are responsible to depend on the JSON module if you want to
259use this functionality, as AnyEvent does not have a dependency itself.
260
261=item filter_r => $cb
262
263=item filter_w => $cb
264
265These exist, but are undocumented at this time.
266
169=back 267=back
170 268
171=cut 269=cut
172
173our (%RH, %WH);
174
175sub register_read_type($$) {
176 $RH{$_[0]} = $_[1];
177}
178
179sub register_write_type($$) {
180 $WH{$_[0]} = $_[1];
181}
182 270
183sub new { 271sub new {
184 my $class = shift; 272 my $class = shift;
185 273
186 my $self = bless { @_ }, $class; 274 my $self = bless { @_ }, $class;
192 if ($self->{tls}) { 280 if ($self->{tls}) {
193 require Net::SSLeay; 281 require Net::SSLeay;
194 $self->starttls (delete $self->{tls}, delete $self->{tls_ctx}); 282 $self->starttls (delete $self->{tls}, delete $self->{tls_ctx});
195 } 283 }
196 284
197 $self->on_eof (delete $self->{on_eof} ) if $self->{on_eof}; 285 $self->{_activity} = AnyEvent->now;
198 $self->on_error (delete $self->{on_error}) if $self->{on_error}; 286 $self->_timeout;
287
199 $self->on_drain (delete $self->{on_drain}) if $self->{on_drain}; 288 $self->on_drain (delete $self->{on_drain}) if exists $self->{on_drain};
200 $self->on_read (delete $self->{on_read} ) if $self->{on_read}; 289 $self->no_delay (delete $self->{no_delay}) if exists $self->{no_delay};
201 290
202 $self->start_read; 291 $self->start_read
292 if $self->{on_read};
203 293
204 $self 294 $self
205} 295}
206 296
207sub _shutdown { 297sub _shutdown {
208 my ($self) = @_; 298 my ($self) = @_;
209 299
300 delete $self->{_tw};
210 delete $self->{rw}; 301 delete $self->{_rw};
211 delete $self->{ww}; 302 delete $self->{_ww};
212 delete $self->{fh}; 303 delete $self->{fh};
213}
214 304
305 $self->stoptls;
306
307 delete $self->{on_read};
308 delete $self->{_queue};
309}
310
215sub error { 311sub _error {
216 my ($self) = @_; 312 my ($self, $errno, $fatal) = @_;
217 313
218 {
219 local $!;
220 $self->_shutdown; 314 $self->_shutdown
221 } 315 if $fatal;
316
317 $! = $errno;
222 318
223 if ($self->{on_error}) { 319 if ($self->{on_error}) {
224 $self->{on_error}($self); 320 $self->{on_error}($self, $fatal);
225 } else { 321 } else {
226 die "AnyEvent::Handle uncaught fatal error: $!"; 322 Carp::croak "AnyEvent::Handle uncaught error: $!";
227 } 323 }
228} 324}
229 325
230=item $fh = $handle->fh 326=item $fh = $handle->fh
231 327
232This method returns the file handle of the L<AnyEvent::Handle> object. 328This method returns the file handle of the L<AnyEvent::Handle> object.
233 329
234=cut 330=cut
235 331
236sub fh { $_[0]->{fh} } 332sub fh { $_[0]{fh} }
237 333
238=item $handle->on_error ($cb) 334=item $handle->on_error ($cb)
239 335
240Replace the current C<on_error> callback (see the C<on_error> constructor argument). 336Replace the current C<on_error> callback (see the C<on_error> constructor argument).
241 337
251 347
252=cut 348=cut
253 349
254sub on_eof { 350sub on_eof {
255 $_[0]{on_eof} = $_[1]; 351 $_[0]{on_eof} = $_[1];
352}
353
354=item $handle->on_timeout ($cb)
355
356Replace the current C<on_timeout> callback, or disables the callback
357(but not the timeout) if C<$cb> = C<undef>. See C<timeout> constructor
358argument.
359
360=cut
361
362sub on_timeout {
363 $_[0]{on_timeout} = $_[1];
364}
365
366=item $handle->autocork ($boolean)
367
368Enables or disables the current autocork behaviour (see C<autocork>
369constructor argument).
370
371=cut
372
373=item $handle->no_delay ($boolean)
374
375Enables or disables the C<no_delay> setting (see constructor argument of
376the same name for details).
377
378=cut
379
380sub no_delay {
381 $_[0]{no_delay} = $_[1];
382
383 eval {
384 local $SIG{__DIE__};
385 setsockopt $_[0]{fh}, &Socket::IPPROTO_TCP, &Socket::TCP_NODELAY, int $_[1];
386 };
387}
388
389#############################################################################
390
391=item $handle->timeout ($seconds)
392
393Configures (or disables) the inactivity timeout.
394
395=cut
396
397sub timeout {
398 my ($self, $timeout) = @_;
399
400 $self->{timeout} = $timeout;
401 $self->_timeout;
402}
403
404# reset the timeout watcher, as neccessary
405# also check for time-outs
406sub _timeout {
407 my ($self) = @_;
408
409 if ($self->{timeout}) {
410 my $NOW = AnyEvent->now;
411
412 # when would the timeout trigger?
413 my $after = $self->{_activity} + $self->{timeout} - $NOW;
414
415 # now or in the past already?
416 if ($after <= 0) {
417 $self->{_activity} = $NOW;
418
419 if ($self->{on_timeout}) {
420 $self->{on_timeout}($self);
421 } else {
422 $self->_error (&Errno::ETIMEDOUT);
423 }
424
425 # callback could have changed timeout value, optimise
426 return unless $self->{timeout};
427
428 # calculate new after
429 $after = $self->{timeout};
430 }
431
432 Scalar::Util::weaken $self;
433 return unless $self; # ->error could have destroyed $self
434
435 $self->{_tw} ||= AnyEvent->timer (after => $after, cb => sub {
436 delete $self->{_tw};
437 $self->_timeout;
438 });
439 } else {
440 delete $self->{_tw};
441 }
256} 442}
257 443
258############################################################################# 444#############################################################################
259 445
260=back 446=back
297=cut 483=cut
298 484
299sub _drain_wbuf { 485sub _drain_wbuf {
300 my ($self) = @_; 486 my ($self) = @_;
301 487
302 unless ($self->{ww}) { 488 if (!$self->{_ww} && length $self->{wbuf}) {
489
303 Scalar::Util::weaken $self; 490 Scalar::Util::weaken $self;
491
304 my $cb = sub { 492 my $cb = sub {
305 my $len = syswrite $self->{fh}, $self->{wbuf}; 493 my $len = syswrite $self->{fh}, $self->{wbuf};
306 494
307 if ($len > 0) { 495 if ($len >= 0) {
308 substr $self->{wbuf}, 0, $len, ""; 496 substr $self->{wbuf}, 0, $len, "";
497
498 $self->{_activity} = AnyEvent->now;
309 499
310 $self->{on_drain}($self) 500 $self->{on_drain}($self)
311 if $self->{low_water_mark} >= length $self->{wbuf} 501 if $self->{low_water_mark} >= length $self->{wbuf}
312 && $self->{on_drain}; 502 && $self->{on_drain};
313 503
314 delete $self->{ww} unless length $self->{wbuf}; 504 delete $self->{_ww} unless length $self->{wbuf};
315 } elsif ($! != EAGAIN && $! != EINTR) { 505 } elsif ($! != EAGAIN && $! != EINTR && $! != WSAEWOULDBLOCK) {
316 $self->error; 506 $self->_error ($!, 1);
317 } 507 }
318 }; 508 };
319 509
510 # try to write data immediately
511 $cb->() unless $self->{autocork};
512
513 # if still data left in wbuf, we need to poll
320 $self->{ww} = AnyEvent->io (fh => $self->{fh}, poll => "w", cb => $cb); 514 $self->{_ww} = AnyEvent->io (fh => $self->{fh}, poll => "w", cb => $cb)
321 515 if length $self->{wbuf};
322 $cb->($self);
323 }; 516 };
517}
518
519our %WH;
520
521sub register_write_type($$) {
522 $WH{$_[0]} = $_[1];
324} 523}
325 524
326sub push_write { 525sub push_write {
327 my $self = shift; 526 my $self = shift;
328 527
528 if (@_ > 1) {
529 my $type = shift;
530
531 @_ = ($WH{$type} or Carp::croak "unsupported type passed to AnyEvent::Handle::push_write")
532 ->($self, @_);
533 }
534
329 if ($self->{filter_w}) { 535 if ($self->{filter_w}) {
330 $self->{filter_w}->($self, \$_[0]); 536 $self->{filter_w}($self, \$_[0]);
331 } else { 537 } else {
332 $self->{wbuf} .= $_[0]; 538 $self->{wbuf} .= $_[0];
333 $self->_drain_wbuf; 539 $self->_drain_wbuf;
334 } 540 }
335} 541}
336 542
543=item $handle->push_write (type => @args)
544
545Instead of formatting your data yourself, you can also let this module do
546the job by specifying a type and type-specific arguments.
547
548Predefined types are (if you have ideas for additional types, feel free to
549drop by and tell us):
550
551=over 4
552
553=item netstring => $string
554
555Formats the given value as netstring
556(http://cr.yp.to/proto/netstrings.txt, this is not a recommendation to use them).
557
558=cut
559
560register_write_type netstring => sub {
561 my ($self, $string) = @_;
562
563 sprintf "%d:%s,", (length $string), $string
564};
565
566=item packstring => $format, $data
567
568An octet string prefixed with an encoded length. The encoding C<$format>
569uses the same format as a Perl C<pack> format, but must specify a single
570integer only (only one of C<cCsSlLqQiInNvVjJw> is allowed, plus an
571optional C<!>, C<< < >> or C<< > >> modifier).
572
573=cut
574
575register_write_type packstring => sub {
576 my ($self, $format, $string) = @_;
577
578 pack "$format/a*", $string
579};
580
581=item json => $array_or_hashref
582
583Encodes the given hash or array reference into a JSON object. Unless you
584provide your own JSON object, this means it will be encoded to JSON text
585in UTF-8.
586
587JSON objects (and arrays) are self-delimiting, so you can write JSON at
588one end of a handle and read them at the other end without using any
589additional framing.
590
591The generated JSON text is guaranteed not to contain any newlines: While
592this module doesn't need delimiters after or between JSON texts to be
593able to read them, many other languages depend on that.
594
595A simple RPC protocol that interoperates easily with others is to send
596JSON arrays (or objects, although arrays are usually the better choice as
597they mimic how function argument passing works) and a newline after each
598JSON text:
599
600 $handle->push_write (json => ["method", "arg1", "arg2"]); # whatever
601 $handle->push_write ("\012");
602
603An AnyEvent::Handle receiver would simply use the C<json> read type and
604rely on the fact that the newline will be skipped as leading whitespace:
605
606 $handle->push_read (json => sub { my $array = $_[1]; ... });
607
608Other languages could read single lines terminated by a newline and pass
609this line into their JSON decoder of choice.
610
611=cut
612
613register_write_type json => sub {
614 my ($self, $ref) = @_;
615
616 require JSON;
617
618 $self->{json} ? $self->{json}->encode ($ref)
619 : JSON::encode_json ($ref)
620};
621
622=item storable => $reference
623
624Freezes the given reference using L<Storable> and writes it to the
625handle. Uses the C<nfreeze> format.
626
627=cut
628
629register_write_type storable => sub {
630 my ($self, $ref) = @_;
631
632 require Storable;
633
634 pack "w/a*", Storable::nfreeze ($ref)
635};
636
637=back
638
639=item AnyEvent::Handle::register_write_type type => $coderef->($handle, @args)
640
641This function (not method) lets you add your own types to C<push_write>.
642Whenever the given C<type> is used, C<push_write> will invoke the code
643reference with the handle object and the remaining arguments.
644
645The code reference is supposed to return a single octet string that will
646be appended to the write buffer.
647
648Note that this is a function, and all types registered this way will be
649global, so try to use unique names.
650
651=cut
652
337############################################################################# 653#############################################################################
338 654
339=back 655=back
340 656
341=head2 READ QUEUE 657=head2 READ QUEUE
347ways, the "simple" way, using only C<on_read> and the "complex" way, using 663ways, the "simple" way, using only C<on_read> and the "complex" way, using
348a queue. 664a queue.
349 665
350In the simple case, you just install an C<on_read> callback and whenever 666In the simple case, you just install an C<on_read> callback and whenever
351new data arrives, it will be called. You can then remove some data (if 667new data arrives, it will be called. You can then remove some data (if
352enough is there) from the read buffer (C<< $handle->rbuf >>) if you want 668enough is there) from the read buffer (C<< $handle->rbuf >>). Or you cna
353or not. 669leave the data there if you want to accumulate more (e.g. when only a
670partial message has been received so far).
354 671
355In the more complex case, you want to queue multiple callbacks. In this 672In the more complex case, you want to queue multiple callbacks. In this
356case, AnyEvent::Handle will call the first queued callback each time new 673case, AnyEvent::Handle will call the first queued callback each time new
357data arrives and removes it when it has done its job (see C<push_read>, 674data arrives (also the first time it is queued) and removes it when it has
358below). 675done its job (see C<push_read>, below).
359 676
360This way you can, for example, push three line-reads, followed by reading 677This way you can, for example, push three line-reads, followed by reading
361a chunk of data, and AnyEvent::Handle will execute them in order. 678a chunk of data, and AnyEvent::Handle will execute them in order.
362 679
363Example 1: EPP protocol parser. EPP sends 4 byte length info, followed by 680Example 1: EPP protocol parser. EPP sends 4 byte length info, followed by
364the specified number of bytes which give an XML datagram. 681the specified number of bytes which give an XML datagram.
365 682
366 # in the default state, expect some header bytes 683 # in the default state, expect some header bytes
367 $handle->on_read (sub { 684 $handle->on_read (sub {
368 # some data is here, now queue the length-header-read (4 octets) 685 # some data is here, now queue the length-header-read (4 octets)
369 shift->unshift_read_chunk (4, sub { 686 shift->unshift_read (chunk => 4, sub {
370 # header arrived, decode 687 # header arrived, decode
371 my $len = unpack "N", $_[1]; 688 my $len = unpack "N", $_[1];
372 689
373 # now read the payload 690 # now read the payload
374 shift->unshift_read_chunk ($len, sub { 691 shift->unshift_read (chunk => $len, sub {
375 my $xml = $_[1]; 692 my $xml = $_[1];
376 # handle xml 693 # handle xml
377 }); 694 });
378 }); 695 });
379 }); 696 });
380 697
381Example 2: Implement a client for a protocol that replies either with 698Example 2: Implement a client for a protocol that replies either with "OK"
382"OK" and another line or "ERROR" for one request, and 64 bytes for the 699and another line or "ERROR" for the first request that is sent, and 64
383second request. Due tot he availability of a full queue, we can just 700bytes for the second request. Due to the availability of a queue, we can
384pipeline sending both requests and manipulate the queue as necessary in 701just pipeline sending both requests and manipulate the queue as necessary
385the callbacks: 702in the callbacks.
386 703
387 # request one 704When the first callback is called and sees an "OK" response, it will
705C<unshift> another line-read. This line-read will be queued I<before> the
70664-byte chunk callback.
707
708 # request one, returns either "OK + extra line" or "ERROR"
388 $handle->push_write ("request 1\015\012"); 709 $handle->push_write ("request 1\015\012");
389 710
390 # we expect "ERROR" or "OK" as response, so push a line read 711 # we expect "ERROR" or "OK" as response, so push a line read
391 $handle->push_read_line (sub { 712 $handle->push_read (line => sub {
392 # if we got an "OK", we have to _prepend_ another line, 713 # if we got an "OK", we have to _prepend_ another line,
393 # so it will be read before the second request reads its 64 bytes 714 # so it will be read before the second request reads its 64 bytes
394 # which are already in the queue when this callback is called 715 # which are already in the queue when this callback is called
395 # we don't do this in case we got an error 716 # we don't do this in case we got an error
396 if ($_[1] eq "OK") { 717 if ($_[1] eq "OK") {
397 $_[0]->unshift_read_line (sub { 718 $_[0]->unshift_read (line => sub {
398 my $response = $_[1]; 719 my $response = $_[1];
399 ... 720 ...
400 }); 721 });
401 } 722 }
402 }); 723 });
403 724
404 # request two 725 # request two, simply returns 64 octets
405 $handle->push_write ("request 2\015\012"); 726 $handle->push_write ("request 2\015\012");
406 727
407 # simply read 64 bytes, always 728 # simply read 64 bytes, always
408 $handle->push_read_chunk (64, sub { 729 $handle->push_read (chunk => 64, sub {
409 my $response = $_[1]; 730 my $response = $_[1];
410 ... 731 ...
411 }); 732 });
412 733
413=over 4 734=over 4
414 735
415=cut 736=cut
416 737
417sub _drain_rbuf { 738sub _drain_rbuf {
418 my ($self) = @_; 739 my ($self) = @_;
740
741 local $self->{_in_drain} = 1;
419 742
420 if ( 743 if (
421 defined $self->{rbuf_max} 744 defined $self->{rbuf_max}
422 && $self->{rbuf_max} < length $self->{rbuf} 745 && $self->{rbuf_max} < length $self->{rbuf}
423 ) { 746 ) {
424 $! = &Errno::ENOSPC; return $self->error; 747 $self->_error (&Errno::ENOSPC, 1), return;
425 } 748 }
426 749
427 return if $self->{in_drain}; 750 while () {
428 local $self->{in_drain} = 1;
429
430 while (my $len = length $self->{rbuf}) { 751 my $len = length $self->{rbuf};
431 no strict 'refs'; 752
432 if (my $cb = shift @{ $self->{queue} }) { 753 if (my $cb = shift @{ $self->{_queue} }) {
433 if (!$cb->($self)) { 754 unless ($cb->($self)) {
434 if ($self->{eof}) { 755 if ($self->{_eof}) {
435 # no progress can be made (not enough data and no data forthcoming) 756 # no progress can be made (not enough data and no data forthcoming)
436 $! = &Errno::EPIPE; return $self->error; 757 $self->_error (&Errno::EPIPE, 1), return;
437 } 758 }
438 759
439 unshift @{ $self->{queue} }, $cb; 760 unshift @{ $self->{_queue} }, $cb;
440 return; 761 last;
441 } 762 }
442 } elsif ($self->{on_read}) { 763 } elsif ($self->{on_read}) {
764 last unless $len;
765
443 $self->{on_read}($self); 766 $self->{on_read}($self);
444 767
445 if ( 768 if (
446 $self->{eof} # if no further data will arrive
447 && $len == length $self->{rbuf} # and no data has been consumed 769 $len == length $self->{rbuf} # if no data has been consumed
448 && !@{ $self->{queue} } # and the queue is still empty 770 && !@{ $self->{_queue} } # and the queue is still empty
449 && $self->{on_read} # and we still want to read data 771 && $self->{on_read} # but we still have on_read
450 ) { 772 ) {
773 # no further data will arrive
451 # then no progress can be made 774 # so no progress can be made
452 $! = &Errno::EPIPE; return $self->error; 775 $self->_error (&Errno::EPIPE, 1), return
776 if $self->{_eof};
777
778 last; # more data might arrive
453 } 779 }
454 } else { 780 } else {
455 # read side becomes idle 781 # read side becomes idle
456 delete $self->{rw}; 782 delete $self->{_rw};
457 return; 783 last;
458 } 784 }
459 } 785 }
460 786
461 if ($self->{eof}) { 787 if ($self->{_eof}) {
462 $self->_shutdown; 788 if ($self->{on_eof}) {
463 $self->{on_eof}($self) 789 $self->{on_eof}($self)
464 if $self->{on_eof}; 790 } else {
791 $self->_error (0, 1);
792 }
793 }
794
795 # may need to restart read watcher
796 unless ($self->{_rw}) {
797 $self->start_read
798 if $self->{on_read} || @{ $self->{_queue} };
465 } 799 }
466} 800}
467 801
468=item $handle->on_read ($cb) 802=item $handle->on_read ($cb)
469 803
475 809
476sub on_read { 810sub on_read {
477 my ($self, $cb) = @_; 811 my ($self, $cb) = @_;
478 812
479 $self->{on_read} = $cb; 813 $self->{on_read} = $cb;
814 $self->_drain_rbuf if $cb && !$self->{_in_drain};
480} 815}
481 816
482=item $handle->rbuf 817=item $handle->rbuf
483 818
484Returns the read buffer (as a modifiable lvalue). 819Returns the read buffer (as a modifiable lvalue).
515interested in (which can be none at all) and return a true value. After returning 850interested in (which can be none at all) and return a true value. After returning
516true, it will be removed from the queue. 851true, it will be removed from the queue.
517 852
518=cut 853=cut
519 854
855our %RH;
856
857sub register_read_type($$) {
858 $RH{$_[0]} = $_[1];
859}
860
520sub push_read { 861sub push_read {
521 my $self = shift; 862 my $self = shift;
522 my $cb = pop; 863 my $cb = pop;
523 864
524 if (@_) { 865 if (@_) {
526 867
527 $cb = ($RH{$type} or Carp::croak "unsupported type passed to AnyEvent::Handle::push_read") 868 $cb = ($RH{$type} or Carp::croak "unsupported type passed to AnyEvent::Handle::push_read")
528 ->($self, $cb, @_); 869 ->($self, $cb, @_);
529 } 870 }
530 871
531 push @{ $self->{queue} }, $cb; 872 push @{ $self->{_queue} }, $cb;
532 $self->_drain_rbuf; 873 $self->_drain_rbuf unless $self->{_in_drain};
533} 874}
534 875
535sub unshift_read { 876sub unshift_read {
536 my $self = shift; 877 my $self = shift;
537 my $cb = pop; 878 my $cb = pop;
542 $cb = ($RH{$type} or Carp::croak "unsupported type passed to AnyEvent::Handle::unshift_read") 883 $cb = ($RH{$type} or Carp::croak "unsupported type passed to AnyEvent::Handle::unshift_read")
543 ->($self, $cb, @_); 884 ->($self, $cb, @_);
544 } 885 }
545 886
546 887
547 unshift @{ $self->{queue} }, $cb; 888 unshift @{ $self->{_queue} }, $cb;
548 $self->_drain_rbuf; 889 $self->_drain_rbuf unless $self->{_in_drain};
549} 890}
550 891
551=item $handle->push_read (type => @args, $cb) 892=item $handle->push_read (type => @args, $cb)
552 893
553=item $handle->unshift_read (type => @args, $cb) 894=item $handle->unshift_read (type => @args, $cb)
554 895
555Instead of providing a callback that parses the data itself you can chose 896Instead of providing a callback that parses the data itself you can chose
556between a number of predefined parsing formats, for chunks of data, lines 897between a number of predefined parsing formats, for chunks of data, lines
557etc. 898etc.
558 899
559The types currently supported are: 900Predefined types are (if you have ideas for additional types, feel free to
901drop by and tell us):
560 902
561=over 4 903=over 4
562 904
563=item chunk => $octets, $cb->($self, $data) 905=item chunk => $octets, $cb->($handle, $data)
564 906
565Invoke the callback only once C<$octets> bytes have been read. Pass the 907Invoke the callback only once C<$octets> bytes have been read. Pass the
566data read to the callback. The callback will never be called with less 908data read to the callback. The callback will never be called with less
567data. 909data.
568 910
582 $cb->($_[0], substr $_[0]{rbuf}, 0, $len, ""); 924 $cb->($_[0], substr $_[0]{rbuf}, 0, $len, "");
583 1 925 1
584 } 926 }
585}; 927};
586 928
587# compatibility with older API
588sub push_read_chunk {
589 $_[0]->push_read (chunk => $_[1], $_[2]);
590}
591
592sub unshift_read_chunk {
593 $_[0]->unshift_read (chunk => $_[1], $_[2]);
594}
595
596=item line => [$eol, ]$cb->($self, $line, $eol) 929=item line => [$eol, ]$cb->($handle, $line, $eol)
597 930
598The callback will be called only once a full line (including the end of 931The callback will be called only once a full line (including the end of
599line marker, C<$eol>) has been read. This line (excluding the end of line 932line marker, C<$eol>) has been read. This line (excluding the end of line
600marker) will be passed to the callback as second argument (C<$line>), and 933marker) will be passed to the callback as second argument (C<$line>), and
601the end of line marker as the third argument (C<$eol>). 934the end of line marker as the third argument (C<$eol>).
615=cut 948=cut
616 949
617register_read_type line => sub { 950register_read_type line => sub {
618 my ($self, $cb, $eol) = @_; 951 my ($self, $cb, $eol) = @_;
619 952
620 $eol = qr|(\015?\012)| if @_ < 3; 953 if (@_ < 3) {
954 # this is more than twice as fast as the generic code below
955 sub {
956 $_[0]{rbuf} =~ s/^([^\015\012]*)(\015?\012)// or return;
957
958 $cb->($_[0], $1, $2);
959 1
960 }
961 } else {
621 $eol = quotemeta $eol unless ref $eol; 962 $eol = quotemeta $eol unless ref $eol;
622 $eol = qr|^(.*?)($eol)|s; 963 $eol = qr|^(.*?)($eol)|s;
964
965 sub {
966 $_[0]{rbuf} =~ s/$eol// or return;
967
968 $cb->($_[0], $1, $2);
969 1
970 }
971 }
972};
973
974=item regex => $accept[, $reject[, $skip], $cb->($handle, $data)
975
976Makes a regex match against the regex object C<$accept> and returns
977everything up to and including the match.
978
979Example: read a single line terminated by '\n'.
980
981 $handle->push_read (regex => qr<\n>, sub { ... });
982
983If C<$reject> is given and not undef, then it determines when the data is
984to be rejected: it is matched against the data when the C<$accept> regex
985does not match and generates an C<EBADMSG> error when it matches. This is
986useful to quickly reject wrong data (to avoid waiting for a timeout or a
987receive buffer overflow).
988
989Example: expect a single decimal number followed by whitespace, reject
990anything else (not the use of an anchor).
991
992 $handle->push_read (regex => qr<^[0-9]+\s>, qr<[^0-9]>, sub { ... });
993
994If C<$skip> is given and not C<undef>, then it will be matched against
995the receive buffer when neither C<$accept> nor C<$reject> match,
996and everything preceding and including the match will be accepted
997unconditionally. This is useful to skip large amounts of data that you
998know cannot be matched, so that the C<$accept> or C<$reject> regex do not
999have to start matching from the beginning. This is purely an optimisation
1000and is usually worth only when you expect more than a few kilobytes.
1001
1002Example: expect a http header, which ends at C<\015\012\015\012>. Since we
1003expect the header to be very large (it isn't in practise, but...), we use
1004a skip regex to skip initial portions. The skip regex is tricky in that
1005it only accepts something not ending in either \015 or \012, as these are
1006required for the accept regex.
1007
1008 $handle->push_read (regex =>
1009 qr<\015\012\015\012>,
1010 undef, # no reject
1011 qr<^.*[^\015\012]>,
1012 sub { ... });
1013
1014=cut
1015
1016register_read_type regex => sub {
1017 my ($self, $cb, $accept, $reject, $skip) = @_;
1018
1019 my $data;
1020 my $rbuf = \$self->{rbuf};
623 1021
624 sub { 1022 sub {
625 $_[0]{rbuf} =~ s/$eol// or return; 1023 # accept
1024 if ($$rbuf =~ $accept) {
1025 $data .= substr $$rbuf, 0, $+[0], "";
1026 $cb->($self, $data);
1027 return 1;
1028 }
1029
1030 # reject
1031 if ($reject && $$rbuf =~ $reject) {
1032 $self->_error (&Errno::EBADMSG);
1033 }
626 1034
627 $cb->($_[0], $1, $2); 1035 # skip
1036 if ($skip && $$rbuf =~ $skip) {
1037 $data .= substr $$rbuf, 0, $+[0], "";
1038 }
1039
1040 ()
1041 }
1042};
1043
1044=item netstring => $cb->($handle, $string)
1045
1046A netstring (http://cr.yp.to/proto/netstrings.txt, this is not an endorsement).
1047
1048Throws an error with C<$!> set to EBADMSG on format violations.
1049
1050=cut
1051
1052register_read_type netstring => sub {
1053 my ($self, $cb) = @_;
1054
1055 sub {
1056 unless ($_[0]{rbuf} =~ s/^(0|[1-9][0-9]*)://) {
1057 if ($_[0]{rbuf} =~ /[^0-9]/) {
1058 $self->_error (&Errno::EBADMSG);
1059 }
1060 return;
1061 }
1062
1063 my $len = $1;
1064
1065 $self->unshift_read (chunk => $len, sub {
1066 my $string = $_[1];
1067 $_[0]->unshift_read (chunk => 1, sub {
1068 if ($_[1] eq ",") {
1069 $cb->($_[0], $string);
1070 } else {
1071 $self->_error (&Errno::EBADMSG);
1072 }
1073 });
1074 });
1075
628 1 1076 1
629 } 1077 }
630}; 1078};
631 1079
632# compatibility with older API 1080=item packstring => $format, $cb->($handle, $string)
633sub push_read_line {
634 my $self = shift;
635 $self->push_read (line => @_);
636}
637 1081
638sub unshift_read_line { 1082An octet string prefixed with an encoded length. The encoding C<$format>
639 my $self = shift; 1083uses the same format as a Perl C<pack> format, but must specify a single
640 $self->unshift_read (line => @_); 1084integer only (only one of C<cCsSlLqQiInNvVjJw> is allowed, plus an
641} 1085optional C<!>, C<< < >> or C<< > >> modifier).
1086
1087DNS over TCP uses a prefix of C<n>, EPP uses a prefix of C<N>.
1088
1089Example: read a block of data prefixed by its length in BER-encoded
1090format (very efficient).
1091
1092 $handle->push_read (packstring => "w", sub {
1093 my ($handle, $data) = @_;
1094 });
1095
1096=cut
1097
1098register_read_type packstring => sub {
1099 my ($self, $cb, $format) = @_;
1100
1101 sub {
1102 # when we can use 5.10 we can use ".", but for 5.8 we use the re-pack method
1103 defined (my $len = eval { unpack $format, $_[0]{rbuf} })
1104 or return;
1105
1106 $format = length pack $format, $len;
1107
1108 # bypass unshift if we already have the remaining chunk
1109 if ($format + $len <= length $_[0]{rbuf}) {
1110 my $data = substr $_[0]{rbuf}, $format, $len;
1111 substr $_[0]{rbuf}, 0, $format + $len, "";
1112 $cb->($_[0], $data);
1113 } else {
1114 # remove prefix
1115 substr $_[0]{rbuf}, 0, $format, "";
1116
1117 # read remaining chunk
1118 $_[0]->unshift_read (chunk => $len, $cb);
1119 }
1120
1121 1
1122 }
1123};
1124
1125=item json => $cb->($handle, $hash_or_arrayref)
1126
1127Reads a JSON object or array, decodes it and passes it to the callback.
1128
1129If a C<json> object was passed to the constructor, then that will be used
1130for the final decode, otherwise it will create a JSON coder expecting UTF-8.
1131
1132This read type uses the incremental parser available with JSON version
11332.09 (and JSON::XS version 2.2) and above. You have to provide a
1134dependency on your own: this module will load the JSON module, but
1135AnyEvent does not depend on it itself.
1136
1137Since JSON texts are fully self-delimiting, the C<json> read and write
1138types are an ideal simple RPC protocol: just exchange JSON datagrams. See
1139the C<json> write type description, above, for an actual example.
1140
1141=cut
1142
1143register_read_type json => sub {
1144 my ($self, $cb) = @_;
1145
1146 require JSON;
1147
1148 my $data;
1149 my $rbuf = \$self->{rbuf};
1150
1151 my $json = $self->{json} ||= JSON->new->utf8;
1152
1153 sub {
1154 my $ref = $json->incr_parse ($self->{rbuf});
1155
1156 if ($ref) {
1157 $self->{rbuf} = $json->incr_text;
1158 $json->incr_text = "";
1159 $cb->($self, $ref);
1160
1161 1
1162 } else {
1163 $self->{rbuf} = "";
1164 ()
1165 }
1166 }
1167};
1168
1169=item storable => $cb->($handle, $ref)
1170
1171Deserialises a L<Storable> frozen representation as written by the
1172C<storable> write type (BER-encoded length prefix followed by nfreeze'd
1173data).
1174
1175Raises C<EBADMSG> error if the data could not be decoded.
1176
1177=cut
1178
1179register_read_type storable => sub {
1180 my ($self, $cb) = @_;
1181
1182 require Storable;
1183
1184 sub {
1185 # when we can use 5.10 we can use ".", but for 5.8 we use the re-pack method
1186 defined (my $len = eval { unpack "w", $_[0]{rbuf} })
1187 or return;
1188
1189 my $format = length pack "w", $len;
1190
1191 # bypass unshift if we already have the remaining chunk
1192 if ($format + $len <= length $_[0]{rbuf}) {
1193 my $data = substr $_[0]{rbuf}, $format, $len;
1194 substr $_[0]{rbuf}, 0, $format + $len, "";
1195 $cb->($_[0], Storable::thaw ($data));
1196 } else {
1197 # remove prefix
1198 substr $_[0]{rbuf}, 0, $format, "";
1199
1200 # read remaining chunk
1201 $_[0]->unshift_read (chunk => $len, sub {
1202 if (my $ref = eval { Storable::thaw ($_[1]) }) {
1203 $cb->($_[0], $ref);
1204 } else {
1205 $self->_error (&Errno::EBADMSG);
1206 }
1207 });
1208 }
1209
1210 1
1211 }
1212};
642 1213
643=back 1214=back
644 1215
1216=item AnyEvent::Handle::register_read_type type => $coderef->($handle, $cb, @args)
1217
1218This function (not method) lets you add your own types to C<push_read>.
1219
1220Whenever the given C<type> is used, C<push_read> will invoke the code
1221reference with the handle object, the callback and the remaining
1222arguments.
1223
1224The code reference is supposed to return a callback (usually a closure)
1225that works as a plain read callback (see C<< ->push_read ($cb) >>).
1226
1227It should invoke the passed callback when it is done reading (remember to
1228pass C<$handle> as first argument as all other callbacks do that).
1229
1230Note that this is a function, and all types registered this way will be
1231global, so try to use unique names.
1232
1233For examples, see the source of this module (F<perldoc -m AnyEvent::Handle>,
1234search for C<register_read_type>)).
1235
645=item $handle->stop_read 1236=item $handle->stop_read
646 1237
647=item $handle->start_read 1238=item $handle->start_read
648 1239
649In rare cases you actually do not want to read anything from the 1240In rare cases you actually do not want to read anything from the
650socket. In this case you can call C<stop_read>. Neither C<on_read> no 1241socket. In this case you can call C<stop_read>. Neither C<on_read> nor
651any queued callbacks will be executed then. To start reading again, call 1242any queued callbacks will be executed then. To start reading again, call
652C<start_read>. 1243C<start_read>.
653 1244
1245Note that AnyEvent::Handle will automatically C<start_read> for you when
1246you change the C<on_read> callback or push/unshift a read callback, and it
1247will automatically C<stop_read> for you when neither C<on_read> is set nor
1248there are any read requests in the queue.
1249
654=cut 1250=cut
655 1251
656sub stop_read { 1252sub stop_read {
657 my ($self) = @_; 1253 my ($self) = @_;
658 1254
659 delete $self->{rw}; 1255 delete $self->{_rw};
660} 1256}
661 1257
662sub start_read { 1258sub start_read {
663 my ($self) = @_; 1259 my ($self) = @_;
664 1260
665 unless ($self->{rw} || $self->{eof}) { 1261 unless ($self->{_rw} || $self->{_eof}) {
666 Scalar::Util::weaken $self; 1262 Scalar::Util::weaken $self;
667 1263
668 $self->{rw} = AnyEvent->io (fh => $self->{fh}, poll => "r", cb => sub { 1264 $self->{_rw} = AnyEvent->io (fh => $self->{fh}, poll => "r", cb => sub {
669 my $rbuf = $self->{filter_r} ? \my $buf : \$self->{rbuf}; 1265 my $rbuf = $self->{filter_r} ? \my $buf : \$self->{rbuf};
670 my $len = sysread $self->{fh}, $$rbuf, $self->{read_size} || 8192, length $$rbuf; 1266 my $len = sysread $self->{fh}, $$rbuf, $self->{read_size} || 8192, length $$rbuf;
671 1267
672 if ($len > 0) { 1268 if ($len > 0) {
1269 $self->{_activity} = AnyEvent->now;
1270
673 $self->{filter_r} 1271 $self->{filter_r}
674 ? $self->{filter_r}->($self, $rbuf) 1272 ? $self->{filter_r}($self, $rbuf)
675 : $self->_drain_rbuf; 1273 : $self->{_in_drain} || $self->_drain_rbuf;
676 1274
677 } elsif (defined $len) { 1275 } elsif (defined $len) {
678 delete $self->{rw}; 1276 delete $self->{_rw};
679 $self->{eof} = 1; 1277 $self->{_eof} = 1;
680 $self->_drain_rbuf; 1278 $self->_drain_rbuf unless $self->{_in_drain};
681 1279
682 } elsif ($! != EAGAIN && $! != EINTR) { 1280 } elsif ($! != EAGAIN && $! != EINTR && $! != WSAEWOULDBLOCK) {
683 return $self->error; 1281 return $self->_error ($!, 1);
684 } 1282 }
685 }); 1283 });
686 } 1284 }
687} 1285}
688 1286
689sub _dotls { 1287sub _dotls {
690 my ($self) = @_; 1288 my ($self) = @_;
691 1289
1290 my $buf;
1291
692 if (length $self->{tls_wbuf}) { 1292 if (length $self->{_tls_wbuf}) {
693 while ((my $len = Net::SSLeay::write ($self->{tls}, $self->{tls_wbuf})) > 0) { 1293 while ((my $len = Net::SSLeay::write ($self->{tls}, $self->{_tls_wbuf})) > 0) {
694 substr $self->{tls_wbuf}, 0, $len, ""; 1294 substr $self->{_tls_wbuf}, 0, $len, "";
695 } 1295 }
696 } 1296 }
697 1297
698 if (defined (my $buf = Net::SSLeay::BIO_read ($self->{tls_wbio}))) { 1298 if (length ($buf = Net::SSLeay::BIO_read ($self->{_wbio}))) {
699 $self->{wbuf} .= $buf; 1299 $self->{wbuf} .= $buf;
700 $self->_drain_wbuf; 1300 $self->_drain_wbuf;
701 } 1301 }
702 1302
703 while (defined (my $buf = Net::SSLeay::read ($self->{tls}))) { 1303 while (defined ($buf = Net::SSLeay::read ($self->{tls}))) {
1304 if (length $buf) {
704 $self->{rbuf} .= $buf; 1305 $self->{rbuf} .= $buf;
705 $self->_drain_rbuf; 1306 $self->_drain_rbuf unless $self->{_in_drain};
1307 } else {
1308 # let's treat SSL-eof as we treat normal EOF
1309 $self->{_eof} = 1;
1310 $self->_shutdown;
1311 return;
1312 }
706 } 1313 }
707 1314
708 my $err = Net::SSLeay::get_error ($self->{tls}, -1); 1315 my $err = Net::SSLeay::get_error ($self->{tls}, -1);
709 1316
710 if ($err!= Net::SSLeay::ERROR_WANT_READ ()) { 1317 if ($err!= Net::SSLeay::ERROR_WANT_READ ()) {
711 if ($err == Net::SSLeay::ERROR_SYSCALL ()) { 1318 if ($err == Net::SSLeay::ERROR_SYSCALL ()) {
712 $self->error; 1319 return $self->_error ($!, 1);
713 } elsif ($err == Net::SSLeay::ERROR_SSL ()) { 1320 } elsif ($err == Net::SSLeay::ERROR_SSL ()) {
714 $! = &Errno::EIO; 1321 return $self->_error (&Errno::EIO, 1);
715 $self->error;
716 } 1322 }
717 1323
718 # all others are fine for our purposes 1324 # all others are fine for our purposes
719 } 1325 }
720} 1326}
729C<"connect">, C<"accept"> or an existing Net::SSLeay object). 1335C<"connect">, C<"accept"> or an existing Net::SSLeay object).
730 1336
731The second argument is the optional C<Net::SSLeay::CTX> object that is 1337The second argument is the optional C<Net::SSLeay::CTX> object that is
732used when AnyEvent::Handle has to create its own TLS connection object. 1338used when AnyEvent::Handle has to create its own TLS connection object.
733 1339
734=cut 1340The TLS connection object will end up in C<< $handle->{tls} >> after this
1341call and can be used or changed to your liking. Note that the handshake
1342might have already started when this function returns.
735 1343
736# TODO: maybe document... 1344=cut
1345
737sub starttls { 1346sub starttls {
738 my ($self, $ssl, $ctx) = @_; 1347 my ($self, $ssl, $ctx) = @_;
739 1348
740 $self->stoptls; 1349 $self->stoptls;
741 1350
753 # but the openssl maintainers basically said: "trust us, it just works". 1362 # but the openssl maintainers basically said: "trust us, it just works".
754 # (unfortunately, we have to hardcode constants because the abysmally misdesigned 1363 # (unfortunately, we have to hardcode constants because the abysmally misdesigned
755 # and mismaintained ssleay-module doesn't even offer them). 1364 # and mismaintained ssleay-module doesn't even offer them).
756 # http://www.mail-archive.com/openssl-dev@openssl.org/msg22420.html 1365 # http://www.mail-archive.com/openssl-dev@openssl.org/msg22420.html
757 Net::SSLeay::CTX_set_mode ($self->{tls}, 1366 Net::SSLeay::CTX_set_mode ($self->{tls},
758 (eval { Net::SSLeay::MODE_ENABLE_PARTIAL_WRITE () } || 1) 1367 (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ENABLE_PARTIAL_WRITE () } || 1)
759 | (eval { Net::SSLeay::MODE_ACCEPT_MOVING_WRITE_BUFFER () } || 2)); 1368 | (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ACCEPT_MOVING_WRITE_BUFFER () } || 2));
760 1369
761 $self->{tls_rbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ()); 1370 $self->{_rbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ());
762 $self->{tls_wbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ()); 1371 $self->{_wbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ());
763 1372
764 Net::SSLeay::set_bio ($ssl, $self->{tls_rbio}, $self->{tls_wbio}); 1373 Net::SSLeay::set_bio ($ssl, $self->{_rbio}, $self->{_wbio});
765 1374
766 $self->{filter_w} = sub { 1375 $self->{filter_w} = sub {
767 $_[0]{tls_wbuf} .= ${$_[1]}; 1376 $_[0]{_tls_wbuf} .= ${$_[1]};
768 &_dotls; 1377 &_dotls;
769 }; 1378 };
770 $self->{filter_r} = sub { 1379 $self->{filter_r} = sub {
771 Net::SSLeay::BIO_write ($_[0]{tls_rbio}, ${$_[1]}); 1380 Net::SSLeay::BIO_write ($_[0]{_rbio}, ${$_[1]});
772 &_dotls; 1381 &_dotls;
773 }; 1382 };
774} 1383}
775 1384
776=item $handle->stoptls 1385=item $handle->stoptls
782 1391
783sub stoptls { 1392sub stoptls {
784 my ($self) = @_; 1393 my ($self) = @_;
785 1394
786 Net::SSLeay::free (delete $self->{tls}) if $self->{tls}; 1395 Net::SSLeay::free (delete $self->{tls}) if $self->{tls};
1396
787 delete $self->{tls_rbio}; 1397 delete $self->{_rbio};
788 delete $self->{tls_wbio}; 1398 delete $self->{_wbio};
789 delete $self->{tls_wbuf}; 1399 delete $self->{_tls_wbuf};
790 delete $self->{filter_r}; 1400 delete $self->{filter_r};
791 delete $self->{filter_w}; 1401 delete $self->{filter_w};
792} 1402}
793 1403
794sub DESTROY { 1404sub DESTROY {
795 my $self = shift; 1405 my $self = shift;
796 1406
797 $self->stoptls; 1407 $self->stoptls;
1408
1409 my $linger = exists $self->{linger} ? $self->{linger} : 3600;
1410
1411 if ($linger && length $self->{wbuf}) {
1412 my $fh = delete $self->{fh};
1413 my $wbuf = delete $self->{wbuf};
1414
1415 my @linger;
1416
1417 push @linger, AnyEvent->io (fh => $fh, poll => "w", cb => sub {
1418 my $len = syswrite $fh, $wbuf, length $wbuf;
1419
1420 if ($len > 0) {
1421 substr $wbuf, 0, $len, "";
1422 } else {
1423 @linger = (); # end
1424 }
1425 });
1426 push @linger, AnyEvent->timer (after => $linger, cb => sub {
1427 @linger = ();
1428 });
1429 }
798} 1430}
799 1431
800=item AnyEvent::Handle::TLS_CTX 1432=item AnyEvent::Handle::TLS_CTX
801 1433
802This function creates and returns the Net::SSLeay::CTX object used by 1434This function creates and returns the Net::SSLeay::CTX object used by
832 } 1464 }
833} 1465}
834 1466
835=back 1467=back
836 1468
1469=head1 SUBCLASSING AnyEvent::Handle
1470
1471In many cases, you might want to subclass AnyEvent::Handle.
1472
1473To make this easier, a given version of AnyEvent::Handle uses these
1474conventions:
1475
1476=over 4
1477
1478=item * all constructor arguments become object members.
1479
1480At least initially, when you pass a C<tls>-argument to the constructor it
1481will end up in C<< $handle->{tls} >>. Those members might be changed or
1482mutated later on (for example C<tls> will hold the TLS connection object).
1483
1484=item * other object member names are prefixed with an C<_>.
1485
1486All object members not explicitly documented (internal use) are prefixed
1487with an underscore character, so the remaining non-C<_>-namespace is free
1488for use for subclasses.
1489
1490=item * all members not documented here and not prefixed with an underscore
1491are free to use in subclasses.
1492
1493Of course, new versions of AnyEvent::Handle may introduce more "public"
1494member variables, but thats just life, at least it is documented.
1495
1496=back
1497
837=head1 AUTHOR 1498=head1 AUTHOR
838 1499
839Robin Redeker C<< <elmex at ta-sa.org> >>, Marc Lehmann <schmorp@schmorp.de>. 1500Robin Redeker C<< <elmex at ta-sa.org> >>, Marc Lehmann <schmorp@schmorp.de>.
840 1501
841=cut 1502=cut

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines