consistent migration of flows in sdns
play

Consistent Migration of Flows in SDNs Klaus-Tycho Frster Joint work - PowerPoint PPT Presentation

Dont disturb my Flows: Consistent Migration of Flows in SDNs Klaus-Tycho Frster Joint work with Sebastian Brandt, Laurent Vanbever, and Roger Wattenhofer ETH Zurich Distributed Computing www.disco.ethz.ch A Small Sample Network


  1. Don’t disturb my Flows: Consistent Migration of Flows in SDNs Klaus-Tycho Förster Joint work with Sebastian Brandt, Laurent Vanbever, and Roger Wattenhofer ETH Zurich – Distributed Computing – www.disco.ethz.ch

  2. A Small Sample Network

  3. Green wants to send as well

  4. Congestion!

  5. This would work

  6. So lets go back

  7. But Red is a bit Slow..

  8. Congestion Again!

  9. Appears in Practice “ some switches can ‘ straggle ,’ taking substantially more time than average (e.g., 10- 100x ) to apply an update ” Jin et al., SIGCOMM 2014

  10. So lets go Back …

  11. First, Red switches

  12. Then, Blue …

  13. And then, Green …

  14. Done

  15. Consistent Migration of Flows Introduced in SWAN (Hong et al., SIGCOMM 2013) Idea: Flows can be on the old or new route For all edges: σ ∀𝐺 max 𝐩𝐦𝐞, 𝐨𝐟𝐱 ≤ 𝑑𝑏𝑞𝑏𝑑𝑗𝑢𝑧

  16. Consistent Migration of Flows Introduced in SWAN (Hong et al., SIGCOMM 2013) Idea: Flows can be on the old or new route For all edges: σ ∀𝐺 max 𝐩𝐦𝐞, 𝐨𝐟𝐱 ≤ 𝑑𝑏𝑞𝑏𝑑𝑗𝑢𝑧 No ordering exists ( 2/3 + 2/3 > 1) 2/3 2/3

  17. Consistent Migration of Flows Approach of SWAN : use slack 𝑦 (i.e., % ) Here 𝑦 = 1/3 Move slack 𝑦 ⇛ 1/𝑦 − 1 staged partial moves 2/3 2/3

  18. Consistent Migration of Flows Approach of SWAN : use slack 𝑦 (i.e., % ) Here 𝑦 = 1/3 Move slack 𝑦 ⇛ 1/𝑦 − 1 staged partial moves Update 1 of 2 1/3 1/3

  19. Consistent Migration of Flows Approach of SWAN : use slack 𝑦 (i.e., % ) Here 𝑦 = 1/3 Move slack 𝑦 ⇛ 1/𝑦 − 1 staged partial moves Update 1 of 2 1/3 1/3

  20. Consistent Migration of Flows Approach of SWAN : use slack 𝑦 (i.e., % ) Here 𝑦 = 1/3 Move slack 𝑦 ⇛ 1/𝑦 − 1 staged partial moves Update 2 of 2 2/3 2/3

  21. Consistent Migration of Flows No slack on flow edges? 1 1

  22. Consistent Migration of Flows Alternate routes?

  23. Consistent Migration of Flows Think: variable swapping of 𝑐 & 𝑕 1. 𝑦 ≔ 𝑐 , 2. b ≔ 𝑕 , 3. 𝑕 ≔ 𝑦

  24. Consistent Migration of Flows Think: variable swapping of 𝑐 & 𝑕 1. 𝑦 ≔ 𝑐 , 2. b ≔ 𝑕 , 3. 𝑕 ≔ 𝑦

  25. Consistent Migration of Flows Think: variable swapping of 𝑐 & 𝑕 1. 𝑦 ≔ 𝑐 , 2. b ≔ 𝑕 , 3. 𝑕 ≔ 𝑦

  26. Consistent Migration of Flows SWAN : LP-approach with binary search 1 update? 2 updates? 4 updates? …

  27. Consistent Migration of Flows SWAN : LP-approach with binary search 1 update? 2 updates? 4 updates? … 𝜻

  28. Consistent Migration of Flows SWAN : LP-approach with binary search Θ 1/𝜁 updates  𝜻

  29. Consistent Migration of Flows Open problem: Can we decide in ( polynomial) time? LP Flow migration “Halting Problem”

  30. To Slack or not to Slack? Slack of 𝑦 on all flow edges? 1/𝑦 − 1 updates

  31. To Slack or not to Slack? What if not? Try to create slack

  32. To Slack or not to Slack? Combinatorial approach Augmenting paths

  33. Combinatorial Approach Move single commodities at a time 1 1 u v 𝑓

  34. Combinatorial Approach Where to increase flow? + + + + + u v 𝑓

  35. Combinatorial Approach Where to push back flow? − − − − − − − u v 𝑓

  36. Combinatorial Approach Resulting residual network u v 𝑓

  37. Combinatorial Approach We found an augmenting path ⇒ create slack on 𝑓 − u v 𝑓

  38. High-level Algorithm Idea No slack on flow edges? Find augmenting paths On both initial and desired state Success? Use SWAN method to migrate Can’t create slack on some flow edge? Consistent migration impossible By contradiction (else augmenting paths would create slack) Runtime: 𝑃 𝐺𝑛³ ( 𝐺 being #commodities, 𝑛 being #edges)

  39. Are we done? Consistent Migration = Lossless Migration?

  40. Moving Flows with High Latency ping of old path ping of new path

  41. Moving Flows with High Latency ping of old path ping of new path

  42. Moving Flows with High Latency

  43. Moving Flows with High Latency UDP TCP

  44. Moving Flows with High Latency packet loss equivalent to latency- Δ

  45. Overview and Outlook Consistent migration of flows Decidable in polynomial time Lossless migration Fixed delays: NP-hard , Arbitrary delays: Polynomially decidable Unsplittable /Integer flow migration: NP-hard Migrate to new demands Single-dest: Polynomial #updates, Multi-Dest: Ongoing work

  46. Don’t disturb my Flows: Consistent Migration of Flows in SDNs Klaus-Tycho Förster Joint work with Sebastian Brandt, Laurent Vanbever, and Roger Wattenhofer ETH Zurich – Distributed Computing – www.disco.ethz.ch

Recommend


More recommend