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.130 by root, Fri Mar 9 17:05:26 2012 UTC vs.
Revision 1.142 by root, Fri Mar 23 13:44:01 2012 UTC

46 46
47 # execute callbacks in $SELF port context 47 # execute callbacks in $SELF port context
48 my $timer = AE::timer 1, 0, psub { 48 my $timer = AE::timer 1, 0, psub {
49 die "kill the port, delayed"; 49 die "kill the port, delayed";
50 }; 50 };
51
52=head1 CURRENT STATUS
53
54 bin/aemp - stable.
55 AnyEvent::MP - stable API, should work.
56 AnyEvent::MP::Intro - explains most concepts.
57 AnyEvent::MP::Kernel - mostly stable API.
58 AnyEvent::MP::Global - stable API.
59 51
60=head1 DESCRIPTION 52=head1 DESCRIPTION
61 53
62This module (-family) implements a simple message passing framework. 54This module (-family) implements a simple message passing framework.
63 55
184 176
185use common::sense; 177use common::sense;
186 178
187use Carp (); 179use Carp ();
188 180
189use AE (); 181use AnyEvent ();
190use Guard (); 182use Guard ();
191 183
192use base "Exporter"; 184use base "Exporter";
193 185
194our $VERSION = $AnyEvent::MP::Config::VERSION; 186our $VERSION = $AnyEvent::MP::Config::VERSION;
247 239
248IF true, then the values specified in the C<configure> will take 240IF true, then the values specified in the C<configure> will take
249precedence over any values configured via the rc file. The default is for 241precedence over any values configured via the rc file. The default is for
250the rc file to override any options specified in the program. 242the rc file to override any options specified in the program.
251 243
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.
259
260=back 244=back
261 245
262=over 4 246=over 4
263 247
264=item step 1, gathering configuration from profiles 248=item step 1, gathering configuration from profiles
398 382
399=cut 383=cut
400 384
401sub rcv($@); 385sub rcv($@);
402 386
403sub _kilme { 387my $KILME = sub {
404 die "received message on port without callback"; 388 (my $tag = substr $_[0], 0, 30) =~ s/([\x20-\x7e])/./g;
405} 389 kil $SELF, unhandled_message => "no callback found for message '$tag'";
390};
406 391
407sub port(;&) { 392sub port(;&) {
408 my $id = $UNIQ . ++$ID; 393 my $id = $UNIQ . ++$ID;
409 my $port = "$NODE#$id"; 394 my $port = "$NODE#$id";
410 395
411 rcv $port, shift || \&_kilme; 396 rcv $port, shift || $KILME;
412 397
413 $port 398 $port
414} 399}
415 400
416=item rcv $local_port, $callback->(@msg) 401=item rcv $local_port, $callback->(@msg)
421 406
422The global C<$SELF> (exported by this module) contains C<$port> while 407The global C<$SELF> (exported by this module) contains C<$port> while
423executing the callback. Runtime errors during callback execution will 408executing the callback. Runtime errors during callback execution will
424result in the port being C<kil>ed. 409result in the port being C<kil>ed.
425 410
426The default callback received all messages not matched by a more specific 411The default callback receives all messages not matched by a more specific
427C<tag> match. 412C<tag> match.
428 413
429=item rcv $local_port, tag => $callback->(@msg_without_tag), ... 414=item rcv $local_port, tag => $callback->(@msg_without_tag), ...
430 415
431Register (or replace) callbacks to be called on messages starting with the 416Register (or replace) callbacks to be called on messages starting with the
595 $res 580 $res
596 } 581 }
597 } 582 }
598} 583}
599 584
585=item $guard = mon $port, $rcvport # kill $rcvport when $port dies
586
587=item $guard = mon $port # kill $SELF when $port dies
588
600=item $guard = mon $port, $cb->(@reason) # call $cb when $port dies 589=item $guard = mon $port, $cb->(@reason) # call $cb when $port dies
601
602=item $guard = mon $port, $rcvport # kill $rcvport when $port dies
603
604=item $guard = mon $port # kill $SELF when $port dies
605 590
606=item $guard = mon $port, $rcvport, @msg # send a message when $port dies 591=item $guard = mon $port, $rcvport, @msg # send a message when $port dies
607 592
608Monitor the given port and do something when the port is killed or 593Monitor the given port and do something when the port is killed or
609messages to it were lost, and optionally return a guard that can be used 594messages to it were lost, and optionally return a guard that can be used
610to stop monitoring again. 595to stop monitoring again.
611 596
597The first two forms distinguish between "normal" and "abnormal" kil's:
598
599In the first form (another port given), if the C<$port> is C<kil>'ed with
600a non-empty reason, the other port (C<$rcvport>) will be kil'ed with the
601same reason. That is, on "normal" kil's nothing happens, while under all
602other conditions, the other port is killed with the same reason.
603
604The second form (kill self) is the same as the first form, except that
605C<$rvport> defaults to C<$SELF>.
606
607The remaining forms don't distinguish between "normal" and "abnormal" kil's
608- it's up to the callback or receiver to check whether the C<@reason> is
609empty and act accordingly.
610
612In the first form (callback), the callback is simply called with any 611In the third form (callback), the callback is simply called with any
613number of C<@reason> elements (no @reason means that the port was deleted 612number of C<@reason> elements (empty @reason means that the port was deleted
614"normally"). Note also that I<< the callback B<must> never die >>, so use 613"normally"). Note also that I<< the callback B<must> never die >>, so use
615C<eval> if unsure. 614C<eval> if unsure.
616 615
617In the second form (another port given), the other port (C<$rcvport>)
618will be C<kil>'ed with C<@reason>, if a @reason was specified, i.e. on
619"normal" kils nothing happens, while under all other conditions, the other
620port is killed with the same reason.
621
622The third form (kill self) is the same as the second form, except that
623C<$rvport> defaults to C<$SELF>.
624
625In the last form (message), a message of the form C<@msg, @reason> will be 616In the last form (message), a message of the form C<$rcvport, @msg,
626C<snd>. 617@reason> will be C<snd>.
627 618
628Monitoring-actions are one-shot: once messages are lost (and a monitoring 619Monitoring-actions are one-shot: once messages are lost (and a monitoring
629alert was raised), they are removed and will not trigger again. 620alert was raised), they are removed and will not trigger again, even if it
621turns out that the port is still alive.
630 622
631As a rule of thumb, monitoring requests should always monitor a port from 623As a rule of thumb, monitoring requests should always monitor a remote
632a local port (or callback). The reason is that kill messages might get 624port locally (using a local C<$rcvport> or a callback). The reason is that
633lost, just like any other message. Another less obvious reason is that 625kill messages might get lost, just like any other message. Another less
634even monitoring requests can get lost (for example, when the connection 626obvious reason is that even monitoring requests can get lost (for example,
635to the other node goes down permanently). When monitoring a port locally 627when the connection to the other node goes down permanently). When
636these problems do not exist. 628monitoring a port locally these problems do not exist.
637 629
638C<mon> effectively guarantees that, in the absence of hardware failures, 630C<mon> effectively guarantees that, in the absence of hardware failures,
639after starting the monitor, either all messages sent to the port will 631after starting the monitor, either all messages sent to the port will
640arrive, or the monitoring action will be invoked after possible message 632arrive, or the monitoring action will be invoked after possible message
641loss has been detected. No messages will be lost "in between" (after 633loss has been detected. No messages will be lost "in between" (after
732will be reported as reason C<< die => $@ >>. 724will be reported as reason C<< die => $@ >>.
733 725
734Transport/communication errors are reported as C<< transport_error => 726Transport/communication errors are reported as C<< transport_error =>
735$message >>. 727$message >>.
736 728
737=cut 729Common idioms:
730
731 # silently remove yourself, do not kill linked ports
732 kil $SELF;
733
734 # report a failure in some detail
735 kil $SELF, failure_mode_1 => "it failed with too high temperature";
736
737 # do not waste much time with killing, just die when something goes wrong
738 open my $fh, "<file"
739 or die "file: $!";
738 740
739=item $port = spawn $node, $initfunc[, @initdata] 741=item $port = spawn $node, $initfunc[, @initdata]
740 742
741Creates a port on the node C<$node> (which can also be a port ID, in which 743Creates a port on the node C<$node> (which can also be a port ID, in which
742case it's the node where that port resides). 744case it's the node where that port resides).
894=back 896=back
895 897
896=head1 DISTRIBUTED DATABASE 898=head1 DISTRIBUTED DATABASE
897 899
898AnyEvent::MP comes with a simple distributed database. The database will 900AnyEvent::MP comes with a simple distributed database. The database will
899be mirrored asynchronously at all global nodes. Other nodes bind to one of 901be mirrored asynchronously on all global nodes. Other nodes bind to one
900the global nodes for their needs. 902of the global nodes for their needs. Every node has a "local database"
903which contains all the values that are set locally. All local databases
904are merged together to form the global database, which can be queried.
901 905
902The database consists of a two-level hash - a hash contains a hash which 906The database structure is that of a two-level hash - the database hash
903contains values. 907contains hashes which contain values, similarly to a perl hash of hashes,
908i.e.:
909
910 $DATABASE{$family}{$subkey} = $value
904 911
905The top level hash key is called "family", and the second-level hash key 912The top level hash key is called "family", and the second-level hash key
906is called "subkey" or simply "key". 913is called "subkey" or simply "key".
907 914
908The family must be alphanumeric, i.e. start with a letter and consist 915The family must be alphanumeric, i.e. start with a letter and consist
913with the name of the application or module using it. 920with the name of the application or module using it.
914 921
915The subkeys must be non-empty strings, with no further restrictions. 922The subkeys must be non-empty strings, with no further restrictions.
916 923
917The values should preferably be strings, but other perl scalars should 924The values should preferably be strings, but other perl scalars should
918work as well (such as undef, arrays and hashes). 925work as well (such as C<undef>, arrays and hashes).
919 926
920Every database entry is owned by one node - adding the same family/subkey 927Every database entry is owned by one node - adding the same family/subkey
921combination on multiple nodes will not cause discomfort for AnyEvent::MP, 928combination on multiple nodes will not cause discomfort for AnyEvent::MP,
922but the result might be nondeterministic, i.e. the key might have 929but the result might be nondeterministic, i.e. the key might have
923different values on different nodes. 930different values on different nodes.
948If you feel the need to monitor or query a single subkey, try giving it 955If you feel the need to monitor or query a single subkey, try giving it
949it's own family. 956it's own family.
950 957
951=over 958=over
952 959
953=item db_set $family => $subkey [=> $value] 960=item $guard = db_set $family => $subkey [=> $value]
954 961
955Sets (or replaces) a key to the database - if C<$value> is omitted, 962Sets (or replaces) a key to the database - if C<$value> is omitted,
956C<undef> is used instead. 963C<undef> is used instead.
957 964
965When called in non-void context, C<db_set> returns a guard that
966automatically calls C<db_del> when it is destroyed.
967
958=item db_del $family => $subkey... 968=item db_del $family => $subkey...
959 969
960Deletes one or more subkeys from the database family. 970Deletes one or more subkeys from the database family.
961 971
962=item $guard = db_reg $family => $subkey [=> $value] 972=item $guard = db_reg $family => $port => $value
963 973
964Sets the key on the database and returns a guard. When the guard is 974=item $guard = db_reg $family => $port
965destroyed, the key is deleted from the database. If C<$value> is missing, 975
966then C<undef> is used. 976=item $guard = db_reg $family
977
978Registers a port in the given family and optionally returns a guard to
979remove it.
980
981This function basically does the same as:
982
983 db_set $family => $port => $value
984
985Except that the port is monitored and automatically removed from the
986database family when it is kil'ed.
987
988If C<$value> is missing, C<undef> is used. If C<$port> is missing, then
989C<$SELF> is used.
990
991This function is most useful to register a port in some port group (which
992is just another name for a database family), and have it removed when the
993port is gone. This works best when the port is a local port.
994
995=cut
996
997sub db_reg($$;$) {
998 my $family = shift;
999 my $port = @_ ? shift : $SELF;
1000
1001 my $clr = sub { db_del $family => $port };
1002 mon $port, $clr;
1003
1004 db_set $family => $port => $_[0];
1005
1006 defined wantarray
1007 and &Guard::guard ($clr)
1008}
967 1009
968=item db_family $family => $cb->(\%familyhash) 1010=item db_family $family => $cb->(\%familyhash)
969 1011
970Queries the named database C<$family> and call the callback with the 1012Queries the named database C<$family> and call the callback with the
971family represented as a hash. You can keep and freely modify the hash. 1013family represented as a hash. You can keep and freely modify the hash.
985Creates a monitor on the given database family. Each time a key is set 1027Creates a monitor on the given database family. Each time a key is set
986or or is deleted the callback is called with a hash containing the 1028or or is deleted the callback is called with a hash containing the
987database family and three lists of added, changed and deleted subkeys, 1029database family and three lists of added, changed and deleted subkeys,
988respectively. If no keys have changed then the array reference might be 1030respectively. If no keys have changed then the array reference might be
989C<undef> or even missing. 1031C<undef> or even missing.
1032
1033If not called in void context, a guard object is returned that, when
1034destroyed, stops the monitor.
990 1035
991The family hash reference and the key arrays belong to AnyEvent::MP and 1036The family hash reference and the key arrays belong to AnyEvent::MP and
992B<must not be modified or stored> by the callback. When in doubt, make a 1037B<must not be modified or stored> by the callback. When in doubt, make a
993copy. 1038copy.
994 1039
1193Keeping your messages simple, concentrating on data structures rather than 1238Keeping your messages simple, concentrating on data structures rather than
1194objects, will keep your messages clean, tidy and efficient. 1239objects, will keep your messages clean, tidy and efficient.
1195 1240
1196=back 1241=back
1197 1242
1243=head1 PORTING FROM AnyEvent::MP VERSION 1.X
1244
1245AEMP version 2 has a few major incompatible changes compared to version 1:
1246
1247=over 4
1248
1249=item AnyEvent::MP::Global no longer has group management functions.
1250
1251At least not officially - the grp_* functions are still exported and might
1252work, but they will be removed in some later release.
1253
1254AnyEvent::MP now comes with a distributed database that is more
1255powerful. Its database families map closely to port groups, but the API
1256has changed (the functions are also now exported by AnyEvent::MP). Here is
1257a rough porting guide:
1258
1259 grp_reg $group, $port # old
1260 db_reg $group, $port # new
1261
1262 $list = grp_get $group # old
1263 db_keys $group, sub { my $list = shift } # new
1264
1265 grp_mon $group, $cb->(\@ports, $add, $del) # old
1266 db_mon $group, $cb->(\%ports, $add, $change, $del) # new
1267
1268C<grp_reg> is a no-brainer (just replace by C<db_reg>), but C<grp_get> is
1269no longer instant, because the local node might not have a copy of the
1270group. You can either modify your code to allow for a callback, or use
1271C<db_mon> to keep an updated copy of the group:
1272
1273 my $local_group_copy;
1274 db_mon $group => sub { $local_group_copy = $_[0] };
1275
1276 # now "keys %$local_group_copy" always returns the most up-to-date
1277 # list of ports in the group.
1278
1279C<grp_mon> can be replaced by C<db_mon> with minor changes - C<db_mon>
1280passes a hash as first argument, and an extra C<$chg> argument that can be
1281ignored:
1282
1283 db_mon $group => sub {
1284 my ($ports, $add, $chg, $lde) = @_;
1285 $ports = [keys %$ports];
1286
1287 # now $ports, $add and $del are the same as
1288 # were originally passed by grp_mon.
1289 ...
1290 };
1291
1292=item Nodes not longer connect to all other nodes.
1293
1294In AEMP 1.x, every node automatically loads the L<AnyEvent::MP::Global>
1295module, which in turn would create connections to all other nodes in the
1296network (helped by the seed nodes).
1297
1298In version 2.x, global nodes still connect to all other global nodes, but
1299other nodes don't - now every node either is a global node itself, or
1300attaches itself to another global node.
1301
1302If a node isn't a global node itself, then it attaches itself to one
1303of its seed nodes. If that seed node isn't a global node yet, it will
1304automatically be upgraded to a global node.
1305
1306So in many cases, nothing needs to be changed - one just has to make sure
1307that all seed nodes are meshed together with the other seed nodes (as with
1308AEMP 1.x), and other nodes specify them as seed nodes. This is most easily
1309achieved by specifying the same set of seed nodes for all nodes in the
1310network.
1311
1312Not opening a connection to every other node is usually an advantage,
1313except when you need the lower latency of an already established
1314connection. To ensure a node establishes a connection to another node,
1315you can monitor the node port (C<mon $node, ...>), which will attempt to
1316create the connection (and notify you when the connection fails).
1317
1318=item Listener-less nodes (nodes without binds) are gone.
1319
1320And are not coming back, at least not in their old form. If no C<binds>
1321are specified for a node, AnyEvent::MP assumes a default of C<*:*>.
1322
1323There are vague plans to implement some form of routing domains, which
1324might or might not bring back listener-less nodes, but don't count on it.
1325
1326The fact that most connections are now optional somewhat mitigates this,
1327as a node can be effectively unreachable from the outside without any
1328problems, as long as it isn't a global node and only reaches out to other
1329nodes (as opposed to being contacted from other nodes).
1330
1331=item $AnyEvent::MP::Kernel::WARN has gone.
1332
1333AnyEvent has acquired a logging framework (L<AnyEvent::Log>), and AEMP now
1334uses this, and so should your programs.
1335
1336Every module now documents what kinds of messages it generates, with
1337AnyEvent::MP acting as a catch all.
1338
1339On the positive side, this means that instead of setting
1340C<PERL_ANYEVENT_MP_WARNLEVEL>, you can get away by setting C<AE_VERBOSE> -
1341much less to type.
1342
1343=back
1344
1345=head1 LOGGING
1346
1347AnyEvent::MP does not normally log anything by itself, but sinc eit is the
1348root of the contetx hierarchy for AnyEvent::MP modules, it will receive
1349all log messages by submodules.
1350
1198=head1 SEE ALSO 1351=head1 SEE ALSO
1199 1352
1200L<AnyEvent::MP::Intro> - a gentle introduction. 1353L<AnyEvent::MP::Intro> - a gentle introduction.
1201 1354
1202L<AnyEvent::MP::Kernel> - more, lower-level, stuff. 1355L<AnyEvent::MP::Kernel> - more, lower-level, stuff.

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines