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.