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