, , , , .
( ) [dijkstra]. [taubenfeld].
, , . : , , , , . , . . , , . , . , .
, :
1. (. mutual exclusion) , , ;
2. (. deadlock freedom) , , , , , .
() , , . (. starvation freedom) , . . - FIFO- (. first-in-first-out) , .
, /. , .
|
|
, , . , . .
. .
1.3.1.
( / ) . -. , .. . ( [dijkstra]), . : , . -, , , . , [peterson]. ( ) . . , [lamport], , . ( ) , .. . ( / ) . , : , .
, . , . , / . / , . , , . ; .
|
|
/ RMW- (. read-modify-write), .
. , , / / . : , ( ), - . , : , MCS (. Mellor-Crummey and Scott) [mcs] CLH (. Craig, Landin and Hagersten) [clh]. MCS 2006 ACM . , Linux [boyd] Java.
1.3.2.
, . , , PGAS DSM, . , , RDMA , . , : . [fu, bertier] :
1. (. permission-based) / ;
2. , (. Token-based), , .
[lamport2] . . : . - . , . , . , , . , . , . , , .
|
|
, . [lamport2] , - .