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

Comparing IO-AIO/README (file contents):
Revision 1.32 by root, Thu Oct 2 11:35:03 2008 UTC vs.
Revision 1.39 by root, Wed Aug 5 11:53:16 2009 UTC

28 28
29 # AnyEvent integration (EV, Event, Glib, Tk, POE, urxvt, pureperl...) 29 # AnyEvent integration (EV, Event, Glib, Tk, POE, urxvt, pureperl...)
30 use AnyEvent::AIO; 30 use AnyEvent::AIO;
31 31
32 # EV integration 32 # EV integration
33 my $w = EV::io IO::AIO::poll_fileno, EV::READ, \&IO::AIO::poll_cb; 33 my $aio_w = EV::io IO::AIO::poll_fileno, EV::READ, \&IO::AIO::poll_cb;
34 34
35 # Event integration 35 # Event integration
36 Event->io (fd => IO::AIO::poll_fileno, 36 Event->io (fd => IO::AIO::poll_fileno,
37 poll => 'r', 37 poll => 'r',
38 cb => \&IO::AIO::poll_cb); 38 cb => \&IO::AIO::poll_cb);
49 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno => 49 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
50 \&IO::AIO::poll_cb); 50 \&IO::AIO::poll_cb);
51 51
52DESCRIPTION 52DESCRIPTION
53 This module implements asynchronous I/O using whatever means your 53 This module implements asynchronous I/O using whatever means your
54 operating system supports. 54 operating system supports. It is implemented as an interface to "libeio"
55 (<http://software.schmorp.de/pkg/libeio.html>).
55 56
56 Asynchronous means that operations that can normally block your program 57 Asynchronous means that operations that can normally block your program
57 (e.g. reading from disk) will be done asynchronously: the operation will 58 (e.g. reading from disk) will be done asynchronously: the operation will
58 still block, but you can do something else in the meantime. This is 59 still block, but you can do something else in the meantime. This is
59 extremely useful for programs that need to stay interactive even when 60 extremely useful for programs that need to stay interactive even when
64 operations concurrently. 65 operations concurrently.
65 66
66 While most of this works on all types of file descriptors (for example 67 While most of this works on all types of file descriptors (for example
67 sockets), using these functions on file descriptors that support 68 sockets), using these functions on file descriptors that support
68 nonblocking operation (again, sockets, pipes etc.) is very inefficient. 69 nonblocking operation (again, sockets, pipes etc.) is very inefficient.
69 Use an event loop for that (such as the Event module): IO::AIO will 70 Use an event loop for that (such as the EV module): IO::AIO will
70 naturally fit into such an event loop itself. 71 naturally fit into such an event loop itself.
71 72
72 In this version, a number of threads are started that execute your 73 In this version, a number of threads are started that execute your
73 requests and signal their completion. You don't need thread support in 74 requests and signal their completion. You don't need thread support in
74 perl, and the threads created by this module will not be visible to 75 perl, and the threads created by this module will not be visible to
83 it is currently not reentrant in any way, so use appropriate locking 84 it is currently not reentrant in any way, so use appropriate locking
84 yourself, always call "poll_cb" from within the same thread, or never 85 yourself, always call "poll_cb" from within the same thread, or never
85 call "poll_cb" (or other "aio_" functions) recursively. 86 call "poll_cb" (or other "aio_" functions) recursively.
86 87
87 EXAMPLE 88 EXAMPLE
88 This is a simple example that uses the Event module and loads 89 This is a simple example that uses the EV module and loads /etc/passwd
89 /etc/passwd asynchronously: 90 asynchronously:
90 91
91 use Fcntl; 92 use Fcntl;
92 use Event; 93 use EV;
93 use IO::AIO; 94 use IO::AIO;
94 95
95 # register the IO::AIO callback with Event 96 # register the IO::AIO callback with EV
96 Event->io (fd => IO::AIO::poll_fileno, 97 my $aio_w = EV::io IO::AIO::poll_fileno, EV::READ, \&IO::AIO::poll_cb;
97 poll => 'r',
98 cb => \&IO::AIO::poll_cb);
99 98
100 # queue the request to open /etc/passwd 99 # queue the request to open /etc/passwd
101 aio_open "/etc/passwd", O_RDONLY, 0, sub { 100 aio_open "/etc/passwd", O_RDONLY, 0, sub {
102 my $fh = shift 101 my $fh = shift
103 or die "error while opening: $!"; 102 or die "error while opening: $!";
115 114
116 # file contents now in $contents 115 # file contents now in $contents
117 print $contents; 116 print $contents;
118 117
119 # exit event loop and program 118 # exit event loop and program
120 Event::unloop; 119 EV::unloop;
121 }; 120 };
122 }; 121 };
123 122
124 # possibly queue up other requests, or open GUI windows, 123 # possibly queue up other requests, or open GUI windows,
125 # check for sockets etc. etc. 124 # check for sockets etc. etc.
126 125
127 # process events as long as there are some: 126 # process events as long as there are some:
128 Event::loop; 127 EV::loop;
129 128
130REQUEST ANATOMY AND LIFETIME 129REQUEST ANATOMY AND LIFETIME
131 Every "aio_*" function creates a request. which is a C data structure 130 Every "aio_*" function creates a request. which is a C data structure
132 not directly visible to Perl. 131 not directly visible to Perl.
133 132
275 Or in other words: the file descriptor will be closed, but it will 274 Or in other words: the file descriptor will be closed, but it will
276 not be free for reuse until the perl filehandle is closed. 275 not be free for reuse until the perl filehandle is closed.
277 276
278 aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval) 277 aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
279 aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval) 278 aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
280 Reads or writes $length bytes from the specified $fh and $offset 279 Reads or writes $length bytes from or to the specified $fh and
281 into the scalar given by $data and offset $dataoffset and calls the 280 $offset into the scalar given by $data and offset $dataoffset and
282 callback without the actual number of bytes read (or -1 on error, 281 calls the callback without the actual number of bytes read (or -1 on
283 just like the syscall). 282 error, just like the syscall).
283
284 "aio_read" will, like "sysread", shrink or grow the $data scalar to
285 offset plus the actual number of bytes read.
284 286
285 If $offset is undefined, then the current file descriptor offset 287 If $offset is undefined, then the current file descriptor offset
286 will be used (and updated), otherwise the file descriptor offset 288 will be used (and updated), otherwise the file descriptor offset
287 will not be changed by these calls. 289 will not be changed by these calls.
288 290
439 aio_readdir $pathname, $callback->($entries) 441 aio_readdir $pathname, $callback->($entries)
440 Unlike the POSIX call of the same name, "aio_readdir" reads an 442 Unlike the POSIX call of the same name, "aio_readdir" reads an
441 entire directory (i.e. opendir + readdir + closedir). The entries 443 entire directory (i.e. opendir + readdir + closedir). The entries
442 will not be sorted, and will NOT include the "." and ".." entries. 444 will not be sorted, and will NOT include the "." and ".." entries.
443 445
444 The callback a single argument which is either "undef" or an 446 The callback is passed a single argument which is either "undef" or
445 array-ref with the filenames. 447 an array-ref with the filenames.
448
449 aio_readdirx $pathname, $flags, $callback->($entries, $flags)
450 Quite similar to "aio_readdir", but the $flags argument allows to
451 tune behaviour and output format. In case of an error, $entries will
452 be "undef".
453
454 The flags are a combination of the following constants, ORed
455 together (the flags will also be passed to the callback, possibly
456 modified):
457
458 IO::AIO::READDIR_DENTS
459 When this flag is off, then the callback gets an arrayref with
460 of names only (as with "aio_readdir"), otherwise it gets an
461 arrayref with "[$name, $type, $inode]" arrayrefs, each
462 describing a single directory entry in more detail.
463
464 $name is the name of the entry.
465
466 $type is one of the "IO::AIO::DT_xxx" constants:
467
468 "IO::AIO::DT_UNKNOWN", "IO::AIO::DT_FIFO", "IO::AIO::DT_CHR",
469 "IO::AIO::DT_DIR", "IO::AIO::DT_BLK", "IO::AIO::DT_REG",
470 "IO::AIO::DT_LNK", "IO::AIO::DT_SOCK", "IO::AIO::DT_WHT".
471
472 "IO::AIO::DT_UNKNOWN" means just that: readdir does not know. If
473 you need to know, you have to run stat yourself. Also, for speed
474 reasons, the $type scalars are read-only: you can not modify
475 them.
476
477 $inode is the inode number (which might not be exact on systems
478 with 64 bit inode numbers and 32 bit perls). This field has
479 unspecified content on systems that do not deliver the inode
480 information.
481
482 IO::AIO::READDIR_DIRS_FIRST
483 When this flag is set, then the names will be returned in an
484 order where likely directories come first. This is useful when
485 you need to quickly find directories, or you want to find all
486 directories while avoiding to stat() each entry.
487
488 If the system returns type information in readdir, then this is
489 used to find directories directly. Otherwise, likely directories
490 are files beginning with ".", or otherwise files with no dots,
491 of which files with short names are tried first.
492
493 IO::AIO::READDIR_STAT_ORDER
494 When this flag is set, then the names will be returned in an
495 order suitable for stat()'ing each one. That is, when you plan
496 to stat() all files in the given directory, then the returned
497 order will likely be fastest.
498
499 If both this flag and "IO::AIO::READDIR_DIRS_FIRST" are
500 specified, then the likely dirs come first, resulting in a less
501 optimal stat order.
502
503 IO::AIO::READDIR_FOUND_UNKNOWN
504 This flag should not be set when calling "aio_readdirx".
505 Instead, it is being set by "aio_readdirx", when any of the
506 $type's found were "IO::AIO::DT_UNKNOWN". The absense of this
507 flag therefore indicates that all $type's are known, which can
508 be used to speed up some algorithms.
446 509
447 aio_load $path, $data, $callback->($status) 510 aio_load $path, $data, $callback->($status)
448 This is a composite request that tries to fully load the given file 511 This is a composite request that tries to fully load the given file
449 into memory. Status is the same as with aio_read. 512 into memory. Status is the same as with aio_read.
450 513
465 aio_move $srcpath, $dstpath, $callback->($status) 528 aio_move $srcpath, $dstpath, $callback->($status)
466 Try to move the *file* (directories not supported as either source 529 Try to move the *file* (directories not supported as either source
467 or destination) from $srcpath to $dstpath and call the callback with 530 or destination) from $srcpath to $dstpath and call the callback with
468 the 0 (error) or -1 ok. 531 the 0 (error) or -1 ok.
469 532
470 This is a composite request that tries to rename(2) the file first. 533 This is a composite request that tries to rename(2) the file first;
471 If rename files with "EXDEV", it copies the file with "aio_copy" 534 if rename fails with "EXDEV", it copies the file with "aio_copy"
472 and, if that is successful, unlinking the $srcpath. 535 and, if that is successful, unlinks the $srcpath.
473 536
474 aio_scandir $path, $maxreq, $callback->($dirs, $nondirs) 537 aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
475 Scans a directory (similar to "aio_readdir") but additionally tries 538 Scans a directory (similar to "aio_readdir") but additionally tries
476 to efficiently separate the entries of directory $path into two sets 539 to efficiently separate the entries of directory $path into two sets
477 of names, directories you can recurse into (directories), and ones 540 of names, directories you can recurse into (directories), and ones
497 Implementation notes. 560 Implementation notes.
498 561
499 The "aio_readdir" cannot be avoided, but "stat()"'ing every entry 562 The "aio_readdir" cannot be avoided, but "stat()"'ing every entry
500 can. 563 can.
501 564
565 If readdir returns file type information, then this is used directly
566 to find directories.
567
502 After reading the directory, the modification time, size etc. of the 568 Otherwise, after reading the directory, the modification time, size
503 directory before and after the readdir is checked, and if they match 569 etc. of the directory before and after the readdir is checked, and
504 (and isn't the current time), the link count will be used to decide 570 if they match (and isn't the current time), the link count will be
505 how many entries are directories (if >= 2). Otherwise, no knowledge 571 used to decide how many entries are directories (if >= 2).
506 of the number of subdirectories will be assumed. 572 Otherwise, no knowledge of the number of subdirectories will be
573 assumed.
507 574
508 Then entries will be sorted into likely directories (everything 575 Then entries will be sorted into likely directories a non-initial
509 without a non-initial dot currently) and likely non-directories 576 dot currently) and likely non-directories (see "aio_readdirx"). Then
510 (everything else). Then every entry plus an appended "/." will be 577 every entry plus an appended "/." will be "stat"'ed, likely
511 "stat"'ed, likely directories first. If that succeeds, it assumes 578 directories first, in order of their inode numbers. If that
512 that the entry is a directory or a symlink to directory (which will 579 succeeds, it assumes that the entry is a directory or a symlink to
513 be checked seperately). This is often faster than stat'ing the entry 580 directory (which will be checked seperately). This is often faster
514 itself because filesystems might detect the type of the entry 581 than stat'ing the entry itself because filesystems might detect the
515 without reading the inode data (e.g. ext2fs filetype feature). 582 type of the entry without reading the inode data (e.g. ext2fs
583 filetype feature), even on systems that cannot return the filetype
584 information on readdir.
516 585
517 If the known number of directories (link count - 2) has been 586 If the known number of directories (link count - 2) has been
518 reached, the rest of the entries is assumed to be non-directories. 587 reached, the rest of the entries is assumed to be non-directories.
519 588
520 This only works with certainty on POSIX (= UNIX) filesystems, which 589 This only works with certainty on POSIX (= UNIX) filesystems, which
541 Asynchronously call fdatasync on the given filehandle and call the 610 Asynchronously call fdatasync on the given filehandle and call the
542 callback with the fdatasync result code. 611 callback with the fdatasync result code.
543 612
544 If this call isn't available because your OS lacks it or it couldn't 613 If this call isn't available because your OS lacks it or it couldn't
545 be detected, it will be emulated by calling "fsync" instead. 614 be detected, it will be emulated by calling "fsync" instead.
615
616 aio_sync_file_range $fh, $offset, $nbytes, $flags, $callback->($status)
617 Sync the data portion of the file specified by $offset and $length
618 to disk (but NOT the metadata), by calling the Linux-specific
619 sync_file_range call. If sync_file_range is not available or it
620 returns ENOSYS, then fdatasync or fsync is being substituted.
621
622 $flags can be a combination of
623 "IO::AIO::SYNC_FILE_RANGE_WAIT_BEFORE",
624 "IO::AIO::SYNC_FILE_RANGE_WRITE" and
625 "IO::AIO::SYNC_FILE_RANGE_WAIT_AFTER": refer to the sync_file_range
626 manpage for details.
546 627
547 aio_pathsync $path, $callback->($status) 628 aio_pathsync $path, $callback->($status)
548 This request tries to open, fsync and close the given path. This is 629 This request tries to open, fsync and close the given path. This is
549 a composite request intended to sync directories after directory 630 a composite request intended to sync directories after directory
550 operations (E.g. rename). This might not work on all operating 631 operations (E.g. rename). This might not work on all operating
551 systems or have any specific effect, but usually it makes sure that 632 systems or have any specific effect, but usually it makes sure that
552 directory changes get written to disc. It works for anything that 633 directory changes get written to disc. It works for anything that
553 can be opened for read-only, not just directories. 634 can be opened for read-only, not just directories.
554 635
636 Future versions of this function might fall back to other methods
637 when "fsync" on the directory fails (such as calling "sync").
638
555 Passes 0 when everything went ok, and -1 on error. 639 Passes 0 when everything went ok, and -1 on error.
556 640
557 aio_group $callback->(...) 641 aio_group $callback->(...)
558 This is a very special aio request: Instead of doing something, it 642 This is a very special aio request: Instead of doing something, it
559 is a container for other aio requests, which is useful if you want 643 is a container for other aio requests, which is useful if you want
603 687
604 cancel $req 688 cancel $req
605 Cancels the request, if possible. Has the effect of skipping 689 Cancels the request, if possible. Has the effect of skipping
606 execution when entering the execute state and skipping calling the 690 execution when entering the execute state and skipping calling the
607 callback when entering the the result state, but will leave the 691 callback when entering the the result state, but will leave the
608 request otherwise untouched. That means that requests that currently 692 request otherwise untouched (with the exception of readdir). That
609 execute will not be stopped and resources held by the request will 693 means that requests that currently execute will not be stopped and
610 not be freed prematurely. 694 resources held by the request will not be freed prematurely.
611 695
612 cb $req $callback->(...) 696 cb $req $callback->(...)
613 Replace (or simply set) the callback registered to the request. 697 Replace (or simply set) the callback registered to the request.
614 698
615 IO::AIO::GRP CLASS 699 IO::AIO::GRP CLASS
715 does not impose any limits). 799 does not impose any limits).
716 800
717 If the feed does not queue more requests when called, it will be 801 If the feed does not queue more requests when called, it will be
718 automatically removed from the group. 802 automatically removed from the group.
719 803
720 If the feed limit is 0, it will be set to 2 automatically. 804 If the feed limit is 0 when this method is called, it will be set to
805 2 automatically.
721 806
722 Example: 807 Example:
723 808
724 # stat all files in @files, but only ever use four aio requests concurrently: 809 # stat all files in @files, but only ever use four aio requests concurrently:
725 810
736 Sets the feeder limit for the group: The feeder will be called 821 Sets the feeder limit for the group: The feeder will be called
737 whenever the group contains less than this many requests. 822 whenever the group contains less than this many requests.
738 823
739 Setting the limit to 0 will pause the feeding process. 824 Setting the limit to 0 will pause the feeding process.
740 825
826 The default value for the limit is 0, but note that setting a feeder
827 automatically bumps it up to 2.
828
741 SUPPORT FUNCTIONS 829 SUPPORT FUNCTIONS
742 EVENT PROCESSING AND EVENT LOOP INTEGRATION 830 EVENT PROCESSING AND EVENT LOOP INTEGRATION
743 $fileno = IO::AIO::poll_fileno 831 $fileno = IO::AIO::poll_fileno
744 Return the *request result pipe file descriptor*. This filehandle 832 Return the *request result pipe file descriptor*. This filehandle
745 must be polled for reading by some mechanism outside this module 833 must be polled for reading by some mechanism outside this module
746 (e.g. Event or select, see below or the SYNOPSIS). If the pipe 834 (e.g. EV, Glib, select and so on, see below or the SYNOPSIS). If the
747 becomes readable you have to call "poll_cb" to check the results. 835 pipe becomes readable you have to call "poll_cb" to check the
836 results.
748 837
749 See "poll_cb" for an example. 838 See "poll_cb" for an example.
750 839
751 IO::AIO::poll_cb 840 IO::AIO::poll_cb
752 Process some outstanding events on the result pipe. You have to call 841 Process some outstanding events on the result pipe. You have to call
759 If not all requests were processed for whatever reason, the 848 If not all requests were processed for whatever reason, the
760 filehandle will still be ready when "poll_cb" returns, so normally 849 filehandle will still be ready when "poll_cb" returns, so normally
761 you don't have to do anything special to have it called later. 850 you don't have to do anything special to have it called later.
762 851
763 Example: Install an Event watcher that automatically calls 852 Example: Install an Event watcher that automatically calls
764 IO::AIO::poll_cb with high priority: 853 IO::AIO::poll_cb with high priority (more examples can be found in
854 the SYNOPSIS section, at the top of this document):
765 855
766 Event->io (fd => IO::AIO::poll_fileno, 856 Event->io (fd => IO::AIO::poll_fileno,
767 poll => 'r', async => 1, 857 poll => 'r', async => 1,
768 cb => \&IO::AIO::poll_cb); 858 cb => \&IO::AIO::poll_cb);
769 859
909 999
910 IO::AIO::npending 1000 IO::AIO::npending
911 Returns the number of requests currently in the pending state 1001 Returns the number of requests currently in the pending state
912 (executed, but not yet processed by poll_cb). 1002 (executed, but not yet processed by poll_cb).
913 1003
1004 MISCELLANEOUS FUNCTIONS
1005 IO::AIO implements some functions that might be useful, but are not
1006 asynchronous.
1007
1008 IO::AIO::sendfile $ofh, $ifh, $offset, $count
1009 Calls the "eio_sendfile_sync" function, which is like
1010 "aio_sendfile", but is blocking (this makes most sense if you know
1011 the input data is likely cached already and the output filehandle is
1012 set to non-blocking operations).
1013
1014 Returns the number of bytes copied, or -1 on error.
1015
1016 IO::AIO::fadvise $fh, $offset, $len, $advice
1017 Simply calls the "posix_fadvise" function (see it's manpage for
1018 details). The following advice constants are avaiable:
1019 "IO::AIO::FADV_NORMAL", "IO::AIO::FADV_SEQUENTIAL",
1020 "IO::AIO::FADV_RANDOM", "IO::AIO::FADV_NOREUSE",
1021 "IO::AIO::FADV_WILLNEED", "IO::AIO::FADV_DONTNEED".
1022
1023 On systems that do not implement "posix_fadvise", this function
1024 returns ENOSYS, otherwise the return value of "posix_fadvise".
1025
914 FORK BEHAVIOUR 1026 FORK BEHAVIOUR
915 This module should do "the right thing" when the process using it forks: 1027 This module should do "the right thing" when the process using it forks:
916 1028
917 Before the fork, IO::AIO enters a quiescent state where no requests can 1029 Before the fork, IO::AIO enters a quiescent state where no requests can
918 be added in other threads and no results will be processed. After the 1030 be added in other threads and no results will be processed. After the

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines