[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article
Free access

Implications of structured programming for machine architecture

Published: 01 March 1978 Publication History

Abstract

Based on an empirical study of more than 10,000 lines of program text written in a GOTO-less language, a machine architecture specifically designed for structured programs is proposed. Since assignment, CALL, RETURN, and IF statements together account for 93 percent of all executable statements, special care is given to ensure that these statements can be implemented efficiently. A highly compact instruction encoding scheme is presented, which can reduce program size by a factor of 3. Unlike a Huffman code, which utilizes variable length fields, this method uses only fixed length (1-byte) opcode and address fields. The most frequent instructions consist of a single 1-byte field. As a consequence, instruction decoding time is minimized, and the machine is efficient with respect to both space and time.

References

[1]
Alexander, W.G., and Wortman, D.B. Static and dynamic characteristics of XPL programs. Computer 8 (1975), 41-46.
[2]
Denning, P.J. Is it not time to define 'structured programming'? Operating Syst. Rev. 8 (Jan. 1974), 6-7.
[3]
Foster, C.C., and Gonter, R.H. Conditional interpretation of operation codes. IEEE Trans. Comptrs. C-20, 1 (1971), 108-111.
[4]
Huffman, D. A method for the construction of minimum redundancy codes. Proc. IRE 40 (1952), 1098-1101.
[5]
Jensen, K., and Wirth, N. PASCAL User Manual and Report. Springer-Verlag, New York, 1974.
[6]
Knuth, D.E. An empirical study of FORTRAN programs. Software-Practice and Experience l (1971), 105-133.
[7]
Knuth, D.E. Structured programming with go to statements, Computing Surveys 6 (1974), 261-301.
[8]
Richards, M. BCPL: A tool for compiler writing and system programming. Proc. AFIPS SJCC, Vol. 34, AFIPS Press, Montvale, N.J., 1969, pp. 557-566.
[9]
Salvadori, A., Gordon, J., and Capstick, C. Static profile of COBOL programs. Sigplan Notices (ACM) 10 (1975), 20-33.
[10]
Tanenbaum, A.S. A programming language for writing operating systems. Rep. IR-3, Wiskundig Seminarium, Vrije U., Amsterdam, 1974.
[11]
Tanenbaum, A.S. A general purpose macro processor as a poor man's compiler. IEEE Trans. Software Eng. SE-2 (1976), 121-125.
[12]
van Wijngaarden, A., Mailloux, B., Peck, J.E.L., and Koster, C.H.A. Report on the algorithmic language ALGOL 68, Num. Math. 14 (1969), 79-218.
[13]
Wilner, W.T. Design of the Burroughs B1700. Proc. AFIPS FJCC, Vol. 4 1,4 9 7, AFIPS Press, Montvale, N.J., 1972, pp. 489- 497.
[14]
Wilner, W.T. Burroughs B1700 Memory Utilization. Proc. AFIPS FJCC, Vol. 41, AFIPS Press, Montvale, N.J., 1972, 579- 586.
[15]
Wortman, D.B. A study of language directed computer design. CSRG-20, U. of Toronto, Toronto, Ont. (1972).
[16]
Wulf, W.A., Russell, D.B., and Habermann, A.N. BLISS: A language for systems programming: Comm. ACM 14 (1971), 780- 790.

Cited By

View all
  • (2024)Alabama A&M Symmetric Overloaded Reduced Instruction Set Architecture (SORA)SoutheastCon 202410.1109/SoutheastCon52093.2024.10500141(1268-1273)Online publication date: 15-Mar-2024
  • (2023)Alabama A&M Symmetric Overloaded Minimal Instruction Set Architecture (SOMA)SoutheastCon 202310.1109/SoutheastCon51012.2023.10115149(53-59)Online publication date: 1-Apr-2023
  • (2023)Minimizing Memory Contention in an APNG Encoder Using a Grid of Processing CellsDesigning Modern Embedded Systems: Software, Hardware, and Applications10.1007/978-3-031-34214-1_9(101-112)Online publication date: 11-Jun-2023
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 21, Issue 3
March 1978
54 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/359361
Issue’s Table of Contents
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: 01 March 1978
Published in CACM Volume 21, Issue 3

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. computer architecture
  2. computer organization
  3. instruction set design
  4. machine architecture
  5. program characteristics

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)185
  • Downloads (Last 6 weeks)18
Reflects downloads up to 31 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Alabama A&M Symmetric Overloaded Reduced Instruction Set Architecture (SORA)SoutheastCon 202410.1109/SoutheastCon52093.2024.10500141(1268-1273)Online publication date: 15-Mar-2024
  • (2023)Alabama A&M Symmetric Overloaded Minimal Instruction Set Architecture (SOMA)SoutheastCon 202310.1109/SoutheastCon51012.2023.10115149(53-59)Online publication date: 1-Apr-2023
  • (2023)Minimizing Memory Contention in an APNG Encoder Using a Grid of Processing CellsDesigning Modern Embedded Systems: Software, Hardware, and Applications10.1007/978-3-031-34214-1_9(101-112)Online publication date: 11-Jun-2023
  • (2022)Simulating macroscopic quantum correlations in linear networksPhysics Letters A10.1016/j.physleta.2021.127911429(127911)Online publication date: Mar-2022
  • (2013)Efficient Ada multitasking on a RISC register window architecture6th Computers in Aerospace VI Conference10.2514/6.1987-2782Online publication date: 18-Feb-2013
  • (2011)Computer Architecture, Fifth EditionundefinedOnline publication date: 29-Sep-2011
  • (2007)Inferring aliasing and encapsulation properties for javaACM SIGPLAN Notices10.1145/1297105.129705942:10(423-440)Online publication date: 21-Oct-2007
  • (2007)StarcACM SIGPLAN Notices10.1145/1297105.129705642:10(387-404)Online publication date: 21-Oct-2007
  • (2007)Using early phase termination to eliminate load imbalances at barrier synchronization pointsACM SIGPLAN Notices10.1145/1297105.129705542:10(369-386)Online publication date: 21-Oct-2007
  • (2007)Modular verification of higher-order methods with mandatory calls specified by model programsACM SIGPLAN Notices10.1145/1297105.129705342:10(351-368)Online publication date: 21-Oct-2007
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media