From Algorithm to Production: How to Approach Verification of Distributed Systems
summary
Describes how VKontakte’s infrastructure team verifies distributed systems that support vk.com, focusing on techniques and practices used to catch high-cost bugs. Covers verification goals, methods applied during development and testing of distributed services, and lessons learned from their verification workflow.
AI-written summary · about
chapters (8)
- 0:00Introduction
- 2:15Verifying distributed systems
- 11:46Fast tests for implementation
- 20:34Production failure scenarios
- 24:01Jepsen for linearizability
- 33:29Emulating failures
- 39:52Future of verification
- 40:36Q&A
related talks
38mThe Verification of a Distributed System
48mThe Verification of a Distributed System
49mFAQ on the Architecture and Operation of VKontakte
34mThe Math Behind Distributed Systems
57mDistributed Systems at Odnoklassniki
53mHow Far Should You Go When Testing a Distributed Database?
01h 00mCooperative Verification: Towards Reliable Safety-Critical Systems
19mBridging the Verifiability Gap: Why We Need More From Our Specs and How We Get It