Dynamic Restructuring in an Experimental Operating System
- 1 July 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-4 (4), 298-307
- https://doi.org/10.1109/tse.1978.231515
Abstract
A well-structured system can easily be understood and modified. Moreover, it may lend itself even to dynamic modification: under special conditions, the possibility of changing system parts while the system is running can be provided at little additional cost. Our approach to the design of dynamically modifiable systems is based on the principle of data abstraction applied to types and modules. It allows for dynamic replacement or restructuring of a module's implementation if this does not affect its specification (or if it leads to some kdnd of compatible specification). The fundamental principles of such "replugging" are exhibited, and the implementation of a replugging facility for an experimental operating system on a PDP-11/40E is described.Keywords
This publication has 11 references indexed in Scilit:
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Modula: A language for modular multiprogrammingSoftware: Practice and Experience, 1977
- Early experience with MesaPublished by Association for Computing Machinery (ACM) ,1977
- Design and Specification of the Minimal Subset of an Operating System FamilyIEEE Transactions on Software Engineering, 1976
- Modularization and hierarchy in a family of operating systemsCommunications of the ACM, 1976
- Visibility and typesPublished by Association for Computing Machinery (ACM) ,1976
- Abstract types defined as classes of variablesPublished by Association for Computing Machinery (ACM) ,1976
- Research directions in abstract data structuresPublished by Association for Computing Machinery (ACM) ,1976
- A storage mapping technique for the implementation of protective domainsSoftware: Practice and Experience, 1974
- On the Criteria to Be Used in Decomposing Systems into ModulesPublished by Springer Science and Business Media LLC ,1972