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.60 by root, Sun Oct 22 13:33:28 2006 UTC vs.
Revision 1.70 by root, Tue Oct 24 03:40:38 2006 UTC

18 }; 18 };
19 19
20 # version 2+ has request and group objects 20 # version 2+ has request and group objects
21 use IO::AIO 2; 21 use IO::AIO 2;
22 22
23 aioreq_pri 4; # give next request a very high priority
23 my $req = aio_unlink "/tmp/file", sub { }; 24 my $req = aio_unlink "/tmp/file", sub { };
24 $req->cancel; # cancel request if still in queue 25 $req->cancel; # cancel request if still in queue
25 26
26 my $grp = aio_group sub { print "all stats done\n" }; 27 my $grp = aio_group sub { print "all stats done\n" };
27 add $grp aio_stat "..." for ...; 28 add $grp aio_stat "..." for ...;
51 52
52This module implements asynchronous I/O using whatever means your 53This module implements asynchronous I/O using whatever means your
53operating system supports. 54operating system supports.
54 55
55Currently, a number of threads are started that execute your read/writes 56Currently, a number of threads are started that execute your read/writes
56and signal their completion. You don't need thread support in your libc or 57and signal their completion. You don't need thread support in perl, and
57perl, and the threads created by this module will not be visible to the 58the threads created by this module will not be visible to perl. In the
58pthreads library. In the future, this module might make use of the native 59future, this module might make use of the native aio functions available
59aio functions available on many operating systems. However, they are often 60on many operating systems. However, they are often not well-supported
60not well-supported (Linux doesn't allow them on normal files currently, 61(Linux doesn't allow them on normal files currently, for example),
61for example), and they would only support aio_read and aio_write, so the 62and they would only support aio_read and aio_write, so the remaining
62remaining functionality would have to be implemented using threads anyway. 63functionality would have to be implemented using threads anyway.
63 64
64Although the module will work with in the presence of other threads, it is 65Although the module will work with in the presence of other threads,
65currently not reentrant, so use appropriate locking yourself, always call 66it is currently not reentrant in any way, so use appropriate locking
66C<poll_cb> from within the same thread, or never call C<poll_cb> (or other 67yourself, always call C<poll_cb> from within the same thread, or never
67C<aio_> functions) recursively. 68call C<poll_cb> (or other C<aio_> functions) recursively.
68 69
69=cut 70=cut
70 71
71package IO::AIO; 72package IO::AIO;
72 73
76use base 'Exporter'; 77use base 'Exporter';
77 78
78BEGIN { 79BEGIN {
79 our $VERSION = '2.0'; 80 our $VERSION = '2.0';
80 81
81 our @EXPORT = qw(aio_sendfile aio_read aio_write aio_open aio_close aio_stat 82 our @AIO_REQ = qw(aio_sendfile aio_read aio_write aio_open aio_close aio_stat
82 aio_lstat aio_unlink aio_rmdir aio_readdir aio_scandir aio_symlink 83 aio_lstat aio_unlink aio_rmdir aio_readdir aio_scandir aio_symlink
83 aio_fsync aio_fdatasync aio_readahead aio_rename aio_link aio_move 84 aio_fsync aio_fdatasync aio_readahead aio_rename aio_link aio_move
84 aio_group); 85 aio_group aio_nop);
85 our @EXPORT_OK = qw(poll_fileno poll_cb min_parallel max_parallel max_outstanding nreqs); 86 our @EXPORT = (@AIO_REQ, qw(aioreq_pri aioreq_nice));
87 our @EXPORT_OK = qw(poll_fileno poll_cb poll_wait flush
88 min_parallel max_parallel max_outstanding nreqs);
86 89
87 @IO::AIO::GRP::ISA = 'IO::AIO::REQ'; 90 @IO::AIO::GRP::ISA = 'IO::AIO::REQ';
88 91
89 require XSLoader; 92 require XSLoader;
90 XSLoader::load ("IO::AIO", $VERSION); 93 XSLoader::load ("IO::AIO", $VERSION);
120your pathnames to the locale (or other) encoding in effect in the user 123your pathnames to the locale (or other) encoding in effect in the user
121environment, d) use Glib::filename_from_unicode on unicode filenames or e) 124environment, d) use Glib::filename_from_unicode on unicode filenames or e)
122use something else. 125use something else.
123 126
124=over 4 127=over 4
128
129=item aioreq_pri $pri
130
131Sets the priority for the next aio request. The default priority
132is C<0>, the minimum and maximum priorities are C<-4> and C<4>,
133respectively. Requests with higher priority will be serviced first.
134
135The priority will be reset to C<0> after each call to one of the C<aio_>
136functions.
137
138Example: open a file with low priority, then read something from it with
139higher priority so the read request is serviced before other low priority
140open requests (potentially spamming the cache):
141
142 aioreq_pri -3;
143 aio_open ..., sub {
144 return unless $_[0];
145
146 aioreq_pri -2;
147 aio_read $_[0], ..., sub {
148 ...
149 };
150 };
151
152=item aioreq_nice $pri_adjust
153
154Similar to C<aioreq_pri>, but subtracts the given value from the current
155priority, so effects are cumulative.
125 156
126=item aio_open $pathname, $flags, $mode, $callback->($fh) 157=item aio_open $pathname, $flags, $mode, $callback->($fh)
127 158
128Asynchronously open or create a file and call the callback with a newly 159Asynchronously open or create a file and call the callback with a newly
129created filehandle for the file. 160created filehandle for the file.
352Scans a directory (similar to C<aio_readdir>) but additionally tries to 383Scans a directory (similar to C<aio_readdir>) but additionally tries to
353separate the entries of directory C<$path> into two sets of names, ones 384separate the entries of directory C<$path> into two sets of names, ones
354you can recurse into (directories or links to them), and ones you cannot 385you can recurse into (directories or links to them), and ones you cannot
355recurse into (everything else). 386recurse into (everything else).
356 387
357C<aio_scandir> is a composite request that consists of many sub 388C<aio_scandir> is a composite request that creates of many sub requests_
358requests. C<$maxreq> specifies the maximum number of outstanding aio 389C<$maxreq> specifies the maximum number of outstanding aio requests that
359requests that this function generates. If it is C<< <= 0 >>, then a 390this function generates. If it is C<< <= 0 >>, then a suitable default
360suitable default will be chosen (currently 8). 391will be chosen (currently 6).
361 392
362On error, the callback is called without arguments, otherwise it receives 393On error, the callback is called without arguments, otherwise it receives
363two array-refs with path-relative entry names. 394two array-refs with path-relative entry names.
364 395
365Example: 396Example:
404sub aio_scandir($$$) { 435sub aio_scandir($$$) {
405 my ($path, $maxreq, $cb) = @_; 436 my ($path, $maxreq, $cb) = @_;
406 437
407 my $grp = aio_group $cb; 438 my $grp = aio_group $cb;
408 439
409 $maxreq = 8 if $maxreq <= 0; 440 $maxreq = 6 if $maxreq <= 0;
410 441
411 # stat once 442 # stat once
412 add $grp aio_stat $path, sub { 443 add $grp aio_stat $path, sub {
413 return $grp->result () if $_[0]; 444 return $grp->result () if $_[0];
414 my $now = time; 445 my $now = time;
533 add $grp 564 add $grp
534 (aio_stat ...), 565 (aio_stat ...),
535 (aio_stat ...), 566 (aio_stat ...),
536 ...; 567 ...;
537 568
569=item aio_nop $callback->()
570
571This is a special request - it does nothing in itself and is only used for
572side effects, such as when you want to add a dummy request to a group so
573that finishing the requests in the group depends on executing the given
574code.
575
576While this request does nothing, it still goes through the execution
577phase and still requires a worker thread. Thus, the callback will not
578be executed immediately but only after other requests in the queue have
579entered their execution phase. This can be used to measure request
580latency.
581
538=item IO::AIO::aio_sleep $fractional_seconds, $callback->() *NOT EXPORTED* 582=item IO::AIO::aio_sleep $fractional_seconds, $callback->() *NOT EXPORTED*
539 583
540Mainly used for debugging and benchmarking, this aio request puts one of 584Mainly used for debugging and benchmarking, this aio request puts one of
541the request workers to sleep for the given time. 585the request workers to sleep for the given time.
542 586
560callback) and B<done> (request has reached the end of its lifetime and 604callback) and B<done> (request has reached the end of its lifetime and
561holds no resources anymore). 605holds no resources anymore).
562 606
563=over 4 607=over 4
564 608
565=item $req->cancel 609=item cancel $req
566 610
567Cancels the request, if possible. Has the effect of skipping execution 611Cancels the request, if possible. Has the effect of skipping execution
568when entering the B<execute> state and skipping calling the callback when 612when entering the B<execute> state and skipping calling the callback when
569entering the the B<result> state, but will leave the request otherwise 613entering the the B<result> state, but will leave the request otherwise
570untouched. That means that requests that currently execute will not be 614untouched. That means that requests that currently execute will not be
571stopped and resources held by the request will not be freed prematurely. 615stopped and resources held by the request will not be freed prematurely.
572 616
617=item cb $req $callback->(...)
618
619Replace (or simply set) the callback registered to the request.
620
573=back 621=back
574 622
575=head2 IO::AIO::GRP CLASS 623=head2 IO::AIO::GRP CLASS
576 624
577This class is a subclass of L<IO::AIO::REQ>, so all its methods apply to 625This class is a subclass of L<IO::AIO::REQ>, so all its methods apply to
603 }; 651 };
604 652
605This makes it very easy to create composite requests (see the source of 653This makes it very easy to create composite requests (see the source of
606C<aio_move> for an application) that work and feel like simple requests. 654C<aio_move> for an application) that work and feel like simple requests.
607 655
656=over 4
657
608The IO::AIO::GRP objects will be cleaned up during calls to 658=item * The IO::AIO::GRP objects will be cleaned up during calls to
609C<IO::AIO::poll_cb>, just like any other request. 659C<IO::AIO::poll_cb>, just like any other request.
610 660
611They can be canceled like any other request. Canceling will cancel not 661=item * They can be canceled like any other request. Canceling will cancel not
612only the request itself, but also all requests it contains. 662only the request itself, but also all requests it contains.
613 663
614They can also can also be added to other IO::AIO::GRP objects. 664=item * They can also can also be added to other IO::AIO::GRP objects.
615 665
616You must not add requests to a group from within the group callback (or 666=item * You must not add requests to a group from within the group callback (or
617any later time). 667any later time).
668
669=item * This does not harmonise well with C<max_outstanding>, so best do
670not combine C<aio_group> with it. Groups and feeders are recommended for
671this kind of concurrency-limiting.
672
673=back
618 674
619Their lifetime, simplified, looks like this: when they are empty, they 675Their lifetime, simplified, looks like this: when they are empty, they
620will finish very quickly. If they contain only requests that are in the 676will finish very quickly. If they contain only requests that are in the
621C<done> state, they will also finish. Otherwise they will continue to 677C<done> state, they will also finish. Otherwise they will continue to
622exist. 678exist.
626group. And only when all those requests have finished will the the group 682group. And only when all those requests have finished will the the group
627itself finish. 683itself finish.
628 684
629=over 4 685=over 4
630 686
687=item add $grp ...
688
631=item $grp->add (...) 689=item $grp->add (...)
632
633=item add $grp ...
634 690
635Add one or more requests to the group. Any type of L<IO::AIO::REQ> can 691Add one or more requests to the group. Any type of L<IO::AIO::REQ> can
636be added, including other groups, as long as you do not create circular 692be added, including other groups, as long as you do not create circular
637dependencies. 693dependencies.
638 694
641=item $grp->result (...) 697=item $grp->result (...)
642 698
643Set the result value(s) that will be passed to the group callback when all 699Set the result value(s) that will be passed to the group callback when all
644subrequests have finished. By default, no argument will be passed. 700subrequests have finished. By default, no argument will be passed.
645 701
646=item $grp->set_feeder ($callback->($grp)) 702=item feed $grp $callback->($grp)
647 703
648[VERY EXPERIMENTAL] 704[VERY EXPERIMENTAL]
649 705
650Sets a feeder/generator on this group: every group can have an attached 706Sets a feeder/generator on this group: every group can have an attached
651generator that generates requests if idle. The idea behind this is that, 707generator that generates requests if idle. The idea behind this is that,
654example, C<aio_scandir> might generate hundreds of thousands C<aio_stat> 710example, C<aio_scandir> might generate hundreds of thousands C<aio_stat>
655requests, delaying any later requests for a long time. 711requests, delaying any later requests for a long time.
656 712
657To avoid this, and allow incremental generation of requests, you can 713To avoid this, and allow incremental generation of requests, you can
658instead a group and set a feeder on it that generates those requests. The 714instead a group and set a feeder on it that generates those requests. The
659feeder will be called whenever there are few enough (see C<feeder_limit>, 715feed callback will be called whenever there are few enough (see C<limit>,
660below) requests active in the group itself and is expected to queue more 716below) requests active in the group itself and is expected to queue more
661requests. 717requests.
662 718
663The feeder can queue as many requests as it likes (i.e. C<add> does not 719The feed callback can queue as many requests as it likes (i.e. C<add> does
664impose any limits). 720not impose any limits).
665 721
666If the feeder does not queue more requests when called, it will be 722If the feed does not queue more requests when called, it will be
667automatically removed from the group. 723automatically removed from the group.
668 724
669If the feeder limit is C<0>, it will be set to C<2> automatically. 725If the feed limit is C<0>, it will be set to C<2> automatically.
670 726
671Example: 727Example:
672 728
673 # stat all files in @files, but only ever use four aio requests concurrently: 729 # stat all files in @files, but only ever use four aio requests concurrently:
674 730
675 my $grp = aio_group sub { print "finished\n" }; 731 my $grp = aio_group sub { print "finished\n" };
676 $grp->feeder_limit (4); 732 limit $grp 4;
677 $grp->set_feeder (sub { 733 feed $grp sub {
678 my $file = pop @files 734 my $file = pop @files
679 or return; 735 or return;
680 736
681 add $grp aio_stat $file, sub { ... }; 737 add $grp aio_stat $file, sub { ... };
682 }); 738 };
683 739
684=item $grp->feeder_limit ($num) 740=item limit $grp $num
685 741
686Sets the feeder limit for the group: The feeder will be called whenever 742Sets the feeder limit for the group: The feeder will be called whenever
687the group contains less than this many requests. 743the group contains less than this many requests.
688 744
689Setting the limit to C<0> will pause the feeding process. 745Setting the limit to C<0> will pause the feeding process.
752 IO::AIO::poll_wait, IO::AIO::poll_cb 808 IO::AIO::poll_wait, IO::AIO::poll_cb
753 if IO::AIO::nreqs; 809 if IO::AIO::nreqs;
754 810
755=item IO::AIO::min_parallel $nthreads 811=item IO::AIO::min_parallel $nthreads
756 812
757Set the minimum number of AIO threads to C<$nthreads>. The current default 813Set the minimum number of AIO threads to C<$nthreads>. The current
758is C<4>, which means four asynchronous operations can be done at one time 814default is C<8>, which means eight asynchronous operations can execute
759(the number of outstanding operations, however, is unlimited). 815concurrently at any one time (the number of outstanding requests,
816however, is unlimited).
760 817
761IO::AIO starts threads only on demand, when an AIO request is queued and 818IO::AIO starts threads only on demand, when an AIO request is queued and
762no free thread exists. 819no free thread exists.
763 820
764It is recommended to keep the number of threads low, as some Linux 821It is recommended to keep the number of threads relatively low, as some
765kernel versions will scale negatively with the number of threads (higher 822Linux kernel versions will scale negatively with the number of threads
766parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32 823(higher parallelity => MUCH higher latency). With current Linux 2.6
767threads should be fine. 824versions, 4-32 threads should be fine.
768 825
769Under most circumstances you don't need to call this function, as the 826Under most circumstances you don't need to call this function, as the
770module selects a default that is suitable for low to moderate load. 827module selects a default that is suitable for low to moderate load.
771 828
772=item IO::AIO::max_parallel $nthreads 829=item IO::AIO::max_parallel $nthreads
783 840
784Under normal circumstances you don't need to call this function. 841Under normal circumstances you don't need to call this function.
785 842
786=item $oldnreqs = IO::AIO::max_outstanding $nreqs 843=item $oldnreqs = IO::AIO::max_outstanding $nreqs
787 844
845[DEPRECATED]
846
788Sets the maximum number of outstanding requests to C<$nreqs>. If you 847Sets the maximum number of outstanding requests to C<$nreqs>. If you
789try to queue up more than this number of requests, the caller will block until 848try to queue up more than this number of requests, the caller will block until
790some requests have been handled. 849some requests have been handled.
791 850
792The default is very large, so normally there is no practical limit. If you 851The default is very large, so normally there is no practical limit. If you
793queue up many requests in a loop it often improves speed if you set 852queue up many requests in a loop it often improves speed if you set
794this to a relatively low number, such as C<100>. 853this to a relatively low number, such as C<100>.
854
855This function does not work well together with C<aio_group>'s, and their
856feeder interface is better suited to limiting concurrency, so do not use
857this function.
795 858
796Under normal circumstances you don't need to call this function. 859Under normal circumstances you don't need to call this function.
797 860
798=back 861=back
799 862
813 or return undef; 876 or return undef;
814 877
815 *$sym 878 *$sym
816} 879}
817 880
818min_parallel 4; 881min_parallel 8;
819 882
820END { 883END {
821 max_parallel 0; 884 max_parallel 0;
822} 885}
823 886
852Each thread needs a stack area which is usually around 16k, sometimes much 915Each thread needs a stack area which is usually around 16k, sometimes much
853larger, depending on the OS. 916larger, depending on the OS.
854 917
855=head1 SEE ALSO 918=head1 SEE ALSO
856 919
857L<Coro>, L<Linux::AIO> (obsolete). 920L<Coro::AIO>.
858 921
859=head1 AUTHOR 922=head1 AUTHOR
860 923
861 Marc Lehmann <schmorp@schmorp.de> 924 Marc Lehmann <schmorp@schmorp.de>
862 http://home.schmorp.de/ 925 http://home.schmorp.de/

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines