linearizability

Develop an end-to-end hypothetical reference model, network architectures, performance objectives and the methods to distribute, operate, monitor time synchronization within data center and much more...

A test framework for linearizability check with Go

Reading the linearizability paper with TLA+

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

Test monadic programs using state machine based models

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

Plug-and-Play Platform agnostic Embedded Knowledge Base on Relativistic Sidecars. A Vectorized SIMD (key-value: causet, triplestore, graphd) APPEND-ONLY(Aries, GHOST, SPHINCS-GRAVITY) NVRAM-ON-DISK HTAP with persistence. Distributed SQL, K8, Docker, Ansible friendly. Made with ❤️

Jepsen tests for Tarantool

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

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

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

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

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

A geo-replicated key-value store system

Map Reduce, Raft implementation using golang. 6.824 MIT