Abstract
Only recently has the design of computer architectures deviated from the Von Neumann style. Most architectures based on the Von Neumann architecture suffer from what is called 'the semantic gap'. This means that the objects and operations in a high level language (HLL) are not closely related to the objects and operations in the architectures that execute the HLL [1]. This paper addresses the issues involved in the semantic gap problem, by formulating a framework based on 'information structures' that would aid in the design of HLL architectures. First digital computers are defined based on 'information structures'. Execution of a program in an HLL is defined in terms of transformations on information structures. An architecture design methodology is proposed and some comments about performance are made. Finally different ways of implementing information structures are considered.
- 1 Myers, G. J.,"Advances in Computer Architecture," John Wiley and Sons, 1982. Google Scholar
Digital Library
- 2 Sridhar, R,"An Automatic Microprogram Generator for Direct Execution Machines, * Doctral Dissertation, Washington State University, 1987.Google Scholar
- 3 Chu, Y.,"Architecture of a Hardware Data Interpreter," IEEE Trans. on Comp., Vol C-28, No. 2, Feb. 1979.Google Scholar
Digital Library
Index Terms
Information structures in language directed architectures
Recommendations
Information structures in language directed architectures
MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitectureOnly recently has the design of computer architectures deviated from the Von Neumann style. Most architectures based on the Von Neumann architecture suffer from what is called 'the semantic gap'. This means that the objects and operations in a high ...
Operational semantics-directed compilers and machine architectures
We consider the task of automatically constructing intermediate-level machine architectures and compilers generating code for these architectures, given operational semantics for source languages. We use operational semantics in the form of abstract ...






Comments