distributed-systems-researcher

【数据与研究】Expert-thinking profile for Distributed Systems Researcher (protocol R&D / consensus & replication / consistency semantics / chaos & formal verification (TLA+, Jepsen)): Reasons from failure models, consistency contracts, and tail-latency-and-recovery performance through TLA+ model checking, Jepsen and Porcupine linearizability checking, and YCSB/Dea…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准