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.76 by root, Mon Aug 31 18:45:05 2009 UTC vs.
Revision 1.86 by root, Wed Sep 9 01:47:01 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 - epxlains most concepts. 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
61 61
62=over 4 62=over 4
63 63
64=item port 64=item port
65 65
66A 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).
67 68
68Ports 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
69some messages. Messages send to ports will not be queued, regardless of 70some messages. Messages send to ports will not be queued, regardless of
70anything was listening for them or not. 71anything was listening for them or not.
71 72
82 83
83Nodes are either public (have one or more listening ports) or private 84Nodes are either public (have one or more listening ports) or private
84(no listening ports). Private nodes cannot talk to other private nodes 85(no listening ports). Private nodes cannot talk to other private nodes
85currently. 86currently.
86 87
87=item node ID - C<[a-za-Z0-9_\-.:]+> 88=item node ID - C<[A-Z_][a-zA-Z0-9_\-.:]*>
88 89
89A node ID is a string that uniquely identifies the node within a 90A node ID is a string that uniquely identifies the node within a
90network. Depending on the configuration used, node IDs can look like a 91network. Depending on the configuration used, node IDs can look like a
91hostname, a hostname and a port, or a random string. AnyEvent::MP itself 92hostname, a hostname and a port, or a random string. AnyEvent::MP itself
92doesn't interpret node IDs in any way. 93doesn't interpret node IDs in any way.
96Nodes can only talk to each other by creating some kind of connection to 97Nodes can only talk to each other by creating some kind of connection to
97each other. To do this, nodes should listen on one or more local transport 98each other. To do this, nodes should listen on one or more local transport
98endpoints - binds. Currently, only standard C<ip:port> specifications can 99endpoints - binds. Currently, only standard C<ip:port> specifications can
99be used, which specify TCP ports to listen on. 100be used, which specify TCP ports to listen on.
100 101
101=item seeds - C<host:port> 102=item seed nodes
102 103
103When a node starts, it knows nothing about the network. To teach the node 104When a node starts, it knows nothing about the network. To teach the node
104about the network it first has to contact some other node within the 105about the network it first has to contact some other node within the
105network. This node is called a seed. 106network. This node is called a seed.
106 107
107Seeds are transport endpoint(s) of as many nodes as one wants. Those nodes 108Apart from the fact that other nodes know them as seed nodes and they have
109to have fixed listening addresses, seed nodes are perfectly normal nodes -
110any node can function as a seed node for others.
111
112In addition to discovering the network, seed nodes are also used to
113maintain the network and to connect nodes that otherwise would have
114trouble connecting. They form the backbone of an AnyEvent::MP network.
115
108are expected to be long-running, and at least one of those should always 116Seed nodes are expected to be long-running, and at least one seed node
109be available. When nodes run out of connections (e.g. due to a network 117should always be available. They should also be relatively responsive - a
110error), they try to re-establish connections to some seednodes again to 118seed node that blocks for long periods will slow down everybody else.
111join the network.
112 119
113Apart from being sued for seeding, seednodes are not special in any way - 120=item seeds - C<host:port>
114every public node can be a seednode. 121
122Seeds are transport endpoint(s) (usually a hostname/IP address and a
123TCP port) of nodes thta should be used as seed nodes.
124
125The nodes listening on those endpoints are expected to be long-running,
126and at least one of those should always be available. When nodes run out
127of connections (e.g. due to a network error), they try to re-establish
128connections to some seednodes again to join the network.
115 129
116=back 130=back
117 131
118=head1 VARIABLES/FUNCTIONS 132=head1 VARIABLES/FUNCTIONS
119 133
158 172
159=item $nodeid = node_of $port 173=item $nodeid = node_of $port
160 174
161Extracts and returns the node ID from a port ID or a node ID. 175Extracts and returns the node ID from a port ID or a node ID.
162 176
177=item configure $profile, key => value...
178
163=item configure key => value... 179=item configure key => value...
164 180
165Before a node can talk to other nodes on the network (i.e. enter 181Before a node can talk to other nodes on the network (i.e. enter
166"distributed mode") it has to configure itself - the minimum a node needs 182"distributed mode") it has to configure itself - the minimum a node needs
167to know is its own name, and optionally it should know the addresses of 183to know is its own name, and optionally it should know the addresses of
174 190
175=item step 1, gathering configuration from profiles 191=item step 1, gathering configuration from profiles
176 192
177The function first looks up a profile in the aemp configuration (see the 193The function first looks up a profile in the aemp configuration (see the
178L<aemp> commandline utility). The profile name can be specified via the 194L<aemp> commandline utility). The profile name can be specified via the
179named C<profile> parameter. If it is missing, then the nodename (F<uname 195named C<profile> parameter or can simply be the first parameter). If it is
180-n>) will be used as profile name. 196missing, then the nodename (F<uname -n>) will be used as profile name.
181 197
182The profile data is then gathered as follows: 198The profile data is then gathered as follows:
183 199
184First, all remaining key => value pairs (all of which are conviniently 200First, all remaining key => value pairs (all of which are conveniently
185undocumented at the moment) will be interpreted as configuration 201undocumented at the moment) will be interpreted as configuration
186data. Then they will be overwritten by any values specified in the global 202data. Then they will be overwritten by any values specified in the global
187default configuration (see the F<aemp> utility), then the chain of 203default configuration (see the F<aemp> utility), then the chain of
188profiles chosen by the profile name (and any C<parent> attributes). 204profiles chosen by the profile name (and any C<parent> attributes).
189 205
472 488
473Monitor the given port and do something when the port is killed or 489Monitor the given port and do something when the port is killed or
474messages to it were lost, and optionally return a guard that can be used 490messages to it were lost, and optionally return a guard that can be used
475to stop monitoring again. 491to stop monitoring again.
476 492
493In the first form (callback), the callback is simply called with any
494number of C<@reason> elements (no @reason means that the port was deleted
495"normally"). Note also that I<< the callback B<must> never die >>, so use
496C<eval> if unsure.
497
498In the second form (another port given), the other port (C<$rcvport>)
499will be C<kil>'ed with C<@reason>, if a @reason was specified, i.e. on
500"normal" kils nothing happens, while under all other conditions, the other
501port is killed with the same reason.
502
503The third form (kill self) is the same as the second form, except that
504C<$rvport> defaults to C<$SELF>.
505
506In the last form (message), a message of the form C<@msg, @reason> will be
507C<snd>.
508
509Monitoring-actions are one-shot: once messages are lost (and a monitoring
510alert was raised), they are removed and will not trigger again.
511
512As a rule of thumb, monitoring requests should always monitor a port from
513a local port (or callback). The reason is that kill messages might get
514lost, just like any other message. Another less obvious reason is that
515even monitoring requests can get lost (for example, when the connection
516to the other node goes down permanently). When monitoring a port locally
517these problems do not exist.
518
477C<mon> effectively guarantees that, in the absence of hardware failures, 519C<mon> effectively guarantees that, in the absence of hardware failures,
478after starting the monitor, either all messages sent to the port will 520after starting the monitor, either all messages sent to the port will
479arrive, or the monitoring action will be invoked after possible message 521arrive, or the monitoring action will be invoked after possible message
480loss has been detected. No messages will be lost "in between" (after 522loss has been detected. No messages will be lost "in between" (after
481the first lost message no further messages will be received by the 523the first lost message no further messages will be received by the
482port). After the monitoring action was invoked, further messages might get 524port). After the monitoring action was invoked, further messages might get
483delivered again. 525delivered again.
484 526
485Note that monitoring-actions are one-shot: once messages are lost (and a 527Inter-host-connection timeouts and monitoring depend on the transport
486monitoring alert was raised), they are removed and will not trigger again. 528used. The only transport currently implemented is TCP, and AnyEvent::MP
529relies on TCP to detect node-downs (this can take 10-15 minutes on a
530non-idle connection, and usually around two hours for idle conenctions).
487 531
488In the first form (callback), the callback is simply called with any 532This means that monitoring is good for program errors and cleaning up
489number of C<@reason> elements (no @reason means that the port was deleted 533stuff eventually, but they are no replacement for a timeout when you need
490"normally"). Note also that I<< the callback B<must> never die >>, so use 534to ensure some maximum latency.
491C<eval> if unsure.
492
493In the second form (another port given), the other port (C<$rcvport>)
494will be C<kil>'ed with C<@reason>, iff a @reason was specified, i.e. on
495"normal" kils nothing happens, while under all other conditions, the other
496port is killed with the same reason.
497
498The third form (kill self) is the same as the second form, except that
499C<$rvport> defaults to C<$SELF>.
500
501In the last form (message), a message of the form C<@msg, @reason> will be
502C<snd>.
503
504As a rule of thumb, monitoring requests should always monitor a port from
505a local port (or callback). The reason is that kill messages might get
506lost, just like any other message. Another less obvious reason is that
507even monitoring requests can get lost (for exmaple, when the connection
508to the other node goes down permanently). When monitoring a port locally
509these problems do not exist.
510 535
511Example: call a given callback when C<$port> is killed. 536Example: call a given callback when C<$port> is killed.
512 537
513 mon $port, sub { warn "port died because of <@_>\n" }; 538 mon $port, sub { warn "port died because of <@_>\n" };
514 539
609the package, then the package above the package and so on (e.g. 634the package, then the package above the package and so on (e.g.
610C<MyApp::Chat::Server>, C<MyApp::Chat>, C<MyApp>) until the function 635C<MyApp::Chat::Server>, C<MyApp::Chat>, C<MyApp>) until the function
611exists or it runs out of package names. 636exists or it runs out of package names.
612 637
613The init function is then called with the newly-created port as context 638The init function is then called with the newly-created port as context
614object (C<$SELF>) and the C<@initdata> values as arguments. 639object (C<$SELF>) and the C<@initdata> values as arguments. It I<must>
640call one of the C<rcv> functions to set callbacks on C<$SELF>, otherwise
641the port might not get created.
615 642
616A common idiom is to pass a local port, immediately monitor the spawned 643A common idiom is to pass a local port, immediately monitor the spawned
617port, and in the remote init function, immediately monitor the passed 644port, and in the remote init function, immediately monitor the passed
618local port. This two-way monitoring ensures that both ports get cleaned up 645local port. This two-way monitoring ensures that both ports get cleaned up
619when there is a problem. 646when there is a problem.
620 647
648C<spawn> guarantees that the C<$initfunc> has no visible effects on the
649caller before C<spawn> returns (by delaying invocation when spawn is
650called for the local node).
651
621Example: spawn a chat server port on C<$othernode>. 652Example: spawn a chat server port on C<$othernode>.
622 653
623 # this node, executed from within a port context: 654 # this node, executed from within a port context:
624 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF; 655 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF;
625 mon $server; 656 mon $server;
639 670
640sub _spawn { 671sub _spawn {
641 my $port = shift; 672 my $port = shift;
642 my $init = shift; 673 my $init = shift;
643 674
675 # rcv will create the actual port
644 local $SELF = "$NODE#$port"; 676 local $SELF = "$NODE#$port";
645 eval { 677 eval {
646 &{ load_func $init } 678 &{ load_func $init }
647 }; 679 };
648 _self_die if $@; 680 _self_die if $@;
705 737
706=item * Node IDs are arbitrary strings in AEMP. 738=item * Node IDs are arbitrary strings in AEMP.
707 739
708Erlang relies on special naming and DNS to work everywhere in the same 740Erlang relies on special naming and DNS to work everywhere in the same
709way. AEMP relies on each node somehow knowing its own address(es) (e.g. by 741way. AEMP relies on each node somehow knowing its own address(es) (e.g. by
710configuraiton or DNS), but will otherwise discover other odes itself. 742configuration or DNS), but will otherwise discover other odes itself.
711 743
712=item * Erlang has a "remote ports are like local ports" philosophy, AEMP 744=item * Erlang has a "remote ports are like local ports" philosophy, AEMP
713uses "local ports are like remote ports". 745uses "local ports are like remote ports".
714 746
715The failure modes for local ports are quite different (runtime errors 747The failure modes for local ports are quite different (runtime errors
728 760
729Erlang uses processes that selectively receive messages, and therefore 761Erlang uses processes that selectively receive messages, and therefore
730needs a queue. AEMP is event based, queuing messages would serve no 762needs a queue. AEMP is event based, queuing messages would serve no
731useful purpose. For the same reason the pattern-matching abilities of 763useful purpose. For the same reason the pattern-matching abilities of
732AnyEvent::MP are more limited, as there is little need to be able to 764AnyEvent::MP are more limited, as there is little need to be able to
733filter messages without dequeing them. 765filter messages without dequeuing them.
734 766
735(But see L<Coro::MP> for a more Erlang-like process model on top of AEMP). 767(But see L<Coro::MP> for a more Erlang-like process model on top of AEMP).
736 768
737=item * Erlang sends are synchronous, AEMP sends are asynchronous. 769=item * Erlang sends are synchronous, AEMP sends are asynchronous.
738 770
844L<AnyEvent::MP::Kernel> - more, lower-level, stuff. 876L<AnyEvent::MP::Kernel> - more, lower-level, stuff.
845 877
846L<AnyEvent::MP::Global> - network maintainance and port groups, to find 878L<AnyEvent::MP::Global> - network maintainance and port groups, to find
847your applications. 879your applications.
848 880
881L<AnyEvent::MP::LogCatcher> - simple service to display log messages from
882all nodes.
883
849L<AnyEvent>. 884L<AnyEvent>.
850 885
851=head1 AUTHOR 886=head1 AUTHOR
852 887
853 Marc Lehmann <schmorp@schmorp.de> 888 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines