École polytechnique fédérale de lausanne network tomography on correlated links denisa ghita...
TRANSCRIPT
École Polytechnique Fédérale de Lausanne
Network Tomography on Correlated Links
Denisa Ghita
Katerina Argyraki
Patrick Thiran
IMC 2010, Melbourne, Australia
Network Tomography
Internet Service Provider
2
Network tomography infers links characteristics from path measurements.
3
Current Tomographic Methods assume Link Independence
4
Current Tomographic Methods assume Link Independence
Links can be correlated!
5
Can we use network tomography when links are correlated?
Yes, we can!
6
All
Link Correlation Model
links are independent.Some
possibly correlated
independent
Independence among correlation sets!
7
How to find the Possibly Correlated Links?
Links in the same local-area network may be correlated!
Links in the same administrative domain may be correlated!
8
The Probability that a Link is Faulty
link is faultyP( ) = ?
9
Our Main Contribution
P( link faulty) = ?
P( link faulty) = ?
P( link faulty) = ?
P( link faulty) = ?
Theorem that states the necessary and sufficient condition to identify the probability that each link is faulty when links in the network are correlated.
P( link faulty) =…
P( link faulty) =…
P( link faulty) =…
P( link fa
ulty) =…
10
Our ConditionEach subset of a correlation set must be covered by a different set of paths!
11
A
B
Identifiable
Our Condition
Subset of aCorrelation Set Covered Paths
eAB eBC eBD eBC, eBD
Each subset of a correlation set must be covered by a different set of paths!
C
D
1. Define the subsets of the correlation sets.
2. Find the paths that cover each subset.
3. Are any subsets covered by the same paths?
12
Our ConditionA
B
C
D
Identifiable
ESubset of aCorrelation Set
eAB eBC eBD eBC, eBD
Covered Paths
eEB
13
The Gist behind the Algorithm
Solvable!3 equations 4 unknowns
P( PAC good ) = P(eAB good) P(eBC good)
P( PAD good ) = P(eAB good) P(eBD good)
P( PED good ) = P(eEB good) P(eBD good)
BC
DE
A
14
The Gist behind the Algorithm
P( PAC good ) = P(eAB good) P(eBC good)
P( PAD good ) = P(eAB good) P(eBD good)
P( PED good ) = P(eEB good) P(eBD good)
BC
DE
A
P( PAC , PAD good ) = P(eAB good) P(eBD ,eBC good)
P(eBDgood)P(eBC good)
≠
15
The Gist behind the Algorithm
P( PAC good ) = P(eAB good) P(eBC good)
P( PAD good ) = P(eAB good) P(eBD good)
P( PED good ) = P(eEB good) P(eBD good)
BC
DE
A
P( PAC , PAD good ) = P(eAB good) P(eBD ,eBC good)
P( PAD , PED good ) = P(eAB good) P(eEB good) P(eBD good)
Solvable !5 unknowns5 equations
16
The Gist behind the Algorithm
P( PAC good ) = P(eAB good) P(eBC good)
P( PAD good ) = P(eAB good) P(eBD good)
P( PED good ) = P(eEB good) P(eBD good)
BC
DE
A
P( PAC , PAD good ) = P(eAB good) P(eBD ,eBC good)
P( PAD , PED good ) = P(eAB good) P(eEB good) P(eBD good)
Solvable !5 unknowns5 equations
Correlation set of 40 links -> 240 unknowns !!!
17
The Gist behind the Algorithm
P( PAC good ) = P(eAB good) P(eBC good)
P( PAD good ) = P(eAB good) P(eBD good)
P( PED good ) = P(eEB good) P(eBD good)
BC
DE
A
P( PAC , PAD good ) = P(eAB good) P(eBD ,eBC good)
P( PAD , PED good ) = P(eAB good) P(eEB good) P(eBD good)
Solvable !5 unknowns5 equations
Correlation set of 40 links -> 240 unknowns !!!
Consider only sets of paths that do not cover correlated links !
18
The Gist behind the Algorithm
P( PAC good ) = P(eAB good) P(eBC good)
P( PAD good ) = P(eAB good) P(eBD good)
P( PED good ) = P(eEB good) P(eBD good)
BC
DE
A
P( PAC , PAD good ) = P(eAB good) P(eBD ,eBC good)
P( PAD , PED good ) = P(eAB good) P(eEB good) P(eBD good)
Consider only sets of paths that do not cover correlated links !
Solvable!4 unknowns 4 equations
19
Simulations – Domain Level Tomography
Actual Topology Measured Topology
20
Simulations – Domain Level Tomography
absolute error between the actual probability that a link is faulty, and the probability inferred by the algorithm.
21
Simulations – Domain Level Tomography
absolute error between the actual probability that a link is faulty, and the probability inferred by the algorithm.
22
Conclusion
• We study network tomography on correlated links.
• We formally prove under which necessary and sufficient condition the probabilities that links are faulty are identifiable.
• Our tomographic algorithm determines accurately the probabilities that links are faulty in a variety of congestion scenarios.
