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

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines