fattire declarative fault tolerance for sdn
play

FatTire: Declarative Fault Tolerance for SDN Mark Reitblatt - PowerPoint PPT Presentation

Feb 03, 2023 •40 likes •380 views

FatTire: Declarative Fault Tolerance for SDN Mark Reitblatt (Cornell) (TU Berlin UC Louvain) Marco Canini (Cornell UMass Amherst) Arjun Guha Nate Foster (Cornell) 1 Friday, August 16, 13 In a Perfect World... 2 Friday, August 16,

  1. FatTire: Declarative Fault Tolerance for SDN Mark Reitblatt (Cornell) (TU Berlin → UC Louvain) Marco Canini (Cornell → UMass Amherst) Arjun Guha Nate Foster (Cornell) 1 Friday, August 16, 13

  2. In a Perfect World... 2 Friday, August 16, 13

  3. But in Reality... 3 Friday, August 16, 13

  4. Fault-Tolerance Mechanisms Traditional Networks • MPLS local path protection • Global path protection • IEEE 802.1ag • and others... Software-Defined Networks • Controller reacts to failures • Fast failover group actions (OpenFlow 1.1+) 4 Friday, August 16, 13

  5. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  6. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  7. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  8. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  9. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  10. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  11. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  12. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  13. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  14. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  15. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  16. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  17. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  18. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  19. • Connectivity from GW to A • SSH traffic traverses IDS • SSH is 1-link fault tolerant S1 GW IDS A S2 Traffic 5 Friday, August 16, 13

  20. OpenFlow Fast Failover Match Instructions inPort = GW , tpDst = 22 Group 1 inPort = IDS , tpDst = 22 Group 2 Match Instructions inPort = S2 , tpDst = 22 Group 2 tpDst = 22 Group 1 Group Type Actions Group Type Actions h Fwd IDS i , h Fwd S2 i 1 FF S1 h Fwd S1 i , h Fwd S2 i h Fwd A i 1 FF 2 FF GW IDS A Match Instructions S2 inPort = IDS , tpDst = 22 Group 1 inPort = S1 , tpDst = 22 Group 2 inPort = GW , tpDst = 22 Group 2 Group Type Actions h Fwd A i , h Fwd S1 i 1 FF h Fwd IDS i 2 FF 6 Friday, August 16, 13

  21. Why not Frenetic? • Frenetic provides a declarative language for expressing forwarding policies... • ... in terms of hop-by-hop forwarding steps • Example: ¡ ¡(GW ¡ ¡ � ¡S1) ¡+ ¡(S1 ¡ � ¡IDS) ¡ + ¡(IDS ¡ � ¡S2) ¡+ ¡(S2 ¡ � ¡A) • What to do if next hop fails? GW S1 IDS S2 A 7 Friday, August 16, 13

  22. Our Approach: FatTire “Fault Tolerating Regular Expressions” Key Ingredients: • Hop-by-hop forwarding → paths • Deterministic → non-deterministic • Explicit fault-tolerance constructs Challenges: • FatTire programs may specify overlapping paths • OpenFlow tables are deterministic • Global analysis to provide fault-tolerance guarantees 8 Friday, August 16, 13

  23. ¡ ( All ¡ � ¡[GW ¡* ¡A] ) • Connectivity from GW to A ∩ ¡ ¡SSH ¡ � ¡[* ¡IDS ¡*] ( ) • SSH traffic traverses IDS ¡ ¡ ∪ ¡¬SSH ¡ � ¡[*] ∩ ¡ ¡SSH ¡ � ¡[*] ¡with ¡1 ¡ • SSH is 1 link fault tolerant ( ) ¡ ¡ ∪ ¡¬SSH ¡ � ¡[*] S1 GW IDS A S2 Traffic 9 Friday, August 16, 13

  24. Programming in FatTire Write programs in terms of regular expressions on forwarding paths • [GW ¡* ¡A] • [GW ¡(S1 ¡| ¡S2) ¡A] Use annotations to specify desired fault tolerance • SSH ¡ � ¡[*] ¡with ¡1 • ¬SSH ¡ � ¡[*] ¡= ¡¬SSH ¡ � ¡[*] ¡with ¡0 10 Friday, August 16, 13

  25. Programming in FatTire Can combine policies with intersection and union: • Intersection adds restrictions on paths ( All ¡ � ¡[GW ¡* ¡A]) ¡ ∩ ¡(SSH ¡ � ¡[*] ¡with ¡1) = SSH ¡ � ¡[GW ¡* ¡A] ¡with ¡1 • Union loosens restrictions on paths ( All ¡ � ¡[GW ¡S1 ¡A]) ¡ ∪ ¡(All ¡ � ¡[GW ¡S2 ¡A]) = All ¡ � ¡[GW ¡(S1 ¡| ¡S2) ¡A] 11 Friday, August 16, 13

  26. FatTire Compiler ∪ ... ∪ 1. Normalize into Disjunctive Normal Form ∩ ∩ ∩ ∩ 2. Partition into traffic equivalence classes ... 3. Compute fault-tolerant forwarding graph GW S1 S2 4. Output hop-by-hop Frenetic policy and IDS IDS S1 compile to OpenFlow rules !!((GW!! ! !S1)! ⊕ !(GW! ! !S2))! +!((S1! ! !IDS)! ⊕ !(S2! ! !IDS)) 12 Friday, August 16, 13

  27. Implementation • Full working prototype implemented in OCaml • Based on an extension of the Frenetic controller with support for OpenFlow 1.3 • Tested on CPqD 1.3 software switch • See paper for preliminary experimental evaluation using Mininet • Code available from https://github.com/frenetic-lang/fattire under an open-source license 13 Friday, August 16, 13

  28. Future Work • Extend to handle quantitative path properties • Bandwidth • Latency • Provide first-class support for other topology changes such as switch failures • Investigate applications of non-deterministic network programs • Investigate other recovery mechanisms 14 Friday, August 16, 13

  29. Thank You FatTire Team: Marco Canini Mark Reitblatt Papers, source code, examples, tutorials, etc. http://frenetic-­‑lang.org Arjun Guha Nate Foster 15 Friday, August 16, 13

  30. Backup Slides 16 Friday, August 16, 13

  31. Update consistency • Semantics of failure recovery => per-packet consistency 17 Friday, August 16, 13

  32. Regular Expression Derivatives 18 Friday, August 16, 13

  33. Path Expressions as verification spec • Dual use as verification specification? 19 Friday, August 16, 13

  34. Interaction of paths ¡ ¡All ¡ � ¡[S1.FW.S3] ¡ ∪ ¡ALL ¡ � ¡[S2.FW.S4] S1 S3 FW S2 S4 20 Friday, August 16, 13

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Roadmap for Section 10.1 The Notion of Fault-Tolerance Fault-Tolerance Support in NTFS Volume

