A Control Word Model for Detecting Conflicts between Microoperations,
Abstract
The compilation and optimization of a microprogram for a computer with a horizontal control word format is highly machine dependent. The compilation phase involves the detection of parallelism in a sequence of source statements followed by a mapping into a sequence of microoperations. The optimization phase involves combining these microoperations to form microinstructions in an optimal manner. One of the important subprocesses of the optimization phase is determining whether or not two or more microoperations can be executed concurrently. This paper presents the Control Word Model for determining when two or more microoperations can be executed concurrently. The Control Word Model is a machine independent model of the semantics of the control words for microprogrammable computers. It is capable of describing both vertical and horizontal formats. The concurrency permitted is sometimes determined not simply by the hardware configuration of buses, registers, memories, and ALUs but also by the format of the control word chosen by the designer. This observation has motivated the development of the Control Word Model.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1975
- Accession Number
- ADA013018
Entities
People
- David J. Dewitt
Organizations
- University of Michigan