Prior Work Consensus Consensus Reliable BGP Consensus Reliable - PowerPoint PPT Presentation

Sep 04, 2023 •296 likes •581 views

Prior Work Consensus Consensus Reliable BGP Consensus Reliable BGP Consensus Routing Reliable BGP Routing Reliable BGP Routing Routing Graceful Seamless Graceful Seamless Graceful Seamless Seamless Graceful Migration Migration

Prior Work Consensus Consensus Reliable BGP Consensus Reliable BGP Consensus Routing Reliable BGP Routing Reliable BGP Routing Routing Graceful Seamless Graceful Seamless Graceful Seamless Seamless Graceful Migration Migration Migration Migration Migration Migration Migration Migration 4
Universal Property Preservation Theorem: Per-packet consistent updates preserve all trace properties. Trace Property Any property of a single packet’s path through the network. Examples of Trace Properties: Loop freedom, access control, waypointing ... Trace Property Verifcation Tools: Anteater , Header Space Analysis, ConfjgChecker ... 11
MECHANISMS 13
Correctness Question : How do we convince ourselves these mechanisms are correct? Solution : We built an operational semantics, formalized our mechanisms and proved them correct Example: 2-Phase Update } Unobservable 1. Install new rules on internal switches, leave old confjguration in place } 2. Install edge rules that stamp with the new One-touch version number Theorem: Unobservable + one-touch = per-packet. 18
IMPLEMENTATION & EVALUATION 19
Evaluation Question: How much extra rule space is required? Setup Topologies • Mininet VM Applications • Routing and Multicast Fattree Scenarios • Adding/removing hosts • Adding/removing links • Both at the same time Small-world Waxman 21
Results: Routing Application 100% Full Subset Worst-Case Rule Overhead 75% 50% 25% 0% Host Link Both Host Link Both Host Link Both Fattree Small-world Waxman 22
WRAP UP 23
Conclusion Update abstractions • Per-packet • Per-fow Mechanisms • 2-Phase Update • Optimizations Implementation • Runtime • Verifjer Formal model • Network operational semantics • Universal property preservation 24
Thank You! Collaborators Shrutarshi Basu (Cornell) Arjun Guha (Cornell) Stephen Gutz (Cornell) Rob Harrison (West Point) Nanxi Kang (Princeton) Naga Praveen Katta (Princeton) Chris Monsanto (Princeton) http://frenetic-lang.org Josh Reich (Princeton) Cole Schlesinger (Princeton) Robert Soulé (Cornell) Alec Story (Cornell) Nate Foster (Cornell) Mike Freedman (Princeton) Jen Rexford (Princeton) Emin Gün Sirer (Cornell) Dave Walker (Princeton) 25
BACKUP SLIDES 26

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

1 Prior Work Stereology Prior Work Stereology Prior Work Texture Synthesis Prior

Objective Objective Stereological Techniques Given a 2D slice through an aggregate material, for Solid Textures create a 3D volume with a comparable appearance. Rob Jagnow Julie Dorsey Holly Rushmeier MIT Yale University Yale University

636 views • 6 slides

Health Insurance Exchange Finance Work Group 8/9/12 Agenda Overview of prior work from work

Health Insurance Exchange Finance Work Group 8/9/12 Agenda Overview of prior work from work group Timeline Funding Pros and Cons High level recommendations/principles Benefit Analysis (who benefits from Exchange) Review of

762 views • 32 slides

Magna Carta Group Members: Kirby Gee, April Yu, Gavin Mai Problem Prior Work - Self reporting

Magna Carta Group Members: Kirby Gee, April Yu, Gavin Mai Problem Prior Work - Self reporting sites Prior Work - Carta Current Progress Currently in the process of receiving data from professor in CS department Questions to get feedback

251 views • 6 slides

Karthik Dinakar MAS 771 Brief introduction of problem space Prior & related work

Karthik Dinakar MAS 771 Brief introduction of problem space Prior & related work Algorithmic approach Demonstration Evaluation Limitations Future Work & lessons learned Pragmatic language impairment [Bishop

360 views • 15 slides

1 Prior Work: Depth from Defocus Prior Work: Modifying Cameras DSLR with a focusing mechanism

Light fields Light Fields: From Shape Recovery to Sparse Reconstruction Ravi Ramamoorthi University of California, San Diego Refocusing Viewpoint Change L4CV Keynote, Jul 26, 2017 Consumer light field cameras Outline Motivation Light

113 views • 10 slides

Introduction and reprise of prior ISCTM work From Challenges to Opportunities in Disease

XV Annual Scientific Meeting, 18-21 Feb 2019, Washington DC, USA Introduction and reprise of prior ISCTM work From Challenges to Opportunities in Disease Progression / Modification Luca Pani, MD University of Miami and VeraSci, USA University

275 views • 11 slides

Prior Learning Assessment Content of Presentation Introduction to Prior Learning Assessment

Prior Learning Assessment Content of Presentation Introduction to Prior Learning Assessment Developing a Portfolio Tips & Hints Submission Evaluation Process Awards & Applying Credits What is Prior Learning

406 views • 37 slides

Outline Project goal and problem definition Prior Work: Octree textures on GPU Parallel

Outline Project goal and problem definition Prior Work: Octree textures on GPU Parallel Octrees on GPU (2 implementations) Space Filling Curves CUDA programming model Octree Construction Results: Comparison of two

835 views • 54 slides

Implementing new Topology Mapping Primitives Guillermo Baltra Prior Work Primitives for

Implementing new Topology Mapping Primitives Guillermo Baltra Prior Work Primitives for Active Internet Topology Mapping: Toward High-Frequency Characterization, Beverly, R., Berger, A., Xie, G., IMC 2010. Demonstrated the ability of

1.2k views • 80 slides

Post-AIA Section 102 and Prior Art: Navigating the Expanded Scope of Prior Art and AIA Exceptions

Presenting a live 90-minute webinar with interactive Q&A Post-AIA Section 102 and Prior Art: Navigating the Expanded Scope of Prior Art and AIA Exceptions THURS DAY, S EPTEMBER 11, 2014 1pm East ern | 12pm Cent ral | 11am Mount

1.12k views • 89 slides

From Elms to Ash and Beyond Managing Our Urban Forest for Diversity & Resilience Ralph

From Elms to Ash and Beyond Managing Our Urban Forest for Diversity & Resilience Ralph Sievert Director of Forestry Craig Pinkalla Forestry Preservation Coordinator Prior to EAB Prior to EAB Prior to EAB Prior to EAB Prior to EAB

1.02k views • 89 slides

City Council / County Board Work Session #3 Thursday, September 7, 2017 CH 21 Downtown Prior

City Council / County Board Work Session #3 Thursday, September 7, 2017 CH 21 Downtown Prior Lake Reconstruction Tonights Meeting - Agenda Overall Purpose to Inform on: Part 1: Corridor Visioning Concepts + Part 2: TH 13 / CH 21

690 views • 58 slides

Prior Art Search Overview Start the prior art search by selecting one or more KEYWORDS. Use

Prior Art Search Overview Start the prior art search by selecting one or more KEYWORDS. Use these menus to revise & narrow the search Open similar items Example of patent review The next 8 slides illustrate how we could quickly

282 views • 25 slides

Work Group interpretations of data Sara Oliver MD, MSPH ACIP Meeting October 30, 2020 For more

ACIP COVID-19 Vaccines Work Group interpretations of data Sara Oliver MD, MSPH ACIP Meeting October 30, 2020 For more information: www.cdc.gov/COVID19 Prior infection Summary of Work Group interpretation: COVID-19 vaccine and Prior infection

703 views • 20 slides

Molina Healthcare Prior Authorization Prior Authorization is a request for prospective review. It

Molina Healthcare Prior Authorization Prior Authorization is a request for prospective review. It is designed to : Assist in benefit determination Prevent unanticipated denials of coverage Create a collaborative approach to

187 views • 18 slides

Work Sample Assignment: construct a marketing plan for Svedka Vodka circa 1998, prior to product

Work Sample Assignment: construct a marketing plan for Svedka Vodka circa 1998, prior to product launch Highlights: Slide design, story creation/slide organization, insights, professional writing SVEDKA Vodka Team Mercedes Agenda Purpose

470 views • 21 slides

$The game Euclid , its variants, and continued fractions Nhan Bao Ho 23 April 2014 Nhan Bao Ho$

The game Euclid , its variants, and continued fractions Nhan Bao Ho 23 April 2014 Nhan Bao Ho

The game Euclid , its variants, and continued fractions The game Euclid , its variants, and continued fractions Nhan Bao Ho 23 April 2014 Nhan Bao Ho The game Euclid , its variants, and continued fractions The game Euclid , its variants, and

351 views • 23 slides

PISA: Protocol Independent Switch Architecture [Sigcomm 2013] Match+AcHon ALU Memory

Programming the Forwarding Plane Nick McKeown Stanford University PISA: Protocol Independent Switch Architecture [Sigcomm 2013] Match+AcHon ALU Memory Programmable Parser 2 PISA: Protocol Independent Switch Architecture Match+AcHon

694 views • 26 slides

Designing Propagation Plans to Promote Sustained Adoption of Educational Innovations Jeffrey E.

Designing Propagation Plans to Promote Sustained Adoption of Educational Innovations Jeffrey E. Froyd froyd.1@osu.edu Professor, Department of Engineering Education The Ohio State University Increase the Impact Research Team Charles

413 views • 38 slides

MSE 590 tutorial on PS-b-PMMA copolymers 2011/10/28 Chemical structure and physical properties

MSE 590 tutorial on PS-b-PMMA copolymers 2011/10/28 Chemical structure and physical properties of PS (Polystyrene) Chemical structure: An aromatic polymer made from the monomer styrene (C 8 H 8 ) n Physical properties: Glass transition

261 views • 23 slides

2020 Poll Book Training for Election Judges City of _________ Version 1.0 Revised 6/2/2020

[Note to clerk: Double-check the voter examples used in this presentation against the current training database before use.] 2020 Poll Book Training for Election Judges City of _________ Version 1.0 Revised 6/2/2020 OPENING Hennepin County

922 views • 45 slides

An Experiment Data Analysis Framework: Evaluating Interactive Information Behavior with R Ralf

An Experiment Data Analysis Framework: Evaluating Interactive Information Behavior with R Ralf Bierig, Jacek Gwizdka, Michael Cole, Nicholas J. Belkin

408 views • 28 slides

LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems Alexander Collins*,

LIRA: Adaptive Contention-Aware Thread Placement for Parallel Runtime Systems Alexander Collins*, Tim Harris , Murray Cole*, Christian Fensch * University of Edinburgh Oracle Labs, UK Heriot Watt University 1 The Problem

925 views • 40 slides

Solutions of Equations in One Variable Fixed-Point Iteration I Numerical Analysis (9th Edition)

Solutions of Equations in One Variable Fixed-Point Iteration I Numerical Analysis (9th Edition) R L Burden & J D Faires Beamer Presentation Slides prepared by John Carroll Dublin City University 2011 Brooks/Cole, Cengage Learning c

1.23k views • 101 slides