700 likes | 904 Views
The Network Layer Part 1: Routing. EE 122, Fall 2013 Sylvia Ratnasamy http://inst.eecs.berkeley.edu/~ee122/. Today. Starting on the internals of the network layer. Application. Transport. Network. Link Layer. Physical. Many pieces to the network layer. Addressing Routing
E N D
The Network LayerPart 1: Routing EE 122, Fall 2013 Sylvia Ratnasamy http://inst.eecs.berkeley.edu/~ee122/
Today Starting on the internals of the network layer Application Transport Network Link Layer Physical
Many pieces to the network layer • Addressing • Routing • Forwarding • Policy and management • IP protocol details • … Today + next 1-2 lectures: Routing
Context and Terminology “Autonomous System (AS)” or “Domain”Region of a network under a singleadministrative entity “End hosts” “Clients”, “Users” “End points” “BorderRouters” “Route” or“Path” “InteriorRouters”
Lecture#2:Routers Forward Packets UCB to MIT switch#4 switch#2 Forwarding Table 111010010 MIT switch#5 to UW to NYU switch#3
Context and Terminology 111010010 MIT Internet routing protocolsare responsible for constructing and updatingthe forwarding tables at routers MIT
5 3 5 2 2 1 3 1 2 1 C D B A E F Routing Protocols • Routing protocols implement the core function of a network • Establish paths between nodes • Part of the network’s “control plane” • Network modeled as a graph • Routers are graph vertices • Links are edges • Edges have an associated “cost” • e.g., distance, loss • Goal: compute a “good” path from source to destination • “good” usually means the shortest (least cost) path
Internet Routing • Internet Routing works at two levels • Each AS runs an intra-domain routing protocolthat establishes routes within its domain • (AS -- region of network under a single administrative entity) • Link State, e.g., Open Shortest Path First (OSPF) • Distance Vector, e.g., Routing Information Protocol (RIP) • ASesparticipate in an inter-domain routing protocolthat establishes routes between domains • Path Vector, e.g., Border Gateway Protocol (BGP)
Addressing (for now) • Assume each host has a unique ID (address) • No particular structure to those IDs • Later in course will talk about real IP addressing
Outline • Link State • Distance Vector • Routing: goals and metrics (if time)
Host C Host D Host A N2 N1 N3 N5 Host B Host E N4 N6 N7 Link State Routing • Each node maintains its local “link state” (LS) • i.e., a list of its directly attached links and their costs (N1,N2) (N1,N4) (N1,N5)
Host C Host D Host A N2 N1 N3 N5 Host B Host E N4 N6 N7 Link State Routing • Each node maintains its local “link state” (LS) • Each node floods its local link state • on receiving a new LS message, a router forwards the messageto all its neighbors other than the one it received the message from (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5) (N1,N2) (N1, N4) (N1, N5)
C C C C C C C A A A A A A A D D D D D D D Host C Host D Host A B B B B B B B E E E E E E E N2 N1 N3 N5 Host B Host E N4 N6 N7 Link State Routing • Each node maintains its local “link state” (LS) • Each node floods its local link state • Hence, each node learns the entire network topology • Can use Dijkstra’s to compute the shortest paths between nodes
Dijkstra’sShortest Path Algorithm • INPUT: • Network topology (graph), with link costs • OUTPUT: • Least cost paths from one node to all other nodes • Iterative: after k iterations, a node knows the least cost path to its k closest neighbors
5 3 2 5 2 1 3 1 2 1 A F C B E D Example
c(i,j): link cost from node ito j; cost is infinite if not direct neighbors; ≥ 0 D(v):total cost of the current least cost path from source to destination v p(v):v’s predecessor along path from source to v S: set of nodes whose least cost path definitively known D C A E B F 5 3 5 2 2 1 3 1 2 1 Notation Source
Dijkstra’s Algorithm • c(i,j): link cost from node i to j • D(v): current cost source v • p(v): v’s predecessor along path from source to v • S: set of nodes whose least cost path definitively known 1 Initialization: 2 S = {A}; 3 for all nodes v 4 if v adjacent to A 5 then D(v) = c(A,v); 6 else D(v) = ; 7 8 Loop 9 find w not in S such that D(w) is a minimum; 10 add w to S; 11 update D(v) for all v adjacent to w and not in S: 12 if D(w) + c(w,v) < D(v) then // w gives us a shorter path to v than we’ve found so far 13 D(v) = D(w) + c(w,v); p(v) = w; 14 until all nodes in S;
D C A E B F 5 3 5 2 2 1 3 1 2 1 Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A D(E),p(E) Step 0 1 2 3 4 5 set S A D(F),p(F) 1 Initialization: 2 S = {A}; 3 for all nodes v 4 if v adjacent to A 5 then D(v) = c(A,v); 6 else D(v) = ; …
… • 8 Loop • 9 find w not in Ss.t. D(w) is a minimum; • 10 add w to S; • update D(v) for all v adjacent • to w and not in S: • If D(w) + c(w,v) < D(v) then • D(v) = D(w) + c(w,v); p(v) = w; • 14 until all nodes in S; D C A E B F 5 3 5 2 2 1 3 1 2 1 Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A D(E),p(E) Step 0 1 2 3 4 5 set S A D(F),p(F)
… • 8 Loop • 9 find w not in Ss.t. D(w) is a minimum; • 10 add w to S; • update D(v) for all v adjacent • to w and not in S: • If D(w) + c(w,v) < D(v) then • D(v) = D(w) + c(w,v); p(v) = w; • 14 until all nodes in S; C D E A B F Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A D(E),p(E) Step 0 1 2 3 4 5 set S A AD D(F),p(F) 5 3 5 2 2 1 3 1 2 1
… • 8 Loop • 9 find w not in Ss.t. D(w) is a minimum; • 10 add w to S; • update D(v) for all v adjacent • to w and not in S: • If D(w) + c(w,v) < D(v) then • D(v) = D(w) + c(w,v); p(v) = w; • 14 until all nodes in S; C D E A B F Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A 4,D D(E),p(E) 2,D Step 0 1 2 3 4 5 set S A AD D(F),p(F) 5 3 5 2 2 1 3 1 2 1
… • 8 Loop • 9 find w not in Ss.t. D(w) is a minimum; • 10 add w to S; • update D(v) for all v adjacent • to w and not in S: • If D(w) + c(w,v) < D(v) then • D(v) = D(w) + c(w,v); p(v) = w; • 14 until all nodes in S; C D E A B F Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A 4,D 3,E D(E),p(E) 2,D Step 0 1 2 3 4 5 set S A AD ADE D(F),p(F) 4,E 5 3 5 2 2 1 3 1 2 1
… • 8 Loop • 9 find w not in Ss.t. D(w) is a minimum; • 10 add w to S; • update D(v) for all v adjacent • to w and not in S: • If D(w) + c(w,v) < D(v) then • D(v) = D(w) + c(w,v); p(v) = w; • 14 until all nodes in S; C D E A B F Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A 4,D 3,E D(E),p(E) 2,D Step 0 1 2 3 4 5 set S A AD ADE ADEB D(F),p(F) 4,E 5 3 5 2 2 1 3 1 2 1
… • 8 Loop • 9 find w not in Ss.t. D(w) is a minimum; • 10 add w to S; • update D(v) for all v adjacent • to w and not in S: • If D(w) + c(w,v) < D(v) then • D(v) = D(w) + c(w,v); p(v) = w; • 14 until all nodes in S; C D E A B F Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A 4,D 3,E D(E),p(E) 2,D Step 0 1 2 3 4 5 set S A AD ADE ADEB ADEBC D(F),p(F) 4,E 5 3 5 2 2 1 3 1 2 1
… • 8 Loop • 9 find w not in Ss.t. D(w) is a minimum; • 10 add w to S; • update D(v) for all v adjacent • to w and not in S: • If D(w) + c(w,v) < D(v) then • D(v) = D(w) + c(w,v); p(v) = w; • 14 until all nodes in S; C D E A B F 5 3 5 2 2 1 3 1 2 1 Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A 4,D 3,E D(E),p(E) 2,D Step 0 1 2 3 4 5 set S A AD ADE ADEB ADEBC ADEBCF D(F),p(F) 4,E
D C A E B F 5 3 5 2 2 1 3 1 2 1 Example: Dijkstra’s Algorithm D(B),p(B) 2,A D(D),p(D) 1,A D(C),p(C) 5,A 4,D 3,E D(E),p(E) 2,D Step 0 1 2 3 4 5 set S A AD ADE ADEB ADEBC ADEBCF D(F),p(F) 4,E To determine path A C (say), work backward from C via p(v)
D C A E B F 5 3 5 2 2 1 3 1 2 1 The Forwarding Table • Running Dijkstra at node A gives the shortest path from A to all destinations • We then construct the forwarding table
Issue #1: Scalability • How many messages needed to flood link state messages? • O(N x E), where N is #nodes; E is #edges in graph • Processing complexity for Dijkstra’s algorithm? • O(N2), because we check all nodes w not in S at each iteration and we have O(N) iterations • more efficient implementations: O(N log(N)) • How many entries in the LS topology database? O(E) • How many entries in the forwarding table? O(N)
D C D C A E A E B B F F Loop! Issue#2: Transient Disruptions • Inconsistent link-state database • Some routers know about failure before others • The shortest paths are no longer consistent • Can cause transient forwarding loops E thinks that thisis the path to C A and D think that thisis the path to C
Learn-By-Doing Let’s try to collectively develop distance-vector routing from first principles
Experiment • Your job: find the youngest person in the room • Ground Rules • You may notleave your seat, nor shout loudlyacross the class • You maytalk with your immediate neighbors (hint: “exchange updates” with them) • At the end of 5 minutes,I will pick a victim and ask: • who is the youngest person in the room? (name, date) • which one of your neighbors first told you this info.?
Example of Distributed Computation • I am three hops away • I am two hops away • I am one hop away • I am two hops away • I am two hops away • I am three hops away • I am one hop away • Destination • I am one hop away • I am three hops away • I am two hops away
Distance Vector Routing • Each router knows the links to its neighbors • Does not flood this information to the whole network • Each router has provisional “shortest path” to every other router • E.g.: Router A: “I can get to router B with cost 11” • Routers exchange this distance vectorinformation with their neighboring routers • Vector because one entry per destination • Routers look over the set of options offered by their neighbors and select the best one • Iterative process converges to set of shortest paths
Bellman-Ford Algorithm • INPUT: • Link costs to each neighbor(Not full topology) • OUTPUT: • Next hop to each destination and the corresponding cost (Not the complete path to the destination) • My neighbors tell me how far they are from dest’n • Compute: (cost to nbr) plus (nbr’scost to destination) • Pick minimum as my choice • Advertise that cost to my neighbors
wait for (change in local link cost or msg from neighbor) recompute distance table if least cost path to any dest has changed, notify neighbors Each node: Bellman-Ford Overview • Each router maintains a table • Best known distance from X to Y, via Z as next hop = DZ(X,Y) • Each local iteration caused by: • Local link cost change • Message from neighbor • Notify neighbors only if least cost path to any destination changes • Neighbors then notify their neighbors if necessary
C D B A Bellman-Ford Overview • Each router maintains a table • Row for each possible destination • Column for each directly-attached neighbor to node • Entry in row Y and column Z of node X best known distance from X to Y, via Z as next hop = DZ(X,Y) Neighbor (next-hop) Node A 3 2 1 1 7 Destinations DC(A, D)
C D B A Bellman-Ford Overview • Each router maintains a table • Row for each possible destination • Column for each directly-attached neighbor to node • Entry in row Y and column Z of node X best known distance from X to Y, via Z as next hop = DZ(X,Y) Node A 3 2 1 1 7 Smallest distance in row Y = shortest Distance of A to Y, D(A, Y)
Distance Vector Algorithm (cont’d) 1 Initialization: 2 for allneighbors V do 3 ifV adjacent to A 4 D(A, V) = c(A,V); else D(A, V) = ∞; send D(A, Y) to all neighbors loop: 8 wait (until A sees a link cost change to neighbor V /* case 1 */ 9 or until A receives update from neighbor V) /* case 2 */ 10 if (c(A,V) changes by ±d) /* case 1 */ 11 for all destinations Y that go through Vdo 12 DV(A,Y) = DV(A,Y) ± d 13 else if (update D(V, Y) received from V) /* case 2 */ /* shortest path from V to some Y has changed */ 14 DV(A,Y) = DV(A,V) + D(V, Y); /* may also change D(A,Y) */ 15 if (there is a new minimum for destination Y) 16 send D(A, Y) to all neighbors 17 forever • c(i,j): link cost from node i to j • DZ(A,V): cost from A to V via Z • D(A,V):cost of A’s best path to V
wait for (change in local link cost or msg from neighbor) recompute distance table if least cost path to any dest has changed, notify neighbors Each node: initialize, then Distance Vector Algorithm (cont’d)
Distance Vector Algorithm (cont’d) 1 Initialization: 2 for all neighbors V do 3 ifV adjacent to A 4 D(A, V) = c(A,V); else D(A, V) = ∞; send D(A, Y) to all neighbors loop: 8 wait (until A sees a link cost change to neighbor V /*case 1 */ 9 or until A receives update from neighbor V) /* case 2 */ 10 if (c(A,V) changes by ±d) /* case 1*/ 11 for all destinations Y that go through Vdo 12 DV(A,Y) = DV(A,Y) ± d 13 else if (update D(V, Y) received from V) /* case 2 */ /* shortest path from V to some Y has changed */ 14 DV(A,Y) = DV(A,V) + D(V, Y); /* may also change D(A,Y) */ 15 if (there is a new minimum for destination Y) 16 send D(A, Y) to all neighbors 17 forever • c(i,j): link cost from node i to j • DZ(A,V): cost from A to V via Z • D(A,V): cost of A’s best path to V
C D B A Example: Initialization Node A Node B 3 2 1 1 7 Node C Node D 1 Initialization: 2 for all neighbors V do 3 ifV adjacent to A 4 D(A, V) = c(A,V); else D(A, V) = ∞; send D(A, Y) to all neighbors
C D B A Example: C sends update to A Node A Node B 3 2 1 1 7 DC(A, B) = DC(A,C) + D(C, B) = 7 + 1 = 8 DC(A, D) = DC(A,C) + D(C, D) = 7 + 1 = 8 Node C Node D • loop: • … • 13 else if (update D(A, Y) from C) • 14 DC(A,Y) = DC(A,C) + D(C, Y); • 15 if (new min. for destination Y) • 16 send D(A, Y) to all neighbors • 17 forever
C D B A Example: Now B sends update to A Node A Node B 3 2 1 1 7 DB(A, C) = DB(A,B) + D(B, C) = 2 + 1 = 3 DB(A, D) = DB(A,B) + D(B, D) = 2 + 3 = 5 Make sure you know why this is 5, not 4! Node C Node D • loop: • … • 13 else if (update D(A, Y) from B) • 14 DB(A,Y) = DB(A,B) + D(B, Y); • 15 if (new min. for destination Y) • 16 send D(A, Y) to all neighbors • 17 forever
C D B A Example: After 1stFull Exchange Node A Node B 3 2 1 1 7 Make sure you know why this is 3 Node C Node D End of 1st Iteration All nodes knows the best two-hop paths Assume all send messages at same time
C D B A What harm does this cause? Where does this 5 come from? Where does this 7 come from? Example: Now A sends update to B Node A Node B 3 2 1 1 7 DA(B, C) = DA(B,A) + D(A, C) = 2 + 3 = 5 DA(B, D) = DA(B,A) + D(A, D) = 2 + 5 = 7 Node C Node D • loop: • … • 13 else if (update D(B, Y) from A) • 14 DA(B,Y) = DA(B,A) + D(A, Y); • 15 if (new min. for destination Y) • 16 send D(B, Y) to all neighbors • 17 forever
C D B A Example: End of 2ndFull Exchange Node A Node B 3 2 1 1 7 Node C Node D End of 2nd Iteration All nodes knows the best three-hop paths Assume all send messages at same time