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.58 by root, Sun Oct 22 10:33:19 2006 UTC vs.
Revision 1.62 by root, Sun Oct 22 21:13:47 2006 UTC

352Scans a directory (similar to C<aio_readdir>) but additionally tries to 352Scans a directory (similar to C<aio_readdir>) but additionally tries to
353separate the entries of directory C<$path> into two sets of names, ones 353separate 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 354you can recurse into (directories or links to them), and ones you cannot
355recurse into (everything else). 355recurse into (everything else).
356 356
357C<aio_scandir> is a composite request that consists of many sub 357C<aio_scandir> is a composite request that creates of many sub requests_
358requests. C<$maxreq> specifies the maximum number of outstanding aio 358C<$maxreq> specifies the maximum number of outstanding aio requests that
359requests that this function generates. If it is C<< <= 0 >>, then a 359this function generates. If it is C<< <= 0 >>, then a suitable default
360suitable default will be chosen (currently 8). 360will be chosen (currently 6).
361 361
362On error, the callback is called without arguments, otherwise it receives 362On error, the callback is called without arguments, otherwise it receives
363two array-refs with path-relative entry names. 363two array-refs with path-relative entry names.
364 364
365Example: 365Example:
404sub aio_scandir($$$) { 404sub aio_scandir($$$) {
405 my ($path, $maxreq, $cb) = @_; 405 my ($path, $maxreq, $cb) = @_;
406 406
407 my $grp = aio_group $cb; 407 my $grp = aio_group $cb;
408 408
409 $maxreq = 8 if $maxreq <= 0; 409 $maxreq = 6 if $maxreq <= 0;
410 410
411 # stat once 411 # stat once
412 add $grp aio_stat $path, sub { 412 add $grp aio_stat $path, sub {
413 return $grp->result () if $_[0]; 413 return $grp->result () if $_[0];
414 my $now = time; 414 my $now = time;
445 my (@dirs, @nondirs); 445 my (@dirs, @nondirs);
446 446
447 my ($statcb, $schedcb); 447 my ($statcb, $schedcb);
448 my $nreq = 0; 448 my $nreq = 0;
449 449
450 my $statgrp = add $grp aio_group;
451
450 $schedcb = sub { 452 $schedcb = sub {
451 if (@$entries) { 453 if (@$entries) {
452 if ($nreq < $maxreq) { 454 if ($nreq < $maxreq) {
453 my $ent = pop @$entries; 455 my $ent = pop @$entries;
454 $nreq++; 456 $nreq++;
455 add $grp aio_stat "$path/$ent/.", sub { $statcb->($_[0], $ent) }; 457 add $statgrp aio_stat "$path/$ent/.", sub { $statcb->($_[0], $ent) };
456 } 458 }
457 } elsif (!$nreq) { 459 } elsif (!$nreq) {
458 # finished 460 # finished
461 $statgrp->cancel;
459 undef $statcb; 462 undef $statcb;
460 undef $schedcb; 463 undef $schedcb;
461 $grp->result (\@dirs, \@nondirs) if $cb; 464 $grp->result (\@dirs, \@nondirs);
462 undef $cb;
463 } 465 }
464 }; 466 };
465 $statcb = sub { 467 $statcb = sub {
466 my ($status, $entry) = @_; 468 my ($status, $entry) = @_;
467 469
601 }; 603 };
602 604
603This makes it very easy to create composite requests (see the source of 605This makes it very easy to create composite requests (see the source of
604C<aio_move> for an application) that work and feel like simple requests. 606C<aio_move> for an application) that work and feel like simple requests.
605 607
608=over 4
609
606The IO::AIO::GRP objects will be cleaned up during calls to 610=item * The IO::AIO::GRP objects will be cleaned up during calls to
607C<IO::AIO::poll_cb>, just like any other request. 611C<IO::AIO::poll_cb>, just like any other request.
608 612
609They can be canceled like any other request. Canceling will cancel not 613=item * They can be canceled like any other request. Canceling will cancel not
610just the request itself, but also all requests it contains. 614only the request itself, but also all requests it contains.
611 615
612They can also can also be added to other IO::AIO::GRP objects. 616=item * They can also can also be added to other IO::AIO::GRP objects.
617
618=item * You must not add requests to a group from within the group callback (or
619any later time).
620
621=item * This does not harmonise well with C<max_outstanding>, so best do
622not combine C<aio_group> with it. Groups and feeders are recommended for
623this kind of concurrency-limiting.
624
625=back
613 626
614Their lifetime, simplified, looks like this: when they are empty, they 627Their lifetime, simplified, looks like this: when they are empty, they
615will finish very quickly. If they contain only requests that are in the 628will finish very quickly. If they contain only requests that are in the
616C<done> state, they will also finish. Otherwise they will continue to 629C<done> state, they will also finish. Otherwise they will continue to
617exist. 630exist.
636=item $grp->result (...) 649=item $grp->result (...)
637 650
638Set the result value(s) that will be passed to the group callback when all 651Set the result value(s) that will be passed to the group callback when all
639subrequests have finished. By default, no argument will be passed. 652subrequests have finished. By default, no argument will be passed.
640 653
654=item $grp->set_feeder ($callback->($grp))
655
656[VERY EXPERIMENTAL]
657
658Sets a feeder/generator on this group: every group can have an attached
659generator that generates requests if idle. The idea behind this is that,
660although you could just queue as many requests as you want in a group,
661this might starve other requests for a potentially long time. For
662example, C<aio_scandir> might generate hundreds of thousands C<aio_stat>
663requests, delaying any later requests for a long time.
664
665To avoid this, and allow incremental generation of requests, you can
666instead a group and set a feeder on it that generates those requests. The
667feeder will be called whenever there are few enough (see C<feeder_limit>,
668below) requests active in the group itself and is expected to queue more
669requests.
670
671The feeder can queue as many requests as it likes (i.e. C<add> does not
672impose any limits).
673
674If the feeder does not queue more requests when called, it will be
675automatically removed from the group.
676
677If the feeder limit is C<0>, it will be set to C<2> automatically.
678
679Example:
680
681 # stat all files in @files, but only ever use four aio requests concurrently:
682
683 my $grp = aio_group sub { print "finished\n" };
684 $grp->feeder_limit (4);
685 $grp->set_feeder (sub {
686 my $file = pop @files
687 or return;
688
689 add $grp aio_stat $file, sub { ... };
690 });
691
692=item $grp->feeder_limit ($num)
693
694Sets the feeder limit for the group: The feeder will be called whenever
695the group contains less than this many requests.
696
697Setting the limit to C<0> will pause the feeding process.
698
641=back 699=back
642 700
643=head2 SUPPORT FUNCTIONS 701=head2 SUPPORT FUNCTIONS
644 702
645=over 4 703=over 4
702 IO::AIO::poll_wait, IO::AIO::poll_cb 760 IO::AIO::poll_wait, IO::AIO::poll_cb
703 if IO::AIO::nreqs; 761 if IO::AIO::nreqs;
704 762
705=item IO::AIO::min_parallel $nthreads 763=item IO::AIO::min_parallel $nthreads
706 764
707Set the minimum number of AIO threads to C<$nthreads>. The current default 765Set the minimum number of AIO threads to C<$nthreads>. The current
708is C<4>, which means four asynchronous operations can be done at one time 766default is C<8>, which means eight asynchronous operations can execute
709(the number of outstanding operations, however, is unlimited). 767concurrently at any one time (the number of outstanding requests,
768however, is unlimited).
710 769
711IO::AIO starts threads only on demand, when an AIO request is queued and 770IO::AIO starts threads only on demand, when an AIO request is queued and
712no free thread exists. 771no free thread exists.
713 772
714It is recommended to keep the number of threads low, as some Linux 773It is recommended to keep the number of threads relatively low, as some
715kernel versions will scale negatively with the number of threads (higher 774Linux kernel versions will scale negatively with the number of threads
716parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32 775(higher parallelity => MUCH higher latency). With current Linux 2.6
717threads should be fine. 776versions, 4-32 threads should be fine.
718 777
719Under most circumstances you don't need to call this function, as the 778Under most circumstances you don't need to call this function, as the
720module selects a default that is suitable for low to moderate load. 779module selects a default that is suitable for low to moderate load.
721 780
722=item IO::AIO::max_parallel $nthreads 781=item IO::AIO::max_parallel $nthreads
733 792
734Under normal circumstances you don't need to call this function. 793Under normal circumstances you don't need to call this function.
735 794
736=item $oldnreqs = IO::AIO::max_outstanding $nreqs 795=item $oldnreqs = IO::AIO::max_outstanding $nreqs
737 796
797[DEPRECATED]
798
738Sets the maximum number of outstanding requests to C<$nreqs>. If you 799Sets the maximum number of outstanding requests to C<$nreqs>. If you
739try to queue up more than this number of requests, the caller will block until 800try to queue up more than this number of requests, the caller will block until
740some requests have been handled. 801some requests have been handled.
741 802
742The default is very large, so normally there is no practical limit. If you 803The default is very large, so normally there is no practical limit. If you
743queue up many requests in a loop it often improves speed if you set 804queue up many requests in a loop it often improves speed if you set
744this to a relatively low number, such as C<100>. 805this to a relatively low number, such as C<100>.
806
807This function does not work well together with C<aio_group>'s, and their
808feeder interface is better suited to limiting concurrency, so do not use
809this function.
745 810
746Under normal circumstances you don't need to call this function. 811Under normal circumstances you don't need to call this function.
747 812
748=back 813=back
749 814
763 or return undef; 828 or return undef;
764 829
765 *$sym 830 *$sym
766} 831}
767 832
768min_parallel 4; 833min_parallel 8;
769 834
770END { 835END {
771 max_parallel 0; 836 max_parallel 0;
772} 837}
773 838
787 852
788In short: the parent will, after a short pause, continue as if fork had 853In short: the parent will, after a short pause, continue as if fork had
789not been called, while the child will act as if IO::AIO has not been used 854not been called, while the child will act as if IO::AIO has not been used
790yet. 855yet.
791 856
857=head2 MEMORY USAGE
858
859Each aio request uses - depending on your architecture - around 128 bytes
860of memory. In addition, stat requests need a stat buffer (possibly a few
861hundred bytes). Perl scalars and other data passed into aio requests will
862also be locked.
863
864This is now awfully much, so queuing lots of requests is not usually a
865problem.
866
867Each thread needs a stack area which is usually around 16k, sometimes much
868larger, depending on the OS.
869
792=head1 SEE ALSO 870=head1 SEE ALSO
793 871
794L<Coro>, L<Linux::AIO> (obsolete). 872L<Coro>, L<Linux::AIO> (obsolete).
795 873
796=head1 AUTHOR 874=head1 AUTHOR

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines