An Operating Systems Vade Mecum

326 ReferencesG. L. PETERSON, ‘‘Myths about the Mutual Exclusion Problem,’’ Information Processing Letters12(3) pp. 115-116 (June 1981).J. L. PETERSON AND A. SILBERSCHATZ, Operating System Concepts, Reading, Mass.: Addison-Wesley (2nd ed.) (1985).F. POLLACK, K.KAHN, AND R. WILKINSON, ‘‘The iMAX-432 Object Filing System,’’ Proceedingsof the 8th Symposium on Operating Systems Principles, pp. 137-147 (December 1981).G. J. POPEK AND C. S. KLINE, ‘‘The PDP-11 Virtual Machine Architecture, A Case Study,’’Proceedings of the 5th Symposium on Operating Systems Principles, (November 1975).G. J. POPEK ET AL., ‘‘LOCUS: A Network Transparent, High Reliability Distributed Sytem,’’Proceedings of the 8th Symposium on Operating Systems Principles, pp. 169-177 (December1981).M. L. POWELL, ‘‘The Demos File System,’’ Proceedings of the 6th Symposium on Operating SystemsPrinciples, pp. 33-42 (December 1977).R. RASHID AND G. ROBERTSON, ‘‘Accent: A Communication Oriented Network Operating SystemKernel,’’ Proceedings of the 8th Symposium on Operating Systems Principles, pp. 64-75(December 1981).D. D. REDELL ET AL., ‘‘Pilot: An Operating System for a Personal Computer,’’ CACM 23(2) pp.81-92 (February 1980).D. P. REED AND R. K. KANODIA, ‘‘Synchronization with Eventcounts and Sequencers,’’ CACM22(2) pp. 115-123 (February 1979).P. ROBERT AND J. P. VERJUS, ‘‘Toward Autonomous Descriptions of Synchronization Modules,’’pp. 981-986 in Information Processing 77, ed. B. Gilchrist, (proceedings of the 1977 IFIPcongress, Toronto, August 1977) New York: Elsevier−North Holland (1977).D. E. ROSSI AND R. O. FONTAO, ‘‘A Parallel Algorithm for Deadlock-free Resource Allocation,’’Revista Telegrafica Electronica (Argentina)., (824) pp. 1062-1068 (November 1981).M. SATYANARAYANAN, ‘‘A Study of File Sizes and Functional Lifetimes,’’ Proceedings of the 8thSymposium on Operating Systems Principles, pp. 96-108 (December 1981).C. H. SAUER AND K. M. CHANDY, Computer Systems Performance Modeling, Englewood Cliffs,N.J.: Prentice-Hall (1981).M. L. SCOTT, A Framework for the Evaluation of High-Level Languages for Distributed Computing,Computer Sciences Technical Report 563, University of Wisconsin−Madison (October1984).M. L. SCOTT, Design and Implementation of a Distributed Systems Language, Ph. D. Thesis,Technical Report 596, University of Wisconsin−Madison (May 1985).A. C. SHAW, The Logical Design of Operating Systems, Englewood Cliffs, N.J.: Prentice-Hall(1974).B. SHNEIDERMAN, ‘‘Response Time and Display Rate in Human Performance with Computers,’’ACM Computing Surveys 16(3) pp. 265-285 (September 1984).J. E. SHORE, ‘‘On the External Storage Fragmentation Produced by First Fit and Best Fit AllocationPolicies,’’ CACM 18(8) p. 433 (1975).A. SHOSHANI AND E. G. COFFMAN, ‘‘Sequencing Tasks in Multiprocess Systems to AvoidDeadlocks,’’ IEEE Conference record of the 11th Annual Symposium on Switching and AutomataTheory, pp. 225-235 (October 1970).W. D. SINCOSKIE AND D. J. FARBER, ‘‘SODS/OS: A Distributed Operating System for the IBMSeries/1,’’ Operating Systems Review 14(3) pp. 46-54 (July 1980).A. J. SMITH, ‘‘Bibliography on Paging and Related Topics,’’ Operating Systems Review 12(4) pp.39-56 (October 1978).M. H. SOLOMON AND R. A. FINKEL, ‘‘ROSCOE: A Multi-Microcomputer Operating System,’’Proceedings of the 2nd Rocky Mountain Symposium on Microcomputers, pp. 291-310 (August1978).