Initialization semantics

Bootstrapping an FM program can be a little tricky. FM's rule is that processes are allowed to send messages only to processes that have not left the program and that:

1. have a smaller logical node number than the sender, or
2. had previously sent a message to the sender.

It is the responsibility of the FM program to ensure that no process send to a process that abandoned the program.

With FM's send rule, a programmer can make FM's dynamic process model resemble a static process model. See section Waiting for nodes to join, for some sample code to do this.

Go to the first, previous, next, last section, table of contents.