jepsen-io/postgres

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Clojure
Created 9 months ago
Updated 9 months ago

jepsen-io/postgres

jepsen-io

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Jepsen tests for PostgreSQL

jepsen

A framework for distributed systems verification, with fault injection

maelstrom

A workbench for writing toy implementations of distributed systems.

elle

Black-box transactional safety checker based on cycle detection

knossos

Verifies the linearizability of experimentally accessible histories.

tendermint

Jepsen tests for the Tendermint distributed byzantine consensus system

mongodb

MongoDB Jepsen tests

etcd

Jepsen tests for etcd

redis

Jepsen tests for Redis-Raft

local-fs

Jepsen tests for local filesystems, running on a single node.

voltdb

VoltDB Jepsen test

datomic

Jepsen tests for the Datomic distributed database

scylla

Jepsen tests for ScyllaDB

history

Support library for working with Jepsen histories

history.sim

Deterministic simulation of Jepsen histories for testing database checkers

ravendb

Jepsen tests for RavenDB

redpanda

Tests for the Redpanda distributed queue

mysql

Tests for MySQL and MariaDB

radix-dlt

Jepsen tests for the Radix distributed ledger system

percona-gr

Tests for Percona Server with Group Replication

faunadb