Professional Documents
Culture Documents
06. Αδιέξοδα
06. Αδιέξοδα
06. Αδιέξοδα
:
:
.
.
(
) .
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:
: , :