Struct WriterSlot 

pub struct WriterSlot<'a> { /* private fields */ }

Sole-writer capability bound to a validated writable mapping.

Implementations

impl<'a> WriterSlot<'a>

pub unsafe fn bind( header: &'a SlotMetadata, binding: WriterSlotBinding, ) -> Result<Self, SlotError>

Binds atomic metadata reached through the sole writer’s mapping.

Safety

header must reside at the checked slot offset represented by binding. This process must be the only holder of a writable mapping, and the mapping must remain live for 'a. No other writer capability may be bound for this slot while this value exists.

pub fn prepare_publish( &mut self, sequence: u64, acknowledgement: Option<AcknowledgementObservation>, ) -> Result<PublishReservation<'_>, SlotError>

Checks sequence/slot/reuse invariants before payload mutation begins.