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.16 by root, Mon Jul 11 03:10:08 2005 UTC vs.
Revision 1.57 by root, Sun Oct 22 01:28:31 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 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
30 open my $fh, "<&=" . IO::AIO::poll_fileno or die "$!";
31 my $w = AnyEvent->io (fh => $fh, poll => 'r', cb => sub { IO::AIO::poll_cb });
32
33 # Event integration
21 Event->io (fd => IO::AIO::poll_fileno, 34 Event->io (fd => IO::AIO::poll_fileno,
22 poll => 'r', 35 poll => 'r',
23 cb => \&IO::AIO::poll_cb); 36 cb => \&IO::AIO::poll_cb);
24 37
25 # Glib/Gtk2 38 # Glib/Gtk2 integration
26 add_watch Glib::IO IO::AIO::poll_fileno, 39 add_watch Glib::IO IO::AIO::poll_fileno,
27 in => sub { IO::AIO::poll_cb, 1 }; 40 in => sub { IO::AIO::poll_cb; 1 };
28 41
29 # Tk 42 # Tk integration
30 Tk::Event::IO->fileevent (IO::AIO::poll_fileno, "", 43 Tk::Event::IO->fileevent (IO::AIO::poll_fileno, "",
31 readable => \&IO::AIO::poll_cb); 44 readable => \&IO::AIO::poll_cb);
32 45
33 # Danga::Socket 46 # Danga::Socket integration
34 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno => 47 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
35 \&IO::AIO::poll_cb); 48 \&IO::AIO::poll_cb);
36
37 49
38=head1 DESCRIPTION 50=head1 DESCRIPTION
39 51
40This module implements asynchronous I/O using whatever means your 52This module implements asynchronous I/O using whatever means your
41operating system supports. 53operating system supports.
48not well-supported (Linux doesn't allow them on normal files currently, 60not well-supported (Linux doesn't allow them on normal files currently,
49for example), and they would only support aio_read and aio_write, so the 61for example), and they would only support aio_read and aio_write, so the
50remaining functionality would have to be implemented using threads anyway. 62remaining functionality would have to be implemented using threads anyway.
51 63
52Although the module will work with in the presence of other threads, it is 64Although the module will work with in the presence of other threads, it is
53currently not reentrant, so use appropriate locking yourself. 65currently not reentrant, so use appropriate locking yourself, always call
66C<poll_cb> from within the same thread, or never call C<poll_cb> (or other
67C<aio_> functions) recursively.
54 68
55=cut 69=cut
56 70
57package IO::AIO; 71package IO::AIO;
58 72
73no warnings;
74use strict 'vars';
75
59use base 'Exporter'; 76use base 'Exporter';
60 77
61use Fcntl ();
62
63BEGIN { 78BEGIN {
64 $VERSION = 0.3; 79 our $VERSION = '2.0';
65 80
66 @EXPORT = qw(aio_read aio_write aio_open aio_close aio_stat aio_lstat aio_unlink 81 our @EXPORT = 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
67 aio_fsync aio_fdatasync aio_readahead); 83 aio_fsync aio_fdatasync aio_readahead aio_rename aio_link aio_move
84 aio_group);
68 @EXPORT_OK = qw(poll_fileno poll_cb min_parallel max_parallel max_outstanding nreqs); 85 our @EXPORT_OK = qw(poll_fileno poll_cb min_parallel max_parallel max_outstanding nreqs);
86
87 @IO::AIO::GRP::ISA = 'IO::AIO::REQ';
69 88
70 require XSLoader; 89 require XSLoader;
71 XSLoader::load IO::AIO, $VERSION; 90 XSLoader::load ("IO::AIO", $VERSION);
72} 91}
73 92
74=head1 FUNCTIONS 93=head1 FUNCTIONS
75 94
76=head2 AIO FUNCTIONS 95=head2 AIO FUNCTIONS
81which must be a code reference. This code reference will get called with 100which must be a code reference. This code reference will get called with
82the syscall return code (e.g. most syscalls return C<-1> on error, unlike 101the syscall return code (e.g. most syscalls return C<-1> on error, unlike
83perl, 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
84syscall has been executed asynchronously. 103syscall has been executed asynchronously.
85 104
86All functions that expect a filehandle will also accept a file descriptor. 105All functions expecting a filehandle keep a copy of the filehandle
106internally until the request has finished.
87 107
108All requests return objects of type L<IO::AIO::REQ> that allow further
109manipulation of those requests while they are in-flight.
110
88The filenames you pass to these routines I<must> be absolute. The reason 111The pathnames you pass to these routines I<must> be absolute and
89is that at the time the request is being executed, the current working 112encoded in byte form. The reason for the former is that at the time the
90directory could have changed. Alternatively, you can make sure that you 113request is being executed, the current working directory could have
114changed. Alternatively, you can make sure that you never change the
91never change the current working directory. 115current working directory.
116
117To encode pathnames to byte form, either make sure you either: a)
118always pass in filenames you got from outside (command line, readdir
119etc.), b) are ASCII or ISO 8859-1, c) use the Encode module and encode
120your pathnames to the locale (or other) encoding in effect in the user
121environment, d) use Glib::filename_from_unicode on unicode filenames or e)
122use something else.
92 123
93=over 4 124=over 4
94 125
95=item aio_open $pathname, $flags, $mode, $callback 126=item aio_open $pathname, $flags, $mode, $callback->($fh)
96 127
97Asynchronously open or create a file and call the callback with a newly 128Asynchronously open or create a file and call the callback with a newly
98created filehandle for the file. 129created filehandle for the file.
99 130
100The pathname passed to C<aio_open> must be absolute. See API NOTES, above, 131The pathname passed to C<aio_open> must be absolute. See API NOTES, above,
101for an explanation. 132for an explanation.
102 133
103The C<$mode> argument is a bitmask. See the C<Fcntl> module for a 134The C<$flags> argument is a bitmask. See the C<Fcntl> module for a
104list. They are the same as used in C<sysopen>. 135list. They are the same as used by C<sysopen>.
136
137Likewise, C<$mode> specifies the mode of the newly created file, if it
138didn't exist and C<O_CREAT> has been given, just like perl's C<sysopen>,
139except that it is mandatory (i.e. use C<0> if you don't create new files,
140and C<0666> or C<0777> if you do).
105 141
106Example: 142Example:
107 143
108 aio_open "/etc/passwd", O_RDONLY, 0, sub { 144 aio_open "/etc/passwd", O_RDONLY, 0, sub {
109 if ($_[0]) { 145 if ($_[0]) {
112 } else { 148 } else {
113 die "open failed: $!\n"; 149 die "open failed: $!\n";
114 } 150 }
115 }; 151 };
116 152
117=item aio_close $fh, $callback 153=item aio_close $fh, $callback->($status)
118 154
119Asynchronously close a file and call the callback with the result 155Asynchronously close a file and call the callback with the result
120code. I<WARNING:> although accepted, you should not pass in a perl 156code. I<WARNING:> although accepted, you should not pass in a perl
121filehandle here, as perl will likely close the file descriptor itself when 157filehandle here, as perl will likely close the file descriptor another
122the filehandle is destroyed. Normally, you can safely call perls C<close> 158time when the filehandle is destroyed. Normally, you can safely call perls
123or just let filehandles go out of scope. 159C<close> or just let filehandles go out of scope.
124 160
161This is supposed to be a bug in the API, so that might change. It's
162therefore best to avoid this function.
163
125=item aio_read $fh,$offset,$length, $data,$dataoffset,$callback 164=item aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
126 165
127=item aio_write $fh,$offset,$length, $data,$dataoffset,$callback 166=item aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
128 167
129Reads or writes C<length> bytes from the specified C<fh> and C<offset> 168Reads or writes C<length> bytes from the specified C<fh> and C<offset>
130into the scalar given by C<data> and offset C<dataoffset> and calls the 169into the scalar given by C<data> and offset C<dataoffset> and calls the
131callback without the actual number of bytes read (or -1 on error, just 170callback without the actual number of bytes read (or -1 on error, just
132like the syscall). 171like the syscall).
133 172
173The C<$data> scalar I<MUST NOT> be modified in any way while the request
174is outstanding. Modifying it can result in segfaults or WW3 (if the
175necessary/optional hardware is installed).
176
134Example: Read 15 bytes at offset 7 into scalar C<$buffer>, strating at 177Example: Read 15 bytes at offset 7 into scalar C<$buffer>, starting at
135offset C<0> within the scalar: 178offset C<0> within the scalar:
136 179
137 aio_read $fh, 7, 15, $buffer, 0, sub { 180 aio_read $fh, 7, 15, $buffer, 0, sub {
138 $_[0] > 0 or die "read error: $!"; 181 $_[0] > 0 or die "read error: $!";
139 print "read $_[0] bytes: <$buffer>\n"; 182 print "read $_[0] bytes: <$buffer>\n";
140 }; 183 };
141 184
185=item aio_move $srcpath, $dstpath, $callback->($status)
186
187Try to move the I<file> (directories not supported as either source or
188destination) from C<$srcpath> to C<$dstpath> and call the callback with
189the C<0> (error) or C<-1> ok.
190
191This is a composite request that tries to rename(2) the file first. If
192rename files with C<EXDEV>, it creates the destination file with mode 0200
193and copies the contents of the source file into it using C<aio_sendfile>,
194followed by restoring atime, mtime, access mode and uid/gid, in that
195order, and unlinking the C<$srcpath>.
196
197If an error occurs, the partial destination file will be unlinked, if
198possible, except when setting atime, mtime, access mode and uid/gid, where
199errors are being ignored.
200
201=cut
202
203sub aio_move($$$) {
204 my ($src, $dst, $cb) = @_;
205
206 my $grp = aio_group;
207
208 add $grp aio_rename $src, $dst, sub {
209 if ($_[0] && $! == EXDEV) {
210 add $grp aio_open $src, O_RDONLY, 0, sub {
211 if (my $src_fh = $_[0]) {
212 my @stat = stat $src_fh;
213
214 add $grp aio_open $dst, O_WRONLY, 0200, sub {
215 if (my $dst_fh = $_[0]) {
216 add $grp aio_sendfile $dst_fh, $src_fh, 0, $stat[7], sub {
217 close $src_fh;
218
219 if ($_[0] == $stat[7]) {
220 utime $stat[8], $stat[9], $dst;
221 chmod $stat[2] & 07777, $dst_fh;
222 chown $stat[4], $stat[5], $dst_fh;
223 close $dst_fh;
224
225 add $grp aio_unlink $src, sub {
226 $cb->($_[0]);
227 };
228 } else {
229 my $errno = $!;
230 add $grp aio_unlink $dst, sub {
231 $! = $errno;
232 $cb->(-1);
233 };
234 }
235 };
236 } else {
237 $cb->(-1);
238 }
239 },
240
241 } else {
242 $cb->(-1);
243 }
244 };
245 } else {
246 $cb->($_[0]);
247 }
248 };
249
250 $grp
251}
252
253=item aio_sendfile $out_fh, $in_fh, $in_offset, $length, $callback->($retval)
254
255Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts
256reading at byte offset C<$in_offset>, and starts writing at the current
257file offset of C<$out_fh>. Because of that, it is not safe to issue more
258than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each
259other.
260
261This call tries to make use of a native C<sendfile> syscall to provide
262zero-copy operation. For this to work, C<$out_fh> should refer to a
263socket, and C<$in_fh> should refer to mmap'able file.
264
265If the native sendfile call fails or is not implemented, it will be
266emulated, so you can call C<aio_sendfile> on any type of filehandle
267regardless of the limitations of the operating system.
268
269Please note, however, that C<aio_sendfile> can read more bytes from
270C<$in_fh> than are written, and there is no way to find out how many
271bytes have been read from C<aio_sendfile> alone, as C<aio_sendfile> only
272provides the number of bytes written to C<$out_fh>. Only if the result
273value equals C<$length> one can assume that C<$length> bytes have been
274read.
275
142=item aio_readahead $fh,$offset,$length, $callback 276=item aio_readahead $fh,$offset,$length, $callback->($retval)
143 277
144Asynchronously reads the specified byte range into the page cache, using
145the C<readahead> syscall. If that syscall doesn't exist the status will be
146C<-1> and C<$!> is set to ENOSYS.
147
148readahead() populates the page cache with data from a file so that 278C<aio_readahead> populates the page cache with data from a file so that
149subsequent reads from that file will not block on disk I/O. The C<$offset> 279subsequent reads from that file will not block on disk I/O. The C<$offset>
150argument specifies the starting point from which data is to be read and 280argument specifies the starting point from which data is to be read and
151C<$length> specifies the number of bytes to be read. I/O is performed in 281C<$length> specifies the number of bytes to be read. I/O is performed in
152whole pages, so that offset is effectively rounded down to a page boundary 282whole pages, so that offset is effectively rounded down to a page boundary
153and bytes are read up to the next page boundary greater than or equal to 283and bytes are read up to the next page boundary greater than or equal to
154(off-set+length). aio_readahead() does not read beyond the end of the 284(off-set+length). C<aio_readahead> does not read beyond the end of the
155file. The current file offset of the file is left unchanged. 285file. The current file offset of the file is left unchanged.
156 286
287If that syscall doesn't exist (likely if your OS isn't Linux) it will be
288emulated by simply reading the data, which would have a similar effect.
289
157=item aio_stat $fh_or_path, $callback 290=item aio_stat $fh_or_path, $callback->($status)
158 291
159=item aio_lstat $fh, $callback 292=item aio_lstat $fh, $callback->($status)
160 293
161Works like perl's C<stat> or C<lstat> in void context. The callback will 294Works like perl's C<stat> or C<lstat> in void context. The callback will
162be called after the stat and the results will be available using C<stat _> 295be called after the stat and the results will be available using C<stat _>
163or C<-s _> etc... 296or C<-s _> etc...
164 297
174 aio_stat "/etc/passwd", sub { 307 aio_stat "/etc/passwd", sub {
175 $_[0] and die "stat failed: $!"; 308 $_[0] and die "stat failed: $!";
176 print "size is ", -s _, "\n"; 309 print "size is ", -s _, "\n";
177 }; 310 };
178 311
179=item aio_unlink $pathname, $callback 312=item aio_unlink $pathname, $callback->($status)
180 313
181Asynchronously unlink (delete) a file and call the callback with the 314Asynchronously unlink (delete) a file and call the callback with the
182result code. 315result code.
183 316
317=item aio_link $srcpath, $dstpath, $callback->($status)
318
319Asynchronously create a new link to the existing object at C<$srcpath> at
320the path C<$dstpath> and call the callback with the result code.
321
322=item aio_symlink $srcpath, $dstpath, $callback->($status)
323
324Asynchronously create a new symbolic link to the existing object at C<$srcpath> at
325the path C<$dstpath> and call the callback with the result code.
326
327=item aio_rename $srcpath, $dstpath, $callback->($status)
328
329Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as
330rename(2) and call the callback with the result code.
331
332=item aio_rmdir $pathname, $callback->($status)
333
334Asynchronously rmdir (delete) a directory and call the callback with the
335result code.
336
337=item aio_readdir $pathname, $callback->($entries)
338
339Unlike the POSIX call of the same name, C<aio_readdir> reads an entire
340directory (i.e. opendir + readdir + closedir). The entries will not be
341sorted, and will B<NOT> include the C<.> and C<..> entries.
342
343The callback a single argument which is either C<undef> or an array-ref
344with the filenames.
345
346=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
347
348Scans a directory (similar to C<aio_readdir>) but additionally tries to
349separate the entries of directory C<$path> into two sets of names, ones
350you can recurse into (directories or links to them), and ones you cannot
351recurse into (everything else).
352
353C<aio_scandir> is a composite request that consists of many sub
354requests. C<$maxreq> specifies the maximum number of outstanding aio
355requests that this function generates. If it is C<< <= 0 >>, then a
356suitable default will be chosen (currently 8).
357
358On error, the callback is called without arguments, otherwise it receives
359two array-refs with path-relative entry names.
360
361Example:
362
363 aio_scandir $dir, 0, sub {
364 my ($dirs, $nondirs) = @_;
365 print "real directories: @$dirs\n";
366 print "everything else: @$nondirs\n";
367 };
368
369Implementation notes.
370
371The C<aio_readdir> cannot be avoided, but C<stat()>'ing every entry can.
372
373After reading the directory, the modification time, size etc. of the
374directory before and after the readdir is checked, and if they match (and
375isn't the current time), the link count will be used to decide how many
376entries are directories (if >= 2). Otherwise, no knowledge of the number
377of subdirectories will be assumed.
378
379Then entries will be sorted into likely directories (everything without
380a non-initial dot currently) and likely non-directories (everything
381else). Then every entry plus an appended C</.> will be C<stat>'ed,
382likely directories first. If that succeeds, it assumes that the entry
383is a directory or a symlink to directory (which will be checked
384seperately). This is often faster than stat'ing the entry itself because
385filesystems might detect the type of the entry without reading the inode
386data (e.g. ext2fs filetype feature).
387
388If the known number of directories (link count - 2) has been reached, the
389rest of the entries is assumed to be non-directories.
390
391This only works with certainty on POSIX (= UNIX) filesystems, which
392fortunately are the vast majority of filesystems around.
393
394It will also likely work on non-POSIX filesystems with reduced efficiency
395as those tend to return 0 or 1 as link counts, which disables the
396directory counting heuristic.
397
398=cut
399
400sub aio_scandir($$$) {
401 my ($path, $maxreq, $cb) = @_;
402
403 my $grp = aio_group;
404
405 $maxreq = 8 if $maxreq <= 0;
406
407 # stat once
408 add $grp aio_stat $path, sub {
409 return $cb->() if $_[0];
410 my $now = time;
411 my $hash1 = join ":", (stat _)[0,1,3,7,9];
412
413 # read the directory entries
414 add $grp aio_readdir $path, sub {
415 my $entries = shift
416 or return $cb->();
417
418 # stat the dir another time
419 add $grp aio_stat $path, sub {
420 my $hash2 = join ":", (stat _)[0,1,3,7,9];
421
422 my $ndirs;
423
424 # take the slow route if anything looks fishy
425 if ($hash1 ne $hash2 or (stat _)[9] == $now) {
426 $ndirs = -1;
427 } else {
428 # if nlink == 2, we are finished
429 # on non-posix-fs's, we rely on nlink < 2
430 $ndirs = (stat _)[3] - 2
431 or return $cb->([], $entries);
432 }
433
434 # sort into likely dirs and likely nondirs
435 # dirs == files without ".", short entries first
436 $entries = [map $_->[0],
437 sort { $b->[1] cmp $a->[1] }
438 map [$_, sprintf "%s%04d", (/.\./ ? "1" : "0"), length],
439 @$entries];
440
441 my (@dirs, @nondirs);
442
443 my ($statcb, $schedcb);
444 my $nreq = 0;
445
446 $schedcb = sub {
447 if (@$entries) {
448 if ($nreq < $maxreq) {
449 my $ent = pop @$entries;
450 $nreq++;
451 add $grp aio_stat "$path/$ent/.", sub { $statcb->($_[0], $ent) };
452 }
453 } elsif (!$nreq) {
454 # finished
455 undef $statcb;
456 undef $schedcb;
457 $cb->(\@dirs, \@nondirs) if $cb;
458 undef $cb;
459 }
460 };
461 $statcb = sub {
462 my ($status, $entry) = @_;
463
464 if ($status < 0) {
465 $nreq--;
466 push @nondirs, $entry;
467 &$schedcb;
468 } else {
469 # need to check for real directory
470 add $grp aio_lstat "$path/$entry", sub {
471 $nreq--;
472
473 if (-d _) {
474 push @dirs, $entry;
475
476 if (!--$ndirs) {
477 push @nondirs, @$entries;
478 $entries = [];
479 }
480 } else {
481 push @nondirs, $entry;
482 }
483
484 &$schedcb;
485 }
486 }
487 };
488
489 &$schedcb while @$entries && $nreq < $maxreq;
490 };
491 };
492 };
493
494 $grp
495}
496
184=item aio_fsync $fh, $callback 497=item aio_fsync $fh, $callback->($status)
185 498
186Asynchronously call fsync on the given filehandle and call the callback 499Asynchronously call fsync on the given filehandle and call the callback
187with the fsync result code. 500with the fsync result code.
188 501
189=item aio_fdatasync $fh, $callback 502=item aio_fdatasync $fh, $callback->($status)
190 503
191Asynchronously call fdatasync on the given filehandle and call the 504Asynchronously call fdatasync on the given filehandle and call the
192callback with the fdatasync result code. 505callback with the fdatasync result code.
193 506
507If this call isn't available because your OS lacks it or it couldn't be
508detected, it will be emulated by calling C<fsync> instead.
509
510=item aio_group $callback->()
511
512[EXPERIMENTAL]
513
514This is a very special aio request: Instead of doing something, it is a
515container for other aio requests, which is useful if you want to bundle
516many requests into a single, composite, request.
517
518Returns an object of class L<IO::AIO::GRP>. See its documentation below
519for more info.
520
521Example:
522
523 my $grp = aio_group sub {
524 print "all stats done\n";
525 };
526
527 add $grp
528 (aio_stat ...),
529 (aio_stat ...),
530 ...;
531
532=item IO::AIO::aio_sleep $fractional_seconds, $callback->() *NOT EXPORTED*
533
534Mainly used for debugging and benchmarking, this aio request puts one of
535the request workers to sleep for the given time.
536
537While it is theoretically handy to have simple I/O scheduling requests
538like sleep and file handle readable/writable, the overhead this creates
539is immense, so do not use this function except to put your application
540under artificial I/O pressure.
541
194=back 542=back
195 543
544=head2 IO::AIO::REQ CLASS
545
546All non-aggregate C<aio_*> functions return an object of this class when
547called in non-void context.
548
549A request always moves through the following five states in its lifetime,
550in order: B<ready> (request has been created, but has not been executed
551yet), B<execute> (request is currently being executed), B<pending>
552(request has been executed but callback has not been called yet),
553B<result> (results are being processed synchronously, includes calling the
554callback) and B<done> (request has reached the end of its lifetime and
555holds no resources anymore).
556
557=over 4
558
559=item $req->cancel
560
561Cancels the request, if possible. Has the effect of skipping execution
562when entering the B<execute> state and skipping calling the callback when
563entering the the B<result> state, but will leave the request otherwise
564untouched. That means that requests that currently execute will not be
565stopped and resources held by the request will not be freed prematurely.
566
567=back
568
569=head2 IO::AIO::GRP CLASS
570
571This class is a subclass of L<IO::AIO::REQ>, so all its methods apply to
572objects of this class, too.
573
574A IO::AIO::GRP object is a special request that can contain multiple other
575aio requests.
576
577You create one by calling the C<aio_group> constructing function with a
578callback that will be called when all contained requests have entered the
579C<done> state:
580
581 my $grp = aio_group sub {
582 print "all requests are done\n";
583 };
584
585You add requests by calling the C<add> method with one or more
586C<IO::AIO::REQ> objects:
587
588 $grp->add (aio_unlink "...");
589
590 add $grp aio_stat "...", sub { ... };
591
592This makes it very easy to create composite requests (see the source of
593C<aio_move> for an application) that work and feel like simple requests.
594
595The IO::AIO::GRP objects will be cleaned up during calls to
596C<IO::AIO::poll_cb>, just like any other request.
597
598They can be canceled like any other request. Canceling will cancel not
599just the request itself, but also all requests it contains.
600
601They can also can also be added to other IO::AIO::GRP objects.
602
603Their lifetime, simplified, looks like this: when they are empty, they
604will finish very quickly. If they contain only requests that are in the
605C<done> state, they will also finish. Otherwise they will continue to
606exist.
607
608That means after creating a group you have some time to add requests. And
609in the callbacks of those requests, you can add further requests to the
610group. And only when all those requests have finished will the the group
611itself finish.
612
613=over 4
614
615=item $grp->add (...)
616
617=item add $grp ...
618
619Add one or more requests to the group. Any type of L<IO::AIO::REQ> can
620be added, including other groups, as long as you do not create circular
621dependencies.
622
623Returns all its arguments.
624
625=back
626
196=head2 SUPPORT FUNCTIONS 627=head2 SUPPORT FUNCTIONS
197 628
198=over 4 629=over 4
199 630
200=item $fileno = IO::AIO::poll_fileno 631=item $fileno = IO::AIO::poll_fileno
201 632
202Return the I<request result pipe filehandle>. This filehandle must be 633Return the I<request result pipe file descriptor>. This filehandle must be
203polled for reading by some mechanism outside this module (e.g. Event 634polled for reading by some mechanism outside this module (e.g. Event or
204or select, see below). If the pipe becomes readable you have to call 635select, see below or the SYNOPSIS). If the pipe becomes readable you have
205C<poll_cb> to check the results. 636to call C<poll_cb> to check the results.
206 637
207See C<poll_cb> for an example. 638See C<poll_cb> for an example.
208 639
209=item IO::AIO::poll_cb 640=item IO::AIO::poll_cb
210 641
211Process all outstanding events on the result pipe. You have to call this 642Process all outstanding events on the result pipe. You have to call this
212regularly. Returns the number of events processed. Returns immediately 643regularly. Returns the number of events processed. Returns immediately
213when no events are outstanding. 644when no events are outstanding.
214 645
215You can use Event to multiplex, e.g.: 646Example: Install an Event watcher that automatically calls
647IO::AIO::poll_cb with high priority:
216 648
217 Event->io (fd => IO::AIO::poll_fileno, 649 Event->io (fd => IO::AIO::poll_fileno,
218 poll => 'r', async => 1, 650 poll => 'r', async => 1,
219 cb => \&IO::AIO::poll_cb); 651 cb => \&IO::AIO::poll_cb);
220 652
221=item IO::AIO::poll_wait 653=item IO::AIO::poll_wait
222 654
223Wait till the result filehandle becomes ready for reading (simply does a 655Wait till the result filehandle becomes ready for reading (simply does a
224select on the filehandle. This is useful if you want to synchronously wait 656C<select> on the filehandle. This is useful if you want to synchronously wait
225for some requests to finish). 657for some requests to finish).
226 658
227See C<nreqs> for an example. 659See C<nreqs> for an example.
228 660
229=item IO::AIO::nreqs 661=item IO::AIO::nreqs
230 662
231Returns the number of requests currently outstanding. 663Returns the number of requests currently outstanding (i.e. for which their
664callback has not been invoked yet).
232 665
233Example: wait till there are no outstanding requests anymore: 666Example: wait till there are no outstanding requests anymore:
234 667
235 IO::AIO::poll_wait, IO::AIO::poll_cb 668 IO::AIO::poll_wait, IO::AIO::poll_cb
236 while IO::AIO::nreqs; 669 while IO::AIO::nreqs;
253 IO::AIO::poll_wait, IO::AIO::poll_cb 686 IO::AIO::poll_wait, IO::AIO::poll_cb
254 if IO::AIO::nreqs; 687 if IO::AIO::nreqs;
255 688
256=item IO::AIO::min_parallel $nthreads 689=item IO::AIO::min_parallel $nthreads
257 690
258Set the minimum number of AIO threads to C<$nthreads>. The default is 691Set the minimum number of AIO threads to C<$nthreads>. The current default
259C<1>, which means a single asynchronous operation can be done at one time 692is C<4>, which means four asynchronous operations can be done at one time
260(the number of outstanding operations, however, is unlimited). 693(the number of outstanding operations, however, is unlimited).
694
695IO::AIO starts threads only on demand, when an AIO request is queued and
696no free thread exists.
261 697
262It is recommended to keep the number of threads low, as some Linux 698It is recommended to keep the number of threads low, as some Linux
263kernel versions will scale negatively with the number of threads (higher 699kernel versions will scale negatively with the number of threads (higher
264parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32 700parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32
265threads should be fine. 701threads should be fine.
266 702
267Under normal circumstances you don't need to call this function, as this 703Under most circumstances you don't need to call this function, as the
268module automatically starts some threads (the exact number might change, 704module selects a default that is suitable for low to moderate load.
269and is currently 4).
270 705
271=item IO::AIO::max_parallel $nthreads 706=item IO::AIO::max_parallel $nthreads
272 707
273Sets the maximum number of AIO threads to C<$nthreads>. If more than 708Sets the maximum number of AIO threads to C<$nthreads>. If more than the
274the specified number of threads are currently running, kill them. This 709specified number of threads are currently running, this function kills
275function blocks until the limit is reached. 710them. This function blocks until the limit is reached.
711
712While C<$nthreads> are zero, aio requests get queued but not executed
713until the number of threads has been increased again.
276 714
277This module automatically runs C<max_parallel 0> at program end, to ensure 715This module automatically runs C<max_parallel 0> at program end, to ensure
278that all threads are killed and that there are no outstanding requests. 716that all threads are killed and that there are no outstanding requests.
279 717
280Under normal circumstances you don't need to call this function. 718Under normal circumstances you don't need to call this function.
284Sets the maximum number of outstanding requests to C<$nreqs>. If you 722Sets the maximum number of outstanding requests to C<$nreqs>. If you
285try to queue up more than this number of requests, the caller will block until 723try to queue up more than this number of requests, the caller will block until
286some requests have been handled. 724some requests have been handled.
287 725
288The default is very large, so normally there is no practical limit. If you 726The default is very large, so normally there is no practical limit. If you
289queue up many requests in a loop it it often improves speed if you set 727queue up many requests in a loop it often improves speed if you set
290this to a relatively low number, such as C<100>. 728this to a relatively low number, such as C<100>.
291 729
292Under normal circumstances you don't need to call this function. 730Under normal circumstances you don't need to call this function.
293 731
294=back 732=back
297 735
298# support function to convert a fd into a perl filehandle 736# support function to convert a fd into a perl filehandle
299sub _fd2fh { 737sub _fd2fh {
300 return undef if $_[0] < 0; 738 return undef if $_[0] < 0;
301 739
302 # try to be perl5.6-compatible 740 # try to generate nice filehandles
303 local *AIO_FH; 741 my $sym = "IO::AIO::fd#$_[0]";
304 open AIO_FH, "+<&=$_[0]" 742 local *$sym;
743
744 open *$sym, "+<&=$_[0]" # usually works under any unix
745 or open *$sym, "<&=$_[0]" # cygwin needs this
746 or open *$sym, ">&=$_[0]" # or this
305 or return undef; 747 or return undef;
306 748
307 *AIO_FH 749 *$sym
308} 750}
309 751
310min_parallel 4; 752min_parallel 4;
311 753
312END { 754END {
313 max_parallel 0; 755 max_parallel 0;
314} 756}
315 757
3161; 7581;
317 759
760=head2 FORK BEHAVIOUR
761
762This module should do "the right thing" when the process using it forks:
763
764Before the fork, IO::AIO enters a quiescent state where no requests
765can be added in other threads and no results will be processed. After
766the fork the parent simply leaves the quiescent state and continues
767request/result processing, while the child clears the request/result
768queue (so the requests started before the fork will only be handled in
769the parent). Threads will be started on demand until the limit ste in the
770parent process has been reached again.
771
772In short: the parent will, after a short pause, continue as if fork had
773not been called, while the child will act as if IO::AIO has not been used
774yet.
775
318=head1 SEE ALSO 776=head1 SEE ALSO
319 777
320L<Coro>, L<Linux::AIO>. 778L<Coro>, L<Linux::AIO> (obsolete).
321 779
322=head1 AUTHOR 780=head1 AUTHOR
323 781
324 Marc Lehmann <schmorp@schmorp.de> 782 Marc Lehmann <schmorp@schmorp.de>
325 http://home.schmorp.de/ 783 http://home.schmorp.de/

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines