an analysis of bgp convergence properties
DESCRIPTION
An Analysis of BGP Convergence Properties. Introduction The BGP protocol NP completeness Routing anomalies Complexity analysis Summery. Introduction (BGP). BGP - the de-facto EGP. Policy-based path-vector protocol. nlri, next-hop, as-path, loc-pref - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/1.jpg)
An Analysis of BGP Convergence Properties
• Introduction– The BGP protocol– NP completeness
• Routing anomalies
• Complexity analysis
• Summery
![Page 2: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/2.jpg)
• BGP - the de-facto EGP.
• Policy-based path-vector protocol.– nlri, next-hop, as-path, loc-pref
• Implemented with little global knowledge.
• Protocol divergence.– Dynamic solution.– Static solution.
Static Solution:
• Programs Routing Policies Analysis
• The Route Arbiter Project– Routing Policy Specification Language
(RPSL).– Internet Route Registries (IRRs).– Software Tools (RAToolSet).
Introduction(BGP)
![Page 3: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/3.jpg)
Introduction(NP-Completeness)
• Non Deterministic Turing Machine (NDTM).• NP problems class.• NP-Complete problems class.• Reductions.• ANP-Hard, ANP ANP-Complete.• The 3-SAT problem:
(xyz)(xyz)(xyz)
![Page 4: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/4.jpg)
Routing Anomalies
The DISAGREE System
1
0
2
d
1
0
2
d
1
0
2
d
•AS 1 prefers route 1-2-0.
•AS 2 prefers route 2-1-0.
![Page 5: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/5.jpg)
Routing Anomalies
1
0
2
d
1
0
2
d
Start
1 - 0
1 - 02 - 0
1 - 2 - 02 - 1 - 0
2 - 0
1 - 02 - 1 - 0
1 - 2 - 02 - 0
{1}
{2}
{1,2}
{1,2} {1,2}
{1}{1,2}
{2}{1,2}
{1}
{1}
{2}
{2}
{1}
{2}
{1} {2}{1,2}
{1} {2}{1,2}
![Page 6: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/6.jpg)
Routing Anomalies
The BAD GADGET System
•All AS want to reach destination d in AS 0.
•Each AS prefers the counter-clockwise path of length 2.
1
0
2
3
1
0
2
3
1
0
2
3
1
0
2
3
1
0
2
3
![Page 7: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/7.jpg)
Routing Anomalies
The BAD GADGET System1
0
2
3
1
0
2
3
1
0
2
3
1
0
2
3
1
0
2
3
1
0
2
3
![Page 8: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/8.jpg)
Routing Anomalies
The BAD GADGET System
• All AS 2 export rules:– nlri = d loc-pref = 1
• AS 2 import(2<-1) rules:– (nlri = d as-path = [3,0]) loc-pref = 2– nlri = d loc-pref = 1
• AS 2 import(2<-3) rules:– nlri = d loc-pref = 1
![Page 9: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/9.jpg)
Complexity Analysis
The ASSIGN System
An example of a 3-SAT problem:
(xyz)(xyz)(xyz)
W
~X
X
~Y
Y
~Z
Z
Q
d
![Page 10: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/10.jpg)
W
~X
X
~Y
Y
~Z
Z
Q
d
X=True, Y=False, Z=False
Complexity Analysis
The ASSIGN System
![Page 11: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/11.jpg)
Complexity Analysis
REACHABILITY
(single destination)
W
~X
X
~Y
Y
~Z
Z
Q
d
C 3C 2C 1
![Page 12: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/12.jpg)
W
~X
X
~Y
Y
~Z
Z
Q
d
C 3C 2C 1
C2 import(C2C1) rule:
• nlri = d (x as-path y as-path z as-path) loc-pref = 1
(xyz)(xyz)(xyz)
![Page 13: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/13.jpg)
Complexity Analysis
ASYMMETRY
W
~X
X
~Y
Y
~Z
Z
Q
d1
C 3C 2C 1
d2
![Page 14: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/14.jpg)
Complexity AnalysisSOLVABILITY
(single destination)
W
~X
X
~Y
Y
~Z
Z
Q
d
C 3C 2C 1
1
0
2
3
![Page 15: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/15.jpg)
Complexity Analysis
Relevant Routing Issues
• REACHABILITY.
• ASYMMETRY.
• SOLVABILITY.
• TRAPPED.
• K-ROBUST.
• UNIQUE.
![Page 16: An Analysis of BGP Convergence Properties](https://reader036.vdocuments.net/reader036/viewer/2022062423/56814865550346895db57433/html5/thumbnails/16.jpg)
Summery
Static Analysis approach problems:
• Routing policies are not shared.
• Complexity results A need to rely on heuristics analysis rather than on exact analysis.