{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:10:25Z","timestamp":1736640625829,"version":"3.32.0"},"reference-count":39,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":11806,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1974,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>As part of its effort to periodically investigate various new promising concepts and techniques, the Digital Equipment Corporation had sponsored a research project whose purpose it was to effect a limited exploratory implementation of a novel protective operating system framework, based on the kernel\/domain architecture.<\/jats:p><jats:p>The project was carried out in 1972, and its successful completion led to a number of observations and insights. This paper concentrates on the technological solutions which were developed for the translation of a theoretical model on to commercially available hardware (the DEC PDP\u201011\/45 minicomputer); specifically, the storage mapping technique and the intermodule call\/return mechanism.<\/jats:p><jats:p>We believe that we have made two contributions to the state of the art: firstly the identification of the doman's storage mapping properties which are expected to have an impact on the definition of storage class semantics for higher level programming languages to be developed for the domain environment, and secondly the development of a comprehensive intermodule communication mechanism combining all presently known forms of procedure activation within a single functional framework.<\/jats:p>","DOI":"10.1002\/spe.4380040304","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T13:40:57Z","timestamp":1163770857000},"page":"215-230","source":"Crossref","is-referenced-by-count":7,"title":["A storage mapping technique for the implementation of protective domains"],"prefix":"10.1002","volume":"4","author":[{"given":"Michael J.","family":"Spier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas N.","family":"Hastings","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David N.","family":"Cutler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"crossref","unstructured":"M. J.Spier T. N.HastingsandD. N.Cutler \u2018An experimental implementation of the kernel\/domain architecture\u2019 Proc. 4th ACM Symp. Operating System Principles Yorktown Heights N. Y. 8\u201321(1973).","DOI":"10.1145\/800009.808043"},{"key":"e_1_2_1_3_2","unstructured":"M. J.Spier \u2018The experimental implementation of a comprehensive intermodule communication facility\u2019 Proc. 1973 Sagamore Conf. Parallel Processing IEEE Catalog No. 73 CH0812\u20138C 1973 p.89."},{"key":"e_1_2_1_4_2","unstructured":"P.NaurandB.Randell(Ed.) 1968NATO Conference Report NATO Scientific Affairs Division Brussels 39 Belgium."},{"key":"e_1_2_1_5_2","unstructured":"J. N.BuxtonandB.Randell(Ed.) 1969NATO Conference Report NATO Scientific Affairs Division Brussels 39 Belgium."},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"R. S.Barton \u2018A critical view of the state of the programming art\u2019 Proc. 1963 SJCC 169\u2013177(1963).","DOI":"10.1145\/1461551.1461574"},{"key":"e_1_2_1_7_2","unstructured":"M. J.Spier \u2018A pragmatic proposal for the improvement of program modularity and correctness\u2019 submitted for publication Int. J. Comput. Information Sci."},{"key":"e_1_2_1_8_2","doi-asserted-by":"crossref","unstructured":"E. W.Dijkstra \u2018The structure of the \u201cTHE\u201d multiprogramming system\u2019 Comm. ACM 341\u2013346(1968).","DOI":"10.1145\/363095.363143"},{"key":"e_1_2_1_9_2","unstructured":"E. W.Dijkstra \u2018Complexity controlled by hierarchial ordering of function and variability\u2019 Proc. NATO Conf. (N1) 181\u2013185(1968)."},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289519"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/356599.356602"},{"issue":"12","key":"e_1_2_1_12_2","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","article-title":"On the criteria to be used in decomposing systems into modules","volume":"15","author":"Parnas D. L.","year":"1972","journal-title":"Comm. ACM"},{"key":"e_1_2_1_13_2","unstructured":"P.Wegner Structured Programming Program Synthesis and Semantic Definition Center for Computer and Information Science Brown University TR\u201372\u201363 1972."},{"key":"e_1_2_1_14_2","first-page":"243","volume-title":"Proc. Online 72","author":"Spier M. J.","year":"1972"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00986123"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380010103"},{"key":"e_1_2_1_17_2","doi-asserted-by":"crossref","unstructured":"P. J.Denning \u2018The working set model for program behaviour\u2019 Comm. ACM 323\u2013333(1968).","DOI":"10.1145\/363095.363141"},{"key":"e_1_2_1_18_2","doi-asserted-by":"crossref","unstructured":"G. D.Bobrow \u2018TENEX a paged time sharing system for the PDP\u201010\u2019 Comm. ACM 135\u2013143(1972).","DOI":"10.1145\/361268.361271"},{"key":"e_1_2_1_19_2","first-page":"23","article-title":"Address mapping and the control of access in an interactive computer","volume":"30","author":"Evans D. C.","year":"1967","journal-title":"Proc. 1967 SJCC"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1973.5009130"},{"key":"e_1_2_1_22_2","unstructured":"G. S.GrahamandP. J.Denning \u2018Protection\u2014principles and practice\u2019 Proc. 1972 SJCC 417\u2013429(1972)."},{"key":"e_1_2_1_23_2","doi-asserted-by":"crossref","unstructured":"L. J.Hoffman \u2018The formulary model for flexible privacy and access control\u2019 Proc. FJCC 587\u2013601(1971).","DOI":"10.1145\/1479064.1479168"},{"key":"e_1_2_1_24_2","unstructured":"B. W.Lampson \u2018Protection\u2019 Proc. 5th Princeton Conf. Information Sciences and Systems 437\u2013443(1971)."},{"key":"e_1_2_1_25_2","unstructured":"M. D.Schroeder Cooperation of Mutually Suspicious Subsystems in a Computer Utility M. I. T. Ph. D. Dissertation Project MAC TR\u2013104 1972."},{"key":"e_1_2_1_26_2","unstructured":"D. H.Vanderbilt Controlled Information Sharing in a Computer Utility M. I. T. Ph. D. Dissertation Project MAC TR\u201367 1969."},{"key":"e_1_2_1_27_2","unstructured":"W. S.Wulf HYDRA: A Kernel Operating System for C. mmp; External Specifications Department of Computer Science Carnegie Mellon University 1971 internal preliminary notes unpublished."},{"key":"e_1_2_1_28_2","doi-asserted-by":"crossref","unstructured":"J. B.Dennis \u2018A position paper on computing and communications\u2019 Proc. 1st ACM Symp. Operating System Principles Gatlinburg 1967.","DOI":"10.1145\/800001.811671"},{"key":"e_1_2_1_29_2","unstructured":"R. M.Fano \u2018The computer utility and the community\u2019 IEEE Int. Convention Record Part 12 30\u201337(1967)."},{"key":"e_1_2_1_30_2","doi-asserted-by":"crossref","unstructured":"R. M.Graham \u2018Protection in an information processing utility\u2019 Comm. ACM 365\u2013369(1968).","DOI":"10.1145\/363095.363146"},{"volume-title":"The Multics System: An Examination of its Structure","year":"1972","author":"Organick E. I.","key":"e_1_2_1_31_2"},{"key":"e_1_2_1_32_2","doi-asserted-by":"crossref","unstructured":"M. D.SchroederandJ. H.Saltzer \u2018A hardware architecture for implementing protection rings\u2019 Comm. ACM 157\u2013170(1972).","DOI":"10.1145\/361268.361275"},{"key":"e_1_2_1_33_2","unstructured":"M. J.Spier \u2018Process communication prerequisites or the IPC\u2010Setup revisited\u2019 Proc. 1973 Sagamore Conf. Parallel Processing IEEE Catalog No. 73 CH0812\u20138C 1973."},{"key":"e_1_2_1_34_2","doi-asserted-by":"crossref","unstructured":"A. N.Habermann \u2018Prevention of system deadlocks\u2019 Comm. ACM 373\u2013377(1969).","DOI":"10.1145\/363156.363160"},{"key":"e_1_2_1_35_2","doi-asserted-by":"crossref","unstructured":"J. B.Johnson \u2018Structure of multiple activity algorithms\u2019 Proc. 2nd ACM Symp. Operating System Principles Princeton University 1969 pp.80\u201382.","DOI":"10.1145\/961053.961084"},{"key":"e_1_2_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/321296.321310"},{"issue":"6","key":"e_1_2_1_37_2","first-page":"68","article-title":"PL\/1 as a tool for system programming","volume":"15","author":"Corbato F. J.","year":"1969","journal-title":"Datamation"},{"key":"e_1_2_1_38_2","unstructured":"PL\/1 Language Specifications ECMA. TC10\/ANSIX3J1 PL\/1 Basis\/1 1972."},{"volume-title":"PDP\u201011\/45 Processor Handbook","year":"1971","key":"e_1_2_1_39_2"},{"key":"e_1_2_1_40_2","doi-asserted-by":"crossref","unstructured":"M. J.SpierandE. I.Organick \u2018The multics interprocess communication facility\u2019 Proc. 2nd ACM Symp. Operating System Principles Princeton University 1969 pp.83\u201391.","DOI":"10.1145\/961053.961086"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380040304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380040304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:47:49Z","timestamp":1736639269000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380040304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,7]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1974,7]]}},"alternative-id":["10.1002\/spe.4380040304"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380040304","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"type":"print","value":"0038-0644"},{"type":"electronic","value":"1097-024X"}],"subject":[],"published":{"date-parts":[[1974,7]]}}}