ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/AnyEvent-Fork/Fork.pm
(Generate patch)

Comparing AnyEvent-Fork/Fork.pm (file contents):
Revision 1.8 by root, Thu Apr 4 01:54:40 2013 UTC vs.
Revision 1.63 by root, Wed Nov 26 13:36:18 2014 UTC

3AnyEvent::Fork - everything you wanted to use fork() for, but couldn't 3AnyEvent::Fork - everything you wanted to use fork() for, but couldn't
4 4
5=head1 SYNOPSIS 5=head1 SYNOPSIS
6 6
7 use AnyEvent::Fork; 7 use AnyEvent::Fork;
8
9 AnyEvent::Fork
10 ->new
11 ->require ("MyModule")
12 ->run ("MyModule::server", my $cv = AE::cv);
13
14 my $fh = $cv->recv;
8 15
9=head1 DESCRIPTION 16=head1 DESCRIPTION
10 17
11This module allows you to create new processes, without actually forking 18This module allows you to create new processes, without actually forking
12them from your current process (avoiding the problems of forking), but 19them from your current process (avoiding the problems of forking), but
13preserving most of the advantages of fork. 20preserving most of the advantages of fork.
14 21
15It can be used to create new worker processes or new independent 22It can be used to create new worker processes or new independent
16subprocesses for short- and long-running jobs, process pools (e.g. for use 23subprocesses for short- and long-running jobs, process pools (e.g. for use
17in pre-forked servers) but also to spawn new external processes (such as 24in pre-forked servers) but also to spawn new external processes (such as
18CGI scripts from a webserver), which can be faster (and more well behaved) 25CGI scripts from a web server), which can be faster (and more well behaved)
19than using fork+exec in big processes. 26than using fork+exec in big processes.
20 27
21Special care has been taken to make this module useful from other modules, 28Special care has been taken to make this module useful from other modules,
22while still supporting specialised environments such as L<App::Staticperl> 29while still supporting specialised environments such as L<App::Staticperl>
23or L<PAR::Packer>. 30or L<PAR::Packer>.
24 31
32=head2 WHAT THIS MODULE IS NOT
33
34This module only creates processes and lets you pass file handles and
35strings to it, and run perl code. It does not implement any kind of RPC -
36there is no back channel from the process back to you, and there is no RPC
37or message passing going on.
38
39If you need some form of RPC, you could use the L<AnyEvent::Fork::RPC>
40companion module, which adds simple RPC/job queueing to a process created
41by this module.
42
43And if you need some automatic process pool management on top of
44L<AnyEvent::Fork::RPC>, you can look at the L<AnyEvent::Fork::Pool>
45companion module.
46
47Or you can implement it yourself in whatever way you like: use some
48message-passing module such as L<AnyEvent::MP>, some pipe such as
49L<AnyEvent::ZeroMQ>, use L<AnyEvent::Handle> on both sides to send
50e.g. JSON or Storable messages, and so on.
51
52=head2 COMPARISON TO OTHER MODULES
53
54There is an abundance of modules on CPAN that do "something fork", such as
55L<Parallel::ForkManager>, L<AnyEvent::ForkManager>, L<AnyEvent::Worker>
56or L<AnyEvent::Subprocess>. There are modules that implement their own
57process management, such as L<AnyEvent::DBI>.
58
59The problems that all these modules try to solve are real, however, none
60of them (from what I have seen) tackle the very real problems of unwanted
61memory sharing, efficiency or not being able to use event processing, GUI
62toolkits or similar modules in the processes they create.
63
64This module doesn't try to replace any of them - instead it tries to solve
65the problem of creating processes with a minimum of fuss and overhead (and
66also luxury). Ideally, most of these would use AnyEvent::Fork internally,
67except they were written before AnyEvent:Fork was available, so obviously
68had to roll their own.
69
25=head1 PROBLEM STATEMENT 70=head2 PROBLEM STATEMENT
26 71
27There are two ways to implement parallel processing on UNIX like operating 72There are two traditional ways to implement parallel processing on UNIX
28systems - fork and process, and fork+exec and process. They have different 73like operating systems - fork and process, and fork+exec and process. They
29advantages and disadvantages that I describe below, together with how this 74have different advantages and disadvantages that I describe below,
30module tries to mitigate the disadvantages. 75together with how this module tries to mitigate the disadvantages.
31 76
32=over 4 77=over 4
33 78
34=item Forking from a big process can be very slow (a 5GB process needs 79=item Forking from a big process can be very slow.
350.05s to fork on my 3.6GHz amd64 GNU/Linux box for example). This overhead 80
81A 5GB process needs 0.05s to fork on my 3.6GHz amd64 GNU/Linux box. This
36is often shared with exec (because you have to fork first), but in some 82overhead is often shared with exec (because you have to fork first), but
37circumstances (e.g. when vfork is used), fork+exec can be much faster. 83in some circumstances (e.g. when vfork is used), fork+exec can be much
84faster.
38 85
39This module can help here by telling a small(er) helper process to fork, 86This module can help here by telling a small(er) helper process to fork,
40or fork+exec instead. 87which is faster then forking the main process, and also uses vfork where
88possible. This gives the speed of vfork, with the flexibility of fork.
41 89
42=item Forking usually creates a copy-on-write copy of the parent 90=item Forking usually creates a copy-on-write copy of the parent
43process. Memory (for example, modules or data files that have been 91process.
44will not take additional memory). When exec'ing a new process, modules 92
93For example, modules or data files that are loaded will not use additional
94memory after a fork. Exec'ing a new process, in contrast, means modules
45and data files might need to be loaded again, at extra cpu and memory 95and data files might need to be loaded again, at extra CPU and memory
46cost. Likewise when forking, all data structures are copied as well - if 96cost.
97
98But when forking, you still create a copy of your data structures - if
47the program frees them and replaces them by new data, the child processes 99the program frees them and replaces them by new data, the child processes
48will retain the memory even if it isn't used. 100will retain the old version even if it isn't used, which can suddenly and
101unexpectedly increase memory usage when freeing memory.
102
103For example, L<Gtk2::CV> is an image viewer optimised for large
104directories (millions of pictures). It also forks subprocesses for
105thumbnail generation, which inherit the data structure that stores all
106file information. If the user changes the directory, it gets freed in
107the main process, leaving a copy in the thumbnailer processes. This can
108lead to many times the memory usage that would actually be required. The
109solution is to fork early (and being unable to dynamically generate more
110subprocesses or do this from a module)... or to use L<AnyEvent:Fork>.
111
112There is a trade-off between more sharing with fork (which can be good or
113bad), and no sharing with exec.
49 114
50This module allows the main program to do a controlled fork, and allows 115This module allows the main program to do a controlled fork, and allows
51modules to exec processes safely at any time. When creating a custom 116modules to exec processes safely at any time. When creating a custom
52process pool you can take advantage of data sharing via fork without 117process pool you can take advantage of data sharing via fork without
53risking to share large dynamic data structures that will blow up child 118risking to share large dynamic data structures that will blow up child
54memory usage. 119memory usage.
55 120
121In other words, this module puts you into control over what is being
122shared and what isn't, at all times.
123
56=item Exec'ing a new perl process might be difficult and slow. For 124=item Exec'ing a new perl process might be difficult.
125
57example, it is not easy to find the correct path to the perl interpreter, 126For example, it is not easy to find the correct path to the perl
58and all modules have to be loaded from disk again. Long running processes 127interpreter - C<$^X> might not be a perl interpreter at all. Worse, there
59might run into problems when perl is upgraded for example. 128might not even be a perl binary installed on the system.
60 129
61This module supports creating pre-initialised perl processes to be used
62as template, and also tries hard to identify the correct path to the perl 130This module tries hard to identify the correct path to the perl
63interpreter. With a cooperative main program, exec'ing the interpreter 131interpreter. With a cooperative main program, exec'ing the interpreter
64might not even be necessary. 132might not even be necessary, but even without help from the main program,
133it will still work when used from a module.
65 134
135=item Exec'ing a new perl process might be slow, as all necessary modules
136have to be loaded from disk again, with no guarantees of success.
137
138Long running processes might run into problems when perl is upgraded
139and modules are no longer loadable because they refer to a different
140perl version, or parts of a distribution are newer than the ones already
141loaded.
142
143This module supports creating pre-initialised perl processes to be used as
144a template for new processes at a later time, e.g. for use in a process
145pool.
146
66=item Forking might be impossible when a program is running. For example, 147=item Forking might be impossible when a program is running.
67POSIX makes it almost impossible to fork from a multithreaded program and
68do anything useful in the child - strictly speaking, if your perl program
69uses posix threads (even indirectly via e.g. L<IO::AIO> or L<threads>),
70you cannot call fork on the perl level anymore, at all.
71 148
149For example, POSIX makes it almost impossible to fork from a
150multi-threaded program while doing anything useful in the child - in
151fact, if your perl program uses POSIX threads (even indirectly via
152e.g. L<IO::AIO> or L<threads>), you cannot call fork on the perl level
153anymore without risking memory corruption or worse on a number of
154operating systems.
155
72This module can safely fork helper processes at any time, by caling 156This module can safely fork helper processes at any time, by calling
73fork+exec in C, in a POSIX-compatible way. 157fork+exec in C, in a POSIX-compatible way (via L<Proc::FastSpawn>).
74 158
75=item Parallel processing with fork might be inconvenient or difficult 159=item Parallel processing with fork might be inconvenient or difficult
160to implement. Modules might not work in both parent and child.
161
76to implement. For example, when a program uses an event loop and creates 162For example, when a program uses an event loop and creates watchers it
77watchers it becomes very hard to use the event loop from a child 163becomes very hard to use the event loop from a child program, as the
78program, as the watchers already exist but are only meaningful in the 164watchers already exist but are only meaningful in the parent. Worse, a
79parent. Worse, a module might want to use such a system, not knowing 165module might want to use such a module, not knowing whether another module
80whether another module or the main program also does, leading to problems. 166or the main program also does, leading to problems.
81 167
82This module only lets the main program create pools by forking (because 168Apart from event loops, graphical toolkits also commonly fall into the
83only the main program can know when it is still safe to do so) - all other 169"unsafe module" category, or just about anything that communicates with
84pools are created by fork+exec, after which such modules can again be 170the external world, such as network libraries and file I/O modules, which
85loaded. 171usually don't like being copied and then allowed to continue in two
172processes.
173
174With this module only the main program is allowed to create new processes
175by forking (because only the main program can know when it is still safe
176to do so) - all other processes are created via fork+exec, which makes it
177possible to use modules such as event loops or window interfaces safely.
86 178
87=back 179=back
180
181=head1 EXAMPLES
182
183=head2 Create a single new process, tell it to run your worker function.
184
185 AnyEvent::Fork
186 ->new
187 ->require ("MyModule")
188 ->run ("MyModule::worker, sub {
189 my ($master_filehandle) = @_;
190
191 # now $master_filehandle is connected to the
192 # $slave_filehandle in the new process.
193 });
194
195C<MyModule> might look like this:
196
197 package MyModule;
198
199 sub worker {
200 my ($slave_filehandle) = @_;
201
202 # now $slave_filehandle is connected to the $master_filehandle
203 # in the original prorcess. have fun!
204 }
205
206=head2 Create a pool of server processes all accepting on the same socket.
207
208 # create listener socket
209 my $listener = ...;
210
211 # create a pool template, initialise it and give it the socket
212 my $pool = AnyEvent::Fork
213 ->new
214 ->require ("Some::Stuff", "My::Server")
215 ->send_fh ($listener);
216
217 # now create 10 identical workers
218 for my $id (1..10) {
219 $pool
220 ->fork
221 ->send_arg ($id)
222 ->run ("My::Server::run");
223 }
224
225 # now do other things - maybe use the filehandle provided by run
226 # to wait for the processes to die. or whatever.
227
228C<My::Server> might look like this:
229
230 package My::Server;
231
232 sub run {
233 my ($slave, $listener, $id) = @_;
234
235 close $slave; # we do not use the socket, so close it to save resources
236
237 # we could go ballistic and use e.g. AnyEvent here, or IO::AIO,
238 # or anything we usually couldn't do in a process forked normally.
239 while (my $socket = $listener->accept) {
240 # do sth. with new socket
241 }
242 }
243
244=head2 use AnyEvent::Fork as a faster fork+exec
245
246This runs C</bin/echo hi>, with standard output redirected to F</tmp/log>
247and standard error redirected to the communications socket. It is usually
248faster than fork+exec, but still lets you prepare the environment.
249
250 open my $output, ">/tmp/log" or die "$!";
251
252 AnyEvent::Fork
253 ->new
254 ->eval ('
255 # compile a helper function for later use
256 sub run {
257 my ($fh, $output, @cmd) = @_;
258
259 # perl will clear close-on-exec on STDOUT/STDERR
260 open STDOUT, ">&", $output or die;
261 open STDERR, ">&", $fh or die;
262
263 exec @cmd;
264 }
265 ')
266 ->send_fh ($output)
267 ->send_arg ("/bin/echo", "hi")
268 ->run ("run", my $cv = AE::cv);
269
270 my $stderr = $cv->recv;
271
272=head2 For stingy users: put the worker code into a C<DATA> section.
273
274When you want to be stingy with files, you can put your code into the
275C<DATA> section of your module (or program):
276
277 use AnyEvent::Fork;
278
279 AnyEvent::Fork
280 ->new
281 ->eval (do { local $/; <DATA> })
282 ->run ("doit", sub { ... });
283
284 __DATA__
285
286 sub doit {
287 ... do something!
288 }
289
290=head2 For stingy standalone programs: do not rely on external files at
291all.
292
293For single-file scripts it can be inconvenient to rely on external
294files - even when using a C<DATA> section, you still need to C<exec> an
295external perl interpreter, which might not be available when using
296L<App::Staticperl>, L<Urlader> or L<PAR::Packer> for example.
297
298Two modules help here - L<AnyEvent::Fork::Early> forks a template process
299for all further calls to C<new_exec>, and L<AnyEvent::Fork::Template>
300forks the main program as a template process.
301
302Here is how your main program should look like:
303
304 #! perl
305
306 # optional, as the very first thing.
307 # in case modules want to create their own processes.
308 use AnyEvent::Fork::Early;
309
310 # next, load all modules you need in your template process
311 use Example::My::Module
312 use Example::Whatever;
313
314 # next, put your run function definition and anything else you
315 # need, but do not use code outside of BEGIN blocks.
316 sub worker_run {
317 my ($fh, @args) = @_;
318 ...
319 }
320
321 # now preserve everything so far as AnyEvent::Fork object
322 # in $TEMPLATE.
323 use AnyEvent::Fork::Template;
324
325 # do not put code outside of BEGIN blocks until here
326
327 # now use the $TEMPLATE process in any way you like
328
329 # for example: create 10 worker processes
330 my @worker;
331 my $cv = AE::cv;
332 for (1..10) {
333 $cv->begin;
334 $TEMPLATE->fork->send_arg ($_)->run ("worker_run", sub {
335 push @worker, shift;
336 $cv->end;
337 });
338 }
339 $cv->recv;
88 340
89=head1 CONCEPTS 341=head1 CONCEPTS
90 342
91This module can create new processes either by executing a new perl 343This module can create new processes either by executing a new perl
92process, or by forking from an existing "template" process. 344process, or by forking from an existing "template" process.
345
346All these processes are called "child processes" (whether they are direct
347children or not), while the process that manages them is called the
348"parent process".
93 349
94Each such process comes with its own file handle that can be used to 350Each such process comes with its own file handle that can be used to
95communicate with it (it's actually a socket - one end in the new process, 351communicate with it (it's actually a socket - one end in the new process,
96one end in the main process), and among the things you can do in it are 352one end in the main process), and among the things you can do in it are
97load modules, fork new processes, send file handles to it, and execute 353load modules, fork new processes, send file handles to it, and execute
109needed the first time. Forking from this process shares the memory used 365needed the first time. Forking from this process shares the memory used
110for the perl interpreter with the new process, but loading modules takes 366for the perl interpreter with the new process, but loading modules takes
111time, and the memory is not shared with anything else. 367time, and the memory is not shared with anything else.
112 368
113This is ideal for when you only need one extra process of a kind, with the 369This is ideal for when you only need one extra process of a kind, with the
114option of starting and stipping it on demand. 370option of starting and stopping it on demand.
371
372Example:
373
374 AnyEvent::Fork
375 ->new
376 ->require ("Some::Module")
377 ->run ("Some::Module::run", sub {
378 my ($fork_fh) = @_;
379 });
115 380
116=item fork a new template process, load code, then fork processes off of 381=item fork a new template process, load code, then fork processes off of
117it and run the code 382it and run the code
118 383
119When you need to have a bunch of processes that all execute the same (or 384When you need to have a bunch of processes that all execute the same (or
125modules you loaded) is shared between the processes, and each new process 390modules you loaded) is shared between the processes, and each new process
126consumes relatively little memory of its own. 391consumes relatively little memory of its own.
127 392
128The disadvantage of this approach is that you need to create a template 393The disadvantage of this approach is that you need to create a template
129process for the sole purpose of forking new processes from it, but if you 394process for the sole purpose of forking new processes from it, but if you
130only need a fixed number of proceses you can create them, and then destroy 395only need a fixed number of processes you can create them, and then destroy
131the template process. 396the template process.
397
398Example:
399
400 my $template = AnyEvent::Fork->new->require ("Some::Module");
401
402 for (1..10) {
403 $template->fork->run ("Some::Module::run", sub {
404 my ($fork_fh) = @_;
405 });
406 }
407
408 # at this point, you can keep $template around to fork new processes
409 # later, or you can destroy it, which causes it to vanish.
132 410
133=item execute a new perl interpreter, load some code, run it 411=item execute a new perl interpreter, load some code, run it
134 412
135This is relatively slow, and doesn't allow you to share memory between 413This is relatively slow, and doesn't allow you to share memory between
136multiple processes. 414multiple processes.
138The only advantage is that you don't have to have a template process 416The only advantage is that you don't have to have a template process
139hanging around all the time to fork off some new processes, which might be 417hanging around all the time to fork off some new processes, which might be
140an advantage when there are long time spans where no extra processes are 418an advantage when there are long time spans where no extra processes are
141needed. 419needed.
142 420
421Example:
422
423 AnyEvent::Fork
424 ->new_exec
425 ->require ("Some::Module")
426 ->run ("Some::Module::run", sub {
427 my ($fork_fh) = @_;
428 });
429
143=back 430=back
144 431
145=head1 FUNCTIONS 432=head1 THE C<AnyEvent::Fork> CLASS
433
434This module exports nothing, and only implements a single class -
435C<AnyEvent::Fork>.
436
437There are two class constructors that both create new processes - C<new>
438and C<new_exec>. The C<fork> method creates a new process by forking an
439existing one and could be considered a third constructor.
440
441Most of the remaining methods deal with preparing the new process, by
442loading code, evaluating code and sending data to the new process. They
443usually return the process object, so you can chain method calls.
444
445If a process object is destroyed before calling its C<run> method, then
446the process simply exits. After C<run> is called, all responsibility is
447passed to the specified function.
448
449As long as there is any outstanding work to be done, process objects
450resist being destroyed, so there is no reason to store them unless you
451need them later - configure and forget works just fine.
146 452
147=over 4 453=over 4
148 454
149=cut 455=cut
150 456
151package AnyEvent::Fork; 457package AnyEvent::Fork;
152 458
153use common::sense; 459use common::sense;
154 460
155use Socket (); 461use Errno ();
156 462
157use AnyEvent; 463use AnyEvent;
158use AnyEvent::Fork::Util;
159use AnyEvent::Util (); 464use AnyEvent::Util ();
160 465
161our $PERL; # the path to the perl interpreter, deduces with various forms of magic 466use IO::FDPass;
162 467
163=item my $pool = new AnyEvent::Fork key => value... 468our $VERSION = 1.2;
164
165Create a new process pool. The following named parameters are supported:
166
167=over 4
168
169=back
170
171=cut
172 469
173# the early fork template process 470# the early fork template process
174our $EARLY; 471our $EARLY;
175 472
176# the empty template process 473# the empty template process
177our $TEMPLATE; 474our $TEMPLATE;
178 475
476sub QUEUE() { 0 }
477sub FH() { 1 }
478sub WW() { 2 }
479sub PID() { 3 }
480sub CB() { 4 }
481
482sub _new {
483 my ($self, $fh, $pid) = @_;
484
485 AnyEvent::Util::fh_nonblocking $fh, 1;
486
487 $self = bless [
488 [], # write queue - strings or fd's
489 $fh,
490 undef, # AE watcher
491 $pid,
492 ], $self;
493
494 $self
495}
496
179sub _cmd { 497sub _cmd {
180 my $self = shift; 498 my $self = shift;
181 499
182 # ideally, we would want to use "a (w/a)*" as format string, but perl versions 500 # ideally, we would want to use "a (w/a)*" as format string, but perl
183 # from at least 5.8.9 to 5.16.3 are all buggy and can't unpack it. 501 # versions from at least 5.8.9 to 5.16.3 are all buggy and can't unpack
184 push @{ $self->[2] }, pack "N/a", pack "(w/a)*", @_; 502 # it.
503 push @{ $self->[QUEUE] }, pack "a L/a*", $_[0], $_[1];
185 504
186 $self->[3] ||= AE::io $self->[1], 1, sub { 505 $self->[WW] ||= AE::io $self->[FH], 1, sub {
506 do {
507 # send the next "thing" in the queue - either a reference to an fh,
508 # or a plain string.
509
187 if (ref $self->[2][0]) { 510 if (ref $self->[QUEUE][0]) {
188 AnyEvent::Fork::Util::fd_send fileno $self->[1], fileno ${ $self->[2][0] } 511 # send fh
512 unless (IO::FDPass::send fileno $self->[FH], fileno ${ $self->[QUEUE][0] }) {
513 return if $! == Errno::EAGAIN || $! == Errno::EWOULDBLOCK;
514 undef $self->[WW];
515 die "AnyEvent::Fork: file descriptor send failure: $!";
516 }
517
189 and shift @{ $self->[2] }; 518 shift @{ $self->[QUEUE] };
190 519
191 } else { 520 } else {
521 # send string
192 my $len = syswrite $self->[1], $self->[2][0] 522 my $len = syswrite $self->[FH], $self->[QUEUE][0];
523
524 unless ($len) {
525 return if $! == Errno::EAGAIN || $! == Errno::EWOULDBLOCK;
526 undef $self->[WW];
193 or do { undef $self->[3]; die "AnyEvent::Fork: command write failure: $!" }; 527 die "AnyEvent::Fork: command write failure: $!";
528 }
194 529
195 substr $self->[2][0], 0, $len, ""; 530 substr $self->[QUEUE][0], 0, $len, "";
196 shift @{ $self->[2] } unless length $self->[2][0]; 531 shift @{ $self->[QUEUE] } unless length $self->[QUEUE][0];
197 } 532 }
533 } while @{ $self->[QUEUE] };
198 534
199 unless (@{ $self->[2] }) { 535 # everything written
200 undef $self->[3]; 536 undef $self->[WW];
537
538 # invoke run callback, if any
539 if ($self->[CB]) {
201 $self->[0]->($self->[1]) if $self->[0]; 540 $self->[CB]->($self->[FH]);
541 @$self = ();
202 } 542 }
203 }; 543 };
204}
205 544
206sub _new { 545 () # make sure we don't leak the watcher
207 my ($self, $fh) = @_;
208
209 AnyEvent::Util::fh_nonblocking $fh, 1;
210
211 $self = bless [
212 undef, # run callback
213 $fh,
214 [], # write queue - strings or fd's
215 undef, # AE watcher
216 ], $self;
217
218# my ($a, $b) = AnyEvent::Util::portable_socketpair;
219
220# queue_cmd $template, "Iabc";
221# push @{ $template->[2] }, \$b;
222
223# use Coro::AnyEvent; Coro::AnyEvent::sleep 1;
224# undef $b;
225# die "x" . <$a>;
226
227 $self
228} 546}
229 547
230# fork template from current process, used by AnyEvent::Fork::Early/Template 548# fork template from current process, used by AnyEvent::Fork::Early/Template
231sub _new_fork { 549sub _new_fork {
232 my ($fh, $slave) = AnyEvent::Util::portable_socketpair; 550 my ($fh, $slave) = AnyEvent::Util::portable_socketpair;
238 require AnyEvent::Fork::Serve; 556 require AnyEvent::Fork::Serve;
239 $AnyEvent::Fork::Serve::OWNER = $parent; 557 $AnyEvent::Fork::Serve::OWNER = $parent;
240 close $fh; 558 close $fh;
241 $0 = "$_[1] of $parent"; 559 $0 = "$_[1] of $parent";
242 AnyEvent::Fork::Serve::serve ($slave); 560 AnyEvent::Fork::Serve::serve ($slave);
243 AnyEvent::Fork::Util::_exit 0; 561 exit 0;
244 } elsif (!$pid) { 562 } elsif (!$pid) {
245 die "AnyEvent::Fork::Early/Template: unable to fork template process: $!"; 563 die "AnyEvent::Fork::Early/Template: unable to fork template process: $!";
246 } 564 }
247 565
248 AnyEvent::Fork->_new ($fh) 566 AnyEvent::Fork->_new ($fh, $pid)
249} 567}
250 568
251=item my $proc = new AnyEvent::Fork 569=item my $proc = new AnyEvent::Fork
252 570
253Create a new "empty" perl interpreter process and returns its process 571Create a new "empty" perl interpreter process and returns its process
254object for further manipulation. 572object for further manipulation.
255 573
256The new process is forked from a template process that is kept around 574The new process is forked from a template process that is kept around
257for this purpose. When it doesn't exist yet, it is created by a call to 575for this purpose. When it doesn't exist yet, it is created by a call to
258C<new_exec> and kept around for future calls. 576C<new_exec> first and then stays around for future calls.
259 577
260=cut 578=cut
261 579
262sub new { 580sub new {
263 my $class = shift; 581 my $class = shift;
299reduces the amount of memory sharing that is possible, and is also slower. 617reduces the amount of memory sharing that is possible, and is also slower.
300 618
301You should use C<new> whenever possible, except when having a template 619You should use C<new> whenever possible, except when having a template
302process around is unacceptable. 620process around is unacceptable.
303 621
304The path to the perl interpreter is divined usign various methods - first 622The path to the perl interpreter is divined using various methods - first
305C<$^X> is investigated to see if the path ends with something that sounds 623C<$^X> is investigated to see if the path ends with something that looks
306as if it were the perl interpreter. Failing this, the module falls back to 624as if it were the perl interpreter. Failing this, the module falls back to
307using C<$Config::Config{perlpath}>. 625using C<$Config::Config{perlpath}>.
308 626
627The path to perl can also be overriden by setting the global variable
628C<$AnyEvent::Fork::PERL> - it's value will be used for all subsequent
629invocations.
630
309=cut 631=cut
632
633our $PERL;
310 634
311sub new_exec { 635sub new_exec {
312 my ($self) = @_; 636 my ($self) = @_;
313 637
314 return $EARLY->fork 638 return $EARLY->fork
315 if $EARLY; 639 if $EARLY;
316 640
641 unless (defined $PERL) {
317 # first find path of perl 642 # first find path of perl
318 my $perl = $; 643 my $perl = $^X;
319 644
320 # first we try $^X, but the path must be absolute (always on win32), and end in sth. 645 # first we try $^X, but the path must be absolute (always on win32), and end in sth.
321 # that looks like perl. this obviously only works for posix and win32 646 # that looks like perl. this obviously only works for posix and win32
322 unless ( 647 unless (
323 (AnyEvent::Fork::Util::WIN32 || $perl =~ m%^/%) 648 ($^O eq "MSWin32" || $perl =~ m%^/%)
324 && $perl =~ m%[/\\]perl(?:[0-9]+(\.[0-9]+)+)?(\.exe)?$%i 649 && $perl =~ m%[/\\]perl(?:[0-9]+(\.[0-9]+)+)?(\.exe)?$%i
325 ) { 650 ) {
326 # if it doesn't look perlish enough, try Config 651 # if it doesn't look perlish enough, try Config
327 require Config; 652 require Config;
328 $perl = $Config::Config{perlpath}; 653 $perl = $Config::Config{perlpath};
329 $perl =~ s/(?:\Q$Config::Config{_exe}\E)?$/$Config::Config{_exe}/; 654 $perl =~ s/(?:\Q$Config::Config{_exe}\E)?$/$Config::Config{_exe}/;
655 }
656
657 $PERL = $perl;
330 } 658 }
331 659
332 require Proc::FastSpawn; 660 require Proc::FastSpawn;
333 661
334 my ($fh, $slave) = AnyEvent::Util::portable_socketpair; 662 my ($fh, $slave) = AnyEvent::Util::portable_socketpair;
335 Proc::FastSpawn::fd_inherit (fileno $slave); 663 Proc::FastSpawn::fd_inherit (fileno $slave);
664
665 # new fh's should always be set cloexec (due to $^F),
666 # but hey, not on win32, so we always clear the inherit flag.
667 Proc::FastSpawn::fd_inherit (fileno $fh, 0);
336 668
337 # quick. also doesn't work in win32. of course. what did you expect 669 # quick. also doesn't work in win32. of course. what did you expect
338 #local $ENV{PERL5LIB} = join ":", grep !ref, @INC; 670 #local $ENV{PERL5LIB} = join ":", grep !ref, @INC;
339 my %env = %ENV; 671 my %env = %ENV;
340 $env{PERL5LIB} = join +(AnyEvent::Fork::Util::WIN32 ? ";" : ":"), grep !ref, @INC; 672 $env{PERL5LIB} = join +($^O eq "MSWin32" ? ";" : ":"), grep !ref, @INC;
341 673
342 Proc::FastSpawn::spawn ( 674 my $pid = Proc::FastSpawn::spawn (
343 $perl, 675 $PERL,
344 ["perl", "-MAnyEvent::Fork::Serve", "-e", "AnyEvent::Fork::Serve::me", fileno $slave, $$], 676 ["perl", "-MAnyEvent::Fork::Serve", "-e", "AnyEvent::Fork::Serve::me", fileno $slave, $$],
345 [map "$_=$env{$_}", keys %env], 677 [map "$_=$env{$_}", keys %env],
346 ) or die "unable to spawn AnyEvent::Fork server: $!"; 678 ) or die "unable to spawn AnyEvent::Fork server: $!";
347 679
348 $self->_new ($fh) 680 $self->_new ($fh, $pid)
681}
682
683=item $pid = $proc->pid
684
685Returns the process id of the process I<iff it is a direct child of the
686process running AnyEvent::Fork>, and C<undef> otherwise. As a general
687rule (that you cannot rely upon), processes created via C<new_exec>,
688L<AnyEvent::Fork::Early> or L<AnyEvent::Fork::Template> are direct
689children, while all other processes are not.
690
691Or in other words, you do not normally have to take care of zombies for
692processes created via C<new>, but when in doubt, or zombies are a problem,
693you need to check whether a process is a diretc child by calling this
694method, and possibly creating a child watcher or reap it manually.
695
696=cut
697
698sub pid {
699 $_[0][PID]
700}
701
702=item $proc = $proc->eval ($perlcode, @args)
703
704Evaluates the given C<$perlcode> as ... Perl code, while setting C<@_> to
705the strings specified by C<@args>, in the "main" package.
706
707This call is meant to do any custom initialisation that might be required
708(for example, the C<require> method uses it). It's not supposed to be used
709to completely take over the process, use C<run> for that.
710
711The code will usually be executed after this call returns, and there is no
712way to pass anything back to the calling process. Any evaluation errors
713will be reported to stderr and cause the process to exit.
714
715If you want to execute some code (that isn't in a module) to take over the
716process, you should compile a function via C<eval> first, and then call
717it via C<run>. This also gives you access to any arguments passed via the
718C<send_xxx> methods, such as file handles. See the L<use AnyEvent::Fork as
719a faster fork+exec> example to see it in action.
720
721Returns the process object for easy chaining of method calls.
722
723=cut
724
725sub eval {
726 my ($self, $code, @args) = @_;
727
728 $self->_cmd (e => pack "(w/a*)*", $code, @args);
729
730 $self
349} 731}
350 732
351=item $proc = $proc->require ($module, ...) 733=item $proc = $proc->require ($module, ...)
352 734
353Tries to load the given modules into the process 735Tries to load the given module(s) into the process
354 736
355Returns the process object for easy chaining of method calls. 737Returns the process object for easy chaining of method calls.
738
739=cut
740
741sub require {
742 my ($self, @modules) = @_;
743
744 s%::%/%g for @modules;
745 $self->eval ('require "$_.pm" for @_', @modules);
746
747 $self
748}
356 749
357=item $proc = $proc->send_fh ($handle, ...) 750=item $proc = $proc->send_fh ($handle, ...)
358 751
359Send one or more file handles (I<not> file descriptors) to the process, 752Send one or more file handles (I<not> file descriptors) to the process,
360to prepare a call to C<run>. 753to prepare a call to C<run>.
361 754
362The process object keeps a reference to the handles until this is done, 755The process object keeps a reference to the handles until they have
363so you must not explicitly close the handles. This is most easily 756been passed over to the process, so you must not explicitly close the
364accomplished by simply not storing the file handles anywhere after passing 757handles. This is most easily accomplished by simply not storing the file
365them to this method. 758handles anywhere after passing them to this method - when AnyEvent::Fork
759is finished using them, perl will automatically close them.
366 760
367Returns the process object for easy chaining of method calls. 761Returns the process object for easy chaining of method calls.
762
763Example: pass a file handle to a process, and release it without
764closing. It will be closed automatically when it is no longer used.
765
766 $proc->send_fh ($my_fh);
767 undef $my_fh; # free the reference if you want, but DO NOT CLOSE IT
368 768
369=cut 769=cut
370 770
371sub send_fh { 771sub send_fh {
372 my ($self, @fh) = @_; 772 my ($self, @fh) = @_;
373 773
374 for my $fh (@fh) { 774 for my $fh (@fh) {
375 $self->_cmd ("h"); 775 $self->_cmd ("h");
376 push @{ $self->[2] }, \$fh; 776 push @{ $self->[QUEUE] }, \$fh;
377 push @$self, $fh; # dire hack
378 } 777 }
379 778
380 $self 779 $self
381} 780}
382 781
383=item $proc = $proc->send_arg ($string, ...) 782=item $proc = $proc->send_arg ($string, ...)
384 783
385Send one or more argument strings to the process, to prepare a call to 784Send one or more argument strings to the process, to prepare a call to
386C<run>. The strings can be any octet string. 785C<run>. The strings can be any octet strings.
387 786
787The protocol is optimised to pass a moderate number of relatively short
788strings - while you can pass up to 4GB of data in one go, this is more
789meant to pass some ID information or other startup info, not big chunks of
790data.
791
388Returns the process object for easy chaining of emthod calls. 792Returns the process object for easy chaining of method calls.
389 793
390=cut 794=cut
391 795
392sub send_arg { 796sub send_arg {
393 my ($self, @arg) = @_; 797 my ($self, @arg) = @_;
394 798
395 $self->_cmd (a => @arg); 799 $self->_cmd (a => pack "(w/a*)*", @arg);
396 800
397 $self 801 $self
398} 802}
399 803
400=item $proc->run ($func, $cb->($fh)) 804=item $proc->run ($func, $cb->($fh))
401 805
402Enter the function specified by the fully qualified name in C<$func> in 806Enter the function specified by the function name in C<$func> in the
403the process. The function is called with the communication socket as first 807process. The function is called with the communication socket as first
404argument, followed by all file handles and string arguments sent earlier 808argument, followed by all file handles and string arguments sent earlier
405via C<send_fh> and C<send_arg> methods, in the order they were called. 809via C<send_fh> and C<send_arg> methods, in the order they were called.
406 810
407If the called function returns, the process exits.
408
409Preparing the process can take time - when the process is ready, the
410callback is invoked with the local communications socket as argument.
411
412The process object becomes unusable on return from this function. 811The process object becomes unusable on return from this function - any
812further method calls result in undefined behaviour.
813
814The function name should be fully qualified, but if it isn't, it will be
815looked up in the C<main> package.
816
817If the called function returns, doesn't exist, or any error occurs, the
818process exits.
819
820Preparing the process is done in the background - when all commands have
821been sent, the callback is invoked with the local communications socket
822as argument. At this point you can start using the socket in any way you
823like.
413 824
414If the communication socket isn't used, it should be closed on both sides, 825If the communication socket isn't used, it should be closed on both sides,
415to save on kernel memory. 826to save on kernel memory.
416 827
417The socket is non-blocking in the parent, and blocking in the newly 828The socket is non-blocking in the parent, and blocking in the newly
418created process. The close-on-exec flag is set on both. Even if not used 829created process. The close-on-exec flag is set in both.
830
419otherwise, the socket can be a good indicator for the existance of the 831Even if not used otherwise, the socket can be a good indicator for the
420process - if the other process exits, you get a readable event on it, 832existence of the process - if the other process exits, you get a readable
421because exiting the process closes the socket (if it didn't create any 833event on it, because exiting the process closes the socket (if it didn't
422children using fork). 834create any children using fork).
835
836=over 4
837
838=item Compatibility to L<AnyEvent::Fork::Remote>
839
840If you want to write code that works with both this module and
841L<AnyEvent::Fork::Remote>, you need to write your code so that it assumes
842there are two file handles for communications, which might not be unix
843domain sockets. The C<run> function should start like this:
844
845 sub run {
846 my ($rfh, @args) = @_; # @args is your normal arguments
847 my $wfh = fileno $rfh ? $rfh : *STDOUT;
848
849 # now use $rfh for reading and $wfh for writing
850 }
851
852This checks whether the passed file handle is, in fact, the process
853C<STDIN> handle. If it is, then the function was invoked visa
854L<AnyEvent::Fork::Remote>, so STDIN should be used for reading and
855C<STDOUT> should be used for writing.
856
857In all other cases, the function was called via this module, and there is
858only one file handle that should be sued for reading and writing.
859
860=back
861
862Example: create a template for a process pool, pass a few strings, some
863file handles, then fork, pass one more string, and run some code.
864
865 my $pool = AnyEvent::Fork
866 ->new
867 ->send_arg ("str1", "str2")
868 ->send_fh ($fh1, $fh2);
869
870 for (1..2) {
871 $pool
872 ->fork
873 ->send_arg ("str3")
874 ->run ("Some::function", sub {
875 my ($fh) = @_;
876
877 # fh is nonblocking, but we trust that the OS can accept these
878 # few octets anyway.
879 syswrite $fh, "hi #$_\n";
880
881 # $fh is being closed here, as we don't store it anywhere
882 });
883 }
884
885 # Some::function might look like this - all parameters passed before fork
886 # and after will be passed, in order, after the communications socket.
887 sub Some::function {
888 my ($fh, $str1, $str2, $fh1, $fh2, $str3) = @_;
889
890 print scalar <$fh>; # prints "hi #1\n" and "hi #2\n" in any order
891 }
423 892
424=cut 893=cut
425 894
426sub run { 895sub run {
427 my ($self, $func, $cb) = @_; 896 my ($self, $func, $cb) = @_;
428 897
429 $self->[0] = $cb; 898 $self->[CB] = $cb;
430 $self->_cmd ("r", $func); 899 $self->_cmd (r => $func);
431} 900}
432 901
433=back 902=back
434 903
904=head2 EXPERIMENTAL METHODS
905
906These methods might go away completely or change behaviour, at any time.
907
908=over 4
909
910=item $proc->to_fh ($cb->($fh)) # EXPERIMENTAL, MIGHT BE REMOVED
911
912Flushes all commands out to the process and then calls the callback with
913the communications socket.
914
915The process object becomes unusable on return from this function - any
916further method calls result in undefined behaviour.
917
918The point of this method is to give you a file handle that you can pass
919to another process. In that other process, you can call C<new_from_fh
920AnyEvent::Fork $fh> to create a new C<AnyEvent::Fork> object from it,
921thereby effectively passing a fork object to another process.
922
923=cut
924
925sub to_fh {
926 my ($self, $cb) = @_;
927
928 $self->[CB] = $cb;
929
930 unless ($self->[WW]) {
931 $self->[CB]->($self->[FH]);
932 @$self = ();
933 }
934}
935
936=item new_from_fh AnyEvent::Fork $fh # EXPERIMENTAL, MIGHT BE REMOVED
937
938Takes a file handle originally rceeived by the C<to_fh> method and creates
939a new C<AnyEvent:Fork> object. The child process itself will not change in
940any way, i.e. it will keep all the modifications done to it before calling
941C<to_fh>.
942
943The new object is very much like the original object, except that the
944C<pid> method will return C<undef> even if the process is a direct child.
945
946=cut
947
948sub new_from_fh {
949 my ($class, $fh) = @_;
950
951 $class->_new ($fh)
952}
953
954=back
955
956=head1 PERFORMANCE
957
958Now for some unscientific benchmark numbers (all done on an amd64
959GNU/Linux box). These are intended to give you an idea of the relative
960performance you can expect, they are not meant to be absolute performance
961numbers.
962
963OK, so, I ran a simple benchmark that creates a socket pair, forks, calls
964exit in the child and waits for the socket to close in the parent. I did
965load AnyEvent, EV and AnyEvent::Fork, for a total process size of 5100kB.
966
967 2079 new processes per second, using manual socketpair + fork
968
969Then I did the same thing, but instead of calling fork, I called
970AnyEvent::Fork->new->run ("CORE::exit") and then again waited for the
971socket from the child to close on exit. This does the same thing as manual
972socket pair + fork, except that what is forked is the template process
973(2440kB), and the socket needs to be passed to the server at the other end
974of the socket first.
975
976 2307 new processes per second, using AnyEvent::Fork->new
977
978And finally, using C<new_exec> instead C<new>, using vforks+execs to exec
979a new perl interpreter and compile the small server each time, I get:
980
981 479 vfork+execs per second, using AnyEvent::Fork->new_exec
982
983So how can C<< AnyEvent->new >> be faster than a standard fork, even
984though it uses the same operations, but adds a lot of overhead?
985
986The difference is simply the process size: forking the 5MB process takes
987so much longer than forking the 2.5MB template process that the extra
988overhead is canceled out.
989
990If the benchmark process grows, the normal fork becomes even slower:
991
992 1340 new processes, manual fork of a 20MB process
993 731 new processes, manual fork of a 200MB process
994 235 new processes, manual fork of a 2000MB process
995
996What that means (to me) is that I can use this module without having a bad
997conscience because of the extra overhead required to start new processes.
998
999=head1 TYPICAL PROBLEMS
1000
1001This section lists typical problems that remain. I hope by recognising
1002them, most can be avoided.
1003
1004=over 4
1005
1006=item leaked file descriptors for exec'ed processes
1007
1008POSIX systems inherit file descriptors by default when exec'ing a new
1009process. While perl itself laudably sets the close-on-exec flags on new
1010file handles, most C libraries don't care, and even if all cared, it's
1011often not possible to set the flag in a race-free manner.
1012
1013That means some file descriptors can leak through. And since it isn't
1014possible to know which file descriptors are "good" and "necessary" (or
1015even to know which file descriptors are open), there is no good way to
1016close the ones that might harm.
1017
1018As an example of what "harm" can be done consider a web server that
1019accepts connections and afterwards some module uses AnyEvent::Fork for the
1020first time, causing it to fork and exec a new process, which might inherit
1021the network socket. When the server closes the socket, it is still open
1022in the child (which doesn't even know that) and the client might conclude
1023that the connection is still fine.
1024
1025For the main program, there are multiple remedies available -
1026L<AnyEvent::Fork::Early> is one, creating a process early and not using
1027C<new_exec> is another, as in both cases, the first process can be exec'ed
1028well before many random file descriptors are open.
1029
1030In general, the solution for these kind of problems is to fix the
1031libraries or the code that leaks those file descriptors.
1032
1033Fortunately, most of these leaked descriptors do no harm, other than
1034sitting on some resources.
1035
1036=item leaked file descriptors for fork'ed processes
1037
1038Normally, L<AnyEvent::Fork> does start new processes by exec'ing them,
1039which closes file descriptors not marked for being inherited.
1040
1041However, L<AnyEvent::Fork::Early> and L<AnyEvent::Fork::Template> offer
1042a way to create these processes by forking, and this leaks more file
1043descriptors than exec'ing them, as there is no way to mark descriptors as
1044"close on fork".
1045
1046An example would be modules like L<EV>, L<IO::AIO> or L<Gtk2>. Both create
1047pipes for internal uses, and L<Gtk2> might open a connection to the X
1048server. L<EV> and L<IO::AIO> can deal with fork, but Gtk2 might have
1049trouble with a fork.
1050
1051The solution is to either not load these modules before use'ing
1052L<AnyEvent::Fork::Early> or L<AnyEvent::Fork::Template>, or to delay
1053initialising them, for example, by calling C<init Gtk2> manually.
1054
1055=item exiting calls object destructors
1056
1057This only applies to users of L<AnyEvent::Fork:Early> and
1058L<AnyEvent::Fork::Template>, or when initialising code creates objects
1059that reference external resources.
1060
1061When a process created by AnyEvent::Fork exits, it might do so by calling
1062exit, or simply letting perl reach the end of the program. At which point
1063Perl runs all destructors.
1064
1065Not all destructors are fork-safe - for example, an object that represents
1066the connection to an X display might tell the X server to free resources,
1067which is inconvenient when the "real" object in the parent still needs to
1068use them.
1069
1070This is obviously not a problem for L<AnyEvent::Fork::Early>, as you used
1071it as the very first thing, right?
1072
1073It is a problem for L<AnyEvent::Fork::Template> though - and the solution
1074is to not create objects with nontrivial destructors that might have an
1075effect outside of Perl.
1076
1077=back
1078
435=head1 PORTABILITY NOTES 1079=head1 PORTABILITY NOTES
436 1080
437Win32 is a loser - code has been written for this platform, pain has been 1081Native win32 perls are somewhat supported (AnyEvent::Fork::Early is a nop,
438felt, but in the end, this platform is just too broken - maybe a later 1082and ::Template is not going to work), and it cost a lot of blood and sweat
439version can do it. 1083to make it so, mostly due to the bloody broken perl that nobody seems to
1084care about. The fork emulation is a bad joke - I have yet to see something
1085useful that you can do with it without running into memory corruption
1086issues or other braindamage. Hrrrr.
440 1087
441=head1 AUTHOR 1088Since fork is endlessly broken on win32 perls (it doesn't even remotely
1089work within it's documented limits) and quite obviously it's not getting
1090improved any time soon, the best way to proceed on windows would be to
1091always use C<new_exec> and thus never rely on perl's fork "emulation".
1092
1093Cygwin perl is not supported at the moment due to some hilarious
1094shortcomings of its API - see L<IO::FDPoll> for more details. If you never
1095use C<send_fh> and always use C<new_exec> to create processes, it should
1096work though.
1097
1098=head1 USING AnyEvent::Fork IN SUBPROCESSES
1099
1100AnyEvent::Fork itself cannot generally be used in subprocesses. As long as
1101only one process ever forks new processes, sharing the template processes
1102is possible (you could use a pipe as a lock by writing a byte into it to
1103unlock, and reading the byte to lock for example)
1104
1105To make concurrent calls possible after fork, you should get rid of the
1106template and early fork processes. AnyEvent::Fork will create a new
1107template process as needed.
1108
1109 undef $AnyEvent::Fork::EARLY;
1110 undef $AnyEvent::Fork::TEMPLATE;
1111
1112It doesn't matter whether you get rid of them in the parent or child after
1113a fork.
1114
1115=head1 SEE ALSO
1116
1117L<AnyEvent::Fork::Early>, to avoid executing a perl interpreter at all
1118(part of this distribution).
1119
1120L<AnyEvent::Fork::Template>, to create a process by forking the main
1121program at a convenient time (part of this distribution).
1122
1123L<AnyEvent::Fork::Remote>, for another way to create processes that is
1124mostly compatible to this module and modules building on top of it, but
1125works better with remote processes.
1126
1127L<AnyEvent::Fork::RPC>, for simple RPC to child processes (on CPAN).
1128
1129L<AnyEvent::Fork::Pool>, for simple worker process pool (on CPAN).
1130
1131=head1 AUTHOR AND CONTACT INFORMATION
442 1132
443 Marc Lehmann <schmorp@schmorp.de> 1133 Marc Lehmann <schmorp@schmorp.de>
444 http://home.schmorp.de/ 1134 http://software.schmorp.de/pkg/AnyEvent-Fork
445 1135
446=cut 1136=cut
447 1137
4481 11381
449 1139

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines