Volume 26, Number 1, January 1992

SOSP 1991: Panel Session Presentations

• 
  Edward D. Lazowska: SOSP 1991 Panel Session Presentations: Introduction. 3
• 
  Jim Gray: Increasing the Effectiveness of OS Research. 4-5
• 
  David K. Gifford: Five Forces Shaping Experimental Computer Science. 6
• 
  John K. Ousterhout: Push Technology, Not Abstractions. 7-11
• 
  Michael D. Schroeder: How Can We Make Operating Systems Research More Effective? 12
• 
  Mark Weiser: Some Thoughts On Experimental Computer Science. 13-17

Other Contributions

• 
  Barton P. Miller, Charles E. McDowell: Summary of ACM/ONR Workshop on Parallel and Distributed Debugging. 18-31
• 
  Mahmoud Dasser: TOMP: A Total Ordering Multicast Protocol. 32-40
• 
  Michel Raynal: About Logical Clocks for Distributed Systems. 41-48
• 
  Li Gong: A Security Risk of Depending on Synchronized Clocks. 49-53
• 
  Karsten Schwan, Hongyi Zhou, Ahmed Gheith: Multiprocessor Real-Time Threads. 54-65
• 
  Zhao Hong, Huatian Li: A Mechanism of Process Group for Application Reliability in Distributed Systems. 66-77
• 
  Sibsankar Haldar, K. Vidyasankar: Counteraxamples to a One Writer Multireader Atomic Variable Construction of Burns and Peterson. 78-88

Volume 26, Number 2, April 1992

SOSP 1991: "Work in Progress" Abstracts

• 
  Edward D. Lazowska: SOSP 1991 "Work in Progress" Abstracts: Introduction. 7
• 
  Henry Massalin, Calton Pu: A Lock-Free Multiprocessor OS Kernel (Abstract). 8
• 
  Jeffrey S. Chase, Miche Baker-Harvey, Henry M. Levy, Edward D. Lazowska: Opal: A Single Address Space System for 64-Bit Architectures (Abstract). 9
• 
  Dan Duchamp: Systems Software for Wireless Mobil Computing (Abstract). 10
• 
  John Wilkes, Chia Chao, Robert English, David Jacobson, Bart Sears, Carl Staelin, Alexander A. Stepanov: DataMesh Parallel Storage Servers (Abstract). 11
• 
  Maurice Herlihy: A Methodology for Implementing Highly Concurrent Data Objects (Abstract). 12
• 
  Richard P. LaRowe Jr.: Operating Systems Research Related to the Galactica Net Architecture (Abstract). 13
• 
  Joseph Pasquale: Project Sequoia 2000 (Abstract). 14
• 
  Cheryl A. Wiecek: VMS on Mach (Abstract). 15
• 
  Kevin Jeffay: Network and Operating System Support for Digital Audio and Video (Abstract). 16
• 
  B. Clifford Neuman: The Virtual System Project (Abstract). 17
• 
  Bruce Hillyer, Bethany S. Robinson: The BBFS Filesystem Model (Abstract). 18
• 
  Kieran Harty, David R. Cheriton: Application-Controlled Physical Memory using External Page-Cache Management (Abstract). 19
• 
  Michael Wayne Young: Episode: Lazy Transactions for Filesystem Meta-Data Updates (Abstract). 20
• 
  Michael B. Jones: A Toolkit for Interposing User Code at the System Interface (Abstract). 21
• 
  Peter Druschel: Modularity and Protection are Orthogonal, or "Why µ-kernel Architectures are Flawed" (Abstract). 22
• 
  Keith Marzullo: A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract). 23
• 
  William E. Weihl: Prelude: Tools for Building Portable Parallel Programs (Abstract). 24
• 
  Sharon E. Perl: Performance Assertion Checking (Abstract). 25
• 
  Richard G. Guy, John S. Heidemann, Thomas W. Page Jr., Gerald J. Popek: The Ficus Replicated File System (Abstract). 26
• 
  Michael K. Reiter: Integrating Security in a Group Oriented Distributed System (Abstract). 27
• 
  Jonathan Walpole, Richard Staehli: Supporting Access to Stored Multimedia Data in Large Distributed Systems (Abstract). 28
• 
  M. Frans Kaashoek, Robbert van Renesse, Hans van Staveren, Andrew S. Tanenbaum: FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract). 29
• 
  Ross S. Finlayson: Structuring and Communication in the Vanguard OS Kernel (Abstract). 30
• 
  Robbert van Renesse: Design and Implementation of a Multicast Transport Service (Abstract). 31

Other Contributions

• 
  Ralf Guido Herrtwich: Summary of the Second International Workshop on Network and Operating System Support for Digital Audio and Video. 32-59
• 
  Rex E. Gantenbein: An Annotated Bibliography of Dependable Distributed Computing. 60-81
• 
  Cui-Qing Yang: Distributed Computing In A NUMP (Non-Uniform Message-Passing) Environment. 82-91
• 
  Akkihebbal L. Ananda, B. H. Tay, E. K. Koh: A Survey of Asynchronous Remote Procedure Calls. 92-109
• 
  S. Davari, Lui Sha: Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions. 110-120

Volume 26, Number 3, July 1992

• 
  R. Ananthanarayanan, Sathis Menon, Ajay Mohindra: Experiences in Integrating Distributed Shared Memory with Virtual Memory Management. 4-26
• 
  Greg O'Shea: Redundant Rights in Protection Systems. 27-30
• 
  Ralph C. Hilzer Jr.: Synchronization of the Producer/Consumer Problem using Semaphores, Monitors, and the Ada Rendezvous. 31-39

Volume 26, Number 4, October 1992

• 
  Frank W. Miller: The Performance of a Mixed Priority Real-Time Scheduling Algorithm. 5-13
• 
  Jon Inouye, Ravindranath Konuru, Jonathan Walpole, Bart Sears: The Effects of Virtually Addressed Caches on Virtual Memory Design and Performance. 14-29
• 
  Uwe M. Borghoff: Design of Optimal Distributed File Systems: A Framework for Research. 30-61
• 
  Jiannong Cao, K. C. Wang: An Abstract Model of Rollback Recovery Control in Distributed Systems. 62-76
• 
  Gerard Florin, Christian Toinard: A New Way to Design Causally and Totally Ordered Multicast Protocols. 77-83
• 
  A. Kehne, Jürgen Schönwälder, Horst Langendörfer: A Nonce-Based Protocol For Multiple Authentications. 84-89
• 
  James D. Mooney: The CTRON Approach to Operating System Support for Software Portability. 90-97
• 
  Michael Kifer, Scott A. Smolka: OSP: An Environment for Operating System Projects. 98-100

Volume 26, Special Issue, October 1992

• 
  Barry Flahive, Richard L. Wexelblat (Eds.): ASPLOS-V Proceedings - Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, Massachusetts, USA, October 12-15, 1992. ACM Press 1992 ISBN 0-89791-534-8 [ contents ]