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.16 by root, Sun Aug 2 19:29:41 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
32At the moment, this module family is severly brokena nd underdocumented, 38At the moment, this module family is severly broken and underdocumented,
33so do not use. This was uploaded mainly to resreve the CPAN namespace - 39so do not use. This was uploaded mainly to reserve the CPAN namespace -
34stay tuned! 40stay tuned! The basic API should be finished, however.
35 41
36=head1 CONCEPTS 42=head1 CONCEPTS
37 43
38=over 4 44=over 4
39 45
84 90
85use base "Exporter"; 91use base "Exporter";
86 92
87our $VERSION = '0.02'; 93our $VERSION = '0.02';
88our @EXPORT = qw( 94our @EXPORT = qw(
89 NODE $NODE $PORT snd rcv _any_ 95 NODE $NODE *SELF node_of _any_
90 create_port create_port_on
91 create_miniport
92 become_slave become_public 96 become_slave become_public
97 snd rcv mon kil reg psub
98 port
93); 99);
94 100
101our $SELF;
102
103sub _self_die() {
104 my $msg = $@;
105 $msg =~ s/\n+$// unless ref $msg;
106 kil $SELF, die => $msg;
107}
108
95=item NODE / $NODE 109=item $thisnode = NODE / $NODE
96 110
97The C<NODE ()> function and the C<$NODE> variable contain the noderef of 111The C<NODE> function returns, and the C<$NODE> variable contains
98the local node. The value is initialised by a call to C<become_public> or 112the noderef of the local node. The value is initialised by a call
99C<become_slave>, after which all local port identifiers become invalid. 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.
100 130
101=item snd $portid, type => @data 131=item snd $portid, type => @data
102 132
103=item snd $portid, @msg 133=item snd $portid, @msg
104 134
118JSON is used, then only strings, numbers and arrays and hashes consisting 148JSON is used, then only strings, numbers and arrays and hashes consisting
119of those are allowed (no objects). When Storable is used, then anything 149of those are allowed (no objects). When Storable is used, then anything
120that Storable can serialise and deserialise is allowed, and for the local 150that Storable can serialise and deserialise is allowed, and for the local
121node, anything can be passed. 151node, anything can be passed.
122 152
123=item $local_port = create_port 153=item kil $portid[, @reason]
124 154
125Create a new local port object. See the next section for allowed methods. 155Kill the specified port with the given C<@reason>.
126 156
127=cut 157If no C<@reason> is specified, then the port is killed "normally" (linked
158ports will not be kileld, or even notified).
128 159
129sub create_port { 160Otherwise, linked ports get killed with the same reason (second form of
130 my $id = "$AnyEvent::MP::Base::UNIQ." . $AnyEvent::MP::Base::ID++; 161C<mon>, see below).
131 162
132 my $self = bless { 163Runtime errors while evaluating C<rcv> callbacks or inside C<psub> blocks
133 id => "$NODE#$id", 164will be reported as reason C<< die => $@ >>.
134 names => [$id],
135 }, "AnyEvent::MP::Port";
136 165
137 $AnyEvent::MP::Base::PORT{$id} = sub { 166Transport/communication errors are reported as C<< transport_error =>
138 unshift @_, $self; 167$message >>.
139 168
140 for (@{ $self->{rc0}{$_[1]} }) { 169=item $guard = mon $portid, $cb->(@reason)
141 $_ && &{$_->[0]} 170
142 && undef $_; 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, @_ };
213 } else {
214 # simply kill other port
215 my $port = $cb;
216 $cb = sub { kil $port, @_ if @_ };
143 } 217 }
144
145 for (@{ $self->{rcv}{$_[1]} }) {
146 $_ && [@_[1 .. @{$_->[1]}]] ~~ $_->[1]
147 && &{$_->[0]}
148 && undef $_;
149 }
150
151 for (@{ $self->{any} }) {
152 $_ && [@_[0 .. $#{$_->[1]}]] ~~ $_->[1]
153 && &{$_->[0]}
154 && undef $_;
155 }
156 }; 218 }
157 219
158 $self 220 $node->monitor ($port, $cb);
159}
160 221
222 defined wantarray
223 and AnyEvent::Util::guard { $node->unmonitor ($port, $cb) }
224}
225
226=item $guard = mon_guard $port, $ref, $ref...
227
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 {
245 my ($port, @refs) = @_;
246
247 mon $port, sub { 0 && @refs }
248}
249
250=item lnk $port1, $port2
251
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
161=item $portid = miniport { my @msg = @_; $finished } 264=item $portid = port { my @msg = @_; $finished }
162 265
163Creates a "mini port", that is, a very lightweight port without any 266Creates a "mini port", that is, a very lightweight port without any
164pattern matching behind it, and returns its ID. 267pattern matching behind it, and returns its ID.
165 268
166The block will be called for every message received on the port. When the 269The block will be called for every message received on the port. When the
167callback returns a true value its job is considered "done" and the port 270callback returns a true value its job is considered "done" and the port
168will be destroyed. Otherwise it will stay alive. 271will be destroyed. Otherwise it will stay alive.
169 272
170The message will be passed as-is, no extra argument (ie.. no port id) will 273The message will be passed as-is, no extra argument (i.e. no port id) will
171be passed to the callback. 274be passed to the callback.
172 275
173If you need the local port id in the callback, this works nicely: 276If you need the local port id in the callback, this works nicely:
174 277
175 my $port; $port = miniport { 278 my $port; $port = miniport {
176 snd $otherport, reply => $port; 279 snd $otherport, reply => $port;
177 }; 280 };
178 281
179=cut 282=cut
180 283
181sub miniport(&) { 284sub port(;&) {
285 my $id = "$UNIQ." . $ID++;
286 my $port = "$NODE#$id";
287
288 if (@_) {
182 my $cb = shift; 289 my $cb = shift;
183 my $id = "$AnyEvent::MP::Base::UNIQ." . $AnyEvent::MP::Base::ID++; 290 $PORT{$id} = sub {
184 291 local $SELF = $port;
185 $AnyEvent::MP::Base::PORT{$id} = sub { 292 eval {
186 &$cb 293 &$cb
187 and delete $AnyEvent::MP::Base::PORT{$id}; 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 };
188 }; 327 }
189 328
190 "$NODE#$id" 329 $port
191} 330}
192 331
193package AnyEvent::MP::Port; 332=item reg $portid, $name
194 333
195=back 334Registers the given port under the name C<$name>. If the name already
335exists it is replaced.
196 336
197=head1 METHODS FOR PORT OBJECTS 337A port can only be registered under one well known name.
198 338
199=over 4 339A port automatically becomes unregistered when it is killed.
200 340
201=item "$port"
202
203A port object stringifies to its port ID, so can be used directly for
204C<snd> operations.
205
206=cut 341=cut
207 342
208use overload 343sub reg(@) {
209 '""' => sub { $_[0]{id} }, 344 my ($portid, $name) = @_;
210 fallback => 1;
211 345
212=item $port->rcv (type => $callback->($port, @msg)) 346 $REG{$name} = $portid;
347}
213 348
214=item $port->rcv ($smartmatch => $callback->($port, @msg)) 349=item rcv $portid, tagstring => $callback->(@msg), ...
215 350
351=item rcv $portid, $smartmatch => $callback->(@msg), ...
352
216=item $port->rcv ([$smartmatch...] => $callback->($port, @msg)) 353=item rcv $portid, [$smartmatch...] => $callback->(@msg), ...
217 354
218Register a callback on the given port. 355Register callbacks to be called on matching messages on the given port.
219 356
220The callback has to return a true value when its work is done, after 357The callback has to return a true value when its work is done, after
221which is will be removed, or a false value in which case it will stay 358which is will be removed, or a false value in which case it will stay
222registered. 359registered.
223 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
224If the match is an array reference, then it will be matched against the 367If the match is an array reference, then it will be matched against the
225first elements of the message, otherwise only the first element is being 368first elements of the message, otherwise only the first element is being
226matched. 369matched.
227 370
228Any element in the match that is specified as C<_any_> (a function 371Any element in the match that is specified as C<_any_> (a function
233also the most efficient match (by far). 376also the most efficient match (by far).
234 377
235=cut 378=cut
236 379
237sub rcv($@) { 380sub rcv($@) {
238 my ($self, $match, $cb) = @_; 381 my ($noderef, $port) = split /#/, shift, 2;
239 382
383 ($NODE{$noderef} || add_node $noderef) == $NODE{""}
384 or Carp::croak "$noderef#$port: rcv can only be called on local ports, caught";
385
386 my $self = $PORT_DATA{$port}
387 or Carp::croak "$noderef#$port: rcv can only be called on message matching ports, caught";
388
389 "AnyEvent::MP::Port" eq ref $self
390 or Carp::croak "$noderef#$port: rcv can only be called on message matching ports, caught";
391
392 while (@_) {
393 my ($match, $cb) = splice @_, 0, 2;
394
240 if (!ref $match) { 395 if (!ref $match) {
241 push @{ $self->{rc0}{$match} }, [$cb]; 396 push @{ $self->{rc0}{$match} }, [$cb];
242 } elsif (("ARRAY" eq ref $match && !ref $match->[0])) { 397 } elsif (("ARRAY" eq ref $match && !ref $match->[0])) {
243 my ($type, @match) = @$match; 398 my ($type, @match) = @$match;
244 @match 399 @match
245 ? push @{ $self->{rcv}{$match->[0]} }, [$cb, \@match] 400 ? push @{ $self->{rcv}{$match->[0]} }, [$cb, \@match]
246 : push @{ $self->{rc0}{$match->[0]} }, [$cb]; 401 : push @{ $self->{rc0}{$match->[0]} }, [$cb];
247 } else { 402 } else {
248 push @{ $self->{any} }, [$cb, $match]; 403 push @{ $self->{any} }, [$cb, $match];
404 }
249 } 405 }
250} 406}
251 407
252=item $port->register ($name) 408=item $closure = psub { BLOCK }
253 409
254Registers the given port under the well known name C<$name>. If the name 410Remembers C<$SELF> and creates a closure out of the BLOCK. When the
255already exists it is replaced. 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.
256 413
257A port can only be registered under one well known name. 414This is useful when you register callbacks from C<rcv> callbacks:
258 415
259=cut 416 rcv delayed_reply => sub {
417 my ($delay, @reply) = @_;
418 my $timer = AE::timer $delay, 0, psub {
419 snd @reply, $SELF;
420 };
421 };
260 422
261sub register {
262 my ($self, $name) = @_;
263
264 $self->{wkname} = $name;
265 $AnyEvent::MP::Base::WKP{$name} = "$self";
266}
267
268=item $port->destroy
269
270Explicitly destroy/remove/nuke/vaporise the port.
271
272Ports are normally kept alive by there mere existance alone, and need to
273be destroyed explicitly.
274
275=cut 423=cut
276 424
277sub destroy { 425sub psub(&) {
278 my ($self) = @_; 426 my $cb = shift;
279 427
280 delete $AnyEvent::MP::Base::WKP{ $self->{wkname} }; 428 my $port = $SELF
429 or Carp::croak "psub can only be called from within rcv or psub callbacks, not";
281 430
282 delete $AnyEvent::MP::Base::PORT{$_} 431 sub {
283 for @{ $self->{names} }; 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 }
443 }
284} 444}
285 445
286=back 446=back
287 447
288=head1 FUNCTIONS FOR NODES 448=head1 FUNCTIONS FOR NODES
289 449
290=over 4 450=over 4
291
292=item mon $noderef, $callback->($noderef, $status, $)
293
294Monitors the given noderef.
295 451
296=item become_public endpoint... 452=item become_public endpoint...
297 453
298Tells the node to become a public node, i.e. reachable from other nodes. 454Tells the node to become a public node, i.e. reachable from other nodes.
299 455
319 475
320=over 4 476=over 4
321 477
322=cut 478=cut
323 479
324=item wkp => $name, @reply 480=item lookup => $name, @reply
325 481
326Replies with the port ID of the specified well-known port, or C<undef>. 482Replies with the port ID of the specified well-known port, or C<undef>.
327 483
328=item devnull => ... 484=item devnull => ...
329 485

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines