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.10 by root, Sun Jul 10 23:45:16 2005 UTC vs.
Revision 1.56 by root, Sun Oct 22 00:53:47 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 \&IO::AIO::poll_cb; 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);
45
46 # Danga::Socket integration
47 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
48 \&IO::AIO::poll_cb);
32 49
33=head1 DESCRIPTION 50=head1 DESCRIPTION
34 51
35This module implements asynchronous I/O using whatever means your 52This module implements asynchronous I/O using whatever means your
36operating system supports. 53operating system supports.
43not well-supported (Linux doesn't allow them on normal files currently, 60not well-supported (Linux doesn't allow them on normal files currently,
44for 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
45remaining functionality would have to be implemented using threads anyway. 62remaining functionality would have to be implemented using threads anyway.
46 63
47Although 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
48currently 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.
49 68
50=cut 69=cut
51 70
52package IO::AIO; 71package IO::AIO;
53 72
73no warnings;
74use strict 'vars';
75
54use base 'Exporter'; 76use base 'Exporter';
55 77
56use Fcntl ();
57
58BEGIN { 78BEGIN {
59 $VERSION = 0.3; 79 our $VERSION = '2.0';
60 80
61 @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
62 aio_fsync aio_fdatasync aio_readahead); 83 aio_fsync aio_fdatasync aio_readahead aio_rename aio_link aio_move
84 aio_group);
63 @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';
64 88
65 require XSLoader; 89 require XSLoader;
66 XSLoader::load IO::AIO, $VERSION; 90 XSLoader::load ("IO::AIO", $VERSION);
67} 91}
68 92
69=head1 FUNCTIONS 93=head1 FUNCTIONS
70 94
71=head2 AIO FUNCTIONS 95=head2 AIO FUNCTIONS
72 96
73All the C<aio_*> calls are more or less thin wrappers around the syscall 97All the C<aio_*> calls are more or less thin wrappers around the syscall
74with the same name (sans C<aio_>). The arguments are similar or identical, 98with the same name (sans C<aio_>). The arguments are similar or identical,
75and they all accept an additional C<$callback> argument which must be 99and they all accept an additional (and optional) C<$callback> argument
76a code reference. This code reference will get called with the syscall 100which must be a code reference. This code reference will get called with
77return code (e.g. most syscalls return C<-1> on error, unlike perl, which 101the syscall return code (e.g. most syscalls return C<-1> on error, unlike
78usually delivers "false") as it's sole argument when the given syscall has 102perl, which usually delivers "false") as it's sole argument when the given
79been executed asynchronously. 103syscall has been executed asynchronously.
80 104
81All 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.
82 107
108All requests return objects of type L<IO::AIO::REQ> that allow further
109manipulation of those requests while they are in-flight.
110
83The filenames you pass to these routines I<must> be absolute. The reason 111The pathnames you pass to these routines I<must> be absolute and
84is 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
85directory 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
86never 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.
87 123
88=over 4 124=over 4
89 125
90=item aio_open $pathname, $flags, $mode, $callback 126=item aio_open $pathname, $flags, $mode, $callback->($fh)
91 127
92Asynchronously 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
93created filehandle for the file. 129created filehandle for the file.
94 130
95The 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,
96for an explanation. 132for an explanation.
97 133
98The 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
99list. 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).
100 141
101Example: 142Example:
102 143
103 aio_open "/etc/passwd", O_RDONLY, 0, sub { 144 aio_open "/etc/passwd", O_RDONLY, 0, sub {
104 if ($_[0]) { 145 if ($_[0]) {
107 } else { 148 } else {
108 die "open failed: $!\n"; 149 die "open failed: $!\n";
109 } 150 }
110 }; 151 };
111 152
112=item aio_close $fh, $callback 153=item aio_close $fh, $callback->($status)
113 154
114Asynchronously close a file and call the callback with the result 155Asynchronously close a file and call the callback with the result
115code. I<WARNING:> although accepted, you should not pass in a perl 156code. I<WARNING:> although accepted, you should not pass in a perl
116filehandle here, as perl will likely close the file descriptor itself when 157filehandle here, as perl will likely close the file descriptor another
117the filehandle is destroyed. Normally, you can safely call perls C<close> 158time when the filehandle is destroyed. Normally, you can safely call perls
118or just let filehandles go out of scope. 159C<close> or just let filehandles go out of scope.
119 160
161This is supposed to be a bug in the API, so that might change. It's
162therefore best to avoid this function.
163
120=item aio_read $fh,$offset,$length, $data,$dataoffset,$callback 164=item aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
121 165
122=item aio_write $fh,$offset,$length, $data,$dataoffset,$callback 166=item aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
123 167
124Reads 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>
125into 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
126callback 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
127like the syscall). 171like the syscall).
128 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
129Example: 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
130offset C<0> within the scalar: 178offset C<0> within the scalar:
131 179
132 aio_read $fh, 7, 15, $buffer, 0, sub { 180 aio_read $fh, 7, 15, $buffer, 0, sub {
133 $_[0] > 0 or die "read error: $!"; 181 $_[0] > 0 or die "read error: $!";
134 print "read $_[0] bytes: <$buffer>\n"; 182 print "read $_[0] bytes: <$buffer>\n";
135 }; 183 };
136 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
137=item aio_readahead $fh,$offset,$length, $callback 276=item aio_readahead $fh,$offset,$length, $callback->($retval)
138 277
139Asynchronously reads the specified byte range into the page cache, using
140the C<readahead> syscall. If that syscall doesn't exist the status will be
141C<-1> and C<$!> is set to ENOSYS.
142
143readahead() 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
144subsequent 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>
145argument 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
146C<$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
147whole 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
148and 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
149(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
150file. The current file offset of the file is left unchanged. 285file. The current file offset of the file is left unchanged.
151 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
152=item aio_stat $fh_or_path, $callback 290=item aio_stat $fh_or_path, $callback->($status)
153 291
154=item aio_lstat $fh, $callback 292=item aio_lstat $fh, $callback->($status)
155 293
156Works 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
157be 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 _>
158or C<-s _> etc... 296or C<-s _> etc...
159 297
169 aio_stat "/etc/passwd", sub { 307 aio_stat "/etc/passwd", sub {
170 $_[0] and die "stat failed: $!"; 308 $_[0] and die "stat failed: $!";
171 print "size is ", -s _, "\n"; 309 print "size is ", -s _, "\n";
172 }; 310 };
173 311
174=item aio_unlink $pathname, $callback 312=item aio_unlink $pathname, $callback->($status)
175 313
176Asynchronously unlink (delete) a file and call the callback with the 314Asynchronously unlink (delete) a file and call the callback with the
177result code. 315result code.
178 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
179=item aio_fsync $fh, $callback 497=item aio_fsync $fh, $callback->($status)
180 498
181Asynchronously call fsync on the given filehandle and call the callback 499Asynchronously call fsync on the given filehandle and call the callback
182with the fsync result code. 500with the fsync result code.
183 501
184=item aio_fdatasync $fh, $callback 502=item aio_fdatasync $fh, $callback->($status)
185 503
186Asynchronously call fdatasync on the given filehandle and call the 504Asynchronously call fdatasync on the given filehandle and call the
187callback with the fdatasync result code. 505callback with the fdatasync result code.
188 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
189=back 542=back
190 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
608=over 4
609
610=item $grp->add (...)
611
612=item add $grp ...
613
614Add one or more
615Cancels the request, if possible. Has the effect of skipping execution
616when entering the B<execute> state and skipping calling the callback when
617entering the the B<result> state, but will leave the request otherwise
618untouched. That means that requests that currently execute will not be
619stopped and resources held by the request will not be freed prematurely.
620
621=back
622
191=head2 SUPPORT FUNCTIONS 623=head2 SUPPORT FUNCTIONS
192 624
193=over 4 625=over 4
194 626
195=item $fileno = IO::AIO::poll_fileno 627=item $fileno = IO::AIO::poll_fileno
196 628
197Return the I<request result pipe filehandle>. This filehandle must be 629Return the I<request result pipe file descriptor>. This filehandle must be
198polled for reading by some mechanism outside this module (e.g. Event 630polled for reading by some mechanism outside this module (e.g. Event or
199or select, see below). If the pipe becomes readable you have to call 631select, see below or the SYNOPSIS). If the pipe becomes readable you have
200C<poll_cb> to check the results. 632to call C<poll_cb> to check the results.
201 633
202See C<poll_cb> for an example. 634See C<poll_cb> for an example.
203 635
204=item IO::AIO::poll_cb 636=item IO::AIO::poll_cb
205 637
206Process all outstanding events on the result pipe. You have to call this 638Process all outstanding events on the result pipe. You have to call this
207regularly. Returns the number of events processed. Returns immediately 639regularly. Returns the number of events processed. Returns immediately
208when no events are outstanding. 640when no events are outstanding.
209 641
210You can use Event to multiplex, e.g.: 642Example: Install an Event watcher that automatically calls
643IO::AIO::poll_cb with high priority:
211 644
212 Event->io (fd => IO::AIO::poll_fileno, 645 Event->io (fd => IO::AIO::poll_fileno,
213 poll => 'r', async => 1, 646 poll => 'r', async => 1,
214 cb => \&IO::AIO::poll_cb); 647 cb => \&IO::AIO::poll_cb);
215 648
216=item IO::AIO::poll_wait 649=item IO::AIO::poll_wait
217 650
218Wait till the result filehandle becomes ready for reading (simply does a 651Wait till the result filehandle becomes ready for reading (simply does a
219select on the filehandle. This is useful if you want to synchronously wait 652C<select> on the filehandle. This is useful if you want to synchronously wait
220for some requests to finish). 653for some requests to finish).
221 654
222See C<nreqs> for an example. 655See C<nreqs> for an example.
223 656
224=item IO::AIO::nreqs 657=item IO::AIO::nreqs
225 658
226Returns the number of requests currently outstanding. 659Returns the number of requests currently outstanding (i.e. for which their
660callback has not been invoked yet).
227 661
228Example: wait till there are no outstanding requests anymore: 662Example: wait till there are no outstanding requests anymore:
229 663
230 IO::AIO::poll_wait, IO::AIO::poll_cb 664 IO::AIO::poll_wait, IO::AIO::poll_cb
231 while IO::AIO::nreqs; 665 while IO::AIO::nreqs;
232 666
667=item IO::AIO::flush
668
669Wait till all outstanding AIO requests have been handled.
670
671Strictly equivalent to:
672
673 IO::AIO::poll_wait, IO::AIO::poll_cb
674 while IO::AIO::nreqs;
675
676=item IO::AIO::poll
677
678Waits until some requests have been handled.
679
680Strictly equivalent to:
681
682 IO::AIO::poll_wait, IO::AIO::poll_cb
683 if IO::AIO::nreqs;
684
233=item IO::AIO::min_parallel $nthreads 685=item IO::AIO::min_parallel $nthreads
234 686
235Set the minimum number of AIO threads to C<$nthreads>. The default is 687Set the minimum number of AIO threads to C<$nthreads>. The current default
236C<1>, which means a single asynchronous operation can be done at one time 688is C<4>, which means four asynchronous operations can be done at one time
237(the number of outstanding operations, however, is unlimited). 689(the number of outstanding operations, however, is unlimited).
690
691IO::AIO starts threads only on demand, when an AIO request is queued and
692no free thread exists.
238 693
239It is recommended to keep the number of threads low, as some Linux 694It is recommended to keep the number of threads low, as some Linux
240kernel versions will scale negatively with the number of threads (higher 695kernel versions will scale negatively with the number of threads (higher
241parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32 696parallelity => MUCH higher latency). With current Linux 2.6 versions, 4-32
242threads should be fine. 697threads should be fine.
243 698
244Under normal circumstances you don't need to call this function, as this 699Under most circumstances you don't need to call this function, as the
245module automatically starts some threads (the exact number might change, 700module selects a default that is suitable for low to moderate load.
246and is currently 4).
247 701
248=item IO::AIO::max_parallel $nthreads 702=item IO::AIO::max_parallel $nthreads
249 703
250Sets the maximum number of AIO threads to C<$nthreads>. If more than 704Sets the maximum number of AIO threads to C<$nthreads>. If more than the
251the specified number of threads are currently running, kill them. This 705specified number of threads are currently running, this function kills
252function blocks until the limit is reached. 706them. This function blocks until the limit is reached.
707
708While C<$nthreads> are zero, aio requests get queued but not executed
709until the number of threads has been increased again.
253 710
254This module automatically runs C<max_parallel 0> at program end, to ensure 711This module automatically runs C<max_parallel 0> at program end, to ensure
255that all threads are killed and that there are no outstanding requests. 712that all threads are killed and that there are no outstanding requests.
256 713
257Under normal circumstances you don't need to call this function. 714Under normal circumstances you don't need to call this function.
261Sets the maximum number of outstanding requests to C<$nreqs>. If you 718Sets the maximum number of outstanding requests to C<$nreqs>. If you
262try to queue up more than this number of requests, the caller will block until 719try to queue up more than this number of requests, the caller will block until
263some requests have been handled. 720some requests have been handled.
264 721
265The default is very large, so normally there is no practical limit. If you 722The default is very large, so normally there is no practical limit. If you
266queue up many requests in a loop it it often improves speed if you set 723queue up many requests in a loop it often improves speed if you set
267this to a relatively low number, such as C<100>. 724this to a relatively low number, such as C<100>.
268 725
269Under normal circumstances you don't need to call this function. 726Under normal circumstances you don't need to call this function.
270 727
271=back 728=back
274 731
275# support function to convert a fd into a perl filehandle 732# support function to convert a fd into a perl filehandle
276sub _fd2fh { 733sub _fd2fh {
277 return undef if $_[0] < 0; 734 return undef if $_[0] < 0;
278 735
279 # try to be perl5.6-compatible 736 # try to generate nice filehandles
280 local *AIO_FH; 737 my $sym = "IO::AIO::fd#$_[0]";
281 open AIO_FH, "+<&=$_[0]" 738 local *$sym;
739
740 open *$sym, "+<&=$_[0]" # usually works under any unix
741 or open *$sym, "<&=$_[0]" # cygwin needs this
742 or open *$sym, ">&=$_[0]" # or this
282 or return undef; 743 or return undef;
283 744
284 *AIO_FH 745 *$sym
285} 746}
286 747
287min_parallel 4; 748min_parallel 4;
288 749
289END { 750END {
290 max_parallel 0; 751 max_parallel 0;
291} 752}
292 753
2931; 7541;
294 755
756=head2 FORK BEHAVIOUR
757
758This module should do "the right thing" when the process using it forks:
759
760Before the fork, IO::AIO enters a quiescent state where no requests
761can be added in other threads and no results will be processed. After
762the fork the parent simply leaves the quiescent state and continues
763request/result processing, while the child clears the request/result
764queue (so the requests started before the fork will only be handled in
765the parent). Threads will be started on demand until the limit ste in the
766parent process has been reached again.
767
768In short: the parent will, after a short pause, continue as if fork had
769not been called, while the child will act as if IO::AIO has not been used
770yet.
771
295=head1 SEE ALSO 772=head1 SEE ALSO
296 773
297L<Coro>, L<Linux::AIO>. 774L<Coro>, L<Linux::AIO> (obsolete).
298 775
299=head1 AUTHOR 776=head1 AUTHOR
300 777
301 Marc Lehmann <schmorp@schmorp.de> 778 Marc Lehmann <schmorp@schmorp.de>
302 http://home.schmorp.de/ 779 http://home.schmorp.de/

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines