ViewVC Help

View File | Revision Log | Show Annotations | Download File

/cvs/IO-AIO/AIO.pm

Comparing IO-AIO/AIO.pm (file contents):
Revision 1.67 by root, Tue Oct 24 02:25:16 2006 UTC vs.
Revision 1.203 by root, Thu Jul 7 22:36:18 2011 UTC

…		…
4		4
5	=head1 SYNOPSIS	5	=head1 SYNOPSIS
6		6
7	use IO::AIO;	7	use IO::AIO;
8		8
9	aio_open "/etc/passwd", O_RDONLY, 0, sub {	9	aio_open "/etc/passwd", IO::AIO::O_RDONLY, 0, sub {
10	my ($fh) = @_;	10	my $fh = shift
		11	or die "/etc/passwd: $!";
11	...	12	...
12	};	13	};
13		14
14	aio_unlink "/tmp/file", sub { };	15	aio_unlink "/tmp/file", sub { };
15		16
…		…
18	};	19	};
19		20
20	# version 2+ has request and group objects	21	# version 2+ has request and group objects
21	use IO::AIO 2;	22	use IO::AIO 2;
22		23
		24	aioreq_pri 4; # give next request a very high priority
23	my $req = aio_unlink "/tmp/file", sub { };	25	my $req = aio_unlink "/tmp/file", sub { };
24	$req->cancel; # cancel request if still in queue	26	$req->cancel; # cancel request if still in queue
25		27
26	my $grp = aio_group sub { print "all stats done\n" };	28	my $grp = aio_group sub { print "all stats done\n" };
27	add $grp aio_stat "..." for ...;	29	add $grp aio_stat "..." for ...;
28		30
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
34	Event->io (fd => IO::AIO::poll_fileno,
35	poll => 'r',
36	cb => \&IO::AIO::poll_cb);
37
38	# Glib/Gtk2 integration
39	add_watch Glib::IO IO::AIO::poll_fileno,
40	in => sub { IO::AIO::poll_cb; 1 };
41
42	# Tk integration
43	Tk::Event::IO->fileevent (IO::AIO::poll_fileno, "",
44	readable => \&IO::AIO::poll_cb);
45
46	# Danga::Socket integration
47	Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
48	\&IO::AIO::poll_cb);
49
50	=head1 DESCRIPTION	31	=head1 DESCRIPTION
51		32
52	This module implements asynchronous I/O using whatever means your	33	This module implements asynchronous I/O using whatever means your
53	operating system supports.	34	operating system supports. It is implemented as an interface to C<libeio>
		35	(L<http://software.schmorp.de/pkg/libeio.html>).
54		36
		37	Asynchronous means that operations that can normally block your program
		38	(e.g. reading from disk) will be done asynchronously: the operation
		39	will still block, but you can do something else in the meantime. This
		40	is extremely useful for programs that need to stay interactive even
		41	when doing heavy I/O (GUI programs, high performance network servers
		42	etc.), but can also be used to easily do operations in parallel that are
		43	normally done sequentially, e.g. stat'ing many files, which is much faster
		44	on a RAID volume or over NFS when you do a number of stat operations
		45	concurrently.
		46
		47	While most of this works on all types of file descriptors (for
		48	example sockets), using these functions on file descriptors that
		49	support nonblocking operation (again, sockets, pipes etc.) is
		50	very inefficient. Use an event loop for that (such as the L<EV>
		51	module): IO::AIO will naturally fit into such an event loop itself.
		52
55	Currently, a number of threads are started that execute your read/writes	53	In this version, a number of threads are started that execute your
56	and signal their completion. You don't need thread support in perl, and	54	requests and signal their completion. You don't need thread support
57	the threads created by this module will not be visible to perl. In the	55	in perl, and the threads created by this module will not be visible
58	future, this module might make use of the native aio functions available	56	to perl. In the future, this module might make use of the native aio
59	on many operating systems. However, they are often not well-supported	57	functions available on many operating systems. However, they are often
60	(Linux doesn't allow them on normal files currently, for example),	58	not well-supported or restricted (GNU/Linux doesn't allow them on normal
61	and they would only support aio_read and aio_write, so the remaining	59	files currently, for example), and they would only support aio_read and
62	functionality would have to be implemented using threads anyway.	60	aio_write, so the remaining functionality would have to be implemented
		61	using threads anyway.
63		62
64	Although the module will work with in the presence of other threads, it is	63	Although the module will work in the presence of other (Perl-) threads,
65	currently not reentrant, so use appropriate locking yourself, always call	64	it is currently not reentrant in any way, so use appropriate locking
66	C<poll_cb> from within the same thread, or never call C<poll_cb> (or other	65	yourself, always call C<poll_cb> from within the same thread, or never
67	C<aio_> functions) recursively.	66	call C<poll_cb> (or other C<aio_> functions) recursively.
		67
		68	=head2 EXAMPLE
		69
		70	This is a simple example that uses the EV module and loads
		71	F</etc/passwd> asynchronously:
		72
		73	use Fcntl;
		74	use EV;
		75	use IO::AIO;
		76
		77	# register the IO::AIO callback with EV
		78	my $aio_w = EV::io IO::AIO::poll_fileno, EV::READ, \&IO::AIO::poll_cb;
		79
		80	# queue the request to open /etc/passwd
		81	aio_open "/etc/passwd", IO::AIO::O_RDONLY, 0, sub {
		82	my $fh = shift
		83	or die "error while opening: $!";
		84
		85	# stat'ing filehandles is generally non-blocking
		86	my $size = -s $fh;
		87
		88	# queue a request to read the file
		89	my $contents;
		90	aio_read $fh, 0, $size, $contents, 0, sub {
		91	$_[0] == $size
		92	or die "short read: $!";
		93
		94	close $fh;
		95
		96	# file contents now in $contents
		97	print $contents;
		98
		99	# exit event loop and program
		100	EV::unloop;
		101	};
		102	};
		103
		104	# possibly queue up other requests, or open GUI windows,
		105	# check for sockets etc. etc.
		106
		107	# process events as long as there are some:
		108	EV::loop;
		109
		110	=head1 REQUEST ANATOMY AND LIFETIME
		111
		112	Every C<aio_*> function creates a request. which is a C data structure not
		113	directly visible to Perl.
		114
		115	If called in non-void context, every request function returns a Perl
		116	object representing the request. In void context, nothing is returned,
		117	which saves a bit of memory.
		118
		119	The perl object is a fairly standard ref-to-hash object. The hash contents
		120	are not used by IO::AIO so you are free to store anything you like in it.
		121
		122	During their existance, aio requests travel through the following states,
		123	in order:
		124
		125	=over 4
		126
		127	=item ready
		128
		129	Immediately after a request is created it is put into the ready state,
		130	waiting for a thread to execute it.
		131
		132	=item execute
		133
		134	A thread has accepted the request for processing and is currently
		135	executing it (e.g. blocking in read).
		136
		137	=item pending
		138
		139	The request has been executed and is waiting for result processing.
		140
		141	While request submission and execution is fully asynchronous, result
		142	processing is not and relies on the perl interpreter calling C<poll_cb>
		143	(or another function with the same effect).
		144
		145	=item result
		146
		147	The request results are processed synchronously by C<poll_cb>.
		148
		149	The C<poll_cb> function will process all outstanding aio requests by
		150	calling their callbacks, freeing memory associated with them and managing
		151	any groups they are contained in.
		152
		153	=item done
		154
		155	Request has reached the end of its lifetime and holds no resources anymore
		156	(except possibly for the Perl object, but its connection to the actual
		157	aio request is severed and calling its methods will either do nothing or
		158	result in a runtime error).
		159
		160	=back
68		161
69	=cut	162	=cut
70		163
71	package IO::AIO;	164	package IO::AIO;
72		165
73	no warnings;	166	use Carp ();
74	use strict 'vars';	167
		168	use common::sense;
75		169
76	use base 'Exporter';	170	use base 'Exporter';
77		171
78	BEGIN {	172	BEGIN {
79	our $VERSION = '2.0';	173	our $VERSION = '3.93';
80		174
81	our @AIO_REQ = qw(aio_sendfile aio_read aio_write aio_open aio_close aio_stat	175	our @AIO_REQ = qw(aio_sendfile aio_read aio_write aio_open aio_close
82	aio_lstat aio_unlink aio_rmdir aio_readdir aio_scandir aio_symlink	176	aio_stat aio_lstat aio_unlink aio_rmdir aio_readdir aio_readdirx
83	aio_fsync aio_fdatasync aio_readahead aio_rename aio_link aio_move	177	aio_scandir aio_symlink aio_readlink aio_realpath aio_sync aio_fsync
		178	aio_fdatasync aio_sync_file_range aio_fallocate
		179	aio_pathsync aio_readahead
		180	aio_rename aio_link aio_move aio_copy aio_group
		181	aio_nop aio_mknod aio_load aio_rmtree aio_mkdir aio_chown
		182	aio_chmod aio_utime aio_truncate
		183	aio_msync aio_mtouch aio_mlock aio_mlockall
84	aio_group aio_nop);	184	aio_statvfs);
		185
85	our @EXPORT = (@AIO_REQ, qw(aioreq_pri));	186	our @EXPORT = (@AIO_REQ, qw(aioreq_pri aioreq_nice));
86	our @EXPORT_OK = qw(poll_fileno poll_cb poll_wait flush	187	our @EXPORT_OK = qw(poll_fileno poll_cb poll_wait flush
87	min_parallel max_parallel max_outstanding nreqs);	188	min_parallel max_parallel max_idle idle_timeout
		189	nreqs nready npending nthreads
		190	max_poll_time max_poll_reqs
		191	sendfile fadvise madvise
		192	mmap munmap munlock munlockall);
		193
		194	push @AIO_REQ, qw(aio_busy); # not exported
88		195
89	@IO::AIO::GRP::ISA = 'IO::AIO::REQ';	196	@IO::AIO::GRP::ISA = 'IO::AIO::REQ';
90		197
91	require XSLoader;	198	require XSLoader;
92	XSLoader::load ("IO::AIO", $VERSION);	199	XSLoader::load ("IO::AIO", $VERSION);
93	}	200	}
94		201
95	=head1 FUNCTIONS	202	=head1 FUNCTIONS
96		203
		204	=head2 QUICK OVERVIEW
		205
		206	This section simply lists the prototypes of the most important functions
		207	for quick reference. See the following sections for function-by-function
		208	documentation.
		209
		210	aio_open $pathname, $flags, $mode, $callback->($fh)
		211	aio_close $fh, $callback->($status)
		212	aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
		213	aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
		214	aio_sendfile $out_fh, $in_fh, $in_offset, $length, $callback->($retval)
		215	aio_readahead $fh,$offset,$length, $callback->($retval)
		216	aio_stat $fh_or_path, $callback->($status)
		217	aio_lstat $fh, $callback->($status)
		218	aio_statvfs $fh_or_path, $callback->($statvfs)
		219	aio_utime $fh_or_path, $atime, $mtime, $callback->($status)
		220	aio_chown $fh_or_path, $uid, $gid, $callback->($status)
		221	aio_truncate $fh_or_path, $offset, $callback->($status)
		222	aio_chmod $fh_or_path, $mode, $callback->($status)
		223	aio_unlink $pathname, $callback->($status)
		224	aio_mknod $path, $mode, $dev, $callback->($status)
		225	aio_link $srcpath, $dstpath, $callback->($status)
		226	aio_symlink $srcpath, $dstpath, $callback->($status)
		227	aio_readlink $path, $callback->($link)
		228	aio_realpath $path, $callback->($link)
		229	aio_rename $srcpath, $dstpath, $callback->($status)
		230	aio_mkdir $pathname, $mode, $callback->($status)
		231	aio_rmdir $pathname, $callback->($status)
		232	aio_readdir $pathname, $callback->($entries)
		233	aio_readdirx $pathname, $flags, $callback->($entries, $flags)
		234	IO::AIO::READDIR_DENTS IO::AIO::READDIR_DIRS_FIRST
		235	IO::AIO::READDIR_STAT_ORDER IO::AIO::READDIR_FOUND_UNKNOWN
		236	aio_load $path, $data, $callback->($status)
		237	aio_copy $srcpath, $dstpath, $callback->($status)
		238	aio_move $srcpath, $dstpath, $callback->($status)
		239	aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
		240	aio_rmtree $path, $callback->($status)
		241	aio_sync $callback->($status)
		242	aio_fsync $fh, $callback->($status)
		243	aio_fdatasync $fh, $callback->($status)
		244	aio_sync_file_range $fh, $offset, $nbytes, $flags, $callback->($status)
		245	aio_pathsync $path, $callback->($status)
		246	aio_msync $scalar, $offset = 0, $length = undef, flags = 0, $callback->($status)
		247	aio_mtouch $scalar, $offset = 0, $length = undef, flags = 0, $callback->($status)
		248	aio_mlock $scalar, $offset = 0, $length = undef, $callback->($status)
		249	aio_mlockall $flags, $callback->($status)
		250	aio_group $callback->(...)
		251	aio_nop $callback->()
		252
		253	$prev_pri = aioreq_pri [$pri]
		254	aioreq_nice $pri_adjust
		255
		256	IO::AIO::poll_wait
		257	IO::AIO::poll_cb
		258	IO::AIO::poll
		259	IO::AIO::flush
		260	IO::AIO::max_poll_reqs $nreqs
		261	IO::AIO::max_poll_time $seconds
		262	IO::AIO::min_parallel $nthreads
		263	IO::AIO::max_parallel $nthreads
		264	IO::AIO::max_idle $nthreads
		265	IO::AIO::idle_timeout $seconds
		266	IO::AIO::max_outstanding $maxreqs
		267	IO::AIO::nreqs
		268	IO::AIO::nready
		269	IO::AIO::npending
		270
		271	IO::AIO::sendfile $ofh, $ifh, $offset, $count
		272	IO::AIO::fadvise $fh, $offset, $len, $advice
		273	IO::AIO::madvise $scalar, $offset, $length, $advice
		274	IO::AIO::mprotect $scalar, $offset, $length, $protect
		275	IO::AIO::munlock $scalar, $offset = 0, $length = undef
		276	IO::AIO::munlockall
		277
97	=head2 AIO FUNCTIONS	278	=head2 AIO REQUEST FUNCTIONS
98		279
99	All the C<aio_*> calls are more or less thin wrappers around the syscall	280	All the C<aio_*> calls are more or less thin wrappers around the syscall
100	with the same name (sans C<aio_>). The arguments are similar or identical,	281	with the same name (sans C<aio_>). The arguments are similar or identical,
101	and they all accept an additional (and optional) C<$callback> argument	282	and they all accept an additional (and optional) C<$callback> argument
102	which must be a code reference. This code reference will get called with	283	which must be a code reference. This code reference will get called with
103	the syscall return code (e.g. most syscalls return C<-1> on error, unlike	284	the syscall return code (e.g. most syscalls return C<-1> on error, unlike
104	perl, which usually delivers "false") as it's sole argument when the given	285	perl, which usually delivers "false") as its sole argument after the given
105	syscall has been executed asynchronously.	286	syscall has been executed asynchronously.
106		287
107	All functions expecting a filehandle keep a copy of the filehandle	288	All functions expecting a filehandle keep a copy of the filehandle
108	internally until the request has finished.	289	internally until the request has finished.
109		290
110	All requests return objects of type L<IO::AIO::REQ> that allow further	291	All functions return request objects of type L<IO::AIO::REQ> that allow
111	manipulation of those requests while they are in-flight.	292	further manipulation of those requests while they are in-flight.
112		293
113	The pathnames you pass to these routines I<must> be absolute and	294	The pathnames you pass to these routines I<must> be absolute and
114	encoded in byte form. The reason for the former is that at the time the	295	encoded as octets. The reason for the former is that at the time the
115	request is being executed, the current working directory could have	296	request is being executed, the current working directory could have
116	changed. Alternatively, you can make sure that you never change the	297	changed. Alternatively, you can make sure that you never change the
117	current working directory.	298	current working directory anywhere in the program and then use relative
		299	paths.
118		300
119	To encode pathnames to byte form, either make sure you either: a)	301	To encode pathnames as octets, either make sure you either: a) always pass
120	always pass in filenames you got from outside (command line, readdir	302	in filenames you got from outside (command line, readdir etc.) without
121	etc.), b) are ASCII or ISO 8859-1, c) use the Encode module and encode	303	tinkering, b) are ASCII or ISO 8859-1, c) use the Encode module and encode
122	your pathnames to the locale (or other) encoding in effect in the user	304	your pathnames to the locale (or other) encoding in effect in the user
123	environment, d) use Glib::filename_from_unicode on unicode filenames or e)	305	environment, d) use Glib::filename_from_unicode on unicode filenames or e)
124	use something else.	306	use something else to ensure your scalar has the correct contents.
		307
		308	This works, btw. independent of the internal UTF-8 bit, which IO::AIO
		309	handles correctly whether it is set or not.
125		310
126	=over 4	311	=over 4
		312
		313	=item $prev_pri = aioreq_pri [$pri]
		314
		315	Returns the priority value that would be used for the next request and, if
		316	C<$pri> is given, sets the priority for the next aio request.
		317
		318	The default priority is C<0>, the minimum and maximum priorities are C<-4>
		319	and C<4>, respectively. Requests with higher priority will be serviced
		320	first.
		321
		322	The priority will be reset to C<0> after each call to one of the C<aio_*>
		323	functions.
		324
		325	Example: open a file with low priority, then read something from it with
		326	higher priority so the read request is serviced before other low priority
		327	open requests (potentially spamming the cache):
		328
		329	aioreq_pri -3;
		330	aio_open ..., sub {
		331	return unless $_[0];
		332
		333	aioreq_pri -2;
		334	aio_read $_[0], ..., sub {
		335	...
		336	};
		337	};
		338
		339
		340	=item aioreq_nice $pri_adjust
		341
		342	Similar to C<aioreq_pri>, but subtracts the given value from the current
		343	priority, so the effect is cumulative.
		344
127		345
128	=item aio_open $pathname, $flags, $mode, $callback->($fh)	346	=item aio_open $pathname, $flags, $mode, $callback->($fh)
129		347
130	Asynchronously open or create a file and call the callback with a newly	348	Asynchronously open or create a file and call the callback with a newly
131	created filehandle for the file.	349	created filehandle for the file.
…		…
137	list. They are the same as used by C<sysopen>.	355	list. They are the same as used by C<sysopen>.
138		356
139	Likewise, C<$mode> specifies the mode of the newly created file, if it	357	Likewise, C<$mode> specifies the mode of the newly created file, if it
140	didn't exist and C<O_CREAT> has been given, just like perl's C<sysopen>,	358	didn't exist and C<O_CREAT> has been given, just like perl's C<sysopen>,
141	except that it is mandatory (i.e. use C<0> if you don't create new files,	359	except that it is mandatory (i.e. use C<0> if you don't create new files,
142	and C<0666> or C<0777> if you do).	360	and C<0666> or C<0777> if you do). Note that the C<$mode> will be modified
		361	by the umask in effect then the request is being executed, so better never
		362	change the umask.
143		363
144	Example:	364	Example:
145		365
146	aio_open "/etc/passwd", O_RDONLY, 0, sub {	366	aio_open "/etc/passwd", IO::AIO::O_RDONLY, 0, sub {
147	if ($_[0]) {	367	if ($_[0]) {
148	print "open successful, fh is $_[0]\n";	368	print "open successful, fh is $_[0]\n";
149	...	369	...
150	} else {	370	} else {
151	die "open failed: $!\n";	371	die "open failed: $!\n";
152	}	372	}
153	};	373	};
154		374
		375	In addition to all the common open modes/flags (C<O_RDONLY>, C<O_WRONLY>,
		376	C<O_RDWR>, C<O_CREAT>, C<O_TRUNC>, C<O_EXCL> and C<O_APPEND>), the
		377	following POSIX and non-POSIX constants are available (missing ones on
		378	your system are, as usual, C<0>):
		379
		380	C<O_ASYNC>, C<O_DIRECT>, C<O_NOATIME>, C<O_CLOEXEC>, C<O_NOCTTY>, C<O_NOFOLLOW>,
		381	C<O_NONBLOCK>, C<O_EXEC>, C<O_SEARCH>, C<O_DIRECTORY>, C<O_DSYNC>,
		382	C<O_RSYNC>, C<O_SYNC> and C<O_TTY_INIT>.
		383
		384
155	=item aio_close $fh, $callback->($status)	385	=item aio_close $fh, $callback->($status)
156		386
157	Asynchronously close a file and call the callback with the result	387	Asynchronously close a file and call the callback with the result
158	code. I<WARNING:> although accepted, you should not pass in a perl	388	code.
159	filehandle here, as perl will likely close the file descriptor another
160	time when the filehandle is destroyed. Normally, you can safely call perls
161	C<close> or just let filehandles go out of scope.
162		389
163	This is supposed to be a bug in the API, so that might change. It's	390	Unfortunately, you can't do this to perl. Perl I<insists> very strongly on
164	therefore best to avoid this function.	391	closing the file descriptor associated with the filehandle itself.
		392
		393	Therefore, C<aio_close> will not close the filehandle - instead it will
		394	use dup2 to overwrite the file descriptor with the write-end of a pipe
		395	(the pipe fd will be created on demand and will be cached).
		396
		397	Or in other words: the file descriptor will be closed, but it will not be
		398	free for reuse until the perl filehandle is closed.
		399
		400	=cut
165		401
166	=item aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)	402	=item aio_read $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
167		403
168	=item aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)	404	=item aio_write $fh,$offset,$length, $data,$dataoffset, $callback->($retval)
169		405
170	Reads or writes C<length> bytes from the specified C<fh> and C<offset>	406	Reads or writes C<$length> bytes from or to the specified C<$fh> and
171	into the scalar given by C<data> and offset C<dataoffset> and calls the	407	C<$offset> into the scalar given by C<$data> and offset C<$dataoffset>
172	callback without the actual number of bytes read (or -1 on error, just	408	and calls the callback without the actual number of bytes read (or -1 on
173	like the syscall).	409	error, just like the syscall).
		410
		411	C<aio_read> will, like C<sysread>, shrink or grow the C<$data> scalar to
		412	offset plus the actual number of bytes read.
		413
		414	If C<$offset> is undefined, then the current file descriptor offset will
		415	be used (and updated), otherwise the file descriptor offset will not be
		416	changed by these calls.
		417
		418	If C<$length> is undefined in C<aio_write>, use the remaining length of
		419	C<$data>.
		420
		421	If C<$dataoffset> is less than zero, it will be counted from the end of
		422	C<$data>.
174		423
175	The C<$data> scalar I<MUST NOT> be modified in any way while the request	424	The C<$data> scalar I<MUST NOT> be modified in any way while the request
176	is outstanding. Modifying it can result in segfaults or WW3 (if the	425	is outstanding. Modifying it can result in segfaults or World War III (if
177	necessary/optional hardware is installed).	426	the necessary/optional hardware is installed).
178		427
179	Example: Read 15 bytes at offset 7 into scalar C<$buffer>, starting at	428	Example: Read 15 bytes at offset 7 into scalar C<$buffer>, starting at
180	offset C<0> within the scalar:	429	offset C<0> within the scalar:
181		430
182	aio_read $fh, 7, 15, $buffer, 0, sub {	431	aio_read $fh, 7, 15, $buffer, 0, sub {
183	$_[0] > 0 or die "read error: $!";	432	$_[0] > 0 or die "read error: $!";
184	print "read $_[0] bytes: <$buffer>\n";	433	print "read $_[0] bytes: <$buffer>\n";
185	};	434	};
186		435
187	=item aio_move $srcpath, $dstpath, $callback->($status)
188
189	[EXPERIMENTAL due to internal aio_group use]
190
191	Try to move the I<file> (directories not supported as either source or
192	destination) from C<$srcpath> to C<$dstpath> and call the callback with
193	the C<0> (error) or C<-1> ok.
194
195	This is a composite request that tries to rename(2) the file first. If
196	rename files with C<EXDEV>, it creates the destination file with mode 0200
197	and copies the contents of the source file into it using C<aio_sendfile>,
198	followed by restoring atime, mtime, access mode and uid/gid, in that
199	order, and unlinking the C<$srcpath>.
200
201	If an error occurs, the partial destination file will be unlinked, if
202	possible, except when setting atime, mtime, access mode and uid/gid, where
203	errors are being ignored.
204
205	=cut
206
207	sub aio_move($$$) {
208	my ($src, $dst, $cb) = @_;
209
210	my $grp = aio_group $cb;
211
212	add $grp aio_rename $src, $dst, sub {
213	if ($_[0] && $! == EXDEV) {
214	add $grp aio_open $src, O_RDONLY, 0, sub {
215	if (my $src_fh = $_[0]) {
216	my @stat = stat $src_fh;
217
218	add $grp aio_open $dst, O_WRONLY, 0200, sub {
219	if (my $dst_fh = $_[0]) {
220	add $grp aio_sendfile $dst_fh, $src_fh, 0, $stat[7], sub {
221	close $src_fh;
222
223	if ($_[0] == $stat[7]) {
224	utime $stat[8], $stat[9], $dst;
225	chmod $stat[2] & 07777, $dst_fh;
226	chown $stat[4], $stat[5], $dst_fh;
227	close $dst_fh;
228
229	add $grp aio_unlink $src, sub {
230	$grp->result ($_[0]);
231	};
232	} else {
233	my $errno = $!;
234	add $grp aio_unlink $dst, sub {
235	$! = $errno;
236	$grp->result (-1);
237	};
238	}
239	};
240	} else {
241	$grp->result (-1);
242	}
243	},
244
245	} else {
246	$grp->result (-1);
247	}
248	};
249	} else {
250	$grp->result ($_[0]);
251	}
252	};
253
254	$grp
255	}
256		436
257	=item aio_sendfile $out_fh, $in_fh, $in_offset, $length, $callback->($retval)	437	=item aio_sendfile $out_fh, $in_fh, $in_offset, $length, $callback->($retval)
258		438
259	Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts	439	Tries to copy C<$length> bytes from C<$in_fh> to C<$out_fh>. It starts
260	reading at byte offset C<$in_offset>, and starts writing at the current	440	reading at byte offset C<$in_offset>, and starts writing at the current
261	file offset of C<$out_fh>. Because of that, it is not safe to issue more	441	file offset of C<$out_fh>. Because of that, it is not safe to issue more
262	than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each	442	than one C<aio_sendfile> per C<$out_fh>, as they will interfere with each
263	other.	443	other. The same C<$in_fh> works fine though, as this function does not
		444	move or use the file offset of C<$in_fh>.
264		445
		446	Please note that C<aio_sendfile> can read more bytes from C<$in_fh> than
		447	are written, and there is no way to find out how many more bytes have been
		448	read from C<aio_sendfile> alone, as C<aio_sendfile> only provides the
		449	number of bytes written to C<$out_fh>. Only if the result value equals
		450	C<$length> one can assume that C<$length> bytes have been read.
		451
		452	Unlike with other C<aio_> functions, it makes a lot of sense to use
		453	C<aio_sendfile> on non-blocking sockets, as long as one end (typically
		454	the C<$in_fh>) is a file - the file I/O will then be asynchronous, while
		455	the socket I/O will be non-blocking. Note, however, that you can run
		456	into a trap where C<aio_sendfile> reads some data with readahead, then
		457	fails to write all data, and when the socket is ready the next time, the
		458	data in the cache is already lost, forcing C<aio_sendfile> to again hit
		459	the disk. Explicit C<aio_read> + C<aio_write> let's you better control
		460	resource usage.
		461
265	This call tries to make use of a native C<sendfile> syscall to provide	462	This call tries to make use of a native C<sendfile>-like syscall to
266	zero-copy operation. For this to work, C<$out_fh> should refer to a	463	provide zero-copy operation. For this to work, C<$out_fh> should refer to
267	socket, and C<$in_fh> should refer to mmap'able file.	464	a socket, and C<$in_fh> should refer to an mmap'able file.
268		465
269	If the native sendfile call fails or is not implemented, it will be	466	If a native sendfile cannot be found or it fails with C<ENOSYS>,
270	emulated, so you can call C<aio_sendfile> on any type of filehandle	467	C<EINVAL>, C<ENOTSUP>, C<EOPNOTSUPP>, C<EAFNOSUPPORT>, C<EPROTOTYPE> or
		468	C<ENOTSOCK>, it will be emulated, so you can call C<aio_sendfile> on any
271	regardless of the limitations of the operating system.	469	type of filehandle regardless of the limitations of the operating system.
272		470
273	Please note, however, that C<aio_sendfile> can read more bytes from	471	As native sendfile syscalls (as practically any non-POSIX interface hacked
274	C<$in_fh> than are written, and there is no way to find out how many	472	together in a hurry to improve benchmark numbers) tend to be rather buggy
275	bytes have been read from C<aio_sendfile> alone, as C<aio_sendfile> only	473	on many systems, this implementation tries to work around some known bugs
276	provides the number of bytes written to C<$out_fh>. Only if the result	474	in Linux and FreeBSD kernels (probably others, too), but that might fail,
277	value equals C<$length> one can assume that C<$length> bytes have been	475	so you really really should check the return value of C<aio_sendfile> -
278	read.	476	fewre bytes than expected might have been transferred.
		477
279		478
280	=item aio_readahead $fh,$offset,$length, $callback->($retval)	479	=item aio_readahead $fh,$offset,$length, $callback->($retval)
281		480
282	C<aio_readahead> populates the page cache with data from a file so that	481	C<aio_readahead> populates the page cache with data from a file so that
283	subsequent reads from that file will not block on disk I/O. The C<$offset>	482	subsequent reads from that file will not block on disk I/O. The C<$offset>
…		…
289	file. The current file offset of the file is left unchanged.	488	file. The current file offset of the file is left unchanged.
290		489
291	If that syscall doesn't exist (likely if your OS isn't Linux) it will be	490	If that syscall doesn't exist (likely if your OS isn't Linux) it will be
292	emulated by simply reading the data, which would have a similar effect.	491	emulated by simply reading the data, which would have a similar effect.
293		492
		493
294	=item aio_stat $fh_or_path, $callback->($status)	494	=item aio_stat $fh_or_path, $callback->($status)
295		495
296	=item aio_lstat $fh, $callback->($status)	496	=item aio_lstat $fh, $callback->($status)
297		497
298	Works like perl's C<stat> or C<lstat> in void context. The callback will	498	Works like perl's C<stat> or C<lstat> in void context. The callback will
…		…
303	for an explanation.	503	for an explanation.
304		504
305	Currently, the stats are always 64-bit-stats, i.e. instead of returning an	505	Currently, the stats are always 64-bit-stats, i.e. instead of returning an
306	error when stat'ing a large file, the results will be silently truncated	506	error when stat'ing a large file, the results will be silently truncated
307	unless perl itself is compiled with large file support.	507	unless perl itself is compiled with large file support.
		508
		509	To help interpret the mode and dev/rdev stat values, IO::AIO offers the
		510	following constants and functions (if not implemented, the constants will
		511	be C<0> and the functions will either C<croak> or fall back on traditional
		512	behaviour).
		513
		514	C<S_IFMT>, C<S_IFIFO>, C<S_IFCHR>, C<S_IFBLK>, C<S_IFLNK>, C<S_IFREG>,
		515	C<S_IFDIR>, C<S_IFWHT>, C<S_IFSOCK>, C<IO::AIO::major $dev_t>,
		516	C<IO::AIO::minor $dev_t>, C<IO::AIO::makedev $major, $minor>.
308		517
309	Example: Print the length of F</etc/passwd>:	518	Example: Print the length of F</etc/passwd>:
310		519
311	aio_stat "/etc/passwd", sub {	520	aio_stat "/etc/passwd", sub {
312	$_[0] and die "stat failed: $!";	521	$_[0] and die "stat failed: $!";
313	print "size is ", -s _, "\n";	522	print "size is ", -s _, "\n";
314	};	523	};
315		524
		525
		526	=item aio_statvfs $fh_or_path, $callback->($statvfs)
		527
		528	Works like the POSIX C<statvfs> or C<fstatvfs> syscalls, depending on
		529	whether a file handle or path was passed.
		530
		531	On success, the callback is passed a hash reference with the following
		532	members: C<bsize>, C<frsize>, C<blocks>, C<bfree>, C<bavail>, C<files>,
		533	C<ffree>, C<favail>, C<fsid>, C<flag> and C<namemax>. On failure, C<undef>
		534	is passed.
		535
		536	The following POSIX IO::AIO::ST_* constants are defined: C<ST_RDONLY> and
		537	C<ST_NOSUID>.
		538
		539	The following non-POSIX IO::AIO::ST_* flag masks are defined to
		540	their correct value when available, or to C<0> on systems that do
		541	not support them: C<ST_NODEV>, C<ST_NOEXEC>, C<ST_SYNCHRONOUS>,
		542	C<ST_MANDLOCK>, C<ST_WRITE>, C<ST_APPEND>, C<ST_IMMUTABLE>, C<ST_NOATIME>,
		543	C<ST_NODIRATIME> and C<ST_RELATIME>.
		544
		545	Example: stat C</wd> and dump out the data if successful.
		546
		547	aio_statvfs "/wd", sub {
		548	my $f = $_[0]
		549	or die "statvfs: $!";
		550
		551	use Data::Dumper;
		552	say Dumper $f;
		553	};
		554
		555	# result:
		556	{
		557	bsize => 1024,
		558	bfree => 4333064312,
		559	blocks => 10253828096,
		560	files => 2050765568,
		561	flag => 4096,
		562	favail => 2042092649,
		563	bavail => 4333064312,
		564	ffree => 2042092649,
		565	namemax => 255,
		566	frsize => 1024,
		567	fsid => 1810
		568	}
		569
		570
		571	=item aio_utime $fh_or_path, $atime, $mtime, $callback->($status)
		572
		573	Works like perl's C<utime> function (including the special case of $atime
		574	and $mtime being undef). Fractional times are supported if the underlying
		575	syscalls support them.
		576
		577	When called with a pathname, uses utimes(2) if available, otherwise
		578	utime(2). If called on a file descriptor, uses futimes(2) if available,
		579	otherwise returns ENOSYS, so this is not portable.
		580
		581	Examples:
		582
		583	# set atime and mtime to current time (basically touch(1)):
		584	aio_utime "path", undef, undef;
		585	# set atime to current time and mtime to beginning of the epoch:
		586	aio_utime "path", time, undef; # undef==0
		587
		588
		589	=item aio_chown $fh_or_path, $uid, $gid, $callback->($status)
		590
		591	Works like perl's C<chown> function, except that C<undef> for either $uid
		592	or $gid is being interpreted as "do not change" (but -1 can also be used).
		593
		594	Examples:
		595
		596	# same as "chown root path" in the shell:
		597	aio_chown "path", 0, -1;
		598	# same as above:
		599	aio_chown "path", 0, undef;
		600
		601
		602	=item aio_truncate $fh_or_path, $offset, $callback->($status)
		603
		604	Works like truncate(2) or ftruncate(2).
		605
		606
		607	=item aio_chmod $fh_or_path, $mode, $callback->($status)
		608
		609	Works like perl's C<chmod> function.
		610
		611
