gfredericks / pg-serializability-bugLinks
Reproduction code for Postgres BUG #13667
☆16Updated 9 years ago
Alternatives and similar repositories for pg-serializability-bug
Users that are interested in pg-serializability-bug are comparing it to the libraries listed below
Sorting:
- Verifies the linearizability of experimentally accessible histories.☆411Updated last week
- Fast linearizability checker☆67Updated 10 years ago
- Immutable key/value store with efficient space utilization and fast reads. They are ideal for the use-case of tables built by batch proce…☆100Updated 2 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 4 years ago
- A library for simulating parallel systems, in Clojure☆183Updated 12 years ago
- Append-only key-value database on a distributed shared-log☆52Updated last year
- Offline serializability verification, in Clojure☆67Updated 8 years ago
- Embeddable multi-Paxos For The JVM☆76Updated 10 months ago
- Simulated playground for distributed algorithms☆14Updated 5 years ago
- ScyllaDB fault injection filesystem☆252Updated 4 years ago
- TLA+ specification of the Ceph consensus algorithm☆24Updated 3 years ago
- CASPaxos: Replicated State Machines without logs☆103Updated 7 years ago
- A clustered, masterless redis clone, built in Go☆32Updated 11 years ago
- ☆184Updated 7 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- ☆22Updated 2 years ago
- A Swiss Army knife for read-write quorum systems☆85Updated 4 years ago
- Writes to mmap-ed files on Linux can cause JVM garbage collection pauses☆41Updated 10 years ago
- Persistent vector performance measurements and analysis☆22Updated 10 years ago
- A fast and space efficient Radix tree in Java☆128Updated 5 years ago
- Concurrent TreeMap w/ efficient support for clone() and consistent iteration☆151Updated 13 years ago
- TPC-C for YDB☆12Updated 2 months ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- A high-performance distributed shared-log for Ceph☆115Updated 6 years ago
- How to use TLA+ / TLA+ specification of the ClickHouse replication protocol☆17Updated 6 years ago
- Atomix Jepsen tests☆14Updated 8 years ago
- Convergent Replicated Data Types☆660Updated 9 years ago
- The Materialize SQL parser☆29Updated 5 years ago
- A generational genetic algorithm approach to Java Virtual Machine settings optimization for a variety of servers.☆21Updated 11 years ago
- Clojure data structures for performance metrics over discrete time intervals.☆117Updated 3 years ago