Identifying SDN state inconsistency in OpenStack

Yang Xu, Yong Liu, Rahul Singh, Shu Tao

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In Software Defined Networks (SDN), users manage network services by abstracting high level service policies from lower level network functions. Edge-based SDN, which relies on end hosts to implement lower-level network functions, has been rapidly developed and widely adopted in cloud. A critical challenge in such an environment is to ensure that lower level network configurations, which are distributed in many end hosts, are in sync with high-level network service definitions, which are maintained in the central controller, as state inconsistency often arises in practice due to unreliable state dissemination, human errors, or software bugs. In this paper, we propose an approach to systematically extracting and analyzing the network states of OpenStack from both controller and end hosts, and identifying the inconsistencies between them across multiple network layers. Through extensive experiments, we demonstrate that our system can correctly identify network state inconsistencies with little system and network overhead, therefore can be adopted in large-scale production cloud to ensure healthy operations of its network services. Copyright is held by the owner/author(s). Publication rights licensed to ACM.

Original languageEnglish (US)
Title of host publicationSymposium on Software Defined Networking (SDN) Research, SOSR 2015
PublisherAssociation for Computing Machinery, Inc
ISBN (Electronic)9781450334518
StatePublished - Jun 17 2015
Event1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR 2015 - Santa Clara, United States
Duration: Jun 17 2015Jun 18 2015

Publication series

NameSymposium on Software Defined Networking (SDN) Research, SOSR 2015


Other1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR 2015
Country/TerritoryUnited States
CitySanta Clara


  • Network Management
  • Reliability
  • Verification

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software


Dive into the research topics of 'Identifying SDN state inconsistency in OpenStack'. Together they form a unique fingerprint.

Cite this