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.42 by root, Mon Dec 26 18:15:23 2005 UTC

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

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines