Towards correct network virtualization

Soudeh Ghorbani, Philip B Godfrey

Research output: Contribution to journalConference article

Abstract

In SDN, the underlying infrastructure is usually abstracted for applications that can treat the network as a logical or virtual entity. Commonly, the \mappings" between virtual abstractions and their actual physical implementations are not one-to-one, e.g., a single \big switch" abstract object might be implemented using a distributed set of physical devices. A key question is, what abstractions could be mapped to multiple physical elements while faithfully preserving their native semantics? E.g., can an application developer always expect her abstract \big switch" to act exactly as a physical big switch, despite being implemented using multiple physical switches in reality? We show that the answer to that question is \no" for existing virtual-to-physical mapping techniques: behavior can differ between the virtual \big switch" and the physical network, providing incorrect application-level behavior. We also show that that those incorrect behaviors occur despite the fact that the most pervasive correctness invariants, such as per-packet consistency, are preserved throughout. These examples demonstrate that for practical notions of correctness, new systems and a new analytical framework are needed. We take the first steps by defining end-to-end correctness, a correctness condition that focuses on applications only, and outline a research vision to obtain virtualization systems with correct virtual to physical mappings.

Original languageEnglish (US)
Pages (from-to)657-662
Number of pages6
JournalComputer Communication Review
Volume44
Issue number4
DOIs
StatePublished - Feb 25 2015
EventACM SIGCOMM 2014 Conference - Chicago, United States
Duration: Aug 17 2014Aug 22 2014

Fingerprint

Switches
Semantics
Virtualization

Keywords

  • Correctness
  • Network virtualization
  • One big switch

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications

Cite this

Towards correct network virtualization. / Ghorbani, Soudeh; Godfrey, Philip B.

In: Computer Communication Review, Vol. 44, No. 4, 25.02.2015, p. 657-662.

Research output: Contribution to journalConference article

Ghorbani, Soudeh ; Godfrey, Philip B. / Towards correct network virtualization. In: Computer Communication Review. 2015 ; Vol. 44, No. 4. pp. 657-662.
@article{5dfb5826e03c4c9f8a77528734350887,
title = "Towards correct network virtualization",
abstract = "In SDN, the underlying infrastructure is usually abstracted for applications that can treat the network as a logical or virtual entity. Commonly, the \mappings{"} between virtual abstractions and their actual physical implementations are not one-to-one, e.g., a single \big switch{"} abstract object might be implemented using a distributed set of physical devices. A key question is, what abstractions could be mapped to multiple physical elements while faithfully preserving their native semantics? E.g., can an application developer always expect her abstract \big switch{"} to act exactly as a physical big switch, despite being implemented using multiple physical switches in reality? We show that the answer to that question is \no{"} for existing virtual-to-physical mapping techniques: behavior can differ between the virtual \big switch{"} and the physical network, providing incorrect application-level behavior. We also show that that those incorrect behaviors occur despite the fact that the most pervasive correctness invariants, such as per-packet consistency, are preserved throughout. These examples demonstrate that for practical notions of correctness, new systems and a new analytical framework are needed. We take the first steps by defining end-to-end correctness, a correctness condition that focuses on applications only, and outline a research vision to obtain virtualization systems with correct virtual to physical mappings.",
keywords = "Correctness, Network virtualization, One big switch",
author = "Soudeh Ghorbani and Godfrey, {Philip B}",
year = "2015",
month = "2",
day = "25",
doi = "10.1145/2620728.2620754",
language = "English (US)",
volume = "44",
pages = "657--662",
journal = "Computer Communication Review",
issn = "0146-4833",
publisher = "Association for Computing Machinery (ACM)",
number = "4",

}

TY - JOUR

T1 - Towards correct network virtualization

AU - Ghorbani, Soudeh

AU - Godfrey, Philip B

PY - 2015/2/25

Y1 - 2015/2/25

N2 - In SDN, the underlying infrastructure is usually abstracted for applications that can treat the network as a logical or virtual entity. Commonly, the \mappings" between virtual abstractions and their actual physical implementations are not one-to-one, e.g., a single \big switch" abstract object might be implemented using a distributed set of physical devices. A key question is, what abstractions could be mapped to multiple physical elements while faithfully preserving their native semantics? E.g., can an application developer always expect her abstract \big switch" to act exactly as a physical big switch, despite being implemented using multiple physical switches in reality? We show that the answer to that question is \no" for existing virtual-to-physical mapping techniques: behavior can differ between the virtual \big switch" and the physical network, providing incorrect application-level behavior. We also show that that those incorrect behaviors occur despite the fact that the most pervasive correctness invariants, such as per-packet consistency, are preserved throughout. These examples demonstrate that for practical notions of correctness, new systems and a new analytical framework are needed. We take the first steps by defining end-to-end correctness, a correctness condition that focuses on applications only, and outline a research vision to obtain virtualization systems with correct virtual to physical mappings.

AB - In SDN, the underlying infrastructure is usually abstracted for applications that can treat the network as a logical or virtual entity. Commonly, the \mappings" between virtual abstractions and their actual physical implementations are not one-to-one, e.g., a single \big switch" abstract object might be implemented using a distributed set of physical devices. A key question is, what abstractions could be mapped to multiple physical elements while faithfully preserving their native semantics? E.g., can an application developer always expect her abstract \big switch" to act exactly as a physical big switch, despite being implemented using multiple physical switches in reality? We show that the answer to that question is \no" for existing virtual-to-physical mapping techniques: behavior can differ between the virtual \big switch" and the physical network, providing incorrect application-level behavior. We also show that that those incorrect behaviors occur despite the fact that the most pervasive correctness invariants, such as per-packet consistency, are preserved throughout. These examples demonstrate that for practical notions of correctness, new systems and a new analytical framework are needed. We take the first steps by defining end-to-end correctness, a correctness condition that focuses on applications only, and outline a research vision to obtain virtualization systems with correct virtual to physical mappings.

KW - Correctness

KW - Network virtualization

KW - One big switch

UR - http://www.scopus.com/inward/record.url?scp=84924406000&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84924406000&partnerID=8YFLogxK

U2 - 10.1145/2620728.2620754

DO - 10.1145/2620728.2620754

M3 - Conference article

AN - SCOPUS:84924406000

VL - 44

SP - 657

EP - 662

JO - Computer Communication Review

JF - Computer Communication Review

SN - 0146-4833

IS - 4

ER -