Develop an end-to-end hypothetical reference model, network architectures, precision time tools, performance objectives and the methods to distribute, operate, monitor time synchronization within data center and much more...
A tutorial about how to apply property-based testing to stateful systems.
Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
Framework for distributed system's verification, with fault injection.
A linearizability checker for concurrent data structures
Jepsen tests for Tarantool
Test monadic programs using state machine based models
Verification tool for lock-free data structures with safe memory reclamation.
This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.
An experimental linearizability checker for lock-free data structures using safe memory reclamation.
Pass 4 labs more than 1, 000 times without failure.
Amazon Dynamo-style distributed key-value storage with partitioning, replication, and failure handling
An implementation of ISIS total order multicast protocol
Design and Implementation of Distributed Applications (DAD) Course Project (Grade: 18.5/20) - IST - 2020/2021
A collection of Rust crates for distributed computing.
A tutorial about how to apply property-based testing to stateful systems.
Parallel property-based testing with a deterministic thread scheduler
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."