xerv-core 0.1.0

Workflow orchestration core: memory-mapped arena, write-ahead log, traits, and type system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Write-Ahead Log (WAL) for durability and crash recovery.
//!
//! The WAL records every state transition in the execution of a trace.
//! On crash, the WAL is replayed to recover the state of in-flight traces.
//!
//! # Record Format
//!
//! Each WAL record has the following structure:
//! ```text
//! ┌─────────┬────────┬───────┬──────────┬──────────┬─────────┐
//! │ Length  │ CRC32  │ Type  │ TraceId  │ NodeId   │ Payload │
//! │ (4 B)   │ (4 B)  │ (1 B) │ (16 B)   │ (4 B)    │ (var)   │
//! └─────────┴────────┴───────┴──────────┴──────────┴─────────┘
//! ```

mod record;
mod writer;

pub use record::{WalRecord, WalRecordType};
pub use writer::{NodeOutputLocation, TraceRecoveryState, Wal, WalConfig, WalReader};