. , , , . , , . , . . , , . , .
, , , , . , . . . , .
, . , , , .
. , , , .
. 3.4.
, 0, , 1, . . 3.4. , 0 F(D). , - D. F(D) 0, . (F(D) =1), F(D) 0 . D, F(D): 1.
|
|
, .
, . , .
, . . . , , , 0, . , , , . , , , . , , . , (, , BTR BTS Pentium). , .
: , , , , , , , - . .
. 3.5 , Windows NT. , Enter-Critical Section . , , , . , (FCD) - 0), , (D) , , . , , LeaveCriticalSectionQ, , (F(D) = 1), .
. 3.5.
. , , . , .
|
|
. (Dijkstra) , . , , .
, V. S . V(S) P(S) .
V(S): S 1 . , . S .
P(S): S 1, . 5=0 S, , , , , . .
, V .
, S 0 1, , . , , , V , .
, , . N , . - - . , . - , , . , - , , .
: , f , = N, a f = 0. .
- (), , . , 0 ( ), - . , , V(f). - , , , .
. , , , , , , . . , . , N , , .
|
|
, , , , (, , ), Hav , . .
, (deadlocks), (clinch), . , () (b) -, .
, - (b), . (), . , -, . - , , -. , , .
. , , , . , , , , .
, , . , , , . , -, , . , , . .
, , .
, : . , . , , , . , , . ..
|
|
, .
- . . , , - , , - . , , . , , . , , . , , , . , . , , , .
, , , . , , . , - , . .
, . , , , , , , . , .