A p2p key-value storage system
Distributed multiplayer "Gold Miner" game in Python demonstrating client-server architecture, sequential consistency, and fault tolerance (network lag, message loss) using ZeroMQ PUSH/PUB messaging.
Leaderless, sequentially consistent key-value store in Java. The system replicates data across multiple nodes and uses configurable quorum-based protocols for reads and writes to ensure consistency.
CS 766 assignment at IIT Bombay (with Sachin Singh Lodhi): enumerates every execution of small concurrent programs under sequential consistency, discards cyclic ones using rf/ws/fr edges, and checks assertions against the rest. Java.
Project for the course Distributed Systems 2023/24 @ University of Trento
Cache coherence verification: exhaustive MESI protocol model checking, a 4-core snoopy RTL cluster, litmus tests judged against an exhaustive sequential-consistency oracle, and mutation-qualified checkers.
To associate your repository with the sequential-consistency topic, visit your repo's landing page and select "manage topics."