%A Michael Burrows %A Martin Abadi %A Roger Needham %T A Logic of Authentication %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 1-13 %K Security %A T. Mark A. Lomas %A Li Gong %A Jerome Saltzer %A Roger Needham %T Reducing Risks from Poorly Chosen Keys %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 14-18 %K Security %A William J. Bolosky %A Robert P. Fitzgerald %A Michael L. Scott %T Simple But Effective Techniques for NUMA Memory Management %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 19-31 %K NUMA Memory Management, non-uniform memory access, MACH, IBM ACE, %A Alan L. Cox %A Robert J. Fowler %T The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUM %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 32-44 %K NUMA Memory Management, non-uniform memory access, BBN Butterfly, %A V. Srinivasan %A Jeffery Mogul %T Spritely NFS: Experiments with Cache-Consistency Protocols %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 45-57 %K File Caching %A David A. Edwards %A Martin S. McKendry %T Exploiting Read-Mostly Workloads in the FileNet File System %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 58-70 %K File Caching %A Andrew Braulistein %A Mark Riley %A John Wilkes %T Improving the efficiency of UNlX file buffer caches %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 71-82 %K File Caching, XMF, %A Michael D. Schroeder %A Michael Burrows %T Performance of Firefly RPC %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 83-90 %K Remote Procedure Call, %A Norman C. Hutchinson %A Larry L. Peterson %A Mark B. Abbott %A Sean O'Malley %T RPC in the x-Kernel: Evaluating New Design Techniques %P 91-101 %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %K Remote Procedure Call %A Brian N. Bershad %A Thomas E. Anderson %A Edward D. Lazowska %A Henry M. Levy %T Lightweight Remote Procedure Call %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 102-113 %K Remote Procedure Call, RPC, %A Mark Weiser %A Alan Demers %A Carl Hauser %T The Portable Common Runtime Approach to Interoperability %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 114-122 %K Structural Issues %A Vadim Abrossimov %A Marc Rozier %A Marc Shapiro %T Generic Virtual Memory Management for Operating System Kernels %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 123-136 %K Structural Issues %A Brian Rosenburg %Z IBM %T Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 137-146 %K Multiprocessors %A Jeffery S. Chase %A Franz G. Amador %A Edward D. Lazowska %A Henry M. Levy %A Richard J. Littlefield %T The Amber System: Parallel Programming on a Network of Multiprocessors %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 147-158 %K Multiprocessors %A Andrew Tucker %A Anoop Gupta %T Process Control and Scheduling Issues for Multiprogrammed Shared-Memory Multiprocessors %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 159-166 %K Multiprocessors %A R. Barkley %A T. Paul Lee %T A Lazy Buddy System Bounded by Two Coalescing Delays %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 167-176 %K Performance %A Dan Duchamp %T Analysis of Transaction Management Performance %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 177-190 %K Performance %A Henry Massalin %A Carlton Pu %T Threads and Input/Output in the Synthesis Kernel %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 191-201 %K Performance %A Cary G. Gray %A David R. Cheriton %Z Stanford U. %T Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 202-210 %K Time-based Distributed Coherency %A Brett D. Fleisch %A Gerald J. Popek %Z UCLA %T Mirage: A Coherent Distributed Shared Memory Design %J Proc. Twelfth ACM Symposium on Operating Systems, Operating Systems Review %V 23 %N 5 %D December 1989 %P 211-223 %K Time-based Distributed Coherency