pchrysostomou/ananke

A refused server is silent while it verifies, repairs and adopts its re-seed, deposing the leader when the third server is away 8 days ago

help wanted phase:2

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

The raft sweep's periodic safety check re-folds the whole trace: make it incremental 13 days ago

help wanted phase:2

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Client sessions for exactly-once retries (thesis §6.3) 17 days ago

help wanted phase:2

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

A Figure 8 driver for the batched Raft sweep 17 days ago

help wanted phase:2

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Protocol-aware recovery: a lost sync on hard state 17 days ago

help wanted phase:2

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Manifest reconstruction from the tables on disk 18 days ago

enhancement help wanted phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Directory rename in the simulated filesystem 18 days ago

enhancement help wanted phase:0

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Streaming scans 18 days ago

enhancement good first issue phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Compaction against every live snapshot 18 days ago

enhancement help wanted phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Trivial moves in compaction 18 days ago

enhancement help wanted phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Lazy table verification 18 days ago

enhancement help wanted phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Manifest garbage collection 18 days ago

enhancement help wanted phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

sim/out/wal-42.jsonl as a studio fixture 18 days ago

enhancement good first issue phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

CRC-32C with SSE4.2 18 days ago

enhancement good first issue phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Streaming WAL recovery 18 days ago

enhancement help wanted phase:1

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Garbage-collect unreachable inodes in the simulated filesystem 18 days ago

enhancement good first issue phase:0

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Trace names for a file after a lost rename 18 days ago

enhancement help wanted phase:0

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Lost fsync in the echo sweep 18 days ago

enhancement good first issue phase:0

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

RealRng cost: a CSPRNG reseeded from the OS 18 days ago

enhancement good first issue phase:0

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Slow links and bandwidth caps in the simulated network 18 days ago

enhancement help wanted phase:2

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

RealFs on Windows 18 days ago

enhancement good first issue phase:0

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Lint canary in CI for the banned I/O paths 18 days ago

enhancement good first issue phase:0

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

ananke trace filter: per-range and per-transaction sub-traces 18 days ago

enhancement help wanted phase:2

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Replay scheduler for the moirae bridge (bridge v2) 18 days ago

enhancement help wanted phase:0

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Message duplication in the simulated network 18 days ago

enhancement good first issue phase:2

pchrysostomou/ananke

0

A distributed SQL database in Rust, built from the ground up to be deterministically testable.

Rust

Open Issues Need Help