ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/IO-AIO/AIO.pm
(Generate patch)

Comparing IO-AIO/AIO.pm (file contents):
Revision 1.26 by root, Sun Aug 7 03:34:07 2005 UTC vs.
Revision 1.40 by root, Tue Aug 30 15:45:10 2005 UTC

63use base 'Exporter'; 63use base 'Exporter';
64 64
65use Fcntl (); 65use Fcntl ();
66 66
67BEGIN { 67BEGIN {
68 $VERSION = 1.1; 68 $VERSION = 1.6;
69 69
70 @EXPORT = qw(aio_read aio_write aio_open aio_close aio_stat aio_lstat aio_unlink 70 @EXPORT = qw(aio_sendfile aio_read aio_write aio_open aio_close aio_stat
71 aio_lstat aio_unlink aio_rmdir aio_readdir aio_scandir aio_symlink
71 aio_fsync aio_fdatasync aio_readahead); 72 aio_fsync aio_fdatasync aio_readahead);
72 @EXPORT_OK = qw(poll_fileno poll_cb min_parallel max_parallel max_outstanding nreqs); 73 @EXPORT_OK = qw(poll_fileno poll_cb min_parallel max_parallel
74 max_outstanding nreqs);
73 75
74 require XSLoader; 76 require XSLoader;
75 XSLoader::load IO::AIO, $VERSION; 77 XSLoader::load IO::AIO, $VERSION;
76} 78}
77 79
88syscall has been executed asynchronously. 90syscall has been executed asynchronously.
89 91
90All functions expecting a filehandle keep a copy of the filehandle 92All functions expecting a filehandle keep a copy of the filehandle
91internally until the request has finished. 93internally until the request has finished.
92 94
93The filenames you pass to these routines I<must> be absolute. The reason 95The pathnames you pass to these routines I<must> be absolute and
94for this is that at the time the request is being executed, the current 96encoded in byte form. The reason for the former is that at the time the
95working directory could have changed. Alternatively, you can make sure 97request is being executed, the current working directory could have
96that you never change the current working directory. 98changed. Alternatively, you can make sure that you never change the
99current working directory.
100
101To encode pathnames to byte form, either make sure you either: a)
102always pass in filenames you got from outside (command line, readdir
103etc.), b) are ASCII or ISO 8859-1, c) use the Encode module and encode
104your pathnames to the locale (or other) encoding in effect in the user
105environment, d) use Glib::filename_from_unicode on unicode filenames or e)
106use something else.
97 107
98=over 4 108=over 4
99 109
100=item aio_open $pathname, $flags, $mode, $callback 110=item aio_open $pathname, $flags, $mode, $callback->($fh)
101 111
102Asynchronously open or create a file and call the callback with a newly 112Asynchronously open or create a file and call the callback with a newly
103created filehandle for the file. 113created filehandle for the file.
104 114
105The pathname passed to C<aio_open> must be absolute. See API NOTES, above, 115The pathname passed to C<aio_open> must be absolute. See API NOTES, above,
122 } else { 132 } else {
123 die "open failed: $!\n"; 133 die "open failed: $!\n";
124 } 134 }
125 }; 135 };
126 136
127=item aio_close $fh, $callback 137=item aio_close $fh, $callback->($status)
128 138
129Asynchronously close a file and call the callback with the result 139Asynchronously close a file and call the callback with the result
130code. I<WARNING:> although accepted, you should not pass in a perl 140code. I<WARNING:> although accepted, you should not pass in a perl
131filehandle here, as perl will likely close the file descriptor another 141filehandle here, as perl will likely close the file descriptor another
132time when the filehandle is destroyed. Normally, you can safely call perls 142time when the filehandle is destroyed. Normally, you can safely call perls
133C<close> or just let filehandles go out of scope. 143C<close> or just let filehandles go out of scope.
134 144
135This is supposed to be a bug in the API, so that might change. It's 145This is supposed to be a bug in the API, so that might change. It's
136therefore best to avoid this function. 146therefore best to avoid this function.
137 147
138=item aio_read $fh,$offset,$length, $data,$dataoffset,$callback 148=item aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
139 149
140=item aio_write $fh,$offset,$length, $data,$dataoffset,$callback 150=item aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
141 151
142Reads or writes C<length> bytes from the specified C<fh> and C<offset> 152Reads or writes C<length> bytes from the specified C<fh> and C<offset>
143into the scalar given by C<data> and offset C<dataoffset> and calls the 153into the scalar given by C<data> and offset C<dataoffset> and calls the
144callback without the actual number of bytes read (or -1 on error, just 154callback without the actual number of bytes read (or -1 on error, just
145like the syscall). 155like the syscall).
146 156
157The C<$data> scalar I<MUST NOT> be modified in any way while the request
158is outstanding. Modifying it can result in segfaults or WW3 (if the
159necessary/optional hardware is installed).
160
147Example: Read 15 bytes at offset 7 into scalar C<$buffer>, starting at 161Example: Read 15 bytes at offset 7 into scalar C<$buffer>, starting at
148offset C<0> within the scalar: 162offset C<0> within the scalar:
149 163
150 aio_read $fh, 7, 15, $buffer, 0, sub { 164 aio_read $fh, 7, 15, $buffer, 0, sub {
151 $_[0] > 0 or die "read error: $!"; 165 $_[0] > 0 or die "read error: $!";
152 print "read $_[0] bytes: <$buffer>\n"; 166 print "read $_[0] bytes: <$buffer>\n";
153 }; 167 };
154 168
169=item aio_sendfile $out_fh, $in_fh, $in_offset, $length, $callback->($retval)
170
171Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts
172reading at byte offset C<$in_offset>, and starts writing at the current
173file offset of C<$out_fh>. Because of that, it is not safe to issue more
174than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each
175other.
176
177This call tries to make use of a native C<sendfile> syscall to provide
178zero-copy operation. For this to work, C<$out_fh> should refer to a
179socket, and C<$in_fh> should refer to mmap'able file.
180
181If the native sendfile call fails or is not implemented, it will be
182emulated, so you can call C<aio_sendfile> on any type of filehandle
183regardless of the limitations of the operating system.
184
185Please note, however, that C<aio_sendfile> can read more bytes from
186C<$in_fh> than are written, and there is no way to find out how many
187bytes have been read from C<aio_sendfile> alone, as C<aio_sendfile> only
188provides the number of bytes written to C<$out_fh>. Only if the result
189value equals C<$length> one can assume that C<$length> bytes have been
190read.
191
155=item aio_readahead $fh,$offset,$length, $callback 192=item aio_readahead $fh,$offset,$length, $callback->($retval)
156 193
157C<aio_readahead> populates the page cache with data from a file so that 194C<aio_readahead> populates the page cache with data from a file so that
158subsequent reads from that file will not block on disk I/O. The C<$offset> 195subsequent reads from that file will not block on disk I/O. The C<$offset>
159argument specifies the starting point from which data is to be read and 196argument specifies the starting point from which data is to be read and
160C<$length> specifies the number of bytes to be read. I/O is performed in 197C<$length> specifies the number of bytes to be read. I/O is performed in
164file. The current file offset of the file is left unchanged. 201file. The current file offset of the file is left unchanged.
165 202
166If that syscall doesn't exist (likely if your OS isn't Linux) it will be 203If that syscall doesn't exist (likely if your OS isn't Linux) it will be
167emulated by simply reading the data, which would have a similar effect. 204emulated by simply reading the data, which would have a similar effect.
168 205
169=item aio_stat $fh_or_path, $callback 206=item aio_stat $fh_or_path, $callback->($status)
170 207
171=item aio_lstat $fh, $callback 208=item aio_lstat $fh, $callback->($status)
172 209
173Works like perl's C<stat> or C<lstat> in void context. The callback will 210Works like perl's C<stat> or C<lstat> in void context. The callback will
174be called after the stat and the results will be available using C<stat _> 211be called after the stat and the results will be available using C<stat _>
175or C<-s _> etc... 212or C<-s _> etc...
176 213
186 aio_stat "/etc/passwd", sub { 223 aio_stat "/etc/passwd", sub {
187 $_[0] and die "stat failed: $!"; 224 $_[0] and die "stat failed: $!";
188 print "size is ", -s _, "\n"; 225 print "size is ", -s _, "\n";
189 }; 226 };
190 227
191=item aio_unlink $pathname, $callback 228=item aio_unlink $pathname, $callback->($status)
192 229
193Asynchronously unlink (delete) a file and call the callback with the 230Asynchronously unlink (delete) a file and call the callback with the
194result code. 231result code.
195 232
233=item aio_rmdir $pathname, $callback->($status)
234
235Asynchronously rmdir (delete) a directory and call the callback with the
236result code.
237
238=item aio_readdir $pathname $callback->($entries)
239
240Unlike the POSIX call of the same name, C<aio_readdir> reads an entire
241directory (i.e. opendir + readdir + closedir). The entries will not be
242sorted, and will B<NOT> include the C<.> and C<..> entries.
243
244The callback a single argument which is either C<undef> or an array-ref
245with the filenames.
246
247=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
248
249Scans a directory (similar to C<aio_readdir>) and tries to separate the
250entries of directory C<$path> into two sets of names, ones you can recurse
251into (directories), and ones you cannot recurse into (everything else).
252
253C<aio_scandir> is a composite request that consists of many
254aio-primitives. C<$maxreq> specifies the maximum number of outstanding
255aio requests that this function generates. If it is C<< <= 0 >>, then a
256suitable default will be chosen (currently 8).
257
258On error, the callback is called without arguments, otherwise it receives
259two array-refs with path-relative entry names.
260
261Example:
262
263 aio_scandir $dir, 0, sub {
264 my ($dirs, $nondirs) = @_;
265 print "real directories: @$dirs\n";
266 print "everything else: @$nondirs\n";
267 };
268
269Implementation notes.
270
271The C<aio_readdir> cannot be avoided, but C<stat()>'ing every entry can.
272
273After reading the directory, the modification time, size etc. of the
274directory before and after the readdir is checked, and if they match, the
275link count will be used to decide how many entries are directories (if
276>= 2). Otherwise, no knowledge of the number of subdirectories will be
277assumed.
278
279Then entires will be sorted into likely directories (everything without a
280non-initial dot) and likely non-directories (everything else). Then every
281entry + C</.> will be C<stat>'ed, likely directories first. This is often
282faster because filesystems might detect the type of the entry without
283reading the inode data (e.g. ext2s filetype feature). If that succeeds,
284it assumes that the entry is a directory or a symlink to directory (which
285will be checked seperately).
286
287If the known number of directories has been reached, the rest of the
288entries is assumed to be non-directories.
289
290=cut
291
292sub aio_scandir($$$) {
293 my ($path, $maxreq, $cb) = @_;
294
295 $maxreq = 8 if $maxreq <= 0;
296
297 # stat once
298 aio_stat $path, sub {
299 $cb->() if $_[0];
300 my $hash1 = join ":", (stat _)[0,1,3,7,9];
301
302 # read the directory entries
303 aio_readdir $path, sub {
304 my $entries = shift
305 or return $cb->();
306
307 # stat the dir another time
308 aio_stat $path, sub {
309 my $hash2 = join ":", (stat _)[0,1,3,7,9];
310
311 my $ndirs;
312
313 # take the slow route if anything looks fishy
314 if ($hash1 ne $hash2) {
315 $ndirs = -1;
316 } else {
317 # if nlink == 2, we are finished
318 # on non-posix-fs's, we rely on nlink < 2
319 $ndirs = (stat _)[3] - 2
320 or $cb->([], $entries);
321 }
322
323 # sort into likely dirs and likely nondirs
324 # dirs == files without ".", short entries first
325 $entries = [map $_->[0],
326 sort { $b->[1] cmp $a->[1] }
327 map [$_, sprintf "%s%04d", (/.\./ ? "1" : "0"), length],
328 @$entries];
329
330 my (@dirs, @nondirs);
331
332 my ($statcb, $schedcb);
333 my $nreq = 0;
334
335 $schedcb = sub {
336 if (@$entries) {
337 if ($nreq < $maxreq) {
338 my $ent = pop @$entries;
339 $nreq++;
340 aio_stat "$path/$ent/.", sub { $statcb->($_[0], $ent) };
341 }
342 } elsif (!$nreq) {
343 # finished
344 undef $statcb;
345 undef $schedcb;
346 $cb->(\@dirs, \@nondirs);
347 undef $cb;
348 }
349 };
350 $statcb = sub {
351 my ($status, $entry) = @_;
352
353 if ($status < 0) {
354 $nreq--;
355 push @nondirs, $entry;
356 &$schedcb;
357 } else {
358 # need to check for real directory
359 aio_lstat "$path/$entry", sub {
360 $nreq--;
361
362 if (-d _) {
363 push @dirs, $entry;
364
365 if (!--$ndirs) {
366 push @nondirs, @$entries;
367 $entries = [];
368 }
369 } else {
370 push @nondirs, $entry;
371 }
372
373 &$schedcb;
374 }
375 }
376 };
377
378 &$schedcb while @$entries && $nreq < $maxreq;
379 };
380 };
381 };
382}
383
196=item aio_fsync $fh, $callback 384=item aio_fsync $fh, $callback->($status)
197 385
198Asynchronously call fsync on the given filehandle and call the callback 386Asynchronously call fsync on the given filehandle and call the callback
199with the fsync result code. 387with the fsync result code.
200 388
201=item aio_fdatasync $fh, $callback 389=item aio_fdatasync $fh, $callback->($status)
202 390
203Asynchronously call fdatasync on the given filehandle and call the 391Asynchronously call fdatasync on the given filehandle and call the
204callback with the fdatasync result code. 392callback with the fdatasync result code.
205 393
206If this call isn't available because your OS lacks it or it couldn't be 394If this call isn't available because your OS lacks it or it couldn't be
270 IO::AIO::poll_wait, IO::AIO::poll_cb 458 IO::AIO::poll_wait, IO::AIO::poll_cb
271 if IO::AIO::nreqs; 459 if IO::AIO::nreqs;
272 460
273=item IO::AIO::min_parallel $nthreads 461=item IO::AIO::min_parallel $nthreads
274 462
275Set the minimum number of AIO threads to C<$nthreads>. The default is 463Set the minimum number of AIO threads to C<$nthreads>. The current default
276C<1>, which means a single asynchronous operation can be done at one time 464is C<4>, which means four asynchronous operations can be done at one time
277(the number of outstanding operations, however, is unlimited). 465(the number of outstanding operations, however, is unlimited).
466
467IO::AIO starts threads only on demand, when an AIO request is queued and
468no free thread exists.
278 469
279It is recommended to keep the number of threads low, as some Linux 470It is recommended to keep the number of threads low, as some Linux
280kernel versions will scale negatively with the number of threads (higher 471kernel versions will scale negatively with the number of threads (higher
281parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32 472parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32
282threads should be fine. 473threads should be fine.
283 474
284Under normal circumstances you don't need to call this function, as this 475Under most circumstances you don't need to call this function, as the
285module automatically starts some threads (the exact number might change, 476module selects a default that is suitable for low to moderate load.
286and is currently 4).
287 477
288=item IO::AIO::max_parallel $nthreads 478=item IO::AIO::max_parallel $nthreads
289 479
290Sets the maximum number of AIO threads to C<$nthreads>. If more than 480Sets the maximum number of AIO threads to C<$nthreads>. If more than the
291the specified number of threads are currently running, kill them. This 481specified number of threads are currently running, this function kills
292function blocks until the limit is reached. 482them. This function blocks until the limit is reached.
483
484While C<$nthreads> are zero, aio requests get queued but not executed
485until the number of threads has been increased again.
293 486
294This module automatically runs C<max_parallel 0> at program end, to ensure 487This module automatically runs C<max_parallel 0> at program end, to ensure
295that all threads are killed and that there are no outstanding requests. 488that all threads are killed and that there are no outstanding requests.
296 489
297Under normal circumstances you don't need to call this function. 490Under normal circumstances you don't need to call this function.
301Sets the maximum number of outstanding requests to C<$nreqs>. If you 494Sets the maximum number of outstanding requests to C<$nreqs>. If you
302try to queue up more than this number of requests, the caller will block until 495try to queue up more than this number of requests, the caller will block until
303some requests have been handled. 496some requests have been handled.
304 497
305The default is very large, so normally there is no practical limit. If you 498The default is very large, so normally there is no practical limit. If you
306queue up many requests in a loop it it often improves speed if you set 499queue up many requests in a loop it often improves speed if you set
307this to a relatively low number, such as C<100>. 500this to a relatively low number, such as C<100>.
308 501
309Under normal circumstances you don't need to call this function. 502Under normal circumstances you don't need to call this function.
310 503
311=back 504=back
318 511
319 # try to generate nice filehandles 512 # try to generate nice filehandles
320 my $sym = "IO::AIO::fd#$_[0]"; 513 my $sym = "IO::AIO::fd#$_[0]";
321 local *$sym; 514 local *$sym;
322 515
323 open *$sym, "+<&$_[0]" # usually under any unix 516 open *$sym, "+<&=$_[0]" # usually works under any unix
324 or open *$sym, "<&$_[0]" # cygwin needs this 517 or open *$sym, "<&=$_[0]" # cygwin needs this
325 or open *$sym, ">&$_[0]" # cygwin needs this 518 or open *$sym, ">&=$_[0]" # or this
326 or return undef; 519 or return undef;
327 520
328 *$sym 521 *$sym
329} 522}
330 523
334 max_parallel 0; 527 max_parallel 0;
335} 528}
336 529
3371; 5301;
338 531
532=head2 FORK BEHAVIOUR
533
534Before the fork, IO::AIO enters a quiescent state where no requests
535can be added in other threads and no results will be processed. After
536the fork the parent simply leaves the quiescent state and continues
537request/result processing, while the child clears the request/result
538queue (so the requests started before the fork will only be handled in
539the parent). Threats will be started on demand until the limit ste in the
540parent process has been reached again.
541
339=head1 SEE ALSO 542=head1 SEE ALSO
340 543
341L<Coro>, L<Linux::AIO>. 544L<Coro>, L<Linux::AIO>.
342 545
343=head1 AUTHOR 546=head1 AUTHOR

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines