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

-

( )

..

2008

004.4.052621.311.25(075)
32.973.202-018.27
-88
..
: . .: , 2008. 168 .
,
, ,
, .
.

.
- . , . .. .

ISBN 978-5-7262-1076-6

-
( ), 2008


................................................................................ 5
1.

................................................................................. 6
1.1. ................................................ 7
1.2. ......................................12
1.3. ...............16
1.4. .......................31
1.5. . ...................................37
1 ..................................................42
2 3 ........................................................43
2.
....................47
2.1.
.......................................................................47
2.2.
...........................................................60
2.3. -
...................................65
2 ...................................................71
3.

............................................................75
3.1.
.....................................75
3.2.
.....................................................85
3.3.

.........................99
3.4.

................................108

3.5.


.................................................118
3 .................................................120
4 5 ......................................................121
4.

....................123
4.1.
.....123
4.2.
....................................................125
4.3.
,
...........................................132
4 .................................................146
5.
.....................147
5.1.
- ............................147
5.2. NT-AKPB-LEN .......150
5.3. ..............159
5.4. .......163
5.5. ..............................164
5 .................................................166


. .
.
, .

,
.
. . .
. .
, , .
3 4
.., 5 ..,
.

1.

.
, , -, , -, .
.
, .
, ( ,
) .
1952 . , , ,

, .

. , .
1952 ., , , , .. , ,
.

( , )
.

1.1.
.
1. .
2. ,
.
3.
.

1. .
2. , .

1. - .
:
;
;
;

;
;


.

.
2.
, . .
7

:
;
,

.

. , , ,
,

.
,
.
3. , .
:
;
;
.
.
.
,
2- 3-
1. .
2. .
3. , .
4. .
8

1.1.


.
, .
,
,
,

.
, ,
.

.
.
2- , .. .
, . , ,
.
. (, ).
. 9

, , .
, , , . .
- . .
, ,
,
.

.
.
,
.
. .
,
. ,
. ,
.

.
, .
,
10

.
.

II

III
t

. 1.2. t,

-
.
, .

.

11

1.2.

[1].
10

,
2

- 9

11

. 1.3.

. 1.3 .
1. (
). . , , . .
2. . , .
3.
, .. 12

. ,
.
4. ,
-, , :
(, );
(, -).
, .
5.
. ,
.
( ).
6.
, ,
. ,
( 4 6
). , ,
, , ,
.
7. ,
( , ,
..) .
..
.
8. (, , ).
.
13

9.
.
.
10. , .
, .

.
.
(. 1.4).

()

. 1.4.

.
.
( , ).
.
( ,
).
1. .
2. .
3. , , ,
.
4. .

14

:
1. , ,
.
, .. . , , , , ,
. .
2. , , . . ,
.
3. .
, . , , .
4. ,
.
,
. , , , . , .

15

1.3.
,
. t
, .
P(t) , .. ,
( )

t
P(t )
(
t) .
Q (t )
Q(t )
(
t) .

P * (t )

P * (t )

N0

n(t )
N0

N 0 ;

n(t ) , t.

a(t ) Q (t ) .
a*(t)
n( t i )
a * (t )
.
N 0 ti

.
t = 0.
t = 500 , n( ti) i- .
P*(t)
a*(t).
16

N0 = 1000 .

ti , .
0 500
500 1000
1000 1500
1500 2000
2000 2500
2500 3000
3000 3500
3500 4000
4000 4500
4500 5000
5000 5500
5500 6000
6000 6500
6500 7000
7000 7500
7500 8000
8000 8500

n( t i )

P * (t )

a* (t )

145
86
77
69
62
56
51
45
41
37
33
35
60
75
62
42
16

0,855
0,769
0,692
0,623
0,561
0,505
0,454
0,409
0,368
0,331
0,298
0,263
0,203
0,128
0,066
0,024
0,008

0,00029
0,000172
0,000154
0,000138
0,000124
0,000112
0,00102
0,00009
0,000082
0,000074
0,000066
0,00007
0,00015
0,00015
0,000124
0,000084
0,000032

17

-
. 1.5.

. 1.5. -

P1

P2

PN
...


() .

Pi .

PC
i 1

QC
qi

1 PC .
1 Pi , i 1, N

().
.

q1
q2

...
qN

() . : RAID-.
N (
).
,

().

18

QC

qi

i 1

PC

1 QC

Pi

1 qi , i 1, N

.
-
.

N1

q1

N2

q1i

q2

i 1

q2 i
i 1

.
q
q


2 3

19

PC

3P 2

2P 3 -

P 1 q .

QC

3q 2 , q

0.1 .

qi

1 e

Pi

it

it

().

i- .
t i- .
i


,

[3].
, , , ..
.
, .
, , , , . ,
.
, ,
. , .

20

. .
.
, .
, .. .
.
, ,
. , . , ,
. , ,

.
.
, .

.


.

,

, [4].
21

.
, .
:
.
.
, .
.
:
.
,
.

.
.
.
t
.

.

, .. .
:
.
( ).
:
1.
.
22

2. .
3. , .
4. , , ,
, , ,
.
5. , .

1.

( ):
;
;
;
/;
;
;
;
;
.

2.

( ):
;
- ;
;
(, ).

3.

23


1. ( ).
2. ( ).
3. (
).
4. .
5. .

1. , .
2. , .
, .

15

1) =+++
2) =(20-)*

15

15
15
0 10

24




, .
.
.
.
.


. :
1. (, , ..).
2. .
3. , .
4. .
5. .
6. ,
:
;
;
;
.

25

(. 1.6)

1
1.1

1.2

2
1.3
2.1

3
3.1

3.2

2.2

. 1.6.

1. .
1.1. .
1.2. .
1.3. .
2. .
2.1. .
2.2. .
3. .
3.1. .
3.2. .
4. .
5. .

P (t ) .
Q (t ) .
a(t ) Q (t ) .
(t ) .
T0 .
26

.
.

k m k- m- , .
N , .
m

j 1, N

, l l- .

l k 1

j j- (j+1)- .


, N .
.
.
t

( t ) dt

P(t )

(const)
P (t)

27


.
1. ?
1.1. .

. ,
, .
1.1.1. .
, , ,
.
.
1.1.2. .

, .. , .
.
, , .
.
1.2. .
1.2.1. .
.
1.2.2. .

, .
1.2.3. .
,
.
1.3. .
1.3.1. .
, , , .
28

1.3.2. .
, , .
, ..
2. ?
2.1. .
2.1.1. .
, , , .
2.1.2. .
,

, .
2.2. .

, . / .
2.2.1. .
/
.
2.2.2. .

:
;
;
.
2.3. .
2.3.1. .
2.3.2. .
2.4. .
2.4.1. .
2.4.2. .

29

3. ?
3.1. .
3.1.1. .
3.1.2. .
3.2. .
3.2.1. .
3.2.2. .
3.2.3. .
4. ?
4.1. .
4.2. .
4.3. .
5. ?
5.1. .
5.1.1. .
5.1.2. .
5.1.3. .
5.2. .
5.2.1. .
5.2.2. .
5.3. .
5.3.1. .
5.3.2. .


, , .

30

1.4.
. 1.7.

= f (t)

. 1.7.

( )
, . - .
:
1. , (
). ,
, ..
.
0 ( )
. ,
, , :

( )

E
I

I .

31

( ),

2. , z (t ) , , :
z(t ) C ( ) ,
C .
, t
t0
t0,
( =const),
0 t

R (t , )

exp

E
I

( ) t .


().
-
.
, - , . .. , (t ) ,
, , , . , (t )
(t ) k (M i)
i,
M ;
i , t;
k .
k M
.

32


.
(t ) .
.
.
, ,
. N .
, S .
(n+V) ,
n ,
V .
N
:

S n
.
V

N .

N.
N.
, k
S . , .
n. ( ) ,

33

1, n > k

.
C= S
,

k
S + k + 1

N C .

,
,
.
, :

1,
n > k

C=
,
f ( s, j , k ), n k
j , j < S.
, , k .
.
, , . , .
, ,
, . , ,
, . ,
,
.
()
. .
, .
34

. , .

N1, N2 ,
N12 , ( ),
N (),
1 2

E1

N1
N

E2

N2
.
N

, . , .
N,
.
, 10% ,
10% , N2. , :

N 12
.
N2

E1

N2

N12
.
E1 E 2

, , ,
, 1
. ,
.
35

(, 10 1000 ).
: IBM OS/360, OS/VS1, OS/VS2:
z 23 x 2 y ,
x , 10 ;
y , 1 ;
z .
- , .
,
. . , ,
. :
1. N , P (t ) .
2. .
3. .
4. .


, , ,
.
,
.
,
.
. .
36

1.5. .




,
, [7].
, :
1. , ;
2. , , .

()


1.8.

(. 1.8)
,
.
.
, , . , .
37


:
1. .
, , - , , ..
, .
2. .

. , . .
, .
,
,
.
:
1) ;
2) ;
3) ;
4) , ;
5)
.
:
1) ,
;
2) ;
3)
, , .
:
1) , ..
;
2) .
38


, . 1.9.

. 1.9.


, . , . , .
, .

. .
,
.
,
.
( )
. ,
, . ,
.
39

:
1. ,
, ?
-, .
2. ?

1. , .
2. / ,
.

1.
. , , .
2.

, .
, .

, . ,
.

. .
,
40

. ,
, .

.
. .
.
, , ,

.

.
,
, , - .
.

. ..
, . , , .

, ,
. ,
.
, .
41

,

, . ..


.

1
1. . , .: , 1981.
2. ., ., . . .: ,
1981.
3. .. . .: ,
1981.
4. . :
. .: , 1987.
5. .., .., .. ,
. .: , 1986.
6. ..
( ):
. .: , 1985.
7. .. . .: ,
1986.

42

2 3
-
. ,
-
() .
- () ()
().
.
, .
ILLIAC-IV
[4], 64 ,
SERF [5] MECRA [6],
.
, ,
, - ,
,
. ,
(, )
(,
-).
. ,
, .

SATURN [7]
Boeing [8].

43



4 . .
, , ,
,
,
, , .
,
.
,
,
.
.

,
() [9, 10].
. ( ) (
).
, .
.
, , , . . ,
, , [16].
( )
, 44

. ,
.

Siemens,
[22]. , ,
, .
,
.
[4-9, 12-32, 34-38].
, . ,
,
.
.


. .

, . , ,
.
,
.
, ,
45

, . , , , . . , ,
. , ,
.


. ,
,
,
, .
.
, , .
, , , ,
.

.

-
.

46

2.


2.1.

. 2.1 (). .

. 2.1.

47




,
. , , -1, 70-
3 [1].
[2] [39].

()
,

.
,
[10]. (
, ), , .
[5] SERF, .
,
95%.

MECRA [6]. [4]
ILLIAC-IV. [13-15] .


()
.

. 48

[16].
. [17].
, , ,
[18]. [19] c .
,
.


.
.
. . [40].
- [20], .
, .
. [21]. , 4,
. . [16].
,
,
.
.

49

2. ,
[9].
[22].

() . 2.3, .
.
, 1-3,
. ,
, ( . 2.3 ). (), . ,
(),
. .
,
, - (.
2.3,). N ,
N ( ),
,
N .
. :
1) ,
2) ,
3) ,
4) .
.
1.
, , . (
52

)
1
1
1

N
N

)
.2.3.

51

2. ,
[9].
[22].

() . 2.3, .
.
, 1-3,
. ,
, ( . 2.3 ). (), . ,
(),
. .
,
, - (.
2.3,). N ,
N ( ),
,
N .
. :
1) ,
2) ,
3) ,
4) .
.
1.
, , . (
52

4-8), .
2. , , , , ,
, .. ,
,
.
3. [23].
4. , ,
: . ,
: , [24].

. , JPL STAR
, [25]. ( 10 )
. . , . [39] SPACE SHUTTLE.
, , ,

. , .

,
, , , ,
. [26]
,
53

. [27] ,
. [28] FTMP - .
3. ,
, [6].
:
1) , ,
2) .

. 2.4.
SIEMENS.

.2.4.

( ), , ,
. , 54

,
.
.
[23, 30].
4. ,
[6].
:
1) , . , ,
,
2) , ..

,
. , , . . ,
SKYLAB [30, 39]
, , , 3. , STAR SHUTTLE,
, .

- ( )
55

,
(, )
, ,
. .
(, [33, 34])
(, , , ),
.
(, [36])
.

,

( ) .
, () ,
. 2.5. , ,
.
,
, .
,
.

, ,
, ( ),
56

, . ,
() ,
[41].

.2.5.

: .
(, ), (, ).
, , ,
.
57

, .
- , , ,
, .
,
.

( ), , , [34].


.
[32, 33]: , , ..
, , ,
, .

[10, 16, 28], .
, [42,
43].
, .

. , :
58

, (),
, ( ).
,

( ) . -


[44-46].

. [47-49] ( ),
( )
.
[32, 35, 50, 51] ,
, ,
.
,
, ,
(
, , ), ,
[10, 46].
[45],
, , ,
.
59

2.2.

,

.
. . (
). ,
() ,

(2.1)

,
,
, .
,
, .

, .
(), , , .
.
(). =1 .
. . :
60

(2.2)
(t ) ,
, 2.1, (t) t.
t.

.
, t , , , .
.

. , .
.
.
. ,
, .
. , [10],
t,

.
(t) (1-P(t))
K(t).
[33, 38]
,
(/ ) t0.
.

61

() . ( 2.2)
: , ( ),
t0. , P, (
)
:
=(t0) ,

(2.3)

- ,
(t0) - () t0.
, (t0) ,
,
.
,
, () (t0) ,
.
t0 Q0. () ,
,
..
:
(2.4)

.
62

. - , , n-
:

(2.5)

, (2.5) , ,
. , .
n>>1
. m , n/m. n- m

en

/m

i 1

, . .
, , - .
k .
. , , .
- , ,
100%.

, .

k=1 m=1. , ,
- . t
n- , c=[t0/t]
, .
63


(2.5). , ,
[3], - :

1 (1 e

) .

(2.6)

(2.6) , , -
.
m 1 , t0 m . :

t0
t m

1 (1 e

cn / m m

) .

, ,
()
, ,
,
.

64

2.3. -

- :
1.
.
2. ( ) .
3.
.
- (
)
.
, ,
:
( ).
.
,
.
,
:
1) ,
2) ,
3) (
).
. 2.6 ,
. ()
, .
65

, , ,
.., .
. 2.6 .
.

.2.6.

, . 2.6,
:
.
:
(
) (

- ). .
66

,
[3].
( ) ,
. 2.7.
2

)
.2.7.
:
) ,
)

. 2.7, , , , 67


(
). . 2.7, ,
,
(..
).
. 2.7 :

.
1 , .
2 , .
1
.
2 . , = 1+ 2 , a 1 > 2.
, . 2.8.

2
0

1
1

2
2

3
3

.2.8.

68

, . 2.8,
. 2.7. , ()
. 1 ( ) ,
,
. 2 , , , . ,
3
.
:
1 ;
2 ;
3 .
. 2.8
, (
3) ,
( ).
, ,
( ) .
,
. 2.7 2.8. :
1.
. 2.7,

K
1

2.

. 2.7,

1
1

69

3.

. 2.8

1
1

2
3

2
1

.
2

<<1, <<2, <<3, 2 >1, 3>>1.


,
, ,
:
1. ,
.
() .
2. (
)
t.
3. (
) .
,
:
) ;
)
:

T0
T0 TB

. : 0

B;
) 0 ;
) B.
70

2
1. .., - .. -1 // . , 1974, 9.
C. 72-77.
2. .
// , 1973, 9. . 72-77.
3. .., .. . .: . ,
1975.
4. Baque I. Reliability Aspects of The ILLIAC-IV // Computer.
Proc. 1976 Int. Conf. on Parallel Processing, 1976, P. 123-131.
5. Stiffer J.J. The SERF Fault-Tolerant Computer // Intern. Symp.
on Fault-Tolerant Computing, 1973, Palo Alto, Calif., P. 23-26.
6. Maison F.P. The MECRA: A Self-Reconfigurable Computer for
Highly Reliable Process // IEEE Trans. Comput., 1971. 20. 11.
P. 1382-1388.
7. Kutch R.E. Computer Redundancy: Design, Performance and
Future // IEEE Trans. Reliab., 1969. 18. 1, P.3-11.
8. Happer R.E., Alger L.S. A Design Approach for Ultrareliable
Real-Time System // Computer, 1991. 7. P.28-30.
9. .., .. // .
. .: , 1979. C. 35-40.
10. /
. .. . .: , 1979.
11. ( ) /.. ,
.. , .. .; . .. .
.: , 1980.
12. .., .. . // , 1978, 3. . 26-37.
13. Snuth T.B. A Damage-and-Fault-Tolerant Input, Output Network // IEEE Trans. Comput., 1975. 24. 5. P. 505-512.
71

14. Lipovski G.J. On A Varistructured Array of Microprocessors //


IEEE Trans. Comput., 1977. 2. P. 125-138.
15. Baer J.-L. Multiprocessing Systems // IEEE Trans. Comp.,
1976, 25. 12. P. 1271-1277.
16. . . .:
, 1968.
17. . . .: , 1956. C. 114-134.
18. .
// , 1976, 64, 6. C. 6876.
19. IV // , 1978,
6. C. 114-134.
20. Freeman H.A., Metre G. Fault-Tolerant Computers Using Dotted-Logic Redundancy Techniques // IEEE Trans. Comput., 1972, 21,
8. P. 867-871.
21. . // . .: , 1966.
22. Avizienis A. Fault-Tolerant Systems // IEEE Trans. Comp.,
1976, 25, 12. P. 1304-1312.
23. .., .., ..
// - . , 1979. C. 13-14.
24. Ingle A.D., Siewiorek D.P. A Reliability Model For Various
Switch Designs In Hybrid Redundancy // IEEE Trans. Comput., 1976,
25, 2. P. 115-133.
25. Avizienis A., Gillay G., Marthur F.P. . The STAR (SelfTesting And Repairing) Computer: An Investigation Of The Theory
And Practice Of Fault-Tolerant Computer Design // IEEE Trans. Comput., 1971, 20, 11. P. 1312-1321.
26. Hopkins A.L., Smith T.B. The Architectural Elements Of A
Symmetric Fault-Tolerant Multiprocessor // IEEE Trans. Comput.,
1975, 24, 5. P. 498-505.
72

27. Koszeva L.J. A Three-Failure-Tolerant Computer System //


IEEE Trans. Comput., 1971, 20, 11. P. 1389-1393.
28. .., .., .. FTMP // , 1976, 66, 10. C. 142-165.
29. .., ..
// , 1977, 6. C. 158-166.
30. .., .
//
, 1973, 11. C. 77-85.
31. .., .., ..
. .: , 1975.
32. . . .: , 1978.
33. .. . .: , 1969.
34. A. Ranganathan, S. Upadhya. Performance Evaluation Of RollBack-Recovery Techniques In Computer Programs // IEEE Trans. On
Reliab., 1993, 42, 2.
35. ., . .
.: , 1969.
36. R. Rohde, J. Haskett. Disaster Recovery Planning // Commun.
ACM, 1990, 33, 6. P. 652-657.
37. Chung W.H. Reliability Analysis Of A Series System With Repair // Microelectronics Reliability, 1991, 31, 2/3. P. 363-365.
38. .., .., .. - . .: , 2004.
39. .., .. , 1978, 3. . 26-37.
40. .., .. // . .1. : , 1966.
41. .., .., ..
. .: , 1965.
42. F. Gatterson, S. Jankley. Built-In Self-Test (BIST) Structure For
Analog Circuit Fault Diagnosis // IEEE Trans. On Instrumentation And
Measurement, 1990.39 3. P. 517-521.
73

43. S. Byun, S. Moon. Resilient Data Management For Replicated


Mobile Database Systems // Data & Knowledge Engineering, 1999.
29. P.43-55.
44. ..
// . I
/ . ...
45. .., .., .. // , 1983. 6. C. 163-168.
46. .., .., ..
. .:
, 1972.
47. .. // , 1979, 1. C. 54-60.
48. .. // . (C ), 1982.
10. C. 54-57.
49. ..
//
. , 1980. 1. C. 81-84.
50. .. . : , 1964.
51. ..
// , 1978. 1. C. 38-40.

74

3.


A
3.1.

. 28806-90 "
. " [1] (reliability) ,
.


:
, , ;
: ,

. ,
;
: , ,
,
,
.

75

28195-89 "
. " [2]
() ,

, ,
, . :

,
,
';
.
/ 9126-93 "
. " [3] ,
. :
, ;
,

;
,

,
, , .
76

, , ,
, ,
,
, ,
.
[3]
(,
) .
,
, ,
,
. ( , ).
: ()
, . .
(). .
.
( () , , ). .
.
77

, ,
,
. .

(1 ): , , , , () .

( 2- ): , , ,
, , , , ,
, ,
, , , ,
, , , , .
(3- ).
(
4- ),
. , .

, ,
.
:

;
(, , , )
0 1;

78

(
)
, :
;
;
.

(. 3.1).
""
. 3.2.
,
23- , 4 .
.
, () .
,
.

79

,
,
,

()

3
4
5

1
2

1
3

3.1

0204

02

0202

021

0110

0105
0106
0107
0108
0109

0104

0102
0103


0101



"

"

"


"

"

"

"

"
( 0,
"
. .)

,
"
,

"
,

"


"

0-1

0-1

0-1

0-1

0-1

0-1
0-1
0-1
0-1
0-1

0-1

0-1
0-1

0-1

3.2

0401

0305

0304

0303

0302

0301


H0205


,
-


,

,

0-1
0-1
0-1
0-1

"
"
"
"

"

0-1

"

P(Y)=1-D/K,
D ,
, K
,

P=1-Q/N,
Q ,
N

0501

"

1
N

TBi ,

i-

Ti -

, -

1, T
,

, T
T

"

, Ti
Ti

i
i-


i-

1, Ti

1- .( , , , , , );
2- 3- , ;
4- 5- .
, 0501 , 1- 5- .

. 5 :

0502

3.2.

, ,
, . . ,
.
() . , , , . .

()
, , . () .
.
, , . :

, ;
85

, ;
;
,
, , ,

;

.
.
, ,
.
.


:
1) ;
2) ;
3) ;
4) :
) ;
)
,
, .
, , .
86

.
S :
SK S j =1...K,
;
S S i = 1...M,
.
S = SK U SM ,
SK SM = 0.
1. G(t)
t:
K

G (t )
j 1

P j (t ) 1

P (t ) ,
z

z 1

Pj(t) j-
;
Pz(t)
z- .
2. (t) :

(t) 1 G(t )

P (t ) .
z

z 1

3. K ( t ). t () ,
, :

Pi

l i m Pi (t ) , i=1...n .


(t ):

l i m G (t ) .

87

4. :
K

(t )

jz

Pj (t ) ,

j 1 z 1

jz
.
.
[4, 5].
, ,
(. 3.1).

3.1.
S0
S1

( -), :

dPi (t )
dt

Pi (t )
il Pl (t )
l 1

ij

, j

1...q, l

1... ,

j 1

ij ,
j i,
q , i ,
88

, i .
, ij
t.
P1(t), ..., Pi(t), , Pn(t),

P1(0) ,... , Pi(0), , Pn(0).
:
n

Pl (t ) 1 .

i 1

, . 3.1, :
dP0(t)/dt = -P0(t)+P1(t),
(3.1)
dP1(t)/dt = P0(t)-P1(t) .
, , ..
P0(0) = 1 P1(0) = 0.
S0 S1 ,
P0(t) + P1(t) = 1 .
P0(t) = 1 - P1(t), (3.1),
P1(t):
dP1(t)/dt = (1 P1(t)) - P1(t).

.
Pi(t):

Pi (t ) e St dt ,

Pi ( S )
0

Pi(S) = L{Pi(t)} Pi(t).


dPi(t)/dt:

89

L{}= L{1}= /S .


, ( P1(0) = 0):
SP1(S) + P1(S)( + ) = /S ;
P1(S)( S + + ) = /S.
:

P1 ( S )

S (S

a
S (S

1
S

S a

a= + .
, :
L{f(t)} = 1/S, f(t) = 1;
L{f(t)} = 1/( S + a), f(t) = e-at,

:


P0(t) = 1 - P1(t),

P0 (t )

)t


t :
- G(t),
G(t) = P0 (t);

90

- k. t:

l i m P0 (t )

(3.2)

- (t)
(t) = 1 - G(t) = P1(t).
- (t)
(t) = G(t)= P0(t)
t ( ):
(t) = ()== P0= k ,
- (t):
t0= k/ = k/(k) = 1/.
P0(t) :
1. () (=)
/= 0 P0(t) = 1.
2. ( = 0)
/= P0(t) =e- t
.
, . 3.2.

. 3.2.


, , ..
l = 2 =; l = 2 = .
91

:
"0" ;
"1" , ;
"2" . , ,
"2" .
,

.

t t + t:
00 ;
01 ;
10 ( );
11 ;
12 , (
);
21 ;
22 (
).
33.
0(t),
,
. , t "0" "2": 02(t) = 0.
,
20(t) = 0. t
"0" 01(t) "1"
00(t) "0". "2". 21(t)
"1" ( )
22(t) "2" (
).
92


. , ,
2 , .
P00 ( t ) e ( y 1) t ,
y - , ( = 0
=1 ).
,
00(t) + 01(t) = 1,

01(t) = 1 - 00(t) = 1-e-(y+1)t .



:
10(t) + 11(t) + 12(t) = 1
10(t) = 1 - e-t
12(t) = 1 - e-t
11(t) = 1 - [10(t) + 12(t)] = 1- e-t - e-t.
,

, :
21(t) + 22(t) = 1

P22( t ) e

21(t) = 1 22(t)= 1 e-rt ,


r - (r = 1 r = 2).
4 :
1) ( = 1, r = 1);
2) ( = 1, r = 2);
3)
( = 0, r = 2);
4)
( = 0, r = 1).
0(t), 1(t), P2(t) :
93

P'0(t) = f0(,,r,y,t)
P'1(t) = f1(,,r,y,t)
P'2(t) = f2(,,r,y,t),
, , r, y, t .
0(t + t),
1(t + t), 2(t + t),
"0", "1", "2" :

P0' (t )

lim
t 0

P1' (t )

lim
t 0

P2' (t )

lim
t 0

P0 (t

P1 (t
P2 (t

t ) P0 (t )
;
t
t ) P1 (t )
;
t
t ) P2 (t )
.
t

:
0(t+t) = 0(t)* 00(t) + 1(t)* 10(t) ,
:
1(t+t) = 1(t)* 11(t) + 0(t)* 01(t)+ 2(t)* 21(t) ,
:
2(t+t) = 2(t)* 22(t) + 1(t)* 12(t) .
,
, , r, y.
"0", "1" "2" t : 0(0) = 1; 1(0) = 2(0) = 0, .. .

,
0(t), 1(t), 2(t)
0(t) + 1(t) + 2(t) =1 : G(t) = 1 - 2(t) .
94


0,01 , G(t0,5) 0,999,

.
, , , .

(r = 1) (r = 2) :
2
( y 1)
(r 1)
.
(3.3)
2
( y 1) 2 ( y 1)

(r

2)

(y

2( y
1) 2

1)
2( y

2
1)

(3.4)

,
, .
,
n ,

.

,
.
1
,
. ,

. .
2
, .
95

,
1, ,
. 3.3.

1
0

2
2
2
.3.3.
, 1:
S0
S1 1 ( )
S2 2 ( )

(t )

) e

(1

t(

1
1

(3.5)

,
:

1
i

a :
96

1
(
i
1
1

1)
.

(3.6)

,
n , , ,
,
[10]:

1
i

1
(
i
1

(3.7)

1)

i i- .
,
2, , , . 3.4.

2
2

.3.4.

, 2
S0 ---
S1 --- 1 ( )
S 2 --- 2 ( )
S 3 --- ( )

97

2
1

(1

) (1

(1
i 1

(3.8)

, n , , ,
, [10]:

(1
i 1

)
i 1

1
i

i
i 1

i i- .

98

(3.9)

3.3.








:
, ,
, ;
, ,
,
.
, .
:
,
,
,


,
,
( ,
) , ,
, -
,
99

, [3]
, ,
,
, ,
,
. , , .
, , , ,
, ,
, ,
, ,
, , ,
, ,

;
,
, ,
,
.
,
, . , :
, ,
( -);
100

(, ,
).
() ()
(. 3.5):
1

2
2

.3.5.

,
: ,
, ,
. , . ,
, , , ()

101

,
- .

.

:
,
, ,
;
, ,
,
;

, , ,

,
;

, .
,
(. 3.6).

102




, , . 3.7 3.8 .
,
,
.
, N , , . (3.2)
(3.3), (3.4) .
, i ,
.
, , , :

1
i 1

i 1

2
i

i
i

2
i

2
i

n , m , .
.
,
. 3.7, n = 6, m = 1 , :

6
i

2
2 i i
i
i i .
i 1

103

2
. . .

Time Server

QoS

. . .

.3.8.

Call Manager
()

Call Manager
()

.3.6.

.3.7

,
. 3.8, m = 2 (
),
n :

1
i 1

i 1

2
i

2
i

( )
( ), .
, ,
- , (3.9):
n

i ,

i 1

,
,
, , .



. .
-, .

, ,
, 105

.
. 3.9.
, ,
.
, .

1
0

2
2

1
2

.3.9.

, , . ,
, .

.

:
p{| - M[ ]| }2/ 2,

106

; M[ ] ;
2 ; [10].
,
, k, 1/k2.
.
, .
"" . , ,
. , , ,
[9],
. ,
.

.
, ,
. , , ,
.

107

3.4.



.
,
.

, . :
- , ,
- , , ,
, , ,
, ,
.
.



. . (. 3.10). . "" (. 3.11) . ,
.

108

.3.10.

. 3.11.

.
(. 3.12). (. 3.13).

. 3.12.

. 3.13.

111


. , , .

. 3.14.

. 3.15.
. 3.16,
. 3.17.


, , XML: Errors.xml.
:
<N> ;
<err_time> ;
<rest_time> ;
<place> , ;
<module> , .

.
112

Errors.xml

. 3.15.

113


AS[10]

i=0

i-

AS[i ] =

I = I +1

I =9

. 3.16.

114


Ksum=1

I = 1

Ksum=Ksum+(1/AS[i]-1)

I=I+1

I = 10

K = 1 / KSum

. 3.16.

115

P[7]


T[7]

i=0

i-

errTime

C

restTimei =0

modN


T[modN ]

B
. 3.17.
116

. 3.17.

117

3.5.




. , , .
1. ,
.
, : .
(,
),
.
,
.
2. ,
.
, .
, ()
,
.
, , [11, 12].
118

3.
, -
,
. . - ,
.
, ,
,
. ,
, ,
,
. , ,
,
.

119

3
1. 28806-90. .

.
2. 28195-89. .
.
3. / 9126-93 . .
4. . . . .
.: , 1979. 432 ., .
5. ..
. .: . . 1971. 520 .
6. .. . " ".
XIII -. .: , 2005. 361.
7. ..
. . . : 1983, 6.
C. 3136.
8. ., . .
.: . , 1969. 488 .
9. .., .., .. . .: . , 1978. 416.
10. .., .. . .: . ,
1975. 472 .

120

4 5
-
() .
, , ( ).
, , .
,
. : ,

, ,
.

, , ,
, ,
. , , , , -
. - . .
: , , , .

.

.
121


( ), ( ). . , , , .
.

122

4.



4.1.



,
, : , ,
, . -
, , ,
.
, , , -
. - . , .
, ,
1000 [1, 2, 9].
(, , ),
, . [1, 3] ,

, . , ,
123


0,04...0,15 1000 [3, 5, 6].

. Windows XP
5 [2, 12]. ,
(0,04
1000 ,
)
Windows XP
200 .
, 70% . , , ,
. , Linux
, . Windows XP 85% .
, ,
.
,
.

.

3 . , ( Windows):
(5 1000 )

2,5*106*2*5/103=25000;
(0,04 1000 )

5*106*0,04/103=200.
124

4.2.


[7]:

p(t)g(t)dt ,

p(t)dG(t)
0

(4.1)

G(t) ,
t (
), g(t) G(t), p(t) t.

,
.

:
, ,
,
;
, ,
.
,
,
(4.1).
,
, . :
125

, , (4.1)
;

,
;
, .
, , .

, , , [7], .
, , .
:
n
i 1

1
N

n /( N

1
T

( x[i] i)) K T ,

(4.2)

i 1

N ( ),
n , ,
,
x[i] ,
K ,
.

126

,

.
,
, ,
.
(
x[i]), .
, K N
,
n- . ,
( Mathcad).
.
. 4.1.

127



Xj,

N
m

N Xj

. 4.1.

128

m=m-1

m=0

. 4.1.

129


1. x[i] (i=1n)
( )
x[n+1] , (4.2):

xn

n 1

1
K

i 1N

xi .

(4.3)

i 1

2. ,
, x[n+1], , ,
, .
x[n+1] 3 4.
3. N, x[n+1], 2, K, 4 :

n 1

x[i ]

n 1

n 1
K

( x[i ] i )) .

(4.4)

i 1

i 1

4. K 3
N 2 x[n+1]:

n 1

n 1

x[i ]

i 1

1
N

(4.5)

i 1

5. , , ,
1 .
, ( ),
130


.
:
1) , , ,
2) .
, ,
,
. ,
.
, ,
. , , 1.
,
n,
, ,
:

t1

pn 1
,
p 1

(4.6)

t1 1- .
t1 = 1,

pn 1
T .
p 1

(4.7)

n ,

(, Mathcad).

131

4.3.
,


, ,

.
.
, 30%
.
50%. 100000 .
Oracle Content
Server for Windows 8 . [10] 339 105 291 bytes. 8 . , 10 , , 4,2*106 .

, , 5
1000 0,04 1000
.
, , 3 ,
.

, , ,
3 .
,
,
(4.7.) Mathcad.
. 4.1.
132

1,5*106
1,3*106
0,5*105

4,2*106

1*105

1,05*106

3,5*106

5*106

0,45*106

1,5*106

Oracle Content
Server

1,5*106

5*106

10

15

500

6500

18000

15750

2250

7500

1,0116

1,00037

1,00004

1,00026

0,08

0,04

0,12

0,04

0,04

52

144

126

18

60

- -

1000

1000

4.1.



. 40 . 4.2.

, , :
H=R/(1+3,32*lg n),
n ;
R=Xmax - Xmin.
:
a1= Xmin-/2.
i-
(i+1)-
bi=ai+1 .

:
bi Xmax.
, 5,
.
, , . 4.2.
Xmax = 559
Xmin = 52
= 80.

134

. 4.2. 40

135

,
. . , ,
. , ,
.
,
Windows XP Microsoft 16 . , Windows XP 5 ,
3- ,
547 , 0,0018 -1.
. ,

, .
, .
Forrester Research [10]

900 .
80% Windows XP.
, 720 .
, Windows XP -
=0,24*10-2/(720*106)=0,33*10-11 -1 .

136

bi

92

172

253

333

413

493

574

ai

12

92

172

253

333

413

493

11

12

11

333

253

172

12

ai

574

333

253

172

bi

11

12

13

0,100

0,275

0,300

0,325

0,00041

0,00344

0,00370

i,
1/
0,00203

,
1/
0,00240

417,21

4.2.



, , , , , 3
, . 70%
.
.
. 4.2.
, , 85%
Windows XP
[7] ( .4.2
126/144=0,875).
40
. 4.3.

. 4.3.
Xmax = 166
Xmin = 25
= 22

138

. 4.3. 40

139

bi

35

57

79

101

123

145

167

ai

13

35

57

79

101

123

145

11

11

2
123

101

79
167

123

101
8

11

11
0,2

0,275

0,275
0,00455

0,01250

0,01250

4.3.

.
,
i
,

1/
1/

ai
bi

2
13
79
10
0,25
0,00379 0,00833
120,00

,
, .
, ,
,
Windows XP -
:
=0,833*10-2/(720*106)=1,16*10-11 -1.
Oracle
40
ORACLE, ,
, . 4.2,
. 4.4.

. 4.4.
Xmax = 952
Xmin = 68
= 140

141

. 4.4. 40
ORACLE
142

bi

140

280

420

560

700

840

ai

140

280

420

560

700

10

15

560

420

280
979

560

420
4

10
0,100

0,175

0,250
0,00024

0,00125

0,00179

4.4. ORACLE

.
i
,
,

1/
1/

ai
bi

0
280
19
0,475
0,00170 0,00124
804,70

, 1 , ORACLE
:
=0,124*10-2/(1*106)=0,124*10-8 -1.




10-3 10-4 [12].
10-5 10-7 . 10-7 10-8 [3].



.

10-7 100 , ,
10 .
. . 1 , ,
, :
=10 / (100*106*30*24) =0,139*10-9 -1.

144


3- , : t1=1846, t2=2731,
t3=5050.
:
=0,000369 -1,
:
= 2712,728 .
, 100 , ,
0,369*10-5 -1,
271272,8 , 31 .
4.3.6.




3 :
1) , ;
2) , , ;
3) , , , .
, , :
1 = + = 0,116*10-9 +0,369*10-5 0,369*10-5 -1
2 = + + = 0,116*10-10 + 0,124*10-8 + 0,139*10-9
0,149*10-8 -1
3 = + + + = 0,116*10-10+ 0,124*10-8 +
+0,139*10-9 +0,369*10-5 0,369*10-5 -1
, ,
, , , . .
145

