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.71 by root, Sun Aug 30 19:52:56 2009 UTC

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

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines