Dynamic microprogramming in a time sharing environment
- 1 September 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMICRO Newsletter
- Vol. 8 (3) , 55-60
- https://doi.org/10.1145/1014196.803316
Abstract
In this paper, we present the system design and implementation of a very flexible dynamic microprogramming support system in a time sharing environment. The system has been implemented under the UNIX time sharing operating system on the user microprogrammable computer CAL DATA 135. The system allows the user to write, assemble, test and debug a microprogram very easily in a multiuser environment. Since the user has access to the internals of the computer, reliability and integrity of the computer system become the primary concern. So when a microprogram is written either it is simulated or it goes through a certification procedure with the help of the user and the system. To ensure the reliability and integrity of the system, the certification procedure becomes a necessity. Once a microprogram is certified, a copy of the program is kept in the system so that it can be used by anyone (if the user wants to share). Thus anyone can take advantage of any of the existing microprograms in the system.Keywords
This publication has 11 references indexed in Scilit:
- A Problem-Reduction Approach to Proving Simulation Between ProgramsIEEE Transactions on Software Engineering, 1976
- Automated proofs of microprogram correctnessPublished by Association for Computing Machinery (ACM) ,1976
- APPLICATIONS OF MICROPROGRAMMINGPublished by Elsevier ,1976
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- Some Problems in Certifying MicroprogramsIEEE Transactions on Computers, 1975
- The UNIX time-sharing systemCommunications of the ACM, 1974
- The development of user microprogrammingPublished by Association for Computing Machinery (ACM) ,1974
- The Vienna Definition LanguageACM Computing Surveys, 1972
- Dynamic microprogrammingCommunications of the ACM, 1971
- BCPLPublished by Association for Computing Machinery (ACM) ,1969