Roadmap for Section 10.1 The Notion of Fault-Tolerance Fault-Tolerance Support in NTFS Volume

Unit OS10: Fault Tolerance Windows Operating System Internals - by David A. Solomon and Mark E. Russinovich with Andreas Polze Roadmap for Section 10.1 The Notion of Fault-Tolerance Fault-Tolerance Support in NTFS Volume Management - Striped

394 views • 25 slides
Fault Tolerance in Message Passing Fault Tolerance in Message Passing and in Action and in

Fault Tolerance in Message Passing Fault Tolerance in Message Passing and in Action and in

Fault Tolerance in Message Passing Fault Tolerance in Message Passing and in Action and in Action Jack Dongarra, Innovative Computing Laboratory University of Tennessee and Computer Science and Mathematics Division Oak Ridge National

422 views • 14 slides
General Principles of Fault- Tolerance Daniel Gottesman Perimeter Institute Whats Left For

General Principles of Fault- Tolerance Daniel Gottesman Perimeter Institute Whats Left For

General Principles of Fault- Tolerance Daniel Gottesman Perimeter Institute Whats Left For Fault-Tolerance? Reduce the overhead (in space and in time) needed for fault-tolerance Better fault-tolerance in 1D? Better magic state

556 views • 22 slides
Rigorous fault-tolerance thresholds Ben Reichardt UC Berkeley N gate circuit 0/1 N gate

Rigorous fault-tolerance thresholds Ben Reichardt UC Berkeley N gate circuit 0/1 N gate

Rigorous fault-tolerance thresholds Ben Reichardt UC Berkeley N gate circuit 0/1 N gate circuit Need error 1/N 1/0 Quantum fault-tolerance problem Classical fault-tolerance: Von Neumann (1956) 0/1 Fault-tolerant, larger C High

846 views • 63 slides
Lecture 10: Fault Tolerance Fault Tolerant Concurrent Computing The main principles of fault

