# 6:

:
:


.


.


(
) .

2


Creative Commons.

, A.S. Tanenbaum, 3
, 2009, .

3





: ,
, ,

4








5


: , # 6:
: , :
 (1 3)

:
:




( )
( )

7
 (2 3)
(resource)

() ()

:
:


:

8
 (3 3)
:
: CD


request

;

9
 (1 2)

(.. )
1 ()
, mutex
()

10
 (2 2)

()
, ()
11


: , # 6:
: , :
 (1 2)





.. !

13
 (2 2)

14
 Coffman (1 3)
Coffman

1.



2.

15
 Coffman (2 3)
3.

4.






16
 (1 3)

: , :
:
:




17
 (2 3)

,
,
18
 (3 3)

19


: , # 6:
: , :
 (1 2)








Coffman

21
 (2 2)


,
, :
;
;

, ,

22


: , # 6:
: , :
 (1 3)

: 7 (-) 6 (-)
,
,
,

() ()
24
 (2 3)
K
K
1. =

2.
3. ,

4.
7

25
 (3 3)
5.

6.
2
7. ,

8. ,
9.
2

26
 (1 4)

27
 (2 4)
n

T
k 1
kl l Yl

=


<= A <=

28
 (3 4)

1. k Ak<=
2. , Tk
3. 1
4. ,

29
 (4 4)

3
(2,2,2,0)
2
(4,2,2,1)
1
30
 (1 4)
;



k

31
 (2 4)

:


,

: CD CD-R

32
 (3 4)
(rollback)

checkpoints

33
 (4 4)







:
:

34


: , # 6:
: , :
 ;
;

!

36
 (1 2)




:

37
 (2 2)

(1,5)-(2,6)

B

38
 (1 2)

Y

(safe)




39
 (2 2)

: <>

40
 (1 3)

(Dijkstra)
,
,

()
() ( , , , )
() ( )

41
 (2 3)


(), (), ()
1. R
R
R
2.
3. 1 2

42
 (3 3)

, , ,

, , ,

43


: , # 6:
: , :

;

45

Coffman

Coffman

46



:





: !

47


;


;

48



: ( )
: CD ( CD)
X

49
 (1 2)

: ,


!

50
 (2 2)

:



;
!

51


Coffman

52


: , # 6:
: , :
 (1 2)


1:

,

2:

54
 (2 2)

55
 (1 3)

56
 (2 3)

:
,
,
;

57
 (3 3)

58
 (1 2)

,

(livelock)
,

59
 (2 2)


:
fork()
:
open()




n ,

60
 (1 2)
;

:


!

61
 (2 2)

(starvation)

FCFS
!
Round Robin () SCAN ()

62
 #6
: , # 6:
: , :