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.121 by root, Tue Feb 28 18:37:24 2012 UTC vs.
Revision 1.129 by root, Thu Mar 8 21:37:51 2012 UTC

35 # destroy a port again 35 # destroy a port again
36 kil $port; # "normal" kill 36 kil $port; # "normal" kill
37 kil $port, my_error => "everything is broken"; # error kill 37 kil $port, my_error => "everything is broken"; # error kill
38 38
39 # monitoring 39 # monitoring
40 mon $localport, $cb->(@msg) # callback is invoked on death 40 mon $port, $cb->(@msg) # callback is invoked on death
41 mon $localport, $otherport # kill otherport on abnormal death 41 mon $port, $localport # kill localport on abnormal death
42 mon $localport, $otherport, @msg # send message on death 42 mon $port, $localport, @msg # send message on death
43 43
44 # temporarily execute code in port context 44 # temporarily execute code in port context
45 peval $port, sub { die "kill the port!" }; 45 peval $port, sub { die "kill the port!" };
46 46
47 # execute callbacks in $SELF port context 47 # execute callbacks in $SELF port context
82 82
83Ports are represented by (printable) strings called "port IDs". 83Ports are represented by (printable) strings called "port IDs".
84 84
85=item port ID - C<nodeid#portname> 85=item port ID - C<nodeid#portname>
86 86
87A port ID is the concatenation of a node ID, a hash-mark (C<#>) as 87A port ID is the concatenation of a node ID, a hash-mark (C<#>)
88separator, and a port name (a printable string of unspecified format). 88as separator, and a port name (a printable string of unspecified
89format created by AnyEvent::MP).
89 90
90=item node 91=item node
91 92
92A node is a single process containing at least one port - the node port, 93A node is a single process containing at least one port - the node port,
93which enables nodes to manage each other remotely, and to create new 94which enables nodes to manage each other remotely, and to create new
184use common::sense; 185use common::sense;
185 186
186use Carp (); 187use Carp ();
187 188
188use AE (); 189use AE ();
190use Guard ();
189 191
190use base "Exporter"; 192use base "Exporter";
191 193
192our $VERSION = $AnyEvent::MP::Config::VERSION; 194our $VERSION = $AnyEvent::MP::Config::VERSION;
193 195
194our @EXPORT = qw( 196our @EXPORT = qw(
195 NODE $NODE *SELF node_of after 197 NODE $NODE *SELF node_of after
196 configure 198 configure
197 snd rcv mon mon_guard kil psub peval spawn cal 199 snd rcv mon mon_guard kil psub peval spawn cal
198 port 200 port
201 db_set db_del db_reg
202 db_mon db_family db_keys db_values
199); 203);
200 204
201our $SELF; 205our $SELF;
202 206
203sub _self_die() { 207sub _self_die() {
227 231
228This function configures a node - it must be called exactly once (or 232This function configures a node - it must be called exactly once (or
229never) before calling other AnyEvent::MP functions. 233never) before calling other AnyEvent::MP functions.
230 234
231The key/value pairs are basically the same ones as documented for the 235The key/value pairs are basically the same ones as documented for the
232F<aemp> command line utility (sans the set/del prefix), with two additions: 236F<aemp> command line utility (sans the set/del prefix), with these additions:
233 237
234=over 4 238=over 4
235 239
236=item norc => $boolean (default false) 240=item norc => $boolean (default false)
237 241
242=item force => $boolean (default false) 246=item force => $boolean (default false)
243 247
244IF true, then the values specified in the C<configure> will take 248IF true, then the values specified in the C<configure> will take
245precedence over any values configured via the rc file. The default is for 249precedence over any values configured via the rc file. The default is for
246the rc file to override any options specified in the program. 250the rc file to override any options specified in the program.
251
252=item secure => $pass->($nodeid)
253
254In addition to specifying a boolean, you can specify a code reference that
255is called for every remote execution attempt - the execution request is
256granted iff the callback returns a true value.
257
258See F<semp setsecure> for more info.
247 259
248=back 260=back
249 261
250=over 4 262=over 4
251 263
267That means that the values specified in the profile have highest priority 279That means that the values specified in the profile have highest priority
268and the values specified directly via C<configure> have lowest priority, 280and the values specified directly via C<configure> have lowest priority,
269and can only be used to specify defaults. 281and can only be used to specify defaults.
270 282
271If the profile specifies a node ID, then this will become the node ID of 283If the profile specifies a node ID, then this will become the node ID of
272this process. If not, then the profile name will be used as node ID. The 284this process. If not, then the profile name will be used as node ID, with
273special node ID of C<anon/> will be replaced by a random node ID. 285a unique randoms tring (C</%u>) appended.
286
287The node ID can contain some C<%> sequences that are expanded: C<%n>
288is expanded to the local nodename, C<%u> is replaced by a random
289strign to make the node unique. For example, the F<aemp> commandline
290utility uses C<aemp/%n/%u> as nodename, which might expand to
291C<aemp/cerebro/ZQDGSIkRhEZQDGSIkRhE>.
274 292
275=item step 2, bind listener sockets 293=item step 2, bind listener sockets
276 294
277The next step is to look up the binds in the profile, followed by binding 295The next step is to look up the binds in the profile, followed by binding
278aemp protocol listeners on all binds specified (it is possible and valid 296aemp protocol listeners on all binds specified (it is possible and valid
295Example: become a distributed node using the local node name as profile. 313Example: become a distributed node using the local node name as profile.
296This should be the most common form of invocation for "daemon"-type nodes. 314This should be the most common form of invocation for "daemon"-type nodes.
297 315
298 configure 316 configure
299 317
300Example: become an anonymous node. This form is often used for commandline 318Example: become a semi-anonymous node. This form is often used for
301clients. 319commandline clients.
302 320
303 configure nodeid => "anon/"; 321 configure nodeid => "myscript/%n/%u";
304 322
305Example: configure a node using a profile called seed, which is suitable 323Example: configure a node using a profile called seed, which is suitable
306for a seed node as it binds on all local addresses on a fixed port (4040, 324for a seed node as it binds on all local addresses on a fixed port (4040,
307customary for aemp). 325customary for aemp).
308 326
309 # use the aemp commandline utility 327 # use the aemp commandline utility
310 # aemp profile seed nodeid anon/ binds '*:4040' 328 # aemp profile seed binds '*:4040'
311 329
312 # then use it 330 # then use it
313 configure profile => "seed"; 331 configure profile => "seed";
314 332
315 # or simply use aemp from the shell again: 333 # or simply use aemp from the shell again:
385sub _kilme { 403sub _kilme {
386 die "received message on port without callback"; 404 die "received message on port without callback";
387} 405}
388 406
389sub port(;&) { 407sub port(;&) {
390 my $id = "$UNIQ." . ++$ID; 408 my $id = $UNIQ . ++$ID;
391 my $port = "$NODE#$id"; 409 my $port = "$NODE#$id";
392 410
393 rcv $port, shift || \&_kilme; 411 rcv $port, shift || \&_kilme;
394 412
395 $port 413 $port
668 } 686 }
669 687
670 $node->monitor ($port, $cb); 688 $node->monitor ($port, $cb);
671 689
672 defined wantarray 690 defined wantarray
673 and ($cb += 0, AnyEvent::Util::guard { $node->unmonitor ($port, $cb) }) 691 and ($cb += 0, Guard::guard { $node->unmonitor ($port, $cb) })
674} 692}
675 693
676=item $guard = mon_guard $port, $ref, $ref... 694=item $guard = mon_guard $port, $ref, $ref...
677 695
678Monitors the given C<$port> and keeps the passed references. When the port 696Monitors the given C<$port> and keeps the passed references. When the port
782} 800}
783 801
784sub spawn(@) { 802sub spawn(@) {
785 my ($nodeid, undef) = split /#/, shift, 2; 803 my ($nodeid, undef) = split /#/, shift, 2;
786 804
787 my $id = "$RUNIQ." . ++$ID; 805 my $id = $RUNIQ . ++$ID;
788 806
789 $_[0] =~ /::/ 807 $_[0] =~ /::/
790 or Carp::croak "spawn init function must be a fully-qualified name, caught"; 808 or Carp::croak "spawn init function must be a fully-qualified name, caught";
791 809
792 snd_to_func $nodeid, "AnyEvent::MP::_spawn" => $id, @_; 810 snd_to_func $nodeid, "AnyEvent::MP::_spawn" => $id, @_;
816 ref $action[0] 834 ref $action[0]
817 ? $action[0]() 835 ? $action[0]()
818 : snd @action; 836 : snd @action;
819 }; 837 };
820} 838}
839
840#=item $cb2 = timeout $seconds, $cb[, @args]
821 841
822=item cal $port, @msg, $callback[, $timeout] 842=item cal $port, @msg, $callback[, $timeout]
823 843
824A simple form of RPC - sends a message to the given C<$port> with the 844A simple form of RPC - sends a message to the given C<$port> with the
825given contents (C<@msg>), but adds a reply port to the message. 845given contents (C<@msg>), but adds a reply port to the message.
871 $port 891 $port
872} 892}
873 893
874=back 894=back
875 895
896=head1 DISTRIBUTED DATABASE
897
898AnyEvent::MP comes with a simple distributed database. The database will
899be mirrored asynchronously at all global nodes. Other nodes bind to one of
900the global nodes for their needs.
901
902The database consists of a two-level hash - a hash contains a hash which
903contains values.
904
905The top level hash key is called "family", and the second-level hash key
906is called "subkey" or simply "key".
907
908The family must be alphanumeric, i.e. start with a letter and consist
909of letters, digits, underscores and colons (C<[A-Za-z][A-Za-z0-9_:]*>,
910pretty much like Perl module names.
911
912As the family namespace is global, it is recommended to prefix family names
913with the name of the application or module using it.
914
915The subkeys must be non-empty strings, with no further restrictions.
916
917The values should preferably be strings, but other perl scalars should
918work as well (such as undef, arrays and hashes).
919
920Every database entry is owned by one node - adding the same family/subkey
921combination on multiple nodes will not cause discomfort for AnyEvent::MP,
922but the result might be nondeterministic, i.e. the key might have
923different values on different nodes.
924
925Different subkeys in the same family can be owned by different nodes
926without problems, and in fact, this is the common method to create worker
927pools. For example, a worker port for image scaling might do this:
928
929 db_set my_image_scalers => $port;
930
931And clients looking for an image scaler will want to get the
932C<my_image_scalers> keys from time to time:
933
934 db_keys my_image_scalers => sub {
935 @ports = @{ $_[0] };
936 };
937
938Or better yet, they want to monitor the database family, so they always
939have a reasonable up-to-date copy:
940
941 db_mon my_image_scalers => sub {
942 @ports = keys %{ $_[0] };
943 };
944
945In general, you can set or delete single subkeys, but query and monitor
946whole families only.
947
948If you feel the need to monitor or query a single subkey, try giving it
949it's own family.
950
951=over
952
953=item db_set $family => $subkey [=> $value]
954
955Sets (or replaces) a key to the database - if C<$value> is omitted,
956C<undef> is used instead.
957
958=item db_del $family => $subkey
959
960Deletes a key from the database.
961
962=item $guard = db_reg $family => $subkey [=> $value]
963
964Sets the key on the database and returns a guard. When the guard is
965destroyed, the key is deleted from the database. If C<$value> is missing,
966then C<undef> is used.
967
968=item db_family $family => $cb->(\%familyhash)
969
970Queries the named database C<$family> and call the callback with the
971family represented as a hash. You can keep and freely modify the hash.
972
973=item db_keys $family => $cb->(\@keys)
974
975Same as C<db_family>, except it only queries the family I<subkeys> and passes
976them as array reference to the callback.
977
978=item db_values $family => $cb->(\@values)
979
980Same as C<db_family>, except it only queries the family I<values> and passes them
981as array reference to the callback.
982
983=item $guard = db_mon $family => $cb->($familyhash, \@subkeys...)
984
985Creates a monitor on the given database family. Each time a key is set or
986or is deleted the callback is called with a hash containing the database
987family and an arrayref with subkeys that have changed.
988
989Specifically, if one of the passed subkeys exists in the $familyhash, then
990it is currently set to the value in the $familyhash. Otherwise, it has
991been deleted.
992
993The family hash reference belongs to AnyEvent::MP and B<must not be
994modified or stored> by the callback. When in doubt, make a copy.
995
996The first call will be with the current contents of the family and all
997keys, as if they were just added.
998
999It is possible that the callback is called with a change event even though
1000the subkey is already present and the value has not changed.
1001
1002The monitoring stops when the guard object is destroyed.
1003
1004Example: on every change to the family "mygroup", print out all keys.
1005
1006 my $guard = db_mon mygroup => sub {
1007 my ($family, $keys) = @_;
1008 print "mygroup members: ", (join " ", keys %$family), "\n";
1009 };
1010
1011Exmaple: wait until the family "My::Module::workers" is non-empty.
1012
1013 my $guard; $guard = db_mon My::Module::workers => sub {
1014 my ($family, $keys) = @_;
1015 return unless %$family;
1016 undef $guard;
1017 print "My::Module::workers now nonempty\n";
1018 };
1019
1020Example: print all changes to the family "AnyRvent::Fantasy::Module".
1021
1022 my $guard = db_mon AnyRvent::Fantasy::Module => sub {
1023 my ($family, $keys) = @_;
1024
1025 for (@$keys) {
1026 print "$_: ",
1027 (exists $family->{$_}
1028 ? $family->{$_}
1029 : "(deleted)"),
1030 "\n";
1031 }
1032 };
1033
1034=cut
1035
1036=back
1037
876=head1 AnyEvent::MP vs. Distributed Erlang 1038=head1 AnyEvent::MP vs. Distributed Erlang
877 1039
878AnyEvent::MP got lots of its ideas from distributed Erlang (Erlang node 1040AnyEvent::MP got lots of its ideas from distributed Erlang (Erlang node
879== aemp node, Erlang process == aemp port), so many of the documents and 1041== aemp node, Erlang process == aemp port), so many of the documents and
880programming techniques employed by Erlang apply to AnyEvent::MP. Here is a 1042programming techniques employed by Erlang apply to AnyEvent::MP. Here is a

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines