12. SOSP 1989: Litchfield Park, Arizona

Proceedings of the Twelfth ACM Symposium on Operating System Principles, December 3-6, 1989, The Wigwam, Litchfield Park, Arizona, Operating System Review 23(5), ACM Press, 1989, ISBN 0-89791-338-8

Security

Michael Burrows, Martín Abadi, Roger M. Needham: A Logic of Authentication. 1-13 BibTeX
T. Mark A. Lomas, Li Gong, Jerome H. Saltzer, Roger M. Needham: Reducing Risks from Poorly Chosen Keys. 14-18 BibTeX

NUMA Memory Management

William J. Bolosky, Robert P. Fitzgerald, Michael L. Scott: Simple But Effective Techniques for NUMA Memory Management. 19-31 BibTeX
Alan L. Cox, Robert J. Fowler: The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUM. 32-44 BibTeX

File Caching

V. Srinivasan, Jeffrey C. Mogul: Spritely NFS: Experiments with Cache-Consistency Protocols. 45-57 BibTeX
David A. Edwards, Martin S. McKendry: Exploiting Read-Mostly Workloads in The FileNet File System. 58-70 BibTeX
Andrew Braunstein, Mark Riley, John Wilkes: Improving the Efficiency of UNIX File Buffer Caches. 71-82 BibTeX

Remote Procedure Call

Michael D. Schroeder, Michael Burrows: Performance of Firefly RPC. 83-90 BibTeX
Norman C. Hutchinson, Larry L. Peterson, Mark B. Abbott, Sean W. O'Malley: RPC in the x-Kernel: Evaluating New Design Techniques. 91-101 BibTeX
Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy: Lightweight Remote Procedure Call. 102-113 BibTeX

Structural Issues

Mark Weiser, Alan J. Demers, Carl Hauser: The Portable Common Runtime Approach to Interoperability. 114-122 BibTeX
Vadim Abrossimov, Marc Rozier, Marc Shapiro: Generic Virtual Memory Management for Operating System Kernels. 123-136 BibTeX

Multiprocessor

Bryan S. Rosenburg: Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors. 137-146 BibTeX
Jeffrey S. Chase, Franz G. Amador, Edward D. Lazowska, Henry M. Levy, Richard J. Littlefield: The Amber System: Parallel Programming on a Network of Multiprocessors. 147-158 BibTeX
Andrew Tucker, Anoop Gupta: Process Control and Scheduling Issues for Multiprogrammed Shared-Memory Multiprocessors. 159-166 BibTeX

Performance

Ronald E. Barkley, T. Paul Lee: A Lazy Buddy System Bounded by Two Coalescing Delays per Class. 167-176 BibTeX
Dan Duchamp: Analysis of Transaction Management Performance. 177-190 BibTeX
Henry Massalin, Calton Pu: Threads and Input/Output in the Synthesis Kernel. 191-201 BibTeX

Time-based Distributed Coherency

Cary G. Gray, David R. Cheriton: Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency. 202-210 BibTeX
Brett D. Fleisch, Gerald J. Popek: Mirage: A Coherent Distributed Shared Memory Design. 211-223 BibTeX