pingcap/chaos

A test framework for linearizability check with Go

Language: Go - Size: 4.9 MB - Last synced at: 19 days ago - Pushed at: almost 6 years ago - Stars: 209 - Forks: 28

stevana/property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

Language: Haskell - Size: 421 KB - Last synced at: 24 days ago - Pushed at: about 2 years ago - Stars: 70 - Forks: 4

lorin/tla-linearizability

Reading the linearizability paper with TLA+

Language: TLA - Size: 224 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 48 - Forks: 4

rystsov/fast-jepsen

Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time

Language: Clojure - Size: 487 KB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 1

SmnTin/lincheck

A linearizability checker for concurrent data structures

Language: Rust - Size: 67.4 KB - Last synced at: 30 days ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 0

ligurio/molly

Framework for distributed system's verification, with fault injection.

Language: Lua - Size: 410 KB - Last synced at: 18 days ago - Pushed at: 5 months ago - Stars: 10 - Forks: 2

tarantool/jepsen.tarantool

Jepsen tests for Tarantool

Language: Clojure - Size: 77.1 KB - Last synced at: 13 days ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 0

advancedtelematic/quickcheck-state-machine-distributed 📦

Test monadic programs using state machine based models

Language: Haskell - Size: 72.3 KB - Last synced at: 22 days ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 0

Wolff09/seal

Verification tool for lock-free data structures with safe memory reclamation.

Language: C++ - Size: 23.6 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1

resonatehq/durable-promise-test-harness

This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

Language: Go - Size: 12.7 MB - Last synced at: 26 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1

Wolff09/TMRexp

An experimental linearizability checker for lock-free data structures using safe memory reclamation.

Language: HTML - Size: 707 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

arnobpl/Dynamo-Style-Distributed-Key-Value-Storage

Amazon Dynamo-style distributed key-value storage with partitioning, replication, and failure handling

Language: Java - Size: 119 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

coldcolacos/mit-6.824-2018

Pass 4 labs more than 1, 000 times without failure.

Language: Go - Size: 2.49 MB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

kaymanb/todc

A collection of Rust crates for distributed computing.

Language: Rust - Size: 638 KB - Last synced at: 7 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0

platonic-io/property-based-testing-stateful-systems

A tutorial about how to apply property-based testing to stateful systems.

Language: Haskell - Size: 636 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

jhmfreitas/DIDA-Gstore 📦

Design and Implementation of Distributed Applications (DAD) Course Project (Grade: 18.5/20) - IST - 2020/2021

Language: C# - Size: 554 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

stevana/deterministic-scheduler

Parallel property-based testing with a deterministic thread scheduler

Language: Haskell - Size: 252 KB - Last synced at: 25 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

Time-Appliances-Project/Precise-Time-API

Size: 503 KB - Last synced at: 21 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

pcholakov/jepsen-restate

Jepsen tests for Restate

Language: Clojure - Size: 51.8 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

BFreitas16/DIDA-GSTORE

A geo-replicated key-value store system

Language: C# - Size: 563 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ddeka0/distributed-system Fork of vksysd/mrgo

Map Reduce, Raft implementation using golang. 6.824 MIT

Language: Go - Size: 22.2 MB - Last synced at: 10 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1

kysely/atomicloop

Create atomic loop iterations (let the current iteration finish even when interrupted)

Language: Python - Size: 3.91 KB - Last synced at: 7 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1