作者: Kausik Subramanian , Anubhavnidhi Abhashkumar , Loris D'Antoni , Aditya Akella
关键词:
摘要: One of the major challenges faced by network operators pertains to whether their can meet input traffic demand, avoid overload, and satisfy service-level agreements. Automatically verifying if no links are overloaded is complicated---requires modeling frequent failures, complex routing load-balancing technologies, evolving requirements. We present QARC, a distributed control plane abstraction that automatically verify may cause link-load violations under failures. QARC fully automatic help program networks more resilient failures upgrade violations. apply real datacenter ISP find interesting cases load detect in an hour.