research-article

Free access

CAP for networks

Authors:

Scott ShenkerAuthors Info & Claims

HotSDN '13: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking

Pages 91 - 96

https://doi.org/10.1145/2491185.2491186

Published: 16 August 2013 Publication History

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.

References

[1]

Big Network Controller Datasheet. Retrieved 03/22/2013: http://www.bigswitch.com/sites/default/files/sdn-resources/bnc-datasheet.pdf.

[2]

D. Abadi. Problems with CAP, and Yahoo's little known NoSQL system. http://dbmsmusings.blogspot.com/2010/04/problems-with-cap-and-yahoos-little.html, 2010.

[3]

P. Bailis, A. Fekete, A. Ghodsi, J. M. Hellerstein, and I. Stoica. HAT, not CAP: Towards Highly Available Transactions. HotOS'13.

Digital Library

[4]

P. Bailis, A. Ghodsi, J. M. Hellerstein, and I. Stoica. Bolt-on Causal Consistency. SIGMOD'13.

Digital Library

[5]

E. Brewer. Towards Robust Distributed Systems. PODC '00 Invited Talk.

Digital Library

[6]

M. Casado, M. J. Freedman, J. Pettit, J. Luo, N. McKeown, and S. Shenker. Ethane: Taking Control of the Enterprise. SIGCOMM '07.

Digital Library

[7]

D. Clark. The Design Philosophy of the DARPA Internet Protocols. CCR '88.

Digital Library

[8]

D. Farinacci, V. Fuller, D. Meyer, and D. Lewis. The Locator/ID Separation Protocol (LISP). RFC 6830.

[9]

M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of Distributed Consensus with One Faulty Process. JACM '85.

Digital Library

[10]

S. Gilbert and N. Lynch. Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services. ACM SIGACT News '02.

Digital Library

[11]

P. Gill, N. Jain, and N. Nagappan. Understanding Network Failures in Data Centers: Measurement, Analysis, and Implications. SIGCOMM '11.

Digital Library

[12]

A. Greenberg, J. R. Hamilton, N. Jain, S. Kandula, C. Kim, P. Lahiri, D. A. Maltz, P. Patel, and S. Sengupta. VL2: A Scalable and Flexible Data Center Network. SIGCOMM '09.

Digital Library

[13]

M. P. Herlihy and J. M. Wing. Linearizability: A correctness condition for concurrent objects. TOPLAS '90.

Digital Library

[14]

K. Kingsbury and P. Bailis. The network is reliable. http://aphyr.com/posts/288-the-network-is-reliable, 2013.

[15]

K. Lakshminarayanan, M. Caesar, M. Rangan, T. Anderson, S. Shenker, and I. Stoica. Achieving Convergence-Free Routing Using Failure-Carrying Packets. CCR '07.

Digital Library

[16]

L. Lamport. On interprocess communication. Distributed Computing '86.

[17]

W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen. Don't Settle for Eventual: Scalable Causal Consistency For Wide-Area Storage With COPS. In SOSP 2011.

Digital Library

[18]

P. Mahajan, L. Alvisi, and M. Dahlin. Consistency, Availability, and Convergence. University of Texas at Austin Tech Report '11.

[19]

J. Moy. OSPF Version 2. RFC 2328.

[20]

R. Niranjan Mysore, A. Pamboris, N. Farrington, N. Huang, P. Miri, S. Radhakrishnan, V. Subramanya, and A. Vahdat. PortLand: a Scalable Fault-Tolerant Layer 2 Data Center Network Fabric. SIGCOMM '09.

Digital Library

[21]

M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, and D. Walker. Abstractions for Network Update. SIGCOMM '12.

Digital Library

[22]

D. L. Tennenhouse and D. J. Wetherall. Towards an Active Network Architecture. CCR '96.

Digital Library

Cited By

Alsheikh RFadel EAkkari N(2024)An Adaptive State Consistency Architecture for Distributed Software-Defined Network Controllers: An Evaluation and Design ConsiderationApplied Sciences10.3390/app1406262714:6(2627)Online publication date: 21-Mar-2024
https://doi.org/10.3390/app14062627
Alsheikh RFadel EAkkari N(2024)Distributed Software-Defined Networking ManagementARO-THE SCIENTIFIC JOURNAL OF KOYA UNIVERSITY10.14500/aro.1146812:2(157-166)Online publication date: 30-Sep-2024
https://doi.org/10.14500/aro.11468
Yusuf MBin Abu Bakar KIsyaku BMukhlif F(2023)Distributed Controller Placement in Software-Defined Networks with Consistency and Interoperability ProblemsJournal of Electrical and Computer Engineering10.1155/2023/64669962023Online publication date: 1-Jan-2023
https://dl.acm.org/doi/10.1155/2023/6466996
Show More Cited By

Index Terms

CAP for networks
1. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems

Recommendations

The CAP theorem versus databases with relaxed ACID properties
ICUIMC '14: Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication

The CAP theorem combines the three desirable properties C (data consistency), A (data availability), and P (partition-tolerance: tolerance of inconsistencies between data stored in a distributed database where partitions are allowed). The CAP theorem ...
Consistent and automatic replica regeneration

Reducing management costs and improving the availability of large-scale distributed systems require automatic replica regeneration, that is, creating new replicas in response to replica failures. A major challenge to regeneration is maintaining ...
Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services

This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet services via distributed edge servers that operate on a shared collection of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

HotSDN '13: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking

August 2013

182 pages

ISBN:9781450321785

DOI:10.1145/2491185

Program Chairs:
Nate Foster
Cornell University
,
Rob Sherwood
Big Switch Networks

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGCOMM: ACM Special Interest Group on Data Communication

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 August 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SIGCOMM'13

Sponsor:

SIGCOMM

SIGCOMM'13: ACM SIGCOMM 2013 Conference

August 16, 2013

Hong Kong, China

Acceptance Rates

HotSDN '13 Paper Acceptance Rate 38 of 84 submissions, 45%;

Overall Acceptance Rate 88 of 198 submissions, 44%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

56
Total Citations
View Citations
757
Total Downloads

Downloads (Last 12 months)148
Downloads (Last 6 weeks)17

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Alsheikh RFadel EAkkari N(2024)An Adaptive State Consistency Architecture for Distributed Software-Defined Network Controllers: An Evaluation and Design ConsiderationApplied Sciences10.3390/app1406262714:6(2627)Online publication date: 21-Mar-2024
https://doi.org/10.3390/app14062627
Alsheikh RFadel EAkkari N(2024)Distributed Software-Defined Networking ManagementARO-THE SCIENTIFIC JOURNAL OF KOYA UNIVERSITY10.14500/aro.1146812:2(157-166)Online publication date: 30-Sep-2024
https://doi.org/10.14500/aro.11468
Yusuf MBin Abu Bakar KIsyaku BMukhlif F(2023)Distributed Controller Placement in Software-Defined Networks with Consistency and Interoperability ProblemsJournal of Electrical and Computer Engineering10.1155/2023/64669962023Online publication date: 1-Jan-2023
https://dl.acm.org/doi/10.1155/2023/6466996
Mudvari APoularakis KTassiulas L(2023)Robust SDN Synchronization in Mobile Networks Using Deep Reinforcement and Transfer LearningICC 2023 - IEEE International Conference on Communications10.1109/ICC45041.2023.10278580(1080-1085)Online publication date: 28-May-2023
https://doi.org/10.1109/ICC45041.2023.10278580
Hoang NNguyen HTran HSouihi S(2022)A Novel Adaptive East–West Interface for a Heterogeneous and Distributed SDN NetworkElectronics10.3390/electronics1107097511:7(975)Online publication date: 22-Mar-2022
https://doi.org/10.3390/electronics11070975
Fogli MGiannelli CStefanelli C(2022)Software-Defined Networking in wireless ad hoc scenariosJournal of Network and Computer Applications10.1016/j.jnca.2022.103387203:COnline publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1016/j.jnca.2022.103387
Bannour FSouihi SMellouk A(2022)ReferencesSoftware‐Defined Networking10.1002/9781394186181.refs(121-137)Online publication date: 16-Dec-2022
https://doi.org/10.1002/9781394186181.refs
Haleplidis ETranoris CDenazis SKoufopavlou O(2021)Future SDN-Based Network ArchitecturesDesign Innovation and Network Architecture for the Future Internet10.4018/978-1-7998-7646-5.ch005(123-154)Online publication date: 2021
https://doi.org/10.4018/978-1-7998-7646-5.ch005
Chandwani GBehera SDas G(2021)Delay-Aware Control Plane Virtual Topology Design of Software Defined-Elastic Optical NetworkIEEE Transactions on Network and Service Management10.1109/TNSM.2020.303072718:2(1461-1475)Online publication date: Jun-2021
https://doi.org/10.1109/TNSM.2020.3030727
Sukapuram RPatowary RBarua G(2021)Loss-freedom, Order-preservation and No-buffering: Pick Any Two During Flow Migration in Network Functions2021 IEEE 29th International Conference on Network Protocols (ICNP)10.1109/ICNP52444.2021.9651954(1-11)Online publication date: 1-Nov-2021
https://doi.org/10.1109/ICNP52444.2021.9651954
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten