Module process

Types for Tock-compatible processes.

Re-exports

• pub use crate::process_checker::AcceptedCredential;
• pub use crate::process_checker::ProcessCheckerMachine;
• pub use crate::process_checker::ProcessCheckerMachineClient;

Structs

• 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.

Enums

• 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.

Traits

• 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.

Functions

• load_processes
  Load processes into runnable process structures.