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.80 by root, Sun Jul 27 08:43:32 2008 UTC vs.
Revision 1.90 by root, Mon Sep 29 02:08:57 2008 UTC

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
17=cut 17=cut
18 18
19our $VERSION = 4.22; 19our $VERSION = 4.234;
20 20
21=head1 SYNOPSIS 21=head1 SYNOPSIS
22 22
23 use AnyEvent; 23 use AnyEvent;
24 use AnyEvent::Handle; 24 use AnyEvent::Handle;
49 49
50This 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
51filehandles. For utility functions for doing non-blocking connects and accepts 51filehandles. For utility functions for doing non-blocking connects and accepts
52on sockets see L<AnyEvent::Util>. 52on sockets see L<AnyEvent::Util>.
53 53
54The L<AnyEvent::Intro> tutorial contains some well-documented
55AnyEvent::Handle examples.
56
54In the following, when the documentation refers to of "bytes" then this 57In the following, when the documentation refers to of "bytes" then this
55means 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
56treatment of characters applies to this module as well. 59treatment of characters applies to this module as well.
57 60
58All callbacks will be invoked with the handle object as their first 61All callbacks will be invoked with the handle object as their first
59argument. 62argument.
60 63
64=head2 SIGPIPE is not handled by this module
65
66SIGPIPE is not handled by this module, so one of the practical
67requirements of using it is to ignore SIGPIPE (C<$SIG{PIPE} =
68'IGNORE'>). At least, this is highly recommend in a networked program: If
69you use AnyEvent::Handle in a filter program (like sort), exiting on
70SIGPIPE is probably the right thing to do.
71
61=head1 METHODS 72=head1 METHODS
62 73
63=over 4 74=over 4
64 75
65=item B<new (%args)> 76=item B<new (%args)>
70 81
71=item fh => $filehandle [MANDATORY] 82=item fh => $filehandle [MANDATORY]
72 83
73The filehandle this L<AnyEvent::Handle> object will operate on. 84The filehandle this L<AnyEvent::Handle> object will operate on.
74 85
75NOTE: The filehandle will be set to non-blocking (using 86NOTE: The filehandle will be set to non-blocking mode (using
76AnyEvent::Util::fh_nonblocking). 87C<AnyEvent::Util::fh_nonblocking>) by the constructor and needs to stay in
88that mode.
77 89
78=item on_eof => $cb->($handle) 90=item on_eof => $cb->($handle)
79 91
80Set the callback to be called when an end-of-file condition is detected, 92Set 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 93i.e. in the case of a socket, when the other side has closed the
82connection cleanly. 94connection cleanly.
83 95
96For sockets, this just means that the other side has stopped sending data,
97you can still try to write data, and, in fact, one can return from the eof
98callback and continue writing data, as only the read part has been shut
99down.
100
84While not mandatory, it is I<highly> recommended to set an eof callback, 101While not mandatory, it is I<highly> recommended to set an eof callback,
85otherwise you might end up with a closed socket while you are still 102otherwise you might end up with a closed socket while you are still
86waiting for data. 103waiting for data.
87 104
88If an EOF condition has been detected but no C<on_eof> callback has been 105If an EOF condition has been detected but no C<on_eof> callback has been
93This is the error callback, which is called when, well, some error 110This is the error callback, which is called when, well, some error
94occured, such as not being able to resolve the hostname, failure to 111occured, such as not being able to resolve the hostname, failure to
95connect or a read error. 112connect or a read error.
96 113
97Some errors are fatal (which is indicated by C<$fatal> being true). On 114Some errors are fatal (which is indicated by C<$fatal> being true). On
98fatal errors the handle object will be shut down and will not be 115fatal errors the handle object will be shut down and will not be usable
116(but you are free to look at the current C<< ->rbuf >>). Examples of fatal
117errors are an EOF condition with active (but unsatisifable) read watchers
118(C<EPIPE>) or I/O errors.
119
99usable. Non-fatal errors can be retried by simply returning, but it is 120Non-fatal errors can be retried by simply returning, but it is recommended
100recommended to simply ignore this parameter and instead abondon the handle 121to simply ignore this parameter and instead abondon the handle object
101object when this callback is invoked. 122when this callback is invoked. Examples of non-fatal errors are timeouts
123C<ETIMEDOUT>) or badly-formatted data (C<EBADMSG>).
102 124
103On callback entrance, the value of C<$!> contains the operating system 125On callback entrance, the value of C<$!> contains the operating system
104error (or C<ENOSPC>, C<EPIPE>, C<ETIMEDOUT> or C<EBADMSG>). 126error (or C<ENOSPC>, C<EPIPE>, C<ETIMEDOUT> or C<EBADMSG>).
105 127
106While not mandatory, it is I<highly> recommended to set this callback, as 128While not mandatory, it is I<highly> recommended to set this callback, as
138=item timeout => $fractional_seconds 160=item timeout => $fractional_seconds
139 161
140If non-zero, then this enables an "inactivity" timeout: whenever this many 162If non-zero, then this enables an "inactivity" timeout: whenever this many
141seconds pass without a successful read or write on the underlying file 163seconds pass without a successful read or write on the underlying file
142handle, the C<on_timeout> callback will be invoked (and if that one is 164handle, the C<on_timeout> callback will be invoked (and if that one is
143missing, an C<ETIMEDOUT> error will be raised). 165missing, a non-fatal C<ETIMEDOUT> error will be raised).
144 166
145Note that timeout processing is also active when you currently do not have 167Note that timeout processing is also active when you currently do not have
146any outstanding read or write requests: If you plan to keep the connection 168any outstanding read or write requests: If you plan to keep the connection
147idle then you should disable the timout temporarily or ignore the timeout 169idle then you should disable the timout temporarily or ignore the timeout
148in the C<on_timeout> callback. 170in the C<on_timeout> callback, in which case AnyEvent::Handle will simply
171restart the timeout.
149 172
150Zero (the default) disables this timeout. 173Zero (the default) disables this timeout.
151 174
152=item on_timeout => $cb->($handle) 175=item on_timeout => $cb->($handle)
153 176
157 180
158=item rbuf_max => <bytes> 181=item rbuf_max => <bytes>
159 182
160If defined, then a fatal error will be raised (with C<$!> set to C<ENOSPC>) 183If defined, then a fatal error will be raised (with C<$!> set to C<ENOSPC>)
161when the read buffer ever (strictly) exceeds this size. This is useful to 184when the read buffer ever (strictly) exceeds this size. This is useful to
162avoid denial-of-service attacks. 185avoid some forms of denial-of-service attacks.
163 186
164For example, a server accepting connections from untrusted sources should 187For example, a server accepting connections from untrusted sources should
165be configured to accept only so-and-so much data that it cannot act on 188be configured to accept only so-and-so much data that it cannot act on
166(for example, when expecting a line, an attacker could send an unlimited 189(for example, when expecting a line, an attacker could send an unlimited
167amount of data without a callback ever being called as long as the line 190amount of data without a callback ever being called as long as the line
168isn't finished). 191isn't finished).
169 192
170=item autocork => <boolean> 193=item autocork => <boolean>
171 194
172When disabled (the default), then C<push_write> will try to immediately 195When disabled (the default), then C<push_write> will try to immediately
173write the data to the handle if possible. This avoids having to register 196write the data to the handle, if possible. This avoids having to register
174a write watcher and wait for the next event loop iteration, but can be 197a write watcher and wait for the next event loop iteration, but can
175inefficient if you write multiple small chunks (this disadvantage is 198be inefficient if you write multiple small chunks (on the wire, this
176usually avoided by your kernel's nagle algorithm, see C<low_delay>). 199disadvantage is usually avoided by your kernel's nagle algorithm, see
200C<no_delay>, but this option can save costly syscalls).
177 201
178When enabled, then writes will always be queued till the next event loop 202When enabled, then writes will always be queued till the next event loop
179iteration. This is efficient when you do many small writes per iteration, 203iteration. This is efficient when you do many small writes per iteration,
180but less efficient when you do a single write only. 204but less efficient when you do a single write only per iteration (or when
205the write buffer often is full). It also increases write latency.
181 206
182=item no_delay => <boolean> 207=item no_delay => <boolean>
183 208
184When doing small writes on sockets, your operating system kernel might 209When doing small writes on sockets, your operating system kernel might
185wait a bit for more data before actually sending it out. This is called 210wait a bit for more data before actually sending it out. This is called
186the Nagle algorithm, and usually it is beneficial. 211the Nagle algorithm, and usually it is beneficial.
187 212
188In some situations you want as low a delay as possible, which cna be 213In some situations you want as low a delay as possible, which can be
189accomplishd by setting this option to true. 214accomplishd by setting this option to a true value.
190 215
191The default is your opertaing system's default behaviour, this option 216The default is your opertaing system's default behaviour (most likely
192explicitly enables or disables it, if possible. 217enabled), this option explicitly enables or disables it, if possible.
193 218
194=item read_size => <bytes> 219=item read_size => <bytes>
195 220
196The default read block size (the amount of bytes this module will try to read 221The default read block size (the amount of bytes this module will
197during each (loop iteration). Default: C<8192>. 222try to read during each loop iteration, which affects memory
223requirements). Default: C<8192>.
198 224
199=item low_water_mark => <bytes> 225=item low_water_mark => <bytes>
200 226
201Sets the amount of bytes (default: C<0>) that make up an "empty" write 227Sets the amount of bytes (default: C<0>) that make up an "empty" write
202buffer: If the write reaches this size or gets even samller it is 228buffer: If the write reaches this size or gets even samller it is
203considered empty. 229considered empty.
204 230
231Sometimes it can be beneficial (for performance reasons) to add data to
232the write buffer before it is fully drained, but this is a rare case, as
233the operating system kernel usually buffers data as well, so the default
234is good in almost all cases.
235
205=item linger => <seconds> 236=item linger => <seconds>
206 237
207If non-zero (default: C<3600>), then the destructor of the 238If non-zero (default: C<3600>), then the destructor of the
208AnyEvent::Handle object will check wether there is still outstanding write 239AnyEvent::Handle object will check whether there is still outstanding
209data and will install a watcher that will write out this data. No errors 240write data and will install a watcher that will write this data to the
210will be reported (this mostly matches how the operating system treats 241socket. No errors will be reported (this mostly matches how the operating
211outstanding data at socket close time). 242system treats outstanding data at socket close time).
212 243
213This will not work for partial TLS data that could not yet been 244This will not work for partial TLS data that could not be encoded
214encoded. This data will be lost. 245yet. This data will be lost.
215 246
216=item tls => "accept" | "connect" | Net::SSLeay::SSL object 247=item tls => "accept" | "connect" | Net::SSLeay::SSL object
217 248
218When this parameter is given, it enables TLS (SSL) mode, that means it 249When this parameter is given, it enables TLS (SSL) mode, that means
219will start making tls handshake and will transparently encrypt/decrypt 250AnyEvent will start a TLS handshake as soon as the conenction has been
220data. 251established and will transparently encrypt/decrypt data afterwards.
221 252
222TLS mode requires Net::SSLeay to be installed (it will be loaded 253TLS mode requires Net::SSLeay to be installed (it will be loaded
223automatically when you try to create a TLS handle). 254automatically when you try to create a TLS handle): this module doesn't
255have a dependency on that module, so if your module requires it, you have
256to add the dependency yourself.
224 257
225For the TLS server side, use C<accept>, and for the TLS client side of a 258Unlike TCP, TLS has a server and client side: for the TLS server side, use
226connection, use C<connect> mode. 259C<accept>, and for the TLS client side of a connection, use C<connect>
260mode.
227 261
228You can also provide your own TLS connection object, but you have 262You can also provide your own TLS connection object, but you have
229to make sure that you call either C<Net::SSLeay::set_connect_state> 263to make sure that you call either C<Net::SSLeay::set_connect_state>
230or C<Net::SSLeay::set_accept_state> on it before you pass it to 264or C<Net::SSLeay::set_accept_state> on it before you pass it to
231AnyEvent::Handle. 265AnyEvent::Handle.
232 266
233See the C<starttls> method if you need to start TLS negotiation later. 267See the C<< ->starttls >> method for when need to start TLS negotiation later.
234 268
235=item tls_ctx => $ssl_ctx 269=item tls_ctx => $ssl_ctx
236 270
237Use the given Net::SSLeay::CTX object to create the new TLS connection 271Use the given C<Net::SSLeay::CTX> object to create the new TLS connection
238(unless a connection object was specified directly). If this parameter is 272(unless a connection object was specified directly). If this parameter is
239missing, then AnyEvent::Handle will use C<AnyEvent::Handle::TLS_CTX>. 273missing, then AnyEvent::Handle will use C<AnyEvent::Handle::TLS_CTX>.
240 274
241=item json => JSON or JSON::XS object 275=item json => JSON or JSON::XS object
242 276
243This is the json coder object used by the C<json> read and write types. 277This is the json coder object used by the C<json> read and write types.
244 278
245If you don't supply it, then AnyEvent::Handle will create and use a 279If you don't supply it, then AnyEvent::Handle will create and use a
246suitable one, which will write and expect UTF-8 encoded JSON texts. 280suitable one (on demand), which will write and expect UTF-8 encoded JSON
281texts.
247 282
248Note that you are responsible to depend on the JSON module if you want to 283Note that you are responsible to depend on the JSON module if you want to
249use this functionality, as AnyEvent does not have a dependency itself. 284use this functionality, as AnyEvent does not have a dependency itself.
250 285
251=item filter_r => $cb 286=item filter_r => $cb
252 287
253=item filter_w => $cb 288=item filter_w => $cb
254 289
255These exist, but are undocumented at this time. 290These exist, but are undocumented at this time. (They are used internally
291by the TLS code).
256 292
257=back 293=back
258 294
259=cut 295=cut
260 296
291 delete $self->{_rw}; 327 delete $self->{_rw};
292 delete $self->{_ww}; 328 delete $self->{_ww};
293 delete $self->{fh}; 329 delete $self->{fh};
294 330
295 $self->stoptls; 331 $self->stoptls;
332
333 delete $self->{on_read};
334 delete $self->{_queue};
296} 335}
297 336
298sub _error { 337sub _error {
299 my ($self, $errno, $fatal) = @_; 338 my ($self, $errno, $fatal) = @_;
300 339
310 } 349 }
311} 350}
312 351
313=item $fh = $handle->fh 352=item $fh = $handle->fh
314 353
315This method returns the file handle of the L<AnyEvent::Handle> object. 354This method returns the file handle used to create the L<AnyEvent::Handle> object.
316 355
317=cut 356=cut
318 357
319sub fh { $_[0]{fh} } 358sub fh { $_[0]{fh} }
320 359
338 $_[0]{on_eof} = $_[1]; 377 $_[0]{on_eof} = $_[1];
339} 378}
340 379
341=item $handle->on_timeout ($cb) 380=item $handle->on_timeout ($cb)
342 381
343Replace the current C<on_timeout> callback, or disables the callback 382Replace the current C<on_timeout> callback, or disables the callback (but
344(but not the timeout) if C<$cb> = C<undef>. See C<timeout> constructor 383not the timeout) if C<$cb> = C<undef>. See the C<timeout> constructor
345argument. 384argument and method.
346 385
347=cut 386=cut
348 387
349sub on_timeout { 388sub on_timeout {
350 $_[0]{on_timeout} = $_[1]; 389 $_[0]{on_timeout} = $_[1];
729 768
730 if ( 769 if (
731 defined $self->{rbuf_max} 770 defined $self->{rbuf_max}
732 && $self->{rbuf_max} < length $self->{rbuf} 771 && $self->{rbuf_max} < length $self->{rbuf}
733 ) { 772 ) {
734 return $self->_error (&Errno::ENOSPC, 1); 773 $self->_error (&Errno::ENOSPC, 1), return;
735 } 774 }
736 775
737 while () { 776 while () {
738 my $len = length $self->{rbuf}; 777 my $len = length $self->{rbuf};
739 778
740 if (my $cb = shift @{ $self->{_queue} }) { 779 if (my $cb = shift @{ $self->{_queue} }) {
741 unless ($cb->($self)) { 780 unless ($cb->($self)) {
742 if ($self->{_eof}) { 781 if ($self->{_eof}) {
743 # no progress can be made (not enough data and no data forthcoming) 782 # no progress can be made (not enough data and no data forthcoming)
744 $self->_error (&Errno::EPIPE, 1), last; 783 $self->_error (&Errno::EPIPE, 1), return;
745 } 784 }
746 785
747 unshift @{ $self->{_queue} }, $cb; 786 unshift @{ $self->{_queue} }, $cb;
748 last; 787 last;
749 } 788 }
757 && !@{ $self->{_queue} } # and the queue is still empty 796 && !@{ $self->{_queue} } # and the queue is still empty
758 && $self->{on_read} # but we still have on_read 797 && $self->{on_read} # but we still have on_read
759 ) { 798 ) {
760 # no further data will arrive 799 # no further data will arrive
761 # so no progress can be made 800 # so no progress can be made
762 $self->_error (&Errno::EPIPE, 1), last 801 $self->_error (&Errno::EPIPE, 1), return
763 if $self->{_eof}; 802 if $self->{_eof};
764 803
765 last; # more data might arrive 804 last; # more data might arrive
766 } 805 }
767 } else { 806 } else {
1348 # basically, this is deep magic (because SSL_read should have the same issues) 1387 # basically, this is deep magic (because SSL_read should have the same issues)
1349 # but the openssl maintainers basically said: "trust us, it just works". 1388 # but the openssl maintainers basically said: "trust us, it just works".
1350 # (unfortunately, we have to hardcode constants because the abysmally misdesigned 1389 # (unfortunately, we have to hardcode constants because the abysmally misdesigned
1351 # and mismaintained ssleay-module doesn't even offer them). 1390 # and mismaintained ssleay-module doesn't even offer them).
1352 # http://www.mail-archive.com/openssl-dev@openssl.org/msg22420.html 1391 # http://www.mail-archive.com/openssl-dev@openssl.org/msg22420.html
1392 #
1393 # in short: this is a mess.
1394 #
1395 # note that we do not try to kepe the length constant between writes as we are required to do.
1396 # we assume that most (but not all) of this insanity only applies to non-blocking cases,
1397 # and we drive openssl fully in blocking mode here.
1353 Net::SSLeay::CTX_set_mode ($self->{tls}, 1398 Net::SSLeay::CTX_set_mode ($self->{tls},
1354 (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ENABLE_PARTIAL_WRITE () } || 1) 1399 (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ENABLE_PARTIAL_WRITE () } || 1)
1355 | (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ACCEPT_MOVING_WRITE_BUFFER () } || 2)); 1400 | (eval { local $SIG{__DIE__}; Net::SSLeay::MODE_ACCEPT_MOVING_WRITE_BUFFER () } || 2));
1356 1401
1357 $self->{_rbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ()); 1402 $self->{_rbio} = Net::SSLeay::BIO_new (Net::SSLeay::BIO_s_mem ());

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines