Вы находитесь на странице: 1из 11

: '. 2006, 5. C. 4955.

519.74, 681.51

MPLS

.. , ..

,
IP- MPLS.

IP- MPLS.
CPN Tools.
MPLS 1,7 .

MPLS [1-3]
, . ,


. , MPLS,
, IP-, , ,
, .
MPLS
,
. MPLS
.
CPN Tools [5] [4]
CPN ML, .
CPN Tools Ethernet [6-10].
[9]
. ,
MPLS
.
IP MPLS
,
IP- MPLS
.

MPLS
MPLS
IETF. [1-3], ,
RFC 2547, 2702, 2917, 3035, 3063, 3346, 3353, 3429,
3443, 3468, 3469, 3471, 3472, 3473, 3474, 3496, 3564.
[1],
FEC (Forwarding
Equivalence Classes) (label),
FEC. ,

: '. 2006, 5. C. 4955.

, ,
. , ,
. ,
;
, .
.
LDP (Label Distribution Protocol),
LSR (Label Switching Router)
.
[2] , LSR.
32 , . 1.
(Label Value) 20 , TTL 8 , 23
, , 20-22
.
0
1
2
3
0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Label
|
Label
| Exp |S|
TTL
| Stack
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Entry
Label:
Exp:
S:
TTL:

Label Value, 20 bits


Experimental Use, 3 bits
Bottom of Stack, 1 bit
Time to Live, 8 bits

. 1.
, , MPLS
LER (Label Edge Router); (ingress)
(egress).

IP-
, [4] CPN Tools [5]
CPN ML,
.
, .
. IP . 2.
.
Ethernet [6-10],
IP- . IP
IP- .

: '. 2006, 5. C. 4955.

. 2. IP-
: pkt ,
, rtr , buf
, IP- , ip IP-.
SameNW IP- . , ,
. 3. rt Buffer1

.
colset ip=product INT*INT*INT*INT timed;
colset mask=INT;
colset nwt=product ip*mask timed;
colset b=INT timed;
colset pkt=record ipsrc:ip*ipdst:ip*data:b timed;
colset nif=int;
colset interf=product ip*nif;
colset gw=ip;
colset rtr=record nw:nwt *gw:ip*ifc:interf timed ;
colset buf=product pkt*ip;
colset lpkt=record label:INT*ipsrc:ip*ipdst:ip*data:b timed;
colset rtrs=list rtr timed;
colset lt=record ininterf:INT*L1:INT*outinterf:INT*L2:INT;
colset aux=INT timed;
fun pow(x,0)=1 | pow(x,y)=pow(x,y-1)*x;
colset buffer=product lpkt*INT timed;
fun sameNW(a1:ip,a2:ip,m:INT)=if (32-m) < 8 then ( if ((#1 a1) = (#1 a2)) andalso ((#2 a1) = (#2 a2)) andalso
((#3 a1) =(#3 a2)) andalso ((((#4 a1) div pow(2,(32-m)))*(pow(2,(32-m)))) = (#4 a2)) then true else false ) else if (32m)<16 then ( if ((#1 a1) = (#1 a2)) andalso ((#2 a1) = (#2 a2)) andalso ((((#3 a1) div pow(2,((32-m)-8))) * pow(2,((32m)-8))) = (#3 a2)) then true else false) else if (32-m)<24 then (if ((#1 a1)=(#1 a2)) andalso ((((#2 a1) div pow(2,((32m)-16)))*pow(2,((32-m)-16)))=(#2 a2)) then true else false) else if ((((#1 a1) div pow(2,((32-m)-24)))*pow(2,((32-m)24)))=(#1 a2)) then true else false;
var i,c,k:INT;
var q:nwt;
var r:rtr;
var p,src,dst:ip;
var a:pkt ;
var tr:buf;
var v:aux;
var la:lpkt;

. 3. ,
.
p1IN get1
Buf; sameNW IP-
, RT1.
put1 IP- ,
IP1, p1OUT, .

: '. 2006, 5. C. 4955.

MPLS-
MPLS :
LSR- MPLS
; LER- MPLS
. , LER
, , IP- IP-. ,
LSR/LER .
LER LSR ;

: LSR MPLS LER IP-.
LDP FEC
, ,
.
LSR . 4.
IP- (. 2) ,
. , ,
.
Ltable1.
get1 L1 L2
. lpkt ,
, lt , buffer
. , ,
[1,2], .

. 4. LSR MPLS
LER . 5.
.
IP LSR;
RT2, Ltable2.
, ,
LDP . Buffer2
; Buf1
. ,
p2OUT .

: '. 2006, 5. C. 4955.

. 5. LER MPLS


MPLS
, . 6. ,
6 , IP-
; 24 IP-. 7-
6 (R1-R3, R5-R7) MPLS LER/LSR
(R4) LSR .

. 6.

: '. 2006, 5. C. 4955.

. 7.
. : IP-,
Router1-Router7 IP-; MPLS, Router1-Router7
LER/LSR , .
Terminal1Terminal6, . Transmit*
. Trafic
.
IP MPLS .

. 7.
IP- ,
24 ; ,
.
Router1 . 2.
MPLS- ,
LDP . . 1

.

: '. 2006, 5. C. 4955.

. 1.

T1
T2
T3
T4
T5
T6

T1

T2

T3

T4

T5

T6

R1(5) -R2

R1(1) -R3

R1(2) -R3(6) -R5

R1(6) -R2(15) R4(6) -R6

R1(7) -R2(8) -R7

R2(2) -R1

R2(2)-R4(4)R3

R2(3) -R4(10) R5

R2(1) -R4(9) -R6

R2(3) -R7

R3(3) -R5

R3(2) -R4(10) R6

R5(4) -R3

R5(16) -R6

R3(3) -R4(4) R2(6) -R7


R5(8) -R6(10) R7

R6(10) -R5

R6(2) -R7

R7(8) -R6(5) -R5

R7(9) -R6

R3(3) -R1
R5(5) -R3(6) R1
R6(7) -R4(5) R2(3) -R1
R7(5) -R2(4) R1

R3(1) -R4(9) R2
R5(11) R4(13) -R2
R6(12) R4(10) -R2
R7(4) -R2

R6(11) -R4(5) R3
R7(7) -R2(8) R4(6) -R3

, , T1 T5,
6-15-6. . 1
Tlebel* RT* ,
. . 4, 5
Router1.


,
.

(, , ), ,
- [9].
.
. ,
,
.
Terminal5 . 8.
Counter
;
Traffic, .
ownNW allNW,
IP-
. ipsrc ipdst; ,
,
InGenerate1, InGenerate2.
IP- .
InGenerate1, InGenerate2, .
2, 3, 4
. 1 ;
1 .
Data .
Create ,
.

: '. 2006, 5. C. 4955.

. 8.

IP- MPLS
CPN Tools [5];

. MPLS
.
, .
Traffic (. 8),
(. 7) .
[7,9].
, 0,65 ,
; 50%
,
. ,
. 2.

: '. 2006, 5. C. 4955.

. 2.

,
(/)

Cisco 12000
25 000 000
40
Juniper T320
385 000 000
2,6
Juniper T640
770 000 000
1,3



60
4
2


IP MPLS , . 9.
,
,
. 10.

. 9. IP MPLS

: '. 2006, 5. C. 4955.

10

. 10.
, MPLS
1,7 IP-. ,

24. ,
IP-,
.

, IP MPLS
CPN Tools.
MPLS
. , ,
,
1,7 .
MPLS IP ,
.


1. FRC 3031: Multiprotocol Label Switching Architecture. E. Rosen, A. Viswanathan, R. Callon.
January 2001, 61p.
2. RFC 3032: MPLS Label Stack Encoding. E. Rosen, D. Tappan, G. Fedorkow, Y. Rekhter, D.
Farinacci, T. Li, A. Conta. January 2001, 23p.

: '. 2006, 5. C. 4955.

11

3. RFC 3270: Multi-Protocol Label Switching (MPLS) Support of Differentiated Services. F. Le


Faucheur, L. Wu, B. Davie, S. Davari, P. Vaananen, R. Krishnan, P. Cheval, J. Heinanen. May
2002, 64p.
4. Jensen K. Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use.- Vol. 1-3,
Springer-Verlag, 1997.
5. Beaudouin-Lafon M., Mackay W.E., Jensen M. et al. CPN Tools: A Tool for Editing and
Simulating Coloured Petri Nets. LNCS 2031: Tools and Algorithms for the Construction and
Analysis of Systems, 2001, 574-580 (http://www.daimi.au.dk/CPNTools).
6. Zaitsev D.A. Switched LAN simulation by colored Petri nets. Mathematics and Computers in
Simulation, vol. 65, no. 3, 2004, 245-249.
7. .., ..
// ', 2(46), 2004, . 56-60.
8. Zaitsev D.A. An Evaluation of Network Response Time using a Coloured Petri Net Model of
Switched LAN // Proceedings of Fifth Workshop and Tutorial on Practical Use of Coloured
Petri Nets and the CPN Tools, October 8-11, Aarhus, Denmark, p. 157-167.
9. .. //
' 2(54), 2005, . 65-71.
10. .. , .. //
X-
-X, 16-21 2005, -, II, . 172-173.