Operating Systems Review, Volume 24, 1990

Volume 24, Number 1, January 1990

Rajan G. Chandras: Distributed Message Passing Operating Systems. 7-17
Micha Hofri: Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example. 18-22
Peter B. Danzig, Stephen W. Melvin: High Resolution Timing with Low Resolution Clocks and A Microsecond Resolution Timer for Sun Workstations. 23-26
Özalp Babaoglu: Fault-Tolerant Computing Based on Mach. 27-39
Pankaj Jalote, Satish K. Tripathi: Final Report on Workshop on Integrated Approach for Fault Tolerance - Current State and Future Requirements. 40-57
Mark J. Lorence, Mahadev Satyanarayanan: IPwatch: A Tool for Monitoring Network Locality. 58-80

Charles Koelbel, Eugene H. Spafford, George Leach: Workshop on Experiences with Building Distributed and Multiprocessor Systems. 2-6
Christopher Burdorf, Jed Marti: Non-Preemptive Time Warp Scheduling Algorithms. 7-18
Andy Hopper: Pandora - An Experimental System for Multimedia Applications. 19-34
Dan M. Nessett: A Critique of the Burrows, Abadi and Needham Logic. 35-38
Michael Burrows, Martín Abadi, Roger M. Needham: Rejoinder to Nessett. 39-40
Bob Beck: AAMP: A Multiprocessor Approach for Operating System and Application Migration. 41-55
Roger Oliver: Protection in a Distributed Document Processing System. 56-65
Joseph W. Seigh: A Distributed Solution to the Reader-Writer Problem. 66-68

Luis-Felipe Cabrera: Technical Summary of the Second IEEE Workshop on Workstation Operating Systems. 7-21
Vadim G. Antonov: A Regular Architecture for Operating System. 22-39
Ming-Chit Tam, Jonathan M. Smith, David J. Farber: A Taxonomy-Based Comparison of Several Distributed Shared Memory Systems. 40-67
B. H. Tay, Akkihebbal L. Ananda: A Survey of Remote Procedure Calls. 68-79

Andrzej M. Goscinski, Mirion Bearman: Resource Management in Large Distributed Systems. 7-25
Chen Jun, Xie Li, Sun Zhongxiu: A Model for Intelligent Task Scheduling in a Large Distributed System. 26-33
Zhao Hong, Wayne McCoy: An Associated Object Model for Distributed Systems. 34-51
Frank W. Miller: Predictive Deadline Multi-Processing. 52-63
Don Davis, Ralph R. Swick: Network Security via Private-Key Certificates. 64-67
H. Ghosh, S. Sreedhar: A Comparative Study of two Simple Network File Access Models. 68-77
Tai-Kuo Woo: A Note on Lamport's Mutual Exclusion Algorithm. 78-80