ChorusOS 4.0 Hot Restart Programmer's Guide

4.3 Killing Restartable Actors

At times it may be desirable to circumvent the automatic restart mechanism provided by the Hot Restart Controller and explicitly terminate (kill) a restartable actor. Actors which are killed will not be restarted. Killing an actor automatically kills all actors within the actor's restart group. This is because a restart group must remain consistent, and may not be able to function properly if an actor is no longer present.

Restartable actors can be explicitly killed using either of the following:

Either method has the same result: all actors in the associated restart group are killed, and the Hot Restart Controller terminates the group as though all actors had exited cleanly (see "4.2.4.1 Group Termination").