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.46 by root, Mon Dec 26 20:17:13 2005 UTC vs.
Revision 1.63 by root, Mon Oct 23 00:34:36 2006 UTC

15 15
16 aio_read $fh, 30000, 1024, $buffer, 0, sub { 16 aio_read $fh, 30000, 1024, $buffer, 0, sub {
17 $_[0] > 0 or die "read error: $!"; 17 $_[0] > 0 or die "read error: $!";
18 }; 18 };
19 19
20 # AnyEvent 20 # version 2+ has request and group objects
21 use IO::AIO 2;
22
23 my $req = aio_unlink "/tmp/file", sub { };
24 $req->cancel; # cancel request if still in queue
25
26 my $grp = aio_group sub { print "all stats done\n" };
27 add $grp aio_stat "..." for ...;
28
29 # AnyEvent integration
21 open my $fh, "<&=" . IO::AIO::poll_fileno or die "$!"; 30 open my $fh, "<&=" . IO::AIO::poll_fileno or die "$!";
22 my $w = AnyEvent->io (fh => $fh, poll => 'r', cb => sub { IO::AIO::poll_cb }); 31 my $w = AnyEvent->io (fh => $fh, poll => 'r', cb => sub { IO::AIO::poll_cb });
23 32
24 # Event 33 # Event integration
25 Event->io (fd => IO::AIO::poll_fileno, 34 Event->io (fd => IO::AIO::poll_fileno,
26 poll => 'r', 35 poll => 'r',
27 cb => \&IO::AIO::poll_cb); 36 cb => \&IO::AIO::poll_cb);
28 37
29 # Glib/Gtk2 38 # Glib/Gtk2 integration
30 add_watch Glib::IO IO::AIO::poll_fileno, 39 add_watch Glib::IO IO::AIO::poll_fileno,
31 in => sub { IO::AIO::poll_cb; 1 }; 40 in => sub { IO::AIO::poll_cb; 1 };
32 41
33 # Tk 42 # Tk integration
34 Tk::Event::IO->fileevent (IO::AIO::poll_fileno, "", 43 Tk::Event::IO->fileevent (IO::AIO::poll_fileno, "",
35 readable => \&IO::AIO::poll_cb); 44 readable => \&IO::AIO::poll_cb);
36 45
37 # Danga::Socket 46 # Danga::Socket integration
38 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno => 47 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
39 \&IO::AIO::poll_cb); 48 \&IO::AIO::poll_cb);
40
41 49
42=head1 DESCRIPTION 50=head1 DESCRIPTION
43 51
44This module implements asynchronous I/O using whatever means your 52This module implements asynchronous I/O using whatever means your
45operating system supports. 53operating system supports.
61=cut 69=cut
62 70
63package IO::AIO; 71package IO::AIO;
64 72
65no warnings; 73no warnings;
74use strict 'vars';
66 75
67use base 'Exporter'; 76use base 'Exporter';
68 77
69use Fcntl ();
70
71BEGIN { 78BEGIN {
72 $VERSION = '1.71'; 79 our $VERSION = '2.0';
73 80
74 @EXPORT = qw(aio_sendfile aio_read aio_write aio_open aio_close aio_stat 81 our @EXPORT = qw(aio_sendfile aio_read aio_write aio_open aio_close aio_stat
75 aio_lstat aio_unlink aio_rmdir aio_readdir aio_scandir aio_symlink 82 aio_lstat aio_unlink aio_rmdir aio_readdir aio_scandir aio_symlink
76 aio_fsync aio_fdatasync aio_readahead); 83 aio_fsync aio_fdatasync aio_readahead aio_rename aio_link aio_move
84 aio_group aio_nop);
77 @EXPORT_OK = qw(poll_fileno poll_cb min_parallel max_parallel 85 our @EXPORT_OK = qw(poll_fileno poll_cb min_parallel max_parallel max_outstanding nreqs);
78 max_outstanding nreqs); 86
87 @IO::AIO::GRP::ISA = 'IO::AIO::REQ';
79 88
80 require XSLoader; 89 require XSLoader;
81 XSLoader::load IO::AIO, $VERSION; 90 XSLoader::load ("IO::AIO", $VERSION);
82} 91}
83 92
84=head1 FUNCTIONS 93=head1 FUNCTIONS
85 94
86=head2 AIO FUNCTIONS 95=head2 AIO FUNCTIONS
93perl, which usually delivers "false") as it's sole argument when the given 102perl, which usually delivers "false") as it's sole argument when the given
94syscall has been executed asynchronously. 103syscall has been executed asynchronously.
95 104
96All functions expecting a filehandle keep a copy of the filehandle 105All functions expecting a filehandle keep a copy of the filehandle
97internally until the request has finished. 106internally until the request has finished.
107
108All requests return objects of type L<IO::AIO::REQ> that allow further
109manipulation of those requests while they are in-flight.
98 110
99The pathnames you pass to these routines I<must> be absolute and 111The pathnames you pass to these routines I<must> be absolute and
100encoded in byte form. The reason for the former is that at the time the 112encoded in byte form. The reason for the former is that at the time the
101request is being executed, the current working directory could have 113request is being executed, the current working directory could have
102changed. Alternatively, you can make sure that you never change the 114changed. Alternatively, you can make sure that you never change the
168 aio_read $fh, 7, 15, $buffer, 0, sub { 180 aio_read $fh, 7, 15, $buffer, 0, sub {
169 $_[0] > 0 or die "read error: $!"; 181 $_[0] > 0 or die "read error: $!";
170 print "read $_[0] bytes: <$buffer>\n"; 182 print "read $_[0] bytes: <$buffer>\n";
171 }; 183 };
172 184
185=item aio_move $srcpath, $dstpath, $callback->($status)
186
187[EXPERIMENTAL due to internal aio_group use]
188
189Try to move the I<file> (directories not supported as either source or
190destination) from C<$srcpath> to C<$dstpath> and call the callback with
191the C<0> (error) or C<-1> ok.
192
193This is a composite request that tries to rename(2) the file first. If
194rename files with C<EXDEV>, it creates the destination file with mode 0200
195and copies the contents of the source file into it using C<aio_sendfile>,
196followed by restoring atime, mtime, access mode and uid/gid, in that
197order, and unlinking the C<$srcpath>.
198
199If an error occurs, the partial destination file will be unlinked, if
200possible, except when setting atime, mtime, access mode and uid/gid, where
201errors are being ignored.
202
203=cut
204
205sub aio_move($$$) {
206 my ($src, $dst, $cb) = @_;
207
208 my $grp = aio_group $cb;
209
210 add $grp aio_rename $src, $dst, sub {
211 if ($_[0] && $! == EXDEV) {
212 add $grp aio_open $src, O_RDONLY, 0, sub {
213 if (my $src_fh = $_[0]) {
214 my @stat = stat $src_fh;
215
216 add $grp aio_open $dst, O_WRONLY, 0200, sub {
217 if (my $dst_fh = $_[0]) {
218 add $grp aio_sendfile $dst_fh, $src_fh, 0, $stat[7], sub {
219 close $src_fh;
220
221 if ($_[0] == $stat[7]) {
222 utime $stat[8], $stat[9], $dst;
223 chmod $stat[2] & 07777, $dst_fh;
224 chown $stat[4], $stat[5], $dst_fh;
225 close $dst_fh;
226
227 add $grp aio_unlink $src, sub {
228 $grp->result ($_[0]);
229 };
230 } else {
231 my $errno = $!;
232 add $grp aio_unlink $dst, sub {
233 $! = $errno;
234 $grp->result (-1);
235 };
236 }
237 };
238 } else {
239 $grp->result (-1);
240 }
241 },
242
243 } else {
244 $grp->result (-1);
245 }
246 };
247 } else {
248 $grp->result ($_[0]);
249 }
250 };
251
252 $grp
253}
254
173=item aio_sendfile $out_fh, $in_fh, $in_offset, $length, $callback->($retval) 255=item aio_sendfile $out_fh, $in_fh, $in_offset, $length, $callback->($retval)
174 256
175Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts 257Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts
176reading at byte offset C<$in_offset>, and starts writing at the current 258reading at byte offset C<$in_offset>, and starts writing at the current
177file offset of C<$out_fh>. Because of that, it is not safe to issue more 259file offset of C<$out_fh>. Because of that, it is not safe to issue more
232=item aio_unlink $pathname, $callback->($status) 314=item aio_unlink $pathname, $callback->($status)
233 315
234Asynchronously unlink (delete) a file and call the callback with the 316Asynchronously unlink (delete) a file and call the callback with the
235result code. 317result code.
236 318
319=item aio_link $srcpath, $dstpath, $callback->($status)
320
321Asynchronously create a new link to the existing object at C<$srcpath> at
322the path C<$dstpath> and call the callback with the result code.
323
324=item aio_symlink $srcpath, $dstpath, $callback->($status)
325
326Asynchronously create a new symbolic link to the existing object at C<$srcpath> at
327the path C<$dstpath> and call the callback with the result code.
328
329=item aio_rename $srcpath, $dstpath, $callback->($status)
330
331Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as
332rename(2) and call the callback with the result code.
333
237=item aio_rmdir $pathname, $callback->($status) 334=item aio_rmdir $pathname, $callback->($status)
238 335
239Asynchronously rmdir (delete) a directory and call the callback with the 336Asynchronously rmdir (delete) a directory and call the callback with the
240result code. 337result code.
241 338
248The callback a single argument which is either C<undef> or an array-ref 345The callback a single argument which is either C<undef> or an array-ref
249with the filenames. 346with the filenames.
250 347
251=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs) 348=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
252 349
350[EXPERIMENTAL due to internal aio_group use]
351
253Scans a directory (similar to C<aio_readdir>) and tries to separate the 352Scans a directory (similar to C<aio_readdir>) but additionally tries to
254entries of directory C<$path> into two sets of names, ones you can recurse 353separate the entries of directory C<$path> into two sets of names, ones
255into (directories), and ones you cannot recurse into (everything else). 354you can recurse into (directories or links to them), and ones you cannot
355recurse into (everything else).
256 356
257C<aio_scandir> is a composite request that consists of many 357C<aio_scandir> is a composite request that creates of many sub requests_
258aio-primitives. C<$maxreq> specifies the maximum number of outstanding 358C<$maxreq> specifies the maximum number of outstanding aio requests that
259aio requests that this function generates. If it is C<< <= 0 >>, then a 359this function generates. If it is C<< <= 0 >>, then a suitable default
260suitable default will be chosen (currently 8). 360will be chosen (currently 6).
261 361
262On error, the callback is called without arguments, otherwise it receives 362On error, the callback is called without arguments, otherwise it receives
263two array-refs with path-relative entry names. 363two array-refs with path-relative entry names.
264 364
265Example: 365Example:
273Implementation notes. 373Implementation notes.
274 374
275The C<aio_readdir> cannot be avoided, but C<stat()>'ing every entry can. 375The C<aio_readdir> cannot be avoided, but C<stat()>'ing every entry can.
276 376
277After reading the directory, the modification time, size etc. of the 377After reading the directory, the modification time, size etc. of the
278directory before and after the readdir is checked, and if they match, the 378directory before and after the readdir is checked, and if they match (and
279link count will be used to decide how many entries are directories (if 379isn't the current time), the link count will be used to decide how many
280>= 2). Otherwise, no knowledge of the number of subdirectories will be 380entries are directories (if >= 2). Otherwise, no knowledge of the number
281assumed. 381of subdirectories will be assumed.
282 382
283Then entires will be sorted into likely directories (everything without a 383Then entries will be sorted into likely directories (everything without
284non-initial dot) and likely non-directories (everything else). Then every 384a non-initial dot currently) and likely non-directories (everything
285entry + C</.> will be C<stat>'ed, likely directories first. This is often 385else). Then every entry plus an appended C</.> will be C<stat>'ed,
386likely directories first. If that succeeds, it assumes that the entry
387is a directory or a symlink to directory (which will be checked
388seperately). This is often faster than stat'ing the entry itself because
286faster because filesystems might detect the type of the entry without 389filesystems might detect the type of the entry without reading the inode
287reading the inode data (e.g. ext2s filetype feature). If that succeeds, 390data (e.g. ext2fs filetype feature).
288it assumes that the entry is a directory or a symlink to directory (which
289will be checked seperately).
290 391
291If the known number of directories has been reached, the rest of the 392If the known number of directories (link count - 2) has been reached, the
292entries is assumed to be non-directories. 393rest of the entries is assumed to be non-directories.
394
395This only works with certainty on POSIX (= UNIX) filesystems, which
396fortunately are the vast majority of filesystems around.
397
398It will also likely work on non-POSIX filesystems with reduced efficiency
399as those tend to return 0 or 1 as link counts, which disables the
400directory counting heuristic.
293 401
294=cut 402=cut
295 403
296sub aio_scandir($$$) { 404sub aio_scandir($$$) {
297 my ($path, $maxreq, $cb) = @_; 405 my ($path, $maxreq, $cb) = @_;
298 406
407 my $grp = aio_group $cb;
408
299 $maxreq = 8 if $maxreq <= 0; 409 $maxreq = 6 if $maxreq <= 0;
300 410
301 # stat once 411 # stat once
302 aio_stat $path, sub { 412 add $grp aio_stat $path, sub {
303 $cb->() if $_[0]; 413 return $grp->result () if $_[0];
414 my $now = time;
304 my $hash1 = join ":", (stat _)[0,1,3,7,9]; 415 my $hash1 = join ":", (stat _)[0,1,3,7,9];
305 416
306 # read the directory entries 417 # read the directory entries
307 aio_readdir $path, sub { 418 add $grp aio_readdir $path, sub {
308 my $entries = shift 419 my $entries = shift
309 or return $cb->(); 420 or return $grp->result ();
310 421
311 # stat the dir another time 422 # stat the dir another time
312 aio_stat $path, sub { 423 add $grp aio_stat $path, sub {
313 my $hash2 = join ":", (stat _)[0,1,3,7,9]; 424 my $hash2 = join ":", (stat _)[0,1,3,7,9];
314 425
315 my $ndirs; 426 my $ndirs;
316 427
317 # take the slow route if anything looks fishy 428 # take the slow route if anything looks fishy
318 if ($hash1 ne $hash2) { 429 if ($hash1 ne $hash2 or (stat _)[9] == $now) {
319 $ndirs = -1; 430 $ndirs = -1;
320 } else { 431 } else {
321 # if nlink == 2, we are finished 432 # if nlink == 2, we are finished
322 # on non-posix-fs's, we rely on nlink < 2 433 # on non-posix-fs's, we rely on nlink < 2
323 $ndirs = (stat _)[3] - 2 434 $ndirs = (stat _)[3] - 2
324 or return $cb->([], $entries); 435 or return $grp->result ([], $entries);
325 } 436 }
326 437
327 # sort into likely dirs and likely nondirs 438 # sort into likely dirs and likely nondirs
328 # dirs == files without ".", short entries first 439 # dirs == files without ".", short entries first
329 $entries = [map $_->[0], 440 $entries = [map $_->[0],
334 my (@dirs, @nondirs); 445 my (@dirs, @nondirs);
335 446
336 my ($statcb, $schedcb); 447 my ($statcb, $schedcb);
337 my $nreq = 0; 448 my $nreq = 0;
338 449
450 my $statgrp = add $grp aio_group;
451
339 $schedcb = sub { 452 $schedcb = sub {
340 if (@$entries) { 453 if (@$entries) {
341 if ($nreq < $maxreq) { 454 if ($nreq < $maxreq) {
342 my $ent = pop @$entries; 455 my $ent = pop @$entries;
343 $nreq++; 456 $nreq++;
344 aio_stat "$path/$ent/.", sub { $statcb->($_[0], $ent) }; 457 add $statgrp aio_stat "$path/$ent/.", sub { $statcb->($_[0], $ent) };
345 } 458 }
346 } elsif (!$nreq) { 459 } elsif (!$nreq) {
347 # finished 460 # finished
461 $statgrp->cancel;
348 undef $statcb; 462 undef $statcb;
349 undef $schedcb; 463 undef $schedcb;
350 $cb->(\@dirs, \@nondirs) if $cb; 464 $grp->result (\@dirs, \@nondirs);
351 undef $cb;
352 } 465 }
353 }; 466 };
354 $statcb = sub { 467 $statcb = sub {
355 my ($status, $entry) = @_; 468 my ($status, $entry) = @_;
356 469
358 $nreq--; 471 $nreq--;
359 push @nondirs, $entry; 472 push @nondirs, $entry;
360 &$schedcb; 473 &$schedcb;
361 } else { 474 } else {
362 # need to check for real directory 475 # need to check for real directory
363 aio_lstat "$path/$entry", sub { 476 add $grp aio_lstat "$path/$entry", sub {
364 $nreq--; 477 $nreq--;
365 478
366 if (-d _) { 479 if (-d _) {
367 push @dirs, $entry; 480 push @dirs, $entry;
368 481
381 494
382 &$schedcb while @$entries && $nreq < $maxreq; 495 &$schedcb while @$entries && $nreq < $maxreq;
383 }; 496 };
384 }; 497 };
385 }; 498 };
499
500 $grp
386} 501}
387 502
388=item aio_fsync $fh, $callback->($status) 503=item aio_fsync $fh, $callback->($status)
389 504
390Asynchronously call fsync on the given filehandle and call the callback 505Asynchronously call fsync on the given filehandle and call the callback
395Asynchronously call fdatasync on the given filehandle and call the 510Asynchronously call fdatasync on the given filehandle and call the
396callback with the fdatasync result code. 511callback with the fdatasync result code.
397 512
398If this call isn't available because your OS lacks it or it couldn't be 513If this call isn't available because your OS lacks it or it couldn't be
399detected, it will be emulated by calling C<fsync> instead. 514detected, it will be emulated by calling C<fsync> instead.
515
516=item aio_group $callback->(...)
517
518[EXPERIMENTAL]
519
520This 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
522many requests into a single, composite, request.
523
524Returns an object of class L<IO::AIO::GRP>. See its documentation below
525for more info.
526
527Example:
528
529 my $grp = aio_group sub {
530 print "all stats done\n";
531 };
532
533 add $grp
534 (aio_stat ...),
535 (aio_stat ...),
536 ...;
537
538=item aio_nop $callback->()
539
540This is a special request - it does nothing in itself and is only used for
541side effects, such as when you want to add a dummy request to a group so
542that finishing the requests in the group depends on executing the given
543code.
544
545=item IO::AIO::aio_sleep $fractional_seconds, $callback->() *NOT EXPORTED*
546
547Mainly used for debugging and benchmarking, this aio request puts one of
548the request workers to sleep for the given time.
549
550While it is theoretically handy to have simple I/O scheduling requests
551like sleep and file handle readable/writable, the overhead this creates
552is immense, so do not use this function except to put your application
553under artificial I/O pressure.
554
555=back
556
557=head2 IO::AIO::REQ CLASS
558
559All non-aggregate C<aio_*> functions return an object of this class when
560called in non-void context.
561
562A request always moves through the following five states in its lifetime,
563in order: B<ready> (request has been created, but has not been executed
564yet), B<execute> (request is currently being executed), B<pending>
565(request has been executed but callback has not been called yet),
566B<result> (results are being processed synchronously, includes calling the
567callback) and B<done> (request has reached the end of its lifetime and
568holds no resources anymore).
569
570=over 4
571
572=item $req->cancel
573
574Cancels the request, if possible. Has the effect of skipping execution
575when entering the B<execute> state and skipping calling the callback when
576entering the the B<result> state, but will leave the request otherwise
577untouched. That means that requests that currently execute will not be
578stopped and resources held by the request will not be freed prematurely.
579
580=back
581
582=head2 IO::AIO::GRP CLASS
583
584This class is a subclass of L<IO::AIO::REQ>, so all its methods apply to
585objects of this class, too.
586
587A IO::AIO::GRP object is a special request that can contain multiple other
588aio requests.
589
590You create one by calling the C<aio_group> constructing function with a
591callback that will be called when all contained requests have entered the
592C<done> state:
593
594 my $grp = aio_group sub {
595 print "all requests are done\n";
596 };
597
598You add requests by calling the C<add> method with one or more
599C<IO::AIO::REQ> objects:
600
601 $grp->add (aio_unlink "...");
602
603 add $grp aio_stat "...", sub {
604 $_[0] or return $grp->result ("error");
605
606 # add another request dynamically, if first succeeded
607 add $grp aio_open "...", sub {
608 $grp->result ("ok");
609 };
610 };
611
612This makes it very easy to create composite requests (see the source of
613C<aio_move> for an application) that work and feel like simple requests.
614
615=over 4
616
617=item * The IO::AIO::GRP objects will be cleaned up during calls to
618C<IO::AIO::poll_cb>, just like any other request.
619
620=item * They can be canceled like any other request. Canceling will cancel not
621only the request itself, but also all requests it contains.
622
623=item * They can also can also be added to other IO::AIO::GRP objects.
624
625=item * You must not add requests to a group from within the group callback (or
626any later time).
627
628=item * This does not harmonise well with C<max_outstanding>, so best do
629not combine C<aio_group> with it. Groups and feeders are recommended for
630this kind of concurrency-limiting.
631
632=back
633
634Their lifetime, simplified, looks like this: when they are empty, they
635will finish very quickly. If they contain only requests that are in the
636C<done> state, they will also finish. Otherwise they will continue to
637exist.
638
639That means after creating a group you have some time to add requests. And
640in the callbacks of those requests, you can add further requests to the
641group. And only when all those requests have finished will the the group
642itself finish.
643
644=over 4
645
646=item $grp->add (...)
647
648=item add $grp ...
649
650Add one or more requests to the group. Any type of L<IO::AIO::REQ> can
651be added, including other groups, as long as you do not create circular
652dependencies.
653
654Returns all its arguments.
655
656=item $grp->result (...)
657
658Set the result value(s) that will be passed to the group callback when all
659subrequests have finished. By default, no argument will be passed.
660
661=item $grp->set_feeder ($callback->($grp))
662
663[VERY EXPERIMENTAL]
664
665Sets a feeder/generator on this group: every group can have an attached
666generator that generates requests if idle. The idea behind this is that,
667although you could just queue as many requests as you want in a group,
668this might starve other requests for a potentially long time. For
669example, C<aio_scandir> might generate hundreds of thousands C<aio_stat>
670requests, delaying any later requests for a long time.
671
672To avoid this, and allow incremental generation of requests, you can
673instead a group and set a feeder on it that generates those requests. The
674feeder will be called whenever there are few enough (see C<feeder_limit>,
675below) requests active in the group itself and is expected to queue more
676requests.
677
678The feeder can queue as many requests as it likes (i.e. C<add> does not
679impose any limits).
680
681If the feeder does not queue more requests when called, it will be
682automatically removed from the group.
683
684If the feeder limit is C<0>, it will be set to C<2> automatically.
685
686Example:
687
688 # stat all files in @files, but only ever use four aio requests concurrently:
689
690 my $grp = aio_group sub { print "finished\n" };
691 $grp->feeder_limit (4);
692 $grp->set_feeder (sub {
693 my $file = pop @files
694 or return;
695
696 add $grp aio_stat $file, sub { ... };
697 });
698
699=item $grp->feeder_limit ($num)
700
701Sets the feeder limit for the group: The feeder will be called whenever
702the group contains less than this many requests.
703
704Setting the limit to C<0> will pause the feeding process.
400 705
401=back 706=back
402 707
403=head2 SUPPORT FUNCTIONS 708=head2 SUPPORT FUNCTIONS
404 709
462 IO::AIO::poll_wait, IO::AIO::poll_cb 767 IO::AIO::poll_wait, IO::AIO::poll_cb
463 if IO::AIO::nreqs; 768 if IO::AIO::nreqs;
464 769
465=item IO::AIO::min_parallel $nthreads 770=item IO::AIO::min_parallel $nthreads
466 771
467Set the minimum number of AIO threads to C<$nthreads>. The current default 772Set the minimum number of AIO threads to C<$nthreads>. The current
468is C<4>, which means four asynchronous operations can be done at one time 773default is C<8>, which means eight asynchronous operations can execute
469(the number of outstanding operations, however, is unlimited). 774concurrently at any one time (the number of outstanding requests,
775however, is unlimited).
470 776
471IO::AIO starts threads only on demand, when an AIO request is queued and 777IO::AIO starts threads only on demand, when an AIO request is queued and
472no free thread exists. 778no free thread exists.
473 779
474It is recommended to keep the number of threads low, as some Linux 780It is recommended to keep the number of threads relatively low, as some
475kernel versions will scale negatively with the number of threads (higher 781Linux kernel versions will scale negatively with the number of threads
476parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32 782(higher parallelity => MUCH higher latency). With current Linux 2.6
477threads should be fine. 783versions, 4-32 threads should be fine.
478 784
479Under most circumstances you don't need to call this function, as the 785Under most circumstances you don't need to call this function, as the
480module selects a default that is suitable for low to moderate load. 786module selects a default that is suitable for low to moderate load.
481 787
482=item IO::AIO::max_parallel $nthreads 788=item IO::AIO::max_parallel $nthreads
493 799
494Under normal circumstances you don't need to call this function. 800Under normal circumstances you don't need to call this function.
495 801
496=item $oldnreqs = IO::AIO::max_outstanding $nreqs 802=item $oldnreqs = IO::AIO::max_outstanding $nreqs
497 803
804[DEPRECATED]
805
498Sets the maximum number of outstanding requests to C<$nreqs>. If you 806Sets the maximum number of outstanding requests to C<$nreqs>. If you
499try to queue up more than this number of requests, the caller will block until 807try to queue up more than this number of requests, the caller will block until
500some requests have been handled. 808some requests have been handled.
501 809
502The default is very large, so normally there is no practical limit. If you 810The default is very large, so normally there is no practical limit. If you
503queue up many requests in a loop it often improves speed if you set 811queue up many requests in a loop it often improves speed if you set
504this to a relatively low number, such as C<100>. 812this to a relatively low number, such as C<100>.
813
814This function does not work well together with C<aio_group>'s, and their
815feeder interface is better suited to limiting concurrency, so do not use
816this function.
505 817
506Under normal circumstances you don't need to call this function. 818Under normal circumstances you don't need to call this function.
507 819
508=back 820=back
509 821
523 or return undef; 835 or return undef;
524 836
525 *$sym 837 *$sym
526} 838}
527 839
528min_parallel 4; 840min_parallel 8;
529 841
530END { 842END {
531 max_parallel 0; 843 max_parallel 0;
532} 844}
533 845
5341; 8461;
535 847
536=head2 FORK BEHAVIOUR 848=head2 FORK BEHAVIOUR
849
850This module should do "the right thing" when the process using it forks:
537 851
538Before the fork, IO::AIO enters a quiescent state where no requests 852Before the fork, IO::AIO enters a quiescent state where no requests
539can be added in other threads and no results will be processed. After 853can be added in other threads and no results will be processed. After
540the fork the parent simply leaves the quiescent state and continues 854the fork the parent simply leaves the quiescent state and continues
541request/result processing, while the child clears the request/result 855request/result processing, while the child clears the request/result
542queue (so the requests started before the fork will only be handled in 856queue (so the requests started before the fork will only be handled in
543the parent). Threats will be started on demand until the limit ste in the 857the parent). Threads will be started on demand until the limit ste in the
544parent process has been reached again. 858parent process has been reached again.
545 859
860In short: the parent will, after a short pause, continue as if fork had
861not been called, while the child will act as if IO::AIO has not been used
862yet.
863
864=head2 MEMORY USAGE
865
866Each aio request uses - depending on your architecture - around 128 bytes
867of memory. In addition, stat requests need a stat buffer (possibly a few
868hundred bytes). Perl scalars and other data passed into aio requests will
869also be locked.
870
871This is now awfully much, so queuing lots of requests is not usually a
872problem.
873
874Each thread needs a stack area which is usually around 16k, sometimes much
875larger, depending on the OS.
876
546=head1 SEE ALSO 877=head1 SEE ALSO
547 878
548L<Coro>, L<Linux::AIO>. 879L<Coro>, L<Linux::AIO> (obsolete).
549 880
550=head1 AUTHOR 881=head1 AUTHOR
551 882
552 Marc Lehmann <schmorp@schmorp.de> 883 Marc Lehmann <schmorp@schmorp.de>
553 http://home.schmorp.de/ 884 http://home.schmorp.de/

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines