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.195 by root, Fri May 27 19:56:31 2011 UTC vs.
Revision 1.207 by root, Mon Jul 25 16:50:33 2011 UTC

168use common::sense; 168use common::sense;
169 169
170use base 'Exporter'; 170use base 'Exporter';
171 171
172BEGIN { 172BEGIN {
173 our $VERSION = '3.9'; 173 our $VERSION = '4.0';
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
178 aio_fdatasync aio_sync_file_range aio_pathsync aio_readahead 178 aio_fsync aio_syncfs aio_fdatasync aio_sync_file_range aio_fallocate
179 aio_pathsync aio_readahead
179 aio_rename aio_link aio_move aio_copy aio_group 180 aio_rename aio_link aio_move aio_copy aio_group
180 aio_nop aio_mknod aio_load aio_rmtree aio_mkdir aio_chown 181 aio_nop aio_mknod aio_load aio_rmtree aio_mkdir aio_chown
181 aio_chmod aio_utime aio_truncate 182 aio_chmod aio_utime aio_truncate
182 aio_msync aio_mtouch aio_mlock aio_mlockall 183 aio_msync aio_mtouch aio_mlock aio_mlockall
183 aio_statvfs); 184 aio_statvfs);
222 aio_unlink $pathname, $callback->($status) 223 aio_unlink $pathname, $callback->($status)
223 aio_mknod $path, $mode, $dev, $callback->($status) 224 aio_mknod $path, $mode, $dev, $callback->($status)
224 aio_link $srcpath, $dstpath, $callback->($status) 225 aio_link $srcpath, $dstpath, $callback->($status)
225 aio_symlink $srcpath, $dstpath, $callback->($status) 226 aio_symlink $srcpath, $dstpath, $callback->($status)
226 aio_readlink $path, $callback->($link) 227 aio_readlink $path, $callback->($link)
228 aio_realpath $path, $callback->($link)
227 aio_rename $srcpath, $dstpath, $callback->($status) 229 aio_rename $srcpath, $dstpath, $callback->($status)
228 aio_mkdir $pathname, $mode, $callback->($status) 230 aio_mkdir $pathname, $mode, $callback->($status)
229 aio_rmdir $pathname, $callback->($status) 231 aio_rmdir $pathname, $callback->($status)
230 aio_readdir $pathname, $callback->($entries) 232 aio_readdir $pathname, $callback->($entries)
231 aio_readdirx $pathname, $flags, $callback->($entries, $flags) 233 aio_readdirx $pathname, $flags, $callback->($entries, $flags)
235 aio_copy $srcpath, $dstpath, $callback->($status) 237 aio_copy $srcpath, $dstpath, $callback->($status)
236 aio_move $srcpath, $dstpath, $callback->($status) 238 aio_move $srcpath, $dstpath, $callback->($status)
237 aio_scandir $path, $maxreq, $callback->($dirs, $nondirs) 239 aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
238 aio_rmtree $path, $callback->($status) 240 aio_rmtree $path, $callback->($status)
239 aio_sync $callback->($status) 241 aio_sync $callback->($status)
242 aio_syncfs $fh, $callback->($status)
240 aio_fsync $fh, $callback->($status) 243 aio_fsync $fh, $callback->($status)
241 aio_fdatasync $fh, $callback->($status) 244 aio_fdatasync $fh, $callback->($status)
242 aio_sync_file_range $fh, $offset, $nbytes, $flags, $callback->($status) 245 aio_sync_file_range $fh, $offset, $nbytes, $flags, $callback->($status)
243 aio_pathsync $path, $callback->($status) 246 aio_pathsync $path, $callback->($status)
244 aio_msync $scalar, $offset = 0, $length = undef, flags = 0, $callback->($status) 247 aio_msync $scalar, $offset = 0, $length = undef, flags = 0, $callback->($status)
436 439
437Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts 440Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts
438reading at byte offset C<$in_offset>, and starts writing at the current 441reading at byte offset C<$in_offset>, and starts writing at the current
439file offset of C<$out_fh>. Because of that, it is not safe to issue more 442file offset of C<$out_fh>. Because of that, it is not safe to issue more
440than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each 443than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each
441other. 444other. The same C<$in_fh> works fine though, as this function does not
445move or use the file offset of C<$in_fh>.
442 446
443Please note that C<aio_sendfile> can read more bytes from C<$in_fh> than 447Please note that C<aio_sendfile> can read more bytes from C<$in_fh> than
444are written, and there is no way to find out how many bytes have been read 448are written, and there is no way to find out how many more bytes have been
445from C<aio_sendfile> alone, as C<aio_sendfile> only provides the number of 449read from C<aio_sendfile> alone, as C<aio_sendfile> only provides the
446bytes written to C<$out_fh>. Only if the result value equals C<$length> 450number of bytes written to C<$out_fh>. Only if the result value equals
447one can assume that C<$length> bytes have been read. 451C<$length> one can assume that C<$length> bytes have been read.
448 452
449Unlike with other C<aio_> functions, it makes a lot of sense to use 453Unlike with other C<aio_> functions, it makes a lot of sense to use
450C<aio_sendfile> on non-blocking sockets, as long as one end (typically 454C<aio_sendfile> on non-blocking sockets, as long as one end (typically
451the C<$in_fh>) is a file - the file I/O will then be asynchronous, while 455the C<$in_fh>) is a file - the file I/O will then be asynchronous, while
452the socket I/O will be non-blocking. Note, however, that you can run into 456the socket I/O will be non-blocking. Note, however, that you can run
453a trap where C<aio_sendfile> reads some data with readahead, then fails 457into a trap where C<aio_sendfile> reads some data with readahead, then
454to write all data, and when the socket is ready the next time, the data 458fails to write all data, and when the socket is ready the next time, the
455in the cache is already lost, forcing C<aio_sendfile> to again hit the 459data in the cache is already lost, forcing C<aio_sendfile> to again hit
456disk. Explicit C<aio_read> + C<aio_write> let's you control resource usage 460the disk. Explicit C<aio_read> + C<aio_write> let's you better control
457much better. 461resource usage.
458 462
459This call tries to make use of a native C<sendfile> syscall to provide 463This call tries to make use of a native C<sendfile>-like syscall to
460zero-copy operation. For this to work, C<$out_fh> should refer to a 464provide zero-copy operation. For this to work, C<$out_fh> should refer to
461socket, and C<$in_fh> should refer to an mmap'able file. 465a socket, and C<$in_fh> should refer to an mmap'able file.
462 466
463If a native sendfile cannot be found or it fails with C<ENOSYS>, 467If a native sendfile cannot be found or it fails with C<ENOSYS>,
464C<ENOTSUP>, C<EOPNOTSUPP>, C<EAFNOSUPPORT>, C<EPROTOTYPE> or C<ENOTSOCK>, 468C<EINVAL>, C<ENOTSUP>, C<EOPNOTSUPP>, C<EAFNOSUPPORT>, C<EPROTOTYPE> or
465it will be emulated, so you can call C<aio_sendfile> on any type of 469C<ENOTSOCK>, it will be emulated, so you can call C<aio_sendfile> on any
466filehandle regardless of the limitations of the operating system. 470type of filehandle regardless of the limitations of the operating system.
471
472As native sendfile syscalls (as practically any non-POSIX interface hacked
473together in a hurry to improve benchmark numbers) tend to be rather buggy
474on many systems, this implementation tries to work around some known bugs
475in Linux and FreeBSD kernels (probably others, too), but that might fail,
476so you really really should check the return value of C<aio_sendfile> -
477fewre bytes than expected might have been transferred.
467 478
468 479
469=item aio_readahead $fh,$offset,$length, $callback->($retval) 480=item aio_readahead $fh,$offset,$length, $callback->($retval)
470 481
471C<aio_readahead> populates the page cache with data from a file so that 482C<aio_readahead> populates the page cache with data from a file so that
635Asynchronously read the symlink specified by C<$path> and pass it to 646Asynchronously read the symlink specified by C<$path> and pass it to
636the callback. If an error occurs, nothing or undef gets passed to the 647the callback. If an error occurs, nothing or undef gets passed to the
637callback. 648callback.
638 649
639 650
651=item aio_realpath $path, $callback->($path)
652
653Asynchronously make the path absolute and resolve any symlinks in
654C<$path>. The resulting path only consists of directories (Same as
655L<Cwd::realpath>).
656
657This request can be used to get the absolute path of the current working
658directory by passing it a path of F<.> (a single dot).
659
660
640=item aio_rename $srcpath, $dstpath, $callback->($status) 661=item aio_rename $srcpath, $dstpath, $callback->($status)
641 662
642Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as 663Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as
643rename(2) and call the callback with the result code. 664rename(2) and call the callback with the result code.
644 665
666array-ref with the filenames. 687array-ref with the filenames.
667 688
668 689
669=item aio_readdirx $pathname, $flags, $callback->($entries, $flags) 690=item aio_readdirx $pathname, $flags, $callback->($entries, $flags)
670 691
671Quite similar to C<aio_readdir>, but the C<$flags> argument allows to tune 692Quite similar to C<aio_readdir>, but the C<$flags> argument allows one to
672behaviour and output format. In case of an error, C<$entries> will be 693tune behaviour and output format. In case of an error, C<$entries> will be
673C<undef>. 694C<undef>.
674 695
675The flags are a combination of the following constants, ORed together (the 696The flags are a combination of the following constants, ORed together (the
676flags will also be passed to the callback, possibly modified): 697flags will also be passed to the callback, possibly modified):
677 698
724 745
725=item IO::AIO::READDIR_FOUND_UNKNOWN 746=item IO::AIO::READDIR_FOUND_UNKNOWN
726 747
727This flag should not be set when calling C<aio_readdirx>. Instead, it 748This flag should not be set when calling C<aio_readdirx>. Instead, it
728is being set by C<aio_readdirx>, when any of the C<$type>'s found were 749is being set by C<aio_readdirx>, when any of the C<$type>'s found were
729C<IO::AIO::DT_UNKNOWN>. The absense of this flag therefore indicates that all 750C<IO::AIO::DT_UNKNOWN>. The absence of this flag therefore indicates that all
730C<$type>'s are known, which can be used to speed up some algorithms. 751C<$type>'s are known, which can be used to speed up some algorithms.
731 752
732=back 753=back
733 754
734 755
862 if ($_[0] && $! == EXDEV) { 883 if ($_[0] && $! == EXDEV) {
863 aioreq_pri $pri; 884 aioreq_pri $pri;
864 add $grp aio_copy $src, $dst, sub { 885 add $grp aio_copy $src, $dst, sub {
865 $grp->result ($_[0]); 886 $grp->result ($_[0]);
866 887
867 if (!$_[0]) { 888 unless ($_[0]) {
868 aioreq_pri $pri; 889 aioreq_pri $pri;
869 add $grp aio_unlink $src; 890 add $grp aio_unlink $src;
870 } 891 }
871 }; 892 };
872 } else { 893 } else {
916Then entries will be sorted into likely directories a non-initial dot 937Then entries will be sorted into likely directories a non-initial dot
917currently) and likely non-directories (see C<aio_readdirx>). Then every 938currently) and likely non-directories (see C<aio_readdirx>). Then every
918entry plus an appended C</.> will be C<stat>'ed, likely directories first, 939entry plus an appended C</.> will be C<stat>'ed, likely directories first,
919in order of their inode numbers. If that succeeds, it assumes that the 940in order of their inode numbers. If that succeeds, it assumes that the
920entry is a directory or a symlink to directory (which will be checked 941entry is a directory or a symlink to directory (which will be checked
921seperately). This is often faster than stat'ing the entry itself because 942separately). This is often faster than stat'ing the entry itself because
922filesystems might detect the type of the entry without reading the inode 943filesystems might detect the type of the entry without reading the inode
923data (e.g. ext2fs filetype feature), even on systems that cannot return 944data (e.g. ext2fs filetype feature), even on systems that cannot return
924the filetype information on readdir. 945the filetype information on readdir.
925 946
926If the known number of directories (link count - 2) has been reached, the 947If the known number of directories (link count - 2) has been reached, the
1064callback with the fdatasync result code. 1085callback with the fdatasync result code.
1065 1086
1066If this call isn't available because your OS lacks it or it couldn't be 1087If this call isn't available because your OS lacks it or it couldn't be
1067detected, it will be emulated by calling C<fsync> instead. 1088detected, it will be emulated by calling C<fsync> instead.
1068 1089
1090=item aio_syncfs $fh, $callback->($status)
1091
1092Asynchronously call the syncfs syscall to sync the filesystem associated
1093to the given filehandle and call the callback with the syncfs result
1094code. If syncfs is not available, calls sync(), but returns C<-1> and sets
1095errno to C<ENOSYS> nevertheless.
1096
1069=item aio_sync_file_range $fh, $offset, $nbytes, $flags, $callback->($status) 1097=item aio_sync_file_range $fh, $offset, $nbytes, $flags, $callback->($status)
1070 1098
1071Sync the data portion of the file specified by C<$offset> and C<$length> 1099Sync the data portion of the file specified by C<$offset> and C<$length>
1072to disk (but NOT the metadata), by calling the Linux-specific 1100to disk (but NOT the metadata), by calling the Linux-specific
1073sync_file_range call. If sync_file_range is not available or it returns 1101sync_file_range call. If sync_file_range is not available or it returns
1645 1673
1646=item IO::AIO::fadvise $fh, $offset, $len, $advice 1674=item IO::AIO::fadvise $fh, $offset, $len, $advice
1647 1675
1648Simply calls the C<posix_fadvise> function (see its 1676Simply calls the C<posix_fadvise> function (see its
1649manpage for details). The following advice constants are 1677manpage for details). The following advice constants are
1650avaiable: C<IO::AIO::FADV_NORMAL>, C<IO::AIO::FADV_SEQUENTIAL>, 1678available: C<IO::AIO::FADV_NORMAL>, C<IO::AIO::FADV_SEQUENTIAL>,
1651C<IO::AIO::FADV_RANDOM>, C<IO::AIO::FADV_NOREUSE>, 1679C<IO::AIO::FADV_RANDOM>, C<IO::AIO::FADV_NOREUSE>,
1652C<IO::AIO::FADV_WILLNEED>, C<IO::AIO::FADV_DONTNEED>. 1680C<IO::AIO::FADV_WILLNEED>, C<IO::AIO::FADV_DONTNEED>.
1653 1681
1654On systems that do not implement C<posix_fadvise>, this function returns 1682On systems that do not implement C<posix_fadvise>, this function returns
1655ENOSYS, otherwise the return value of C<posix_fadvise>. 1683ENOSYS, otherwise the return value of C<posix_fadvise>.
1656 1684
1657=item IO::AIO::madvise $scalar, $offset, $len, $advice 1685=item IO::AIO::madvise $scalar, $offset, $len, $advice
1658 1686
1659Simply calls the C<posix_madvise> function (see its 1687Simply calls the C<posix_madvise> function (see its
1660manpage for details). The following advice constants are 1688manpage for details). The following advice constants are
1661avaiable: C<IO::AIO::MADV_NORMAL>, C<IO::AIO::MADV_SEQUENTIAL>, 1689available: C<IO::AIO::MADV_NORMAL>, C<IO::AIO::MADV_SEQUENTIAL>,
1662C<IO::AIO::MADV_RANDOM>, C<IO::AIO::MADV_WILLNEED>, C<IO::AIO::MADV_DONTNEED>. 1690C<IO::AIO::MADV_RANDOM>, C<IO::AIO::MADV_WILLNEED>, C<IO::AIO::MADV_DONTNEED>.
1663 1691
1664On systems that do not implement C<posix_madvise>, this function returns 1692On systems that do not implement C<posix_madvise>, this function returns
1665ENOSYS, otherwise the return value of C<posix_madvise>. 1693ENOSYS, otherwise the return value of C<posix_madvise>.
1666 1694
1667=item IO::AIO::mprotect $scalar, $offset, $len, $protect 1695=item IO::AIO::mprotect $scalar, $offset, $len, $protect
1668 1696
1669Simply calls the C<mprotect> function on the preferably AIO::mmap'ed 1697Simply calls the C<mprotect> function on the preferably AIO::mmap'ed
1670$scalar (see its manpage for details). The following protect 1698$scalar (see its manpage for details). The following protect
1671constants are avaiable: C<IO::AIO::PROT_NONE>, C<IO::AIO::PROT_READ>, 1699constants are available: C<IO::AIO::PROT_NONE>, C<IO::AIO::PROT_READ>,
1672C<IO::AIO::PROT_WRITE>, C<IO::AIO::PROT_EXEC>. 1700C<IO::AIO::PROT_WRITE>, C<IO::AIO::PROT_EXEC>.
1673 1701
1674On systems that do not implement C<mprotect>, this function returns 1702On systems that do not implement C<mprotect>, this function returns
1675ENOSYS, otherwise the return value of C<mprotect>. 1703ENOSYS, otherwise the return value of C<mprotect>.
1676 1704
1781 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno => 1809 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
1782 \&IO::AIO::poll_cb); 1810 \&IO::AIO::poll_cb);
1783 1811
1784=head2 FORK BEHAVIOUR 1812=head2 FORK BEHAVIOUR
1785 1813
1786This module should do "the right thing" when the process using it forks: 1814Usage of pthreads in a program changes the semantics of fork
1815considerably. Specifically, only async-safe functions can be called after
1816fork. Perl doesn't know about this, so in general, you cannot call fork
1817with defined behaviour in perl if pthreads are involved. IO::AIO uses
1818pthreads, so this applies, but many other extensions and (for inexplicable
1819reasons) perl itself often is linked against pthreads, so this limitation
1820applies to quite a lot of perls.
1787 1821
1788Before the fork, IO::AIO enters a quiescent state where no requests 1822This module no longer tries to fight your OS, or POSIX. That means IO::AIO
1789can be added in other threads and no results will be processed. After 1823only works in the process that loaded it. Forking is fully supported, but
1790the fork the parent simply leaves the quiescent state and continues 1824using IO::AIO in the child is not.
1791request/result processing, while the child frees the request/result queue
1792(so that the requests started before the fork will only be handled in the
1793parent). Threads will be started on demand until the limit set in the
1794parent process has been reached again.
1795 1825
1796In short: the parent will, after a short pause, continue as if fork had 1826You might get around by not I<using> IO::AIO before (or after)
1797not been called, while the child will act as if IO::AIO has not been used 1827forking. You could also try to call the L<IO::AIO::reinit> function in the
1798yet. 1828child:
1829
1830=over 4
1831
1832=item IO::AIO::reinit
1833
1834Abandons all current requests and I/O threads and simply reinitialises all
1835data structures. This is not an operation supported by any standards, but
1836happens to work on GNU/Linux and some newer BSD systems.
1837
1838The only reasonable use for this function is to call it after forking, if
1839C<IO::AIO> was used in the parent. Calling it while IO::AIO is active in
1840the process will result in undefined behaviour. Calling it at any time
1841will also result in any undefined (by POSIX) behaviour.
1842
1843=back
1799 1844
1800=head2 MEMORY USAGE 1845=head2 MEMORY USAGE
1801 1846
1802Per-request usage: 1847Per-request usage:
1803 1848

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines