ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/IO-AIO/README
(Generate patch)

Comparing IO-AIO/README (file contents):
Revision 1.20 by root, Tue Oct 31 00:45:41 2006 UTC vs.
Revision 1.42 by root, Thu Jan 7 20:25:57 2010 UTC

3 3
4SYNOPSIS 4SYNOPSIS
5 use IO::AIO; 5 use IO::AIO;
6 6
7 aio_open "/etc/passwd", O_RDONLY, 0, sub { 7 aio_open "/etc/passwd", O_RDONLY, 0, sub {
8 my ($fh) = @_; 8 my $fh = shift
9 or die "/etc/passwd: $!";
9 ... 10 ...
10 }; 11 };
11 12
12 aio_unlink "/tmp/file", sub { }; 13 aio_unlink "/tmp/file", sub { };
13 14
23 $req->cancel; # cancel request if still in queue 24 $req->cancel; # cancel request if still in queue
24 25
25 my $grp = aio_group sub { print "all stats done\n" }; 26 my $grp = aio_group sub { print "all stats done\n" };
26 add $grp aio_stat "..." for ...; 27 add $grp aio_stat "..." for ...;
27 28
29 # AnyEvent integration (EV, Event, Glib, Tk, POE, urxvt, pureperl...)
30 use AnyEvent::AIO;
31
28 # AnyEvent integration 32 # EV integration
29 open my $fh, "<&=" . IO::AIO::poll_fileno or die "$!"; 33 my $aio_w = EV::io IO::AIO::poll_fileno, EV::READ, \&IO::AIO::poll_cb;
30 my $w = AnyEvent->io (fh => $fh, poll => 'r', cb => sub { IO::AIO::poll_cb });
31 34
32 # Event integration 35 # Event integration
33 Event->io (fd => IO::AIO::poll_fileno, 36 Event->io (fd => IO::AIO::poll_fileno,
34 poll => 'r', 37 poll => 'r',
35 cb => \&IO::AIO::poll_cb); 38 cb => \&IO::AIO::poll_cb);
46 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno => 49 Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
47 \&IO::AIO::poll_cb); 50 \&IO::AIO::poll_cb);
48 51
49DESCRIPTION 52DESCRIPTION
50 This module implements asynchronous I/O using whatever means your 53 This module implements asynchronous I/O using whatever means your
51 operating system supports. 54 operating system supports. It is implemented as an interface to "libeio"
55 (<http://software.schmorp.de/pkg/libeio.html>).
52 56
53 Asynchronous means that operations that can normally block your program 57 Asynchronous means that operations that can normally block your program
54 (e.g. reading from disk) will be done asynchronously: the operation will 58 (e.g. reading from disk) will be done asynchronously: the operation will
55 still block, but you can do something else in the meantime. This is 59 still block, but you can do something else in the meantime. This is
56 extremely useful for programs that need to stay interactive even when 60 extremely useful for programs that need to stay interactive even when
60 faster on a RAID volume or over NFS when you do a number of stat 64 faster on a RAID volume or over NFS when you do a number of stat
61 operations concurrently. 65 operations concurrently.
62 66
63 While most of this works on all types of file descriptors (for example 67 While most of this works on all types of file descriptors (for example
64 sockets), using these functions on file descriptors that support 68 sockets), using these functions on file descriptors that support
65 nonblocking operation (again, sockets, pipes etc.) is very inefficient 69 nonblocking operation (again, sockets, pipes etc.) is very inefficient.
66 or might not work (aio_read fails on sockets/pipes/fifos). Use an event
67 loop for that (such as the Event module): IO::AIO will naturally fit 70 Use an event loop for that (such as the EV module): IO::AIO will
68 into such an event loop itself. 71 naturally fit into such an event loop itself.
69 72
70 In this version, a number of threads are started that execute your 73 In this version, a number of threads are started that execute your
71 requests and signal their completion. You don't need thread support in 74 requests and signal their completion. You don't need thread support in
72 perl, and the threads created by this module will not be visible to 75 perl, and the threads created by this module will not be visible to
73 perl. In the future, this module might make use of the native aio 76 perl. In the future, this module might make use of the native aio
75 not well-supported or restricted (GNU/Linux doesn't allow them on normal 78 not well-supported or restricted (GNU/Linux doesn't allow them on normal
76 files currently, for example), and they would only support aio_read and 79 files currently, for example), and they would only support aio_read and
77 aio_write, so the remaining functionality would have to be implemented 80 aio_write, so the remaining functionality would have to be implemented
78 using threads anyway. 81 using threads anyway.
79 82
80 Although the module will work with in the presence of other (Perl-) 83 Although the module will work in the presence of other (Perl-) threads,
81 threads, it is currently not reentrant in any way, so use appropriate 84 it is currently not reentrant in any way, so use appropriate locking
82 locking yourself, always call "poll_cb" from within the same thread, or 85 yourself, always call "poll_cb" from within the same thread, or never
83 never call "poll_cb" (or other "aio_" functions) recursively. 86 call "poll_cb" (or other "aio_" functions) recursively.
84 87
85 EXAMPLE 88 EXAMPLE
86 This is a simple example that uses the Event module and loads 89 This is a simple example that uses the EV module and loads /etc/passwd
87 /etc/passwd asynchronously: 90 asynchronously:
88 91
89 use Fcntl; 92 use Fcntl;
90 use Event; 93 use EV;
91 use IO::AIO; 94 use IO::AIO;
92 95
93 # register the IO::AIO callback with Event 96 # register the IO::AIO callback with EV
94 Event->io (fd => IO::AIO::poll_fileno, 97 my $aio_w = EV::io IO::AIO::poll_fileno, EV::READ, \&IO::AIO::poll_cb;
95 poll => 'r',
96 cb => \&IO::AIO::poll_cb);
97 98
98 # queue the request to open /etc/passwd 99 # queue the request to open /etc/passwd
99 aio_open "/etc/passwd", O_RDONLY, 0, sub { 100 aio_open "/etc/passwd", O_RDONLY, 0, sub {
100 my $fh = $_[0] 101 my $fh = shift
101 or die "error while opening: $!"; 102 or die "error while opening: $!";
102 103
103 # stat'ing filehandles is generally non-blocking 104 # stat'ing filehandles is generally non-blocking
104 my $size = -s $fh; 105 my $size = -s $fh;
105 106
113 114
114 # file contents now in $contents 115 # file contents now in $contents
115 print $contents; 116 print $contents;
116 117
117 # exit event loop and program 118 # exit event loop and program
118 Event::unloop; 119 EV::unloop;
119 }; 120 };
120 }; 121 };
121 122
122 # possibly queue up other requests, or open GUI windows, 123 # possibly queue up other requests, or open GUI windows,
123 # check for sockets etc. etc. 124 # check for sockets etc. etc.
124 125
125 # process events as long as there are some: 126 # process events as long as there are some:
126 Event::loop; 127 EV::loop;
127 128
128REQUEST ANATOMY AND LIFETIME 129REQUEST ANATOMY AND LIFETIME
129 Every "aio_*" function creates a request. which is a C data structure 130 Every "aio_*" function creates a request. which is a C data structure
130 not directly visible to Perl. 131 not directly visible to Perl.
131 132
173 All the "aio_*" calls are more or less thin wrappers around the syscall 174 All the "aio_*" calls are more or less thin wrappers around the syscall
174 with the same name (sans "aio_"). The arguments are similar or 175 with the same name (sans "aio_"). The arguments are similar or
175 identical, and they all accept an additional (and optional) $callback 176 identical, and they all accept an additional (and optional) $callback
176 argument which must be a code reference. This code reference will get 177 argument which must be a code reference. This code reference will get
177 called with the syscall return code (e.g. most syscalls return -1 on 178 called with the syscall return code (e.g. most syscalls return -1 on
178 error, unlike perl, which usually delivers "false") as it's sole 179 error, unlike perl, which usually delivers "false") as its sole argument
179 argument when the given syscall has been executed asynchronously. 180 after the given syscall has been executed asynchronously.
180 181
181 All functions expecting a filehandle keep a copy of the filehandle 182 All functions expecting a filehandle keep a copy of the filehandle
182 internally until the request has finished. 183 internally until the request has finished.
183 184
184 All functions return request objects of type IO::AIO::REQ that allow 185 All functions return request objects of type IO::AIO::REQ that allow
197 the user environment, d) use Glib::filename_from_unicode on unicode 198 the user environment, d) use Glib::filename_from_unicode on unicode
198 filenames or e) use something else to ensure your scalar has the correct 199 filenames or e) use something else to ensure your scalar has the correct
199 contents. 200 contents.
200 201
201 This works, btw. independent of the internal UTF-8 bit, which IO::AIO 202 This works, btw. independent of the internal UTF-8 bit, which IO::AIO
202 handles correctly wether it is set or not. 203 handles correctly whether it is set or not.
203 204
204 $prev_pri = aioreq_pri [$pri] 205 $prev_pri = aioreq_pri [$pri]
205 Returns the priority value that would be used for the next request 206 Returns the priority value that would be used for the next request
206 and, if $pri is given, sets the priority for the next aio request. 207 and, if $pri is given, sets the priority for the next aio request.
207 208
241 They are the same as used by "sysopen". 242 They are the same as used by "sysopen".
242 243
243 Likewise, $mode specifies the mode of the newly created file, if it 244 Likewise, $mode specifies the mode of the newly created file, if it
244 didn't exist and "O_CREAT" has been given, just like perl's 245 didn't exist and "O_CREAT" has been given, just like perl's
245 "sysopen", except that it is mandatory (i.e. use 0 if you don't 246 "sysopen", except that it is mandatory (i.e. use 0 if you don't
246 create new files, and 0666 or 0777 if you do). 247 create new files, and 0666 or 0777 if you do). Note that the $mode
248 will be modified by the umask in effect then the request is being
249 executed, so better never change the umask.
247 250
248 Example: 251 Example:
249 252
250 aio_open "/etc/passwd", O_RDONLY, 0, sub { 253 aio_open "/etc/passwd", O_RDONLY, 0, sub {
251 if ($_[0]) { 254 if ($_[0]) {
256 } 259 }
257 }; 260 };
258 261
259 aio_close $fh, $callback->($status) 262 aio_close $fh, $callback->($status)
260 Asynchronously close a file and call the callback with the result 263 Asynchronously close a file and call the callback with the result
261 code. *WARNING:* although accepted, you should not pass in a perl 264 code.
262 filehandle here, as perl will likely close the file descriptor
263 another time when the filehandle is destroyed. Normally, you can
264 safely call perls "close" or just let filehandles go out of scope.
265 265
266 This is supposed to be a bug in the API, so that might change. It's 266 Unfortunately, you can't do this to perl. Perl *insists* very
267 therefore best to avoid this function. 267 strongly on closing the file descriptor associated with the
268 filehandle itself.
269
270 Therefore, "aio_close" will not close the filehandle - instead it
271 will use dup2 to overwrite the file descriptor with the write-end of
272 a pipe (the pipe fd will be created on demand and will be cached).
273
274 Or in other words: the file descriptor will be closed, but it will
275 not be free for reuse until the perl filehandle is closed.
268 276
269 aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval) 277 aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
270 aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval) 278 aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
271 Reads or writes "length" bytes from the specified "fh" and "offset" 279 Reads or writes $length bytes from or to the specified $fh and
272 into the scalar given by "data" and offset "dataoffset" and calls 280 $offset into the scalar given by $data and offset $dataoffset and
273 the callback without the actual number of bytes read (or -1 on 281 calls the callback without the actual number of bytes read (or -1 on
274 error, just like the syscall). 282 error, just like the syscall).
275 283
284 "aio_read" will, like "sysread", shrink or grow the $data scalar to
285 offset plus the actual number of bytes read.
286
287 If $offset is undefined, then the current file descriptor offset
288 will be used (and updated), otherwise the file descriptor offset
289 will not be changed by these calls.
290
291 If $length is undefined in "aio_write", use the remaining length of
292 $data.
293
294 If $dataoffset is less than zero, it will be counted from the end of
295 $data.
296
276 The $data scalar *MUST NOT* be modified in any way while the request 297 The $data scalar *MUST NOT* be modified in any way while the request
277 is outstanding. Modifying it can result in segfaults or WW3 (if the 298 is outstanding. Modifying it can result in segfaults or World War
278 necessary/optional hardware is installed). 299 III (if the necessary/optional hardware is installed).
279 300
280 Example: Read 15 bytes at offset 7 into scalar $buffer, starting at 301 Example: Read 15 bytes at offset 7 into scalar $buffer, starting at
281 offset 0 within the scalar: 302 offset 0 within the scalar:
282 303
283 aio_read $fh, 7, 15, $buffer, 0, sub { 304 aio_read $fh, 7, 15, $buffer, 0, sub {
294 315
295 This call tries to make use of a native "sendfile" syscall to 316 This call tries to make use of a native "sendfile" syscall to
296 provide zero-copy operation. For this to work, $out_fh should refer 317 provide zero-copy operation. For this to work, $out_fh should refer
297 to a socket, and $in_fh should refer to mmap'able file. 318 to a socket, and $in_fh should refer to mmap'able file.
298 319
299 If the native sendfile call fails or is not implemented, it will be 320 If a native sendfile cannot be found or it fails with "ENOSYS",
321 "ENOTSUP", "EOPNOTSUPP", "EAFNOSUPPORT", "EPROTOTYPE" or "ENOTSOCK",
300 emulated, so you can call "aio_sendfile" on any type of filehandle 322 it will be emulated, so you can call "aio_sendfile" on any type of
301 regardless of the limitations of the operating system. 323 filehandle regardless of the limitations of the operating system.
302 324
303 Please note, however, that "aio_sendfile" can read more bytes from 325 Please note, however, that "aio_sendfile" can read more bytes from
304 $in_fh than are written, and there is no way to find out how many 326 $in_fh than are written, and there is no way to find out how many
305 bytes have been read from "aio_sendfile" alone, as "aio_sendfile" 327 bytes have been read from "aio_sendfile" alone, as "aio_sendfile"
306 only provides the number of bytes written to $out_fh. Only if the 328 only provides the number of bytes written to $out_fh. Only if the
341 aio_stat "/etc/passwd", sub { 363 aio_stat "/etc/passwd", sub {
342 $_[0] and die "stat failed: $!"; 364 $_[0] and die "stat failed: $!";
343 print "size is ", -s _, "\n"; 365 print "size is ", -s _, "\n";
344 }; 366 };
345 367
368 aio_statvfs $fh_or_path, $callback->($statvfs)
369 Works like the POSIX "statvfs" or "fstatvfs" syscalls, depending on
370 whether a file handle or path was passed.
371
372 On success, the callback is passed a hash reference with the
373 following members: "bsize", "frsize", "blocks", "bfree", "bavail",
374 "files", "ffree", "favail", "fsid", "flag" and "namemax". On
375 failure, "undef" is passed.
376
377 The following POSIX IO::AIO::ST_* constants are defined: "ST_RDONLY"
378 and "ST_NOSUID".
379
380 The following non-POSIX IO::AIO::ST_* flag masks are defined to
381 their correct value when available, or to 0 on systems that do not
382 support them: "ST_NODEV", "ST_NOEXEC", "ST_SYNCHRONOUS",
383 "ST_MANDLOCK", "ST_WRITE", "ST_APPEND", "ST_IMMUTABLE",
384 "ST_NOATIME", "ST_NODIRATIME" and "ST_RELATIME".
385
386 Example: stat "/wd" and dump out the data if successful.
387
388 aio_statvfs "/wd", sub {
389 my $f = $_[0]
390 or die "statvfs: $!";
391
392 use Data::Dumper;
393 say Dumper $f;
394 };
395
396 # result:
397 {
398 bsize => 1024,
399 bfree => 4333064312,
400 blocks => 10253828096,
401 files => 2050765568,
402 flag => 4096,
403 favail => 2042092649,
404 bavail => 4333064312,
405 ffree => 2042092649,
406 namemax => 255,
407 frsize => 1024,
408 fsid => 1810
409 }
410
411 aio_utime $fh_or_path, $atime, $mtime, $callback->($status)
412 Works like perl's "utime" function (including the special case of
413 $atime and $mtime being undef). Fractional times are supported if
414 the underlying syscalls support them.
415
416 When called with a pathname, uses utimes(2) if available, otherwise
417 utime(2). If called on a file descriptor, uses futimes(2) if
418 available, otherwise returns ENOSYS, so this is not portable.
419
420 Examples:
421
422 # set atime and mtime to current time (basically touch(1)):
423 aio_utime "path", undef, undef;
424 # set atime to current time and mtime to beginning of the epoch:
425 aio_utime "path", time, undef; # undef==0
426
427 aio_chown $fh_or_path, $uid, $gid, $callback->($status)
428 Works like perl's "chown" function, except that "undef" for either
429 $uid or $gid is being interpreted as "do not change" (but -1 can
430 also be used).
431
432 Examples:
433
434 # same as "chown root path" in the shell:
435 aio_chown "path", 0, -1;
436 # same as above:
437 aio_chown "path", 0, undef;
438
439 aio_truncate $fh_or_path, $offset, $callback->($status)
440 Works like truncate(2) or ftruncate(2).
441
442 aio_chmod $fh_or_path, $mode, $callback->($status)
443 Works like perl's "chmod" function.
444
346 aio_unlink $pathname, $callback->($status) 445 aio_unlink $pathname, $callback->($status)
347 Asynchronously unlink (delete) a file and call the callback with the 446 Asynchronously unlink (delete) a file and call the callback with the
348 result code. 447 result code.
349 448
350 aio_mknod $path, $mode, $dev, $callback->($status) 449 aio_mknod $path, $mode, $dev, $callback->($status)
372 471
373 aio_rename $srcpath, $dstpath, $callback->($status) 472 aio_rename $srcpath, $dstpath, $callback->($status)
374 Asynchronously rename the object at $srcpath to $dstpath, just as 473 Asynchronously rename the object at $srcpath to $dstpath, just as
375 rename(2) and call the callback with the result code. 474 rename(2) and call the callback with the result code.
376 475
476 aio_mkdir $pathname, $mode, $callback->($status)
477 Asynchronously mkdir (create) a directory and call the callback with
478 the result code. $mode will be modified by the umask at the time the
479 request is executed, so do not change your umask.
480
377 aio_rmdir $pathname, $callback->($status) 481 aio_rmdir $pathname, $callback->($status)
378 Asynchronously rmdir (delete) a directory and call the callback with 482 Asynchronously rmdir (delete) a directory and call the callback with
379 the result code. 483 the result code.
380 484
381 aio_readdir $pathname, $callback->($entries) 485 aio_readdir $pathname, $callback->($entries)
382 Unlike the POSIX call of the same name, "aio_readdir" reads an 486 Unlike the POSIX call of the same name, "aio_readdir" reads an
383 entire directory (i.e. opendir + readdir + closedir). The entries 487 entire directory (i.e. opendir + readdir + closedir). The entries
384 will not be sorted, and will NOT include the "." and ".." entries. 488 will not be sorted, and will NOT include the "." and ".." entries.
385 489
386 The callback a single argument which is either "undef" or an 490 The callback is passed a single argument which is either "undef" or
387 array-ref with the filenames. 491 an array-ref with the filenames.
492
493 aio_readdirx $pathname, $flags, $callback->($entries, $flags)
494 Quite similar to "aio_readdir", but the $flags argument allows to
495 tune behaviour and output format. In case of an error, $entries will
496 be "undef".
497
498 The flags are a combination of the following constants, ORed
499 together (the flags will also be passed to the callback, possibly
500 modified):
501
502 IO::AIO::READDIR_DENTS
503 When this flag is off, then the callback gets an arrayref with
504 of names only (as with "aio_readdir"), otherwise it gets an
505 arrayref with "[$name, $type, $inode]" arrayrefs, each
506 describing a single directory entry in more detail.
507
508 $name is the name of the entry.
509
510 $type is one of the "IO::AIO::DT_xxx" constants:
511
512 "IO::AIO::DT_UNKNOWN", "IO::AIO::DT_FIFO", "IO::AIO::DT_CHR",
513 "IO::AIO::DT_DIR", "IO::AIO::DT_BLK", "IO::AIO::DT_REG",
514 "IO::AIO::DT_LNK", "IO::AIO::DT_SOCK", "IO::AIO::DT_WHT".
515
516 "IO::AIO::DT_UNKNOWN" means just that: readdir does not know. If
517 you need to know, you have to run stat yourself. Also, for speed
518 reasons, the $type scalars are read-only: you can not modify
519 them.
520
521 $inode is the inode number (which might not be exact on systems
522 with 64 bit inode numbers and 32 bit perls). This field has
523 unspecified content on systems that do not deliver the inode
524 information.
525
526 IO::AIO::READDIR_DIRS_FIRST
527 When this flag is set, then the names will be returned in an
528 order where likely directories come first. This is useful when
529 you need to quickly find directories, or you want to find all
530 directories while avoiding to stat() each entry.
531
532 If the system returns type information in readdir, then this is
533 used to find directories directly. Otherwise, likely directories
534 are files beginning with ".", or otherwise files with no dots,
535 of which files with short names are tried first.
536
537 IO::AIO::READDIR_STAT_ORDER
538 When this flag is set, then the names will be returned in an
539 order suitable for stat()'ing each one. That is, when you plan
540 to stat() all files in the given directory, then the returned
541 order will likely be fastest.
542
543 If both this flag and "IO::AIO::READDIR_DIRS_FIRST" are
544 specified, then the likely dirs come first, resulting in a less
545 optimal stat order.
546
547 IO::AIO::READDIR_FOUND_UNKNOWN
548 This flag should not be set when calling "aio_readdirx".
549 Instead, it is being set by "aio_readdirx", when any of the
550 $type's found were "IO::AIO::DT_UNKNOWN". The absense of this
551 flag therefore indicates that all $type's are known, which can
552 be used to speed up some algorithms.
553
554 aio_load $path, $data, $callback->($status)
555 This is a composite request that tries to fully load the given file
556 into memory. Status is the same as with aio_read.
388 557
389 aio_copy $srcpath, $dstpath, $callback->($status) 558 aio_copy $srcpath, $dstpath, $callback->($status)
390 Try to copy the *file* (directories not supported as either source 559 Try to copy the *file* (directories not supported as either source
391 or destination) from $srcpath to $dstpath and call the callback with 560 or destination) from $srcpath to $dstpath and call the callback with
392 the 0 (error) or -1 ok. 561 a status of 0 (ok) or -1 (error, see $!).
393 562
394 This is a composite request that it creates the destination file 563 This is a composite request that creates the destination file with
395 with mode 0200 and copies the contents of the source file into it 564 mode 0200 and copies the contents of the source file into it using
396 using "aio_sendfile", followed by restoring atime, mtime, access 565 "aio_sendfile", followed by restoring atime, mtime, access mode and
397 mode and uid/gid, in that order. 566 uid/gid, in that order.
398 567
399 If an error occurs, the partial destination file will be unlinked, 568 If an error occurs, the partial destination file will be unlinked,
400 if possible, except when setting atime, mtime, access mode and 569 if possible, except when setting atime, mtime, access mode and
401 uid/gid, where errors are being ignored. 570 uid/gid, where errors are being ignored.
402 571
403 aio_move $srcpath, $dstpath, $callback->($status) 572 aio_move $srcpath, $dstpath, $callback->($status)
404 Try to move the *file* (directories not supported as either source 573 Try to move the *file* (directories not supported as either source
405 or destination) from $srcpath to $dstpath and call the callback with 574 or destination) from $srcpath to $dstpath and call the callback with
406 the 0 (error) or -1 ok. 575 a status of 0 (ok) or -1 (error, see $!).
407 576
408 This is a composite request that tries to rename(2) the file first. 577 This is a composite request that tries to rename(2) the file first;
409 If rename files with "EXDEV", it copies the file with "aio_copy" 578 if rename fails with "EXDEV", it copies the file with "aio_copy"
410 and, if that is successful, unlinking the $srcpath. 579 and, if that is successful, unlinks the $srcpath.
411 580
412 aio_scandir $path, $maxreq, $callback->($dirs, $nondirs) 581 aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
413 Scans a directory (similar to "aio_readdir") but additionally tries 582 Scans a directory (similar to "aio_readdir") but additionally tries
414 to efficiently separate the entries of directory $path into two sets 583 to efficiently separate the entries of directory $path into two sets
415 of names, directories you can recurse into (directories), and ones 584 of names, directories you can recurse into (directories), and ones
435 Implementation notes. 604 Implementation notes.
436 605
437 The "aio_readdir" cannot be avoided, but "stat()"'ing every entry 606 The "aio_readdir" cannot be avoided, but "stat()"'ing every entry
438 can. 607 can.
439 608
609 If readdir returns file type information, then this is used directly
610 to find directories.
611
440 After reading the directory, the modification time, size etc. of the 612 Otherwise, after reading the directory, the modification time, size
441 directory before and after the readdir is checked, and if they match 613 etc. of the directory before and after the readdir is checked, and
442 (and isn't the current time), the link count will be used to decide 614 if they match (and isn't the current time), the link count will be
443 how many entries are directories (if >= 2). Otherwise, no knowledge 615 used to decide how many entries are directories (if >= 2).
444 of the number of subdirectories will be assumed. 616 Otherwise, no knowledge of the number of subdirectories will be
617 assumed.
445 618
446 Then entries will be sorted into likely directories (everything 619 Then entries will be sorted into likely directories a non-initial
447 without a non-initial dot currently) and likely non-directories 620 dot currently) and likely non-directories (see "aio_readdirx"). Then
448 (everything else). Then every entry plus an appended "/." will be 621 every entry plus an appended "/." will be "stat"'ed, likely
449 "stat"'ed, likely directories first. If that succeeds, it assumes 622 directories first, in order of their inode numbers. If that
450 that the entry is a directory or a symlink to directory (which will 623 succeeds, it assumes that the entry is a directory or a symlink to
451 be checked seperately). This is often faster than stat'ing the entry 624 directory (which will be checked seperately). This is often faster
452 itself because filesystems might detect the type of the entry 625 than stat'ing the entry itself because filesystems might detect the
453 without reading the inode data (e.g. ext2fs filetype feature). 626 type of the entry without reading the inode data (e.g. ext2fs
627 filetype feature), even on systems that cannot return the filetype
628 information on readdir.
454 629
455 If the known number of directories (link count - 2) has been 630 If the known number of directories (link count - 2) has been
456 reached, the rest of the entries is assumed to be non-directories. 631 reached, the rest of the entries is assumed to be non-directories.
457 632
458 This only works with certainty on POSIX (= UNIX) filesystems, which 633 This only works with certainty on POSIX (= UNIX) filesystems, which
460 635
461 It will also likely work on non-POSIX filesystems with reduced 636 It will also likely work on non-POSIX filesystems with reduced
462 efficiency as those tend to return 0 or 1 as link counts, which 637 efficiency as those tend to return 0 or 1 as link counts, which
463 disables the directory counting heuristic. 638 disables the directory counting heuristic.
464 639
640 aio_rmtree $path, $callback->($status)
641 Delete a directory tree starting (and including) $path, return the
642 status of the final "rmdir" only. This is a composite request that
643 uses "aio_scandir" to recurse into and rmdir directories, and unlink
644 everything else.
645
646 aio_sync $callback->($status)
647 Asynchronously call sync and call the callback when finished.
648
465 aio_fsync $fh, $callback->($status) 649 aio_fsync $fh, $callback->($status)
466 Asynchronously call fsync on the given filehandle and call the 650 Asynchronously call fsync on the given filehandle and call the
467 callback with the fsync result code. 651 callback with the fsync result code.
468 652
469 aio_fdatasync $fh, $callback->($status) 653 aio_fdatasync $fh, $callback->($status)
470 Asynchronously call fdatasync on the given filehandle and call the 654 Asynchronously call fdatasync on the given filehandle and call the
471 callback with the fdatasync result code. 655 callback with the fdatasync result code.
472 656
473 If this call isn't available because your OS lacks it or it couldn't 657 If this call isn't available because your OS lacks it or it couldn't
474 be detected, it will be emulated by calling "fsync" instead. 658 be detected, it will be emulated by calling "fsync" instead.
659
660 aio_sync_file_range $fh, $offset, $nbytes, $flags, $callback->($status)
661 Sync the data portion of the file specified by $offset and $length
662 to disk (but NOT the metadata), by calling the Linux-specific
663 sync_file_range call. If sync_file_range is not available or it
664 returns ENOSYS, then fdatasync or fsync is being substituted.
665
666 $flags can be a combination of
667 "IO::AIO::SYNC_FILE_RANGE_WAIT_BEFORE",
668 "IO::AIO::SYNC_FILE_RANGE_WRITE" and
669 "IO::AIO::SYNC_FILE_RANGE_WAIT_AFTER": refer to the sync_file_range
670 manpage for details.
671
672 aio_pathsync $path, $callback->($status)
673 This request tries to open, fsync and close the given path. This is
674 a composite request intended to sync directories after directory
675 operations (E.g. rename). This might not work on all operating
676 systems or have any specific effect, but usually it makes sure that
677 directory changes get written to disc. It works for anything that
678 can be opened for read-only, not just directories.
679
680 Future versions of this function might fall back to other methods
681 when "fsync" on the directory fails (such as calling "sync").
682
683 Passes 0 when everything went ok, and -1 on error.
684
685 aio_msync $scalar, $offset = 0, $length = undef, flags = 0,
686 $callback->($status)
687 This is a rather advanced IO::AIO call, which only works on
688 mmap(2)ed scalars (see the Sys::Mmap or Mmap modules for details on
689 this, note that the scalar must only be modified in-place while an
690 aio operation is pending on it).
691
692 It calls the "msync" function of your OS, if available, with the
693 memory area starting at $offset in the string and ending $length
694 bytes later. If $length is negative, counts from the end, and if
695 $length is "undef", then it goes till the end of the string. The
696 flags can be a combination of "IO::AIO::MS_ASYNC",
697 "IO::AIO::MS_INVALIDATE" and "IO::AIO::MS_SYNC".
698
699 aio_mtouch $scalar, $offset = 0, $length = undef, flags = 0,
700 $callback->($status)
701 This is a rather advanced IO::AIO call, which works best on
702 mmap(2)ed scalars.
703
704 It touches (reads or writes) all memory pages in the specified range
705 inside the scalar. All caveats and parameters are the same as for
706 "aio_msync", above, except for flags, which must be either 0 (which
707 reads all pages and ensures they are instantiated) or
708 "IO::AIO::MT_MODIFY", which modifies the memory page s(by reading
709 and writing an octet from it, which dirties the page).
475 710
476 aio_group $callback->(...) 711 aio_group $callback->(...)
477 This is a very special aio request: Instead of doing something, it 712 This is a very special aio request: Instead of doing something, it
478 is a container for other aio requests, which is useful if you want 713 is a container for other aio requests, which is useful if you want
479 to bundle many requests into a single, composite, request with a 714 to bundle many requests into a single, composite, request with a
522 757
523 cancel $req 758 cancel $req
524 Cancels the request, if possible. Has the effect of skipping 759 Cancels the request, if possible. Has the effect of skipping
525 execution when entering the execute state and skipping calling the 760 execution when entering the execute state and skipping calling the
526 callback when entering the the result state, but will leave the 761 callback when entering the the result state, but will leave the
527 request otherwise untouched. That means that requests that currently 762 request otherwise untouched (with the exception of readdir). That
528 execute will not be stopped and resources held by the request will 763 means that requests that currently execute will not be stopped and
529 not be freed prematurely. 764 resources held by the request will not be freed prematurely.
530 765
531 cb $req $callback->(...) 766 cb $req $callback->(...)
532 Replace (or simply set) the callback registered to the request. 767 Replace (or simply set) the callback registered to the request.
533 768
534 IO::AIO::GRP CLASS 769 IO::AIO::GRP CLASS
561 }; 796 };
562 797
563 This makes it very easy to create composite requests (see the source of 798 This makes it very easy to create composite requests (see the source of
564 "aio_move" for an application) that work and feel like simple requests. 799 "aio_move" for an application) that work and feel like simple requests.
565 800
566 * The IO::AIO::GRP objects will be cleaned up during calls to 801 * The IO::AIO::GRP objects will be cleaned up during calls to
567 "IO::AIO::poll_cb", just like any other request. 802 "IO::AIO::poll_cb", just like any other request.
803
568 * They can be canceled like any other request. Canceling will cancel not 804 * They can be canceled like any other request. Canceling will cancel
569 only the request itself, but also all requests it contains. 805 not only the request itself, but also all requests it contains.
806
570 * They can also can also be added to other IO::AIO::GRP objects. 807 * They can also can also be added to other IO::AIO::GRP objects.
808
571 * You must not add requests to a group from within the group callback 809 * You must not add requests to a group from within the group callback
572 (or any later time). 810 (or any later time).
573 811
574 Their lifetime, simplified, looks like this: when they are empty, they 812 Their lifetime, simplified, looks like this: when they are empty, they
575 will finish very quickly. If they contain only requests that are in the 813 will finish very quickly. If they contain only requests that are in the
576 "done" state, they will also finish. Otherwise they will continue to 814 "done" state, they will also finish. Otherwise they will continue to
577 exist. 815 exist.
578 816
579 That means after creating a group you have some time to add requests. 817 That means after creating a group you have some time to add requests
580 And in the callbacks of those requests, you can add further requests to 818 (precisely before the callback has been invoked, which is only done
581 the group. And only when all those requests have finished will the the 819 within the "poll_cb"). And in the callbacks of those requests, you can
582 group itself finish. 820 add further requests to the group. And only when all those requests have
821 finished will the the group itself finish.
583 822
584 add $grp ... 823 add $grp ...
585 $grp->add (...) 824 $grp->add (...)
586 Add one or more requests to the group. Any type of IO::AIO::REQ can 825 Add one or more requests to the group. Any type of IO::AIO::REQ can
587 be added, including other groups, as long as you do not create 826 be added, including other groups, as long as you do not create
592 $grp->cancel_subs 831 $grp->cancel_subs
593 Cancel all subrequests and clears any feeder, but not the group 832 Cancel all subrequests and clears any feeder, but not the group
594 request itself. Useful when you queued a lot of events but got a 833 request itself. Useful when you queued a lot of events but got a
595 result early. 834 result early.
596 835
836 The group request will finish normally (you cannot add requests to
837 the group).
838
597 $grp->result (...) 839 $grp->result (...)
598 Set the result value(s) that will be passed to the group callback 840 Set the result value(s) that will be passed to the group callback
599 when all subrequests have finished and set thre groups errno to the 841 when all subrequests have finished and set the groups errno to the
600 current value of errno (just like calling "errno" without an error 842 current value of errno (just like calling "errno" without an error
601 number). By default, no argument will be passed and errno is zero. 843 number). By default, no argument will be passed and errno is zero.
602 844
603 $grp->errno ([$errno]) 845 $grp->errno ([$errno])
604 Sets the group errno value to $errno, or the current value of errno 846 Sets the group errno value to $errno, or the current value of errno
630 does not impose any limits). 872 does not impose any limits).
631 873
632 If the feed does not queue more requests when called, it will be 874 If the feed does not queue more requests when called, it will be
633 automatically removed from the group. 875 automatically removed from the group.
634 876
635 If the feed limit is 0, it will be set to 2 automatically. 877 If the feed limit is 0 when this method is called, it will be set to
878 2 automatically.
636 879
637 Example: 880 Example:
638 881
639 # stat all files in @files, but only ever use four aio requests concurrently: 882 # stat all files in @files, but only ever use four aio requests concurrently:
640 883
651 Sets the feeder limit for the group: The feeder will be called 894 Sets the feeder limit for the group: The feeder will be called
652 whenever the group contains less than this many requests. 895 whenever the group contains less than this many requests.
653 896
654 Setting the limit to 0 will pause the feeding process. 897 Setting the limit to 0 will pause the feeding process.
655 898
899 The default value for the limit is 0, but note that setting a feeder
900 automatically bumps it up to 2.
901
656 SUPPORT FUNCTIONS 902 SUPPORT FUNCTIONS
657 EVENT PROCESSING AND EVENT LOOP INTEGRATION 903 EVENT PROCESSING AND EVENT LOOP INTEGRATION
658 $fileno = IO::AIO::poll_fileno 904 $fileno = IO::AIO::poll_fileno
659 Return the *request result pipe file descriptor*. This filehandle 905 Return the *request result pipe file descriptor*. This filehandle
660 must be polled for reading by some mechanism outside this module 906 must be polled for reading by some mechanism outside this module
661 (e.g. Event or select, see below or the SYNOPSIS). If the pipe 907 (e.g. EV, Glib, select and so on, see below or the SYNOPSIS). If the
662 becomes readable you have to call "poll_cb" to check the results. 908 pipe becomes readable you have to call "poll_cb" to check the
909 results.
663 910
664 See "poll_cb" for an example. 911 See "poll_cb" for an example.
665 912
666 IO::AIO::poll_cb 913 IO::AIO::poll_cb
667 Process some outstanding events on the result pipe. You have to call 914 Process some outstanding events on the result pipe. You have to call
668 this regularly. Returns the number of events processed. Returns 915 this regularly. Returns 0 if all events could be processed, or -1 if
669 immediately when no events are outstanding. The amount of events 916 it returned earlier for whatever reason. Returns immediately when no
917 events are outstanding. The amount of events processed depends on
670 processed depends on the settings of "IO::AIO::max_poll_req" and 918 the settings of "IO::AIO::max_poll_req" and
671 "IO::AIO::max_poll_time". 919 "IO::AIO::max_poll_time".
672 920
673 If not all requests were processed for whatever reason, the 921 If not all requests were processed for whatever reason, the
674 filehandle will still be ready when "poll_cb" returns. 922 filehandle will still be ready when "poll_cb" returns, so normally
923 you don't have to do anything special to have it called later.
675 924
676 Example: Install an Event watcher that automatically calls 925 Example: Install an Event watcher that automatically calls
677 IO::AIO::poll_cb with high priority: 926 IO::AIO::poll_cb with high priority (more examples can be found in
927 the SYNOPSIS section, at the top of this document):
678 928
679 Event->io (fd => IO::AIO::poll_fileno, 929 Event->io (fd => IO::AIO::poll_fileno,
680 poll => 'r', async => 1, 930 poll => 'r', async => 1,
681 cb => \&IO::AIO::poll_cb); 931 cb => \&IO::AIO::poll_cb);
682 932
711 Event->io (fd => IO::AIO::poll_fileno, 961 Event->io (fd => IO::AIO::poll_fileno,
712 poll => 'r', nice => 1, 962 poll => 'r', nice => 1,
713 cb => &IO::AIO::poll_cb); 963 cb => &IO::AIO::poll_cb);
714 964
715 IO::AIO::poll_wait 965 IO::AIO::poll_wait
966 If there are any outstanding requests and none of them in the result
716 Wait till the result filehandle becomes ready for reading (simply 967 phase, wait till the result filehandle becomes ready for reading
717 does a "select" on the filehandle. This is useful if you want to 968 (simply does a "select" on the filehandle. This is useful if you
718 synchronously wait for some requests to finish). 969 want to synchronously wait for some requests to finish).
719 970
720 See "nreqs" for an example. 971 See "nreqs" for an example.
721 972
722 IO::AIO::poll 973 IO::AIO::poll
723 Waits until some requests have been handled. 974 Waits until some requests have been handled.
724 975
976 Returns the number of requests processed, but is otherwise strictly
725 Strictly equivalent to: 977 equivalent to:
726 978
727 IO::AIO::poll_wait, IO::AIO::poll_cb 979 IO::AIO::poll_wait, IO::AIO::poll_cb
728 if IO::AIO::nreqs;
729 980
730 IO::AIO::flush 981 IO::AIO::flush
731 Wait till all outstanding AIO requests have been handled. 982 Wait till all outstanding AIO requests have been handled.
732 983
733 Strictly equivalent to: 984 Strictly equivalent to:
784 1035
785 The default is probably ok in most situations, especially if thread 1036 The default is probably ok in most situations, especially if thread
786 creation is fast. If thread creation is very slow on your system you 1037 creation is fast. If thread creation is very slow on your system you
787 might want to use larger values. 1038 might want to use larger values.
788 1039
789 $oldmaxreqs = IO::AIO::max_outstanding $maxreqs 1040 IO::AIO::max_outstanding $maxreqs
790 This is a very bad function to use in interactive programs because 1041 This is a very bad function to use in interactive programs because
791 it blocks, and a bad way to reduce concurrency because it is 1042 it blocks, and a bad way to reduce concurrency because it is
792 inexact: Better use an "aio_group" together with a feed callback. 1043 inexact: Better use an "aio_group" together with a feed callback.
793 1044
794 Sets the maximum number of outstanding requests to $nreqs. If you to 1045 Sets the maximum number of outstanding requests to $nreqs. If you do
795 queue up more than this number of requests, the next call to the 1046 queue up more than this number of requests, the next call to the
796 "poll_cb" (and "poll_some" and other functions calling "poll_cb") 1047 "poll_cb" (and "poll_some" and other functions calling "poll_cb")
797 function will block until the limit is no longer exceeded. 1048 function will block until the limit is no longer exceeded.
798 1049
799 The default value is very large, so there is no practical limit on 1050 The default value is very large, so there is no practical limit on
800 the number of outstanding requests. 1051 the number of outstanding requests.
801 1052
802 You can still queue as many requests as you want. Therefore, 1053 You can still queue as many requests as you want. Therefore,
803 "max_oustsanding" is mainly useful in simple scripts (with low 1054 "max_outstanding" is mainly useful in simple scripts (with low
804 values) or as a stop gap to shield against fatal memory overflow 1055 values) or as a stop gap to shield against fatal memory overflow
805 (with large values). 1056 (with large values).
806 1057
807 STATISTICAL INFORMATION 1058 STATISTICAL INFORMATION
808 IO::AIO::nreqs 1059 IO::AIO::nreqs
820 executed). 1071 executed).
821 1072
822 IO::AIO::npending 1073 IO::AIO::npending
823 Returns the number of requests currently in the pending state 1074 Returns the number of requests currently in the pending state
824 (executed, but not yet processed by poll_cb). 1075 (executed, but not yet processed by poll_cb).
1076
1077 MISCELLANEOUS FUNCTIONS
1078 IO::AIO implements some functions that might be useful, but are not
1079 asynchronous.
1080
1081 IO::AIO::sendfile $ofh, $ifh, $offset, $count
1082 Calls the "eio_sendfile_sync" function, which is like
1083 "aio_sendfile", but is blocking (this makes most sense if you know
1084 the input data is likely cached already and the output filehandle is
1085 set to non-blocking operations).
1086
1087 Returns the number of bytes copied, or -1 on error.
1088
1089 IO::AIO::fadvise $fh, $offset, $len, $advice
1090 Simply calls the "posix_fadvise" function (see it's manpage for
1091 details). The following advice constants are avaiable:
1092 "IO::AIO::FADV_NORMAL", "IO::AIO::FADV_SEQUENTIAL",
1093 "IO::AIO::FADV_RANDOM", "IO::AIO::FADV_NOREUSE",
1094 "IO::AIO::FADV_WILLNEED", "IO::AIO::FADV_DONTNEED".
1095
1096 On systems that do not implement "posix_fadvise", this function
1097 returns ENOSYS, otherwise the return value of "posix_fadvise".
825 1098
826 FORK BEHAVIOUR 1099 FORK BEHAVIOUR
827 This module should do "the right thing" when the process using it forks: 1100 This module should do "the right thing" when the process using it forks:
828 1101
829 Before the fork, IO::AIO enters a quiescent state where no requests can 1102 Before the fork, IO::AIO enters a quiescent state where no requests can
845 bytes of memory. In addition, stat requests need a stat buffer (possibly 1118 bytes of memory. In addition, stat requests need a stat buffer (possibly
846 a few hundred bytes), readdir requires a result buffer and so on. Perl 1119 a few hundred bytes), readdir requires a result buffer and so on. Perl
847 scalars and other data passed into aio requests will also be locked and 1120 scalars and other data passed into aio requests will also be locked and
848 will consume memory till the request has entered the done state. 1121 will consume memory till the request has entered the done state.
849 1122
850 This is now awfully much, so queuing lots of requests is not usually a 1123 This is not awfully much, so queuing lots of requests is not usually a
851 problem. 1124 problem.
852 1125
853 Per-thread usage: 1126 Per-thread usage:
854 1127
855 In the execution phase, some aio requests require more memory for 1128 In the execution phase, some aio requests require more memory for
858 1131
859KNOWN BUGS 1132KNOWN BUGS
860 Known bugs will be fixed in the next release. 1133 Known bugs will be fixed in the next release.
861 1134
862SEE ALSO 1135SEE ALSO
863 Coro::AIO. 1136 AnyEvent::AIO for easy integration into event loops, Coro::AIO for a
1137 more natural syntax.
864 1138
865AUTHOR 1139AUTHOR
866 Marc Lehmann <schmorp@schmorp.de> 1140 Marc Lehmann <schmorp@schmorp.de>
867 http://home.schmorp.de/ 1141 http://home.schmorp.de/
868 1142

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines