1. .
, .
2. .
: ) ; ) , , .
3. .
: t1t2 ; t2t3 . R. , . R .
4. -.
. ( ), ( ). , , . : ) ; ) , . - , -. - , - . . . .
5. -.
, , : 1) -; 6 ; 2) -: , -.
6. - .
X, Y, Z : 1, 2, 3. , 1, Y 2 3, Z 1 3. .
.
, , , . , , , . .
|
|
" " . - , . , , , , . . , , , . - , , . , ; , , .
. 2.4.
. , 1, ( , ), 0, . 2.4 , D F(D). , D. , , , F(D) 0, . , D, F(D) 1.
, . . , , , 0, . , , , . , , , . , . "-", , .
: , , , , , . . , . , , WAIT(x) POST(x), x - . 2.5 , . , , WAIT(D), D , D. WAIT(D) , D. , D, POST(D), , D, .
|
|
.,.
, ( ), p V . R. S. P(S) S , S>0 S=0, , S<0, () V(S), , . V(S) S , S>0 S=0, , , V(S), . P V : V. , P V, . ( ) : S1 ; S2 ; S3 . : S1 ; S2=0; S3=1 ( ). , :
1) , , , . , .
2) , , , ; .
3) .
4) , , , .
5) .
:
|
|
1) , , , ; , .
2) , , , ; .
3) .
4) , , , .
5) . , . P V .
|
|
. , . . , .
.
- , (deadlocks), (clinch) .
R1, R2. R2 R1. , , .. , , .
:
,
,
.
, , . , , , . , - , . . , . , , , , "" , , . , .
.
1. ( ).
2. , ( ).
3. ( ).
4. , , ( ).
.
:
1) , , .
2) , .
3) ; , .
.
. N , , N . , . , :
1) , .
|
|
2) . .
.
. , ( ).
.
1. . , . , , .
2. . , , . , , .