Module process

Help

Expand description

Types for Tock-compatible processes.

Re-exports§

BinaryVersion: The version of a binary.
FunctionCall: Struct that defines a upcall that can be passed to a process. The upcall takes four arguments that are Driver and upcall specific, so they are represented generically here.
ProcessAddresses: Collection of process state information related to the memory addresses of different elements of the process.
ProcessBinary: A process stored in flash.
ProcessCustomGrantIdentifier: Opaque identifier for custom grants allocated dynamically from a process’s grant region.
ProcessId: Userspace process identifier.
ProcessPrinterContext: A context token that the caller must pass back to us. This allows us to track where we are in the print operation.
ProcessSizes: Collection of process state related to the size in memory of various process structures.
ProcessStandard: A type for userspace processes in Tock.
ProcessStandardDebugFull: A debugging implementation for ProcessStandard that records the full debugging state.
ReturnArguments: This is similar to FunctionCall but for the special case of the Null Upcall for a subscribe.
SequentialProcessLoaderMachine: A machine for loading processes stored sequentially in a region of flash.

Error: Error types related to processes.
FaultAction: The action the kernel should take when a process encounters a fault.
FunctionCallSource: Enumeration to identify whether a function call for a process comes directly from the kernel or from a upcall subscribed through a Driver implementation.
ProcessLoadError: Errors that can occur when trying to load and create processes.
ShortId: A compressed form of an Application Identifier.
State: States a process can be in.
StoppedExecutingReason: Enum used to inform scheduler why a process stopped executing (aka why do_process() returned).
StoppedState: States a process could previously have been in when stopped.
Task: Tasks that can be enqueued for a process.

Process: This trait represents a generic process that the Tock scheduler can schedule.
ProcessFaultPolicy: Generic trait for implementing a policy on what to do when a process faults.
ProcessLoadingAsync: Asynchronous process loading.
ProcessLoadingAsyncClient: Client for asynchronous process loading.
ProcessPrinter: Trait for creating a custom “process printer” that formats process state in some sort of presentable format.
ProcessStandardDebug: Interface supported by ProcessStandard for recording debug information.
ProcessStandardStoragePermissionsPolicy: Generic trait for implementing a policy on how applications should be assigned storage permissions.