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.32 by root, Wed Aug 17 05:26:20 2005 UTC vs.
Revision 1.71 by root, Tue Oct 24 11:57:30 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 # Event 20 # version 2+ has request and group objects
21 use IO::AIO 2;
22
23 aioreq_pri 4; # give next request a very high priority
24 my $req = aio_unlink "/tmp/file", sub { };
25 $req->cancel; # cancel request if still in queue
26
27 my $grp = aio_group sub { print "all stats done\n" };
28 add $grp aio_stat "..." for ...;
29
30 # AnyEvent integration
31 open my $fh, "<&=" . IO::AIO::poll_fileno or die "$!";
32 my $w = AnyEvent->io (fh => $fh, poll => 'r', cb => sub { IO::AIO::poll_cb });
33
34 # Event integration
21 Event->io (fd => IO::AIO::poll_fileno, 35 Event->io (fd => IO::AIO::poll_fileno,
22 poll => 'r', 36 poll => 'r',
23 cb => \&IO::AIO::poll_cb); 37 cb => \&IO::AIO::poll_cb);
24 38
25 # Glib/Gtk2 39 # Glib/Gtk2 integration
26 add_watch Glib::IO IO::AIO::poll_fileno, 40 add_watch Glib::IO IO::AIO::poll_fileno,
27 in => sub { IO::AIO::poll_cb; 1 }; 41 in => sub { IO::AIO::poll_cb; 1 };
28 42
29 # Tk 43 # Tk integration
30 Tk::Event::IO->fileevent (IO::AIO::poll_fileno, "", 44 Tk::Event::IO->fileevent (IO::AIO::poll_fileno, "",
31 readable => \&IO::AIO::poll_cb); 45 readable => \&IO::AIO::poll_cb);
32 46
33 # Danga::Socket 47 # Danga::Socket integration
34 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno => 48 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
35 \&IO::AIO::poll_cb); 49 \&IO::AIO::poll_cb);
36 50
37
38=head1 DESCRIPTION 51=head1 DESCRIPTION
39 52
40This module implements asynchronous I/O using whatever means your 53This module implements asynchronous I/O using whatever means your
41operating system supports. 54operating system supports.
42 55
43Currently, a number of threads are started that execute your read/writes 56Currently, a number of threads are started that execute your read/writes
44and 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
45perl, 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
46pthreads library. In the future, this module might make use of the native 59future, this module might make use of the native aio functions available
47aio functions available on many operating systems. However, they are often 60on many operating systems. However, they are often not well-supported
48not well-supported (Linux doesn't allow them on normal files currently, 61(Linux doesn't allow them on normal files currently, for example),
49for 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
50remaining functionality would have to be implemented using threads anyway. 63functionality would have to be implemented using threads anyway.
51 64
52Although 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,
53currently not reentrant, so use appropriate locking yourself, always call 66it is currently not reentrant in any way, so use appropriate locking
54C<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
55C<aio_> functions) recursively. 68call C<poll_cb> (or other C<aio_> functions) recursively.
56 69
57=cut 70=cut
58 71
59package IO::AIO; 72package IO::AIO;
60 73
61no warnings; 74no warnings;
75use strict 'vars';
62 76
63use base 'Exporter'; 77use base 'Exporter';
64 78
65use Fcntl ();
66
67BEGIN { 79BEGIN {
68 $VERSION = 1.3; 80 our $VERSION = '2.0';
69 81
82 our @AIO_REQ = qw(aio_sendfile aio_read aio_write aio_open aio_close aio_stat
83 aio_lstat aio_unlink aio_rmdir aio_readdir aio_scandir aio_symlink
84 aio_fsync aio_fdatasync aio_readahead aio_rename aio_link aio_move
85 aio_group aio_nop);
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);
70 89
71 @EXPORT = qw(aio_read aio_write aio_open aio_close aio_stat aio_lstat aio_unlink 90 @IO::AIO::GRP::ISA = 'IO::AIO::REQ';
72 aio_rmdir aio_symlink aio_fsync aio_fdatasync aio_readahead);
73 @EXPORT_OK = qw(poll_fileno poll_cb min_parallel max_parallel max_outstanding nreqs);
74 91
75 require XSLoader; 92 require XSLoader;
76 XSLoader::load IO::AIO, $VERSION; 93 XSLoader::load ("IO::AIO", $VERSION);
77} 94}
78 95
79=head1 FUNCTIONS 96=head1 FUNCTIONS
80 97
81=head2 AIO FUNCTIONS 98=head2 AIO FUNCTIONS
89syscall has been executed asynchronously. 106syscall has been executed asynchronously.
90 107
91All functions expecting a filehandle keep a copy of the filehandle 108All functions expecting a filehandle keep a copy of the filehandle
92internally until the request has finished. 109internally until the request has finished.
93 110
111All requests return objects of type L<IO::AIO::REQ> that allow further
112manipulation of those requests while they are in-flight.
113
94The pathnames you pass to these routines I<must> be absolute and 114The pathnames you pass to these routines I<must> be absolute and
95encoded in byte form. The reason for the former is that at the time the 115encoded in byte form. The reason for the former is that at the time the
96request is being executed, the current working directory could have 116request is being executed, the current working directory could have
97changed. Alternatively, you can make sure that you never change the 117changed. Alternatively, you can make sure that you never change the
98current working directory. 118current working directory.
104environment, d) use Glib::filename_from_unicode on unicode filenames or e) 124environment, d) use Glib::filename_from_unicode on unicode filenames or e)
105use something else. 125use something else.
106 126
107=over 4 127=over 4
108 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
109=item aio_open $pathname, $flags, $mode, $callback 157=item aio_open $pathname, $flags, $mode, $callback->($fh)
110 158
111Asynchronously 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
112created filehandle for the file. 160created filehandle for the file.
113 161
114The pathname passed to C<aio_open> must be absolute. See API NOTES, above, 162The pathname passed to C<aio_open> must be absolute. See API NOTES, above,
131 } else { 179 } else {
132 die "open failed: $!\n"; 180 die "open failed: $!\n";
133 } 181 }
134 }; 182 };
135 183
136=item aio_close $fh, $callback 184=item aio_close $fh, $callback->($status)
137 185
138Asynchronously close a file and call the callback with the result 186Asynchronously close a file and call the callback with the result
139code. I<WARNING:> although accepted, you should not pass in a perl 187code. I<WARNING:> although accepted, you should not pass in a perl
140filehandle here, as perl will likely close the file descriptor another 188filehandle here, as perl will likely close the file descriptor another
141time when the filehandle is destroyed. Normally, you can safely call perls 189time when the filehandle is destroyed. Normally, you can safely call perls
142C<close> or just let filehandles go out of scope. 190C<close> or just let filehandles go out of scope.
143 191
144This is supposed to be a bug in the API, so that might change. It's 192This is supposed to be a bug in the API, so that might change. It's
145therefore best to avoid this function. 193therefore best to avoid this function.
146 194
147=item aio_read $fh,$offset,$length, $data,$dataoffset,$callback 195=item aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
148 196
149=item aio_write $fh,$offset,$length, $data,$dataoffset,$callback 197=item aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
150 198
151Reads or writes C<length> bytes from the specified C<fh> and C<offset> 199Reads or writes C<length> bytes from the specified C<fh> and C<offset>
152into the scalar given by C<data> and offset C<dataoffset> and calls the 200into the scalar given by C<data> and offset C<dataoffset> and calls the
153callback without the actual number of bytes read (or -1 on error, just 201callback without the actual number of bytes read (or -1 on error, just
154like the syscall). 202like the syscall).
163 aio_read $fh, 7, 15, $buffer, 0, sub { 211 aio_read $fh, 7, 15, $buffer, 0, sub {
164 $_[0] > 0 or die "read error: $!"; 212 $_[0] > 0 or die "read error: $!";
165 print "read $_[0] bytes: <$buffer>\n"; 213 print "read $_[0] bytes: <$buffer>\n";
166 }; 214 };
167 215
216=item aio_move $srcpath, $dstpath, $callback->($status)
217
218Try to move the I<file> (directories not supported as either source or
219destination) from C<$srcpath> to C<$dstpath> and call the callback with
220the C<0> (error) or C<-1> ok.
221
222This is a composite request that tries to rename(2) the file first. If
223rename files with C<EXDEV>, it creates the destination file with mode 0200
224and copies the contents of the source file into it using C<aio_sendfile>,
225followed by restoring atime, mtime, access mode and uid/gid, in that
226order, and unlinking the C<$srcpath>.
227
228If an error occurs, the partial destination file will be unlinked, if
229possible, except when setting atime, mtime, access mode and uid/gid, where
230errors are being ignored.
231
232=cut
233
234sub aio_move($$$) {
235 my ($src, $dst, $cb) = @_;
236
237 my $grp = aio_group $cb;
238
239 add $grp aio_rename $src, $dst, sub {
240 if ($_[0] && $! == EXDEV) {
241 add $grp aio_open $src, O_RDONLY, 0, sub {
242 if (my $src_fh = $_[0]) {
243 my @stat = stat $src_fh;
244
245 add $grp aio_open $dst, O_WRONLY, 0200, sub {
246 if (my $dst_fh = $_[0]) {
247 add $grp aio_sendfile $dst_fh, $src_fh, 0, $stat[7], sub {
248 close $src_fh;
249
250 if ($_[0] == $stat[7]) {
251 utime $stat[8], $stat[9], $dst;
252 chmod $stat[2] & 07777, $dst_fh;
253 chown $stat[4], $stat[5], $dst_fh;
254 close $dst_fh;
255
256 add $grp aio_unlink $src, sub {
257 $grp->result ($_[0]);
258 };
259 } else {
260 my $errno = $!;
261 add $grp aio_unlink $dst, sub {
262 $! = $errno;
263 $grp->result (-1);
264 };
265 }
266 };
267 } else {
268 $grp->result (-1);
269 }
270 },
271
272 } else {
273 $grp->result (-1);
274 }
275 };
276 } else {
277 $grp->result ($_[0]);
278 }
279 };
280
281 $grp
282}
283
284=item aio_sendfile $out_fh, $in_fh, $in_offset, $length, $callback->($retval)
285
286Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts
287reading at byte offset C<$in_offset>, and starts writing at the current
288file offset of C<$out_fh>. Because of that, it is not safe to issue more
289than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each
290other.
291
292This call tries to make use of a native C<sendfile> syscall to provide
293zero-copy operation. For this to work, C<$out_fh> should refer to a
294socket, and C<$in_fh> should refer to mmap'able file.
295
296If the native sendfile call fails or is not implemented, it will be
297emulated, so you can call C<aio_sendfile> on any type of filehandle
298regardless of the limitations of the operating system.
299
300Please note, however, that C<aio_sendfile> can read more bytes from
301C<$in_fh> than are written, and there is no way to find out how many
302bytes have been read from C<aio_sendfile> alone, as C<aio_sendfile> only
303provides the number of bytes written to C<$out_fh>. Only if the result
304value equals C<$length> one can assume that C<$length> bytes have been
305read.
306
168=item aio_readahead $fh,$offset,$length, $callback 307=item aio_readahead $fh,$offset,$length, $callback->($retval)
169 308
170C<aio_readahead> populates the page cache with data from a file so that 309C<aio_readahead> populates the page cache with data from a file so that
171subsequent reads from that file will not block on disk I/O. The C<$offset> 310subsequent reads from that file will not block on disk I/O. The C<$offset>
172argument specifies the starting point from which data is to be read and 311argument specifies the starting point from which data is to be read and
173C<$length> specifies the number of bytes to be read. I/O is performed in 312C<$length> specifies the number of bytes to be read. I/O is performed in
177file. The current file offset of the file is left unchanged. 316file. The current file offset of the file is left unchanged.
178 317
179If that syscall doesn't exist (likely if your OS isn't Linux) it will be 318If that syscall doesn't exist (likely if your OS isn't Linux) it will be
180emulated by simply reading the data, which would have a similar effect. 319emulated by simply reading the data, which would have a similar effect.
181 320
182=item aio_stat $fh_or_path, $callback 321=item aio_stat $fh_or_path, $callback->($status)
183 322
184=item aio_lstat $fh, $callback 323=item aio_lstat $fh, $callback->($status)
185 324
186Works like perl's C<stat> or C<lstat> in void context. The callback will 325Works like perl's C<stat> or C<lstat> in void context. The callback will
187be called after the stat and the results will be available using C<stat _> 326be called after the stat and the results will be available using C<stat _>
188or C<-s _> etc... 327or C<-s _> etc...
189 328
199 aio_stat "/etc/passwd", sub { 338 aio_stat "/etc/passwd", sub {
200 $_[0] and die "stat failed: $!"; 339 $_[0] and die "stat failed: $!";
201 print "size is ", -s _, "\n"; 340 print "size is ", -s _, "\n";
202 }; 341 };
203 342
204=item aio_unlink $pathname, $callback 343=item aio_unlink $pathname, $callback->($status)
205 344
206Asynchronously unlink (delete) a file and call the callback with the 345Asynchronously unlink (delete) a file and call the callback with the
207result code. 346result code.
208 347
348=item aio_link $srcpath, $dstpath, $callback->($status)
349
350Asynchronously create a new link to the existing object at C<$srcpath> at
351the path C<$dstpath> and call the callback with the result code.
352
353=item aio_symlink $srcpath, $dstpath, $callback->($status)
354
355Asynchronously create a new symbolic link to the existing object at C<$srcpath> at
356the path C<$dstpath> and call the callback with the result code.
357
358=item aio_rename $srcpath, $dstpath, $callback->($status)
359
360Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as
361rename(2) and call the callback with the result code.
362
209=item aio_rmdir $pathname, $callback 363=item aio_rmdir $pathname, $callback->($status)
210 364
211Asynchronously rmdir (delete) a directory and call the callback with the 365Asynchronously rmdir (delete) a directory and call the callback with the
212result code. 366result code.
213 367
368=item aio_readdir $pathname, $callback->($entries)
369
370Unlike the POSIX call of the same name, C<aio_readdir> reads an entire
371directory (i.e. opendir + readdir + closedir). The entries will not be
372sorted, and will B<NOT> include the C<.> and C<..> entries.
373
374The callback a single argument which is either C<undef> or an array-ref
375with the filenames.
376
377=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
378
379Scans a directory (similar to C<aio_readdir>) but additionally tries to
380separate the entries of directory C<$path> into two sets of names, ones
381you can recurse into (directories or links to them), and ones you cannot
382recurse into (everything else).
383
384C<aio_scandir> is a composite request that creates of many sub requests_
385C<$maxreq> specifies the maximum number of outstanding aio requests that
386this function generates. If it is C<< <= 0 >>, then a suitable default
387will be chosen (currently 6).
388
389On error, the callback is called without arguments, otherwise it receives
390two array-refs with path-relative entry names.
391
392Example:
393
394 aio_scandir $dir, 0, sub {
395 my ($dirs, $nondirs) = @_;
396 print "real directories: @$dirs\n";
397 print "everything else: @$nondirs\n";
398 };
399
400Implementation notes.
401
402The C<aio_readdir> cannot be avoided, but C<stat()>'ing every entry can.
403
404After reading the directory, the modification time, size etc. of the
405directory before and after the readdir is checked, and if they match (and
406isn't the current time), the link count will be used to decide how many
407entries are directories (if >= 2). Otherwise, no knowledge of the number
408of subdirectories will be assumed.
409
410Then entries will be sorted into likely directories (everything without
411a non-initial dot currently) and likely non-directories (everything
412else). Then every entry plus an appended C</.> will be C<stat>'ed,
413likely directories first. If that succeeds, it assumes that the entry
414is a directory or a symlink to directory (which will be checked
415seperately). This is often faster than stat'ing the entry itself because
416filesystems might detect the type of the entry without reading the inode
417data (e.g. ext2fs filetype feature).
418
419If the known number of directories (link count - 2) has been reached, the
420rest of the entries is assumed to be non-directories.
421
422This only works with certainty on POSIX (= UNIX) filesystems, which
423fortunately are the vast majority of filesystems around.
424
425It will also likely work on non-POSIX filesystems with reduced efficiency
426as those tend to return 0 or 1 as link counts, which disables the
427directory counting heuristic.
428
429=cut
430
431sub aio_scandir($$$) {
432 my ($path, $maxreq, $cb) = @_;
433
434 my $grp = aio_group $cb;
435
436 $maxreq = 6 if $maxreq <= 0;
437
438 # stat once
439 add $grp aio_stat $path, sub {
440 return $grp->result () if $_[0];
441 my $now = time;
442 my $hash1 = join ":", (stat _)[0,1,3,7,9];
443
444 # read the directory entries
445 add $grp aio_readdir $path, sub {
446 my $entries = shift
447 or return $grp->result ();
448
449 # stat the dir another time
450 add $grp aio_stat $path, sub {
451 my $hash2 = join ":", (stat _)[0,1,3,7,9];
452
453 my $ndirs;
454
455 # take the slow route if anything looks fishy
456 if ($hash1 ne $hash2 or (stat _)[9] == $now) {
457 $ndirs = -1;
458 } else {
459 # if nlink == 2, we are finished
460 # on non-posix-fs's, we rely on nlink < 2
461 $ndirs = (stat _)[3] - 2
462 or return $grp->result ([], $entries);
463 }
464
465 # sort into likely dirs and likely nondirs
466 # dirs == files without ".", short entries first
467 $entries = [map $_->[0],
468 sort { $b->[1] cmp $a->[1] }
469 map [$_, sprintf "%s%04d", (/.\./ ? "1" : "0"), length],
470 @$entries];
471
472 my (@dirs, @nondirs);
473
474 my ($statcb, $schedcb);
475 my $nreq = 0;
476
477 my $statgrp = add $grp aio_group;
478
479 $schedcb = sub {
480 if (@$entries) {
481 if ($nreq < $maxreq) {
482 my $ent = pop @$entries;
483 $nreq++;
484 add $statgrp aio_stat "$path/$ent/.", sub { $statcb->($_[0], $ent) };
485 }
486 } elsif (!$nreq) {
487 # finished
488 $statgrp->cancel;
489 undef $statcb;
490 undef $schedcb;
491 $grp->result (\@dirs, \@nondirs);
492 }
493 };
494 $statcb = sub {
495 my ($status, $entry) = @_;
496
497 if ($status < 0) {
498 $nreq--;
499 push @nondirs, $entry;
500 &$schedcb;
501 } else {
502 # need to check for real directory
503 add $grp aio_lstat "$path/$entry", sub {
504 $nreq--;
505
506 if (-d _) {
507 push @dirs, $entry;
508
509 if (!--$ndirs) {
510 push @nondirs, @$entries;
511 $entries = [];
512 }
513 } else {
514 push @nondirs, $entry;
515 }
516
517 &$schedcb;
518 }
519 }
520 };
521
522 &$schedcb while @$entries && $nreq < $maxreq;
523 };
524 };
525 };
526
527 $grp
528}
529
214=item aio_fsync $fh, $callback 530=item aio_fsync $fh, $callback->($status)
215 531
216Asynchronously call fsync on the given filehandle and call the callback 532Asynchronously call fsync on the given filehandle and call the callback
217with the fsync result code. 533with the fsync result code.
218 534
219=item aio_fdatasync $fh, $callback 535=item aio_fdatasync $fh, $callback->($status)
220 536
221Asynchronously call fdatasync on the given filehandle and call the 537Asynchronously call fdatasync on the given filehandle and call the
222callback with the fdatasync result code. 538callback with the fdatasync result code.
223 539
224If this call isn't available because your OS lacks it or it couldn't be 540If this call isn't available because your OS lacks it or it couldn't be
225detected, it will be emulated by calling C<fsync> instead. 541detected, it will be emulated by calling C<fsync> instead.
542
543=item aio_group $callback->(...)
544
545[EXPERIMENTAL]
546
547This is a very special aio request: Instead of doing something, it is a
548container for other aio requests, which is useful if you want to bundle
549many requests into a single, composite, request with a definite callback
550and the ability to cancel the whole request with its subrequests.
551
552Returns an object of class L<IO::AIO::GRP>. See its documentation below
553for more info.
554
555Example:
556
557 my $grp = aio_group sub {
558 print "all stats done\n";
559 };
560
561 add $grp
562 (aio_stat ...),
563 (aio_stat ...),
564 ...;
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
579=item IO::AIO::aio_busy $fractional_seconds, $callback->() *NOT EXPORTED*
580
581Mainly used for debugging and benchmarking, this aio request puts one of
582the request workers to sleep for the given time.
583
584While it is theoretically handy to have simple I/O scheduling requests
585like sleep and file handle readable/writable, the overhead this creates is
586immense (it blocks a thread for a long time) so do not use this function
587except to put your application under artificial I/O pressure.
588
589=back
590
591=head2 IO::AIO::REQ CLASS
592
593All non-aggregate C<aio_*> functions return an object of this class when
594called in non-void context.
595
596A request always moves through the following five states in its lifetime,
597in order: B<ready> (request has been created, but has not been executed
598yet), B<execute> (request is currently being executed), B<pending>
599(request has been executed but callback has not been called yet),
600B<result> (results are being processed synchronously, includes calling the
601callback) and B<done> (request has reached the end of its lifetime and
602holds no resources anymore).
603
604=over 4
605
606=item cancel $req
607
608Cancels the request, if possible. Has the effect of skipping execution
609when entering the B<execute> state and skipping calling the callback when
610entering the the B<result> state, but will leave the request otherwise
611untouched. That means that requests that currently execute will not be
612stopped and resources held by the request will not be freed prematurely.
613
614=item cb $req $callback->(...)
615
616Replace (or simply set) the callback registered to the request.
617
618=back
619
620=head2 IO::AIO::GRP CLASS
621
622This class is a subclass of L<IO::AIO::REQ>, so all its methods apply to
623objects of this class, too.
624
625A IO::AIO::GRP object is a special request that can contain multiple other
626aio requests.
627
628You create one by calling the C<aio_group> constructing function with a
629callback that will be called when all contained requests have entered the
630C<done> state:
631
632 my $grp = aio_group sub {
633 print "all requests are done\n";
634 };
635
636You add requests by calling the C<add> method with one or more
637C<IO::AIO::REQ> objects:
638
639 $grp->add (aio_unlink "...");
640
641 add $grp aio_stat "...", sub {
642 $_[0] or return $grp->result ("error");
643
644 # add another request dynamically, if first succeeded
645 add $grp aio_open "...", sub {
646 $grp->result ("ok");
647 };
648 };
649
650This makes it very easy to create composite requests (see the source of
651C<aio_move> for an application) that work and feel like simple requests.
652
653=over 4
654
655=item * The IO::AIO::GRP objects will be cleaned up during calls to
656C<IO::AIO::poll_cb>, just like any other request.
657
658=item * They can be canceled like any other request. Canceling will cancel not
659only the request itself, but also all requests it contains.
660
661=item * They can also can also be added to other IO::AIO::GRP objects.
662
663=item * You must not add requests to a group from within the group callback (or
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
671
672Their lifetime, simplified, looks like this: when they are empty, they
673will finish very quickly. If they contain only requests that are in the
674C<done> state, they will also finish. Otherwise they will continue to
675exist.
676
677That means after creating a group you have some time to add requests. And
678in the callbacks of those requests, you can add further requests to the
679group. And only when all those requests have finished will the the group
680itself finish.
681
682=over 4
683
684=item add $grp ...
685
686=item $grp->add (...)
687
688Add one or more requests to the group. Any type of L<IO::AIO::REQ> can
689be added, including other groups, as long as you do not create circular
690dependencies.
691
692Returns all its arguments.
693
694=item $grp->result (...)
695
696Set the result value(s) that will be passed to the group callback when all
697subrequests have finished. By default, no argument will be passed.
698
699=item feed $grp $callback->($grp)
700
701[VERY EXPERIMENTAL]
702
703Sets a feeder/generator on this group: every group can have an attached
704generator that generates requests if idle. The idea behind this is that,
705although you could just queue as many requests as you want in a group,
706this might starve other requests for a potentially long time. For
707example, C<aio_scandir> might generate hundreds of thousands C<aio_stat>
708requests, delaying any later requests for a long time.
709
710To avoid this, and allow incremental generation of requests, you can
711instead a group and set a feeder on it that generates those requests. The
712feed callback will be called whenever there are few enough (see C<limit>,
713below) requests active in the group itself and is expected to queue more
714requests.
715
716The feed callback can queue as many requests as it likes (i.e. C<add> does
717not impose any limits).
718
719If the feed does not queue more requests when called, it will be
720automatically removed from the group.
721
722If the feed limit is C<0>, it will be set to C<2> automatically.
723
724Example:
725
726 # stat all files in @files, but only ever use four aio requests concurrently:
727
728 my $grp = aio_group sub { print "finished\n" };
729 limit $grp 4;
730 feed $grp sub {
731 my $file = pop @files
732 or return;
733
734 add $grp aio_stat $file, sub { ... };
735 };
736
737=item limit $grp $num
738
739Sets the feeder limit for the group: The feeder will be called whenever
740the group contains less than this many requests.
741
742Setting the limit to C<0> will pause the feeding process.
226 743
227=back 744=back
228 745
229=head2 SUPPORT FUNCTIONS 746=head2 SUPPORT FUNCTIONS
230 747
288 IO::AIO::poll_wait, IO::AIO::poll_cb 805 IO::AIO::poll_wait, IO::AIO::poll_cb
289 if IO::AIO::nreqs; 806 if IO::AIO::nreqs;
290 807
291=item IO::AIO::min_parallel $nthreads 808=item IO::AIO::min_parallel $nthreads
292 809
293Set the minimum number of AIO threads to C<$nthreads>. The default is 810Set the minimum number of AIO threads to C<$nthreads>. The current
294C<1>, which means a single asynchronous operation can be done at one time 811default is C<8>, which means eight asynchronous operations can execute
295(the number of outstanding operations, however, is unlimited). 812concurrently at any one time (the number of outstanding requests,
813however, is unlimited).
296 814
815IO::AIO starts threads only on demand, when an AIO request is queued and
816no free thread exists.
817
297It is recommended to keep the number of threads low, as some Linux 818It is recommended to keep the number of threads relatively low, as some
298kernel versions will scale negatively with the number of threads (higher 819Linux kernel versions will scale negatively with the number of threads
299parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32 820(higher parallelity => MUCH higher latency). With current Linux 2.6
300threads should be fine. 821versions, 4-32 threads should be fine.
301 822
302Under normal circumstances you don't need to call this function, as this 823Under most circumstances you don't need to call this function, as the
303module automatically starts some threads (the exact number might change, 824module selects a default that is suitable for low to moderate load.
304and is currently 4).
305 825
306=item IO::AIO::max_parallel $nthreads 826=item IO::AIO::max_parallel $nthreads
307 827
308Sets the maximum number of AIO threads to C<$nthreads>. If more than 828Sets the maximum number of AIO threads to C<$nthreads>. If more than the
309the specified number of threads are currently running, kill them. This 829specified number of threads are currently running, this function kills
310function blocks until the limit is reached. 830them. This function blocks until the limit is reached.
831
832While C<$nthreads> are zero, aio requests get queued but not executed
833until the number of threads has been increased again.
311 834
312This module automatically runs C<max_parallel 0> at program end, to ensure 835This module automatically runs C<max_parallel 0> at program end, to ensure
313that all threads are killed and that there are no outstanding requests. 836that all threads are killed and that there are no outstanding requests.
314 837
315Under normal circumstances you don't need to call this function. 838Under normal circumstances you don't need to call this function.
316 839
317=item $oldnreqs = IO::AIO::max_outstanding $nreqs 840=item $oldnreqs = IO::AIO::max_outstanding $nreqs
841
842[DEPRECATED]
318 843
319Sets the maximum number of outstanding requests to C<$nreqs>. If you 844Sets the maximum number of outstanding requests to C<$nreqs>. If you
320try 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
321some requests have been handled. 846some requests have been handled.
322 847
323The 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
324queue up many requests in a loop it it often improves speed if you set 849queue up many requests in a loop it often improves speed if you set
325this 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.
326 855
327Under normal circumstances you don't need to call this function. 856Under normal circumstances you don't need to call this function.
328 857
329=back 858=back
330 859
344 or return undef; 873 or return undef;
345 874
346 *$sym 875 *$sym
347} 876}
348 877
349min_parallel 4; 878min_parallel 8;
350 879
351END { 880END {
352 max_parallel 0; 881 max_parallel 0;
353} 882}
354 883
3551; 8841;
356 885
357=head2 FORK BEHAVIOUR 886=head2 FORK BEHAVIOUR
358 887
888This module should do "the right thing" when the process using it forks:
889
359Before the fork IO::AIO enters a quiescent state where no requests can be 890Before the fork, IO::AIO enters a quiescent state where no requests
360added in other threads and no results will be processed. After the fork 891can be added in other threads and no results will be processed. After
361the parent simply leaves the quiescent state and continues request/result 892the fork the parent simply leaves the quiescent state and continues
362processing, while the child clears the request/result queue and starts the 893request/result processing, while the child clears the request/result
363same number of threads as were in use by the parent. 894queue (so the requests started before the fork will only be handled in
895the parent). Threads will be started on demand until the limit ste in the
896parent process has been reached again.
897
898In short: the parent will, after a short pause, continue as if fork had
899not been called, while the child will act as if IO::AIO has not been used
900yet.
901
902=head2 MEMORY USAGE
903
904Each aio request uses - depending on your architecture - around 128 bytes
905of memory. In addition, stat requests need a stat buffer (possibly a few
906hundred bytes). Perl scalars and other data passed into aio requests will
907also be locked.
908
909This is now awfully much, so queuing lots of requests is not usually a
910problem.
911
912Each thread needs a stack area which is usually around 16k, sometimes much
913larger, depending on the OS.
364 914
365=head1 SEE ALSO 915=head1 SEE ALSO
366 916
367L<Coro>, L<Linux::AIO>. 917L<Coro::AIO>.
368 918
369=head1 AUTHOR 919=head1 AUTHOR
370 920
371 Marc Lehmann <schmorp@schmorp.de> 921 Marc Lehmann <schmorp@schmorp.de>
372 http://home.schmorp.de/ 922 http://home.schmorp.de/

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines