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

Comparing AnyEvent-Fork-RPC/RPC.pm (file contents):
Revision 1.25 by root, Sun Apr 28 14:17:59 2013 UTC vs.
Revision 1.46 by root, Sun Sep 15 20:18:14 2019 UTC

1=head1 NAME 1=head1 NAME
2 2
3AnyEvent::Fork::RPC - simple RPC extension for AnyEvent::Fork 3AnyEvent::Fork::RPC - simple RPC extension for AnyEvent::Fork
4 4
5THE API IS NOT FINISHED, CONSIDER THIS A BETA RELEASE
6
7=head1 SYNOPSIS 5=head1 SYNOPSIS
8 6
7 use AnyEvent::Fork;
9 use AnyEvent::Fork::RPC; 8 use AnyEvent::Fork::RPC;
10 # use AnyEvent::Fork is not needed
11 9
12 my $rpc = AnyEvent::Fork 10 my $rpc = AnyEvent::Fork
13 ->new 11 ->new
14 ->require ("MyModule") 12 ->require ("MyModule")
15 ->AnyEvent::Fork::RPC::run ( 13 ->AnyEvent::Fork::RPC::run (
28 $cv->recv; 26 $cv->recv;
29 27
30=head1 DESCRIPTION 28=head1 DESCRIPTION
31 29
32This module implements a simple RPC protocol and backend for processes 30This module implements a simple RPC protocol and backend for processes
33created via L<AnyEvent::Fork>, allowing you to call a function in the 31created via L<AnyEvent::Fork> or L<AnyEvent::Fork::Remote>, allowing you
34child process and receive its return values (up to 4GB serialised). 32to call a function in the child process and receive its return values (up
33to 4GB serialised).
35 34
36It implements two different backends: a synchronous one that works like a 35It implements two different backends: a synchronous one that works like a
37normal function call, and an asynchronous one that can run multiple jobs 36normal function call, and an asynchronous one that can run multiple jobs
38concurrently in the child, using AnyEvent. 37concurrently in the child, using AnyEvent.
39 38
40It also implements an asynchronous event mechanism from the child to the 39It also implements an asynchronous event mechanism from the child to the
41parent, that could be used for progress indications or other information. 40parent, that could be used for progress indications or other information.
42
43Loading this module also always loads L<AnyEvent::Fork>, so you can make a
44separate C<use AnyEvent::Fork> if you wish, but you don't have to.
45 41
46=head1 EXAMPLES 42=head1 EXAMPLES
47 43
48=head2 Example 1: Synchronous Backend 44=head2 Example 1: Synchronous Backend
49 45
53silly, but illustrates the use of events. 49silly, but illustrates the use of events.
54 50
55First the parent process: 51First the parent process:
56 52
57 use AnyEvent; 53 use AnyEvent;
54 use AnyEvent::Fork;
58 use AnyEvent::Fork::RPC; 55 use AnyEvent::Fork::RPC;
59 56
60 my $done = AE::cv; 57 my $done = AE::cv;
61 58
62 my $rpc = AnyEvent::Fork 59 my $rpc = AnyEvent::Fork
63 ->new 60 ->new
64 ->require ("MyWorker") 61 ->require ("MyWorker")
65 ->AnyEvent::Fork::RPC::run ("MyWorker::run", 62 ->AnyEvent::Fork::RPC::run ("MyWorker::run",
66 on_error => sub { warn "FATAL: $_[0]"; exit 1 }, 63 on_error => sub { warn "ERROR: $_[0]"; exit 1 },
67 on_event => sub { warn "$_[0] requests handled\n" }, 64 on_event => sub { warn "$_[0] requests handled\n" },
68 on_destroy => $done, 65 on_destroy => $done,
69 ); 66 );
70 67
71 for my $id (1..6) { 68 for my $id (1..6) {
178you really I<are> done. 175you really I<are> done.
179 176
180=head2 Example 2: Asynchronous Backend 177=head2 Example 2: Asynchronous Backend
181 178
182This example implements multiple count-downs in the child, using 179This example implements multiple count-downs in the child, using
183L<AnyEvent> timers. While this is a bit silly (one could use timers in te 180L<AnyEvent> timers. While this is a bit silly (one could use timers in the
184parent just as well), it illustrates the ability to use AnyEvent in the 181parent just as well), it illustrates the ability to use AnyEvent in the
185child and the fact that responses can arrive in a different order then the 182child and the fact that responses can arrive in a different order then the
186requests. 183requests.
187 184
188It also shows how to embed the actual child code into a C<__DATA__> 185It also shows how to embed the actual child code into a C<__DATA__>
193so silly anymore. 190so silly anymore.
194 191
195Without further ado, here is the code: 192Without further ado, here is the code:
196 193
197 use AnyEvent; 194 use AnyEvent;
195 use AnyEvent::Fork;
198 use AnyEvent::Fork::RPC; 196 use AnyEvent::Fork::RPC;
199 197
200 my $done = AE::cv; 198 my $done = AE::cv;
201 199
202 my $rpc = AnyEvent::Fork 200 my $rpc = AnyEvent::Fork
203 ->new 201 ->new
204 ->require ("AnyEvent::Fork::RPC::Async") 202 ->require ("AnyEvent::Fork::RPC::Async")
205 ->eval (do { local $/; <DATA> }) 203 ->eval (do { local $/; <DATA> })
206 ->AnyEvent::Fork::RPC::run ("run", 204 ->AnyEvent::Fork::RPC::run ("run",
207 async => 1, 205 async => 1,
208 on_error => sub { warn "FATAL: $_[0]"; exit 1 }, 206 on_error => sub { warn "ERROR: $_[0]"; exit 1 },
209 on_event => sub { print $_[0] }, 207 on_event => sub { print $_[0] },
210 on_destroy => $done, 208 on_destroy => $done,
211 ); 209 );
212 210
213 for my $count (3, 2, 1) { 211 for my $count (3, 2, 1) {
289 287
290This concludes the async example. Since L<AnyEvent::Fork> does not 288This concludes the async example. Since L<AnyEvent::Fork> does not
291actually fork, you are free to use about any module in the child, not just 289actually fork, you are free to use about any module in the child, not just
292L<AnyEvent>, but also L<IO::AIO>, or L<Tk> for example. 290L<AnyEvent>, but also L<IO::AIO>, or L<Tk> for example.
293 291
292=head2 Example 3: Asynchronous backend with Coro
293
294With L<Coro> you can create a nice asynchronous backend implementation by
295defining an rpc server function that creates a new Coro thread for every
296request that calls a function "normally", i.e. the parameters from the
297parent process are passed to it, and any return values are returned to the
298parent process, e.g.:
299
300 package My::Arith;
301
302 sub add {
303 return $_[0] + $_[1];
304 }
305
306 sub mul {
307 return $_[0] * $_[1];
308 }
309
310 sub run {
311 my ($done, $func, @arg) = @_;
312
313 Coro::async_pool {
314 $done->($func->(@arg));
315 };
316 }
317
318The C<run> function creates a new thread for every invocation, using the
319first argument as function name, and calls the C<$done> callback on it's
320return values. This makes it quite natural to define the C<add> and C<mul>
321functions to add or multiply two numbers and return the result.
322
323Since this is the asynchronous backend, it's quite possible to define RPC
324function that do I/O or wait for external events - their execution will
325overlap as needed.
326
327The above could be used like this:
328
329 my $rpc = AnyEvent::Fork
330 ->new
331 ->require ("MyWorker")
332 ->AnyEvent::Fork::RPC::run ("My::Arith::run",
333 on_error => ..., on_event => ..., on_destroy => ...,
334 );
335
336 $rpc->(add => 1, 3, Coro::rouse_cb); say Coro::rouse_wait;
337 $rpc->(mul => 3, 2, Coro::rouse_cb); say Coro::rouse_wait;
338
339The C<say>'s will print C<4> and C<6>.
340
341=head2 Example 4: Forward AnyEvent::Log messages using C<on_event>
342
343This partial example shows how to use the C<event> function to forward
344L<AnyEvent::Log> messages to the parent.
345
346For this, the parent needs to provide a suitable C<on_event>:
347
348 ->AnyEvent::Fork::RPC::run (
349 on_event => sub {
350 if ($_[0] eq "ae_log") {
351 my (undef, $level, $message) = @_;
352 AE::log $level, $message;
353 } else {
354 # other event types
355 }
356 },
357 )
358
359In the child, as early as possible, the following code should reconfigure
360L<AnyEvent::Log> to log via C<AnyEvent::Fork::RPC::event>:
361
362 $AnyEvent::Log::LOG->log_cb (sub {
363 my ($timestamp, $orig_ctx, $level, $message) = @{+shift};
364
365 if (defined &AnyEvent::Fork::RPC::event) {
366 AnyEvent::Fork::RPC::event (ae_log => $level, $message);
367 } else {
368 warn "[$$ before init] $message\n";
369 }
370 });
371
372There is an important twist - the C<AnyEvent::Fork::RPC::event> function
373is only defined when the child is fully initialised. If you redirect the
374log messages in your C<init> function for example, then the C<event>
375function might not yet be available. This is why the log callback checks
376whether the function is there using C<defined>, and only then uses it to
377log the message.
378
294=head1 PARENT PROCESS USAGE 379=head1 PARENT PROCESS USAGE
295 380
296This module exports nothing, and only implements a single function: 381This module exports nothing, and only implements a single function:
297 382
298=over 4 383=over 4
305 390
306use Errno (); 391use Errno ();
307use Guard (); 392use Guard ();
308 393
309use AnyEvent; 394use AnyEvent;
310# explicit version on next line, as some cpan-testers test with the 0.1 version,
311# ignoring dependencies, and this line will at least give a clear indication of that.
312use AnyEvent::Fork 0.6; # we don't actually depend on it, this is for convenience
313 395
314our $VERSION = 1.1; 396our $VERSION = '2.0';
315 397
316=item my $rpc = AnyEvent::Fork::RPC::run $fork, $function, [key => value...] 398=item my $rpc = AnyEvent::Fork::RPC::run $fork, $function, [key => value...]
317 399
318The traditional way to call it. But it is way cooler to call it in the 400The traditional way to call it. But it is way cooler to call it in the
319following way: 401following way:
339Called on (fatal) errors, with a descriptive (hopefully) message. If 421Called on (fatal) errors, with a descriptive (hopefully) message. If
340this callback is not provided, but C<on_event> is, then the C<on_event> 422this callback is not provided, but C<on_event> is, then the C<on_event>
341callback is called with the first argument being the string C<error>, 423callback is called with the first argument being the string C<error>,
342followed by the error message. 424followed by the error message.
343 425
344If neither handler is provided it prints the error to STDERR and will 426If neither handler is provided, then the error is reported with loglevel
345start failing badly. 427C<error> via C<AE::log>.
346 428
347=item on_event => $cb->(...) 429=item on_event => $cb->(...)
348 430
349Called for every call to the C<AnyEvent::Fork::RPC::event> function in the 431Called for every call to the C<AnyEvent::Fork::RPC::event> function in the
350child, with the arguments of that function passed to the callback. 432child, with the arguments of that function passed to the callback.
357been successfully handled. This is useful when you queue some requests and 439been successfully handled. This is useful when you queue some requests and
358want the child to go away after it has handled them. The problem is that 440want the child to go away after it has handled them. The problem is that
359the parent must not exit either until all requests have been handled, and 441the parent must not exit either until all requests have been handled, and
360this can be accomplished by waiting for this callback. 442this can be accomplished by waiting for this callback.
361 443
362=item init => $function (default none) 444=item init => $function (default: none)
363 445
364When specified (by name), this function is called in the child as the very 446When specified (by name), this function is called in the child as the very
365first thing when taking over the process, with all the arguments normally 447first thing when taking over the process, with all the arguments normally
366passed to the C<AnyEvent::Fork::run> function, except the communications 448passed to the C<AnyEvent::Fork::run> function, except the communications
367socket. 449socket.
372It is called very early - before the serialisers are created or the 454It is called very early - before the serialisers are created or the
373C<$function> name is resolved into a function reference, so it could be 455C<$function> name is resolved into a function reference, so it could be
374used to load any modules that provide the serialiser or function. It can 456used to load any modules that provide the serialiser or function. It can
375not, however, create events. 457not, however, create events.
376 458
459=item done => $function (default: C<CORE::exit>)
460
461The function to call when the asynchronous backend detects an end of file
462condition when reading from the communications socket I<and> there are no
463outstanding requests. It is ignored by the synchronous backend.
464
465By overriding this you can prolong the life of a RPC process after e.g.
466the parent has exited by running the event loop in the provided function
467(or simply calling it, for example, when your child process uses L<EV> you
468could provide L<EV::run> as C<done> function).
469
470Of course, in that case you are responsible for exiting at the appropriate
471time and not returning from
472
377=item async => $boolean (default: 0) 473=item async => $boolean (default: C<0>)
378 474
379The default server used in the child does all I/O blockingly, and only 475The default server used in the child does all I/O blockingly, and only
380allows a single RPC call to execute concurrently. 476allows a single RPC call to execute concurrently.
381 477
382Setting C<async> to a true value switches to another implementation that 478Setting C<async> to a true value switches to another implementation that
392synchronous, and C<AnyEvent::Fork::RPC::Async> for asynchronous mode. 488synchronous, and C<AnyEvent::Fork::RPC::Async> for asynchronous mode.
393 489
394If you use a template process and want to fork both sync and async 490If you use a template process and want to fork both sync and async
395children, then it is permissible to load both modules. 491children, then it is permissible to load both modules.
396 492
397=item serialiser => $string (default: $AnyEvent::Fork::RPC::STRING_SERIALISER) 493=item serialiser => $string (default: C<$AnyEvent::Fork::RPC::STRING_SERIALISER>)
398 494
399All arguments, result data and event data have to be serialised to be 495All arguments, result data and event data have to be serialised to be
400transferred between the processes. For this, they have to be frozen and 496transferred between the processes. For this, they have to be frozen and
401thawed in both parent and child processes. 497thawed in both parent and child processes.
402 498
403By default, only octet strings can be passed between the processes, which 499By default, only octet strings can be passed between the processes,
404is reasonably fast and efficient and requires no extra modules. 500which is reasonably fast and efficient and requires no extra modules
501(the C<AnyEvent::Fork::RPC> distribution does not provide these extra
502serialiser modules).
405 503
406For more complicated use cases, you can provide your own freeze and thaw 504For more complicated use cases, you can provide your own freeze and thaw
407functions, by specifying a string with perl source code. It's supposed to 505functions, by specifying a string with perl source code. It's supposed to
408return two code references when evaluated: the first receives a list of 506return two code references when evaluated: the first receives a list of
409perl values and must return an octet string. The second receives the octet 507perl values and must return an octet string. The second receives the octet
411 509
412If you need an external module for serialisation, then you can either 510If you need an external module for serialisation, then you can either
413pre-load it into your L<AnyEvent::Fork> process, or you can add a C<use> 511pre-load it into your L<AnyEvent::Fork> process, or you can add a C<use>
414or C<require> statement into the serialiser string. Or both. 512or C<require> statement into the serialiser string. Or both.
415 513
416Here are some examples - some of them are also available as global 514Here are some examples - all of them are also available as global
417variables that make them easier to use. 515variables that make them easier to use.
418 516
419=over 4 517=over 4
420 518
421=item octet strings - C<$AnyEvent::Fork::RPC::STRING_SERIALISER> 519=item C<$AnyEvent::Fork::RPC::STRING_SERIALISER> - octet strings only
422 520
423This serialiser concatenates length-prefixes octet strings, and is the 521This serialiser (currently the default) concatenates length-prefixes octet
424default. 522strings, and is the default. That means you can only pass (and return)
523strings containing character codes 0-255.
524
525The main advantages of this serialiser are the high speed and that it
526doesn't need another module. The main disadvantage is that you are very
527limited in what you can pass - only octet strings.
425 528
426Implementation: 529Implementation:
427 530
428 ( 531 (
429 sub { pack "(w/a*)*", @_ }, 532 sub { pack "(w/a*)*", @_ },
430 sub { unpack "(w/a*)*", shift } 533 sub { unpack "(w/a*)*", shift }
431 ) 534 )
432 535
433=item json - C<$AnyEvent::Fork::RPC::JSON_SERIALISER> 536=item C<$AnyEvent::Fork::RPC::CBOR_XS_SERIALISER> - uses L<CBOR::XS>
537
538This serialiser creates CBOR::XS arrays - you have to make sure the
539L<CBOR::XS> module is installed for this serialiser to work. It can be
540beneficial for sharing when you preload the L<CBOR::XS> module in a template
541process.
542
543L<CBOR::XS> is about as fast as the octet string serialiser, but supports
544complex data structures (similar to JSON) and is faster than any of the
545other serialisers. If you have the L<CBOR::XS> module available, it's the
546best choice.
547
548The encoder enables C<allow_sharing> (so this serialisation method can
549encode cyclic and self-referencing data structures).
550
551Implementation:
552
553 use CBOR::XS ();
554 (
555 sub { CBOR::XS::encode_cbor_sharing \@_ },
556 sub { @{ CBOR::XS::decode_cbor shift } }
557 )
558
559=item C<$AnyEvent::Fork::RPC::JSON_SERIALISER> - uses L<JSON::XS> or L<JSON>
434 560
435This serialiser creates JSON arrays - you have to make sure the L<JSON> 561This serialiser creates JSON arrays - you have to make sure the L<JSON>
436module is installed for this serialiser to work. It can be beneficial for 562module is installed for this serialiser to work. It can be beneficial for
437sharing when you preload the L<JSON> module in a template process. 563sharing when you preload the L<JSON> module in a template process.
438 564
446 ( 572 (
447 sub { JSON::encode_json \@_ }, 573 sub { JSON::encode_json \@_ },
448 sub { @{ JSON::decode_json shift } } 574 sub { @{ JSON::decode_json shift } }
449 ) 575 )
450 576
451=item storable - C<$AnyEvent::Fork::RPC::STORABLE_SERIALISER> 577=item C<$AnyEvent::Fork::RPC::STORABLE_SERIALISER> - L<Storable>
452 578
453This serialiser uses L<Storable>, which means it has high chance of 579This serialiser uses L<Storable>, which means it has high chance of
454serialising just about anything you throw at it, at the cost of having 580serialising just about anything you throw at it, at the cost of having
455very high overhead per operation. It also comes with perl. 581very high overhead per operation. It also comes with perl. It should be
582used when you need to serialise complex data structures.
456 583
457Implementation: 584Implementation:
458 585
459 use Storable (); 586 use Storable ();
460 ( 587 (
461 sub { Storable::freeze \@_ }, 588 sub { Storable::freeze \@_ },
462 sub { @{ Storable::thaw shift } } 589 sub { @{ Storable::thaw shift } }
463 ) 590 )
464 591
592=item C<$AnyEvent::Fork::RPC::NSTORABLE_SERIALISER> - portable Storable
593
594This serialiser also uses L<Storable>, but uses it's "network" format
595to serialise data, which makes it possible to talk to different
596perl binaries (for example, when talking to a process created with
597L<AnyEvent::Fork::Remote>).
598
599Implementation:
600
601 use Storable ();
602 (
603 sub { Storable::nfreeze \@_ },
604 sub { @{ Storable::thaw shift } }
605 )
606
465=back 607=back
608
609=item buflen => $bytes (default: C<512 - 16>)
610
611The starting size of the read buffer for request and response data.
612
613C<AnyEvent::Fork::RPC> ensures that the buffer for reeading request and
614response data is large enough for at leats aingle request or response, and
615will dynamically enlarge the buffer if needed.
616
617While this ensures that memory is not overly wasted, it typically leads
618to having to do one syscall per request, which can be inefficient in some
619cases. In such cases, it can be beneficient to increase the buffer size to
620hold more than one request.
621
622=item buflen_req => $bytes (default: same as C<buflen>)
623
624Overrides C<buflen> for request data (as read by the forked process).
625
626=item buflen_res => $bytes (default: same as C<buflen>)
627
628Overrides C<buflen> for response data (replies read by the parent process).
466 629
467=back 630=back
468 631
469See the examples section earlier in this document for some actual 632See the examples section earlier in this document for some actual
470examples. 633examples.
471 634
472=cut 635=cut
473 636
474our $STRING_SERIALISER = '(sub { pack "(w/a*)*", @_ }, sub { unpack "(w/a*)*", shift })'; 637our $STRING_SERIALISER = '(sub { pack "(w/a*)*", @_ }, sub { unpack "(w/a*)*", shift })';
638our $CBOR_XS_SERIALISER = 'use CBOR::XS (); (sub { CBOR::XS::encode_cbor_sharing \@_ }, sub { @{ CBOR::XS::decode_cbor shift } })';
475our $JSON_SERIALISER = 'use JSON (); (sub { JSON::encode_json \@_ }, sub { @{ JSON::decode_json shift } })'; 639our $JSON_SERIALISER = 'use JSON (); (sub { JSON::encode_json \@_ }, sub { @{ JSON::decode_json shift } })';
476our $STORABLE_SERIALISER = 'use Storable (); (sub { Storable::freeze \@_ }, sub { @{ Storable::thaw shift } })'; 640our $STORABLE_SERIALISER = 'use Storable (); (sub { Storable::freeze \@_ }, sub { @{ Storable::thaw shift } })';
641our $NSTORABLE_SERIALISER = 'use Storable (); (sub { Storable::nfreeze \@_ }, sub { @{ Storable::thaw shift } })';
477 642
478sub run { 643sub run {
479 my ($self, $function, %arg) = @_; 644 my ($self, $function, %arg) = @_;
480 645
481 my $serialiser = delete $arg{serialiser} || $STRING_SERIALISER; 646 my $serialiser = delete $arg{serialiser} || $STRING_SERIALISER;
484 my $on_destroy = delete $arg{on_destroy}; 649 my $on_destroy = delete $arg{on_destroy};
485 650
486 # default for on_error is to on_event, if specified 651 # default for on_error is to on_event, if specified
487 $on_error ||= $on_event 652 $on_error ||= $on_event
488 ? sub { $on_event->(error => shift) } 653 ? sub { $on_event->(error => shift) }
489 : sub { die "AnyEvent::Fork::RPC: uncaught error: $_[0].\n" }; 654 : sub { AE::log die => "AnyEvent::Fork::RPC: uncaught error: $_[0]." };
490 655
491 # default for on_event is to raise an error 656 # default for on_event is to raise an error
492 $on_event ||= sub { $on_error->("event received, but no on_event handler") }; 657 $on_event ||= sub { $on_error->("event received, but no on_event handler") };
493 658
494 my ($f, $t) = eval $serialiser; die $@ if $@; 659 my ($f, $t) = eval $serialiser; die $@ if $@;
495 660
496 my (@rcb, %rcb, $fh, $shutdown, $wbuf, $ww); 661 my (@rcb, %rcb, $fh, $shutdown, $wbuf, $ww);
497 my ($rlen, $rbuf, $rw) = 512 - 16; 662 my ($rlen, $rbuf, $rw) = $arg{buflen_res} || $arg{buflen} || 512 - 16;
498 663
499 my $wcb = sub { 664 my $wcb = sub {
500 my $len = syswrite $fh, $wbuf; 665 my $len = syswrite $fh, $wbuf;
501 666
502 unless (defined $len) { 667 unless (defined $len) {
514 } 679 }
515 }; 680 };
516 681
517 my $module = "AnyEvent::Fork::RPC::" . ($arg{async} ? "Async" : "Sync"); 682 my $module = "AnyEvent::Fork::RPC::" . ($arg{async} ? "Async" : "Sync");
518 683
519 $self->require ($module) 684 $self->eval ("use $module 2 ()")
520 ->send_arg ($function, $arg{init}, $serialiser) 685 ->send_arg (
686 function => $function,
687 init => $arg{init},
688 serialiser => $serialiser,
689 done => $arg{done} || "$module\::do_exit",
690 rlen => $arg{buflen_req} || $arg{buflen} || 512 - 16,
691 -10 # the above are 10 arguments
692 )
521 ->run ("$module\::run", sub { 693 ->run ("$module\::run", sub {
522 $fh = shift; 694 $fh = shift
695 or return $on_error->("connection failed");
523 696
524 my ($id, $len); 697 my ($id, $len);
525 $rw = AE::io $fh, 0, sub { 698 $rw = AE::io $fh, 0, sub {
526 $rlen = $rlen * 2 + 16 if $rlen - 128 < length $rbuf; 699 $rlen = $rlen * 2 + 16 if $rlen - 128 < length $rbuf;
527 $len = sysread $fh, $rbuf, $rlen - length $rbuf, length $rbuf; 700 $len = sysread $fh, $rbuf, $rlen - length $rbuf, length $rbuf;
628The following function is not available in this module. They are only 801The following function is not available in this module. They are only
629available in the namespace of this module when the child is running, 802available in the namespace of this module when the child is running,
630without having to load any extra modules. They are part of the child-side 803without having to load any extra modules. They are part of the child-side
631API of L<AnyEvent::Fork::RPC>. 804API of L<AnyEvent::Fork::RPC>.
632 805
806Note that these functions are typically not yet declared when code is
807compiled into the child, because the backend module is only loaded when
808you call C<run>, which is typically the last method you call on the fork
809object.
810
811Therefore, you either have to explicitly pre-load the right backend module
812or mark calls to these functions as function calls, e.g.:
813
814 AnyEvent::Fork::RPC::event (0 => "five");
815 AnyEvent::Fork::RPC::event->(0 => "five");
816 &AnyEvent::Fork::RPC::flush;
817
633=over 4 818=over 4
634 819
635=item AnyEvent::Fork::RPC::event ... 820=item AnyEvent::Fork::RPC::event (...)
636 821
637Send an event to the parent. Events are a bit like RPC calls made by the 822Send an event to the parent. Events are a bit like RPC calls made by the
638child process to the parent, except that there is no notion of return 823child process to the parent, except that there is no notion of return
639values. 824values.
640 825
641See the examples section earlier in this document for some actual 826See the examples section earlier in this document for some actual
642examples. 827examples.
828
829Note: the event data, like any data send to the parent, might not be sent
830immediatelly but queued for later sending, so there is no guarantee that
831the event has been sent to the parent when the call returns - when you
832e.g. exit directly after calling this function, the parent might never
833receive the event. See the next function for a remedy.
834
835=item $success = AnyEvent::Fork::RPC::flush ()
836
837Synchronously wait and flush the reply data to the parent. Returns true on
838success and false otherwise (i.e. when the reply data cannot be written at
839all). Ignoring the success status is a common and healthy behaviour.
840
841Only the "async" backend does something on C<flush> - the "sync" backend
842is not buffering reply data and always returns true from this function.
843
844Normally, reply data might or might not be written to the parent
845immediatelly but is buffered. This can greatly improve performance and
846efficiency, but sometimes can get in your way: for example. when you want
847to send an error message just before exiting, or when you want to ensure
848replies timely reach the parent before starting a long blocking operation.
849
850In these cases, you can call this function to flush any outstanding reply
851data to the parent. This is done blockingly, so no requests will be
852handled and no event callbacks will be called.
853
854For example, you could wrap your request function in a C<eval> block and
855report the exception string back to the caller just before exiting:
856
857 sub req {
858 ...
859
860 eval {
861 ...
862 };
863
864 if ($@) {
865 AnyEvent::RPC::event (throw => "$@");
866 AnyEvent::RPC::flush ();
867 exit;
868 }
869
870 ...
871 }
872
873=back
874
875=head2 PROCESS EXIT
876
877If and when the child process exits depends on the backend and
878configuration. Apart from explicit exits (e.g. by calling C<exit>) or
879runtime conditions (uncaught exceptions, signals etc.), the backends exit
880under these conditions:
881
882=over 4
883
884=item Synchronous Backend
885
886The synchronous backend is very simple: when the process waits for another
887request to arrive and the writing side (usually in the parent) is closed,
888it will exit normally, i.e. as if your main program reached the end of the
889file.
890
891That means that if your parent process exits, the RPC process will usually
892exit as well, either because it is idle anyway, or because it executes a
893request. In the latter case, you will likely get an error when the RPc
894process tries to send the results to the parent (because agruably, you
895shouldn't exit your parent while there are still outstanding requests).
896
897The process is usually quiescent when it happens, so it should rarely be a
898problem, and C<END> handlers can be used to clean up.
899
900=item Asynchronous Backend
901
902For the asynchronous backend, things are more complicated: Whenever it
903listens for another request by the parent, it might detect that the socket
904was closed (e.g. because the parent exited). It will sotp listening for
905new requests and instead try to write out any remaining data (if any) or
906simply check whether the socket can be written to. After this, the RPC
907process is effectively done - no new requests are incoming, no outstanding
908request data can be written back.
909
910Since chances are high that there are event watchers that the RPC server
911knows nothing about (why else would one use the async backend if not for
912the ability to register watchers?), the event loop would often happily
913continue.
914
915This is why the asynchronous backend explicitly calls C<CORE::exit> when
916it is done (under other circumstances, such as when there is an I/O error
917and there is outstanding data to write, it will log a fatal message via
918L<AnyEvent::Log>, also causing the program to exit).
919
920You can override this by specifying a function name to call via the C<done>
921parameter instead.
643 922
644=back 923=back
645 924
646=head1 ADVANCED TOPICS 925=head1 ADVANCED TOPICS
647 926
703are queued and the jobs are slow, they will all run concurrently. The 982are queued and the jobs are slow, they will all run concurrently. The
704child must implement some queueing/limiting mechanism if this causes 983child must implement some queueing/limiting mechanism if this causes
705problems. Alternatively, the parent could limit the amount of rpc calls 984problems. Alternatively, the parent could limit the amount of rpc calls
706that are outstanding. 985that are outstanding.
707 986
708Blocking use of condvars is not supported. 987Blocking use of condvars is not supported (in the main thread, outside of
988e.g. L<Coro> threads).
709 989
710Using event-based modules such as L<IO::AIO>, L<Gtk2>, L<Tk> and so on is 990Using event-based modules such as L<IO::AIO>, L<Gtk2>, L<Tk> and so on is
711easy. 991easy.
712 992
713=back 993=back
730half it has passed earlier. 1010half it has passed earlier.
731 1011
732Here is some (untested) pseudocode to that effect: 1012Here is some (untested) pseudocode to that effect:
733 1013
734 use AnyEvent::Util; 1014 use AnyEvent::Util;
1015 use AnyEvent::Fork;
735 use AnyEvent::Fork::RPC; 1016 use AnyEvent::Fork::RPC;
736 use IO::FDPass; 1017 use IO::FDPass;
737 1018
738 my ($s1, $s2) = AnyEvent::Util::portable_socketpair; 1019 my ($s1, $s2) = AnyEvent::Util::portable_socketpair;
739 1020
778gory details. 1059gory details.
779 1060
780=head1 EXCEPTIONS 1061=head1 EXCEPTIONS
781 1062
782There are no provisions whatsoever for catching exceptions at this time - 1063There are no provisions whatsoever for catching exceptions at this time -
783in the child, exeptions might kill the process, causing calls to be lost 1064in the child, exceptions might kill the process, causing calls to be lost
784and the parent encountering a fatal error. In the parent, exceptions in 1065and the parent encountering a fatal error. In the parent, exceptions in
785the result callback will not be caught and cause undefined behaviour. 1066the result callback will not be caught and cause undefined behaviour.
786 1067
787=head1 SEE ALSO 1068=head1 SEE ALSO
788 1069
789L<AnyEvent::Fork>, to create the processes in the first place. 1070L<AnyEvent::Fork>, to create the processes in the first place.
790 1071
1072L<AnyEvent::Fork::Remote>, likewise, but helpful for remote processes.
1073
791L<AnyEvent::Fork::Pool>, to manage whole pools of processes. 1074L<AnyEvent::Fork::Pool>, to manage whole pools of processes.
792 1075
793=head1 AUTHOR AND CONTACT INFORMATION 1076=head1 AUTHOR AND CONTACT INFORMATION
794 1077
795 Marc Lehmann <schmorp@schmorp.de> 1078 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines