Module process_policies

Process policy implementations for the Tock kernel.

This file contains implementations of policies the Tock kernel can use when managing processes. For example, these policies control decisions such as whether a specific process should be restarted.

Structs

PanicFaultPolicy

Simply panic the entire board if a process faults.

RestartFaultPolicy

Always restart the process if it faults.

RestartWithDebugFaultPolicy

Always restart the process if it faults, but print a debug message:

StopFaultPolicy

Simply stop the process and no longer schedule it if a process faults.

StopWithDebugFaultPolicy

Stop the process and no longer schedule it if a process faults, but also print a debug message notifying the user that the process faulted and stopped.

ThresholdRestartFaultPolicy

Implementation of ProcessFaultPolicy that uses a threshold to decide whether to restart a process when it faults.

ThresholdRestartThenPanicFaultPolicy

Implementation of ProcessFaultPolicy that uses a threshold to decide whether to restart a process when it faults.