Computer Systems (TOCS)


Search Issue
enter search term and/or author name


ACM Transactions on Computer Systems (TOCS) - Special issue on operating systems principles, Volume 12 Issue 1, Feb. 1994

Authentication in the Taos operating system
Edward Wobber, Martín Abadi, Michael Burrows, Butler Lampson
Pages: 3-32
DOI: 10.1145/174613.174614
We describe a design for security in a distributed system and its implementation. In our design, applications gain access to security services through a narrow interface. This interface provides a notion of identity that includes simple...

Lightweight recoverable virtual memory
M. Satyanarayanan, Henry H. Mashburn, Puneet Kumar, David C. Steere, James J. Kistler
Pages: 33-57
DOI: 10.1145/174613.174615
Recoverable virtual memoryrefers to regions of a virtual address space on which transactional guarantees are offered. This article describes RVM, an efficient, portable, and easily used implementation of recoverable virtual...

File-system development with stackable layers
John S. Heidemann, Gerald J. Popek
Pages: 58-89
DOI: 10.1145/174613.174616
Filing services have experienced a number of innovations in recent years, but many of these promising ideas have failed to enter into broad use. One reason is that current filing environments present several barriers to new development. For...