Transparent microprogramming in support of abstract type oriented dynamic vertical migration

ABSTRACT

Migration of functionality into microcode for the purposes of performance improvement and increased security may be oriented toward the migration of abstract data types. This provides a model of migration consistent with current models of machine architecture. An advantage is that information in making migration decisions can be drawn from the programmer's model of his problem as encapsulated in the data types in the program. In addition, the migration can be sensitive to changes in type visibility in various execution environments of the program. The paper discusses language aspects of abstract type oriented migration (ATOM) and details a working prototype implementation. Ada is used as the source language in the description of ATOM but C is used in the prototype.

References

1. 1.T. G. Rauscher and A. K. Agrawala, "Dynamic Problem-Oriented Redefinition of Computer Architecture via Microprogramming," IEEE Transactions on Computers Vol. C-27(11), pp. 1006-1014 (November 1978).
2. 2.R. I. Winner and E. M. Carter, "Toward Type-Oriented Dynamic Vertical Migration," ACM SIGMICRO Newsletter Vol. 14(4), pp.128-139, MICRO-16 Proceedings Fourteenth Annual Workshop on Microprogramming (December 1983).
3. 3.N. Tredennick, "The Cultures of Microprogramming," ACM SIGMICRO Newsletter Vol. 13(4), pp.79-83, MICRO-15 Proceedings Fifteenth Annual Workshop on Microprogramming (December 1982).
4. 4.B. Liskov, et. al., CLU Reference Manual, Springer-Verlag, Berlin (1981). Computer Science Lecture Series No. 114
5. 5.M. Shaw, ALPHARD: Form and Content, Springer-Verlag, New York, New York (1981).
6. 6.M. Ohlin, The CLASS and Pointer Concepts in SIMULA, Swedish Research Institute of National Defense, Stock-holm Sweden (31 July 1975). C10045-M3 (E5)
7. 7.J. Ichbiah, "Rationale for the Design of the Ada Programming Language," ACM SIGPLAN Notices Vol. 14(6) (June 1979).
8. 8.B. Stroustrup, "Classes: An Abstract Data Type Facility for the C Language," ACM SIGPLAN Notices Vol. 17(1), pp.42-51 (January 1982).
9. 9.N. Wirth, "Modula: A Language for Modular Multiprogramming," Software - Practice and Experience Vol. 7(1), pp.3-35 (January 1977).
10. 10.N. Wirth, Modula-2, Institut fur Informatik ETH, Zurich, Switzerland (December 1980). Nr. 36
11. 11.C. M. Geschke, et. al., "Early Experience with Mesa," Communications of the ACM Vol. 20(8), pp.540-552 (August 1977).
12. 12.G. Booch, Software Engineering with Ada, The Benjamin/Cummings Publishing Company, Inc., Menlo Park, California (1983).
13. 13.J. H. Saltzer, "Naming and Binding of Objects," in Operating Systems, Springer-Verlag, Berlin (1978). Lecture Notes in Computer Science, Nr. 60
14. 14.B. W. Kernighan and D. M. Ritchie, The C Programming Language, Prentice-Hall, Englewood Cliffs, New Jersey (1978).
15. 15.R. I. Winner and L. B. Reed, "Operating System Support for Sharing Writable Control Store," SOFTWARE: Practice and Experience, (to appear).
16. 16.R. Ellison, MicroC: A High Level Microprogramming Language, Southern Illinois University (July 1978). Master's Thesis
17. 17.M. D. McIlroy, UNIX programmer's Manual, Bell Laboratories (September 1978). Seventh Edition
18. 18.E. M. Carter, Abstract Type Oriented Dynamic Vertical Migration, Vanderbilt University, Nashville, Tennessee (December, 1983). PhD Dissertation
19. 19.J. E. Roskos, Microprogramming Tools for Perkin-Elmer 3220 UNIX, Vanderbilt University (December 1981). Masters Thesis
20. 20.T. M. Wood, A Linker and Librarian for Vertical Migration, Vanderbilt University (December, 1983). Master's Thesis

Index Terms

• Hardware

  • Very large scale integration design

    • Application-specific VLSI designs

      • Application specific instruction set processors

• Software and its engineering

  • Software notations and tools

    • General programming languages

      • Language features

        • Abstract data types

        • Control structures