Confirmed users
699
edits
IPDL/Getting started: Difference between revisions
no edit summary
No edit summary |
|||
| Line 435: | Line 435: | ||
* all messages sent and received are checked against the protocol's state machine. if a message violates the state machine, generic error handling code is invoked; this will probably mean that the child process containing the child actor is terminated with extreme prejudice, and all parent actors are made invalid. | * all messages sent and received are checked against the protocol's state machine. if a message violates the state machine, generic error handling code is invoked; this will probably mean that the child process containing the child actor is terminated with extreme prejudice, and all parent actors are made invalid. | ||
* lots of syntactic sugar is possible for state machine definitions. ping the Electrolysis team if you have good proposals. | * lots of syntactic sugar is possible for state machine definitions. ping the Electrolysis team if you have good proposals. | ||
== Checkpoint 2 == | |||