@inproceedings{570320e2e5974acbba6dc2d7e1ccfffb,
title = "CAP for networks",
abstract = "The CAP theorem showed that it is impossible for datastore systems to achieve all three of strong consistency, availability and partition tolerance. In this paper we investigate how these trade-offs apply to software-defined networks. Specifically, we investigate network policies such as tenant isolation and middlebox traversal, and prove that it is impossible for implementations to enforce them without sacrificing availability. We conclude by distilling practical design lessons from our observations.",
keywords = "Availability, Correctness, Distributed controllers, Software defined network",
author = "Aurojit Panda and Colin Scott and Ali Ghodsi and Teemu Koponen and Scott Shenker",
year = "2013",
doi = "10.1145/2491185.2491186",
language = "English (US)",
isbn = "9781450320566",
series = "HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking",
pages = "91--96",
booktitle = "HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking",
note = "2013 2nd ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN 2013 ; Conference date: 16-08-2013 Through 16-08-2013",
}