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.2 by root, Fri Jul 31 20:55:46 2009 UTC vs.
Revision 1.24 by root, Tue Aug 4 20:00:00 2009 UTC

4 4
5=head1 SYNOPSIS 5=head1 SYNOPSIS
6 6
7 use AnyEvent::MP; 7 use AnyEvent::MP;
8 8
9 NODE # returns this node identifier
10 $NODE # contains this node identifier 9 $NODE # contains this node's noderef
10 NODE # returns this node's noderef
11 NODE $port # returns the noderef of the port
11 12
12 snd $port, type => data...; 13 snd $port, type => data...;
14
15 $SELF # receiving/own port id in rcv callbacks
13 16
14 rcv $port, smartmatch => $cb->($port, @msg); 17 rcv $port, smartmatch => $cb->($port, @msg);
15 18
16 # examples: 19 # examples:
17 rcv $port2, ping => sub { snd $_[0], "pong"; 0 }; 20 rcv $port2, ping => sub { snd $_[0], "pong"; 0 };
27This module (-family) implements a simple message passing framework. 30This module (-family) implements a simple message passing framework.
28 31
29Despite its simplicity, you can securely message other processes running 32Despite its simplicity, you can securely message other processes running
30on the same or other hosts. 33on the same or other hosts.
31 34
35For an introduction to this module family, see the L<AnyEvent::MP::Intro>
36manual page.
37
38At the moment, this module family is severly broken and underdocumented,
39so do not use. This was uploaded mainly to reserve the CPAN namespace -
40stay tuned! The basic API should be finished, however.
41
32=head1 CONCEPTS 42=head1 CONCEPTS
33 43
34=over 4 44=over 4
35 45
36=item port 46=item port
37 47
38A port is something you can send messages to with the C<snd> function, and 48A port is something you can send messages to with the C<snd> function, and
39you can register C<rcv> handlers with. All C<rcv> handlers will receive 49you can register C<rcv> handlers with. All C<rcv> handlers will receive
40messages they match, messages will not be queued. 50messages they match, messages will not be queued.
41 51
42=item port id - C<pid@host#portname> 52=item port id - C<noderef#portname>
43 53
44A port id is always the node id, a hash-mark (C<#>) as separator, followed 54A port id is always the noderef, a hash-mark (C<#>) as separator, followed
45by a port name. 55by a port name (a printable string of unspecified format).
46
47A port name can be a well known port (basically an identifier/bareword),
48or a generated name, consisting of node id, a dot (C<.>), and an
49identifier.
50 56
51=item node 57=item node
52 58
53A node is a single process containing at least one port - the node 59A node is a single process containing at least one port - the node
54port. You can send messages to node ports to let them create new ports, 60port. You can send messages to node ports to let them create new ports,
55among other things. 61among other things.
56 62
57Initially, nodes are either private (single-process only) or hidden 63Initially, nodes are either private (single-process only) or hidden
58(connected to a father node only). Only when they epxlicitly "go public" 64(connected to a master node only). Only when they epxlicitly "become
59can you send them messages form unrelated other nodes. 65public" can you send them messages from unrelated other nodes.
60 66
61Public nodes automatically connect to all other public nodes in a network 67=item noderef - C<host:port,host:port...>, C<id@noderef>, C<id>
62when they connect, creating a full mesh.
63 68
64=item node id - C<host:port>, C<id@host>, C<id>
65
66A node ID is a string that either uniquely identifies a given node (For 69A noderef is a string that either uniquely identifies a given node (for
67private and hidden nodes), or contains a recipe on how to reach a given 70private and hidden nodes), or contains a recipe on how to reach a given
68node (for public nodes). 71node (for public nodes).
69 72
70=back 73=back
71 74
72=head1 FUNCTIONS 75=head1 VARIABLES/FUNCTIONS
73 76
74=over 4 77=over 4
75 78
76=cut 79=cut
77 80
78package AnyEvent::MP; 81package AnyEvent::MP;
79 82
80use AnyEvent::MP::Util ();
81use AnyEvent::MP::Node; 83use AnyEvent::MP::Base;
82use AnyEvent::MP::Transport;
83 84
84use utf8;
85use common::sense; 85use common::sense;
86 86
87use Carp (); 87use Carp ();
88 88
89use AE (); 89use AE ();
90 90
91use base "Exporter"; 91use base "Exporter";
92 92
93our $VERSION = '0.0'; 93our $VERSION = '0.02';
94our @EXPORT = qw(NODE $NODE $PORT snd rcv _any_); 94our @EXPORT = qw(
95 NODE $NODE *SELF node_of _any_
96 become_slave become_public
97 snd rcv mon kil reg psub
98 port
99);
95 100
96our $DEFAULT_SECRET; 101our $SELF;
97our $DEFAULT_PORT = "4040";
98 102
99our $CONNECT_INTERVAL = 5; # new connect every 5s, at least 103sub _self_die() {
100our $CONNECT_TIMEOUT = 30; # includes handshake 104 my $msg = $@;
105 $msg =~ s/\n+$// unless ref $msg;
106 kil $SELF, die => $msg;
107}
101 108
102sub default_secret { 109=item $thisnode = NODE / $NODE
103 unless (defined $DEFAULT_SECRET) { 110
104 if (open my $fh, "<$ENV{HOME}/.aemp-secret") { 111The C<NODE> function returns, and the C<$NODE> variable contains
105 sysread $fh, $DEFAULT_SECRET, -s $fh; 112the noderef of the local node. The value is initialised by a call
113to C<become_public> or C<become_slave>, after which all local port
114identifiers become invalid.
115
116=item $noderef = node_of $portid
117
118Extracts and returns the noderef from a portid or a noderef.
119
120=item $SELF
121
122Contains the current port id while executing C<rcv> callbacks or C<psub>
123blocks.
124
125=item SELF, %SELF, @SELF...
126
127Due to some quirks in how perl exports variables, it is impossible to
128just export C<$SELF>, all the symbols called C<SELF> are exported by this
129module, but only C<$SELF> is currently used.
130
131=item snd $portid, type => @data
132
133=item snd $portid, @msg
134
135Send the given message to the given port ID, which can identify either
136a local or a remote port, and can be either a string or soemthignt hat
137stringifies a sa port ID (such as a port object :).
138
139While the message can be about anything, it is highly recommended to use a
140string as first element (a portid, or some word that indicates a request
141type etc.).
142
143The message data effectively becomes read-only after a call to this
144function: modifying any argument is not allowed and can cause many
145problems.
146
147The type of data you can transfer depends on the transport protocol: when
148JSON is used, then only strings, numbers and arrays and hashes consisting
149of those are allowed (no objects). When Storable is used, then anything
150that Storable can serialise and deserialise is allowed, and for the local
151node, anything can be passed.
152
153=item kil $portid[, @reason]
154
155Kill the specified port with the given C<@reason>.
156
157If no C<@reason> is specified, then the port is killed "normally" (linked
158ports will not be kileld, or even notified).
159
160Otherwise, linked ports get killed with the same reason (second form of
161C<mon>, see below).
162
163Runtime errors while evaluating C<rcv> callbacks or inside C<psub> blocks
164will be reported as reason C<< die => $@ >>.
165
166Transport/communication errors are reported as C<< transport_error =>
167$message >>.
168
169=item $guard = mon $portid, $cb->(@reason)
170
171=item $guard = mon $portid, $otherport
172
173=item $guard = mon $portid, $otherport, @msg
174
175Monitor the given port and do something when the port is killed.
176
177In the first form, the callback is simply called with any number
178of C<@reason> elements (no @reason means that the port was deleted
179"normally"). Note also that I<< the callback B<must> never die >>, so use
180C<eval> if unsure.
181
182In the second form, the other port will be C<kil>'ed with C<@reason>, iff
183a @reason was specified, i.e. on "normal" kils nothing happens, while
184under all other conditions, the other port is killed with the same reason.
185
186In the last form, a message of the form C<@msg, @reason> will be C<snd>.
187
188Example: call a given callback when C<$port> is killed.
189
190 mon $port, sub { warn "port died because of <@_>\n" };
191
192Example: kill ourselves when C<$port> is killed abnormally.
193
194 mon $port, $self;
195
196Example: send us a restart message another C<$port> is killed.
197
198 mon $port, $self => "restart";
199
200=cut
201
202sub mon {
203 my ($noderef, $port, $cb) = ((split /#/, shift, 2), shift);
204
205 my $node = $NODE{$noderef} || add_node $noderef;
206
207 #TODO: ports must not be references
208 if (!ref $cb or "AnyEvent::MP::Port" eq ref $cb) {
209 if (@_) {
210 # send a kill info message
211 my (@msg) = ($cb, @_);
212 $cb = sub { snd @msg, @_ };
106 } else { 213 } else {
107 $DEFAULT_SECRET = AnyEvent::MP::Util::nonce 32; 214 # simply kill other port
215 my $port = $cb;
216 $cb = sub { kil $port, @_ if @_ };
108 } 217 }
109 } 218 }
110 219
111 $DEFAULT_SECRET 220 $node->monitor ($port, $cb);
112}
113 221
114our $UNIQ = sprintf "%x.%x", $$, time; # per-process/node unique cookie 222 defined wantarray
115our $PUBLIC = 0; 223 and AnyEvent::Util::guard { $node->unmonitor ($port, $cb) }
116our $NODE;
117our $PORT;
118
119our %NODE; # node id to transport mapping, or "undef", for local node
120our %PORT; # local ports
121our %LISTENER; # local transports
122
123sub NODE() { $NODE }
124
125{
126 use POSIX ();
127 my $nodename = (POSIX::uname)[1];
128 $NODE = "$$\@$nodename";
129} 224}
130 225
131sub _ANY_() { 1 } 226=item $guard = mon_guard $port, $ref, $ref...
132sub _any_() { \&_ANY_ }
133 227
134sub add_node { 228Monitors the given C<$port> and keeps the passed references. When the port
229is killed, the references will be freed.
230
231Optionally returns a guard that will stop the monitoring.
232
233This function is useful when you create e.g. timers or other watchers and
234want to free them when the port gets killed:
235
236 $port->rcv (start => sub {
237 my $timer; $timer = mon_guard $port, AE::timer 1, 1, sub {
238 undef $timer if 0.9 < rand;
239 });
240 });
241
242=cut
243
244sub mon_guard {
135 my ($noderef) = @_; 245 my ($port, @refs) = @_;
136 246
137 return $NODE{$noderef} 247 mon $port, sub { 0 && @refs }
138 if exists $NODE{$noderef}; 248}
139 249
140 for (split /,/, $noderef) { 250=item lnk $port1, $port2
141 return $NODE{$noderef} = $NODE{$_} 251
142 if exists $NODE{$_}; 252Link two ports. This is simply a shorthand for:
253
254 mon $port1, $port2;
255 mon $port2, $port1;
256
257It means that if either one is killed abnormally, the other one gets
258killed as well.
259
260=item $local_port = port
261
262Create a new local port object that supports message matching.
263
264=item $portid = port { my @msg = @_; $finished }
265
266Creates a "mini port", that is, a very lightweight port without any
267pattern matching behind it, and returns its ID.
268
269The block will be called for every message received on the port. When the
270callback returns a true value its job is considered "done" and the port
271will be destroyed. Otherwise it will stay alive.
272
273The message will be passed as-is, no extra argument (i.e. no port id) will
274be passed to the callback.
275
276If you need the local port id in the callback, this works nicely:
277
278 my $port; $port = miniport {
279 snd $otherport, reply => $port;
280 };
281
282=cut
283
284sub port(;&) {
285 my $id = "$UNIQ." . $ID++;
286 my $port = "$NODE#$id";
287
288 if (@_) {
289 my $cb = shift;
290 $PORT{$id} = sub {
291 local $SELF = $port;
292 eval {
293 &$cb
294 and kil $id;
295 };
296 _self_die if $@;
297 };
298 } else {
299 my $self = bless {
300 id => "$NODE#$id",
301 }, "AnyEvent::MP::Port";
302
303 $PORT_DATA{$id} = $self;
304 $PORT{$id} = sub {
305 local $SELF = $port;
306
307 eval {
308 for (@{ $self->{rc0}{$_[0]} }) {
309 $_ && &{$_->[0]}
310 && undef $_;
311 }
312
313 for (@{ $self->{rcv}{$_[0]} }) {
314 $_ && [@_[1 .. @{$_->[1]}]] ~~ $_->[1]
315 && &{$_->[0]}
316 && undef $_;
317 }
318
319 for (@{ $self->{any} }) {
320 $_ && [@_[0 .. $#{$_->[1]}]] ~~ $_->[1]
321 && &{$_->[0]}
322 && undef $_;
323 }
324 };
325 _self_die if $@;
326 };
143 } 327 }
144 328
145 # for indirect sends, use a different class 329 $port
146 my $node = new AnyEvent::MP::Node::Direct $noderef;
147
148 $NODE{$_} = $node
149 for $noderef, split /,/, $noderef;
150
151 $node
152} 330}
153 331
332=item reg $portid, $name
333
334Registers the given port under the name C<$name>. If the name already
335exists it is replaced.
336
337A port can only be registered under one well known name.
338
339A port automatically becomes unregistered when it is killed.
340
341=cut
342
343sub reg(@) {
344 my ($portid, $name) = @_;
345
346 $REG{$name} = $portid;
347}
348
349=item rcv $portid, tagstring => $callback->(@msg), ...
350
351=item rcv $portid, $smartmatch => $callback->(@msg), ...
352
353=item rcv $portid, [$smartmatch...] => $callback->(@msg), ...
354
355Register callbacks to be called on matching messages on the given port.
356
357The callback has to return a true value when its work is done, after
358which is will be removed, or a false value in which case it will stay
359registered.
360
361The global C<$SELF> (exported by this module) contains C<$portid> while
362executing the callback.
363
364Runtime errors wdurign callback execution will result in the port being
365C<kil>ed.
366
367If the match is an array reference, then it will be matched against the
368first elements of the message, otherwise only the first element is being
369matched.
370
371Any element in the match that is specified as C<_any_> (a function
372exported by this module) matches any single element of the message.
373
374While not required, it is highly recommended that the first matching
375element is a string identifying the message. The one-string-only match is
376also the most efficient match (by far).
377
378=cut
379
154sub snd($@) { 380sub rcv($@) {
155 my ($noderef, $port) = split /#/, shift, 2; 381 my ($noderef, $port) = split /#/, shift, 2;
156 382
157 add_node $noderef 383 ($NODE{$noderef} || add_node $noderef) == $NODE{""}
158 unless exists $NODE{$noderef}; 384 or Carp::croak "$noderef#$port: rcv can only be called on local ports, caught";
159 385
160 $NODE{$noderef}->send ([$port, [@_]]); 386 my $self = $PORT_DATA{$port}
161} 387 or Carp::croak "$noderef#$port: rcv can only be called on message matching ports, caught";
162 388
163sub _inject { 389 "AnyEvent::MP::Port" eq ref $self
164 my ($port, $msg) = @{+shift}; 390 or Carp::croak "$noderef#$port: rcv can only be called on message matching ports, caught";
165 391
166 $port = $PORT{$port} 392 while (@_) {
167 or return; 393 my ($match, $cb) = splice @_, 0, 2;
168 394
169 use Data::Dumper; 395 if (!ref $match) {
170 warn Dumper $msg; 396 push @{ $self->{rc0}{$match} }, [$cb];
171} 397 } elsif (("ARRAY" eq ref $match && !ref $match->[0])) {
172 398 my ($type, @match) = @$match;
173sub normalise_noderef($) { 399 @match
174 my ($noderef) = @_; 400 ? push @{ $self->{rcv}{$match->[0]} }, [$cb, \@match]
175 401 : push @{ $self->{rc0}{$match->[0]} }, [$cb];
176 my $cv = AE::cv;
177 my @res;
178
179 $cv->begin (sub {
180 my %seen;
181 my @refs;
182 for (sort { $a->[0] <=> $b->[0] } @res) {
183 push @refs, $_->[1] unless $seen{$_->[1]}++
184 }
185 shift->send (join ",", @refs);
186 });
187
188 $noderef = $DEFAULT_PORT unless length $noderef;
189
190 my $idx;
191 for my $t (split /,/, $noderef) {
192 my $pri = ++$idx;
193
194 #TODO: this should be outside normalise_noderef and in become_public
195 if ($t =~ /^\d*$/) {
196 my $nodename = (POSIX::uname)[1];
197
198 $cv->begin;
199 AnyEvent::Socket::resolve_sockaddr $nodename, $t || "aemp=$DEFAULT_PORT", "tcp", 0, undef, sub {
200 for (@_) {
201 my ($service, $host) = AnyEvent::Socket::unpack_sockaddr $_->[3];
202 push @res, [
203 $pri += 1e-5,
204 AnyEvent::Socket::format_hostport AnyEvent::Socket::format_address $host, $service
205 ];
206 }
207 $cv->end;
208 };
209
210# my (undef, undef, undef, undef, @ipv4) = gethostbyname $nodename;
211#
212# for (@ipv4) {
213# push @res, [
214# $pri,
215# AnyEvent::Socket::format_hostport AnyEvent::Socket::format_address $_, $t || $DEFAULT_PORT,
216# ];
217# }
218 } else { 402 } else {
219 my ($host, $port) = AnyEvent::Socket::parse_hostport $t, "aemp=$DEFAULT_PORT" 403 push @{ $self->{any} }, [$cb, $match];
220 or Carp::croak "$t: unparsable transport descriptor";
221
222 $cv->begin;
223 AnyEvent::Socket::resolve_sockaddr $host, $port, "tcp", 0, undef, sub {
224 for (@_) {
225 my ($service, $host) = AnyEvent::Socket::unpack_sockaddr $_->[3];
226 push @res, [
227 $pri += 1e-5,
228 AnyEvent::Socket::format_hostport AnyEvent::Socket::format_address $host, $service
229 ];
230 }
231 $cv->end;
232 }
233 } 404 }
234 } 405 }
235
236 $cv->end;
237
238 $cv
239} 406}
240 407
241sub become_public { 408=item $closure = psub { BLOCK }
242 return if $PUBLIC;
243 409
244 my $noderef = join ",", ref $_[0] ? @{+shift} : shift; 410Remembers C<$SELF> and creates a closure out of the BLOCK. When the
245 my @args = @_; 411closure is executed, sets up the environment in the same way as in C<rcv>
412callbacks, i.e. runtime errors will cause the port to get C<kil>ed.
246 413
247 $NODE = (normalise_noderef $noderef)->recv; 414This is useful when you register callbacks from C<rcv> callbacks:
248 415
249 my $self = new AnyEvent::MP::Node::Self noderef => $NODE; 416 rcv delayed_reply => sub {
250 417 my ($delay, @reply) = @_;
251 $NODE{""} = $self; # empty string == local node 418 my $timer = AE::timer $delay, 0, psub {
252 419 snd @reply, $SELF;
253 for my $t (split /,/, $NODE) {
254 $NODE{$t} = $self;
255
256 my ($host, $port) = AnyEvent::Socket::parse_hostport $t;
257
258 $LISTENER{$t} = AnyEvent::MP::Transport::mp_server $host, $port,
259 @args,
260 on_error => sub {
261 die "on_error<@_>\n";#d#
262 },
263 on_connect => sub {
264 my ($tp) = @_;
265
266 $NODE{$tp->{remote_id}} = $_[0];
267 },
268 sub {
269 my ($tp) = @_;
270
271 $NODE{"$tp->{peerhost}:$tp->{peerport}"} = $tp;
272 },
273 ; 420 };
421 };
422
423=cut
424
425sub psub(&) {
426 my $cb = shift;
427
428 my $port = $SELF
429 or Carp::croak "psub can only be called from within rcv or psub callbacks, not";
430
431 sub {
432 local $SELF = $port;
433
434 if (wantarray) {
435 my @res = eval { &$cb };
436 _self_die if $@;
437 @res
438 } else {
439 my $res = eval { &$cb };
440 _self_die if $@;
441 $res
442 }
274 } 443 }
275
276 $PUBLIC = 1;
277} 444}
445
446=back
447
448=head1 FUNCTIONS FOR NODES
449
450=over 4
451
452=item become_public endpoint...
453
454Tells the node to become a public node, i.e. reachable from other nodes.
455
456If no arguments are given, or the first argument is C<undef>, then
457AnyEvent::MP tries to bind on port C<4040> on all IP addresses that the
458local nodename resolves to.
459
460Otherwise the first argument must be an array-reference with transport
461endpoints ("ip:port", "hostname:port") or port numbers (in which case the
462local nodename is used as hostname). The endpoints are all resolved and
463will become the node reference.
464
465=cut
466
467=back
468
469=head1 NODE MESSAGES
470
471Nodes understand the following messages sent to them. Many of them take
472arguments called C<@reply>, which will simply be used to compose a reply
473message - C<$reply[0]> is the port to reply to, C<$reply[1]> the type and
474the remaining arguments are simply the message data.
475
476=over 4
477
478=cut
479
480=item lookup => $name, @reply
481
482Replies with the port ID of the specified well-known port, or C<undef>.
483
484=item devnull => ...
485
486Generic data sink/CPU heat conversion.
487
488=item relay => $port, @msg
489
490Simply forwards the message to the given port.
491
492=item eval => $string[ @reply]
493
494Evaluates the given string. If C<@reply> is given, then a message of the
495form C<@reply, $@, @evalres> is sent.
496
497Example: crash another node.
498
499 snd $othernode, eval => "exit";
500
501=item time => @reply
502
503Replies the the current node time to C<@reply>.
504
505Example: tell the current node to send the current time to C<$myport> in a
506C<timereply> message.
507
508 snd $NODE, time => $myport, timereply => 1, 2;
509 # => snd $myport, timereply => 1, 2, <time>
278 510
279=back 511=back
280 512
281=head1 SEE ALSO 513=head1 SEE ALSO
282 514

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines