Aether: High-performance, formally-verified storage engine written in Rust
Aether DB is a high-performance, formally-verified database storage engine developed in Rust. It features an ACID-compliant architecture with various index types and a robust recovery protocol. The engine is designed for efficiency, offering a unified command-line interface and multiple management tools.
- ▪Aether DB includes a Persistent B+ Tree, Write-Ahead Logging, and the ARIES Recovery Protocol for crash recovery.
- ▪It supports multiple index types such as B+ Tree, Skiplist, and LSM tree framework with pluggable compaction strategies.
- ▪The database engine is organized as a Cargo workspace with several applications, including a Redis-compatible KV store and a financial transactions database.
Opening excerpt (first ~120 words) tap to expand
Aether DB A high-performance, formally-verified database storage engine written in Rust Aether DB is an ACID-compliant database storage engine featuring: Persistent B+ Tree with buffer manager integration Write-Ahead Logging (WAL) with Taurus algorithm and formal TLA+ verification ARIES Recovery Protocol for crash recovery with redo/undo LeanStore-inspired buffer manager with 24ns hot path Multiple index types: B+ Tree, Skiplist, RAX radix tree LSM tree framework with pluggable compaction strategies ACID transactions with savepoints and two-phase commit Formal verification via TLA+ specifications Quick Start Add to your Cargo.toml: [dependencies] aether = "1.0" Basic Example use aether::{Db, KvStore}; use tempfile::TempDir; fn main() -> Result<(), Box<dyn std::error::Error>> { let dir =…
Excerpt limited to ~120 words for fair-use compliance. The full article is at Codeberg.org.