论文信息 - Towards an efficient, machine-independent language for microprogramming

Towards an efficient, machine-independent language for microprogramming

A machine independent low level language YALLL is presented. This language produces microcode for two very different machines: Hewlett Packard HP 300 and Digital Equipment Corporation VAX 11/780. The efficiency of this language is tested by comparing two examples on both machines to microassembly coded versions. To our best knowledge, this is the first time programs have been compiled and executed on two different microarchitectures. These examples also let us compare the efficiency of the microarchitectures and macroarchitectures of these machines and re-examine the benefits of microprogramming versus macroprogramming. We conclude this paper with comments upon transportability of high level microprogramming languages.

[1] Alfred V. Aho,et al. Principles of Compiler Design , 1977 .

[2] David A. Patterson. An approach to firmware engineering , 1978, AFIPS National Computer Conference.

[3] Bruce D. Shriver,et al. An Overview of Firmware Engineering , 1978, Computer.

[4] Brian W. Kernighan,et al. The C Programming Language , 1978 .

[5] Alfred V. Aho,et al. Principles of Compiler Design (Addison-Wesley series in computer science and information processing) , 1977 .

[6] Richard H. Eckhouse. A high-level microprogramming language (MPL) , 1971, AFIPS '71 (Spring).

[7] David A. Patterson. Strum: structured microprogramming system for correct firmware , 1976 .

[8] Murray Hill,et al. Yacc: Yet Another Compiler-Compiler , 1978 .

[9] A. Retrospective,et al. The UNIX Time-sharing System , 1977 .

[10] David A. Patterson. An experiment in high level language microprogramming and verification , 1981, CACM.

[11] William M. Waite. Code Generation , 1976, Compiler Construction.