Lecture 10: Fault Tolerance Fault Tolerant Concurrent Computing The main principles of fault

Lecture 10: Fault Tolerance Fault Tolerant Concurrent Computing The main principles of fault tolerant programming are: Fault Detection - Knowing that a fault exists Fault Recovery - having atomic instructions that can be rolled back in

361 views • 18 slides
CH NG 8: FAULT TOLERANCE TS. Tr n H i Anh Content 2 1. Introduction to fault

CH NG 8: FAULT TOLERANCE TS. Tr n H i Anh Content 2 1. Introduction to fault

1 Tr n H i Anh Distributed System CH NG 8: FAULT TOLERANCE TS. Tr n H i Anh Content 2 1. Introduction to fault tolerance 2. Process resilience 3. Reliable client-Server Communication 4. Reliable Group Communication 5.

966 views • 50 slides
Distributed Systems 5. Fault Tolerant Systems Fault-Tolerance - 1 Lszl Bszrmnyi

Distributed Systems 5. Fault Tolerant Systems Fault-Tolerance - 1 Lszl Bszrmnyi

Distributed Systems 5. Fault Tolerant Systems Fault-Tolerance - 1 Lszl Bszrmnyi Distributed Systems Fault tolerance A system or a component fails due to a fault Fault tolerance means that the system continues to provide its

428 views • 40 slides
CSci 5105 Introduction to Distributed Systems Fault Tolerance Last Time Replication and

CSci 5105 Introduction to Distributed Systems Fault Tolerance Last Time Replication and

CSci 5105 Introduction to Distributed Systems Fault Tolerance Last Time Replication and Consistency Today Fault tolerance Chapter 8 TVS Fault Tolerance Basics Availability short time horizon e.g down 1 msec every hour

292 views • 27 slides
Challenging Malicious Inputs with Fault Tolerance Techniques Bruno Luiz Agenda Threats

Challenging Malicious Inputs with Fault Tolerance Techniques Bruno Luiz Agenda Threats

Challenging Malicious Inputs with Fault Tolerance Techniques Bruno Luiz Agenda Threats Fault Tolerance Fault Injection for Fault Tolerance Assessment Basic and classic techniques Decision Mechanisms Implementation

962 views • 61 slides
Distributed Systems (ICE 601) Fault Tolerance Dongman Lee ICU Class Overview Introduction

Distributed Systems (ICE 601) Fault Tolerance Dongman Lee ICU Class Overview Introduction

Distributed Systems (ICE 601) Fault Tolerance Dongman Lee ICU Class Overview Introduction Failure Model Fault Tolerance Models state machine primary-backup Distributed Systems - Fault Tolerance Introduction

146 views • 12 slides
Fibre bundle framework for unitary quantum fault tolerance Lucy Liuxuan Zhang University of

Fibre bundle framework for unitary quantum fault tolerance Lucy Liuxuan Zhang University of

Motivations and main idea Basics of quantum fault tolerance Geometric picture of QECCs and unitary fault tolerance Conclusion Fibre bundle framework for unitary quantum fault tolerance Lucy Liuxuan Zhang University of Toronto December 18,

795 views • 16 slides
Hypervisor-Based Fault-Tolerance Thomas C. Bressoud, Isis

Hypervisor-Based Fault-Tolerance Thomas C. Bressoud, Isis

Hypervisor-Based Fault-Tolerance Thomas C. Bressoud, Isis Distributed Systems Fred B. Schneider, Cornell University SOSP, 1995 Problem Fault tolerance

2.97k views • 8 slides
Adaptability and Fault Tolerance Adaptability and Fault Tolerance Rog rio rio de Lemos de

Adaptability and Fault Tolerance Adaptability and Fault Tolerance Rog rio rio de Lemos de

Adaptability and Fault Tolerance Adaptability and Fault Tolerance Rog rio rio de Lemos de Lemos Rog University of Kent, UK University of Kent, UK Context: self-* and dependability; Focus: adaptability and fault tolerance;

640 views • 19 slides
Towards an Efficient Fault-Tolerance Scheme for GLB Claudia Fohry, Marco Bungart and Jonas Posner

Towards an Efficient Fault-Tolerance Scheme for GLB Claudia Fohry, Marco Bungart and Jonas Posner

GLB Fault Tolerance Scheme Experimental Results Towards an Efficient Fault-Tolerance Scheme for GLB Claudia Fohry, Marco Bungart and Jonas Posner Programming Languages / Methodologies June 14, 2015 1 / 18 GLB Fault Tolerance Scheme

744 views • 18 slides
iQIM 5 December 2011 Quantum fault tolerance Error correction and fault tolerance will be

iQIM 5 December 2011 Quantum fault tolerance Error correction and fault tolerance will be

Protected gates for superconducting qubits V( ) John Preskill with Peter Brooks and Alexei Kitaev

511 views • 33 slides
Fault Tolerance For Sparse Linear Algebra Computations Implemented In A Grid Environment

Fault Tolerance For Sparse Linear Algebra Computations Implemented In A Grid Environment

Fault Tolerance For Sparse Linear Algebra Computations Implemented In A Grid Environment Experiments with Fault Tolerant Linear Algebra Algorithms Jack Dongarra Jeffery Chen Zhiao Shi Asim YarKhan University of Tennessee Fault Tolerance:

412 views • 22 slides
Im Improving P Performance o of It Iterative Me Methods by y Lo Lossy y Checkp kpoin

Im Improving P Performance o of It Iterative Me Methods by y Lo Lossy y Checkp kpoin

Im Improving P Performance o of It Iterative Me Methods by y Lo Lossy y Checkp kpoin intin ing Dingwen Tao (University of California, Riverside) Sheng Di (Argonne National Laboratory) Xin Liang (University of California, Riverside)

1.31k views • 69 slides
Ontology-based Data Management Maurizio Lenzerini Dipartimento di Ingegneria Informatica

Ontology-based Data Management Maurizio Lenzerini Dipartimento di Ingegneria Informatica

Ontology-based Data Management Maurizio Lenzerini Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti 20th ACM Conference on Information and Knowledge Management Glasgow, UK, October 24 28, 2011 Introduction

965 views • 73 slides
Fault Tolerance Chi Zhang czhang@cs.fiu.edu Basic Concepts Dependability Includes

Fault Tolerance Chi Zhang czhang@cs.fiu.edu Basic Concepts Dependability Includes

COP 6611 Advanced Operating System Fault Tolerance Chi Zhang czhang@cs.fiu.edu Basic Concepts Dependability Includes Availability Run time / total time Reliability The length of uninterrupted run time Safety When a

544 views • 16 slides
Tolerance and distribution in Encelia species They are all closely related, how are they

Tolerance and distribution in Encelia species They are all closely related, how are they

Tolerance and distribution in Encelia species They are all closely related, how are they different? Different tolerances are part of different ecological strategies But how did they become different species? The Ecological Theatre and the

133 views • 9 slides
Data Elevators Applying the Bundle Protocol in Delay Tolerant Wireless Sensor Networks

Data Elevators Applying the Bundle Protocol in Delay Tolerant Wireless Sensor Networks

Data Elevators Applying the Bundle Protocol in Delay Tolerant Wireless Sensor Networks Wolf-Bastian P ottner, Felix B usching, Georg von Zengen, Lars Wolf IEEE MASS 2012, 2012-10-09 Introduction Bundle Protocol Data Elevator Network

209 views • 19 slides
FaultTolerantLinearAlgebra: goalsandmethods.

FaultTolerantLinearAlgebra: goalsandmethods.

FaultTolerantLinearAlgebra: goalsandmethods. JulienLangou,UniversityofColoradoDenver FaulttolerantLinearAlgebra:GoalsandMethods. 0GOALS

995 views • 73 slides
A fault-tolerant one-way quantum computer Robert Raussendorf 1 , Jim Harrington 2 and Kovid Goyal

A fault-tolerant one-way quantum computer Robert Raussendorf 1 , Jim Harrington 2 and Kovid Goyal

A fault-tolerant one-way quantum computer Robert Raussendorf 1 , Jim Harrington 2 and Kovid Goyal 1 1: California Institute of Technology, 2: Los Alamos National Laboratory QIP Paris, 20th February 2006 Main idea Universal quantum computation

556 views • 38 slides
What Are Unit Tests and Why Write Them? Aime Gott Education Practice Lead, Mango Solutions

What Are Unit Tests and Why Write Them? Aime Gott Education Practice Lead, Mango Solutions

DataCamp Developing R Packages DEVELOPING R PACKAGES What Are Unit Tests and Why Write Them? Aime Gott Education Practice Lead, Mango Solutions DataCamp Developing R Packages Why Write Unit Tests? A function that works correctly now may

852 views • 36 slides

More recommend