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

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines