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.31 by root, Sat Apr 6 09:29:26 2013 UTC vs.
Revision 1.39 by root, Sat Apr 6 22:39:37 2013 UTC

27 27
28Special 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,
29while still supporting specialised environments such as L<App::Staticperl> 29while still supporting specialised environments such as L<App::Staticperl>
30or L<PAR::Packer>. 30or L<PAR::Packer>.
31 31
32=head1 WHAT THIS MODULE IS NOT 32=head2 WHAT THIS MODULE IS NOT
33 33
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.
40in whatever way you like, use some message-passing module such 40in whatever way you like, use some message-passing module such
41as L<AnyEvent::MP>, some pipe such as L<AnyEvent::ZeroMQ>, use 41as L<AnyEvent::MP>, some pipe such as L<AnyEvent::ZeroMQ>, use
42L<AnyEvent::Handle> on both sides to send e.g. JSON or Storable messages, 42L<AnyEvent::Handle> on both sides to send e.g. JSON or Storable messages,
43and so on. 43and so on.
44 44
45=head2 COMPARISON TO OTHER MODULES
46
47There is an abundance of modules on CPAN that do "something fork", such as
48L<Parallel::ForkManager>, L<AnyEvent::ForkManager>, L<AnyEvent::Worker>
49or L<AnyEvent::Subprocess>. There are modules that implement their own
50process management, such as L<AnyEvent::DBI>.
51
52The 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
54memory sharing, efficiency, not being able to use event processing or
55similar modules in the processes they create.
56
57This 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
59also luxury). Ideally, most of these would use AnyEvent::Fork internally,
60except they were written before AnyEvent:Fork was available, so obviously
61had to roll their own.
62
45=head1 PROBLEM STATEMENT 63=head2 PROBLEM STATEMENT
46 64
47There are two traditional ways to implement parallel processing on UNIX 65There are two traditional ways to implement parallel processing on UNIX
48like operating systems - fork and process, and fork+exec and process. They 66like operating systems - fork and process, and fork+exec and process. They
49have different advantages and disadvantages that I describe below, 67have different advantages and disadvantages that I describe below,
50together with how this module tries to mitigate the disadvantages. 68together with how this module tries to mitigate the disadvantages.
152 170
153 # now $master_filehandle is connected to the 171 # now $master_filehandle is connected to the
154 # $slave_filehandle in the new process. 172 # $slave_filehandle in the new process.
155 }); 173 });
156 174
157MyModule might look like this: 175C<MyModule> might look like this:
158 176
159 package MyModule; 177 package MyModule;
160 178
161 sub worker { 179 sub worker {
162 my ($slave_filehandle) = @_; 180 my ($slave_filehandle) = @_;
185 } 203 }
186 204
187 # now do other things - maybe use the filehandle provided by run 205 # now do other things - maybe use the filehandle provided by run
188 # to wait for the processes to die. or whatever. 206 # to wait for the processes to die. or whatever.
189 207
190My::Server might look like this: 208C<My::Server> might look like this:
191 209
192 package My::Server; 210 package My::Server;
193 211
194 sub run { 212 sub run {
195 my ($slave, $listener, $id) = @_; 213 my ($slave, $listener, $id) = @_;
203 } 221 }
204 } 222 }
205 223
206=head2 use AnyEvent::Fork as a faster fork+exec 224=head2 use AnyEvent::Fork as a faster fork+exec
207 225
208This runs /bin/echo hi, with stdout redirected to /tmp/log and stderr to 226This runs C</bin/echo hi>, with stdandard output redirected to /tmp/log
209the communications socket. It is usually faster than fork+exec, but still 227and standard error redirected to the communications socket. It is usually
210let's you prepare the environment. 228faster than fork+exec, but still lets you prepare the environment.
211 229
212 open my $output, ">/tmp/log" or die "$!"; 230 open my $output, ">/tmp/log" or die "$!";
213 231
214 AnyEvent::Fork 232 AnyEvent::Fork
215 ->new 233 ->new
559} 577}
560 578
561=item $pid = $proc->pid 579=item $pid = $proc->pid
562 580
563Returns the process id of the process I<iff it is a direct child of the 581Returns the process id of the process I<iff it is a direct child of the
564process> running AnyEvent::Fork, and C<undef> otherwise. 582process running AnyEvent::Fork>, and C<undef> otherwise.
565 583
566Normally, only processes created via C<< AnyEvent::Fork->new_exec >> and 584Normally, only processes created via C<< AnyEvent::Fork->new_exec >> and
567L<AnyEvent::Fork::Template> are direct children, and you are responsible 585L<AnyEvent::Fork::Template> are direct children, and you are responsible
568to clean up their zombies when they die. 586to clean up their zombies when they die.
569 587
587 605
588The code will usually be executed after this call returns, and there is no 606The code will usually be executed after this call returns, and there is no
589way to pass anything back to the calling process. Any evaluation errors 607way to pass anything back to the calling process. Any evaluation errors
590will be reported to stderr and cause the process to exit. 608will be reported to stderr and cause the process to exit.
591 609
592If you want to execute some code to take over the process (see the 610If you want to execute some code (that isn't in a module) to take over the
593"fork+exec" example in the SYNOPSIS), you should compile a function via 611process, you should compile a function via C<eval> first, and then call
594C<eval> first, and then call it via C<run>. This also gives you access to 612it via C<run>. This also gives you access to any arguments passed via the
595any arguments passed via the C<send_xxx> methods, such as file handles. 613C<send_xxx> methods, such as file handles. See the L<use AnyEvent::Fork as
614a faster fork+exec> example to see it in action.
596 615
597Returns the process object for easy chaining of method calls. 616Returns the process object for easy chaining of method calls.
598 617
599=cut 618=cut
600 619
626=item $proc = $proc->send_fh ($handle, ...) 645=item $proc = $proc->send_fh ($handle, ...)
627 646
628Send one or more file handles (I<not> file descriptors) to the process, 647Send one or more file handles (I<not> file descriptors) to the process,
629to prepare a call to C<run>. 648to prepare a call to C<run>.
630 649
631The process object keeps a reference to the handles until this is done, 650The process object keeps a reference to the handles until they have
632so you must not explicitly close the handles. This is most easily 651been passed over to the process, so you must not explicitly close the
633accomplished by simply not storing the file handles anywhere after passing 652handles. This is most easily accomplished by simply not storing the file
634them to this method. 653handles anywhere after passing them to this method - when AnyEvent::Fork
654is finished using them, perl will automatically close them.
635 655
636Returns the process object for easy chaining of method calls. 656Returns the process object for easy chaining of method calls.
637 657
638Example: pass a file handle to a process, and release it without 658Example: pass a file handle to a process, and release it without
639closing. It will be closed automatically when it is no longer used. 659closing. It will be closed automatically when it is no longer used.
655} 675}
656 676
657=item $proc = $proc->send_arg ($string, ...) 677=item $proc = $proc->send_arg ($string, ...)
658 678
659Send one or more argument strings to the process, to prepare a call to 679Send one or more argument strings to the process, to prepare a call to
660C<run>. The strings can be any octet string. 680C<run>. The strings can be any octet strings.
661 681
662The protocol is optimised to pass a moderate number of relatively short 682The protocol is optimised to pass a moderate number of relatively short
663strings - while you can pass up to 4GB of data in one go, this is more 683strings - while you can pass up to 4GB of data in one go, this is more
664meant to pass some ID information or other startup info, not big chunks of 684meant to pass some ID information or other startup info, not big chunks of
665data. 685data.
681Enter the function specified by the function name in C<$func> in the 701Enter the function specified by the function name in C<$func> in the
682process. The function is called with the communication socket as first 702process. The function is called with the communication socket as first
683argument, followed by all file handles and string arguments sent earlier 703argument, followed by all file handles and string arguments sent earlier
684via C<send_fh> and C<send_arg> methods, in the order they were called. 704via C<send_fh> and C<send_arg> methods, in the order they were called.
685 705
706The process object becomes unusable on return from this function - any
707further method calls result in undefined behaviour.
708
686The function name should be fully qualified, but if it isn't, it will be 709The function name should be fully qualified, but if it isn't, it will be
687looked up in the main package. 710looked up in the C<main> package.
688 711
689If the called function returns, doesn't exist, or any error occurs, the 712If the called function returns, doesn't exist, or any error occurs, the
690process exits. 713process exits.
691 714
692Preparing the process is done in the background - when all commands have 715Preparing the process is done in the background - when all commands have
693been sent, the callback is invoked with the local communications socket 716been sent, the callback is invoked with the local communications socket
694as argument. At this point you can start using the socket in any way you 717as argument. At this point you can start using the socket in any way you
695like. 718like.
696
697The process object becomes unusable on return from this function - any
698further method calls result in undefined behaviour.
699 719
700If the communication socket isn't used, it should be closed on both sides, 720If the communication socket isn't used, it should be closed on both sides,
701to save on kernel memory. 721to save on kernel memory.
702 722
703The socket is non-blocking in the parent, and blocking in the newly 723The socket is non-blocking in the parent, and blocking in the newly
778 479 vfork+execs per second, using AnyEvent::Fork->new_exec 798 479 vfork+execs per second, using AnyEvent::Fork->new_exec
779 799
780So how can C<< AnyEvent->new >> be faster than a standard fork, even 800So how can C<< AnyEvent->new >> be faster than a standard fork, even
781though it uses the same operations, but adds a lot of overhead? 801though it uses the same operations, but adds a lot of overhead?
782 802
783The difference is simply the process size: forking the 6MB process takes 803The difference is simply the process size: forking the 5MB process takes
784so much longer than forking the 2.5MB template process that the overhead 804so much longer than forking the 2.5MB template process that the extra
785introduced is canceled out. 805overhead introduced is canceled out.
786 806
787If the benchmark process grows, the normal fork becomes even slower: 807If the benchmark process grows, the normal fork becomes even slower:
788 808
789 1340 new processes, manual fork in a 20MB process 809 1340 new processes, manual fork of a 20MB process
790 731 new processes, manual fork in a 200MB process 810 731 new processes, manual fork of a 200MB process
791 235 new processes, manual fork in a 2000MB process 811 235 new processes, manual fork of a 2000MB process
792 812
793What that means (to me) is that I can use this module without having a 813What that means (to me) is that I can use this module without having a bad
794very bad conscience because of the extra overhead required to start new 814conscience because of the extra overhead required to start new processes.
795processes.
796 815
797=head1 TYPICAL PROBLEMS 816=head1 TYPICAL PROBLEMS
798 817
799This section lists typical problems that remain. I hope by recognising 818This section lists typical problems that remain. I hope by recognising
800them, most can be avoided. 819them, most can be avoided.
801 820
802=over 4 821=over 4
803 822
804=item "leaked" file descriptors for exec'ed processes 823=item leaked file descriptors for exec'ed processes
805 824
806POSIX systems inherit file descriptors by default when exec'ing a new 825POSIX systems inherit file descriptors by default when exec'ing a new
807process. While perl itself laudably sets the close-on-exec flags on new 826process. While perl itself laudably sets the close-on-exec flags on new
808file handles, most C libraries don't care, and even if all cared, it's 827file handles, most C libraries don't care, and even if all cared, it's
809often not possible to set the flag in a race-free manner. 828often not possible to set the flag in a race-free manner.
829libraries or the code that leaks those file descriptors. 848libraries or the code that leaks those file descriptors.
830 849
831Fortunately, most of these leaked descriptors do no harm, other than 850Fortunately, most of these leaked descriptors do no harm, other than
832sitting on some resources. 851sitting on some resources.
833 852
834=item "leaked" file descriptors for fork'ed processes 853=item leaked file descriptors for fork'ed processes
835 854
836Normally, L<AnyEvent::Fork> does start new processes by exec'ing them, 855Normally, L<AnyEvent::Fork> does start new processes by exec'ing them,
837which closes file descriptors not marked for being inherited. 856which closes file descriptors not marked for being inherited.
838 857
839However, L<AnyEvent::Fork::Early> and L<AnyEvent::Fork::Template> offer 858However, L<AnyEvent::Fork::Early> and L<AnyEvent::Fork::Template> offer
848 867
849The solution is to either not load these modules before use'ing 868The solution is to either not load these modules before use'ing
850L<AnyEvent::Fork::Early> or L<AnyEvent::Fork::Template>, or to delay 869L<AnyEvent::Fork::Early> or L<AnyEvent::Fork::Template>, or to delay
851initialising them, for example, by calling C<init Gtk2> manually. 870initialising them, for example, by calling C<init Gtk2> manually.
852 871
853=item exit runs destructors 872=item exiting calls object destructors
854 873
855This only applies to users of Lc<AnyEvent::Fork:Early> and 874This only applies to users of L<AnyEvent::Fork:Early> and
856L<AnyEvent::Fork::Template>. 875L<AnyEvent::Fork::Template>, or when initialiasing code creates objects
876that reference external resources.
857 877
858When a process created by AnyEvent::Fork exits, it might do so by calling 878When a process created by AnyEvent::Fork exits, it might do so by calling
859exit, or simply letting perl reach the end of the program. At which point 879exit, or simply letting perl reach the end of the program. At which point
860Perl runs all destructors. 880Perl runs all destructors.
861 881
880to make it so, mostly due to the bloody broken perl that nobody seems to 900to make it so, mostly due to the bloody broken perl that nobody seems to
881care about. The fork emulation is a bad joke - I have yet to see something 901care about. The fork emulation is a bad joke - I have yet to see something
882useful that you can do with it without running into memory corruption 902useful that you can do with it without running into memory corruption
883issues or other braindamage. Hrrrr. 903issues or other braindamage. Hrrrr.
884 904
885Cygwin perl is not supported at the moment, as it should implement fd 905Cygwin perl is not supported at the moment due to some hilarious
886passing, but doesn't, and rolling my own is hard, as cygwin doesn't 906shortcomings of its API - see L<IO::FDPoll> for more details.
887support enough functionality to do it.
888 907
889=head1 SEE ALSO 908=head1 SEE ALSO
890 909
891L<AnyEvent::Fork::Early> (to avoid executing a perl interpreter), 910L<AnyEvent::Fork::Early> (to avoid executing a perl interpreter),
892L<AnyEvent::Fork::Template> (to create a process by forking the main 911L<AnyEvent::Fork::Template> (to create a process by forking the main

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines