A synchronization mechanism for an object oriented distributed system
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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 describedKeywords
This publication has 9 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- Active objects in hybridPublished by Association for Computing Machinery (ACM) ,1987
- Concurrency Features for the Trellis/Owl LanguagePublished by Springer Nature ,1987
- Distrbution and Abstract Types in EmeraldIEEE Transactions on Software Engineering, 1987
- Programming in Modula-2Published by Springer Nature ,1982
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- MonitorsCommunications of the ACM, 1974