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.61 by root, Sun Oct 22 13:52:11 2006 UTC vs.
Revision 1.71 by root, Tue Oct 24 11:57:30 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);
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
125 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.
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.
130 161
181 $_[0] > 0 or die "read error: $!"; 212 $_[0] > 0 or die "read error: $!";
182 print "read $_[0] bytes: <$buffer>\n"; 213 print "read $_[0] bytes: <$buffer>\n";
183 }; 214 };
184 215
185=item aio_move $srcpath, $dstpath, $callback->($status) 216=item aio_move $srcpath, $dstpath, $callback->($status)
186
187[EXPERIMENTAL due to internal aio_group use]
188 217
189Try to move the I<file> (directories not supported as either source or 218Try to move the I<file> (directories not supported as either source or
190destination) from C<$srcpath> to C<$dstpath> and call the callback with 219destination) from C<$srcpath> to C<$dstpath> and call the callback with
191the C<0> (error) or C<-1> ok. 220the C<0> (error) or C<-1> ok.
192 221
344 373
345The callback a single argument which is either C<undef> or an array-ref 374The callback a single argument which is either C<undef> or an array-ref
346with the filenames. 375with the filenames.
347 376
348=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs) 377=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
349
350[EXPERIMENTAL due to internal aio_group use]
351 378
352Scans a directory (similar to C<aio_readdir>) but additionally tries to 379Scans a directory (similar to C<aio_readdir>) but additionally tries to
353separate the entries of directory C<$path> into two sets of names, ones 380separate 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 381you can recurse into (directories or links to them), and ones you cannot
355recurse into (everything else). 382recurse into (everything else).
517 544
518[EXPERIMENTAL] 545[EXPERIMENTAL]
519 546
520This is a very special aio request: Instead of doing something, it is a 547This is a very special aio request: Instead of doing something, it is a
521container for other aio requests, which is useful if you want to bundle 548container for other aio requests, which is useful if you want to bundle
522many requests into a single, composite, request. 549many requests into a single, composite, request with a definite callback
550and the ability to cancel the whole request with its subrequests.
523 551
524Returns an object of class L<IO::AIO::GRP>. See its documentation below 552Returns an object of class L<IO::AIO::GRP>. See its documentation below
525for more info. 553for more info.
526 554
527Example: 555Example:
533 add $grp 561 add $grp
534 (aio_stat ...), 562 (aio_stat ...),
535 (aio_stat ...), 563 (aio_stat ...),
536 ...; 564 ...;
537 565
566=item aio_nop $callback->()
567
568This is a special request - it does nothing in itself and is only used for
569side effects, such as when you want to add a dummy request to a group so
570that finishing the requests in the group depends on executing the given
571code.
572
573While this request does nothing, it still goes through the execution
574phase and still requires a worker thread. Thus, the callback will not
575be executed immediately but only after other requests in the queue have
576entered their execution phase. This can be used to measure request
577latency.
578
538=item IO::AIO::aio_sleep $fractional_seconds, $callback->() *NOT EXPORTED* 579=item IO::AIO::aio_busy $fractional_seconds, $callback->() *NOT EXPORTED*
539 580
540Mainly used for debugging and benchmarking, this aio request puts one of 581Mainly used for debugging and benchmarking, this aio request puts one of
541the request workers to sleep for the given time. 582the request workers to sleep for the given time.
542 583
543While it is theoretically handy to have simple I/O scheduling requests 584While it is theoretically handy to have simple I/O scheduling requests
544like sleep and file handle readable/writable, the overhead this creates 585like sleep and file handle readable/writable, the overhead this creates is
545is immense, so do not use this function except to put your application 586immense (it blocks a thread for a long time) so do not use this function
546under artificial I/O pressure. 587except to put your application under artificial I/O pressure.
547 588
548=back 589=back
549 590
550=head2 IO::AIO::REQ CLASS 591=head2 IO::AIO::REQ CLASS
551 592
560callback) and B<done> (request has reached the end of its lifetime and 601callback) and B<done> (request has reached the end of its lifetime and
561holds no resources anymore). 602holds no resources anymore).
562 603
563=over 4 604=over 4
564 605
565=item $req->cancel 606=item cancel $req
566 607
567Cancels the request, if possible. Has the effect of skipping execution 608Cancels the request, if possible. Has the effect of skipping execution
568when entering the B<execute> state and skipping calling the callback when 609when entering the B<execute> state and skipping calling the callback when
569entering the the B<result> state, but will leave the request otherwise 610entering the the B<result> state, but will leave the request otherwise
570untouched. That means that requests that currently execute will not be 611untouched. That means that requests that currently execute will not be
571stopped and resources held by the request will not be freed prematurely. 612stopped and resources held by the request will not be freed prematurely.
572 613
614=item cb $req $callback->(...)
615
616Replace (or simply set) the callback registered to the request.
617
573=back 618=back
574 619
575=head2 IO::AIO::GRP CLASS 620=head2 IO::AIO::GRP CLASS
576 621
577This class is a subclass of L<IO::AIO::REQ>, so all its methods apply to 622This class is a subclass of L<IO::AIO::REQ>, so all its methods apply to
603 }; 648 };
604 649
605This makes it very easy to create composite requests (see the source of 650This 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. 651C<aio_move> for an application) that work and feel like simple requests.
607 652
653=over 4
654
608The IO::AIO::GRP objects will be cleaned up during calls to 655=item * The IO::AIO::GRP objects will be cleaned up during calls to
609C<IO::AIO::poll_cb>, just like any other request. 656C<IO::AIO::poll_cb>, just like any other request.
610 657
611They can be canceled like any other request. Canceling will cancel not 658=item * They can be canceled like any other request. Canceling will cancel not
612only the request itself, but also all requests it contains. 659only the request itself, but also all requests it contains.
613 660
614They can also can also be added to other IO::AIO::GRP objects. 661=item * They can also can also be added to other IO::AIO::GRP objects.
615 662
616You must not add requests to a group from within the group callback (or 663=item * You must not add requests to a group from within the group callback (or
617any later time). 664any later time).
665
666=item * This does not harmonise well with C<max_outstanding>, so best do
667not combine C<aio_group> with it. Groups and feeders are recommended for
668this kind of concurrency-limiting.
669
670=back
618 671
619Their lifetime, simplified, looks like this: when they are empty, they 672Their lifetime, simplified, looks like this: when they are empty, they
620will finish very quickly. If they contain only requests that are in the 673will finish very quickly. If they contain only requests that are in the
621C<done> state, they will also finish. Otherwise they will continue to 674C<done> state, they will also finish. Otherwise they will continue to
622exist. 675exist.
626group. And only when all those requests have finished will the the group 679group. And only when all those requests have finished will the the group
627itself finish. 680itself finish.
628 681
629=over 4 682=over 4
630 683
684=item add $grp ...
685
631=item $grp->add (...) 686=item $grp->add (...)
632
633=item add $grp ...
634 687
635Add one or more requests to the group. Any type of L<IO::AIO::REQ> can 688Add 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 689be added, including other groups, as long as you do not create circular
637dependencies. 690dependencies.
638 691
641=item $grp->result (...) 694=item $grp->result (...)
642 695
643Set the result value(s) that will be passed to the group callback when all 696Set the result value(s) that will be passed to the group callback when all
644subrequests have finished. By default, no argument will be passed. 697subrequests have finished. By default, no argument will be passed.
645 698
646=item $grp->set_feeder ($callback->($grp)) 699=item feed $grp $callback->($grp)
647 700
648[VERY EXPERIMENTAL] 701[VERY EXPERIMENTAL]
649 702
650Sets a feeder/generator on this group: every group can have an attached 703Sets a feeder/generator on this group: every group can have an attached
651generator that generates requests if idle. The idea behind this is that, 704generator that generates requests if idle. The idea behind this is that,
654example, C<aio_scandir> might generate hundreds of thousands C<aio_stat> 707example, C<aio_scandir> might generate hundreds of thousands C<aio_stat>
655requests, delaying any later requests for a long time. 708requests, delaying any later requests for a long time.
656 709
657To avoid this, and allow incremental generation of requests, you can 710To avoid this, and allow incremental generation of requests, you can
658instead a group and set a feeder on it that generates those requests. The 711instead 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>, 712feed 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 713below) requests active in the group itself and is expected to queue more
661requests. 714requests.
662 715
663The feeder can queue as many requests as it likes (i.e. C<add> does not 716The feed callback can queue as many requests as it likes (i.e. C<add> does
664impose any limits). 717not impose any limits).
665 718
666If the feeder does not queue more requests when called, it will be 719If the feed does not queue more requests when called, it will be
667automatically removed from the group. 720automatically removed from the group.
668 721
669If the feeder limit is C<0>, it will be set to C<2> automatically. 722If the feed limit is C<0>, it will be set to C<2> automatically.
670 723
671Example: 724Example:
672 725
673 # stat all files in @files, but only ever use four aio requests concurrently: 726 # stat all files in @files, but only ever use four aio requests concurrently:
674 727
675 my $grp = aio_group sub { print "finished\n" }; 728 my $grp = aio_group sub { print "finished\n" };
676 $grp->feeder_limit (4); 729 limit $grp 4;
677 $grp->set_feeder (sub { 730 feed $grp sub {
678 my $file = pop @files 731 my $file = pop @files
679 or return; 732 or return;
680 733
681 add $grp aio_stat $file, sub { ... }; 734 add $grp aio_stat $file, sub { ... };
682 }); 735 };
683 736
684=item $grp->feeder_limit ($num) 737=item limit $grp $num
685 738
686Sets the feeder limit for the group: The feeder will be called whenever 739Sets the feeder limit for the group: The feeder will be called whenever
687the group contains less than this many requests. 740the group contains less than this many requests.
688 741
689Setting the limit to C<0> will pause the feeding process. 742Setting the limit to C<0> will pause the feeding process.
784 837
785Under normal circumstances you don't need to call this function. 838Under normal circumstances you don't need to call this function.
786 839
787=item $oldnreqs = IO::AIO::max_outstanding $nreqs 840=item $oldnreqs = IO::AIO::max_outstanding $nreqs
788 841
842[DEPRECATED]
843
789Sets the maximum number of outstanding requests to C<$nreqs>. If you 844Sets the maximum number of outstanding requests to C<$nreqs>. If you
790try to queue up more than this number of requests, the caller will block until 845try to queue up more than this number of requests, the caller will block until
791some requests have been handled. 846some requests have been handled.
792 847
793The default is very large, so normally there is no practical limit. If you 848The default is very large, so normally there is no practical limit. If you
794queue up many requests in a loop it often improves speed if you set 849queue up many requests in a loop it often improves speed if you set
795this to a relatively low number, such as C<100>. 850this to a relatively low number, such as C<100>.
851
852This function does not work well together with C<aio_group>'s, and their
853feeder interface is better suited to limiting concurrency, so do not use
854this function.
796 855
797Under normal circumstances you don't need to call this function. 856Under normal circumstances you don't need to call this function.
798 857
799=back 858=back
800 859
853Each thread needs a stack area which is usually around 16k, sometimes much 912Each thread needs a stack area which is usually around 16k, sometimes much
854larger, depending on the OS. 913larger, depending on the OS.
855 914
856=head1 SEE ALSO 915=head1 SEE ALSO
857 916
858L<Coro>, L<Linux::AIO> (obsolete). 917L<Coro::AIO>.
859 918
860=head1 AUTHOR 919=head1 AUTHOR
861 920
862 Marc Lehmann <schmorp@schmorp.de> 921 Marc Lehmann <schmorp@schmorp.de>
863 http://home.schmorp.de/ 922 http://home.schmorp.de/

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines