Operating Systems Review, Volume 19, 1985

Volume 19, Number 1, January 1985

David C. M. Wood: Book review: VAX/VMS Internals and Data Structures by Lawrence J. Kenah and Simon F. Bate. 5 BibTeX
Michael Stonebraker, Deborah DuBourdieux, William Edwards: Problems in Supporting Data Base Transactions in an Operating System Transaction Manager. 6-14 BibTeX
Anna Hac: Distributed File Systems - A Survey. 15-18 BibTeX
William E. Weihl: Data-dependent Concurrency Control and Recovery. 19-31 BibTeX
James E. Allchin, Martin S. McKendry: Synchronization and Recovery of Actions. 32-45 BibTeX
Arun Lakhotia: Implication and Equivalence I/O. 46-52 BibTeX
Kamaljit Singh: On Improvements to Password Security. 53-60 BibTeX

Liba Svobodova: Workshop Summary: Operating Systems in Computer Networks, January 28-30, 1985, Rüschlikon, Switzerland. 6-39 BibTeX
C. Mohan, Bruce G. Lindsay: Efficient Commit Protocols for the Tree of Process Model of Distributed Transactions. 40-52 BibTeX
Nissim Francez, Brent Hailpern: Script: A Communication Abstraction Mechanism. 53-67 BibTeX

C. K. Yuen: On Programs, Tasks and Processes. 7-8 BibTeX
Keith Loepere: Resolving Covert Channels within a B2 Class Secure System. 9-28 BibTeX
C. Mohan, H. Raymond Strong, Sheldon J. Finkelstein: Method for Distributed Transaction Commit and Recovery Using Byzantine Agreement Within Clusters of Processors. 29-43 BibTeX
Keith Marzullo, Susan S. Owicki: Maintaining the Time in a Distributed System. 44-54 BibTeX
Lindsey L. Spratt: The Transaction Resolution Journal: Extending the Before Journal. 55-62 BibTeX

David R. Cheriton, Andrew Birrell: Report of the Program Committee for the 10th SOSP. 2-4 BibTeX
Bruce K. Hadon: Book Review: Information Systems Design Methodologies: A Feature Analysis Proceedings of the IFIP WG 81.1 Working Conference on Feature Analysis of Information Systems Design Methodologies, York, 1983. 4-5 BibTeX
Norman Hardy: KeyKOS Architecture. 8-25 BibTeX
David R. Cheriton: Preliminary Thoughts on Problem-oriented Shared Memory: A Decentralized Approach to Distributed Systems. 26-33 BibTeX
Leslie Lamport: Solved Problems, Unsolved Problems and Non-Problems in Concurrency. 34-44 BibTeX
Jonathan Kepecs, Marvin H. Solomon: SODA: A Simplified Operating System for Distributed Applications. 45-56 BibTeX

Proceedings of the Tenth ACM Symposium on Operating System Principles, 1-4 December 1985, Orcas Island. Washington, USA, ACM, New York, ISBN 0-89791-174-1
Contents