state_lease

Module: state_lease

Contents

Structs

• StackGeneration - Unforgeable identity shared by one launcher and stack generation.

---

firma_process_orchestrator::state_lease::StackGeneration

Struct

Unforgeable identity shared by one launcher and stack generation.

Unlike a process ID, this value is not reused by the operating system and does not imply that any process is alive. It exists only to distinguish one startup attempt and its runtime-state files from predecessors and successors. It does not bind a persisted numeric process identity to an OS process or prevent process-ID reuse. Detached startup creates the identity before spawning its supervisor, which lets both processes fence rollback to the same attempt. A [StateLease] is the capability that proves this identity was successfully claimed. See the crate-level lifecycle model.

Tuple Struct: ()

Traits: Eq, Copy

Trait Implementations:

• Clone
  • fn clone(self: &Self) -> StackGeneration
• Debug
  • fn fmt(self: &Self, f: & mut $crate::fmt::Formatter) -> $crate::fmt::Result
• Display
  • fn fmt(self: &Self, formatter: & mut std::fmt::Formatter) -> std::fmt::Result
• Default
  • fn default() -> Self
• FromStr
  • fn from_str(value: &str) -> Result<Self, <Self as >::Err>
• PartialEq
  • fn eq(self: &Self, other: &StackGeneration) -> bool