An Operating Systems Vade Mecum

324 ReferencesR. FINKEL, M.SOLOMON, D.DEWITT, AND L. LANDWEBER, The Charlotte Distributed OperatingSystem: Part IV of the First Report on the Crystal Project, Computer Sciences Technical Report502, University of Wisconsin—Madison (July 1983).C. N. FISCHER ET AL., ‘‘The POE Language-Based Editor Project,’’ ACM Sigsoft/Sigplan Symposiumon Practical Software Development Environments, (April 1984).M. FRIDRICH AND W. OLDER, ‘‘The Felix File Server,’’ Proceedings of the 8th Symposium onOperating Systems Principles, pp. 37-44 (December 1981).S. H. FULLER, ‘‘Minimal Total Processing Time Drum and Disk Scheduling Disciplines,’’ CACM17(7) pp. 376-381 (July 1974).D. K. GIFFORD, ‘‘Cryptographic Sealing for Information Secrecy and Authentication,’’ CACM25(4) pp. 274-286 (April 1982).R. P. GOLDBERG,, ‘‘Survey of Virtual Machine Research,’’ Computer, (June 1974).M. GOOD, ‘‘Etude and the Folklore of User Interface Design,’’ Proceedings of the ACM SIGPLANSIGOA Symposium on Text Manipulation, SIGPLAN Notices 16(6) pp. 34-43 (June 1981).J. GRAY, ‘‘Notes on Database Operating Systems,’’ in Operating systems: An advanced course,Berlin: Springer-Verlag (1979).A. N. HABERMANN, Introduction to Operating System Design, Chicago: Science Research Associates,Inc. (1976).B. HADDON, ‘‘Nested Monitor Calls,’’ Operating systems review 11(10) pp. 18-23 (October 1977).P. G. HEBALKAR, ‘‘Coordinated Sharing of Resources in Asynchronous Systems,’’ Record of theProject MAC Conference on Concurrent Systems and Parallel Computation, pp. 151-168 (June1970).M. C. HEMINWAY AND ED., Datapro 70: The EDP Buyer’s Bible, Delvan, N.J.: Datapro ResearchCorp. (1986).C. A. R. HOARE, ‘‘Towards a Theory of Parallel Programming,’’ pp. 61-71 in Operating SystemsTechniques, ed. C. A. R. Hoare and R. H. Perrott, , London: Academic Press (1972).C. A. R. HOARE, ‘‘Monitors: An Operating System Structuring Concept,’’ CACM 17(10) pp. 549-557 (October 1974).R. C. HOLT, ‘‘Comments on Prevention of System Deadlocks,’’ CACM 14(1) pp. 36-38 (January1971).R. C. HOLT, ‘‘Some Deadlock Properties of Computer Systems,’’ Computing Surveys 4(3) pp.179-196 (September 1972).F. HORN AND M. HONDA, Personal Communication (1977).J. H. HOWARD, ‘‘Signaling in Monitors,’’ Proceedings of the 2nd International Conference onSoftware Engineering, pp. 47-52 (October 1976).K. JENSEN AND N. WIRTH, ‘‘Pascal: User Manual and Report,’’ Lecture Notes in Computer Science18 Berlin: Springer-Verlag, (1974).A. K. JONES ET AL., ‘‘StarOS: A Multiprocessor Operating System for the Support of Task Forces,’’Proceedings of the 7th Symposium on Operating Systems Principles, pp. 117-127 (December1979).L. J. KENAH AND S. F. BATE, VAX/VMS Internals and Data Structures, Digital Press (1984).J. H. KEPECS AND M. H. SOLOMON, ‘‘SODA: A Simplified Operating System for DistributedApplications,’’ Proceedings of the Third Annual ACM SIGACT-SIGOPS Symposium on Principlesof Distributed Computing, (August 1984).B. W. KERNIGHAN AND R. PIKE, The Unix Programming Environment, Englewood Cliffs, N.J.:Prentice-Hall (1984).L. KLEINROCK, Queueing Systems, Vol. 2: Computer Applications, New York: Wiley (1976).