Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MOTIVATION
MOTIVATION
Transport
Internet
Access
Amplifier
Frequency
Modulatio
n
Cos(wt)
Antenna
Antenna
DeModulatio
n
Cos(wt)
Data
0xxxx0101xxx
011100111
1101..00
Transfer
1110..00
Packet
Function: Forwarding
Match
11xx..0x
0xx1..x1 +
Action
Send to port 2
3
Rewrite with 1x01xx..x1
1xx011..x1
T(h, p) =
(h,1)
if dst_ip(h) = 172.24.74.x
(h,2)
if dst_ip(h) = 172.24.128.x
(h,3)
if dst_ip(h) = 171.67.x.x
2
3
T(h, p) =
(dec_ttl(h),1)
if dst_ip(h) = 172.24.74.x
(dec_ttl(h),2)
if dst_ip(h) = 172.24.128.x
(dec_ttl(h),3)
if dst_ip(h) = 171.67.x.x
2
3
10
T(h, p) =
2
3
(rw_mac(dec_ttl(h),next_mac) , 1)
if dst_ip(h) = 172.24.74.x
(rw_mac(dec_ttl(h),next_mac) , 2)
if dst_ip(h) = 172.24.128.x
(rw_mac(dec_ttl(h),next_mac) , 3)
if dst_ip(h) = 171.67.x.x
11
EXAMPLE RULES:
>> 4) | 1010.
<< 4) | 000xxxx
Load Balancing:
LB(h,p)
= {(h,P1),(h,Pn)}
12
R1
T1(h, p)
R2
T2(h, p)
R3
T3(h, p)
Invertible:
13
Domain (input)
Range (output)
Complementation
Difference
14
Finding Intersection:
Bit
Example:
If result has any z, then intersection is empty:
Example:
15
USE CASES
T-11
Box 1
-1
1
-1
2
Box 2
T2(T1(X,A))
T1(X,A)
T-14
T4(T1(X,A))
Box 4
Box 3
T-13
T-13
T3(T2(T1(X,A)) U T3(T4(T1(X,A))
17
USE CASES
Box 2
T2(T1(X,P))
T-12
Box 1
T-13
T-11
Original HS
T-14
Returned HS
T4(T3(T2(T1(X,P))))
Box 3
Box 4
T3(T2(T1(X,P)))
18
USE CASES
Finite Loop
Infinite Loop
19
USE CASES
20
USE CASES
Box 2
Box 1
Box 3
Box 4
21
22
IMPLEMENTATION AND
EVALUATION
23
IMPLEMENTATION
25
Vlan RED
Spanning
Tree
Vlan BLUE
Spanning
Tree
26
PERFORMANCE
Performance result for Stanford Backbone Network on a
single machine: 4 core, 4GB RAM.
Python
Generating TF Rules
~150 sec
~560 sec
~5 sec
~18 sec
~40ms
~8 sec
~2ms
~135 sec
~1sec
~13 sec
~40ms
27
NEXT STEPS
28
SUMMARY
Introduced
A
Thank You!
Questions?
30