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

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines