research-article

Free access

FatTire: declarative fault tolerance for software-defined networks

Authors:

Mark Reitblatt,

Nate FosterAuthors Info & Claims

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

Pages 109 - 114

https://doi.org/10.1145/2491185.2491187

Published: 16 August 2013 Publication History

Abstract

This paper presents FatTire, a new language for writing fault-tolerant network programs. The central feature of this language is a new programming construct based on regular expressions that allows developers to specify the set of paths that packets may take through the network as well as the degree of fault tolerance required. This construct is implemented by a compiler that targets the in-network fast-failover mechanisms provided in recent versions of the Open- Flow standard, and facilitates simple reasoning about network programs even in the presence of failures. We describe the design of FatTire, present algorithms for compiling FatTire programs to OpenFlow switch configurations, describe our prototype FatTire implementation, and demonstrate its use on simple examples.

References

[1]

CPqD OpenFlow 1.3 Software Switch, July 2012. http://github.com/CPqD/ofsoftswitch13.

[2]

OpenFlow Switch Specification 1.3.1, March 2013. http://bit.ly/of-131.

[3]

S. Bryant, S. Previdi, and M. Shand. A Framework for IP and MPLS Fast Reroute Using Not-via Addresses. IETF Internet Draft, June 2013. http://datatracker.ietf.org/doc/draft-ietf-rtgwg-ipfrr-notvia-addresses/.

[4]

Arjun Guha, Mark Reitblatt, and Nate Foster. Machine-Verified Network Controllers . In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Seattle, WA, June 2013.

Digital Library

[5]

Timothy L. Hinrichs, Natasha S. Gude, Martin Casado, John C. Mitchell, and Scott Shenker. Practical Declarative Network Management. In ACM SIGCOMM Workshop on Research on Enterprise Networking (WREN), 2009.

Digital Library

[6]

Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. Real Time Network Policy Checking using Header Space Analysis. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2013.

Digital Library

[7]

James Kempf, Elisa Bellagamba, András Kern, David Jocha, Attila Takács, and Pontus Sköldström. Scalable Fault Management for OpenFlow. In IEEE International Conference on Communications (ICC), 2012.

[8]

Maciej Kuźniar, Peter Perešíni, Nedeljko Vasić, Marco Canini, and Dejan Kostić. Automatic Failure Recovery for Software-Defined Networks. In ACM SIGCOMM Workshop on Hot Topics in Software-Defined Networking (HotSDN), August 2013.

Digital Library

[9]

Amund Kvalbein, Audun Fosselie Hansen, Tarik Čičic, Stein Gjessing, and Olav Lysne. Multiple Routing Configurations for Fast IP Network Recovery. IEEE/ACM Transactions on Networking, 17(2):473--486, April 2009.

Digital Library

[10]

Bob Lantz, Brandon Heller, and Nick McKeown. A Network in a Laptop: Rapid Prototyping for Software-Defined Networks. In ACM SIGCOMM Workshop on Hot Topics in Networks (HotNets), 2010.

Digital Library

[11]

Junda Liu, Aurojit Panda, Ankit Singla, P. Brighten Godfrey, Michael Schapira, and Scott Shenker. Ensuring Connectivity via Data Plane Mechanisms. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2013.

Digital Library

[12]

Christopher Monsanto, Nate Foster, Rob Harrison, and David Walker. A Compiler and Run-time System for Network Programming Languages. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 217--230, January 2012.

Digital Library

[13]

Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. Composing software defined networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2013.

Digital Library

[14]

Scott Owens, John Reppy, and Aaron Turon. Regular-expression derivatives re-examined. Journal of Functional Programming, 19(2):173--190, March 2009.

Digital Library

[15]

P. Pan, G. Swallow, and A. Atlas. Fast reroute extensions to RSVP-TE for LSP tunnels. IETF RFC 4090, 2005.

[16]

Alex Raj and Oliver C. Ibe. A survey of IP and multiprotocol label switching fast reroute schemes. Computer Networks, 51(8):1882--1907, June 2007.

Digital Library

[17]

Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, and David Walker. Abstractions for Network Update. In ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), August 2012.

Digital Library

[18]

Sachin Sharma, Dimitri Staessens, Didier Colle, Mario Pickavet, and Piet Demeester. Enabling Fast Failure Recovery in OpenFlow Networks. In International Workshop on the Design of Reliable Communication Networks (DRCN), 2011.

[19]

Martin Suchara, Dahai Xu, Robert Doverspike, David Johnson, and Jennifer Rexford. Network Architecture for Joint Failure Recovery and Traffic Engineering. In ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), 2011.

Digital Library

[20]

Jean-Philippe Vasseur, Mario Pickavet, and Piet Demeester. Network Recovery: Protection and Restoration of Optical, SONET-SDH, IP, and MPLS. Morgan Kaufmann, 2005.

Digital Library

Cited By

Qin HChen JQiu XZhang XCui M(2024)FAPR: An Adaptive Approach to Link Failure Recovery in SDN with High Speed and Low Interruption RateApplied Sciences10.3390/app1411471914:11(4719)Online publication date: 30-May-2024
https://doi.org/10.3390/app14114719
Larisch JThijm TAhmad SWu PArnfeld TFayed MSekar VYu MSeneviratne AVeitch D(2024)Topaz: Declarative and Verifiable Authoritative DNS at CDN-ScaleProceedings of the ACM SIGCOMM 2024 Conference10.1145/3651890.3672240(891-903)Online publication date: 4-Aug-2024
https://dl.acm.org/doi/10.1145/3651890.3672240
Liao JHe BWang JWang JQi QLiao JHe BWang JWang JQi Q(2024)Intelligent Allocation Technologies for All-Scenario KDN ResourcesKey Technologies for On-Demand 6G Network Services10.1007/978-3-031-70606-6_7(163-201)Online publication date: 26-Sep-2024
https://doi.org/10.1007/978-3-031-70606-6_7
Show More Cited By

Index Terms

FatTire: declarative fault tolerance for software-defined networks
1. Computer systems organization
  1. Architectures
    1. Distributed architectures
2. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles

Recommendations

Machine-verified network controllers
PLDI '13: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation

In many areas of computing, techniques ranging from testing to formal modeling to full-blown verification have been successfully used to help programmers build reliable systems. But although networks are critical infrastructure, they have largely ...
Machine-verified network controllers
PLDI '13

In many areas of computing, techniques ranging from testing to formal modeling to full-blown verification have been successfully used to help programmers build reliable systems. But although networks are critical infrastructure, they have largely ...
A compiler and run-time system for network programming languages
POPL '12: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Software-defined networks (SDNs) are a new kind of network architecture in which a controller machine manages a distributed collection of switches by instructing them to install or uninstall packet-forwarding rules and report traffic statistics. The ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

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

156
Total Citations
View Citations
1,102
Total Downloads

Downloads (Last 12 months)96
Downloads (Last 6 weeks)14

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Qin HChen JQiu XZhang XCui M(2024)FAPR: An Adaptive Approach to Link Failure Recovery in SDN with High Speed and Low Interruption RateApplied Sciences10.3390/app1411471914:11(4719)Online publication date: 30-May-2024
https://doi.org/10.3390/app14114719
Larisch JThijm TAhmad SWu PArnfeld TFayed MSekar VYu MSeneviratne AVeitch D(2024)Topaz: Declarative and Verifiable Authoritative DNS at CDN-ScaleProceedings of the ACM SIGCOMM 2024 Conference10.1145/3651890.3672240(891-903)Online publication date: 4-Aug-2024
https://dl.acm.org/doi/10.1145/3651890.3672240
Liao JHe BWang JWang JQi QLiao JHe BWang JWang JQi Q(2024)Intelligent Allocation Technologies for All-Scenario KDN ResourcesKey Technologies for On-Demand 6G Network Services10.1007/978-3-031-70606-6_7(163-201)Online publication date: 26-Sep-2024
https://doi.org/10.1007/978-3-031-70606-6_7
Wijesekara PGunawardena S(2023)A Comprehensive Survey on Knowledge-Defined NetworkingTelecom10.3390/telecom40300254:3(477-596)Online publication date: 2-Aug-2023
https://doi.org/10.3390/telecom4030025
Grewal KGodfrey PHsu J(2023)Expressive Policies For Microservice NetworksProceedings of the 22nd ACM Workshop on Hot Topics in Networks10.1145/3626111.3628181(280-286)Online publication date: 28-Nov-2023
https://dl.acm.org/doi/10.1145/3626111.3628181
Menaceur ADrid HRahouti M(2023)Fault Tolerance and Failure Recovery Techniques in Software-Defined Networking: A Comprehensive ApproachJournal of Network and Systems Management10.1007/s10922-023-09772-x31:4Online publication date: 5-Sep-2023
https://dl.acm.org/doi/10.1007/s10922-023-09772-x
Hussain MShah NAmin RAlshamrani SAlotaibi ARaza S(2022)Software-Defined Networking: Categories, Analysis, and Future DirectionsSensors10.3390/s2215555122:15(5551)Online publication date: 25-Jul-2022
https://doi.org/10.3390/s22155551
Greenberg MBeckett RCampbell EJhala RDillig I(2022)Kleene algebra modulo theories: a framework for concrete KATsProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523722(594-608)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523722
Li HZhang PSun GCao WHu CShan DPan TFu Q(2022)Compiling Cross-Language Network Programs Into Hybrid Data PlaneIEEE/ACM Transactions on Networking10.1109/TNET.2021.313230330:3(1088-1103)Online publication date: Jun-2022
https://doi.org/10.1109/TNET.2021.3132303
Farooq UAnwar MNoor HTahir RPrabhu SKheradmand ACaesar MZaffar F(2022)FORTIFY: Software Defined Data Plane Resilience2022 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)10.1109/NFV-SDN56302.2022.9974617(6-12)Online publication date: 14-Nov-2022
https://doi.org/10.1109/NFV-SDN56302.2022.9974617
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

Media

Figures

Other

Tables

View Table of Contents