New-Consensus-Concurrency-Control

All

3 repositories

Tiga
Public
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
fault-tolerance latency high-performance consensus concurrency-control geo-distributed transaction-processing
C++
•
MIT License
•0•2•0•0•Updated Sep 18, 2025Sep 18, 2025
Tiga-TLA-plus
Public
The TLA+ Spec for Tiga
TLA
•
MIT License
•0•0•0•0•Updated May 10, 2025May 10, 2025
Nezha
Public
Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks
distributed-systems synchronization consistency clock consensus
C++
•
MIT License
•12•144•0•1•Updated Sep 19, 2023Sep 19, 2023