This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
June 1985 (vol. 11 no. 6)
pp. 509-519
M.S. Mckendry, Department of Computer Science, Carnegie-Mellon University
Several research projects are studying architectures for distributed computing that are founded on the notion of atomic actions operating on objects (instances of abstract data types). Such projects as Clouds at Georgia Tech and Archons at Carnegie-Mellon University are evaluating this approach as the foundation for constructing distributed operating systems. Objects are not new to operating systems. They provide substantial benefits in such dimensions as protection and synchronization, as well as their inherent organizational characteristics. This paper is concerned with synchronization to control ordering, a function often associated with objects. Conventional approaches require substantial extension for the action environment. Typically, they are based on (or equivalent to) general semaphores. Semaphores take no account of the visibility requirements of actions however, and consequently they can allow an action to progress beyond the point at which its effects can be undone. Also, they do not account for failures.
Index Terms:
synchronization, Abstract data types, actions, concurrency control, distributed systems, objects
Citation:
M.S. Mckendry, "Ordering Actions for Visibility," IEEE Transactions on Software Engineering, vol. 11, no. 6, pp. 509-519, June 1985, doi:10.1109/TSE.1985.232243
Usage of this product signifies your acceptance of the Terms of Use.