A synchronization mechanism for an object oriented distributed system

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.<>