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

Comparing AnyEvent-MP/MP.pm (file contents):
Revision 1.75 by root, Mon Aug 31 13:18:06 2009 UTC vs.
Revision 1.82 by root, Mon Sep 7 18:42:09 2009 UTC

39 39
40=head1 CURRENT STATUS 40=head1 CURRENT STATUS
41 41
42 bin/aemp - stable. 42 bin/aemp - stable.
43 AnyEvent::MP - stable API, should work. 43 AnyEvent::MP - stable API, should work.
44 AnyEvent::MP::Intro - uptodate, but incomplete. 44 AnyEvent::MP::Intro - explains most concepts.
45 AnyEvent::MP::Kernel - mostly stable. 45 AnyEvent::MP::Kernel - mostly stable.
46 AnyEvent::MP::Global - stable API, protocol not yet final. 46 AnyEvent::MP::Global - stable but incomplete, protocol not yet final.
47 47
48 stay tuned. 48stay tuned.
49 49
50=head1 DESCRIPTION 50=head1 DESCRIPTION
51 51
52This module (-family) implements a simple message passing framework. 52This module (-family) implements a simple message passing framework.
53 53
55on the same or other hosts, and you can supervise entities remotely. 55on the same or other hosts, and you can supervise entities remotely.
56 56
57For an introduction to this module family, see the L<AnyEvent::MP::Intro> 57For an introduction to this module family, see the L<AnyEvent::MP::Intro>
58manual page and the examples under F<eg/>. 58manual page and the examples under F<eg/>.
59 59
60At the moment, this module family is a bit underdocumented.
61
62=head1 CONCEPTS 60=head1 CONCEPTS
63 61
64=over 4 62=over 4
65 63
66=item port 64=item port
67 65
68A port is something you can send messages to (with the C<snd> function). 66Not to be confused with a TCP port, a "port" is something you can send
67messages to (with the C<snd> function).
69 68
70Ports allow you to register C<rcv> handlers that can match all or just 69Ports allow you to register C<rcv> handlers that can match all or just
71some messages. Messages send to ports will not be queued, regardless of 70some messages. Messages send to ports will not be queued, regardless of
72anything was listening for them or not. 71anything was listening for them or not.
73 72
160 159
161=item $nodeid = node_of $port 160=item $nodeid = node_of $port
162 161
163Extracts and returns the node ID from a port ID or a node ID. 162Extracts and returns the node ID from a port ID or a node ID.
164 163
164=item configure $profile, key => value...
165
165=item configure key => value... 166=item configure key => value...
166 167
167Before a node can talk to other nodes on the network (i.e. enter 168Before a node can talk to other nodes on the network (i.e. enter
168"distributed mode") it has to configure itself - the minimum a node needs 169"distributed mode") it has to configure itself - the minimum a node needs
169to know is its own name, and optionally it should know the addresses of 170to know is its own name, and optionally it should know the addresses of
176 177
177=item step 1, gathering configuration from profiles 178=item step 1, gathering configuration from profiles
178 179
179The function first looks up a profile in the aemp configuration (see the 180The function first looks up a profile in the aemp configuration (see the
180L<aemp> commandline utility). The profile name can be specified via the 181L<aemp> commandline utility). The profile name can be specified via the
181named C<profile> parameter. If it is missing, then the nodename (F<uname 182named C<profile> parameter or can simply be the first parameter). If it is
182-n>) will be used as profile name. 183missing, then the nodename (F<uname -n>) will be used as profile name.
183 184
184The profile data is then gathered as follows: 185The profile data is then gathered as follows:
185 186
186First, all remaining key => value pairs (all of which are conviniently 187First, all remaining key => value pairs (all of which are conveniently
187undocumented at the moment) will be interpreted as configuration 188undocumented at the moment) will be interpreted as configuration
188data. Then they will be overwritten by any values specified in the global 189data. Then they will be overwritten by any values specified in the global
189default configuration (see the F<aemp> utility), then the chain of 190default configuration (see the F<aemp> utility), then the chain of
190profiles chosen by the profile name (and any C<parent> attributes). 191profiles chosen by the profile name (and any C<parent> attributes).
191 192
474 475
475Monitor the given port and do something when the port is killed or 476Monitor the given port and do something when the port is killed or
476messages to it were lost, and optionally return a guard that can be used 477messages to it were lost, and optionally return a guard that can be used
477to stop monitoring again. 478to stop monitoring again.
478 479
480In the first form (callback), the callback is simply called with any
481number of C<@reason> elements (no @reason means that the port was deleted
482"normally"). Note also that I<< the callback B<must> never die >>, so use
483C<eval> if unsure.
484
485In the second form (another port given), the other port (C<$rcvport>)
486will be C<kil>'ed with C<@reason>, if a @reason was specified, i.e. on
487"normal" kils nothing happens, while under all other conditions, the other
488port is killed with the same reason.
489
490The third form (kill self) is the same as the second form, except that
491C<$rvport> defaults to C<$SELF>.
492
493In the last form (message), a message of the form C<@msg, @reason> will be
494C<snd>.
495
496Monitoring-actions are one-shot: once messages are lost (and a monitoring
497alert was raised), they are removed and will not trigger again.
498
499As a rule of thumb, monitoring requests should always monitor a port from
500a local port (or callback). The reason is that kill messages might get
501lost, just like any other message. Another less obvious reason is that
502even monitoring requests can get lost (for example, when the connection
503to the other node goes down permanently). When monitoring a port locally
504these problems do not exist.
505
479C<mon> effectively guarantees that, in the absence of hardware failures, 506C<mon> effectively guarantees that, in the absence of hardware failures,
480after starting the monitor, either all messages sent to the port will 507after starting the monitor, either all messages sent to the port will
481arrive, or the monitoring action will be invoked after possible message 508arrive, or the monitoring action will be invoked after possible message
482loss has been detected. No messages will be lost "in between" (after 509loss has been detected. No messages will be lost "in between" (after
483the first lost message no further messages will be received by the 510the first lost message no further messages will be received by the
484port). After the monitoring action was invoked, further messages might get 511port). After the monitoring action was invoked, further messages might get
485delivered again. 512delivered again.
486 513
487Note that monitoring-actions are one-shot: once messages are lost (and a 514Inter-host-connection timeouts and monitoring depend on the transport
488monitoring alert was raised), they are removed and will not trigger again. 515used. The only transport currently implemented is TCP, and AnyEvent::MP
516relies on TCP to detect node-downs (this can take 10-15 minutes on a
517non-idle connection, and usually around two hours for idle conenctions).
489 518
490In the first form (callback), the callback is simply called with any 519This means that monitoring is good for program errors and cleaning up
491number of C<@reason> elements (no @reason means that the port was deleted 520stuff eventually, but they are no replacement for a timeout when you need
492"normally"). Note also that I<< the callback B<must> never die >>, so use 521to ensure some maximum latency.
493C<eval> if unsure.
494
495In the second form (another port given), the other port (C<$rcvport>)
496will be C<kil>'ed with C<@reason>, iff a @reason was specified, i.e. on
497"normal" kils nothing happens, while under all other conditions, the other
498port is killed with the same reason.
499
500The third form (kill self) is the same as the second form, except that
501C<$rvport> defaults to C<$SELF>.
502
503In the last form (message), a message of the form C<@msg, @reason> will be
504C<snd>.
505
506As a rule of thumb, monitoring requests should always monitor a port from
507a local port (or callback). The reason is that kill messages might get
508lost, just like any other message. Another less obvious reason is that
509even monitoring requests can get lost (for exmaple, when the connection
510to the other node goes down permanently). When monitoring a port locally
511these problems do not exist.
512 522
513Example: call a given callback when C<$port> is killed. 523Example: call a given callback when C<$port> is killed.
514 524
515 mon $port, sub { warn "port died because of <@_>\n" }; 525 mon $port, sub { warn "port died because of <@_>\n" };
516 526
611the package, then the package above the package and so on (e.g. 621the package, then the package above the package and so on (e.g.
612C<MyApp::Chat::Server>, C<MyApp::Chat>, C<MyApp>) until the function 622C<MyApp::Chat::Server>, C<MyApp::Chat>, C<MyApp>) until the function
613exists or it runs out of package names. 623exists or it runs out of package names.
614 624
615The init function is then called with the newly-created port as context 625The init function is then called with the newly-created port as context
616object (C<$SELF>) and the C<@initdata> values as arguments. 626object (C<$SELF>) and the C<@initdata> values as arguments. It I<must>
627call one of the C<rcv> functions to set callbacks on C<$SELF>, otherwise
628the port might not get created.
617 629
618A common idiom is to pass a local port, immediately monitor the spawned 630A common idiom is to pass a local port, immediately monitor the spawned
619port, and in the remote init function, immediately monitor the passed 631port, and in the remote init function, immediately monitor the passed
620local port. This two-way monitoring ensures that both ports get cleaned up 632local port. This two-way monitoring ensures that both ports get cleaned up
621when there is a problem. 633when there is a problem.
622 634
635C<spawn> guarantees that the C<$initfunc> has no visible effects on the
636caller before C<spawn> returns (by delaying invocation when spawn is
637called for the local node).
638
623Example: spawn a chat server port on C<$othernode>. 639Example: spawn a chat server port on C<$othernode>.
624 640
625 # this node, executed from within a port context: 641 # this node, executed from within a port context:
626 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF; 642 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF;
627 mon $server; 643 mon $server;
641 657
642sub _spawn { 658sub _spawn {
643 my $port = shift; 659 my $port = shift;
644 my $init = shift; 660 my $init = shift;
645 661
662 # rcv will create the actual port
646 local $SELF = "$NODE#$port"; 663 local $SELF = "$NODE#$port";
647 eval { 664 eval {
648 &{ load_func $init } 665 &{ load_func $init }
649 }; 666 };
650 _self_die if $@; 667 _self_die if $@;
707 724
708=item * Node IDs are arbitrary strings in AEMP. 725=item * Node IDs are arbitrary strings in AEMP.
709 726
710Erlang relies on special naming and DNS to work everywhere in the same 727Erlang relies on special naming and DNS to work everywhere in the same
711way. AEMP relies on each node somehow knowing its own address(es) (e.g. by 728way. AEMP relies on each node somehow knowing its own address(es) (e.g. by
712configuraiton or DNS), but will otherwise discover other odes itself. 729configuration or DNS), but will otherwise discover other odes itself.
713 730
714=item * Erlang has a "remote ports are like local ports" philosophy, AEMP 731=item * Erlang has a "remote ports are like local ports" philosophy, AEMP
715uses "local ports are like remote ports". 732uses "local ports are like remote ports".
716 733
717The failure modes for local ports are quite different (runtime errors 734The failure modes for local ports are quite different (runtime errors
730 747
731Erlang uses processes that selectively receive messages, and therefore 748Erlang uses processes that selectively receive messages, and therefore
732needs a queue. AEMP is event based, queuing messages would serve no 749needs a queue. AEMP is event based, queuing messages would serve no
733useful purpose. For the same reason the pattern-matching abilities of 750useful purpose. For the same reason the pattern-matching abilities of
734AnyEvent::MP are more limited, as there is little need to be able to 751AnyEvent::MP are more limited, as there is little need to be able to
735filter messages without dequeing them. 752filter messages without dequeuing them.
736 753
737(But see L<Coro::MP> for a more Erlang-like process model on top of AEMP). 754(But see L<Coro::MP> for a more Erlang-like process model on top of AEMP).
738 755
739=item * Erlang sends are synchronous, AEMP sends are asynchronous. 756=item * Erlang sends are synchronous, AEMP sends are asynchronous.
740 757
846L<AnyEvent::MP::Kernel> - more, lower-level, stuff. 863L<AnyEvent::MP::Kernel> - more, lower-level, stuff.
847 864
848L<AnyEvent::MP::Global> - network maintainance and port groups, to find 865L<AnyEvent::MP::Global> - network maintainance and port groups, to find
849your applications. 866your applications.
850 867
868L<AnyEvent::MP::LogCatcher> - simple service to display log messages from
869all nodes.
870
851L<AnyEvent>. 871L<AnyEvent>.
852 872
853=head1 AUTHOR 873=head1 AUTHOR
854 874
855 Marc Lehmann <schmorp@schmorp.de> 875 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines