#

linearizability

Here are 3 public repositories matching this topic...

rystsov / fast-jepsen

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

key-value jepsen linearizability

Updated Dec 4, 2018
Clojure

tarantool / jepsen.tarantool

Jepsen tests for Tarantool

consistency tarantool fault-injection jepsen serializable jepsen-tests linearizability

Updated Jun 15, 2023
Clojure

pcholakov / jepsen-restate

Jepsen tests for Restate

testing distributed-systems linearizability

Updated Jan 27, 2025
Clojure

Improve this page

Add a description, image, and links to the linearizability topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the linearizability topic, visit your repo's landing page and select "manage topics."