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.39 by root, Sat Apr 6 22:39:37 2013 UTC vs.
Revision 1.64 by root, Wed Nov 26 13:37:40 2014 UTC

34This module only creates processes and lets you pass file handles and 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 - 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 36there is no back channel from the process back to you, and there is no RPC
37or message passing going on. 37or message passing going on.
38 38
39If you need some form of RPC, you can either implement it yourself 39If you need some form of RPC, you could use the L<AnyEvent::Fork::RPC>
40in whatever way you like, use some message-passing module such 40companion module, which adds simple RPC/job queueing to a process created
41as L<AnyEvent::MP>, some pipe such as L<AnyEvent::ZeroMQ>, use 41by this module.
42L<AnyEvent::Handle> on both sides to send e.g. JSON or Storable messages, 42
43and so on. 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.
44 51
45=head2 COMPARISON TO OTHER MODULES 52=head2 COMPARISON TO OTHER MODULES
46 53
47There is an abundance of modules on CPAN that do "something fork", such as 54There is an abundance of modules on CPAN that do "something fork", such as
48L<Parallel::ForkManager>, L<AnyEvent::ForkManager>, L<AnyEvent::Worker> 55L<Parallel::ForkManager>, L<AnyEvent::ForkManager>, L<AnyEvent::Worker>
49or L<AnyEvent::Subprocess>. There are modules that implement their own 56or L<AnyEvent::Subprocess>. There are modules that implement their own
50process management, such as L<AnyEvent::DBI>. 57process management, such as L<AnyEvent::DBI>.
51 58
52The problems that all these modules try to solve are real, however, none 59The problems that all these modules try to solve are real, however, none
53of them (from what I have seen) tackle the very real problems of unwanted 60of them (from what I have seen) tackle the very real problems of unwanted
54memory sharing, efficiency, not being able to use event processing or 61memory sharing, efficiency or not being able to use event processing, GUI
55similar modules in the processes they create. 62toolkits or similar modules in the processes they create.
56 63
57This module doesn't try to replace any of them - instead it tries to solve 64This module doesn't try to replace any of them - instead it tries to solve
58the problem of creating processes with a minimum of fuss and overhead (and 65the problem of creating processes with a minimum of fuss and overhead (and
59also luxury). Ideally, most of these would use AnyEvent::Fork internally, 66also luxury). Ideally, most of these would use AnyEvent::Fork internally,
60except they were written before AnyEvent:Fork was available, so obviously 67except they were written before AnyEvent:Fork was available, so obviously
82 89
83=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
84process. 91process.
85 92
86For example, modules or data files that are loaded will not use additional 93For example, modules or data files that are loaded will not use additional
87memory after a fork. When exec'ing a new process, modules and data files 94memory after a fork. Exec'ing a new process, in contrast, means modules
88might need to be loaded again, at extra CPU and memory cost. But when 95and data files might need to be loaded again, at extra CPU and memory
89forking, literally all data structures are copied - if the program frees 96cost.
97
98But when forking, you still create a copy of your data structures - if
90them and replaces them by new data, the child processes will retain the 99the program frees them and replaces them by new data, the child processes
91old version even if it isn't used, which can suddenly and unexpectedly 100will retain the old version even if it isn't used, which can suddenly and
92increase memory usage when freeing memory. 101unexpectedly increase memory usage when freeing memory.
93 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
94The trade-off is between more sharing with fork (which can be good or 112There is a trade-off between more sharing with fork (which can be good or
95bad), and no sharing with exec. 113bad), and no sharing with exec.
96 114
97This 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
98modules to exec processes safely at any time. When creating a custom 116modules to exec processes safely at any time. When creating a custom
99process pool you can take advantage of data sharing via fork without 117process pool you can take advantage of data sharing via fork without
104shared and what isn't, at all times. 122shared and what isn't, at all times.
105 123
106=item Exec'ing a new perl process might be difficult. 124=item Exec'ing a new perl process might be difficult.
107 125
108For example, it is not easy to find the correct path to the perl 126For example, it is not easy to find the correct path to the perl
109interpreter - C<$^X> might not be a perl interpreter at all. 127interpreter - C<$^X> might not be a perl interpreter at all. Worse, there
128might not even be a perl binary installed on the system.
110 129
111This module tries hard to identify the correct path to the perl 130This module tries hard to identify the correct path to the perl
112interpreter. With a cooperative main program, exec'ing the interpreter 131interpreter. With a cooperative main program, exec'ing the interpreter
113might not even be necessary, but even without help from the main program, 132might not even be necessary, but even without help from the main program,
114it will still work when used from a module. 133it will still work when used from a module.
120and modules are no longer loadable because they refer to a different 139and modules are no longer loadable because they refer to a different
121perl version, or parts of a distribution are newer than the ones already 140perl version, or parts of a distribution are newer than the ones already
122loaded. 141loaded.
123 142
124This module supports creating pre-initialised perl processes to be used as 143This module supports creating pre-initialised perl processes to be used as
125a template for new processes. 144a template for new processes at a later time, e.g. for use in a process
145pool.
126 146
127=item Forking might be impossible when a program is running. 147=item Forking might be impossible when a program is running.
128 148
129For example, POSIX makes it almost impossible to fork from a 149For example, POSIX makes it almost impossible to fork from a
130multi-threaded program while doing anything useful in the child - in 150multi-threaded program while doing anything useful in the child - in
131fact, if your perl program uses POSIX threads (even indirectly via 151fact, if your perl program uses POSIX threads (even indirectly via
132e.g. L<IO::AIO> or L<threads>), you cannot call fork on the perl level 152e.g. L<IO::AIO> or L<threads>), you cannot call fork on the perl level
133anymore without risking corruption issues on a number of operating 153anymore without risking memory corruption or worse on a number of
134systems. 154operating systems.
135 155
136This module can safely fork helper processes at any time, by calling 156This module can safely fork helper processes at any time, by calling
137fork+exec in C, in a POSIX-compatible way (via L<Proc::FastSpawn>). 157fork+exec in C, in a POSIX-compatible way (via L<Proc::FastSpawn>).
138 158
139=item Parallel processing with fork might be inconvenient or difficult 159=item Parallel processing with fork might be inconvenient or difficult
157possible to use modules such as event loops or window interfaces safely. 177possible to use modules such as event loops or window interfaces safely.
158 178
159=back 179=back
160 180
161=head1 EXAMPLES 181=head1 EXAMPLES
182
183This is where the wall of text ends and code speaks.
162 184
163=head2 Create a single new process, tell it to run your worker function. 185=head2 Create a single new process, tell it to run your worker function.
164 186
165 AnyEvent::Fork 187 AnyEvent::Fork
166 ->new 188 ->new
221 } 243 }
222 } 244 }
223 245
224=head2 use AnyEvent::Fork as a faster fork+exec 246=head2 use AnyEvent::Fork as a faster fork+exec
225 247
226This runs C</bin/echo hi>, with stdandard output redirected to /tmp/log 248This runs C</bin/echo hi>, with standard output redirected to F</tmp/log>
227and standard error redirected to the communications socket. It is usually 249and standard error redirected to the communications socket. It is usually
228faster than fork+exec, but still lets you prepare the environment. 250faster than fork+exec, but still lets you prepare the environment.
229 251
230 open my $output, ">/tmp/log" or die "$!"; 252 open my $output, ">/tmp/log" or die "$!";
231 253
232 AnyEvent::Fork 254 AnyEvent::Fork
233 ->new 255 ->new
234 ->eval (' 256 ->eval ('
257 # compile a helper function for later use
235 sub run { 258 sub run {
236 my ($fh, $output, @cmd) = @_; 259 my ($fh, $output, @cmd) = @_;
237 260
238 # perl will clear close-on-exec on STDOUT/STDERR 261 # perl will clear close-on-exec on STDOUT/STDERR
239 open STDOUT, ">&", $output or die; 262 open STDOUT, ">&", $output or die;
246 ->send_arg ("/bin/echo", "hi") 269 ->send_arg ("/bin/echo", "hi")
247 ->run ("run", my $cv = AE::cv); 270 ->run ("run", my $cv = AE::cv);
248 271
249 my $stderr = $cv->recv; 272 my $stderr = $cv->recv;
250 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;
342
251=head1 CONCEPTS 343=head1 CONCEPTS
252 344
253This module can create new processes either by executing a new perl 345This module can create new processes either by executing a new perl
254process, 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".
255 351
256Each 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
257communicate 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,
258one 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
259load modules, fork new processes, send file handles to it, and execute 355load modules, fork new processes, send file handles to it, and execute
369use AnyEvent; 465use AnyEvent;
370use AnyEvent::Util (); 466use AnyEvent::Util ();
371 467
372use IO::FDPass; 468use IO::FDPass;
373 469
374our $VERSION = 0.5; 470our $VERSION = 1.2;
375
376our $PERL; # the path to the perl interpreter, deduces with various forms of magic
377
378=over 4
379
380=back
381
382=cut
383 471
384# the early fork template process 472# the early fork template process
385our $EARLY; 473our $EARLY;
386 474
387# the empty template process 475# the empty template process
388our $TEMPLATE; 476our $TEMPLATE;
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}
389 498
390sub _cmd { 499sub _cmd {
391 my $self = shift; 500 my $self = shift;
392 501
393 # ideally, we would want to use "a (w/a)*" as format string, but perl 502 # ideally, we would want to use "a (w/a)*" as format string, but perl
394 # versions from at least 5.8.9 to 5.16.3 are all buggy and can't unpack 503 # versions from at least 5.8.9 to 5.16.3 are all buggy and can't unpack
395 # it. 504 # it.
396 push @{ $self->[2] }, pack "a L/a*", $_[0], $_[1]; 505 push @{ $self->[QUEUE] }, pack "a L/a*", $_[0], $_[1];
397 506
398 $self->[3] ||= AE::io $self->[1], 1, sub { 507 $self->[WW] ||= AE::io $self->[FH], 1, sub {
399 do { 508 do {
400 # send the next "thing" in the queue - either a reference to an fh, 509 # send the next "thing" in the queue - either a reference to an fh,
401 # or a plain string. 510 # or a plain string.
402 511
403 if (ref $self->[2][0]) { 512 if (ref $self->[QUEUE][0]) {
404 # send fh 513 # send fh
405 unless (IO::FDPass::send fileno $self->[1], fileno ${ $self->[2][0] }) { 514 unless (IO::FDPass::send fileno $self->[FH], fileno ${ $self->[QUEUE][0] }) {
406 return if $! == Errno::EAGAIN || $! == Errno::EWOULDBLOCK; 515 return if $! == Errno::EAGAIN || $! == Errno::EWOULDBLOCK;
407 undef $self->[3]; 516 undef $self->[WW];
408 die "AnyEvent::Fork: file descriptor send failure: $!"; 517 die "AnyEvent::Fork: file descriptor send failure: $!";
409 } 518 }
410 519
411 shift @{ $self->[2] }; 520 shift @{ $self->[QUEUE] };
412 521
413 } else { 522 } else {
414 # send string 523 # send string
415 my $len = syswrite $self->[1], $self->[2][0]; 524 my $len = syswrite $self->[FH], $self->[QUEUE][0];
416 525
417 unless ($len) { 526 unless ($len) {
418 return if $! == Errno::EAGAIN || $! == Errno::EWOULDBLOCK; 527 return if $! == Errno::EAGAIN || $! == Errno::EWOULDBLOCK;
419 undef $self->[3]; 528 undef $self->[WW];
420 die "AnyEvent::Fork: command write failure: $!"; 529 die "AnyEvent::Fork: command write failure: $!";
421 } 530 }
422 531
423 substr $self->[2][0], 0, $len, ""; 532 substr $self->[QUEUE][0], 0, $len, "";
424 shift @{ $self->[2] } unless length $self->[2][0]; 533 shift @{ $self->[QUEUE] } unless length $self->[QUEUE][0];
425 } 534 }
426 } while @{ $self->[2] }; 535 } while @{ $self->[QUEUE] };
427 536
428 # everything written 537 # everything written
429 undef $self->[3]; 538 undef $self->[WW];
430 539
431 # invoke run callback, if any 540 # invoke run callback, if any
432 $self->[4]->($self->[1]) if $self->[4]; 541 if ($self->[CB]) {
542 $self->[CB]->($self->[FH]);
543 @$self = ();
544 }
433 }; 545 };
434 546
435 () # make sure we don't leak the watcher 547 () # make sure we don't leak the watcher
436}
437
438sub _new {
439 my ($self, $fh, $pid) = @_;
440
441 AnyEvent::Util::fh_nonblocking $fh, 1;
442
443 $self = bless [
444 $pid,
445 $fh,
446 [], # write queue - strings or fd's
447 undef, # AE watcher
448 ], $self;
449
450 $self
451} 548}
452 549
453# fork template from current process, used by AnyEvent::Fork::Early/Template 550# fork template from current process, used by AnyEvent::Fork::Early/Template
454sub _new_fork { 551sub _new_fork {
455 my ($fh, $slave) = AnyEvent::Util::portable_socketpair; 552 my ($fh, $slave) = AnyEvent::Util::portable_socketpair;
460 if ($pid eq 0) { 557 if ($pid eq 0) {
461 require AnyEvent::Fork::Serve; 558 require AnyEvent::Fork::Serve;
462 $AnyEvent::Fork::Serve::OWNER = $parent; 559 $AnyEvent::Fork::Serve::OWNER = $parent;
463 close $fh; 560 close $fh;
464 $0 = "$_[1] of $parent"; 561 $0 = "$_[1] of $parent";
465 $SIG{CHLD} = 'IGNORE';
466 AnyEvent::Fork::Serve::serve ($slave); 562 AnyEvent::Fork::Serve::serve ($slave);
467 exit 0; 563 exit 0;
468 } elsif (!$pid) { 564 } elsif (!$pid) {
469 die "AnyEvent::Fork::Early/Template: unable to fork template process: $!"; 565 die "AnyEvent::Fork::Early/Template: unable to fork template process: $!";
470 } 566 }
524 620
525You should use C<new> whenever possible, except when having a template 621You should use C<new> whenever possible, except when having a template
526process around is unacceptable. 622process around is unacceptable.
527 623
528The path to the perl interpreter is divined using various methods - first 624The path to the perl interpreter is divined using various methods - first
529C<$^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
530as 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
531using C<$Config::Config{perlpath}>. 627using C<$Config::Config{perlpath}>.
532 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
533=cut 633=cut
634
635our $PERL;
534 636
535sub new_exec { 637sub new_exec {
536 my ($self) = @_; 638 my ($self) = @_;
537 639
538 return $EARLY->fork 640 return $EARLY->fork
539 if $EARLY; 641 if $EARLY;
540 642
643 unless (defined $PERL) {
541 # first find path of perl 644 # first find path of perl
542 my $perl = $; 645 my $perl = $^X;
543 646
544 # 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.
545 # 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
546 unless ( 649 unless (
547 ($^O eq "MSWin32" || $perl =~ m%^/%) 650 ($^O eq "MSWin32" || $perl =~ m%^/%)
548 && $perl =~ m%[/\\]perl(?:[0-9]+(\.[0-9]+)+)?(\.exe)?$%i 651 && $perl =~ m%[/\\]perl(?:[0-9]+(\.[0-9]+)+)?(\.exe)?$%i
549 ) { 652 ) {
550 # if it doesn't look perlish enough, try Config 653 # if it doesn't look perlish enough, try Config
551 require Config; 654 require Config;
552 $perl = $Config::Config{perlpath}; 655 $perl = $Config::Config{perlpath};
553 $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;
554 } 660 }
555 661
556 require Proc::FastSpawn; 662 require Proc::FastSpawn;
557 663
558 my ($fh, $slave) = AnyEvent::Util::portable_socketpair; 664 my ($fh, $slave) = AnyEvent::Util::portable_socketpair;
566 #local $ENV{PERL5LIB} = join ":", grep !ref, @INC; 672 #local $ENV{PERL5LIB} = join ":", grep !ref, @INC;
567 my %env = %ENV; 673 my %env = %ENV;
568 $env{PERL5LIB} = join +($^O eq "MSWin32" ? ";" : ":"), grep !ref, @INC; 674 $env{PERL5LIB} = join +($^O eq "MSWin32" ? ";" : ":"), grep !ref, @INC;
569 675
570 my $pid = Proc::FastSpawn::spawn ( 676 my $pid = Proc::FastSpawn::spawn (
571 $perl, 677 $PERL,
572 ["perl", "-MAnyEvent::Fork::Serve", "-e", "AnyEvent::Fork::Serve::me", fileno $slave, $$], 678 ["perl", "-MAnyEvent::Fork::Serve", "-e", "AnyEvent::Fork::Serve::me", fileno $slave, $$],
573 [map "$_=$env{$_}", keys %env], 679 [map "$_=$env{$_}", keys %env],
574 ) or die "unable to spawn AnyEvent::Fork server: $!"; 680 ) or die "unable to spawn AnyEvent::Fork server: $!";
575 681
576 $self->_new ($fh, $pid) 682 $self->_new ($fh, $pid)
577} 683}
578 684
579=item $pid = $proc->pid 685=item $pid = $proc->pid
580 686
581Returns the process id of the process I<iff it is a direct child of the 687Returns the process id of the process I<iff it is a direct child of the
582process running AnyEvent::Fork>, and C<undef> otherwise. 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.
583 692
584Normally, only processes created via C<< AnyEvent::Fork->new_exec >> and 693Or in other words, you do not normally have to take care of zombies for
585L<AnyEvent::Fork::Template> are direct children, and you are responsible 694processes created via C<new>, but when in doubt, or zombies are a problem,
586to clean up their zombies when they die. 695you need to check whether a process is a diretc child by calling this
587 696method, and possibly creating a child watcher or reap it manually.
588All other processes are not direct children, and will be cleaned up by
589AnyEvent::Fork itself.
590 697
591=cut 698=cut
592 699
593sub pid { 700sub pid {
594 $_[0][0] 701 $_[0][PID]
595} 702}
596 703
597=item $proc = $proc->eval ($perlcode, @args) 704=item $proc = $proc->eval ($perlcode, @args)
598 705
599Evaluates the given C<$perlcode> as ... perl code, while setting C<@_> to 706Evaluates the given C<$perlcode> as ... Perl code, while setting C<@_> to
600the strings specified by C<@args>, in the "main" package. 707the strings specified by C<@args>, in the "main" package.
601 708
602This call is meant to do any custom initialisation that might be required 709This call is meant to do any custom initialisation that might be required
603(for example, the C<require> method uses it). It's not supposed to be used 710(for example, the C<require> method uses it). It's not supposed to be used
604to completely take over the process, use C<run> for that. 711to completely take over the process, use C<run> for that.
666sub send_fh { 773sub send_fh {
667 my ($self, @fh) = @_; 774 my ($self, @fh) = @_;
668 775
669 for my $fh (@fh) { 776 for my $fh (@fh) {
670 $self->_cmd ("h"); 777 $self->_cmd ("h");
671 push @{ $self->[2] }, \$fh; 778 push @{ $self->[QUEUE] }, \$fh;
672 } 779 }
673 780
674 $self 781 $self
675} 782}
676 783
725 832
726Even if not used otherwise, the socket can be a good indicator for the 833Even if not used otherwise, the socket can be a good indicator for the
727existence of the process - if the other process exits, you get a readable 834existence of the process - if the other process exits, you get a readable
728event on it, because exiting the process closes the socket (if it didn't 835event on it, because exiting the process closes the socket (if it didn't
729create any children using fork). 836create any children using fork).
837
838=over 4
839
840=item Compatibility to L<AnyEvent::Fork::Remote>
841
842If you want to write code that works with both this module and
843L<AnyEvent::Fork::Remote>, you need to write your code so that it assumes
844there are two file handles for communications, which might not be unix
845domain sockets. The C<run> function should start like this:
846
847 sub run {
848 my ($rfh, @args) = @_; # @args is your normal arguments
849 my $wfh = fileno $rfh ? $rfh : *STDOUT;
850
851 # now use $rfh for reading and $wfh for writing
852 }
853
854This checks whether the passed file handle is, in fact, the process
855C<STDIN> handle. If it is, then the function was invoked visa
856L<AnyEvent::Fork::Remote>, so STDIN should be used for reading and
857C<STDOUT> should be used for writing.
858
859In all other cases, the function was called via this module, and there is
860only one file handle that should be sued for reading and writing.
861
862=back
730 863
731Example: create a template for a process pool, pass a few strings, some 864Example: create a template for a process pool, pass a few strings, some
732file handles, then fork, pass one more string, and run some code. 865file handles, then fork, pass one more string, and run some code.
733 866
734 my $pool = AnyEvent::Fork 867 my $pool = AnyEvent::Fork
762=cut 895=cut
763 896
764sub run { 897sub run {
765 my ($self, $func, $cb) = @_; 898 my ($self, $func, $cb) = @_;
766 899
767 $self->[4] = $cb; 900 $self->[CB] = $cb;
768 $self->_cmd (r => $func); 901 $self->_cmd (r => $func);
902}
903
904=back
905
906=head2 EXPERIMENTAL METHODS
907
908These methods might go away completely or change behaviour, at any time.
909
910=over 4
911
912=item $proc->to_fh ($cb->($fh)) # EXPERIMENTAL, MIGHT BE REMOVED
913
914Flushes all commands out to the process and then calls the callback with
915the communications socket.
916
917The process object becomes unusable on return from this function - any
918further method calls result in undefined behaviour.
919
920The point of this method is to give you a file handle that you can pass
921to another process. In that other process, you can call C<new_from_fh
922AnyEvent::Fork $fh> to create a new C<AnyEvent::Fork> object from it,
923thereby effectively passing a fork object to another process.
924
925=cut
926
927sub to_fh {
928 my ($self, $cb) = @_;
929
930 $self->[CB] = $cb;
931
932 unless ($self->[WW]) {
933 $self->[CB]->($self->[FH]);
934 @$self = ();
935 }
936}
937
938=item new_from_fh AnyEvent::Fork $fh # EXPERIMENTAL, MIGHT BE REMOVED
939
940Takes a file handle originally rceeived by the C<to_fh> method and creates
941a new C<AnyEvent:Fork> object. The child process itself will not change in
942any way, i.e. it will keep all the modifications done to it before calling
943C<to_fh>.
944
945The new object is very much like the original object, except that the
946C<pid> method will return C<undef> even if the process is a direct child.
947
948=cut
949
950sub new_from_fh {
951 my ($class, $fh) = @_;
952
953 $class->_new ($fh)
769} 954}
770 955
771=back 956=back
772 957
773=head1 PERFORMANCE 958=head1 PERFORMANCE
783 968
784 2079 new processes per second, using manual socketpair + fork 969 2079 new processes per second, using manual socketpair + fork
785 970
786Then I did the same thing, but instead of calling fork, I called 971Then I did the same thing, but instead of calling fork, I called
787AnyEvent::Fork->new->run ("CORE::exit") and then again waited for the 972AnyEvent::Fork->new->run ("CORE::exit") and then again waited for the
788socket form the child to close on exit. This does the same thing as manual 973socket from the child to close on exit. This does the same thing as manual
789socket pair + fork, except that what is forked is the template process 974socket pair + fork, except that what is forked is the template process
790(2440kB), and the socket needs to be passed to the server at the other end 975(2440kB), and the socket needs to be passed to the server at the other end
791of the socket first. 976of the socket first.
792 977
793 2307 new processes per second, using AnyEvent::Fork->new 978 2307 new processes per second, using AnyEvent::Fork->new
800So how can C<< AnyEvent->new >> be faster than a standard fork, even 985So how can C<< AnyEvent->new >> be faster than a standard fork, even
801though it uses the same operations, but adds a lot of overhead? 986though it uses the same operations, but adds a lot of overhead?
802 987
803The difference is simply the process size: forking the 5MB process takes 988The difference is simply the process size: forking the 5MB process takes
804so much longer than forking the 2.5MB template process that the extra 989so much longer than forking the 2.5MB template process that the extra
805overhead introduced is canceled out. 990overhead is canceled out.
806 991
807If the benchmark process grows, the normal fork becomes even slower: 992If the benchmark process grows, the normal fork becomes even slower:
808 993
809 1340 new processes, manual fork of a 20MB process 994 1340 new processes, manual fork of a 20MB process
810 731 new processes, manual fork of a 200MB process 995 731 new processes, manual fork of a 200MB process
870initialising them, for example, by calling C<init Gtk2> manually. 1055initialising them, for example, by calling C<init Gtk2> manually.
871 1056
872=item exiting calls object destructors 1057=item exiting calls object destructors
873 1058
874This only applies to users of L<AnyEvent::Fork:Early> and 1059This only applies to users of L<AnyEvent::Fork:Early> and
875L<AnyEvent::Fork::Template>, or when initialiasing code creates objects 1060L<AnyEvent::Fork::Template>, or when initialising code creates objects
876that reference external resources. 1061that reference external resources.
877 1062
878When a process created by AnyEvent::Fork exits, it might do so by calling 1063When a process created by AnyEvent::Fork exits, it might do so by calling
879exit, or simply letting perl reach the end of the program. At which point 1064exit, or simply letting perl reach the end of the program. At which point
880Perl runs all destructors. 1065Perl runs all destructors.
900to make it so, mostly due to the bloody broken perl that nobody seems to 1085to make it so, mostly due to the bloody broken perl that nobody seems to
901care about. The fork emulation is a bad joke - I have yet to see something 1086care about. The fork emulation is a bad joke - I have yet to see something
902useful that you can do with it without running into memory corruption 1087useful that you can do with it without running into memory corruption
903issues or other braindamage. Hrrrr. 1088issues or other braindamage. Hrrrr.
904 1089
1090Since fork is endlessly broken on win32 perls (it doesn't even remotely
1091work within it's documented limits) and quite obviously it's not getting
1092improved any time soon, the best way to proceed on windows would be to
1093always use C<new_exec> and thus never rely on perl's fork "emulation".
1094
905Cygwin perl is not supported at the moment due to some hilarious 1095Cygwin perl is not supported at the moment due to some hilarious
906shortcomings of its API - see L<IO::FDPoll> for more details. 1096shortcomings of its API - see L<IO::FDPoll> for more details. If you never
1097use C<send_fh> and always use C<new_exec> to create processes, it should
1098work though.
1099
1100=head1 USING AnyEvent::Fork IN SUBPROCESSES
1101
1102AnyEvent::Fork itself cannot generally be used in subprocesses. As long as
1103only one process ever forks new processes, sharing the template processes
1104is possible (you could use a pipe as a lock by writing a byte into it to
1105unlock, and reading the byte to lock for example)
1106
1107To make concurrent calls possible after fork, you should get rid of the
1108template and early fork processes. AnyEvent::Fork will create a new
1109template process as needed.
1110
1111 undef $AnyEvent::Fork::EARLY;
1112 undef $AnyEvent::Fork::TEMPLATE;
1113
1114It doesn't matter whether you get rid of them in the parent or child after
1115a fork.
907 1116
908=head1 SEE ALSO 1117=head1 SEE ALSO
909 1118
910L<AnyEvent::Fork::Early> (to avoid executing a perl interpreter), 1119L<AnyEvent::Fork::Early>, to avoid executing a perl interpreter at all
1120(part of this distribution).
1121
911L<AnyEvent::Fork::Template> (to create a process by forking the main 1122L<AnyEvent::Fork::Template>, to create a process by forking the main
912program at a convenient time). 1123program at a convenient time (part of this distribution).
913 1124
914=head1 AUTHOR 1125L<AnyEvent::Fork::Remote>, for another way to create processes that is
1126mostly compatible to this module and modules building on top of it, but
1127works better with remote processes.
1128
1129L<AnyEvent::Fork::RPC>, for simple RPC to child processes (on CPAN).
1130
1131L<AnyEvent::Fork::Pool>, for simple worker process pool (on CPAN).
1132
1133=head1 AUTHOR AND CONTACT INFORMATION
915 1134
916 Marc Lehmann <schmorp@schmorp.de> 1135 Marc Lehmann <schmorp@schmorp.de>
917 http://home.schmorp.de/ 1136 http://software.schmorp.de/pkg/AnyEvent-Fork
918 1137
919=cut 1138=cut
920 1139
9211 11401
922 1141

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines