Computer Systems (TOCS)


Search Issue
enter search term and/or author name


ACM Transactions on Computer Systems (TOCS), Volume 10 Issue 4, Nov. 1992

Authentication in distributed systems: theory and practice
Michael Burrows, Edward Wobber, Butler Lampson, Martín Abadi
Pages: 265-310
DOI: 10.1145/138873.138874
We describe a theory of authentication and a system that implements it. Our theory is based on the notion of principal and a “speaks for” relation between principals. A simple principal either has a name or is a communication...

A file system for continuous media
Yoshitomo Osawa, Ramesh Govindan, David P. Anderson
Pages: 311-337
DOI: 10.1145/138873.138875
The Continuous Media File System, CMFS, supports real-time storage and retrieval of continuous media data (digital audio and video) on disk. CMFS clients read or write files in “sessions,” each with a guaranteed minimum data rate....

Page placement algorithms for large real-indexed caches
R. E. Kessler, Mark D. Hill
Pages: 338-359
DOI: 10.1145/138873.138876
When a computer system supports both paged virtual memory and large real-indexed caches, cache performance depends in part on the main memory page placement. To date, most operating systems place pages by selecting an arbitrary page frame from a...

Providing high availability using lazy replication
Liuba Shrira, Rivka Ladin, Sanjay Ghemawat, Barbara Liskov
Pages: 360-391
DOI: 10.1145/138873.138877
To provide high availability for services such as mail or bulletin boards, data must be replicated. One way to guarantee consistency of replicated data is to force service operations to occur in the same order at all sites, but this approach is...