mit-pdos / go-journal
Verified, concurrent, crash-safe transaction system
☆57Updated 9 months ago
Alternatives and similar repositories for go-journal:
Users that are interested in go-journal are comparing it to the libraries listed below
- ☆21Updated 9 months ago
- Fuzz Testing for the github.com/hashicorp/raft library☆29Updated 2 years ago
- ☆15Updated last month
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆61Updated 4 years ago
- A playground to experiment with Raft proposal pipeline optimization☆16Updated 2 years ago
- Explore JIT in TiDB☆27Updated 3 years ago
- Fast NFS server implemented using GoJournal☆48Updated 9 months ago
- Prototype implementation of SwiftPaxos (NSDI 2024)☆17Updated last year
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆16Updated 7 months ago
- Native persistent memory support for Go☆80Updated 2 years ago
- A fun project for evaluating some new optimizations quickly, do not use it in production☆118Updated last year
- Paxos Made Simple☆19Updated 2 years ago
- Fast, lock-free, arena-based Skiplist implementation in Go that supports iteration in both directions.☆40Updated 4 years ago
- A Usermode Hookable Filesystem Library☆45Updated 6 years ago
- ☆12Updated 5 years ago
- The labs of Raft consensus algorithm based on MadSim.☆118Updated 2 months ago
- go implementation of anchorhash☆15Updated 4 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆52Updated 7 months ago
- A comparison of skip lists written in Go☆54Updated 3 years ago
- Fast and efficient data reconstruction Erasure code, saving about 30% I/O in reconstruction☆63Updated 5 years ago
- SIEVE cache - simpler than LRU☆35Updated last year
- B+ tree in memory with mvcc support☆18Updated 6 years ago
- A toy memory store with great performance☆34Updated 2 years ago
- ☆32Updated last week
- VectorSQL is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆14Updated 5 years ago
- Package ikitai is an optimizing just-in-time compiler for SSA-transformed Go.☆17Updated 4 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago