tbg / caspaxos-tla
TLA+ description for the CAS-Paxos algorithm
☆12Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for caspaxos-tla
- ☆14Updated 6 years ago
- Rust bindings for SPDK☆19Updated 7 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…☆50Updated 5 years ago
- scylladb jepsen clone☆14Updated 4 months ago
- ☆22Updated 2 years ago
- ☆14Updated 5 years ago
- Accurate counters with Kafka & RocksDB.☆16Updated 3 years ago
- Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…☆53Updated 11 years ago
- Fork of go yacc tool with increased hardcoded constants to handle larger grammars.☆11Updated 8 years ago
- A profiler that uses ebpf to produce pprof-format profiles☆13Updated 6 years ago
- Rust client for the NSQ realtime message processing system☆20Updated 7 years ago
- 🚫 DEPRECATED☆12Updated 7 years ago
- Programmatically find services☆13Updated 2 months ago
- Jepsen tests for Redis-Raft☆14Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- TLA+ specification of the Ceph consensus algorithm☆21Updated 2 years ago
- Paxos protocol variants framework☆27Updated 6 years ago
- Go eBPF Library☆10Updated 8 years ago
- Kshaka is a Go implementation of the CASPaxos consensus protocol.☆24Updated 6 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- Linux Perf subsystem bindings for Go☆20Updated 4 years ago
- ☆12Updated 4 years ago
- A clustered, masterless redis clone, built in Go☆31Updated 10 years ago
- Append-only key-value database on a distributed shared-log☆49Updated 3 months ago
- implementation of naive paxos in Go☆11Updated 9 years ago
- Utility for testing and benchmarking a Linux VDSO☆18Updated 5 years ago
- A high-performance, memory-efficient concurrent hash table☆36Updated 11 years ago
- Convert Linux perf traces to Go pprof format☆21Updated 8 years ago