Article

Free access

A Control Word Model for detecting conflicts between microprograms

Author:

David J. DeWittAuthors Info & Claims

MICRO 8: Proceedings of the 8th annual workshop on Microprogramming

Pages 6 - 12

https://doi.org/10.1145/800148.804855

Published: 21 September 1975 Publication History

PDF eReader

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. As will be demonstrated, the concurrency permitted is sometimes determined not simply by the hardware configuration of buses, register, 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.

References

[1]

DeWitt, D.J., Schlankser, M.S., and Atkins, D.E., "A Microprogramming Language for the B-1726," Sixth Workshop of Microprogramming, College Park, Maryland, September 1973.

Digital Library

Google Scholar

[2]

Lawson, H.W., Jr. and Blomberg, L., "The Datasaab FCPU Microprogramming Language," SIGPLAN/SIGMICRO Interface Meeting, Harriman, N.Y. May 1973.

Digital Library

Google Scholar

[3]

Oestreicher, D.R., "A Microprogramming Language for the MLP-900," SIGPLAN/SIGMICRO Interface Meeting Harriman, N.Y. May 1973.

Digital Library

Google Scholar

[4]

Tabendeh, and Ramamoorthy, "Execution Time (And Memory) Optimization in Microprograms," Seventh Workshop on Microprogramming, Palo Alto, Calif., September 1974.

Digital Library

Google Scholar

[5]

Tsuchiya, M., and Gonzalez, M.J., "An Approach to Optimization of Horizontal Microprograms," Seventh Workshop on Microprogramming, Palo Alto, Calif., September 1974.

Digital Library

Google Scholar

[6]

Yau, S.S., Schowe, A.C., and Tsuchiya, M., "On Storage Optimization of Horizontal Microprograms," Seventh Workshop on Microprogramming, Palo Alto, Calif., September 1974.

Digital Library

Google Scholar

[7]

Barr, R.G., et.al., "A Research-Oriented Dynamic Microprocessor," IEEE Computers, Vol. C-22, 11 November 1973.

Google Scholar

[8]

Barr, R.G., et.al., "AMP, A Dynamic Microprocessor," ANL-7988, Argonne National Laboratory, June 1973.

Google Scholar

[9]

Burroughs Corporation, "Burroughs B-1700 Software Operational Guide," Preliminary Edition, 1972.

Google Scholar

Cited By

View all

Gyllenhaal JHwu WRau B(1998)Optimization of Machine Descriptions for Efficient UseInternational Journal of Parallel Programming10.5555/608714.60875326:4(417-447)Online publication date: 1-Aug-1998
https://dl.acm.org/doi/10.5555/608714.608753
Gyllenhaal JHwu WRau BMelvin SBeaty S(1996)Optimization of machine descriptions for efficient useProceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture10.5555/243846.243909(349-358)Online publication date: 2-Dec-1996
https://dl.acm.org/doi/10.5555/243846.243909
(1996)Proceedings Third IEEE Workshop on Applications of Computer Vision. WACV'96Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture MICRO 29 MICRO-9610.1109/MICRO.1996.566474(349)Online publication date: 1996
https://doi.org/10.1109/MICRO.1996.566474
Show More Cited By

Index Terms

A Control Word Model for detecting conflicts between microprograms
1. Hardware
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Control structures

Recommendations

A control word model for detecting conflicts between microoperations

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 ...
Execution time (and memory) optimization in microprograms
MICRO 7: Supplement to the conference record of the 7th annual workshop on Microprogramming

Availability of dynamically writable control memories for microprogramming motivates researchers in the design of appropriate languages. Certain processors allow simultaneous activation of several microoperations. Exploitation of parallelism existing in ...
Toward Optimization of Horizontal Microprograms

Detection of concurrently executable microoperations is an important consideration for effective horizontal microprogramming. Since it is highly machine-dependent and requires knowledge of highly intricate features of a machine, only limited effort has ...

Comments

Information & Contributors

Information

Published In

MICRO 8: Proceedings of the 8th annual workshop on Microprogramming

September 1975

102 pages

ISBN:9781450374514

DOI:10.1145/800148

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 September 1975

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 484 of 2,242 submissions, 22%

Upcoming Conference

MICRO '24

Sponsor:
sigmicro

57th Annual IEEE/ACM International Symposium on Microarchitecture

November 2 - 6, 2024

Austin , TX , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
180
Total Downloads

Downloads (Last 12 months)17
Downloads (Last 6 weeks)9

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gyllenhaal JHwu WRau B(1998)Optimization of Machine Descriptions for Efficient UseInternational Journal of Parallel Programming10.5555/608714.60875326:4(417-447)Online publication date: 1-Aug-1998
https://dl.acm.org/doi/10.5555/608714.608753
Gyllenhaal JHwu WRau BMelvin SBeaty S(1996)Optimization of machine descriptions for efficient useProceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture10.5555/243846.243909(349-358)Online publication date: 2-Dec-1996
https://dl.acm.org/doi/10.5555/243846.243909
(1996)Proceedings Third IEEE Workshop on Applications of Computer Vision. WACV'96Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture MICRO 29 MICRO-9610.1109/MICRO.1996.566474(349)Online publication date: 1996
https://doi.org/10.1109/MICRO.1996.566474
Rau BFisher J(1993)Instruction-level parallel processingThe Journal of Supercomputing10.1007/BF012051817:1-2(9-50)Online publication date: 1-May-1993
https://dl.acm.org/doi/10.1007/BF01205181
Atkins RCarter MMueller R(1984)Improved instruction formation in the exhaustive local microcode compaction algorithmProceedings of the 17th annual workshop on Microprogramming10.1145/800016.808220(105-111)Online publication date: 1-Dec-1984
https://dl.acm.org/doi/10.1145/800016.808220
Atkins R(1984)Improved instruction formation in the exhaustive local microcode compaction algorithmACM SIGMICRO Newsletter10.1145/384281.80822015:4(105-111)Online publication date: 1-Dec-1984
https://dl.acm.org/doi/10.1145/384281.808220
Mezzalama MPrinetto P(1984)Microprogram simulation using a structured microcode modelMicroprocessing and Microprogramming10.1016/0165-6074(84)90037-113:5(299-314)Online publication date: 1-May-1984
https://dl.acm.org/doi/10.1016/0165-6074%2884%2990037-1
Mezzalama MPrinetto P(1983)A Hierarchical Description Model for MicrocodeIEEE Transactions on Computers10.1109/TC.1983.167625932:5(478-487)Online publication date: 1-May-1983
https://dl.acm.org/doi/10.1109/TC.1983.1676259
Gieser J(1982)On Horizontally Microprogrammed Microarchitecture Description TechniquesIEEE Transactions on Software Engineering10.1109/TSE.1982.2357398:5(513-525)Online publication date: 1-Sep-1982
https://dl.acm.org/doi/10.1109/TSE.1982.235739
Sheraga RGieser JEckhouse D(1981)Automatic microcode generation for horizontally microprogrammed processorsProceedings of the 14th annual workshop on Microprogramming10.5555/800075.802447(154-168)Online publication date: 1-Dec-1981
https://dl.acm.org/doi/10.5555/800075.802447
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Cited By

Index Terms

Recommendations

A control word model for detecting conflicts between microoperations

Execution time (and memory) optimization in microprograms

Toward Optimization of Horizontal Microprograms

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Abstract

References

Cited By

Index Terms

Recommendations

A control word model for detecting conflicts between microoperations

Execution time (and memory) optimization in microprograms

Toward Optimization of Horizontal Microprograms

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations