Beaver: Practical Partial Snapshots for Distributed Cloud Services
Talkat 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) · 2024-07-10..07-12·
summary
Beaver presents a practical partial snapshot protocol that captures causally consistent states when only a subset of machines participates, by instrumenting existing software load balancers as logical gateways and using an optimistic gateway marking primitive plus a clock-based violation detector. A cloud testbed prototype shows near-zero impact to user traffic, sustains high snapshot rates, rejects under 5% of snapshots in worst cases (<5% invalid snapshots), and eliminates a >30% invalid-reference garbage-collection rate seen with classic snapshots, guaranteeing correct partial snapshots without blocking.
AI-written summary · about
chapters (8)
- 0:00Introduction to snapshots
- 1:21Classic snapshot protocols
- 2:33Limitations in cloud services
- 4:31Introducing Beaver
- 7:07Cloud implementation
- 10:00Optimistic gateway marking
- 12:37Evaluation and results
- 13:32Use cases and conclusion
related talks
16mPreview: Cloud Computing
30mThinner Clouds with Preallocation
30mDistributed system design
20mChange Data Capture in Distributed Systems
18mThe Cloud Myths, Schemes, and Dirty Little Secrets
14mIncremental snapshots/backups in KVM plugin of Apache CloudStack
14mNimble: Rollback Protection for Confidential Cloud Services
30mBeacon: Intelligent Latency-Aware and Load Shedding Service Routing