Computer Systems (TOCS)


Search Issue
enter search term and/or author name


ACM Transactions on Computer Systems (TOCS), Volume 7 Issue 4, Nov. 1989

Memory coherence in shared virtual memory systems
Kai Li, Paul Hudak
Pages: 321-359
DOI: 10.1145/75104.75105
The memory coherence problem in designing and implementing a shared virtual memory on loosely coupled multiprocessors is studied in depth. Two classes of algorithms, centralized and distributed, for solving the problem are presented. A prototype...

Using histories to implement atomic objects
Tony P. Ng
Pages: 360-393
DOI: 10.1145/75104.75106
In this paper we describe an approach to implementing atomicity. Atomicity requires that computations appear to be all-or-nothing and executed in a serialization order. The approach we describe has three characteristics. First,...

Increasing availability under mutual exclusion constraints with dynamic vote reassignment
Annemarie Spauster, Hector Garcia-Molina, Daniel Barbara
Pages: 394-426
DOI: 10.1145/75104.75107
Voting is used commonly to enforce mutual exclusion in distributed systems. Each node is assigned a number of votes, and only the group with a majority of votes is allowed to perform a restricted operation. This paper describes techniques for...