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.
- 1 Agrawala, A.K. and Rauscher, T.G., Foundations of microprogramming, Academic Press, Inc. (1976).Google Scholar
- 2 Birman, A. and Joyner Jr., W.H. "A problem-reduction approach to proving simulation between programs", IEEE Transactions on software engineering. Volume SE-2, number 2, pp. 87-96. (1976)Google Scholar
Digital Library
- 3 CAL DATA 100 Engine, Technical Manual (C21518008-X0)Google Scholar
- 3.1 CAL DATA 135 Emulate Board, Technical Manual (C2158007-X2)Google Scholar
- 3.2 CAL DATA 1 Macrobus Channel Adapter Theory of Operation (C21518030-X0) California Data Processors (1975)Google Scholar
- 4 Cook, R.W. and Flynn, M.J., "System design of a dynamic microprocessor", IEEE Transactions on Computers, Volume C-19, number 3, pp. 213-222 (1970).Google Scholar
- 5 Guha, R.K. and Ebeling, C., "Design of a user microprogramming support system". To appear in the proceedings to the fifteenth IEEE Computer Society International Conference (1977).Google Scholar
- 6 Howden, W.E., "Methodology for the generation of program test data", IEEE Transactions on computers, volume C24, number 5, pp. 554-559 (1975).Google Scholar
Digital Library
- 7 Joyner Jr., W.H., Carter, W.C. and Leeman, G.B. Automated proofs of microprogram correctness, SIG Micro Newsletter (Micro 9) volume 7, number 3 (September 1976), pp. 51-55. Google Scholar
Digital Library
- 8 Leeman Jr., G.B., "Some problems in certifying microprograms", IEEE Transactions on computers, volume C24, number 5, pp. 545-553 (1975).Google Scholar
Digital Library
- 9 Mallett, P.W. and Lewis, T.G., "Approaches to design of high level languages for microprogramming" Micro 7 preprints, pp. 66-73 (1974). Google Scholar
Digital Library
- 10 Milner, R., "An algebraic definition of simulation between programs"3 Proceedings of the Second International Conference on Artificial Intelligence, London (September 1971), pp. 481-489.Google Scholar
- 11 Ritchie, Dennis M., "The UNIX Time sharing System", Communication of the ACM, volume 17 number 7 (July 1974), pp. 265-275. Google Scholar
Digital Library
- 12 Thomas, R.T., "The development of user microprogramming: A survey and status report", MICRO 7, pp. 212-216 (1974). Google Scholar
Digital Library
- 13 Tucker, A.B. and Flynn, M.J., "Dynamic microprogramming: Process organization and programming", CACM volume 14, number 4, pp. 240-250 (1971). Google Scholar
Digital Library
- 14 Wegner, P., "The Vienna Definition Language", ACM Computing Surveys, volume 4, number 1, pp. 5-63 (1972). Google Scholar
Digital Library
- 15 Richards, M., "BCPL: A tool for compiler writing and system programming" Proceedings AFIPS 1969 SJCC, volume 34, pp. 557-566.Google Scholar
Index Terms
Dynamic microprogramming in a time sharing environment
Recommendations
Dynamic microprogramming in a time sharing environment
MICRO 10: Proceedings of the 10th annual workshop on MicroprogrammingIn 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 ...
Ideal Secret Sharing Schemes with Share Selectability
Information and Communications SecurityAbstractIn this paper, we investigate a new concept, called share selectable secret sharing, where no unauthorized set can obtain information of the secret (in the information-theoretic sense) even if shares are selectable as arbitrary values which are ...






Comments