An Operating Systems Vade Mecum

REFERENCESJ. E. ALLCHIN, M.S.MCKENDRY, AND W. C. THIBAULT, Clouds: A Testbed for Experimentation inDistributed Systems, Working Paper 3: Status Report, Georgia Institute of Technology, Atlanta(June 1982).G. R. ANDREWS AND F. B. SCHNEIDER, ‘‘Concepts and Notations for Concurrent Programming,’’ACM Computing Surveys 15(1) pp. 3-44 (March 1983).R. ATKINSON AND C. HEWITT, ‘‘Synchronization and Proof Techniques for Serializers,’’ IEEETransactions on Software Engineering 5(1) pp. 10-23 (January 1979).O. BABAOGLU AND W. JOY, ‘‘Converting a Swap-based System to do Paging in an ArchitectureLacking Page-referenced Bits,’’ Proceedings of the 8th Symposium on Operating Systems Principles,pp. 78-86 (December 1981).A. B. BARAK AND A. LITMAN, MOSES: An Integrated Multicomputer Distributed Operating System,DCL TR 82-05, Department of Computer Science, Hebrew University of Jerusalem (September1982).J. BARTLETT, ‘‘A NonStop Kernel,’’ Proceedings of the 8th Symposium on Operating SystemsPrinciples, pp. 22-29 (December 1981).L. L. BECK, System Software: An Introduction to Systems Programming, Reading, Mass.:Addison-Wesley (1985).L. A. BELADY, ‘‘A Study of Replacement Algorithms for a Virtual-storage Computer,’’ IBM SystemJournal 5(2) pp. 78-101 (1966).L. A. BELADY, R.A.NELSON, AND G. S. SHEDLER, ‘‘An Anomaly in Space-time Characteristics ofCertain Programs Running in a Paging Machine,’’ CACM 12(6) pp. 349-353 (June 1969).P. BERNSTEIN AND N. GOODMAN, ‘‘Concurrency Control in Distributed Database Systems,’’ ACMComputing Surveys 13(2) pp. 185-221 (June 1981).A. D. BIRRELL AND R. M. NEEDHAM, ‘‘A Universal File Server,’’ IEEE Transactions on SoftwareEngineering SE-6(5) pp. 450-453 (September 1980).A. D. BIRRELL AND B. J. NELSON, ‘‘Implementing Remote Procedure Calls,’’ ACM Transactions onComputer Systems 2(1) pp. 39-59 (February 1984).322