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