Module kernel::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. Because there is no function pointer in a Null Upcall we can only return these values to userspace. This is used to pass around upcall parameters when there is no associated upcall to actually call or userdata.
• 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 (stored as TBF objects in flash) into runnable process structures stored in the procs array and mark all successfully loaded processes as runnable. This method does not check the cryptographic credentials of TBF objects. Platforms for which code size is tight and do not need to check TBF credentials can call this method because it results in a smaller kernel, as it does not invoke the credential checking state machine.