Detecting Network Load Violations for Distributed Control Planes
One of the major challenges faced by network
operators pertains to whether their network can meet input traffic
demand, avoid overload, and satisfy service-level agreements.
Automatically verifying if no network links are overloaded is
complicated—requires modeling frequent network failures,
complex routing and load-balancing technologies, and evolving traffic
requirements. We present QARC, a distributed control plane
abstraction that can automatically
verify whether a control plane may cause link-load violations under failures.
QARC is fully automatic and can help operators program
networks that are more resilient to
failures and upgrade the network to avoid violations.
We apply QARC to real datacenter and
ISP networks and find interesting cases of load violations.
QARC can detect violations in under an hour.
Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change
06:20 - 07:40 | Networking and HardwarePLDI Research Papers at PLDI Research Papers live stream Chair(s): Luís Pina University of Illinois at Chicago | ||
06:20 20mTalk | NV: An Intermediate Language for Verification of Network Control Planes PLDI Research Papers Nick Giannarakis Princeton University, USA, Devon Loehr Princeton University, USA, Ryan Beckett Microsoft Research, USA, David Walker Princeton University, USA | ||
06:40 20mTalk | Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection PLDI Research Papers Hongjune Kim Seoul National University, South Korea, Jianping Zeng Purdue University, USA, Qingrui Liu Virginia Tech, USA, Mohammad Abdel-Majeed University of Jordan, Jordan, Jaejin Lee Seoul National University, South Korea, Changhee Jung Purdue University, USA | ||
07:00 20mTalk | Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution PLDI Research Papers | ||
07:20 20mTalk | Detecting Network Load Violations for Distributed Control Planes PLDI Research Papers Kausik Subramanian University of Wisconsin-Madison, USA, Anubhavnidhi Abhashkumar University of Wisconsin-Madison, USA, Loris D'Antoni University of Wisconsin-Madison, USA, Aditya Akella University of Wisconsin-Madison, USA | ||