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
Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber
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
David P. Anderson, Yoshitomo Osawa, Ramesh Govindan
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
Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat
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...