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.80 by root, Fri Sep 4 22:30:29 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
618A common idiom is to pass a local port, immediately monitor the spawned 628A common idiom is to pass a local port, immediately monitor the spawned
619port, and in the remote init function, immediately monitor the passed 629port, and in the remote init function, immediately monitor the passed
620local port. This two-way monitoring ensures that both ports get cleaned up 630local port. This two-way monitoring ensures that both ports get cleaned up
621when there is a problem. 631when there is a problem.
622 632
633C<spawn> guarantees that the C<$initfunc> has no visible effects on the
634caller before C<spawn> returns (by delaying invocation when spawn is
635called for the local node).
636
623Example: spawn a chat server port on C<$othernode>. 637Example: spawn a chat server port on C<$othernode>.
624 638
625 # this node, executed from within a port context: 639 # this node, executed from within a port context:
626 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF; 640 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF;
627 mon $server; 641 mon $server;
707 721
708=item * Node IDs are arbitrary strings in AEMP. 722=item * Node IDs are arbitrary strings in AEMP.
709 723
710Erlang relies on special naming and DNS to work everywhere in the same 724Erlang 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 725way. AEMP relies on each node somehow knowing its own address(es) (e.g. by
712configuraiton or DNS), but will otherwise discover other odes itself. 726configuration or DNS), but will otherwise discover other odes itself.
713 727
714=item * Erlang has a "remote ports are like local ports" philosophy, AEMP 728=item * Erlang has a "remote ports are like local ports" philosophy, AEMP
715uses "local ports are like remote ports". 729uses "local ports are like remote ports".
716 730
717The failure modes for local ports are quite different (runtime errors 731The failure modes for local ports are quite different (runtime errors
730 744
731Erlang uses processes that selectively receive messages, and therefore 745Erlang uses processes that selectively receive messages, and therefore
732needs a queue. AEMP is event based, queuing messages would serve no 746needs a queue. AEMP is event based, queuing messages would serve no
733useful purpose. For the same reason the pattern-matching abilities of 747useful purpose. For the same reason the pattern-matching abilities of
734AnyEvent::MP are more limited, as there is little need to be able to 748AnyEvent::MP are more limited, as there is little need to be able to
735filter messages without dequeing them. 749filter messages without dequeuing them.
736 750
737(But see L<Coro::MP> for a more Erlang-like process model on top of AEMP). 751(But see L<Coro::MP> for a more Erlang-like process model on top of AEMP).
738 752
739=item * Erlang sends are synchronous, AEMP sends are asynchronous. 753=item * Erlang sends are synchronous, AEMP sends are asynchronous.
740 754

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines