skip to main content
article
Free Access

Dynamic microprogramming in a time sharing environment

Published:01 September 1977Publication History
Skip Abstract Section

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.

References

  1. 1 Agrawala, A.K. and Rauscher, T.G., Foundations of microprogramming, Academic Press, Inc. (1976).Google ScholarGoogle Scholar
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 CAL DATA 100 Engine, Technical Manual (C21518008-X0)Google ScholarGoogle Scholar
  4. 3.1 CAL DATA 135 Emulate Board, Technical Manual (C2158007-X2)Google ScholarGoogle Scholar
  5. 3.2 CAL DATA 1 Macrobus Channel Adapter Theory of Operation (C21518030-X0) California Data Processors (1975)Google ScholarGoogle Scholar
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle Scholar
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 8 Leeman Jr., G.B., "Some problems in certifying microprograms", IEEE Transactions on computers, volume C24, number 5, pp. 545-553 (1975).Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle Scholar
  13. 11 Ritchie, Dennis M., "The UNIX Time sharing System", Communication of the ACM, volume 17 number 7 (July 1974), pp. 265-275. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 12 Thomas, R.T., "The development of user microprogramming: A survey and status report", MICRO 7, pp. 212-216 (1974). Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 13 Tucker, A.B. and Flynn, M.J., "Dynamic microprogramming: Process organization and programming", CACM volume 14, number 4, pp. 240-250 (1971). Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 14 Wegner, P., "The Vienna Definition Language", ACM Computing Surveys, volume 4, number 1, pp. 5-63 (1972). Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 15 Richards, M., "BCPL: A tool for compiler writing and system programming" Proceedings AFIPS 1969 SJCC, volume 34, pp. 557-566.Google ScholarGoogle Scholar

Index Terms

  1. Dynamic microprogramming in a time sharing environment

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!