Aether: High-performance, formally-verified storage engine written in Rust

dboreham2 pts0 comments

gregburd/aether: A high-performance, formally-verified database storage engine written in Rust. - Codeberg.org

This website requires JavaScript.

gregburd/aether

Watch

Star

Fork

You've already forked aether

Code

Issues

Pull requests

Activity

A high-performance, formally-verified database storage engine written in Rust.

492 commits

12 branches

12 tags

1.7 GiB

Rust

93.3%

2.9%

Clojure

1.6%

Shell

1.4%

Python

0.4%

Other

0.3%

main

Find a file

HTTPS

Download ZIP<br>Download TAR.GZ<br>Download BUNDLE

Open with VS Code

Open with VSCodium

Open with Intellij IDEA

Greg Burd

6d745a3d34

and left-right read path">feat: Phase 2 — levels with Arc and left-right read path

...<br>Refactor Level to store runs behind Arc>, enabling cheap<br>cloning for the optional left-right read path.

Changes:<br>- level.rs: runs: BTreeMap>>; manual Clone impl;<br>add_run takes Arc>; get_run returns Option>>;<br>iterators still expose (RunId, &Run) via deref for zero churn<br>at call sites.<br>- lr_levels.rs (new): LevelOp::SetAll + Absorb impl for<br>Vec>; sync_with clones only Arc handles (O(num_runs)<br>pointer copies, not run data). 4 unit tests including roundtrip.<br>- mod.rs: cfg-gated levels_lr_writer + levels_factory fields;<br>publish_levels() helper publishes snapshot while write lock is<br>held; read paths in get() and level_stats() use factory handle<br>when feature is enabled; publish called from flush_write_buffer,<br>insert (merger finalization), and handle_command.<br>- query.rs: merge_range and merge_prefix_scan use levels_factory<br>handle (wait-free) when left-right-lsm feature is enabled.<br>- adaptive.rs: wrap new Run with Arc::new() at add_run call sites.<br>- benches/left_right_lsm.rs: add bench_level_reads group comparing<br>RwLock vs left-right at 1/2/4/8/16 reader threads.

Test results:<br>default: 1209 passed<br>--features left-right-lsm: 1219 passed (10 new lr_levels tests)

2026-05-13 12:46:19 -04:00

.codeberg

chore: configure Codeberg Pages instead of GitHub Pages

2026-03-18 06:53:00 -04:00

.config

feat: convert to Cargo workspace with cargo-hakari

2026-04-29 10:55:03 -04:00

.direnv

feat: Complete Pure HanoiDB LSM implementation with comprehensive documentation

2026-04-03 07:16:59 -04:00

.github

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

aether

feat: Phase 2 — levels with Arc and left-right read path

2026-05-13 12:46:19 -04:00

benchmark_results

chore: Fix unused import warnings

2026-03-31 10:25:10 -04:00

benchmarks/trawler

docs: add Trawler benchmark performance results

2026-03-24 07:39:21 -04:00

cash

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

cask

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

codegen

chore: setup team infrastructure

2026-02-27 08:18:28 -05:00

docs

chore: Comprehensive cleanup - fix warnings, remove cruft, clean worktrees

2026-04-09 08:26:48 -04:00

examples

feat: convert to Cargo workspace with cargo-hakari

2026-04-29 10:55:03 -04:00

ftdb

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

include

feat: Complete Pure HanoiDB LSM implementation with comprehensive documentation

2026-04-03 07:16:59 -04:00

io_analysis

chore: Fix unused import warnings

2026-03-31 10:25:10 -04:00

jepsen/aether

chore: Remove build artifacts, agent docs, and cruft from git

2026-04-08 08:11:07 -04:00

scripts

feat: Write performance optimization - Phases 1, 5, 6 complete

2026-03-27 10:42:28 -04:00

tools/fsync_comparison

feat: Complete Pure HanoiDB LSM implementation with comprehensive documentation

2026-04-03 07:16:59 -04:00

workspace-hack

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

.editorconfig

chore: setup Claude Code configuration and clean up temporary files

2026-02-20 11:02:35 -05:00

.envrc

feat: add Nix flake for reproducible builds

2026-03-17 09:04:47 -04:00

.git-blame-ignore-revs

chore: setup team infrastructure

2026-02-27 08:18:28 -05:00

.gitignore

chore: Remove build artifacts, agent docs, and cruft from git

2026-04-08 08:11:07 -04:00

.optimization_baselines.json

test: add optimization regression test suite

2026-03-22 08:40:40 -04:00

.rustfmt.toml

feat: comprehensive test infrastructure and fix all ignored tests

2026-03-15 08:26:06 -04:00

AGENT_TEAM_RESULTS.md

docs: Agent team results summary - 5 of 7 tasks complete

2026-04-08 16:02:26 -04:00

BUILDING.md

docs: consolidate and reorganize documentation structure

2026-03-21 16:00:34 -04:00

Cargo.lock

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

Cargo.toml

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

ChangeLog

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

CLI_CHEATSHEET.md

chore: release v2.0.1

2026-04-29 11:23:57 -04:00

deny.toml

chore: Comprehensive cleanup - fix warnings, remove cruft, clean worktrees

2026-04-09 08:26:48 -04:00

flake.lock

feat: add Nix flake for reproducible builds

2026-03-17 09:04:47 -04:00

flake.nix

fix: Revert darwin framework path to apple_sdk.frameworks

2026-04-10 12:47:46 -04:00

LICENSE

Release v1.2.0: Sparsemap Rust translation and...

chore feat release left right aether

Related Articles