A Comprehensive Study of Bugs in Software Defined Networks

Bhardwaj, Ayush; Zhou, Zhenyu; Benson, Theophilus

doi:10.1109/dsn48987.2021.00026

Cited by 4 publications

(1 citation statement)

References 68 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(3) Many bugs (∼28%) are due to hardware reboot and network events. These three observations concur with findings from recent publications (e.g., Dalton et al [14] and Bhardwaj et al [8]). As illustrated by Google and Microsoft [14,49], deterministic bugs often severely affect their network's availability: Since most control planes employ some form of state-machine replication, a deterministic bug will manifest in each replica and cripple all of them.…”

Section: Control-plane Bugssupporting

confidence: 94%

Tardis

Zhou

Benson

Canini

et al. 2021

Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR)

Self Cite

View full text Add to dashboard Cite

Guaranteeing high availability of networks virtually hinges on the ability to handle and recover from bugs and failures. Yet, despite the advances in verification, testing, and debugging, production networks remain susceptible to large-scale failures -often due to deterministic bugs.This paper explores the use of input transformations as a viable method for recovering from such deterministic bugs. In particular, we introduce an online system, Tardis, for overcoming deterministic faults by using a blend of program analysis and runtime program data to systematically determine the fault-triggering input events and using domain-specific models to automatically generate transformations of the fault-triggering inputs that are both safe and semantically equivalent. We evaluated Tardis on several production network control plane applications (CPAs), including six SDN CPAs and several popular BGP CPAs using 71 realistic bugs. We observe that Tardis improves recovery time by 7.44%, introduces a 25% CPU and 0.5% memory overhead, and recovers from 77.26% of the injected realistic and representative bugs, more than twice that of existing solutions. CCS CONCEPTS• Computer systems organization → Availability; • Networks → Network reliability.

show abstract

Section: Control-plane Bugssupporting

confidence: 94%