Test monadic programs using state machine based models
-
Updated
May 3, 2018 - Haskell
Test monadic programs using state machine based models
Create atomic loop iterations (let the current iteration finish even when interrupted)
Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
Pass 4 labs more than 1, 000 times without failure.
Map Reduce, Raft implementation using golang. 6.824 MIT
Amazon Dynamo-style distributed key-value storage with partitioning, replication, and failure handling
A geo-replicated key-value store system
Design and Implementation of Distributed Applications (DAD) Course Project (Grade: 18.5/20) - IST - 2020/2021
Verification tool for lock-free data structures with safe memory reclamation.
An experimental linearizability checker for lock-free data structures using safe memory reclamation.
A tutorial about how to apply property-based testing to stateful systems.
A tutorial about how to apply property-based testing to stateful systems.
An implementation of ISIS total order multicast protocol
Jepsen tests for Tarantool
A linearizability checker for concurrent data structures
This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.
A collection of Rust crates for distributed computing.
Framework for distributed system's verification, with fault injection.
Add a description, image, and links to the linearizability topic page so that developers can more easily learn about it.
To associate your repository with the linearizability topic, visit your repo's landing page and select "manage topics."