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.191 by root, Thu May 19 23:57:12 2011 UTC vs.
Revision 1.201 by root, Tue Jul 5 09:24:11 2011 UTC

168use common::sense; 168use common::sense;
169 169
170use base 'Exporter'; 170use base 'Exporter';
171 171
172BEGIN { 172BEGIN {
173 our $VERSION = '3.8'; 173 our $VERSION = '3.93';
174 174
175 our @AIO_REQ = qw(aio_sendfile aio_read aio_write aio_open aio_close 175 our @AIO_REQ = qw(aio_sendfile aio_read aio_write aio_open aio_close
176 aio_stat aio_lstat aio_unlink aio_rmdir aio_readdir aio_readdirx 176 aio_stat aio_lstat aio_unlink aio_rmdir aio_readdir aio_readdirx
177 aio_scandir aio_symlink aio_readlink aio_sync aio_fsync 177 aio_scandir aio_symlink aio_readlink aio_realpath aio_sync aio_fsync
178 aio_fdatasync aio_sync_file_range aio_pathsync aio_readahead 178 aio_fdatasync aio_sync_file_range aio_pathsync aio_readahead
179 aio_rename aio_link aio_move aio_copy aio_group 179 aio_rename aio_link aio_move aio_copy aio_group
180 aio_nop aio_mknod aio_load aio_rmtree aio_mkdir aio_chown 180 aio_nop aio_mknod aio_load aio_rmtree aio_mkdir aio_chown
181 aio_chmod aio_utime aio_truncate 181 aio_chmod aio_utime aio_truncate
182 aio_msync aio_mtouch aio_mlock aio_mlockall 182 aio_msync aio_mtouch aio_mlock aio_mlockall
222 aio_unlink $pathname, $callback->($status) 222 aio_unlink $pathname, $callback->($status)
223 aio_mknod $path, $mode, $dev, $callback->($status) 223 aio_mknod $path, $mode, $dev, $callback->($status)
224 aio_link $srcpath, $dstpath, $callback->($status) 224 aio_link $srcpath, $dstpath, $callback->($status)
225 aio_symlink $srcpath, $dstpath, $callback->($status) 225 aio_symlink $srcpath, $dstpath, $callback->($status)
226 aio_readlink $path, $callback->($link) 226 aio_readlink $path, $callback->($link)
227 aio_realpath $path, $callback->($link)
227 aio_rename $srcpath, $dstpath, $callback->($status) 228 aio_rename $srcpath, $dstpath, $callback->($status)
228 aio_mkdir $pathname, $mode, $callback->($status) 229 aio_mkdir $pathname, $mode, $callback->($status)
229 aio_rmdir $pathname, $callback->($status) 230 aio_rmdir $pathname, $callback->($status)
230 aio_readdir $pathname, $callback->($entries) 231 aio_readdir $pathname, $callback->($entries)
231 aio_readdirx $pathname, $flags, $callback->($entries, $flags) 232 aio_readdirx $pathname, $flags, $callback->($entries, $flags)
368 } else { 369 } else {
369 die "open failed: $!\n"; 370 die "open failed: $!\n";
370 } 371 }
371 }; 372 };
372 373
374In addition to all the common open modes/flags (C<O_RDONLY>, C<O_WRONLY>,
375C<O_RDWR>, C<O_CREAT>, C<O_TRUNC>, C<O_EXCL> and C<O_APPEND>), the
376following POSIX and non-POSIX constants are available (missing ones on
377your system are, as usual, C<0>):
378
379C<O_ASYNC>, C<O_DIRECT>, C<O_NOATIME>, C<O_CLOEXEC>, C<O_NOCTTY>, C<O_NOFOLLOW>,
380C<O_NONBLOCK>, C<O_EXEC>, C<O_SEARCH>, C<O_DIRECTORY>, C<O_DSYNC>,
381C<O_RSYNC>, C<O_SYNC> and C<O_TTY_INIT>.
382
373 383
374=item aio_close $fh, $callback->($status) 384=item aio_close $fh, $callback->($status)
375 385
376Asynchronously close a file and call the callback with the result 386Asynchronously close a file and call the callback with the result
377code. 387code.
427 437
428Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts 438Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts
429reading at byte offset C<$in_offset>, and starts writing at the current 439reading at byte offset C<$in_offset>, and starts writing at the current
430file offset of C<$out_fh>. Because of that, it is not safe to issue more 440file offset of C<$out_fh>. Because of that, it is not safe to issue more
431than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each 441than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each
432other. 442other. The same C<$in_fh> works fine though, as this function does not
443move or use the file offset of C<$in_fh>.
433 444
434Please note that C<aio_sendfile> can read more bytes from C<$in_fh> than 445Please note that C<aio_sendfile> can read more bytes from C<$in_fh> than
435are written, and there is no way to find out how many bytes have been read 446are written, and there is no way to find out how many more bytes have been
436from C<aio_sendfile> alone, as C<aio_sendfile> only provides the number of 447read from C<aio_sendfile> alone, as C<aio_sendfile> only provides the
437bytes written to C<$out_fh>. Only if the result value equals C<$length> 448number of bytes written to C<$out_fh>. Only if the result value equals
438one can assume that C<$length> bytes have been read. 449C<$length> one can assume that C<$length> bytes have been read.
439 450
440Unlike with other C<aio_> functions, it makes a lot of sense to use 451Unlike with other C<aio_> functions, it makes a lot of sense to use
441C<aio_sendfile> on non-blocking sockets, as long as one end (typically 452C<aio_sendfile> on non-blocking sockets, as long as one end (typically
442the C<$in_fh>) is a file - the file I/O will then be asynchronous, while 453the C<$in_fh>) is a file - the file I/O will then be asynchronous, while
443the socket I/O will be non-blocking. Note, however, that you can run into 454the socket I/O will be non-blocking. Note, however, that you can run
444a trap where C<aio_sendfile> reads some data with readahead, then fails 455into a trap where C<aio_sendfile> reads some data with readahead, then
445to write all data, and when the socket is ready the next time, the data 456fails to write all data, and when the socket is ready the next time, the
446in the cache is already lost, forcing C<aio_sendfile> to again hit the 457data in the cache is already lost, forcing C<aio_sendfile> to again hit
447disk. Explicit C<aio_read> + C<aio_write> let's you control resource usage 458the disk. Explicit C<aio_read> + C<aio_write> let's you better control
448much better. 459resource usage.
449 460
450This call tries to make use of a native C<sendfile> syscall to provide 461This call tries to make use of a native C<sendfile>-like syscall to
451zero-copy operation. For this to work, C<$out_fh> should refer to a 462provide zero-copy operation. For this to work, C<$out_fh> should refer to
452socket, and C<$in_fh> should refer to an mmap'able file. 463a socket, and C<$in_fh> should refer to an mmap'able file.
453 464
454If a native sendfile cannot be found or it fails with C<ENOSYS>, 465If a native sendfile cannot be found or it fails with C<ENOSYS>,
455C<ENOTSUP>, C<EOPNOTSUPP>, C<EAFNOSUPPORT>, C<EPROTOTYPE> or C<ENOTSOCK>, 466C<EINVAL>, C<ENOTSUP>, C<EOPNOTSUPP>, C<EAFNOSUPPORT>, C<EPROTOTYPE> or
456it will be emulated, so you can call C<aio_sendfile> on any type of 467C<ENOTSOCK>, it will be emulated, so you can call C<aio_sendfile> on any
457filehandle regardless of the limitations of the operating system. 468type of filehandle regardless of the limitations of the operating system.
469
470As native sendfile syscalls (as practically any non-POSIX interface hacked
471together in a hurry to improve benchmark numbers) tend to be rather buggy
472on many systems, this implementation tries to work around some known bugs
473in Linux and FreeBSD kernels (probably others, too), but that might fail,
474so you really really should check the return value of C<aio_sendfile> -
475fewre bytes than expected might have been transferred.
458 476
459 477
460=item aio_readahead $fh,$offset,$length, $callback->($retval) 478=item aio_readahead $fh,$offset,$length, $callback->($retval)
461 479
462C<aio_readahead> populates the page cache with data from a file so that 480C<aio_readahead> populates the page cache with data from a file so that
626Asynchronously read the symlink specified by C<$path> and pass it to 644Asynchronously read the symlink specified by C<$path> and pass it to
627the callback. If an error occurs, nothing or undef gets passed to the 645the callback. If an error occurs, nothing or undef gets passed to the
628callback. 646callback.
629 647
630 648
649=item aio_realpath $path, $callback->($path)
650
651Asynchronously make the path absolute and resolve any symlinks in
652C<$path>. The resulting path only consists of directories.
653
654This request can be used to get the absolute path of the current working
655directory by passing it a path of F<.> (a single dot).
656
657
631=item aio_rename $srcpath, $dstpath, $callback->($status) 658=item aio_rename $srcpath, $dstpath, $callback->($status)
632 659
633Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as 660Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as
634rename(2) and call the callback with the result code. 661rename(2) and call the callback with the result code.
635 662
692systems that do not deliver the inode information. 719systems that do not deliver the inode information.
693 720
694=item IO::AIO::READDIR_DIRS_FIRST 721=item IO::AIO::READDIR_DIRS_FIRST
695 722
696When this flag is set, then the names will be returned in an order where 723When this flag is set, then the names will be returned in an order where
697likely directories come first. This is useful when you need to quickly 724likely directories come first, in optimal stat order. This is useful when
698find directories, or you want to find all directories while avoiding to 725you need to quickly find directories, or you want to find all directories
699stat() each entry. 726while avoiding to stat() each entry.
700 727
701If the system returns type information in readdir, then this is used 728If the system returns type information in readdir, then this is used
702to find directories directly. Otherwise, likely directories are files 729to find directories directly. Otherwise, likely directories are names
703beginning with ".", or otherwise files with no dots, of which files with 730beginning with ".", or otherwise names with no dots, of which names with
704short names are tried first. 731short names are tried first.
705 732
706=item IO::AIO::READDIR_STAT_ORDER 733=item IO::AIO::READDIR_STAT_ORDER
707 734
708When this flag is set, then the names will be returned in an order 735When this flag is set, then the names will be returned in an order
853 if ($_[0] && $! == EXDEV) { 880 if ($_[0] && $! == EXDEV) {
854 aioreq_pri $pri; 881 aioreq_pri $pri;
855 add $grp aio_copy $src, $dst, sub { 882 add $grp aio_copy $src, $dst, sub {
856 $grp->result ($_[0]); 883 $grp->result ($_[0]);
857 884
858 if (!$_[0]) { 885 unless ($_[0]) {
859 aioreq_pri $pri; 886 aioreq_pri $pri;
860 add $grp aio_unlink $src; 887 add $grp aio_unlink $src;
861 } 888 }
862 }; 889 };
863 } else { 890 } else {
1417 1444
1418If not all requests were processed for whatever reason, the filehandle 1445If not all requests were processed for whatever reason, the filehandle
1419will still be ready when C<poll_cb> returns, so normally you don't have to 1446will still be ready when C<poll_cb> returns, so normally you don't have to
1420do anything special to have it called later. 1447do anything special to have it called later.
1421 1448
1449Apart from calling C<IO::AIO::poll_cb> when the event filehandle becomes
1450ready, it can be beneficial to call this function from loops which submit
1451a lot of requests, to make sure the results get processed when they become
1452available and not just when the loop is finished and the event loop takes
1453over again. This function returns very fast when there are no outstanding
1454requests.
1455
1422Example: Install an Event watcher that automatically calls 1456Example: Install an Event watcher that automatically calls
1423IO::AIO::poll_cb with high priority (more examples can be found in the 1457IO::AIO::poll_cb with high priority (more examples can be found in the
1424SYNOPSIS section, at the top of this document): 1458SYNOPSIS section, at the top of this document):
1425 1459
1426 Event->io (fd => IO::AIO::poll_fileno, 1460 Event->io (fd => IO::AIO::poll_fileno,
1548Sets the minimum idle timeout (default 10) after which worker threads are 1582Sets the minimum idle timeout (default 10) after which worker threads are
1549allowed to exit. SEe C<IO::AIO::max_idle>. 1583allowed to exit. SEe C<IO::AIO::max_idle>.
1550 1584
1551=item IO::AIO::max_outstanding $maxreqs 1585=item IO::AIO::max_outstanding $maxreqs
1552 1586
1587Sets the maximum number of outstanding requests to C<$nreqs>. If
1588you do queue up more than this number of requests, the next call to
1589C<IO::AIO::poll_cb> (and other functions calling C<poll_cb>, such as
1590C<IO::AIO::flush> or C<IO::AIO::poll>) will block until the limit is no
1591longer exceeded.
1592
1593In other words, this setting does not enforce a queue limit, but can be
1594used to make poll functions block if the limit is exceeded.
1595
1553This is a very bad function to use in interactive programs because it 1596This is a very bad function to use in interactive programs because it
1554blocks, and a bad way to reduce concurrency because it is inexact: Better 1597blocks, and a bad way to reduce concurrency because it is inexact: Better
1555use an C<aio_group> together with a feed callback. 1598use an C<aio_group> together with a feed callback.
1556 1599
1557Sets the maximum number of outstanding requests to C<$nreqs>. If you 1600It's main use is in scripts without an event loop - when you want to stat
1558do queue up more than this number of requests, the next call to the 1601a lot of files, you can write somehting like this:
1559C<poll_cb> (and C<poll_some> and other functions calling C<poll_cb>)
1560function will block until the limit is no longer exceeded.
1561 1602
1562The default value is very large, so there is no practical limit on the 1603 IO::AIO::max_outstanding 32;
1563number of outstanding requests.
1564 1604
1565You can still queue as many requests as you want. Therefore, 1605 for my $path (...) {
1566C<max_outstanding> is mainly useful in simple scripts (with low values) or 1606 aio_stat $path , ...;
1567as a stop gap to shield against fatal memory overflow (with large values). 1607 IO::AIO::poll_cb;
1608 }
1609
1610 IO::AIO::flush;
1611
1612The call to C<poll_cb> inside the loop will normally return instantly, but
1613as soon as more thna C<32> reqeusts are in-flight, it will block until
1614some requests have been handled. This keeps the loop from pushing a large
1615number of C<aio_stat> requests onto the queue.
1616
1617The default value for C<max_outstanding> is very large, so there is no
1618practical limit on the number of outstanding requests.
1568 1619
1569=back 1620=back
1570 1621
1571=head3 STATISTICAL INFORMATION 1622=head3 STATISTICAL INFORMATION
1572 1623
1748 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno => 1799 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
1749 \&IO::AIO::poll_cb); 1800 \&IO::AIO::poll_cb);
1750 1801
1751=head2 FORK BEHAVIOUR 1802=head2 FORK BEHAVIOUR
1752 1803
1753This module should do "the right thing" when the process using it forks: 1804Usage of pthreads in a program changes the semantics of fork
1805considerably. Specifically, only async-safe functions can be called after
1806fork. Perl doesn't know about this, so in general, you cannot call fork
1807with defined behaviour in perl. IO::AIO uses pthreads, so this applies,
1808but many other extensions and (for inexplicable reasons) perl itself often
1809is linked against pthreads, so this limitation applies.
1754 1810
1755Before the fork, IO::AIO enters a quiescent state where no requests 1811Some operating systems have extensions that allow safe use of fork, and
1756can be added in other threads and no results will be processed. After 1812this module should do "the right thing" on those, and tries on others. At
1757the fork the parent simply leaves the quiescent state and continues 1813the time of this writing (2011) only GNU/Linux supports these extensions
1758request/result processing, while the child frees the request/result queue 1814to POSIX.
1759(so that the requests started before the fork will only be handled in the
1760parent). Threads will be started on demand until the limit set in the
1761parent process has been reached again.
1762
1763In short: the parent will, after a short pause, continue as if fork had
1764not been called, while the child will act as if IO::AIO has not been used
1765yet.
1766 1815
1767=head2 MEMORY USAGE 1816=head2 MEMORY USAGE
1768 1817
1769Per-request usage: 1818Per-request usage:
1770 1819

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines