The Stable Paths Problem and Interdomain Routing Rachit Agarwal - PowerPoint PPT Presentation

Problem Formulation A Sufficient Condition for Stability Food for thought! The Stable Paths Problem and Interdomain Routing Rachit Agarwal Results are by others, any errors are by me! Rachit Agarwal The Stable Paths Problem

Problem Formulation A Sufficient Condition for Stability Food for thought! Outline Problem Formulation 1 A Sufficient Condition for Stability 2 Food for thought! 3 Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Terminology Autonomous Systems AS ISPs, Companies Set of Routers and links Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Terminology Autonomous Systems Intra-domain Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Terminology Autonomous Systems Intra-domain Inter-domain Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Architecture Non-cooperative Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Architecture Non-cooperative Privacy : Do not share Internal Topology Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Architecture Non-cooperative Privacy : Do not share Internal Topology Policies : Which path to choose? Which path to advertise? Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Architecture Non-cooperative Privacy : Do not share Internal Topology Policies : Which path to choose? Which path to advertise? Autonomy : Decide policies independently! Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Internet Architecture Non-cooperative Privacy : Do not share Internal Topology Policies : Which path to choose? Which path to advertise? Autonomy : Decide policies independently! Interactive Interact to coordinate Routing Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 3 d , 342 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 3 d , 342 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 3 d , 342 d } 3 4 { 42 d , 43 d } A path P = ( v 1 v 2 ) P ′ is said to be available for node v 1 if P ′ has been assigned to v 2 . Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 3 d , 342 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 3 d , 342 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 3 d , 342 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets Notice { 13 d , 1 d } 1 2 { 21 d , 2 d } Each node behaves selfishly ! d { 3 d , 342 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets Notice { 13 d , 1 d } 1 2 { 21 d , 2 d } Each node behaves selfishly ! Each node finds a stable path ! d { 3 d , 342 d } 3 4 { 42 d , 43 d } Stable Path No node can get a better path by deviating from the current assignment unilaterally! Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets Notice { 13 d , 1 d } 1 2 { 21 d , 2 d } Each node behaves selfishly ! Each node finds a stable path ! Network is stable! d { 3 d , 342 d } 3 4 { 42 d , 43 d } Stable Path No node can get a better path by deviating from the current assignment unilaterally! Nash Eqilibrium! Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Example: Good Gadgets Notice { 13 d , 1 d } 1 2 { 21 d , 2 d } Each node behaves selfishly ! Each node finds a stable path ! Network is stable! d Stable Path Assignment! { 13 d , 2 d , 3 d , 42 d } { 3 d , 342 d } 3 4 { 42 d , 43 d } Stable Path No node can get a better path by deviating from the current assignment unilaterally! Nash Eqilibrium! Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } 1 d 21 d 342 d 42 d d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } 1 d 21 d 342 d 42 d 1 d 21 d 342 d ǫ d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } 1 d 21 d 342 d ǫ 1 d 21 d 3 d ǫ d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } 1 d 21 d 3 d ǫ 13 d 21 d 3 d 43 d d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } 13 d 21 d 3 d 43 d d 13 d 2 d 3 d 43 d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } d 13 d 2 d 3 d 43 d 13 d 2 d 3 d 42 d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } d 13 d 2 d 3 d 42 d 13 d 2 d 342 d 42 d { 342 d , 3 d } 3 4 { 42 d , 43 d } Rachit Agarwal The Stable Paths Problem

Problem Formulation Routing in the Internet A Sufficient Condition for Stability Problem Statement Food for thought! Bad Gadgets 1 d 2 d 342 d 42 d { 13 d , 1 d } 1 2 { 21 d , 2 d } d 13 d 2 d 342 d 42 d { 342 d , 3 d } 3 4 { 42 d , 43 d } 1 d 2 d 342 d 42 d Rachit Agarwal The Stable Paths Problem