A C++23 deterministic distributed database — MVCC LSM storage, dual-Raft consensus (cross-checked), distributed transactions, a 30+ feature SQL surface with distributed co-located-shuffle joins, mTLS/RBAC. Verified by fault-injection, differential testing, TLA+ model-checking.
What is the danil-bragin/lockstep GitHub project? Description: "A C++23 deterministic distributed database — MVCC LSM storage, dual-Raft consensus (cross-checked), distributed transactions, a 30+ feature SQL surface with distributed co-located-shuffle joins, mTLS/RBAC. Verified by fault-injection, differential testing, TLA+ model-checking.". Written in C++. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
Clone via HTTPS
Clone via SSH
Download ZIP
Download main.zipReport bugs or request features on the lockstep issue tracker:
Open GitHub Issues