AVMON: Optimal and Scalable Discovery of Consistent Availability Monitoring Overlays for Distributed Systems