4
1. T. , . , . .

:
: . . .: .
"", 2004. 1136 .
2. A Lightweight Method for Building Reliable Operating Systems
Despite Unreliable Device Drivers. // Technical Report IR-CS-018, January 2006.
3. ..
. .: , 2005. 224 .
4. Symantec: .

"".
,
2007.
http://www.spamtest.ru/news.html?id=207509046
5. , ., ., ., .
. //
, 8, 2004.
6. .., .., .., ..

// 60- ,
, 17-19 2005. .-., . . 91-93.
7. : . / .
.. .: , 1985. 608 .
8. . . .: ,
1980. 360.
9. .. : .
. .: . ., 1990. 303 .
10. http://www.oracle.com/technology/software/products/contentmanagement/index.html?rssid=rss_otn_soft
11. 2008 : .ru. 12 2007. http://www.lenta.ru/
12.
, , ,
,

.
http://www.citforum.ru/operating_systems/reliable_os

146

5.


5.1.
-
-
(), (),
. ,
( ). , , . . 5.1
,
,
. :
t0 ,
( ), 0 ( ).


. ,
.

: , , , .

147


.

.

( ), ( ).
. , ,
, .
( ) ( ).

148

. 5.1.

-
149

5.2
NT-AKPB-LEN
CD,
DVD

()

IDE

2
.5.2. NT-AKPBLEN

150

NT-AKPB-LEN
(),
, . 5.2.
, , , [1-4].

.
:
N
i

,
(5.1)
N , i
i- , .
,
, . ,
,
(5.1) = 0,01*0, 0
.
,
() , .
:
i 1

= exp(-t) - t
,
().

151

3
)(

(5.2)

. .
, (, , ).
,
:
M

Ti

i 1

, i
i- .
T i = B i-1 - i , B i-1
()
(i-1)- , i i- .
, B i-1 i (). ,
, .
. 5.1 ,
, [5 - 11].
,
, (, ) .
, , (,
20 ), .
152

5.1.



(. )
100-150

1000-1400

CD-ROM

60-125

50-70


, IDE

30-40

6
7

500-1000
50-100

:
.
,
. f,
,
, :
f , , , t
,
ft.
,
t ( ) t .
, ,

, , . , ( 153

)
t f tt .
, , :

r , : r

ftA .

, .
i-
,
, . , , r .
r , .
, . 5.2.
5.2.




, IDE

CD-DVD

(x 10-3 -1)
0,010
0,001
0,020
0,050
0,010
0,017
0,010
0,010

r
(
)
1
1
1
1
0,05
0,01
0,01
0,01

:
(5.3)

154

N , ri , i- ,
i i- .
(5.3),

=0,08210-3, , , 12 . .
, , (
), , (5.1),
.
, , , ,
. , (5.1) (, ,
). (5.3) (), r
b/a,
(=2T/t0), b (b=2/3t0); t0 ,
.

(5.3), ,
(5.1) .

:
- ,
- ,
- .
155



[1]:

TB

t Bi .
i 1

(), ti i- .

. i i- , (
) :

TB

i N
i
i

i 1

N , i
i- , i i- ,
, (5.1),
(5.3). .

.
B ,
.
, 8
( t1) ,
a 16 (
t2), t1<< t2,
, .

: .
, ,
156

. , .
:
1 , ( );
2 , ( );
1 (
);
2 ( ).

:

11

2 2

,
1 2 , ,
.
() ,
, .
() , , .


.
.
i yi,
:
i =1 , i- ;
157

yi =1 , i- .
, i-
.
i1 i2 , , . ( ) :

i N

(ci1 xi

ci 2 yi ).

(5.4)

i 1


:
i N

TB

(Ti1 xi

Ti 2 yi ) ,

(5.5)

i 1

i1 i2 i- , , .
, . (5.5.) 0
(5.4.). ,

<0.
,
i- , , , 5.4 5.5.

158

5.3.
,
(). : ( ),
. ( ) . 5.3.
, ,
. , . , :
, , 1 2 ,
, .
2

N1

N2

. 5.3.
( () )
159

, . 5.4, ( )
(N=2):

(1 (1 1 )(1 2 )).

, . 5.4, :

(1 (1 1 )(1 2 )(1 (1 )) 2 .

()
( ), .
(=1/ )
.
:

,

.

160

. 5.4.
N-

. 5.4.
N- .

5.4.
. ,
m , , k , ( t0) n
, ()
. 1, 2, 3 -
,
.


(m 1 k 2 )(1 ) n 3 ,
(5.6)

.

:
a
T .
(5.7)
, , , , .
, [13] , :

:
ln K
.

163


. . [13]
:

(j

n 1) aj!

j n 2

a (1 )



, .

5.5.
Object Pascal
- DELPHI 7.
(. 5.4).
:
- ,
- ,
- .

. . 5.5.
164

. 5.5.

. 5.6
.
()
,

. , : ,
.

. 5.6. .
165

5
1. .., .. . .: . ,
1975.
2. /
. .. . .: , 1979.
3. ( ). /.. ,
.. , .. . / . ... .:
, 1980.
4. .., .., .. - . .: , 2004.
5. . http://www.ase.ru/pamir/vk.htm.
6. NEC Express
5800/320lb Straus ftServer 3300. http://www.server.md/news.php.
7.
.

http://www.rodnik.ru/htmls/s_1_5.htm.
8. ThermalTake
http://www.3dnews.ru/news/
9. Samsung HDD 1 .
http://www.3dnews.ru/news/
10. Seasonic S12II-500. http://www.3dnews.ru/cooling/
11. : ThermalTake Duorb Titan Elena
TEC. - http://www.3dnews.ru/cooling/
12. . .
. http://www.3dnews.ru/news/
13. .
50-503-84.

166

..

-

10.11.08. 6084 1/16.


. . 10,5. .-. . 11,0. 150 .
. 4/90 2-2427
-
( ).
115409, , ., 31
"".
. .