2002 · 19 citations · 10 references
ComputingComputer ScienceComputer SystemsData StructuresDistributed SystemsOperating SystemsConcurrency ControlData SynchronizationDistributed ComputingDistributed SynchronizationDistributed TransactionsObject-oriented ProgrammingDistributed Data StructuresSynchronizationSynchronization MechanismsSynchronization Semantics
A mechanism for synchronizing shared objects in a distributed system based on persistent, typed objects is presented. Synchronization constraints are expressed as separate control clauses and are factorized for a class of objects. The interference of this mechanism with inheritance and transactions is examined and solutions are proposed. Examples of synchronized objects are provided, and a semaphore-based implementation of the mechanism is described.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
10
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text
C. A. R. Hoare · Communications of the ACM · 1974 · 1.5K citations · Full text
Per Brinch Hansen · Communications of the ACM · 1978 · 465 citations