Struct Ledger 

pub struct Ledger {
    pub record: Record,
    /* private fields */
}

A record plus where it is written.

Fields

record: Record

Implementations

impl Ledger

pub fn from_store( region: &str, run_id: String, store: Arc<dyn RunStore>, ) -> Ledger

A ledger keyed by a caller-supplied per-invocation id in store.

The id is <epoch>-<pid>, matching the Python. Not from a CSPRNG: this names a local file rather than an idempotency token, and core is emphatic that token minting is its own job (TRAP-1).

pub fn open_all_for_vm_with_store( store: Arc<dyn RunStore>, microvm_id: &str, ) -> Vec<Ledger>

Every record in store that names microvm_id, newest first — reopened so a later process can narrow and clear them.

terminate --delete-image reads the image off the newest (issue #160): run --keep left the record with the VM, the image, and the image’s name, so the flag that asked for the identifier back was asking for what the CLI already had. A retried launch can leave two records naming one VM; a teardown that narrowed only the newest would leave the older one reporting the VM forever, which is the stale ls shape issue #159 measured, so callers narrow all of them.

Name records live under root/names/ and are not run ledgers, so read_dir on the root alone never sees them.

pub fn flush(&self)

Writes the record without displacing a teardown failure with a storage failure.

pub fn record_image(&mut self, identifier: &str, name: &str)

Records the image, and flushes.

pub fn record_vm_log_group(&mut self, group: &str)

Records the caller-chosen per-VM log group, and flushes.

pub fn record_microvm(&mut self, id: &str)

Records the VM, and flushes.

pub fn mark_outstanding(&mut self)

Marks everything this invocation created as outstanding, before any delete.

See the module docs: this order is what survives a process that dies inside the terminate call.

pub fn mark_deleted(&mut self, still_undeleted: &[String])

Narrows the outstanding list to what a teardown did not report deleted.

Takes the survivors rather than the deletions, because that is the shape crate::sandbox::TeardownReport::undeleted hands over — and translating between the two is where an inversion lives.

pub fn clear(&self)

Removes the file, but only when nothing is outstanding.

Trait Implementations

impl Clone for Ledger

fn clone(&self) -> Ledger

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Ledger

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl LedgerExt for Ledger

fn new(region: &str, root: &Path) -> Self

fn open_all_for_vm(root: &Path, microvm_id: &str) -> Vec<Self>