316	=item aio_unlink $pathname, $callback->($status)	612	=item aio_unlink $pathname, $callback->($status)
317		613
318	Asynchronously unlink (delete) a file and call the callback with the	614	Asynchronously unlink (delete) a file and call the callback with the
319	result code.	615	result code.
320		616
		617
		618	=item aio_mknod $path, $mode, $dev, $callback->($status)
		619
		620	[EXPERIMENTAL]
		621
		622	Asynchronously create a device node (or fifo). See mknod(2).
		623
		624	The only (POSIX-) portable way of calling this function is:
		625
		626	aio_mknod $path, IO::AIO::S_IFIFO | $mode, 0, sub { ...
		627
		628	See C<aio_stat> for info about some potentially helpful extra constants
		629	and functions.
		630
321	=item aio_link $srcpath, $dstpath, $callback->($status)	631	=item aio_link $srcpath, $dstpath, $callback->($status)
322		632
323	Asynchronously create a new link to the existing object at C<$srcpath> at	633	Asynchronously create a new link to the existing object at C<$srcpath> at
324	the path C<$dstpath> and call the callback with the result code.	634	the path C<$dstpath> and call the callback with the result code.
325		635
		636
326	=item aio_symlink $srcpath, $dstpath, $callback->($status)	637	=item aio_symlink $srcpath, $dstpath, $callback->($status)
327		638
328	Asynchronously create a new symbolic link to the existing object at C<$srcpath> at	639	Asynchronously create a new symbolic link to the existing object at C<$srcpath> at
329	the path C<$dstpath> and call the callback with the result code.	640	the path C<$dstpath> and call the callback with the result code.
330		641
		642
		643	=item aio_readlink $path, $callback->($link)
		644
		645	Asynchronously read the symlink specified by C<$path> and pass it to
		646	the callback. If an error occurs, nothing or undef gets passed to the
		647	callback.
		648
		649
		650	=item aio_realpath $path, $callback->($path)
		651
		652	Asynchronously make the path absolute and resolve any symlinks in
		653	C<$path>. The resulting path only consists of directories (Same as
		654	L<Cwd::realpath>).
		655
		656	This request can be used to get the absolute path of the current working
		657	directory by passing it a path of F<.> (a single dot).
		658
		659
331	=item aio_rename $srcpath, $dstpath, $callback->($status)	660	=item aio_rename $srcpath, $dstpath, $callback->($status)
332		661
333	Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as	662	Asynchronously rename the object at C<$srcpath> to C<$dstpath>, just as
334	rename(2) and call the callback with the result code.	663	rename(2) and call the callback with the result code.
335		664
		665
		666	=item aio_mkdir $pathname, $mode, $callback->($status)
		667
		668	Asynchronously mkdir (create) a directory and call the callback with
		669	the result code. C<$mode> will be modified by the umask at the time the
		670	request is executed, so do not change your umask.
		671
		672
336	=item aio_rmdir $pathname, $callback->($status)	673	=item aio_rmdir $pathname, $callback->($status)
337		674
338	Asynchronously rmdir (delete) a directory and call the callback with the	675	Asynchronously rmdir (delete) a directory and call the callback with the
339	result code.	676	result code.
		677
340		678
341	=item aio_readdir $pathname, $callback->($entries)	679	=item aio_readdir $pathname, $callback->($entries)
342		680
343	Unlike the POSIX call of the same name, C<aio_readdir> reads an entire	681	Unlike the POSIX call of the same name, C<aio_readdir> reads an entire
344	directory (i.e. opendir + readdir + closedir). The entries will not be	682	directory (i.e. opendir + readdir + closedir). The entries will not be
345	sorted, and will B<NOT> include the C<.> and C<..> entries.	683	sorted, and will B<NOT> include the C<.> and C<..> entries.
346		684
347	The callback a single argument which is either C<undef> or an array-ref	685	The callback is passed a single argument which is either C<undef> or an
348	with the filenames.	686	array-ref with the filenames.
		687
		688
		689	=item aio_readdirx $pathname, $flags, $callback->($entries, $flags)
		690
		691	Quite similar to C<aio_readdir>, but the C<$flags> argument allows to tune
		692	behaviour and output format. In case of an error, C<$entries> will be
		693	C<undef>.
		694
		695	The flags are a combination of the following constants, ORed together (the
		696	flags will also be passed to the callback, possibly modified):
		697
		698	=over 4
		699
		700	=item IO::AIO::READDIR_DENTS
		701
		702	When this flag is off, then the callback gets an arrayref consisting of
		703	names only (as with C<aio_readdir>), otherwise it gets an arrayref with
		704	C<[$name, $type, $inode]> arrayrefs, each describing a single directory
		705	entry in more detail.
		706
		707	C<$name> is the name of the entry.
		708
		709	C<$type> is one of the C<IO::AIO::DT_xxx> constants:
		710
		711	C<IO::AIO::DT_UNKNOWN>, C<IO::AIO::DT_FIFO>, C<IO::AIO::DT_CHR>, C<IO::AIO::DT_DIR>,
		712	C<IO::AIO::DT_BLK>, C<IO::AIO::DT_REG>, C<IO::AIO::DT_LNK>, C<IO::AIO::DT_SOCK>,
		713	C<IO::AIO::DT_WHT>.
		714
		715	C<IO::AIO::DT_UNKNOWN> means just that: readdir does not know. If you need to
		716	know, you have to run stat yourself. Also, for speed reasons, the C<$type>
		717	scalars are read-only: you can not modify them.
		718
		719	C<$inode> is the inode number (which might not be exact on systems with 64
		720	bit inode numbers and 32 bit perls). This field has unspecified content on
		721	systems that do not deliver the inode information.
		722
		723	=item IO::AIO::READDIR_DIRS_FIRST
		724
		725	When this flag is set, then the names will be returned in an order where
		726	likely directories come first, in optimal stat order. This is useful when
		727	you need to quickly find directories, or you want to find all directories
		728	while avoiding to stat() each entry.
		729
		730	If the system returns type information in readdir, then this is used
		731	to find directories directly. Otherwise, likely directories are names
		732	beginning with ".", or otherwise names with no dots, of which names with
		733	short names are tried first.
		734
		735	=item IO::AIO::READDIR_STAT_ORDER
		736
		737	When this flag is set, then the names will be returned in an order
		738	suitable for stat()'ing each one. That is, when you plan to stat()
		739	all files in the given directory, then the returned order will likely
		740	be fastest.
		741
		742	If both this flag and C<IO::AIO::READDIR_DIRS_FIRST> are specified, then
		743	the likely dirs come first, resulting in a less optimal stat order.
		744
		745	=item IO::AIO::READDIR_FOUND_UNKNOWN
		746
		747	This flag should not be set when calling C<aio_readdirx>. Instead, it
		748	is being set by C<aio_readdirx>, when any of the C<$type>'s found were
		749	C<IO::AIO::DT_UNKNOWN>. The absense of this flag therefore indicates that all
		750	C<$type>'s are known, which can be used to speed up some algorithms.
		751
		752	=back
		753
		754
		755	=item aio_load $path, $data, $callback->($status)
		756
		757	This is a composite request that tries to fully load the given file into
		758	memory. Status is the same as with aio_read.
		759
		760	=cut
		761
		762	sub aio_load($$;$) {
		763	my ($path, undef, $cb) = @_;
		764	my $data = \$_[1];
		765
		766	my $pri = aioreq_pri;
		767	my $grp = aio_group $cb;
		768
		769	aioreq_pri $pri;
		770	add $grp aio_open $path, O_RDONLY, 0, sub {
		771	my $fh = shift
		772	or return $grp->result (-1);
		773
		774	aioreq_pri $pri;
		775	add $grp aio_read $fh, 0, (-s $fh), $$data, 0, sub {
		776	$grp->result ($_[0]);
		777	};
		778	};
		779
		780	$grp
		781	}
		782
		783	=item aio_copy $srcpath, $dstpath, $callback->($status)
		784
		785	Try to copy the I<file> (directories not supported as either source or
		786	destination) from C<$srcpath> to C<$dstpath> and call the callback with
		787	a status of C<0> (ok) or C<-1> (error, see C<$!>).
		788
		789	This is a composite request that creates the destination file with
		790	mode 0200 and copies the contents of the source file into it using
		791	C<aio_sendfile>, followed by restoring atime, mtime, access mode and
		792	uid/gid, in that order.
		793
		794	If an error occurs, the partial destination file will be unlinked, if
		795	possible, except when setting atime, mtime, access mode and uid/gid, where
		796	errors are being ignored.
		797
		798	=cut
		799
		800	sub aio_copy($$;$) {
		801	my ($src, $dst, $cb) = @_;
		802
		803	my $pri = aioreq_pri;
		804	my $grp = aio_group $cb;
		805
		806	aioreq_pri $pri;
		807	add $grp aio_open $src, O_RDONLY, 0, sub {
		808	if (my $src_fh = $_[0]) {
		809	my @stat = stat $src_fh; # hmm, might block over nfs?
		810
		811	aioreq_pri $pri;
		812	add $grp aio_open $dst, O_CREAT | O_WRONLY | O_TRUNC, 0200, sub {
		813	if (my $dst_fh = $_[0]) {
		814	aioreq_pri $pri;
		815	add $grp aio_sendfile $dst_fh, $src_fh, 0, $stat[7], sub {
		816	if ($_[0] == $stat[7]) {
		817	$grp->result (0);
		818	close $src_fh;
		819
		820	my $ch = sub {
		821	aioreq_pri $pri;
		822	add $grp aio_chmod $dst_fh, $stat[2] & 07777, sub {
		823	aioreq_pri $pri;
		824	add $grp aio_chown $dst_fh, $stat[4], $stat[5], sub {
		825	aioreq_pri $pri;
		826	add $grp aio_close $dst_fh;
		827	}
		828	};
		829	};
		830
		831	aioreq_pri $pri;
		832	add $grp aio_utime $dst_fh, $stat[8], $stat[9], sub {
		833	if ($_[0] < 0 && $! == ENOSYS) {
		834	aioreq_pri $pri;
		835	add $grp aio_utime $dst, $stat[8], $stat[9], $ch;
		836	} else {
		837	$ch->();
		838	}
		839	};
		840	} else {
		841	$grp->result (-1);
		842	close $src_fh;
		843	close $dst_fh;
		844
		845	aioreq $pri;
		846	add $grp aio_unlink $dst;
		847	}
		848	};
		849	} else {
		850	$grp->result (-1);
		851	}
		852	},
		853
		854	} else {
		855	$grp->result (-1);
		856	}
		857	};
		858
		859	$grp
		860	}
		861
		862	=item aio_move $srcpath, $dstpath, $callback->($status)
		863
		864	Try to move the I<file> (directories not supported as either source or
		865	destination) from C<$srcpath> to C<$dstpath> and call the callback with
		866	a status of C<0> (ok) or C<-1> (error, see C<$!>).
		867
		868	This is a composite request that tries to rename(2) the file first; if
		869	rename fails with C<EXDEV>, it copies the file with C<aio_copy> and, if
		870	that is successful, unlinks the C<$srcpath>.
		871
		872	=cut
		873
		874	sub aio_move($$;$) {
		875	my ($src, $dst, $cb) = @_;
		876
		877	my $pri = aioreq_pri;
		878	my $grp = aio_group $cb;
		879
		880	aioreq_pri $pri;
		881	add $grp aio_rename $src, $dst, sub {
		882	if ($_[0] && $! == EXDEV) {
		883	aioreq_pri $pri;
		884	add $grp aio_copy $src, $dst, sub {
		885	$grp->result ($_[0]);
		886
		887	unless ($_[0]) {
		888	aioreq_pri $pri;
		889	add $grp aio_unlink $src;
		890	}
		891	};
		892	} else {
		893	$grp->result ($_[0]);
		894	}
		895	};
		896
		897	$grp
		898	}
349		899
350	=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)	900	=item aio_scandir $path, $maxreq, $callback->($dirs, $nondirs)
351		901
352	[EXPERIMENTAL due to internal aio_group use]
353
354	Scans a directory (similar to C<aio_readdir>) but additionally tries to	902	Scans a directory (similar to C<aio_readdir>) but additionally tries to
355	separate the entries of directory C<$path> into two sets of names, ones	903	efficiently separate the entries of directory C<$path> into two sets of
356	you can recurse into (directories or links to them), and ones you cannot	904	names, directories you can recurse into (directories), and ones you cannot
357	recurse into (everything else).	905	recurse into (everything else, including symlinks to directories).
358		906
359	C<aio_scandir> is a composite request that creates of many sub requests_	907	C<aio_scandir> is a composite request that creates of many sub requests_
360	C<$maxreq> specifies the maximum number of outstanding aio requests that	908	C<$maxreq> specifies the maximum number of outstanding aio requests that
361	this function generates. If it is C<< <= 0 >>, then a suitable default	909	this function generates. If it is C<< <= 0 >>, then a suitable default
362	will be chosen (currently 6).	910	will be chosen (currently 4).
363		911
364	On error, the callback is called without arguments, otherwise it receives	912	On error, the callback is called without arguments, otherwise it receives
365	two array-refs with path-relative entry names.	913	two array-refs with path-relative entry names.
366		914
367	Example:	915	Example:
…		…
374		922
375	Implementation notes.	923	Implementation notes.
376		924
377	The C<aio_readdir> cannot be avoided, but C<stat()>'ing every entry can.	925	The C<aio_readdir> cannot be avoided, but C<stat()>'ing every entry can.
378		926
		927	If readdir returns file type information, then this is used directly to
		928	find directories.
		929
379	After reading the directory, the modification time, size etc. of the	930	Otherwise, after reading the directory, the modification time, size etc.
380	directory before and after the readdir is checked, and if they match (and	931	of the directory before and after the readdir is checked, and if they
381	isn't the current time), the link count will be used to decide how many	932	match (and isn't the current time), the link count will be used to decide
382	entries are directories (if >= 2). Otherwise, no knowledge of the number	933	how many entries are directories (if >= 2). Otherwise, no knowledge of the
383	of subdirectories will be assumed.	934	number of subdirectories will be assumed.
384		935
385	Then entries will be sorted into likely directories (everything without	936	Then entries will be sorted into likely directories a non-initial dot
386	a non-initial dot currently) and likely non-directories (everything	937	currently) and likely non-directories (see C<aio_readdirx>). Then every
387	else). Then every entry plus an appended C</.> will be C<stat>'ed,	938	entry plus an appended C</.> will be C<stat>'ed, likely directories first,
388	likely directories first. If that succeeds, it assumes that the entry	939	in order of their inode numbers. If that succeeds, it assumes that the
389	is a directory or a symlink to directory (which will be checked	940	entry is a directory or a symlink to directory (which will be checked
390	seperately). This is often faster than stat'ing the entry itself because	941	seperately). This is often faster than stat'ing the entry itself because
391	filesystems might detect the type of the entry without reading the inode	942	filesystems might detect the type of the entry without reading the inode
392	data (e.g. ext2fs filetype feature).	943	data (e.g. ext2fs filetype feature), even on systems that cannot return
		944	the filetype information on readdir.
393		945
394	If the known number of directories (link count - 2) has been reached, the	946	If the known number of directories (link count - 2) has been reached, the
395	rest of the entries is assumed to be non-directories.	947	rest of the entries is assumed to be non-directories.
396		948
397	This only works with certainty on POSIX (= UNIX) filesystems, which	949	This only works with certainty on POSIX (= UNIX) filesystems, which
…		…
401	as those tend to return 0 or 1 as link counts, which disables the	953	as those tend to return 0 or 1 as link counts, which disables the
402	directory counting heuristic.	954	directory counting heuristic.
403		955
404	=cut	956	=cut
405		957
406	sub aio_scandir($$$) {	958	sub aio_scandir($$;$) {
407	my ($path, $maxreq, $cb) = @_;	959	my ($path, $maxreq, $cb) = @_;
408		960
		961	my $pri = aioreq_pri;
		962
409	my $grp = aio_group $cb;	963	my $grp = aio_group $cb;
410		964
411	$maxreq = 6 if $maxreq <= 0;	965	$maxreq = 4 if $maxreq <= 0;
412		966
413	# stat once	967	# stat once
		968	aioreq_pri $pri;
414	add $grp aio_stat $path, sub {	969	add $grp aio_stat $path, sub {
415	return $grp->result () if $_[0];	970	return $grp->result () if $_[0];
416	my $now = time;	971	my $now = time;
417	my $hash1 = join ":", (stat _)[0,1,3,7,9];	972	my $hash1 = join ":", (stat _)[0,1,3,7,9];
418		973
419	# read the directory entries	974	# read the directory entries
		975	aioreq_pri $pri;
420	add $grp aio_readdir $path, sub {	976	add $grp aio_readdirx $path, READDIR_DIRS_FIRST, sub {
421	my $entries = shift	977	my $entries = shift
422	or return $grp->result ();	978	or return $grp->result ();
423		979
424	# stat the dir another time	980	# stat the dir another time
		981	aioreq_pri $pri;
425	add $grp aio_stat $path, sub {	982	add $grp aio_stat $path, sub {
426	my $hash2 = join ":", (stat _)[0,1,3,7,9];	983	my $hash2 = join ":", (stat _)[0,1,3,7,9];
427		984
428	my $ndirs;	985	my $ndirs;
429		986
430	# take the slow route if anything looks fishy	987	# take the slow route if anything looks fishy
431	if ($hash1 ne $hash2 or (stat _)[9] == $now) {	988	if ($hash1 ne $hash2 or (stat _)[9] == $now) {
432	$ndirs = -1;	989	$ndirs = -1;
433	} else {	990	} else {
434	# if nlink == 2, we are finished	991	# if nlink == 2, we are finished
435	# on non-posix-fs's, we rely on nlink < 2	992	# for non-posix-fs's, we rely on nlink < 2
436	$ndirs = (stat _)[3] - 2	993	$ndirs = (stat _)[3] - 2
437	or return $grp->result ([], $entries);	994	or return $grp->result ([], $entries);
438	}	995	}
439		996
440	# sort into likely dirs and likely nondirs
441	# dirs == files without ".", short entries first
442	$entries = [map $_->[0],
443	sort { $b->[1] cmp $a->[1] }
444	map [$_, sprintf "%s%04d", (/.\./ ? "1" : "0"), length],
445	@$entries];
446
447	my (@dirs, @nondirs);	997	my (@dirs, @nondirs);
448		998
449	my ($statcb, $schedcb);
450	my $nreq = 0;
451
452	my $statgrp = add $grp aio_group;	999	my $statgrp = add $grp aio_group sub {
		1000	$grp->result (\@dirs, \@nondirs);
		1001	};
453		1002
454	$schedcb = sub {	1003	limit $statgrp $maxreq;
455	if (@$entries) {	1004	feed $statgrp sub {
456	if ($nreq < $maxreq) {	1005	return unless @$entries;
457	my $ent = pop @$entries;	1006	my $entry = shift @$entries;
		1007
		1008	aioreq_pri $pri;
		1009	add $statgrp aio_stat "$path/$entry/.", sub {
		1010	if ($_[0] < 0) {
		1011	push @nondirs, $entry;
		1012	} else {
		1013	# need to check for real directory
		1014	aioreq_pri $pri;
		1015	add $statgrp aio_lstat "$path/$entry", sub {
		1016	if (-d _) {
		1017	push @dirs, $entry;
		1018
		1019	unless (--$ndirs) {
		1020	push @nondirs, @$entries;
		1021	feed $statgrp;
		1022	}
		1023	} else {
		1024	push @nondirs, $entry;
		1025	}
458	$nreq++;	1026	}
459	add $statgrp aio_stat "$path/$ent/.", sub { $statcb->($_[0], $ent) };
460	}	1027	}
461	} elsif (!$nreq) {
462	# finished
463	$statgrp->cancel;
464	undef $statcb;
465	undef $schedcb;
466	$grp->result (\@dirs, \@nondirs);
467	}	1028	};
468	};	1029	};
469	$statcb = sub {
470	my ($status, $entry) = @_;
471
472	if ($status < 0) {
473	$nreq--;
474	push @nondirs, $entry;
475	&$schedcb;
476	} else {
477	# need to check for real directory
478	add $grp aio_lstat "$path/$entry", sub {
479	$nreq--;
480
481	if (-d _) {
482	push @dirs, $entry;
483
484	if (!--$ndirs) {
485	push @nondirs, @$entries;
486	$entries = [];
487	}
488	} else {
489	push @nondirs, $entry;
490	}
491
492	&$schedcb;
493	}
494	}
495	};
496
497	&$schedcb while @$entries && $nreq < $maxreq;
498	};	1030	};
499	};	1031	};
500	};	1032	};
501		1033
502	$grp	1034	$grp
503	}	1035	}
504		1036
		1037	=item aio_rmtree $path, $callback->($status)
		1038
		1039	Delete a directory tree starting (and including) C<$path>, return the
		1040	status of the final C<rmdir> only. This is a composite request that
		1041	uses C<aio_scandir> to recurse into and rmdir directories, and unlink
		1042	everything else.
		1043
		1044	=cut
		1045
		1046	sub aio_rmtree;
		1047	sub aio_rmtree($;$) {
		1048	my ($path, $cb) = @_;
		1049
		1050	my $pri = aioreq_pri;
		1051	my $grp = aio_group $cb;
		1052
		1053	aioreq_pri $pri;
		1054	add $grp aio_scandir $path, 0, sub {
		1055	my ($dirs, $nondirs) = @_;
		1056
		1057	my $dirgrp = aio_group sub {
		1058	add $grp aio_rmdir $path, sub {
		1059	$grp->result ($_[0]);
		1060	};
		1061	};
		1062
		1063	(aioreq_pri $pri), add $dirgrp aio_rmtree "$path/$_" for @$dirs;
		1064	(aioreq_pri $pri), add $dirgrp aio_unlink "$path/$_" for @$nondirs;
		1065
		1066	add $grp $dirgrp;
		1067	};
		1068
		1069	$grp
		1070	}
		1071
		1072	=item aio_sync $callback->($status)
		1073
		1074	Asynchronously call sync and call the callback when finished.
		1075
505	=item aio_fsync $fh, $callback->($status)	1076	=item aio_fsync $fh, $callback->($status)
506		1077
507	Asynchronously call fsync on the given filehandle and call the callback	1078	Asynchronously call fsync on the given filehandle and call the callback
508	with the fsync result code.	1079	with the fsync result code.
509		1080
…		…
513	callback with the fdatasync result code.	1084	callback with the fdatasync result code.
514		1085
515	If this call isn't available because your OS lacks it or it couldn't be	1086	If this call isn't available because your OS lacks it or it couldn't be
516	detected, it will be emulated by calling C<fsync> instead.	1087	detected, it will be emulated by calling C<fsync> instead.
517		1088
		1089	=item aio_sync_file_range $fh, $offset, $nbytes, $flags, $callback->($status)
		1090
		1091	Sync the data portion of the file specified by C<$offset> and C<$length>
		1092	to disk (but NOT the metadata), by calling the Linux-specific
		1093	sync_file_range call. If sync_file_range is not available or it returns
		1094	ENOSYS, then fdatasync or fsync is being substituted.
		1095
		1096	C<$flags> can be a combination of C<IO::AIO::SYNC_FILE_RANGE_WAIT_BEFORE>,
		1097	C<IO::AIO::SYNC_FILE_RANGE_WRITE> and
		1098	C<IO::AIO::SYNC_FILE_RANGE_WAIT_AFTER>: refer to the sync_file_range
		1099	manpage for details.
		1100
		1101	=item aio_pathsync $path, $callback->($status)
		1102
		1103	This request tries to open, fsync and close the given path. This is a
		1104	composite request intended to sync directories after directory operations
		1105	(E.g. rename). This might not work on all operating systems or have any
		1106	specific effect, but usually it makes sure that directory changes get
		1107	written to disc. It works for anything that can be opened for read-only,
		1108	not just directories.
		1109
		1110	Future versions of this function might fall back to other methods when
		1111	C<fsync> on the directory fails (such as calling C<sync>).
		1112
		1113	Passes C<0> when everything went ok, and C<-1> on error.
		1114
		1115	=cut
		1116
		1117	sub aio_pathsync($;$) {
		1118	my ($path, $cb) = @_;
		1119
		1120	my $pri = aioreq_pri;
		1121	my $grp = aio_group $cb;
		1122
		1123	aioreq_pri $pri;
		1124	add $grp aio_open $path, O_RDONLY, 0, sub {
		1125	my ($fh) = @_;
		1126	if ($fh) {
		1127	aioreq_pri $pri;
		1128	add $grp aio_fsync $fh, sub {
		1129	$grp->result ($_[0]);
		1130
		1131	aioreq_pri $pri;
		1132	add $grp aio_close $fh;
		1133	};
		1134	} else {
		1135	$grp->result (-1);
		1136	}
		1137	};
		1138
		1139	$grp
		1140	}
		1141
		1142	=item aio_msync $scalar, $offset = 0, $length = undef, flags = 0, $callback->($status)
		1143
		1144	This is a rather advanced IO::AIO call, which only works on mmap(2)ed
		1145	scalars (see the C<IO::AIO::mmap> function, although it also works on data
		1146	scalars managed by the L<Sys::Mmap> or L<Mmap> modules, note that the
		1147	scalar must only be modified in-place while an aio operation is pending on
		1148	it).
		1149
		1150	It calls the C<msync> function of your OS, if available, with the memory
		1151	area starting at C<$offset> in the string and ending C<$length> bytes
		1152	later. If C<$length> is negative, counts from the end, and if C<$length>
		1153	is C<undef>, then it goes till the end of the string. The flags can be
		1154	a combination of C<IO::AIO::MS_ASYNC>, C<IO::AIO::MS_INVALIDATE> and
		1155	C<IO::AIO::MS_SYNC>.
		1156
		1157	=item aio_mtouch $scalar, $offset = 0, $length = undef, flags = 0, $callback->($status)
		1158
		1159	This is a rather advanced IO::AIO call, which works best on mmap(2)ed
		1160	scalars.
		1161
		1162	It touches (reads or writes) all memory pages in the specified
		1163	range inside the scalar. All caveats and parameters are the same
		1164	as for C<aio_msync>, above, except for flags, which must be either
		1165	C<0> (which reads all pages and ensures they are instantiated) or
		1166	C<IO::AIO::MT_MODIFY>, which modifies the memory page s(by reading and
		1167	writing an octet from it, which dirties the page).
		1168
		1169	=item aio_mlock $scalar, $offset = 0, $length = undef, $callback->($status)
		1170
		1171	This is a rather advanced IO::AIO call, which works best on mmap(2)ed
		1172	scalars.
		1173
		1174	It reads in all the pages of the underlying storage into memory (if any)
		1175	and locks them, so they are not getting swapped/paged out or removed.
		1176
		1177	If C<$length> is undefined, then the scalar will be locked till the end.
		1178
		1179	On systems that do not implement C<mlock>, this function returns C<-1>
		1180	and sets errno to C<ENOSYS>.
		1181
		1182	Note that the corresponding C<munlock> is synchronous and is
		1183	documented under L<MISCELLANEOUS FUNCTIONS>.
		1184
		1185	Example: open a file, mmap and mlock it - both will be undone when
		1186	C<$data> gets destroyed.
		1187
		1188	open my $fh, "<", $path or die "$path: $!";
		1189	my $data;
		1190	IO::AIO::mmap $data, -s $fh, IO::AIO::PROT_READ, IO::AIO::MAP_SHARED, $fh;
		1191	aio_mlock $data; # mlock in background
		1192
		1193	=item aio_mlockall $flags, $callback->($status)
		1194
		1195	Calls the C<mlockall> function with the given C<$flags> (a combination of
		1196	C<IO::AIO::MCL_CURRENT> and C<IO::AIO::MCL_FUTURE>).
		1197
		1198	On systems that do not implement C<mlockall>, this function returns C<-1>
		1199	and sets errno to C<ENOSYS>.
		1200
		1201	Note that the corresponding C<munlockall> is synchronous and is
		1202	documented under L<MISCELLANEOUS FUNCTIONS>.
		1203
		1204	Example: asynchronously lock all current and future pages into memory.
		1205
		1206	aio_mlockall IO::AIO::MCL_FUTURE;
		1207
518	=item aio_group $callback->(...)	1208	=item aio_group $callback->(...)
519
520	[EXPERIMENTAL]
521		1209
522	This is a very special aio request: Instead of doing something, it is a	1210	This is a very special aio request: Instead of doing something, it is a
523	container for other aio requests, which is useful if you want to bundle	1211	container for other aio requests, which is useful if you want to bundle
524	many requests into a single, composite, request.	1212	many requests into a single, composite, request with a definite callback
		1213	and the ability to cancel the whole request with its subrequests.
525		1214
526	Returns an object of class L<IO::AIO::GRP>. See its documentation below	1215	Returns an object of class L<IO::AIO::GRP>. See its documentation below
527	for more info.	1216	for more info.
528		1217
529	Example:	1218	Example:
…		…
548	phase and still requires a worker thread. Thus, the callback will not	1237	phase and still requires a worker thread. Thus, the callback will not
549	be executed immediately but only after other requests in the queue have	1238	be executed immediately but only after other requests in the queue have
550	entered their execution phase. This can be used to measure request	1239	entered their execution phase. This can be used to measure request
551	latency.	1240	latency.
552		1241
553	=item IO::AIO::aio_sleep $fractional_seconds, $callback->() *NOT EXPORTED*	1242	=item IO::AIO::aio_busy $fractional_seconds, $callback->() *NOT EXPORTED*
554		1243
555	Mainly used for debugging and benchmarking, this aio request puts one of	1244	Mainly used for debugging and benchmarking, this aio request puts one of
556	the request workers to sleep for the given time.	1245	the request workers to sleep for the given time.
557		1246
558	While it is theoretically handy to have simple I/O scheduling requests	1247	While it is theoretically handy to have simple I/O scheduling requests
559	like sleep and file handle readable/writable, the overhead this creates	1248	like sleep and file handle readable/writable, the overhead this creates is
560	is immense, so do not use this function except to put your application	1249	immense (it blocks a thread for a long time) so do not use this function
561	under artificial I/O pressure.	1250	except to put your application under artificial I/O pressure.
562		1251
563	=back	1252	=back
564		1253
565	=head2 IO::AIO::REQ CLASS	1254	=head2 IO::AIO::REQ CLASS
566		1255
567	All non-aggregate C<aio_*> functions return an object of this class when	1256	All non-aggregate C<aio_*> functions return an object of this class when
568	called in non-void context.	1257	called in non-void context.
569
570	A request always moves through the following five states in its lifetime,
571	in order: B<ready> (request has been created, but has not been executed
572	yet), B<execute> (request is currently being executed), B<pending>
573	(request has been executed but callback has not been called yet),
574	B<result> (results are being processed synchronously, includes calling the
575	callback) and B<done> (request has reached the end of its lifetime and
576	holds no resources anymore).
577		1258
578	=over 4	1259	=over 4
579		1260
580	=item cancel $req	1261	=item cancel $req
581		1262
582	Cancels the request, if possible. Has the effect of skipping execution	1263	Cancels the request, if possible. Has the effect of skipping execution
583	when entering the B<execute> state and skipping calling the callback when	1264	when entering the B<execute> state and skipping calling the callback when
584	entering the the B<result> state, but will leave the request otherwise	1265	entering the the B<result> state, but will leave the request otherwise
585	untouched. That means that requests that currently execute will not be	1266	untouched (with the exception of readdir). That means that requests that
586	stopped and resources held by the request will not be freed prematurely.	1267	currently execute will not be stopped and resources held by the request
		1268	will not be freed prematurely.
587		1269
588	=item cb $req $callback->(...)	1270	=item cb $req $callback->(...)
589		1271
590	Replace (or simply set) the callback registered to the request.	1272	Replace (or simply set) the callback registered to the request.
591		1273
…		…
635	=item * They can also can also be added to other IO::AIO::GRP objects.	1317	=item * They can also can also be added to other IO::AIO::GRP objects.
636		1318
637	=item * You must not add requests to a group from within the group callback (or	1319	=item * You must not add requests to a group from within the group callback (or
638	any later time).	1320	any later time).
639		1321
640	=item * This does not harmonise well with C<max_outstanding>, so best do
641	not combine C<aio_group> with it. Groups and feeders are recommended for
642	this kind of concurrency-limiting.
643
644	=back	1322	=back
645		1323
646	Their lifetime, simplified, looks like this: when they are empty, they	1324	Their lifetime, simplified, looks like this: when they are empty, they
647	will finish very quickly. If they contain only requests that are in the	1325	will finish very quickly. If they contain only requests that are in the
648	C<done> state, they will also finish. Otherwise they will continue to	1326	C<done> state, they will also finish. Otherwise they will continue to
649	exist.	1327	exist.
650		1328
651	That means after creating a group you have some time to add requests. And	1329	That means after creating a group you have some time to add requests
652	in the callbacks of those requests, you can add further requests to the	1330	(precisely before the callback has been invoked, which is only done within
653	group. And only when all those requests have finished will the the group	1331	the C<poll_cb>). And in the callbacks of those requests, you can add
654	itself finish.	1332	further requests to the group. And only when all those requests have
		1333	finished will the the group itself finish.
655		1334
656	=over 4	1335	=over 4
657		1336
658	=item add $grp ...	1337	=item add $grp ...
659		1338
…		…
663	be added, including other groups, as long as you do not create circular	1342	be added, including other groups, as long as you do not create circular
664	dependencies.	1343	dependencies.
665		1344
666	Returns all its arguments.	1345	Returns all its arguments.
667		1346
		1347	=item $grp->cancel_subs
		1348
		1349	Cancel all subrequests and clears any feeder, but not the group request
		1350	itself. Useful when you queued a lot of events but got a result early.
		1351
		1352	The group request will finish normally (you cannot add requests to the
		1353	group).
		1354
668	=item $grp->result (...)	1355	=item $grp->result (...)
669		1356
670	Set the result value(s) that will be passed to the group callback when all	1357	Set the result value(s) that will be passed to the group callback when all
671	subrequests have finished. By default, no argument will be passed.	1358	subrequests have finished and set the groups errno to the current value
		1359	of errno (just like calling C<errno> without an error number). By default,
		1360	no argument will be passed and errno is zero.
		1361
		1362	=item $grp->errno ([$errno])
		1363
		1364	Sets the group errno value to C<$errno>, or the current value of errno
		1365	when the argument is missing.
		1366
		1367	Every aio request has an associated errno value that is restored when
		1368	the callback is invoked. This method lets you change this value from its
		1369	default (0).
		1370
		1371	Calling C<result> will also set errno, so make sure you either set C<$!>
		1372	before the call to C<result>, or call c<errno> after it.
672		1373
673	=item feed $grp $callback->($grp)	1374	=item feed $grp $callback->($grp)
674
675	[VERY EXPERIMENTAL]
676		1375
677	Sets a feeder/generator on this group: every group can have an attached	1376	Sets a feeder/generator on this group: every group can have an attached
678	generator that generates requests if idle. The idea behind this is that,	1377	generator that generates requests if idle. The idea behind this is that,
679	although you could just queue as many requests as you want in a group,	1378	although you could just queue as many requests as you want in a group,
680	this might starve other requests for a potentially long time. For	1379	this might starve other requests for a potentially long time. For example,
681	example, C<aio_scandir> might generate hundreds of thousands C<aio_stat>	1380	C<aio_scandir> might generate hundreds of thousands C<aio_stat> requests,
682	requests, delaying any later requests for a long time.	1381	delaying any later requests for a long time.
683		1382
684	To avoid this, and allow incremental generation of requests, you can	1383	To avoid this, and allow incremental generation of requests, you can
685	instead a group and set a feeder on it that generates those requests. The	1384	instead a group and set a feeder on it that generates those requests. The
686	feed callback will be called whenever there are few enough (see C<feed_limit>,	1385	feed callback will be called whenever there are few enough (see C<limit>,
687	below) requests active in the group itself and is expected to queue more	1386	below) requests active in the group itself and is expected to queue more
688	requests.	1387	requests.
689		1388
690	The feed can queue as many requests as it likes (i.e. C<add> does not	1389	The feed callback can queue as many requests as it likes (i.e. C<add> does
691	impose any limits).	1390	not impose any limits).
692		1391
693	If the feed does not queue more requests when called, it will be	1392	If the feed does not queue more requests when called, it will be
694	automatically removed from the group.	1393	automatically removed from the group.
695		1394
696	If the feed limit is C<0>, it will be set to C<2> automatically.	1395	If the feed limit is C<0> when this method is called, it will be set to
		1396	C<2> automatically.
697		1397
698	Example:	1398	Example:
699		1399
700	# stat all files in @files, but only ever use four aio requests concurrently:	1400	# stat all files in @files, but only ever use four aio requests concurrently:
701		1401
702	my $grp = aio_group sub { print "finished\n" };	1402	my $grp = aio_group sub { print "finished\n" };
703	feed_limit $grp 4;	1403	limit $grp 4;
704	feed $grp sub {	1404	feed $grp sub {
705	my $file = pop @files	1405	my $file = pop @files
706	or return;	1406	or return;
707		1407
708	add $grp aio_stat $file, sub { ... };	1408	add $grp aio_stat $file, sub { ... };
709	};	1409	};
710		1410
711	=item feed_limit $grp $num	1411	=item limit $grp $num
712		1412
713	Sets the feeder limit for the group: The feeder will be called whenever	1413	Sets the feeder limit for the group: The feeder will be called whenever
714	the group contains less than this many requests.	1414	the group contains less than this many requests.
715		1415
716	Setting the limit to C<0> will pause the feeding process.	1416	Setting the limit to C<0> will pause the feeding process.
717		1417
		1418	The default value for the limit is C<0>, but note that setting a feeder
		1419	automatically bumps it up to C<2>.
		1420
718	=back	1421	=back
719		1422
720	=head2 SUPPORT FUNCTIONS	1423	=head2 SUPPORT FUNCTIONS
721		1424
		1425	=head3 EVENT PROCESSING AND EVENT LOOP INTEGRATION
		1426
722	=over 4	1427	=over 4
723		1428
724	=item $fileno = IO::AIO::poll_fileno	1429	=item $fileno = IO::AIO::poll_fileno
725		1430
726	Return the I<request result pipe file descriptor>. This filehandle must be	1431	Return the I<request result pipe file descriptor>. This filehandle must be
727	polled for reading by some mechanism outside this module (e.g. Event or	1432	polled for reading by some mechanism outside this module (e.g. EV, Glib,
728	select, see below or the SYNOPSIS). If the pipe becomes readable you have	1433	select and so on, see below or the SYNOPSIS). If the pipe becomes readable
729	to call C<poll_cb> to check the results.	1434	you have to call C<poll_cb> to check the results.
730		1435
731	See C<poll_cb> for an example.	1436	See C<poll_cb> for an example.
732		1437
733	=item IO::AIO::poll_cb	1438	=item IO::AIO::poll_cb
734		1439
735	Process all outstanding events on the result pipe. You have to call this	1440	Process some outstanding events on the result pipe. You have to call
736	regularly. Returns the number of events processed. Returns immediately	1441	this regularly. Returns C<0> if all events could be processed (or there
737	when no events are outstanding.	1442	were no events to process), or C<-1> if it returned earlier for whatever
		1443	reason. Returns immediately when no events are outstanding. The amount of
		1444	events processed depends on the settings of C<IO::AIO::max_poll_req> and
		1445	C<IO::AIO::max_poll_time>.
		1446
		1447	If not all requests were processed for whatever reason, the filehandle
		1448	will still be ready when C<poll_cb> returns, so normally you don't have to
		1449	do anything special to have it called later.
		1450
		1451	Apart from calling C<IO::AIO::poll_cb> when the event filehandle becomes
		1452	ready, it can be beneficial to call this function from loops which submit
		1453	a lot of requests, to make sure the results get processed when they become
		1454	available and not just when the loop is finished and the event loop takes
		1455	over again. This function returns very fast when there are no outstanding
		1456	requests.
738		1457
739	Example: Install an Event watcher that automatically calls	1458	Example: Install an Event watcher that automatically calls
740	IO::AIO::poll_cb with high priority:	1459	IO::AIO::poll_cb with high priority (more examples can be found in the
		1460	SYNOPSIS section, at the top of this document):
741		1461
742	Event->io (fd => IO::AIO::poll_fileno,	1462	Event->io (fd => IO::AIO::poll_fileno,
743	poll => 'r', async => 1,	1463	poll => 'r', async => 1,
744	cb => \&IO::AIO::poll_cb);	1464	cb => \&IO::AIO::poll_cb);
745		1465
746	=item IO::AIO::poll_wait	1466	=item IO::AIO::poll_wait
747		1467
		1468	If there are any outstanding requests and none of them in the result
748	Wait till the result filehandle becomes ready for reading (simply does a	1469	phase, wait till the result filehandle becomes ready for reading (simply
749	C<select> on the filehandle. This is useful if you want to synchronously wait	1470	does a C<select> on the filehandle. This is useful if you want to
750	for some requests to finish).	1471	synchronously wait for some requests to finish).
751		1472
752	See C<nreqs> for an example.	1473	See C<nreqs> for an example.
753		1474
		1475	=item IO::AIO::poll
		1476
		1477	Waits until some requests have been handled.
		1478
		1479	Returns the number of requests processed, but is otherwise strictly
		1480	equivalent to:
		1481
		1482	IO::AIO::poll_wait, IO::AIO::poll_cb
		1483
754	=item IO::AIO::nreqs	1484	=item IO::AIO::flush
755		1485
756	Returns the number of requests currently outstanding (i.e. for which their	1486	Wait till all outstanding AIO requests have been handled.
757	callback has not been invoked yet).
758		1487
759	Example: wait till there are no outstanding requests anymore:	1488	Strictly equivalent to:
760		1489
761	IO::AIO::poll_wait, IO::AIO::poll_cb	1490	IO::AIO::poll_wait, IO::AIO::poll_cb
762	while IO::AIO::nreqs;	1491	while IO::AIO::nreqs;
763		1492
764	=item IO::AIO::flush	1493	=item IO::AIO::max_poll_reqs $nreqs
765		1494
766	Wait till all outstanding AIO requests have been handled.	1495	=item IO::AIO::max_poll_time $seconds
767		1496
768	Strictly equivalent to:	1497	These set the maximum number of requests (default C<0>, meaning infinity)
		1498	that are being processed by C<IO::AIO::poll_cb> in one call, respectively
		1499	the maximum amount of time (default C<0>, meaning infinity) spent in
		1500	C<IO::AIO::poll_cb> to process requests (more correctly the mininum amount
		1501	of time C<poll_cb> is allowed to use).
769		1502
770	IO::AIO::poll_wait, IO::AIO::poll_cb	1503	Setting C<max_poll_time> to a non-zero value creates an overhead of one
771	while IO::AIO::nreqs;	1504	syscall per request processed, which is not normally a problem unless your
		1505	callbacks are really really fast or your OS is really really slow (I am
		1506	not mentioning Solaris here). Using C<max_poll_reqs> incurs no overhead.
772		1507
773	=item IO::AIO::poll	1508	Setting these is useful if you want to ensure some level of
		1509	interactiveness when perl is not fast enough to process all requests in
		1510	time.
774		1511
775	Waits until some requests have been handled.	1512	For interactive programs, values such as C<0.01> to C<0.1> should be fine.
776		1513
777	Strictly equivalent to:	1514	Example: Install an Event watcher that automatically calls
		1515	IO::AIO::poll_cb with low priority, to ensure that other parts of the
		1516	program get the CPU sometimes even under high AIO load.
778		1517
779	IO::AIO::poll_wait, IO::AIO::poll_cb	1518	# try not to spend much more than 0.1s in poll_cb
780	if IO::AIO::nreqs;	1519	IO::AIO::max_poll_time 0.1;
		1520
		1521	# use a low priority so other tasks have priority
		1522	Event->io (fd => IO::AIO::poll_fileno,
		1523	poll => 'r', nice => 1,
		1524	cb => &IO::AIO::poll_cb);
		1525
		1526	=back
		1527
		1528	=head3 CONTROLLING THE NUMBER OF THREADS
		1529
		1530	=over
781		1531
782	=item IO::AIO::min_parallel $nthreads	1532	=item IO::AIO::min_parallel $nthreads
783		1533
784	Set the minimum number of AIO threads to C<$nthreads>. The current	1534	Set the minimum number of AIO threads to C<$nthreads>. The current
785	default is C<8>, which means eight asynchronous operations can execute	1535	default is C<8>, which means eight asynchronous operations can execute
786	concurrently at any one time (the number of outstanding requests,	1536	concurrently at any one time (the number of outstanding requests,
787	however, is unlimited).	1537	however, is unlimited).
788		1538
789	IO::AIO starts threads only on demand, when an AIO request is queued and	1539	IO::AIO starts threads only on demand, when an AIO request is queued and
790	no free thread exists.	1540	no free thread exists. Please note that queueing up a hundred requests can
		1541	create demand for a hundred threads, even if it turns out that everything
		1542	is in the cache and could have been processed faster by a single thread.
791		1543
792	It is recommended to keep the number of threads relatively low, as some	1544	It is recommended to keep the number of threads relatively low, as some
793	Linux kernel versions will scale negatively with the number of threads	1545	Linux kernel versions will scale negatively with the number of threads
794	(higher parallelity => MUCH higher latency). With current Linux 2.6	1546	(higher parallelity => MUCH higher latency). With current Linux 2.6
795	versions, 4-32 threads should be fine.	1547	versions, 4-32 threads should be fine.
…		…
809	This module automatically runs C<max_parallel 0> at program end, to ensure	1561	This module automatically runs C<max_parallel 0> at program end, to ensure
810	that all threads are killed and that there are no outstanding requests.	1562	that all threads are killed and that there are no outstanding requests.
811		1563
812	Under normal circumstances you don't need to call this function.	1564	Under normal circumstances you don't need to call this function.
813		1565
		1566	=item IO::AIO::max_idle $nthreads
		1567
		1568	Limit the number of threads (default: 4) that are allowed to idle
		1569	(i.e., threads that did not get a request to process within the idle
		1570	timeout (default: 10 seconds). That means if a thread becomes idle while
		1571	C<$nthreads> other threads are also idle, it will free its resources and
		1572	exit.
		1573
		1574	This is useful when you allow a large number of threads (e.g. 100 or 1000)
		1575	to allow for extremely high load situations, but want to free resources
		1576	under normal circumstances (1000 threads can easily consume 30MB of RAM).
		1577
		1578	The default is probably ok in most situations, especially if thread
		1579	creation is fast. If thread creation is very slow on your system you might
		1580	want to use larger values.
		1581
		1582	=item IO::AIO::idle_timeout $seconds
		1583
		1584	Sets the minimum idle timeout (default 10) after which worker threads are
		1585	allowed to exit. SEe C<IO::AIO::max_idle>.
		1586
814	=item $oldnreqs = IO::AIO::max_outstanding $nreqs	1587	=item IO::AIO::max_outstanding $maxreqs
815		1588
816	[DEPRECATED]
817
818	Sets the maximum number of outstanding requests to C<$nreqs>. If you	1589	Sets the maximum number of outstanding requests to C<$nreqs>. If
819	try to queue up more than this number of requests, the caller will block until	1590	you do queue up more than this number of requests, the next call to
820	some requests have been handled.	1591	C<IO::AIO::poll_cb> (and other functions calling C<poll_cb>, such as
		1592	C<IO::AIO::flush> or C<IO::AIO::poll>) will block until the limit is no
		1593	longer exceeded.
821		1594
822	The default is very large, so normally there is no practical limit. If you	1595	In other words, this setting does not enforce a queue limit, but can be
823	queue up many requests in a loop it often improves speed if you set	1596	used to make poll functions block if the limit is exceeded.
824	this to a relatively low number, such as C<100>.
825		1597
826	This function does not work well together with C<aio_group>'s, and their	1598	This is a very bad function to use in interactive programs because it
827	feeder interface is better suited to limiting concurrency, so do not use	1599	blocks, and a bad way to reduce concurrency because it is inexact: Better
828	this function.	1600	use an C<aio_group> together with a feed callback.
829		1601
830	Under normal circumstances you don't need to call this function.	1602	It's main use is in scripts without an event loop - when you want to stat
		1603	a lot of files, you can write somehting like this:
		1604
		1605	IO::AIO::max_outstanding 32;
		1606
		1607	for my $path (...) {
		1608	aio_stat $path , ...;
		1609	IO::AIO::poll_cb;
		1610	}
		1611
		1612	IO::AIO::flush;
		1613
		1614	The call to C<poll_cb> inside the loop will normally return instantly, but
		1615	as soon as more thna C<32> reqeusts are in-flight, it will block until
		1616	some requests have been handled. This keeps the loop from pushing a large
		1617	number of C<aio_stat> requests onto the queue.
		1618
		1619	The default value for C<max_outstanding> is very large, so there is no
		1620	practical limit on the number of outstanding requests.
831		1621
832	=back	1622	=back
833		1623
		1624	=head3 STATISTICAL INFORMATION
		1625
		1626	=over
		1627
		1628	=item IO::AIO::nreqs
		1629
		1630	Returns the number of requests currently in the ready, execute or pending
		1631	states (i.e. for which their callback has not been invoked yet).
		1632
		1633	Example: wait till there are no outstanding requests anymore:
		1634
		1635	IO::AIO::poll_wait, IO::AIO::poll_cb
		1636	while IO::AIO::nreqs;
		1637
		1638	=item IO::AIO::nready
		1639
		1640	Returns the number of requests currently in the ready state (not yet
		1641	executed).
		1642
		1643	=item IO::AIO::npending
		1644
		1645	Returns the number of requests currently in the pending state (executed,
		1646	but not yet processed by poll_cb).
		1647
		1648	=back
		1649
		1650	=head3 MISCELLANEOUS FUNCTIONS
		1651
		1652	IO::AIO implements some functions that might be useful, but are not
		1653	asynchronous.
		1654
		1655	=over 4
		1656
		1657	=item IO::AIO::sendfile $ofh, $ifh, $offset, $count
		1658
		1659	Calls the C<eio_sendfile_sync> function, which is like C<aio_sendfile>,
		1660	but is blocking (this makes most sense if you know the input data is
		1661	likely cached already and the output filehandle is set to non-blocking
		1662	operations).
		1663
		1664	Returns the number of bytes copied, or C<-1> on error.
		1665
		1666	=item IO::AIO::fadvise $fh, $offset, $len, $advice
		1667
		1668	Simply calls the C<posix_fadvise> function (see its
		1669	manpage for details). The following advice constants are
		1670	avaiable: C<IO::AIO::FADV_NORMAL>, C<IO::AIO::FADV_SEQUENTIAL>,
		1671	C<IO::AIO::FADV_RANDOM>, C<IO::AIO::FADV_NOREUSE>,
		1672	C<IO::AIO::FADV_WILLNEED>, C<IO::AIO::FADV_DONTNEED>.
		1673
		1674	On systems that do not implement C<posix_fadvise>, this function returns
		1675	ENOSYS, otherwise the return value of C<posix_fadvise>.
		1676
		1677	=item IO::AIO::madvise $scalar, $offset, $len, $advice
		1678
		1679	Simply calls the C<posix_madvise> function (see its
		1680	manpage for details). The following advice constants are
		1681	avaiable: C<IO::AIO::MADV_NORMAL>, C<IO::AIO::MADV_SEQUENTIAL>,
		1682	C<IO::AIO::MADV_RANDOM>, C<IO::AIO::MADV_WILLNEED>, C<IO::AIO::MADV_DONTNEED>.
		1683
		1684	On systems that do not implement C<posix_madvise>, this function returns
		1685	ENOSYS, otherwise the return value of C<posix_madvise>.
		1686
		1687	=item IO::AIO::mprotect $scalar, $offset, $len, $protect
		1688
		1689	Simply calls the C<mprotect> function on the preferably AIO::mmap'ed
		1690	$scalar (see its manpage for details). The following protect
		1691	constants are avaiable: C<IO::AIO::PROT_NONE>, C<IO::AIO::PROT_READ>,
		1692	C<IO::AIO::PROT_WRITE>, C<IO::AIO::PROT_EXEC>.
		1693
		1694	On systems that do not implement C<mprotect>, this function returns
		1695	ENOSYS, otherwise the return value of C<mprotect>.
		1696
		1697	=item IO::AIO::mmap $scalar, $length, $prot, $flags, $fh[, $offset]
		1698
		1699	Memory-maps a file (or anonymous memory range) and attaches it to the
		1700	given C<$scalar>, which will act like a string scalar.
		1701
		1702	The only operations allowed on the scalar are C<substr>/C<vec> that don't
		1703	change the string length, and most read-only operations such as copying it
		1704	or searching it with regexes and so on.
		1705
		1706	Anything else is unsafe and will, at best, result in memory leaks.
		1707
		1708	The memory map associated with the C<$scalar> is automatically removed
		1709	when the C<$scalar> is destroyed, or when the C<IO::AIO::mmap> or
		1710	C<IO::AIO::munmap> functions are called.
		1711
		1712	This calls the C<mmap>(2) function internally. See your system's manual
		1713	page for details on the C<$length>, C<$prot> and C<$flags> parameters.
		1714
		1715	The C<$length> must be larger than zero and smaller than the actual
		1716	filesize.
		1717
		1718	C<$prot> is a combination of C<IO::AIO::PROT_NONE>, C<IO::AIO::PROT_EXEC>,
		1719	C<IO::AIO::PROT_READ> and/or C<IO::AIO::PROT_WRITE>,
		1720
		1721	C<$flags> can be a combination of C<IO::AIO::MAP_SHARED> or
		1722	C<IO::AIO::MAP_PRIVATE>, or a number of system-specific flags (when
		1723	not available, the are defined as 0): C<IO::AIO::MAP_ANONYMOUS>
		1724	(which is set to C<MAP_ANON> if your system only provides this
		1725	constant), C<IO::AIO::MAP_HUGETLB>, C<IO::AIO::MAP_LOCKED>,
		1726	C<IO::AIO::MAP_NORESERVE>, C<IO::AIO::MAP_POPULATE> or
		1727	C<IO::AIO::MAP_NONBLOCK>
		1728
		1729	If C<$fh> is C<undef>, then a file descriptor of C<-1> is passed.
		1730
		1731	C<$offset> is the offset from the start of the file - it generally must be
		1732	a multiple of C<IO::AIO::PAGESIZE> and defaults to C<0>.
		1733
		1734	Example:
		1735
		1736	use Digest::MD5;
		1737	use IO::AIO;
		1738
		1739	open my $fh, "<verybigfile"
		1740	or die "$!";
		1741
		1742	IO::AIO::mmap my $data, -s $fh, IO::AIO::PROT_READ, IO::AIO::MAP_SHARED, $fh
		1743	or die "verybigfile: $!";
		1744
		1745	my $fast_md5 = md5 $data;
		1746
		1747	=item IO::AIO::munmap $scalar
		1748
		1749	Removes a previous mmap and undefines the C<$scalar>.
		1750
		1751	=item IO::AIO::munlock $scalar, $offset = 0, $length = undef
		1752
		1753	Calls the C<munlock> function, undoing the effects of a previous
		1754	C<aio_mlock> call (see its description for details).
		1755
		1756	=item IO::AIO::munlockall
		1757
		1758	Calls the C<munlockall> function.
		1759
		1760	On systems that do not implement C<munlockall>, this function returns
		1761	ENOSYS, otherwise the return value of C<munlockall>.
		1762
		1763	=back
		1764
834	=cut	1765	=cut
835		1766
836	# support function to convert a fd into a perl filehandle
837	sub _fd2fh {
838	return undef if $_[0] < 0;
839
840	# try to generate nice filehandles
841	my $sym = "IO::AIO::fd#$_[0]";
842	local *$sym;
843
844	open *$sym, "+<&=$_[0]" # usually works under any unix
845	or open *$sym, "<&=$_[0]" # cygwin needs this
846	or open *$sym, ">&=$_[0]" # or this
847	or return undef;
848
849	*$sym
850	}
851
852	min_parallel 8;	1767	min_parallel 8;
853		1768
854	END {	1769	END { flush }
855	max_parallel 0;
856	}
857		1770
858	1;	1771	1;
859		1772
		1773	=head1 EVENT LOOP INTEGRATION
		1774
		1775	It is recommended to use L<AnyEvent::AIO> to integrate IO::AIO
		1776	automatically into many event loops:
		1777
		1778	# AnyEvent integration (EV, Event, Glib, Tk, POE, urxvt, pureperl...)
		1779	use AnyEvent::AIO;
		1780
		1781	You can also integrate IO::AIO manually into many event loops, here are
		1782	some examples of how to do this:
		1783
		1784	# EV integration
		1785	my $aio_w = EV::io IO::AIO::poll_fileno, EV::READ, \&IO::AIO::poll_cb;
		1786
		1787	# Event integration
		1788	Event->io (fd => IO::AIO::poll_fileno,
		1789	poll => 'r',
		1790	cb => \&IO::AIO::poll_cb);
		1791
		1792	# Glib/Gtk2 integration
		1793	add_watch Glib::IO IO::AIO::poll_fileno,
		1794	in => sub { IO::AIO::poll_cb; 1 };
		1795
		1796	# Tk integration
		1797	Tk::Event::IO->fileevent (IO::AIO::poll_fileno, "",
		1798	readable => \&IO::AIO::poll_cb);
		1799
		1800	# Danga::Socket integration
		1801	Danga::Socket->AddOtherFds (IO::AIO::poll_fileno =>
		1802	\&IO::AIO::poll_cb);
		1803
860	=head2 FORK BEHAVIOUR	1804	=head2 FORK BEHAVIOUR
861		1805
862	This module should do "the right thing" when the process using it forks:	1806	Usage of pthreads in a program changes the semantics of fork
		1807	considerably. Specifically, only async-safe functions can be called after
		1808	fork. Perl doesn't know about this, so in general, you cannot call fork
		1809	with defined behaviour in perl. IO::AIO uses pthreads, so this applies,
		1810	but many other extensions and (for inexplicable reasons) perl itself often
		1811	is linked against pthreads, so this limitation applies.
863		1812
864	Before the fork, IO::AIO enters a quiescent state where no requests	1813	Some operating systems have extensions that allow safe use of fork, and
865	can be added in other threads and no results will be processed. After	1814	this module should do "the right thing" on those, and tries on others. At
866	the fork the parent simply leaves the quiescent state and continues	1815	the time of this writing (2011) only GNU/Linux supports these extensions
867	request/result processing, while the child clears the request/result	1816	to POSIX.
868	queue (so the requests started before the fork will only be handled in
869	the parent). Threads will be started on demand until the limit ste in the
870	parent process has been reached again.
871
872	In short: the parent will, after a short pause, continue as if fork had
873	not been called, while the child will act as if IO::AIO has not been used
874	yet.
875		1817
876	=head2 MEMORY USAGE	1818	=head2 MEMORY USAGE
877		1819
		1820	Per-request usage:
		1821
878	Each aio request uses - depending on your architecture - around 128 bytes	1822	Each aio request uses - depending on your architecture - around 100-200
879	of memory. In addition, stat requests need a stat buffer (possibly a few	1823	bytes of memory. In addition, stat requests need a stat buffer (possibly
880	hundred bytes). Perl scalars and other data passed into aio requests will	1824	a few hundred bytes), readdir requires a result buffer and so on. Perl
881	also be locked.	1825	scalars and other data passed into aio requests will also be locked and
		1826	will consume memory till the request has entered the done state.
882		1827
883	This is now awfully much, so queuing lots of requests is not usually a	1828	This is not awfully much, so queuing lots of requests is not usually a
884	problem.	1829	problem.
885		1830
886	Each thread needs a stack area which is usually around 16k, sometimes much	1831	Per-thread usage:
887	larger, depending on the OS.	1832
		1833	In the execution phase, some aio requests require more memory for
		1834	temporary buffers, and each thread requires a stack and other data
		1835	structures (usually around 16k-128k, depending on the OS).
		1836
		1837	=head1 KNOWN BUGS
		1838
		1839	Known bugs will be fixed in the next release.
888		1840
889	=head1 SEE ALSO	1841	=head1 SEE ALSO
890		1842
891	L<Coro>, L<Linux::AIO> (obsolete).	1843	L<AnyEvent::AIO> for easy integration into event loops, L<Coro::AIO> for a
		1844	more natural syntax.
892		1845
893	=head1 AUTHOR	1846	=head1 AUTHOR
894		1847
895	Marc Lehmann <schmorp@schmorp.de>	1848	Marc Lehmann <schmorp@schmorp.de>
896	http://home.schmorp.de/	1849	http://home.schmorp.de/

Diff Legend

–	Removed lines
+	Added lines
<	Changed lines
>	Changed lines