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.63 by root, Thu Aug 27 21:29:37 2009 UTC vs.
Revision 1.68 by root, Fri Aug 28 23:06:33 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
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 then 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).
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: 183If the profile specifies a node ID, then this will become the node ID of
184this process. If not, then the profile name will be used as node ID. The
185special node ID of C<anon/> will be replaced by a random node ID.
173 186
174=over 4 187The next step is to look up the binds in the profile, followed by binding
188aemp protocol listeners on all binds specified (it is possible and valid
189to have no binds, meaning that the node cannot be contacted form the
190outside. This means the node cannot talk to other nodes that also have no
191binds, but it can still talk to all "normal" nodes).
175 192
176=item public nodes 193If the profile does not specify a binds list, then the node ID will be
194treated as if it were of the form C<host:port>, which will be resolved and
195used as binds list.
177 196
178For public nodes, C<$noderef> (supplied either directly to 197Lastly, the seeds list from the profile is passed to the
179C<initialise_node> or indirectly via a profile or the nodename) must be a 198L<AnyEvent::MP::Global> module, which will then use it to keep
180noderef (possibly unresolved, in which case it will be resolved). 199connectivity with at least on of those seed nodes at any point in time.
181 200
182After resolving, the node will bind itself on all endpoints.
183
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 201Example: become a distributed node listening on the guessed noderef, or
206specified via C<aemp> for the current node. This should be the most common 202the one specified via C<aemp> for the current node. This should be the
207form of invocation for "daemon"-type nodes. 203most common form of invocation for "daemon"-type nodes.
208 204
209 initialise_node; 205 initialise_node;
210 206
211Example: become a slave node to any of the the seednodes specified via 207Example: become an anonymous node. This form is often used for commandline
212C<aemp>. This form is often used for commandline clients. 208clients.
213 209
214 initialise_node "slave/"; 210 initialise_node "anon/";
215 211
216Example: become a public node, and try to contact some well-known master 212Example: become a distributed node. If there is no profile of the given
217servers to become part of the network. 213name, or no binds list was specified, resolve C<localhost:4044> and bind
218 214on 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 215
227 initialise_node "localhost:4044"; 216 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 217
258=item $SELF 218=item $SELF
259 219
260Contains the current port id while executing C<rcv> callbacks or C<psub> 220Contains the current port id while executing C<rcv> callbacks or C<psub>
261blocks. 221blocks.
262 222
263=item SELF, %SELF, @SELF... 223=item *SELF, SELF, %SELF, @SELF...
264 224
265Due to some quirks in how perl exports variables, it is impossible to 225Due 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 226just export C<$SELF>, all the symbols named C<SELF> are exported by this
267module, but only C<$SELF> is currently used. 227module, but only C<$SELF> is currently used.
268 228
269=item snd $port, type => @data 229=item snd $port, type => @data
270 230
271=item snd $port, @msg 231=item snd $port, @msg
272 232
273Send the given message to the given port ID, which can identify either 233Send the given message to the given port, which can identify either a
274a local or a remote port, and must be a port ID. 234local or a remote port, and must be a port ID.
275 235
276While the message can be about anything, it is highly recommended to use a 236While 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 237use a string as first element (a port ID, or some word that indicates a
278type etc.). 238request type etc.) and to consist if only simple perl values (scalars,
239arrays, hashes) - if you think you need to pass an object, think again.
279 240
280The message data effectively becomes read-only after a call to this 241The message data logically becomes read-only after a call to this
281function: modifying any argument is not allowed and can cause many 242function: modifying any argument (or values referenced by them) is
282problems. 243forbidden, as there can be considerable time between the call to C<snd>
244and the time the message is actually being serialised - in fact, it might
245never be copied as within the same process it is simply handed to the
246receiving port.
283 247
284The type of data you can transfer depends on the transport protocol: when 248The type of data you can transfer depends on the transport protocol: when
285JSON is used, then only strings, numbers and arrays and hashes consisting 249JSON is used, then only strings, numbers and arrays and hashes consisting
286of those are allowed (no objects). When Storable is used, then anything 250of those are allowed (no objects). When Storable is used, then anything
287that Storable can serialise and deserialise is allowed, and for the local 251that Storable can serialise and deserialise is allowed, and for the local
288node, anything can be passed. 252node, anything can be passed. Best rely only on the common denominator of
253these.
289 254
290=item $local_port = port 255=item $local_port = port
291 256
292Create a new local port object and returns its port ID. Initially it has 257Create 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. 258no callbacks set and will throw an error when it receives messages.
469 $res 434 $res
470 } 435 }
471 } 436 }
472} 437}
473 438
474=item $guard = mon $port, $cb->(@reason) 439=item $guard = mon $port, $cb->(@reason) # call $cb when $port dies
475 440
476=item $guard = mon $port, $rcvport 441=item $guard = mon $port, $rcvport # kill $rcvport when $port dies
477 442
478=item $guard = mon $port 443=item $guard = mon $port # kill $SELF when $port dies
479 444
480=item $guard = mon $port, $rcvport, @msg 445=item $guard = mon $port, $rcvport, @msg # send a message when $port dies
481 446
482Monitor the given port and do something when the port is killed or 447Monitor 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 448messages to it were lost, and optionally return a guard that can be used
484to stop monitoring again. 449to stop monitoring again.
485 450
486C<mon> effectively guarantees that, in the absence of hardware failures, 451C<mon> effectively guarantees that, in the absence of hardware failures,
487that after starting the monitor, either all messages sent to the port 452after starting the monitor, either all messages sent to the port will
488will arrive, or the monitoring action will be invoked after possible 453arrive, or the monitoring action will be invoked after possible message
489message loss has been detected. No messages will be lost "in between" 454loss 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 455the first lost message no further messages will be received by the
491port). After the monitoring action was invoked, further messages might get 456port). After the monitoring action was invoked, further messages might get
492delivered again. 457delivered again.
493 458
494Note that monitoring-actions are one-shot: once released, they are removed 459Note that monitoring-actions are one-shot: once messages are lost (and a
495and will not trigger again. 460monitoring alert was raised), they are removed and will not trigger again.
496 461
497In the first form (callback), the callback is simply called with any 462In the first form (callback), the callback is simply called with any
498number of C<@reason> elements (no @reason means that the port was deleted 463number 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 464"normally"). Note also that I<< the callback B<must> never die >>, so use
500C<eval> if unsure. 465C<eval> if unsure.
562is killed, the references will be freed. 527is killed, the references will be freed.
563 528
564Optionally returns a guard that will stop the monitoring. 529Optionally returns a guard that will stop the monitoring.
565 530
566This function is useful when you create e.g. timers or other watchers and 531This function is useful when you create e.g. timers or other watchers and
567want to free them when the port gets killed: 532want to free them when the port gets killed (note the use of C<psub>):
568 533
569 $port->rcv (start => sub { 534 $port->rcv (start => sub {
570 my $timer; $timer = mon_guard $port, AE::timer 1, 1, sub { 535 my $timer; $timer = mon_guard $port, AE::timer 1, 1, psub {
571 undef $timer if 0.9 < rand; 536 undef $timer if 0.9 < rand;
572 }); 537 });
573 }); 538 });
574 539
575=cut 540=cut
584 549
585=item kil $port[, @reason] 550=item kil $port[, @reason]
586 551
587Kill the specified port with the given C<@reason>. 552Kill the specified port with the given C<@reason>.
588 553
589If no C<@reason> is specified, then the port is killed "normally" (linked 554If no C<@reason> is specified, then the port is killed "normally" (ports
590ports will not be kileld, or even notified). 555monitoring other ports will not necessarily die because a port dies
556"normally").
591 557
592Otherwise, linked ports get killed with the same reason (second form of 558Otherwise, linked ports get killed with the same reason (second form of
593C<mon>, see below). 559C<mon>, see above).
594 560
595Runtime errors while evaluating C<rcv> callbacks or inside C<psub> blocks 561Runtime errors while evaluating C<rcv> callbacks or inside C<psub> blocks
596will be reported as reason C<< die => $@ >>. 562will be reported as reason C<< die => $@ >>.
597 563
598Transport/communication errors are reported as C<< transport_error => 564Transport/communication errors are reported as C<< transport_error =>
603=item $port = spawn $node, $initfunc[, @initdata] 569=item $port = spawn $node, $initfunc[, @initdata]
604 570
605Creates a port on the node C<$node> (which can also be a port ID, in which 571Creates 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). 572case it's the node where that port resides).
607 573
608The port ID of the newly created port is return immediately, and it is 574The port ID of the newly created port is returned immediately, and it is
609permissible to immediately start sending messages or monitor the port. 575possible to immediately start sending messages or to monitor the port.
610 576
611After the port has been created, the init function is 577After the port has been created, the init function is called on the remote
612called. This function must be a fully-qualified function name 578node, 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 579fully-qualified function name (e.g. C<MyApp::Chat::Server::init>). To
614program, use C<::name>. 580specify a function in the main program, use C<::name>.
615 581
616If the function doesn't exist, then the node tries to C<require> 582If 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. 583the package, then the package above the package and so on (e.g.
618C<MyApp::Chat::Server>, C<MyApp::Chat>, C<MyApp>) until the function 584C<MyApp::Chat::Server>, C<MyApp::Chat>, C<MyApp>) until the function
619exists or it runs out of package names. 585exists or it runs out of package names.
620 586
621The init function is then called with the newly-created port as context 587The init function is then called with the newly-created port as context
622object (C<$SELF>) and the C<@initdata> values as arguments. 588object (C<$SELF>) and the C<@initdata> values as arguments.
623 589
624A common idiom is to pass your own port, monitor the spawned port, and 590A common idiom is to pass a local port, immediately monitor the spawned
625in the init function, monitor the original port. This two-way monitoring 591port, and in the remote init function, immediately monitor the passed
626ensures that both ports get cleaned up when there is a problem. 592local port. This two-way monitoring ensures that both ports get cleaned up
593when there is a problem.
627 594
628Example: spawn a chat server port on C<$othernode>. 595Example: spawn a chat server port on C<$othernode>.
629 596
630 # this node, executed from within a port context: 597 # this node, executed from within a port context:
631 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF; 598 my $server = spawn $othernode, "MyApp::Chat::Server::connect", $SELF;
673=item after $timeout, $callback 640=item after $timeout, $callback
674 641
675Either sends the given message, or call the given callback, after the 642Either sends the given message, or call the given callback, after the
676specified number of seconds. 643specified number of seconds.
677 644
678This is simply a utility function that come sin handy at times. 645This is simply a utility function that comes in handy at times - the
646AnyEvent::MP author is not convinced of the wisdom of having it, though,
647so it may go away in the future.
679 648
680=cut 649=cut
681 650
682sub after($@) { 651sub after($@) {
683 my ($timeout, @action) = @_; 652 my ($timeout, @action) = @_;
706 675
707Despite the similarities, there are also some important differences: 676Despite the similarities, there are also some important differences:
708 677
709=over 4 678=over 4
710 679
711=item * Node references contain the recipe on how to contact them. 680=item * Node IDs are arbitrary strings in AEMP.
712 681
713Erlang relies on special naming and DNS to work everywhere in the 682Erlang 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 683way. AEMP relies on each node somehow knowing its own address(es) (e.g. by
715convenience functionality. 684configuraiton 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 685
720=item * Erlang has a "remote ports are like local ports" philosophy, AEMP 686=item * Erlang has a "remote ports are like local ports" philosophy, AEMP
721uses "local ports are like remote ports". 687uses "local ports are like remote ports".
722 688
723The failure modes for local ports are quite different (runtime errors 689The failure modes for local ports are quite different (runtime errors
752 718
753Erlang makes few guarantees on messages delivery - messages can get lost 719Erlang makes few guarantees on messages delivery - messages can get lost
754without any of the processes realising it (i.e. you send messages a, b, 720without 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). 721and c, and the other side only receives messages a and c).
756 722
757AEMP guarantees correct ordering, and the guarantee that there are no 723AEMP guarantees correct ordering, and the guarantee that after one message
758holes in the message sequence. 724is lost, all following ones sent to the same port are lost as well, until
759 725monitoring 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 726sequence.
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 727
771=item * Erlang can send messages to the wrong port, AEMP does not. 728=item * Erlang can send messages to the wrong port, AEMP does not.
772 729
773In Erlang it is quite likely that a node that restarts reuses a process ID 730In 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 731known to other nodes for a completely different process, causing messages
778around in the network will not be sent to an unrelated port. 735around in the network will not be sent to an unrelated port.
779 736
780=item * Erlang uses unprotected connections, AEMP uses secure 737=item * Erlang uses unprotected connections, AEMP uses secure
781authentication and can use TLS. 738authentication and can use TLS.
782 739
783AEMP can use a proven protocol - SSL/TLS - to protect connections and 740AEMP can use a proven protocol - TLS - to protect connections and
784securely authenticate nodes. 741securely authenticate nodes.
785 742
786=item * The AEMP protocol is optimised for both text-based and binary 743=item * The AEMP protocol is optimised for both text-based and binary
787communications. 744communications.
788 745
789The AEMP protocol, unlike the Erlang protocol, supports both 746The AEMP protocol, unlike the Erlang protocol, supports both programming
790language-independent text-only protocols (good for debugging) and binary, 747language independent text-only protocols (good for debugging) and binary,
791language-specific serialisers (e.g. Storable). 748language-specific serialisers (e.g. Storable). By default, unless TLS is
749used, the protocol is actually completely text-based.
792 750
793It has also been carefully designed to be implementable in other languages 751It has also been carefully designed to be implementable in other languages
794with a minimum of work while gracefully degrading fucntionality to make the 752with a minimum of work while gracefully degrading functionality to make the
795protocol simple. 753protocol simple.
796 754
797=item * AEMP has more flexible monitoring options than Erlang. 755=item * AEMP has more flexible monitoring options than Erlang.
798 756
799In Erlang, you can chose to receive I<all> exit signals as messages 757In Erlang, you can chose to receive I<all> exit signals as messages
802Erlang, as one can choose between automatic kill, exit message or callback 760Erlang, as one can choose between automatic kill, exit message or callback
803on a per-process basis. 761on a per-process basis.
804 762
805=item * Erlang tries to hide remote/local connections, AEMP does not. 763=item * Erlang tries to hide remote/local connections, AEMP does not.
806 764
807Monitoring in Erlang is not an indicator of process death/crashes, 765Monitoring in Erlang is not an indicator of process death/crashes, in the
808as linking is (except linking is unreliable in Erlang). 766same way as linking is (except linking is unreliable in Erlang).
809 767
810In AEMP, you don't "look up" registered port names or send to named ports 768In 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 769that 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 770on 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 771remote port. Since both monitors are local to the node, they are much more
814more reliable. 772reliable (no need for C<spawn_link>).
815 773
816This also saves round-trips and avoids sending messages to the wrong port 774This also saves round-trips and avoids sending messages to the wrong port
817(hard to do in Erlang). 775(hard to do in Erlang).
818 776
819=back 777=back
820 778
821=head1 RATIONALE 779=head1 RATIONALE
822 780
823=over 4 781=over 4
824 782
825=item Why strings for ports and noderefs, why not objects? 783=item Why strings for port and node IDs, why not objects?
826 784
827We considered "objects", but found that the actual number of methods 785We considered "objects", but found that the actual number of methods
828thatc an be called are very low. Since port IDs and noderefs travel over 786that can be called are quite low. Since port and node IDs travel over
829the network frequently, the serialising/deserialising would add lots of 787the network frequently, the serialising/deserialising would add lots of
830overhead, as well as having to keep a proxy object. 788overhead, as well as having to keep a proxy object everywhere.
831 789
832Strings can easily be printed, easily serialised etc. and need no special 790Strings can easily be printed, easily serialised etc. and need no special
833procedures to be "valid". 791procedures to be "valid".
834 792
835And a a miniport consists of a single closure stored in a global hash - it 793And as a result, a miniport consists of a single closure stored in a
836can't become much cheaper. 794global hash - it can't become much cheaper.
837 795
838=item Why favour JSON, why not real serialising format such as Storable? 796=item Why favour JSON, why not a real serialising format such as Storable?
839 797
840In fact, any AnyEvent::MP node will happily accept Storable as framing 798In 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 799format, but currently there is no way to make a node use Storable by
842default. 800default (although all nodes will accept it).
843 801
844The default framing protocol is JSON because a) JSON::XS is many times 802The default framing protocol is JSON because a) JSON::XS is many times
845faster for small messages and b) most importantly, after years of 803faster for small messages and b) most importantly, after years of
846experience we found that object serialisation is causing more problems 804experience we found that object serialisation is causing more problems
847than it gains: Just like function calls, objects simply do not travel 805than 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 806easily over the network, mostly because they will always be a copy, so you
849always have to re-think your design. 807always have to re-think your design.
850 808
851Keeping your messages simple, concentrating on data structures rather than 809Keeping your messages simple, concentrating on data structures rather than
852objects, will keep your messages clean, tidy and efficient. 810objects, will keep your messages clean, tidy and efficient.
853 811
854=back 812=back
855 813
856=head1 SEE ALSO 814=head1 SEE ALSO
857 815
816L<AnyEvent::MP::Intro> - a gentle introduction.
817
818L<AnyEvent::MP::Kernel> - more, lower-level, stuff.
819
820L<AnyEvent::MP::Global> - network maintainance and port groups, to find
821your applications.
822
858L<AnyEvent>. 823L<AnyEvent>.
859 824
860=head1 AUTHOR 825=head1 AUTHOR
861 826
862 Marc Lehmann <schmorp@schmorp.de> 827 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines