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.185 by root, Sat Dec 11 19:06:07 2010 UTC vs.
Revision 1.199 by root, Wed Jun 29 12:46:36 2011 UTC

168use common::sense; 168use common::sense;
169 169
170use base 'Exporter'; 170use base 'Exporter';
171 171
172BEGIN { 172BEGIN {
173 our $VERSION = '3.7'; 173 our $VERSION = '3.92';
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_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
182 aio_msync aio_mtouch aio_mlock aio_mlockall 182 aio_msync aio_mtouch aio_mlock aio_mlockall
183 aio_statvfs); 183 aio_statvfs);
184 184
185 our @EXPORT = (@AIO_REQ, qw(aioreq_pri aioreq_nice)); 185 our @EXPORT = (@AIO_REQ, qw(aioreq_pri aioreq_nice));
186 our @EXPORT_OK = qw(poll_fileno poll_cb poll_wait flush 186 our @EXPORT_OK = qw(poll_fileno poll_cb poll_wait flush
187 min_parallel max_parallel max_idle 187 min_parallel max_parallel max_idle idle_timeout
188 nreqs nready npending nthreads 188 nreqs nready npending nthreads
189 max_poll_time max_poll_reqs 189 max_poll_time max_poll_reqs
190 sendfile fadvise madvise 190 sendfile fadvise madvise
191 mmap munmap munlock munlockall); 191 mmap munmap munlock munlockall);
192 192
258 IO::AIO::max_poll_reqs $nreqs 258 IO::AIO::max_poll_reqs $nreqs
259 IO::AIO::max_poll_time $seconds 259 IO::AIO::max_poll_time $seconds
260 IO::AIO::min_parallel $nthreads 260 IO::AIO::min_parallel $nthreads
261 IO::AIO::max_parallel $nthreads 261 IO::AIO::max_parallel $nthreads
262 IO::AIO::max_idle $nthreads 262 IO::AIO::max_idle $nthreads
263 IO::AIO::idle_timeout $seconds
263 IO::AIO::max_outstanding $maxreqs 264 IO::AIO::max_outstanding $maxreqs
264 IO::AIO::nreqs 265 IO::AIO::nreqs
265 IO::AIO::nready 266 IO::AIO::nready
266 IO::AIO::npending 267 IO::AIO::npending
267 268
367 } else { 368 } else {
368 die "open failed: $!\n"; 369 die "open failed: $!\n";
369 } 370 }
370 }; 371 };
371 372
373In addition to all the common open modes/flags (C<O_RDONLY>, C<O_WRONLY>,
374C<O_RDWR>, C<O_CREAT>, C<O_TRUNC>, C<O_EXCL> and C<O_APPEND>), the
375following POSIX and non-POSIX constants are available (missing ones on
376your system are, as usual, C<0>):
377
378C<O_ASYNC>, C<O_DIRECT>, C<O_NOATIME>, C<O_CLOEXEC>, C<O_NOCTTY>, C<O_NOFOLLOW>,
379C<O_NONBLOCK>, C<O_EXEC>, C<O_SEARCH>, C<O_DIRECTORY>, C<O_DSYNC>,
380C<O_RSYNC>, C<O_SYNC> and C<O_TTY_INIT>.
381
372 382
373=item aio_close $fh, $callback->($status) 383=item aio_close $fh, $callback->($status)
374 384
375Asynchronously close a file and call the callback with the result 385Asynchronously close a file and call the callback with the result
376code. 386code.
426 436
427Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts 437Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts
428reading at byte offset C<$in_offset>, and starts writing at the current 438reading at byte offset C<$in_offset>, and starts writing at the current
429file offset of C<$out_fh>. Because of that, it is not safe to issue more 439file offset of C<$out_fh>. Because of that, it is not safe to issue more
430than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each 440than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each
431other. 441other. The same C<$in_fh> works fine though, as this function does not
442move or use the file offset of C<$in_fh>.
432 443
433Please note that C<aio_sendfile> can read more bytes from C<$in_fh> than 444Please note that C<aio_sendfile> can read more bytes from C<$in_fh> than
434are written, and there is no way to find out how many bytes have been read 445are written, and there is no way to find out how many more bytes have been
435from C<aio_sendfile> alone, as C<aio_sendfile> only provides the number of 446read from C<aio_sendfile> alone, as C<aio_sendfile> only provides the
436bytes written to C<$out_fh>. Only if the result value equals C<$length> 447number of bytes written to C<$out_fh>. Only if the result value equals
437one can assume that C<$length> bytes have been read. 448C<$length> one can assume that C<$length> bytes have been read.
438 449
439Unlike with other C<aio_> functions, it makes a lot of sense to use 450Unlike with other C<aio_> functions, it makes a lot of sense to use
440C<aio_sendfile> on non-blocking sockets, as long as one end (typically 451C<aio_sendfile> on non-blocking sockets, as long as one end (typically
441the C<$in_fh>) is a file - the file I/O will then be asynchronous, while 452the C<$in_fh>) is a file - the file I/O will then be asynchronous, while
442the socket I/O will be non-blocking. Note, however, that you can run into 453the socket I/O will be non-blocking. Note, however, that you can run
443a trap where C<aio_sendfile> reads some data with readahead, then fails 454into a trap where C<aio_sendfile> reads some data with readahead, then
444to write all data, and when the socket is ready the next time, the data 455fails to write all data, and when the socket is ready the next time, the
445in the cache is already lost, forcing C<aio_sendfile> to again hit the 456data in the cache is already lost, forcing C<aio_sendfile> to again hit
446disk. Explicit C<aio_read> + C<aio_write> let's you control resource usage 457the disk. Explicit C<aio_read> + C<aio_write> let's you better control
447much better. 458resource usage.
448 459
449This call tries to make use of a native C<sendfile> syscall to provide 460This call tries to make use of a native C<sendfile>-like syscall to
450zero-copy operation. For this to work, C<$out_fh> should refer to a 461provide zero-copy operation. For this to work, C<$out_fh> should refer to
451socket, and C<$in_fh> should refer to an mmap'able file. 462a socket, and C<$in_fh> should refer to an mmap'able file.
452 463
453If a native sendfile cannot be found or it fails with C<ENOSYS>, 464If a native sendfile cannot be found or it fails with C<ENOSYS>,
454C<ENOTSUP>, C<EOPNOTSUPP>, C<EAFNOSUPPORT>, C<EPROTOTYPE> or C<ENOTSOCK>, 465C<EINVAL>, C<ENOTSUP>, C<EOPNOTSUPP>, C<EAFNOSUPPORT>, C<EPROTOTYPE> or
455it will be emulated, so you can call C<aio_sendfile> on any type of 466C<ENOTSOCK>, it will be emulated, so you can call C<aio_sendfile> on any
456filehandle regardless of the limitations of the operating system. 467type of filehandle regardless of the limitations of the operating system.
468
469As native sendfile syscalls (as practically any non-POSIX interface hacked
470together in a hurry to improve benchmark numbers) tend to be rather buggy
471on many systems, this implementation tries to work around some known bugs
472in Linux and FreeBSD kernels (probably others, too), but that might fail,
473so you really really should check the return value of C<aio_sendfile> -
474fewre bytes than expected might have been transferred.
457 475
458 476
459=item aio_readahead $fh,$offset,$length, $callback->($retval) 477=item aio_readahead $fh,$offset,$length, $callback->($retval)
460 478
461C<aio_readahead> populates the page cache with data from a file so that 479C<aio_readahead> populates the page cache with data from a file so that
483for an explanation. 501for an explanation.
484 502
485Currently, the stats are always 64-bit-stats, i.e. instead of returning an 503Currently, the stats are always 64-bit-stats, i.e. instead of returning an
486error when stat'ing a large file, the results will be silently truncated 504error when stat'ing a large file, the results will be silently truncated
487unless perl itself is compiled with large file support. 505unless perl itself is compiled with large file support.
506
507To help interpret the mode and dev/rdev stat values, IO::AIO offers the
508following constants and functions (if not implemented, the constants will
509be C<0> and the functions will either C<croak> or fall back on traditional
510behaviour).
511
512C<S_IFMT>, C<S_IFIFO>, C<S_IFCHR>, C<S_IFBLK>, C<S_IFLNK>, C<S_IFREG>,
513C<S_IFDIR>, C<S_IFWHT>, C<S_IFSOCK>, C<IO::AIO::major $dev_t>,
514C<IO::AIO::minor $dev_t>, C<IO::AIO::makedev $major, $minor>.
488 515
489Example: Print the length of F</etc/passwd>: 516Example: Print the length of F</etc/passwd>:
490 517
491 aio_stat "/etc/passwd", sub { 518 aio_stat "/etc/passwd", sub {
492 $_[0] and die "stat failed: $!"; 519 $_[0] and die "stat failed: $!";
594 621
595The only (POSIX-) portable way of calling this function is: 622The only (POSIX-) portable way of calling this function is:
596 623
597 aio_mknod $path, IO::AIO::S_IFIFO | $mode, 0, sub { ... 624 aio_mknod $path, IO::AIO::S_IFIFO | $mode, 0, sub { ...
598 625
626See C<aio_stat> for info about some potentially helpful extra constants
627and functions.
599 628
600=item aio_link $srcpath, $dstpath, $callback->($status) 629=item aio_link $srcpath, $dstpath, $callback->($status)
601 630
602Asynchronously create a new link to the existing object at C<$srcpath> at 631Asynchronously create a new link to the existing object at C<$srcpath> at
603the path C<$dstpath> and call the callback with the result code. 632the path C<$dstpath> and call the callback with the result code.
656 685
657=over 4 686=over 4
658 687
659=item IO::AIO::READDIR_DENTS 688=item IO::AIO::READDIR_DENTS
660 689
661When this flag is off, then the callback gets an arrayref with of names 690When this flag is off, then the callback gets an arrayref consisting of
662only (as with C<aio_readdir>), otherwise it gets an arrayref with 691names only (as with C<aio_readdir>), otherwise it gets an arrayref with
663C<[$name, $type, $inode]> arrayrefs, each describing a single directory 692C<[$name, $type, $inode]> arrayrefs, each describing a single directory
664entry in more detail. 693entry in more detail.
665 694
666C<$name> is the name of the entry. 695C<$name> is the name of the entry.
667 696
680systems that do not deliver the inode information. 709systems that do not deliver the inode information.
681 710
682=item IO::AIO::READDIR_DIRS_FIRST 711=item IO::AIO::READDIR_DIRS_FIRST
683 712
684When this flag is set, then the names will be returned in an order where 713When this flag is set, then the names will be returned in an order where
685likely directories come first. This is useful when you need to quickly 714likely directories come first, in optimal stat order. This is useful when
686find directories, or you want to find all directories while avoiding to 715you need to quickly find directories, or you want to find all directories
687stat() each entry. 716while avoiding to stat() each entry.
688 717
689If the system returns type information in readdir, then this is used 718If the system returns type information in readdir, then this is used
690to find directories directly. Otherwise, likely directories are files 719to find directories directly. Otherwise, likely directories are names
691beginning with ".", or otherwise files with no dots, of which files with 720beginning with ".", or otherwise names with no dots, of which names with
692short names are tried first. 721short names are tried first.
693 722
694=item IO::AIO::READDIR_STAT_ORDER 723=item IO::AIO::READDIR_STAT_ORDER
695 724
696When this flag is set, then the names will be returned in an order 725When this flag is set, then the names will be returned in an order
841 if ($_[0] && $! == EXDEV) { 870 if ($_[0] && $! == EXDEV) {
842 aioreq_pri $pri; 871 aioreq_pri $pri;
843 add $grp aio_copy $src, $dst, sub { 872 add $grp aio_copy $src, $dst, sub {
844 $grp->result ($_[0]); 873 $grp->result ($_[0]);
845 874
846 if (!$_[0]) { 875 unless ($_[0]) {
847 aioreq_pri $pri; 876 aioreq_pri $pri;
848 add $grp aio_unlink $src; 877 add $grp aio_unlink $src;
849 } 878 }
850 }; 879 };
851 } else { 880 } else {
1394 1423
1395See C<poll_cb> for an example. 1424See C<poll_cb> for an example.
1396 1425
1397=item IO::AIO::poll_cb 1426=item IO::AIO::poll_cb
1398 1427
1399Process some outstanding events on the result pipe. You have to call this 1428Process some outstanding events on the result pipe. You have to call
1400regularly. Returns C<0> if all events could be processed, or C<-1> if it 1429this regularly. Returns C<0> if all events could be processed (or there
1401returned earlier for whatever reason. Returns immediately when no events 1430were no events to process), or C<-1> if it returned earlier for whatever
1402are outstanding. The amount of events processed depends on the settings of 1431reason. Returns immediately when no events are outstanding. The amount of
1403C<IO::AIO::max_poll_req> and C<IO::AIO::max_poll_time>. 1432events processed depends on the settings of C<IO::AIO::max_poll_req> and
1433C<IO::AIO::max_poll_time>.
1404 1434
1405If not all requests were processed for whatever reason, the filehandle 1435If not all requests were processed for whatever reason, the filehandle
1406will still be ready when C<poll_cb> returns, so normally you don't have to 1436will still be ready when C<poll_cb> returns, so normally you don't have to
1407do anything special to have it called later. 1437do anything special to have it called later.
1438
1439Apart from calling C<IO::AIO::poll_cb> when the event filehandle becomes
1440ready, it can be beneficial to call this function from loops which submit
1441a lot of requests, to make sure the results get processed when they become
1442available and not just when the loop is finished and the event loop takes
1443over again. This function returns very fast when there are no outstanding
1444requests.
1408 1445
1409Example: Install an Event watcher that automatically calls 1446Example: Install an Event watcher that automatically calls
1410IO::AIO::poll_cb with high priority (more examples can be found in the 1447IO::AIO::poll_cb with high priority (more examples can be found in the
1411SYNOPSIS section, at the top of this document): 1448SYNOPSIS section, at the top of this document):
1412 1449
1514 1551
1515Under normal circumstances you don't need to call this function. 1552Under normal circumstances you don't need to call this function.
1516 1553
1517=item IO::AIO::max_idle $nthreads 1554=item IO::AIO::max_idle $nthreads
1518 1555
1519Limit the number of threads (default: 4) that are allowed to idle (i.e., 1556Limit the number of threads (default: 4) that are allowed to idle
1520threads that did not get a request to process within 10 seconds). That 1557(i.e., threads that did not get a request to process within the idle
1521means if a thread becomes idle while C<$nthreads> other threads are also 1558timeout (default: 10 seconds). That means if a thread becomes idle while
1522idle, it will free its resources and exit. 1559C<$nthreads> other threads are also idle, it will free its resources and
1560exit.
1523 1561
1524This is useful when you allow a large number of threads (e.g. 100 or 1000) 1562This is useful when you allow a large number of threads (e.g. 100 or 1000)
1525to allow for extremely high load situations, but want to free resources 1563to allow for extremely high load situations, but want to free resources
1526under normal circumstances (1000 threads can easily consume 30MB of RAM). 1564under normal circumstances (1000 threads can easily consume 30MB of RAM).
1527 1565
1528The default is probably ok in most situations, especially if thread 1566The default is probably ok in most situations, especially if thread
1529creation is fast. If thread creation is very slow on your system you might 1567creation is fast. If thread creation is very slow on your system you might
1530want to use larger values. 1568want to use larger values.
1531 1569
1570=item IO::AIO::idle_timeout $seconds
1571
1572Sets the minimum idle timeout (default 10) after which worker threads are
1573allowed to exit. SEe C<IO::AIO::max_idle>.
1574
1532=item IO::AIO::max_outstanding $maxreqs 1575=item IO::AIO::max_outstanding $maxreqs
1576
1577Sets the maximum number of outstanding requests to C<$nreqs>. If
1578you do queue up more than this number of requests, the next call to
1579C<IO::AIO::poll_cb> (and other functions calling C<poll_cb>, such as
1580C<IO::AIO::flush> or C<IO::AIO::poll>) will block until the limit is no
1581longer exceeded.
1582
1583In other words, this setting does not enforce a queue limit, but can be
1584used to make poll functions block if the limit is exceeded.
1533 1585
1534This is a very bad function to use in interactive programs because it 1586This is a very bad function to use in interactive programs because it
1535blocks, and a bad way to reduce concurrency because it is inexact: Better 1587blocks, and a bad way to reduce concurrency because it is inexact: Better
1536use an C<aio_group> together with a feed callback. 1588use an C<aio_group> together with a feed callback.
1537 1589
1538Sets the maximum number of outstanding requests to C<$nreqs>. If you 1590It's main use is in scripts without an event loop - when you want to stat
1539do queue up more than this number of requests, the next call to the 1591a lot of files, you can write somehting like this:
1540C<poll_cb> (and C<poll_some> and other functions calling C<poll_cb>)
1541function will block until the limit is no longer exceeded.
1542 1592
1543The default value is very large, so there is no practical limit on the 1593 IO::AIO::max_outstanding 32;
1544number of outstanding requests.
1545 1594
1546You can still queue as many requests as you want. Therefore, 1595 for my $path (...) {
1547C<max_outstanding> is mainly useful in simple scripts (with low values) or 1596 aio_stat $path , ...;
1548as a stop gap to shield against fatal memory overflow (with large values). 1597 IO::AIO::poll_cb;
1598 }
1599
1600 IO::AIO::flush;
1601
1602The call to C<poll_cb> inside the loop will normally return instantly, but
1603as soon as more thna C<32> reqeusts are in-flight, it will block until
1604some requests have been handled. This keeps the loop from pushing a large
1605number of C<aio_stat> requests onto the queue.
1606
1607The default value for C<max_outstanding> is very large, so there is no
1608practical limit on the number of outstanding requests.
1549 1609
1550=back 1610=back
1551 1611
1552=head3 STATISTICAL INFORMATION 1612=head3 STATISTICAL INFORMATION
1553 1613
1729 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno => 1789 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
1730 \&IO::AIO::poll_cb); 1790 \&IO::AIO::poll_cb);
1731 1791
1732=head2 FORK BEHAVIOUR 1792=head2 FORK BEHAVIOUR
1733 1793
1734This module should do "the right thing" when the process using it forks: 1794Usage of pthreads in a program changes the semantics of fork
1795considerably. Specifically, only async-safe functions can be called after
1796fork. Perl doesn't know about this, so in general, you cannot call fork
1797with defined behaviour in perl. IO::AIO uses pthreads, so this applies,
1798but many other extensions and (for inexplicable reasons) perl itself often
1799is linked against pthreads, so this limitation applies.
1735 1800
1736Before the fork, IO::AIO enters a quiescent state where no requests 1801Some operating systems have extensions that allow safe use of fork, and
1737can be added in other threads and no results will be processed. After 1802this module should do "the right thing" on those, and tries on others. At
1738the fork the parent simply leaves the quiescent state and continues 1803the time of this writing (2011) only GNU/Linux supports these extensions
1739request/result processing, while the child frees the request/result queue 1804to POSIX.
1740(so that the requests started before the fork will only be handled in the
1741parent). Threads will be started on demand until the limit set in the
1742parent process has been reached again.
1743
1744In short: the parent will, after a short pause, continue as if fork had
1745not been called, while the child will act as if IO::AIO has not been used
1746yet.
1747 1805
1748=head2 MEMORY USAGE 1806=head2 MEMORY USAGE
1749 1807
1750Per-request usage: 1808Per-request usage:
1751 1809

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines