A. Jesse Jiryu Davis

Tag: distributedsystems

Multi-Paxos in Python, tested with Jepsen A 2-week toy project to learn a famous algorithm and try out a distributed systems test framework.
Paper review: Scaling Large Production Clusters with Partitioned Synchronization A clever algorithm for reducing conflicts in a distributed task scheduler.
Paper review: Strong and Efficient Consistency with Consistency-Aware Durability Don't wait for data to be durable when you write it, wait before you read.
Paper review: Paxos vs Raft Which consensus algorithm will win?
Aragog: Scalable Runtime Verification of Shardable Networked Systems An efficient invariant checker for network protocols.
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories A clever research paper describing a rack-sized distributed KV store.
Two attempts to compare a TLA+ spec with a C++ implementation At MongoDB we tried two methods to test that a spec matches the code: one worked, one didn't. We explain our results in a VLDB 2020 paper.