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.29 by root, Sun Aug 25 21:52:15 2013 UTC vs.
Revision 1.45 by root, Thu Sep 12 15:15:49 2019 UTC

175you really I<are> done. 175you really I<are> done.
176 176
177=head2 Example 2: Asynchronous Backend 177=head2 Example 2: Asynchronous Backend
178 178
179This example implements multiple count-downs in the child, using 179This example implements multiple count-downs in the child, using
180L<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
181parent 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
182child 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
183requests. 183requests.
184 184
185It 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__>
336 $rpc->(add => 1, 3, Coro::rouse_cb); say Coro::rouse_wait; 336 $rpc->(add => 1, 3, Coro::rouse_cb); say Coro::rouse_wait;
337 $rpc->(mul => 3, 2, Coro::rouse_cb); say Coro::rouse_wait; 337 $rpc->(mul => 3, 2, Coro::rouse_cb); say Coro::rouse_wait;
338 338
339The C<say>'s will print C<4> and C<6>. 339The C<say>'s will print C<4> and C<6>.
340 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
341=head1 PARENT PROCESS USAGE 379=head1 PARENT PROCESS USAGE
342 380
343This module exports nothing, and only implements a single function: 381This module exports nothing, and only implements a single function:
344 382
345=over 4 383=over 4
353use Errno (); 391use Errno ();
354use Guard (); 392use Guard ();
355 393
356use AnyEvent; 394use AnyEvent;
357 395
358our $VERSION = 1.1; 396our $VERSION = 1.25;
359 397
360=item my $rpc = AnyEvent::Fork::RPC::run $fork, $function, [key => value...] 398=item my $rpc = AnyEvent::Fork::RPC::run $fork, $function, [key => value...]
361 399
362The 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
363following way: 401following way:
401been successfully handled. This is useful when you queue some requests and 439been successfully handled. This is useful when you queue some requests and
402want 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
403the 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
404this can be accomplished by waiting for this callback. 442this can be accomplished by waiting for this callback.
405 443
406=item init => $function (default none) 444=item init => $function (default: none)
407 445
408When 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
409first thing when taking over the process, with all the arguments normally 447first thing when taking over the process, with all the arguments normally
410passed to the C<AnyEvent::Fork::run> function, except the communications 448passed to the C<AnyEvent::Fork::run> function, except the communications
411socket. 449socket.
416It is called very early - before the serialisers are created or the 454It is called very early - before the serialisers are created or the
417C<$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
418used 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
419not, however, create events. 457not, however, create events.
420 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's 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
421=item async => $boolean (default: 0) 473=item async => $boolean (default: C<0>)
422 474
423The 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
424allows a single RPC call to execute concurrently. 476allows a single RPC call to execute concurrently.
425 477
426Setting C<async> to a true value switches to another implementation that 478Setting C<async> to a true value switches to another implementation that
436synchronous, and C<AnyEvent::Fork::RPC::Async> for asynchronous mode. 488synchronous, and C<AnyEvent::Fork::RPC::Async> for asynchronous mode.
437 489
438If 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
439children, then it is permissible to load both modules. 491children, then it is permissible to load both modules.
440 492
441=item serialiser => $string (default: $AnyEvent::Fork::RPC::STRING_SERIALISER) 493=item serialiser => $string (default: C<$AnyEvent::Fork::RPC::STRING_SERIALISER>)
442 494
443All 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
444transferred between the processes. For this, they have to be frozen and 496transferred between the processes. For this, they have to be frozen and
445thawed in both parent and child processes. 497thawed in both parent and child processes.
446 498
447By default, only octet strings can be passed between the processes, which 499By default, only octet strings can be passed between the processes,
448is 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).
449 503
450For 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
451functions, 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
452return two code references when evaluated: the first receives a list of 506return two code references when evaluated: the first receives a list of
453perl 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
455 509
456If you need an external module for serialisation, then you can either 510If you need an external module for serialisation, then you can either
457pre-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>
458or C<require> statement into the serialiser string. Or both. 512or C<require> statement into the serialiser string. Or both.
459 513
460Here are some examples - some of them are also available as global 514Here are some examples - all of them are also available as global
461variables that make them easier to use. 515variables that make them easier to use.
462 516
463=over 4 517=over 4
464 518
465=item octet strings - C<$AnyEvent::Fork::RPC::STRING_SERIALISER> 519=item C<$AnyEvent::Fork::RPC::STRING_SERIALISER> - octet strings only
466 520
467This serialiser concatenates length-prefixes octet strings, and is the 521This serialiser (currently the default) concatenates length-prefixes octet
468default. That means you can only pass (and return) strings containing 522strings, and is the default. That means you can only pass (and return)
469character codes 0-255. 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.
470 528
471Implementation: 529Implementation:
472 530
473 ( 531 (
474 sub { pack "(w/a*)*", @_ }, 532 sub { pack "(w/a*)*", @_ },
475 sub { unpack "(w/a*)*", shift } 533 sub { unpack "(w/a*)*", shift }
476 ) 534 )
477 535
478=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>
479 560
480This 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>
481module 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
482sharing when you preload the L<JSON> module in a template process. 563sharing when you preload the L<JSON> module in a template process.
483 564
491 ( 572 (
492 sub { JSON::encode_json \@_ }, 573 sub { JSON::encode_json \@_ },
493 sub { @{ JSON::decode_json shift } } 574 sub { @{ JSON::decode_json shift } }
494 ) 575 )
495 576
496=item storable - C<$AnyEvent::Fork::RPC::STORABLE_SERIALISER> 577=item C<$AnyEvent::Fork::RPC::STORABLE_SERIALISER> - L<Storable>
497 578
498This serialiser uses L<Storable>, which means it has high chance of 579This serialiser uses L<Storable>, which means it has high chance of
499serialising 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
500very high overhead per operation. It also comes with perl. It should be 581very high overhead per operation. It also comes with perl. It should be
501used when you need to serialise complex data structures. 582used when you need to serialise complex data structures.
506 ( 587 (
507 sub { Storable::freeze \@_ }, 588 sub { Storable::freeze \@_ },
508 sub { @{ Storable::thaw shift } } 589 sub { @{ Storable::thaw shift } }
509 ) 590 )
510 591
511=item portable storable - C<$AnyEvent::Fork::RPC::NSTORABLE_SERIALISER> 592=item C<$AnyEvent::Fork::RPC::NSTORABLE_SERIALISER> - portable Storable
512 593
513This serialiser also uses L<Storable>, but uses it's "network" format 594This serialiser also uses L<Storable>, but uses it's "network" format
514to serialise data, which makes it possible to talk to different 595to serialise data, which makes it possible to talk to different
515perl binaries (for example, when talking to a process created with 596perl binaries (for example, when talking to a process created with
516L<AnyEvent::Fork::Remote>). 597L<AnyEvent::Fork::Remote>).
523 sub { @{ Storable::thaw shift } } 604 sub { @{ Storable::thaw shift } }
524 ) 605 )
525 606
526=back 607=back
527 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).
629
528=back 630=back
529 631
530See the examples section earlier in this document for some actual 632See the examples section earlier in this document for some actual
531examples. 633examples.
532 634
533=cut 635=cut
534 636
535our $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 } })';
536our $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 } })';
537our $STORABLE_SERIALISER = 'use Storable (); (sub { Storable::freeze \@_ }, sub { @{ Storable::thaw shift } })'; 640our $STORABLE_SERIALISER = 'use Storable (); (sub { Storable::freeze \@_ }, sub { @{ Storable::thaw shift } })';
538our $NSTORABLE_SERIALISER = 'use Storable (); (sub { Storable::nfreeze \@_ }, sub { @{ Storable::thaw shift } })'; 641our $NSTORABLE_SERIALISER = 'use Storable (); (sub { Storable::nfreeze \@_ }, sub { @{ Storable::thaw shift } })';
539 642
540sub run { 643sub run {
541 my ($self, $function, %arg) = @_; 644 my ($self, $function, %arg) = @_;
554 $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") };
555 658
556 my ($f, $t) = eval $serialiser; die $@ if $@; 659 my ($f, $t) = eval $serialiser; die $@ if $@;
557 660
558 my (@rcb, %rcb, $fh, $shutdown, $wbuf, $ww); 661 my (@rcb, %rcb, $fh, $shutdown, $wbuf, $ww);
559 my ($rlen, $rbuf, $rw) = 512 - 16; 662 my ($rlen, $rbuf, $rw) = $arg{buflen_res} || $arg{buflen} || 512 - 16;
560 663
561 my $wcb = sub { 664 my $wcb = sub {
562 my $len = syswrite $fh, $wbuf; 665 my $len = syswrite $fh, $wbuf;
563 666
564 unless (defined $len) { 667 unless (defined $len) {
576 } 679 }
577 }; 680 };
578 681
579 my $module = "AnyEvent::Fork::RPC::" . ($arg{async} ? "Async" : "Sync"); 682 my $module = "AnyEvent::Fork::RPC::" . ($arg{async} ? "Async" : "Sync");
580 683
581 $self->require ($module) 684 $self->eval ("use $module 2 ()")
582 ->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 )
583 ->run ("$module\::run", sub { 693 ->run ("$module\::run", sub {
584 $fh = shift; 694 $fh = shift
695 or return $on_error->("connection failed");
585 696
586 my ($id, $len); 697 my ($id, $len);
587 $rw = AE::io $fh, 0, sub { 698 $rw = AE::io $fh, 0, sub {
588 $rlen = $rlen * 2 + 16 if $rlen - 128 < length $rbuf; 699 $rlen = $rlen * 2 + 16 if $rlen - 128 < length $rbuf;
589 $len = sysread $fh, $rbuf, $rlen - length $rbuf, length $rbuf; 700 $len = sysread $fh, $rbuf, $rlen - length $rbuf, length $rbuf;
701values. 812values.
702 813
703See the examples section earlier in this document for some actual 814See the examples section earlier in this document for some actual
704examples. 815examples.
705 816
817Note: the event data, like any data send to the parent, might not be sent
818immediatelly but queued for later sending, so there is no guarantee that
819the event has been sent to the parent when the call returns - when you
820e.g. exit directly after calling this function, the parent might never
821receive the event.
822
823=back
824
825=head2 PROCESS EXIT
826
827If and when the child process exits depends on the backend and
828configuration. Apart from explicit exits (e.g. by calling C<exit>) or
829runtime conditions (uncaught exceptions, signals etc.), the backends exit
830under these conditions:
831
832=over 4
833
834=item Synchronous Backend
835
836The synchronous backend is very simple: when the process waits for another
837request to arrive and the writing side (usually in the parent) is closed,
838it will exit normally, i.e. as if your main program reached the end of the
839file.
840
841That means that if your parent process exits, the RPC process will usually
842exit as well, either because it is idle anyway, or because it executes a
843request. In the latter case, you will likely get an error when the RPc
844process tries to send the results to the parent (because agruably, you
845shouldn't exit your parent while there are still outstanding requests).
846
847The process is usually quiescent when it happens, so it should rarely be a
848problem, and C<END> handlers can be used to clean up.
849
850=item Asynchronous Backend
851
852For the asynchronous backend, things are more complicated: Whenever it
853listens for another request by the parent, it might detect that the socket
854was closed (e.g. because the parent exited). It will sotp listening for
855new requests and instead try to write out any remaining data (if any) or
856simply check whether the socket can be written to. After this, the RPC
857process is effectively done - no new requests are incoming, no outstanding
858request data can be written back.
859
860Since chances are high that there are event watchers that the RPC server
861knows nothing about (why else would one use the async backend if not for
862the ability to register watchers?), the event loop would often happily
863continue.
864
865This is why the asynchronous backend explicitly calls C<CORE::exit> when
866it is done (under other circumstances, such as when there is an I/O error
867and there is outstanding data to write, it will log a fatal message via
868L<AnyEvent::Log>, also causing the program to exit).
869
870You can override this by specifying a function name to call via the C<done>
871parameter instead.
872
706=back 873=back
707 874
708=head1 ADVANCED TOPICS 875=head1 ADVANCED TOPICS
709 876
710=head2 Choosing a backend 877=head2 Choosing a backend
765are queued and the jobs are slow, they will all run concurrently. The 932are queued and the jobs are slow, they will all run concurrently. The
766child must implement some queueing/limiting mechanism if this causes 933child must implement some queueing/limiting mechanism if this causes
767problems. Alternatively, the parent could limit the amount of rpc calls 934problems. Alternatively, the parent could limit the amount of rpc calls
768that are outstanding. 935that are outstanding.
769 936
770Blocking use of condvars is not supported. 937Blocking use of condvars is not supported (in the main thread, outside of
938e.g. L<Coro> threads).
771 939
772Using event-based modules such as L<IO::AIO>, L<Gtk2>, L<Tk> and so on is 940Using event-based modules such as L<IO::AIO>, L<Gtk2>, L<Tk> and so on is
773easy. 941easy.
774 942
775=back 943=back
841gory details. 1009gory details.
842 1010
843=head1 EXCEPTIONS 1011=head1 EXCEPTIONS
844 1012
845There are no provisions whatsoever for catching exceptions at this time - 1013There are no provisions whatsoever for catching exceptions at this time -
846in the child, exeptions might kill the process, causing calls to be lost 1014in the child, exceptions might kill the process, causing calls to be lost
847and the parent encountering a fatal error. In the parent, exceptions in 1015and the parent encountering a fatal error. In the parent, exceptions in
848the result callback will not be caught and cause undefined behaviour. 1016the result callback will not be caught and cause undefined behaviour.
849 1017
850=head1 SEE ALSO 1018=head1 SEE ALSO
851 1019

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines