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

Comparing cvsroot/AnyEvent-MP/MP.pm (file contents):
Revision 1.63 by root, Thu Aug 27 21:29:37 2009 UTC vs.
Revision 1.69 by root, Sun Aug 30 18:51:49 2009 UTC

40 40
41=head1 CURRENT STATUS 41=head1 CURRENT STATUS
42 42
43 AnyEvent::MP - stable API, should work 43 AnyEvent::MP - stable API, should work
44 AnyEvent::MP::Intro - outdated 44 AnyEvent::MP::Intro - outdated
45 AnyEvent::MP::Kernel - WIP
46 AnyEvent::MP::Transport - mostly stable 45 AnyEvent::MP::Kernel - mostly stable
46 AnyEvent::MP::Global - mostly stable
47 AnyEvent::MP::Node - mostly stable, but internal anyways
48 AnyEvent::MP::Transport - mostly stable, but internal anyways
47 49
48 stay tuned. 50 stay tuned.
49 51
50=head1 DESCRIPTION 52=head1 DESCRIPTION
51 53
52This module (-family) implements a simple message passing framework. 54This module (-family) implements a simple message passing framework.
53 55
54Despite its simplicity, you can securely message other processes running 56Despite its simplicity, you can securely message other processes running
55on the same or other hosts. 57on the same or other hosts, and you can supervise entities remotely.
56 58
57For an introduction to this module family, see the L<AnyEvent::MP::Intro> 59For an introduction to this module family, see the L<AnyEvent::MP::Intro>
58manual page. 60manual page and the examples under F<eg/>.
59 61
60At the moment, this module family is severly broken and underdocumented, 62At the moment, this module family is a bit underdocumented.
61so do not use. This was uploaded mainly to reserve the CPAN namespace -
62stay tuned!
63 63
64=head1 CONCEPTS 64=head1 CONCEPTS
65 65
66=over 4 66=over 4
67 67
68=item port 68=item port
69 69
70A port is something you can send messages to (with the C<snd> function). 70A port is something you can send messages to (with the C<snd> function).
71 71
72Ports allow you to register C<rcv> handlers that can match all or just 72Ports allow you to register C<rcv> handlers that can match all or just
73some messages. Messages will not be queued. 73some messages. Messages send to ports will not be queued, regardless of
74anything was listening for them or not.
74 75
75=item port ID - C<noderef#portname> 76=item port ID - C<nodeid#portname>
76 77
77A port ID is the concatenation of a noderef, a hash-mark (C<#>) as 78A port ID is the concatenation of a node ID, a hash-mark (C<#>) as
78separator, and a port name (a printable string of unspecified format). An 79separator, and a port name (a printable string of unspecified format).
79exception is the the node port, whose ID is identical to its node
80reference.
81 80
82=item node 81=item node
83 82
84A node is a single process containing at least one port - the node port, 83A node is a single process containing at least one port - the node port,
85which provides nodes to manage each other remotely, and to create new 84which enables nodes to manage each other remotely, and to create new
86ports. 85ports.
87 86
88Nodes are either private (single-process only), slaves (can only talk to 87Nodes are either public (have one or more listening ports) or private
89public nodes, but do not need an open port) or public nodes (connectable 88(no listening ports). Private nodes cannot talk to other private nodes
90from any other node). 89currently.
91 90
92=item node ID - C<[a-za-Z0-9_\-.:]+> 91=item node ID - C<[a-za-Z0-9_\-.:]+>
93 92
94A node ID is a string that either simply identifies the node (for 93A node ID is a string that uniquely identifies the node within a
95private and slave nodes), or contains a recipe on how to reach a given 94network. Depending on the configuration used, node IDs can look like a
96node (for public nodes). 95hostname, a hostname and a port, or a random string. AnyEvent::MP itself
96doesn't interpret node IDs in any way.
97 97
98This recipe is simply a comma-separated list of C<address:port> pairs (for 98=item binds - C<ip:port>
99TCP/IP, other protocols might look different).
100 99
101Node references come in two flavours: resolved (containing only numerical 100Nodes can only talk to each other by creating some kind of connection to
102addresses) or unresolved (where hostnames are used instead of addresses). 101each other. To do this, nodes should listen on one or more local transport
102endpoints - binds. Currently, only standard C<ip:port> specifications can
103be used, which specify TCP ports to listen on.
103 104
104Before using an unresolved node reference in a message you first have to 105=item seeds - C<host:port>
105resolve it. 106
107When a node starts, it knows nothing about the network. To teach the node
108about the network it first has to contact some other node within the
109network. This node is called a seed.
110
111Seeds are transport endpoint(s) of as many nodes as one wants. Those nodes
112are expected to be long-running, and at least one of those should always
113be available. When nodes run out of connections (e.g. due to a network
114error), they try to re-establish connections to some seednodes again to
115join the network.
116
117Apart from being sued for seeding, seednodes are not special in any way -
118every public node can be a seednode.
106 119
107=back 120=back
108 121
109=head1 VARIABLES/FUNCTIONS 122=head1 VARIABLES/FUNCTIONS
110 123
126 139
127our $VERSION = $AnyEvent::MP::Kernel::VERSION; 140our $VERSION = $AnyEvent::MP::Kernel::VERSION;
128 141
129our @EXPORT = qw( 142our @EXPORT = qw(
130 NODE $NODE *SELF node_of after 143 NODE $NODE *SELF node_of after
131 resolve_node initialise_node 144 initialise_node
132 snd rcv mon mon_guard kil reg psub spawn 145 snd rcv mon mon_guard kil reg psub spawn
133 port 146 port
134); 147);
135 148
136our $SELF; 149our $SELF;
141 kil $SELF, die => $msg; 154 kil $SELF, die => $msg;
142} 155}
143 156
144=item $thisnode = NODE / $NODE 157=item $thisnode = NODE / $NODE
145 158
146The C<NODE> function returns, and the C<$NODE> variable contains the 159The C<NODE> function returns, and the C<$NODE> variable contains, the node
147node id of the local node. The value is initialised by a call to 160ID of the node running in the current process. This value is initialised by
148C<initialise_node>. 161a call to C<initialise_node>.
149 162
150=item $nodeid = node_of $port 163=item $nodeid = node_of $port
151 164
152Extracts and returns the noderef from a port ID or a node ID. 165Extracts and returns the node ID from a port ID or a node ID.
153 166
154=item initialise_node $profile_name 167=item initialise_node $profile_name, key => value...
155 168
156Before a node can talk to other nodes on the network it has to initialise 169Before a node can talk to other nodes on the network (i.e. enter
157itself - the minimum a node needs to know is it's own name, and optionally 170"distributed mode") it has to initialise itself - the minimum a node needs
158it should know the noderefs of some other nodes in the network. 171to know is its own name, and optionally it should know the addresses of
172some other nodes in the network to discover other nodes.
159 173
160This function initialises a node - it must be called exactly once (or 174This function initialises a node - it must be called exactly once (or
161never) before calling other AnyEvent::MP functions. 175never) before calling other AnyEvent::MP functions.
162 176
163All arguments (optionally except for the first) are noderefs, which can be 177The first argument is a profile name. If it is C<undef> or missing, then
164either resolved or unresolved. 178the current nodename will be used instead (i.e. F<uname -n>).
165 179
166The first argument will be looked up in the configuration database first 180The function first looks up the profile in the aemp configuration (see the
167(if it is C<undef> then the current nodename will be used instead) to find 181L<aemp> commandline utility). the profile is calculated as follows:
168the relevant configuration profile (see L<aemp>). If none is found then
169the default configuration is used. The configuration supplies additional
170seed/master nodes and can override the actual noderef.
171 182
172There are two types of networked nodes, public nodes and slave nodes: 183First, all remaining key => value pairs will be used. Then they will be
184overwritten by any values specified in the global default configuration
185(see the F<aemp> utility), then the chain of profiles selected, if
186any. That means that the values specified in the profile have highest
187priority and the values specified via C<initialise_node> have lowest
188priority.
173 189
174=over 4 190If the profile specifies a node ID, then this will become the node ID of
191this process. If not, then the profile name will be used as node ID. The
192special node ID of C<anon/> will be replaced by a random node ID.
175 193
176=item public nodes 194The next step is to look up the binds in the profile, followed by binding
195aemp protocol listeners on all binds specified (it is possible and valid
196to have no binds, meaning that the node cannot be contacted form the
197outside. This means the node cannot talk to other nodes that also have no
198binds, but it can still talk to all "normal" nodes).
177 199
178For public nodes, C<$noderef> (supplied either directly to 200If the profile does not specify a binds list, then the node ID will be
179C<initialise_node> or indirectly via a profile or the nodename) must be a 201treated as if it were of the form C<host:port>, which will be resolved and
180noderef (possibly unresolved, in which case it will be resolved). 202used as binds list.
181 203
182After resolving, the node will bind itself on all endpoints. 204Lastly, the seeds list from the profile is passed to the
205L<AnyEvent::MP::Global> module, which will then use it to keep
206connectivity with at least on of those seed nodes at any point in time.
183 207
184=item slave nodes
185
186When the C<$noderef> (either as given or overriden by the config file)
187is the special string C<slave/>, then the node will become a slave
188node. Slave nodes cannot be contacted from outside, and cannot talk to
189each other (at least in this version of AnyEvent::MP).
190
191Slave nodes work by creating connections to all public nodes, using the
192L<AnyEvent::MP::Global> service.
193
194=back
195
196After initialising itself, the node will connect to all additional
197C<$seednodes> that are specified diretcly or via a profile. Seednodes are
198optional and can be used to quickly bootstrap the node into an existing
199network.
200
201All the seednodes will also be specially marked to automatically retry
202connecting to them indefinitely, so make sure that seednodes are really
203reliable and up (this might also change in the future).
204
205Example: become a public node listening on the guessed noderef, or the one 208Example: become a distributed node listening on the guessed noderef, or
206specified via C<aemp> for the current node. This should be the most common 209the one specified via C<aemp> for the current node. This should be the
207form of invocation for "daemon"-type nodes. 210most common form of invocation for "daemon"-type nodes.
208 211
209 initialise_node; 212 initialise_node;
210 213
211Example: become a slave node to any of the the seednodes specified via 214Example: become an anonymous node. This form is often used for commandline
212C<aemp>. This form is often used for commandline clients. 215clients.
213 216
214 initialise_node "slave/"; 217 initialise_node "anon/";
215 218
216Example: become a public node, and try to contact some well-known master 219Example: become a distributed node. If there is no profile of the given
217servers to become part of the network. 220name, or no binds list was specified, resolve C<localhost:4044> and bind
218 221on the resulting addresses.
219 initialise_node undef, "master1", "master2";
220
221Example: become a public node listening on port C<4041>.
222
223 initialise_node 4041;
224
225Example: become a public node, only visible on localhost port 4044.
226 222
227 initialise_node "localhost:4044"; 223 initialise_node "localhost:4044";
228
229=item $cv = resolve_node $noderef
230
231Takes an unresolved node reference that may contain hostnames and
232abbreviated IDs, resolves all of them and returns a resolved node
233reference.
234
235In addition to C<address:port> pairs allowed in resolved noderefs, the
236following forms are supported:
237
238=over 4
239
240=item the empty string
241
242An empty-string component gets resolved as if the default port (4040) was
243specified.
244
245=item naked port numbers (e.g. C<1234>)
246
247These are resolved by prepending the local nodename and a colon, to be
248further resolved.
249
250=item hostnames (e.g. C<localhost:1234>, C<localhost>)
251
252These are resolved by using AnyEvent::DNS to resolve them, optionally
253looking up SRV records for the C<aemp=4040> port, if no port was
254specified.
255
256=back
257 224
258=item $SELF 225=item $SELF
259 226
260Contains the current port id while executing C<rcv> callbacks or C<psub> 227Contains the current port id while executing C<rcv> callbacks or C<psub>
261blocks. 228blocks.
262 229
263=item SELF, %SELF, @SELF... 230=item *SELF, SELF, %SELF, @SELF...
264 231
265Due to some quirks in how perl exports variables, it is impossible to 232Due to some quirks in how perl exports variables, it is impossible to
266just export C<$SELF>, all the symbols called C<SELF> are exported by this 233just export C<$SELF>, all the symbols named C<SELF> are exported by this
267module, but only C<$SELF> is currently used. 234module, but only C<$SELF> is currently used.
268 235
269=item snd $port, type => @data 236=item snd $port, type => @data
270 237
271=item snd $port, @msg 238=item snd $port, @msg
272 239
273Send the given message to the given port ID, which can identify either 240Send the given message to the given port, which can identify either a
274a local or a remote port, and must be a port ID. 241local or a remote port, and must be a port ID.
275 242
276While the message can be about anything, it is highly recommended to use a 243While the message can be almost anything, it is highly recommended to
277string as first element (a port ID, or some word that indicates a request 244use a string as first element (a port ID, or some word that indicates a
278type etc.). 245request type etc.) and to consist if only simple perl values (scalars,
246arrays, hashes) - if you think you need to pass an object, think again.
279 247
280The message data effectively becomes read-only after a call to this 248The message data logically becomes read-only after a call to this
281function: modifying any argument is not allowed and can cause many 249function: modifying any argument (or values referenced by them) is
282problems. 250forbidden, as there can be considerable time between the call to C<snd>
251and the time the message is actually being serialised - in fact, it might
252never be copied as within the same process it is simply handed to the
253receiving port.
283 254
284The type of data you can transfer depends on the transport protocol: when 255The type of data you can transfer depends on the transport protocol: when
285JSON is used, then only strings, numbers and arrays and hashes consisting 256JSON is used, then only strings, numbers and arrays and hashes consisting
286of those are allowed (no objects). When Storable is used, then anything 257of those are allowed (no objects). When Storable is used, then anything
287that Storable can serialise and deserialise is allowed, and for the local 258that Storable can serialise and deserialise is allowed, and for the local
288node, anything can be passed. 259node, anything can be passed. Best rely only on the common denominator of
260these.
289 261
290=item $local_port = port 262=item $local_port = port
291 263
292Create a new local port object and returns its port ID. Initially it has 264Create a new local port object and returns its port ID. Initially it has
293no callbacks set and will throw an error when it receives messages. 265no callbacks set and will throw an error when it receives messages.
469 $res 441 $res
470 } 442 }
471 } 443 }
472} 444}
473 445
474=item $guard = mon $port, $cb->(@reason) 446=item $guard = mon $port, $cb->(@reason) # call $cb when $port dies
475 447
476=item $guard = mon $port, $rcvport 448=item $guard = mon $port, $rcvport # kill $rcvport when $port dies
477 449
478=item $guard = mon $port 450=item $guard = mon $port # kill $SELF when $port dies
479 451
480=item $guard = mon $port, $rcvport, @msg 452=item $guard = mon $port, $rcvport, @msg # send a message when $port dies
481 453
482Monitor the given port and do something when the port is killed or 454Monitor the given port and do something when the port is killed or
483messages to it were lost, and optionally return a guard that can be used 455messages to it were lost, and optionally return a guard that can be used
484to stop monitoring again. 456to stop monitoring again.
485 457
486C<mon> effectively guarantees that, in the absence of hardware failures, 458C<mon> effectively guarantees that, in the absence of hardware failures,
487that after starting the monitor, either all messages sent to the port 459after starting the monitor, either all messages sent to the port will
488will arrive, or the monitoring action will be invoked after possible 460arrive, or the monitoring action will be invoked after possible message
489message loss has been detected. No messages will be lost "in between" 461loss has been detected. No messages will be lost "in between" (after
490(after the first lost message no further messages will be received by the 462the first lost message no further messages will be received by the
491port). After the monitoring action was invoked, further messages might get 463port). After the monitoring action was invoked, further messages might get
492delivered again. 464delivered again.
493 465
494Note that monitoring-actions are one-shot: once released, they are removed 466Note that monitoring-actions are one-shot: once messages are lost (and a
495and will not trigger again. 467monitoring alert was raised), they are removed and will not trigger again.
496 468
497In the first form (callback), the callback is simply called with any 469In the first form (callback), the callback is simply called with any
498number of C<@reason> elements (no @reason means that the port was deleted 470number of C<@reason> elements (no @reason means that the port was deleted
499"normally"). Note also that I<< the callback B<must> never die >>, so use 471"normally"). Note also that I<< the callback B<must> never die >>, so use
500C<eval> if unsure. 472C<eval> if unsure.
562is killed, the references will be freed. 534is killed, the references will be freed.
563 535
564Optionally returns a guard that will stop the monitoring. 536Optionally returns a guard that will stop the monitoring.
565 537
566This function is useful when you create e.g. timers or other watchers and 538This function is useful when you create e.g. timers or other watchers and
567want to free them when the port gets killed: 539want to free them when the port gets killed (note the use of C<psub>):
568 540
569 $port->rcv (start => sub { 541 $port->rcv (start => sub {
570 my $timer; $timer = mon_guard $port, AE::timer 1, 1, sub { 542 my $timer; $timer = mon_guard $port, AE::timer 1, 1, psub {
571 undef $timer if 0.9 < rand; 543 undef $timer if 0.9 < rand;
572 }); 544 });
573 }); 545 });
574 546
575=cut 547=cut
584 556
585=item kil $port[, @reason] 557=item kil $port[, @reason]
586 558
587Kill the specified port with the given C<@reason>. 559Kill the specified port with the given C<@reason>.
588 560
589If no C<@reason> is specified, then the port is killed "normally" (linked 561If no C<@reason> is specified, then the port is killed "normally" (ports
590ports will not be kileld, or even notified). 562monitoring other ports will not necessarily die because a port dies
563"normally").
591 564
592Otherwise, linked ports get killed with the same reason (second form of 565Otherwise, linked ports get killed with the same reason (second form of
593C<mon>, see below). 566C<mon>, see above).
594 567
595Runtime errors while evaluating C<rcv> callbacks or inside C<psub> blocks 568Runtime errors while evaluating C<rcv> callbacks or inside C<psub> blocks
596will be reported as reason C<< die => $@ >>. 569will be reported as reason C<< die => $@ >>.
597 570
598Transport/communication errors are reported as C<< transport_error => 571Transport/communication errors are reported as C<< transport_error =>
603=item $port = spawn $node, $initfunc[, @initdata] 576=item $port = spawn $node, $initfunc[, @initdata]
604 577
605Creates a port on the node C<$node> (which can also be a port ID, in which 578Creates a port on the node C<$node> (which can also be a port ID, in which
606case it's the node where that port resides). 579case it's the node where that port resides).
607 580
608The port ID of the newly created port is return immediately, and it is 581The port ID of the newly created port is returned immediately, and it is
609permissible to immediately start sending messages or monitor the port. 582possible to immediately start sending messages or to monitor the port.
610 583
611After the port has been created, the init function is 584After the port has been created, the init function is called on the remote
612called. This function must be a fully-qualified function name 585node, in the same context as a C<rcv> callback. This function must be a
613(e.g. C<MyApp::Chat::Server::init>). To specify a function in the main 586fully-qualified function name (e.g. C<MyApp::Chat::Server::init>). To
614program, use C<::name>. 587specify a function in the main program, use C<::name>.
615 588
616If the function doesn't exist, then the node tries to C<require> 589If the function doesn't exist, then the node tries to C<require>
617the package, then the package above the package and so on (e.g. 590the package, then the package above the package and so on (e.g.
618C<MyApp::Chat::Server>, C<MyApp::Chat>, C<MyApp>) until the function 591C<MyApp::Chat::Server>, C<MyApp::Chat>, C<MyApp>) until the function
619exists or it runs out of package names. 592exists or it runs out of package names.
620 593
621The init function is then called with the newly-created port as context 594The init function is then called with the newly-created port as context
622object (C<$SELF>) and the C<@initdata> values as arguments. 595object (C<$SELF>) and the C<@initdata> values as arguments.
623 596
624A common idiom is to pass your own port, monitor the spawned port, and 597A common idiom is to pass a local port, immediately monitor the spawned
625in the init function, monitor the original port. This two-way monitoring 598port, and in the remote init function, immediately monitor the passed
626ensures that both ports get cleaned up when there is a problem. 599local port. This two-way monitoring ensures that both ports get cleaned up
600when there is a problem.
627 601
628Example: spawn a chat server port on C<$othernode>. 602Example: spawn a chat server port on C<$othernode>.
629 603
630 # this node, executed from within a port context: 604 # this node, executed from within a port context:
631 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF; 605 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF;
673=item after $timeout, $callback 647=item after $timeout, $callback
674 648
675Either sends the given message, or call the given callback, after the 649Either sends the given message, or call the given callback, after the
676specified number of seconds. 650specified number of seconds.
677 651
678This is simply a utility function that come sin handy at times. 652This is simply a utility function that comes in handy at times - the
653AnyEvent::MP author is not convinced of the wisdom of having it, though,
654so it may go away in the future.
679 655
680=cut 656=cut
681 657
682sub after($@) { 658sub after($@) {
683 my ($timeout, @action) = @_; 659 my ($timeout, @action) = @_;
706 682
707Despite the similarities, there are also some important differences: 683Despite the similarities, there are also some important differences:
708 684
709=over 4 685=over 4
710 686
711=item * Node references contain the recipe on how to contact them. 687=item * Node IDs are arbitrary strings in AEMP.
712 688
713Erlang relies on special naming and DNS to work everywhere in the 689Erlang relies on special naming and DNS to work everywhere in the same
714same way. AEMP relies on each node knowing it's own address(es), with 690way. AEMP relies on each node somehow knowing its own address(es) (e.g. by
715convenience functionality. 691configuraiton or DNS), but will otherwise discover other odes itself.
716
717This means that AEMP requires a less tightly controlled environment at the
718cost of longer node references and a slightly higher management overhead.
719 692
720=item * Erlang has a "remote ports are like local ports" philosophy, AEMP 693=item * Erlang has a "remote ports are like local ports" philosophy, AEMP
721uses "local ports are like remote ports". 694uses "local ports are like remote ports".
722 695
723The failure modes for local ports are quite different (runtime errors 696The failure modes for local ports are quite different (runtime errors
752 725
753Erlang makes few guarantees on messages delivery - messages can get lost 726Erlang makes few guarantees on messages delivery - messages can get lost
754without any of the processes realising it (i.e. you send messages a, b, 727without any of the processes realising it (i.e. you send messages a, b,
755and c, and the other side only receives messages a and c). 728and c, and the other side only receives messages a and c).
756 729
757AEMP guarantees correct ordering, and the guarantee that there are no 730AEMP guarantees correct ordering, and the guarantee that after one message
758holes in the message sequence. 731is lost, all following ones sent to the same port are lost as well, until
759 732monitoring raises an error, so there are no silent "holes" in the message
760=item * In Erlang, processes can be declared dead and later be found to be 733sequence.
761alive.
762
763In Erlang it can happen that a monitored process is declared dead and
764linked processes get killed, but later it turns out that the process is
765still alive - and can receive messages.
766
767In AEMP, when port monitoring detects a port as dead, then that port will
768eventually be killed - it cannot happen that a node detects a port as dead
769and then later sends messages to it, finding it is still alive.
770 734
771=item * Erlang can send messages to the wrong port, AEMP does not. 735=item * Erlang can send messages to the wrong port, AEMP does not.
772 736
773In Erlang it is quite likely that a node that restarts reuses a process ID 737In Erlang it is quite likely that a node that restarts reuses a process ID
774known to other nodes for a completely different process, causing messages 738known to other nodes for a completely different process, causing messages
778around in the network will not be sent to an unrelated port. 742around in the network will not be sent to an unrelated port.
779 743
780=item * Erlang uses unprotected connections, AEMP uses secure 744=item * Erlang uses unprotected connections, AEMP uses secure
781authentication and can use TLS. 745authentication and can use TLS.
782 746
783AEMP can use a proven protocol - SSL/TLS - to protect connections and 747AEMP can use a proven protocol - TLS - to protect connections and
784securely authenticate nodes. 748securely authenticate nodes.
785 749
786=item * The AEMP protocol is optimised for both text-based and binary 750=item * The AEMP protocol is optimised for both text-based and binary
787communications. 751communications.
788 752
789The AEMP protocol, unlike the Erlang protocol, supports both 753The AEMP protocol, unlike the Erlang protocol, supports both programming
790language-independent text-only protocols (good for debugging) and binary, 754language independent text-only protocols (good for debugging) and binary,
791language-specific serialisers (e.g. Storable). 755language-specific serialisers (e.g. Storable). By default, unless TLS is
756used, the protocol is actually completely text-based.
792 757
793It has also been carefully designed to be implementable in other languages 758It has also been carefully designed to be implementable in other languages
794with a minimum of work while gracefully degrading fucntionality to make the 759with a minimum of work while gracefully degrading functionality to make the
795protocol simple. 760protocol simple.
796 761
797=item * AEMP has more flexible monitoring options than Erlang. 762=item * AEMP has more flexible monitoring options than Erlang.
798 763
799In Erlang, you can chose to receive I<all> exit signals as messages 764In Erlang, you can chose to receive I<all> exit signals as messages
802Erlang, as one can choose between automatic kill, exit message or callback 767Erlang, as one can choose between automatic kill, exit message or callback
803on a per-process basis. 768on a per-process basis.
804 769
805=item * Erlang tries to hide remote/local connections, AEMP does not. 770=item * Erlang tries to hide remote/local connections, AEMP does not.
806 771
807Monitoring in Erlang is not an indicator of process death/crashes, 772Monitoring in Erlang is not an indicator of process death/crashes, in the
808as linking is (except linking is unreliable in Erlang). 773same way as linking is (except linking is unreliable in Erlang).
809 774
810In AEMP, you don't "look up" registered port names or send to named ports 775In AEMP, you don't "look up" registered port names or send to named ports
811that might or might not be persistent. Instead, you normally spawn a port 776that might or might not be persistent. Instead, you normally spawn a port
812on the remote node. The init function monitors the you, and you monitor 777on the remote node. The init function monitors you, and you monitor the
813the remote port. Since both monitors are local to the node, they are much 778remote port. Since both monitors are local to the node, they are much more
814more reliable. 779reliable (no need for C<spawn_link>).
815 780
816This also saves round-trips and avoids sending messages to the wrong port 781This also saves round-trips and avoids sending messages to the wrong port
817(hard to do in Erlang). 782(hard to do in Erlang).
818 783
819=back 784=back
820 785
821=head1 RATIONALE 786=head1 RATIONALE
822 787
823=over 4 788=over 4
824 789
825=item Why strings for ports and noderefs, why not objects? 790=item Why strings for port and node IDs, why not objects?
826 791
827We considered "objects", but found that the actual number of methods 792We considered "objects", but found that the actual number of methods
828thatc an be called are very low. Since port IDs and noderefs travel over 793that can be called are quite low. Since port and node IDs travel over
829the network frequently, the serialising/deserialising would add lots of 794the network frequently, the serialising/deserialising would add lots of
830overhead, as well as having to keep a proxy object. 795overhead, as well as having to keep a proxy object everywhere.
831 796
832Strings can easily be printed, easily serialised etc. and need no special 797Strings can easily be printed, easily serialised etc. and need no special
833procedures to be "valid". 798procedures to be "valid".
834 799
835And a a miniport consists of a single closure stored in a global hash - it 800And as a result, a miniport consists of a single closure stored in a
836can't become much cheaper. 801global hash - it can't become much cheaper.
837 802
838=item Why favour JSON, why not real serialising format such as Storable? 803=item Why favour JSON, why not a real serialising format such as Storable?
839 804
840In fact, any AnyEvent::MP node will happily accept Storable as framing 805In fact, any AnyEvent::MP node will happily accept Storable as framing
841format, but currently there is no way to make a node use Storable by 806format, but currently there is no way to make a node use Storable by
842default. 807default (although all nodes will accept it).
843 808
844The default framing protocol is JSON because a) JSON::XS is many times 809The default framing protocol is JSON because a) JSON::XS is many times
845faster for small messages and b) most importantly, after years of 810faster for small messages and b) most importantly, after years of
846experience we found that object serialisation is causing more problems 811experience we found that object serialisation is causing more problems
847than it gains: Just like function calls, objects simply do not travel 812than it solves: Just like function calls, objects simply do not travel
848easily over the network, mostly because they will always be a copy, so you 813easily over the network, mostly because they will always be a copy, so you
849always have to re-think your design. 814always have to re-think your design.
850 815
851Keeping your messages simple, concentrating on data structures rather than 816Keeping your messages simple, concentrating on data structures rather than
852objects, will keep your messages clean, tidy and efficient. 817objects, will keep your messages clean, tidy and efficient.
853 818
854=back 819=back
855 820
856=head1 SEE ALSO 821=head1 SEE ALSO
857 822
823L<AnyEvent::MP::Intro> - a gentle introduction.
824
825L<AnyEvent::MP::Kernel> - more, lower-level, stuff.
826
827L<AnyEvent::MP::Global> - network maintainance and port groups, to find
828your applications.
829
858L<AnyEvent>. 830L<AnyEvent>.
859 831
860=head1 AUTHOR 832=head1 AUTHOR
861 833
862 Marc Lehmann <schmorp@schmorp.de> 834 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines