Operating Systems Review, Volume 26, 1992

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:
  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]