article

Free access

Semantic analysis in a concurrent compiler

Authors:

I. SmallAuthors Info & Claims

ACM SIGPLAN Notices, Volume 23, Issue 7

Pages 233 - 240

https://doi.org/10.1145/960116.54013

Published: 01 June 1988 Publication History

Abstract

Traditional compilers are usually sequential programs that serially process source programs through lexical analysis, syntax analysis, semantic analysis and code generation. The availability of multiprocessor computers has made it feasible to consider alternatives to this serial compilation process. The authors are currently engaged in a project to devise ways of structuring compilers so that they can take advantage of modern multiprocessor hardware. This paper is about the most difficult aspect of concurrent compilation: concurrent semantic analysis.

References

[1]

Aho, A.V., R. Sethi, and J.D. Ullman, Compilers, Principles, Techniques, and Tools, Reading, Massachusetts: Addison-Wesley, 1986.

Digital Library

[2]

Baer, J-L. and C.S. Ellis, "Model, Design and Evaluation of a Compiler for a Parallel Processing Environment," IEEE Transactions on Software Engineering, vol. 3, no. 6, pp. 394-405, November 1977.

Digital Library

[3]

Banatre, j.P., J.P. Routeau, and L. Trilling, "An Event Driven Compiling Technique," Communications of the ACM, voI. 22, no. 1, pp. 64-75, January 1979.

Digital Library

[4]

Seshadri V., I.S. Small and D.B. Wortman, "Concurrent Compilation", Proce, extings of the IFIP Conference on Distributed Processing, Amsterdam, Oct 1987.

[5]

Christopher, T., O. E1-Dessouki, M. Evens, H. Hart, H. Klawans, P. Krystosek, R. Mirchandani, and Y. Tarhan, "SALAI) - A Distributed Compiler for Distributed Systems," Proceedings of the International Conference on Parallel Processing, pp. 50-57, August 1981.

[6]

Cohen, J., T. Hickey, and J. Katcoff, "Upper Bounds for Speedup in Parallel Parsing," Journal of the ACM, pp. 408-428, April 1982.

Digital Library

[7]

Cohen, J. and S. Kolodner, "Estimating the Speedup in Parallel Parsing," IEEE Transactions on Software Engineering, vol. 11, no. 1, pp. 114-124, January 1985.

Digital Library

[8]

Donegan, M.K. and S.W. Katzke, "Lexical Analysis and Parsing Techniques for a Vector Machine," Proceedings of the ACM Conference on Programming Languages and Compilers for Parallel and Vector Machines," vol. 10, no. 3, pp. 138-145, Sigplan Notices, March 1975.

Digital Library

[9]

Ellis, C.A., "Parallel Compiling Techniques," Proceedings of the ACM National Conference, pp. 508- 519, August 197 i.

Digital Library

[10]

Fischer, C.N., "On Parsing Context Free Languages in Parallel Environments," Ph.D. thesis, Cornell University, 1975.

Digital Library

[11]

Huen, W., O. E1-Dessouki, E. Huske, and M. Evens, "A Pipelined DYNAMO Compiler," Proceedings of the International Conference on Parallel Processing, pp. 57-66, August 1977.

[12]

Krohn, H.E., "A Parallel Approach to Code Generation for Fortran Like Compilers," Proceedings of the ACM Conference on Programming Languages and Compilers for Parallel and Vector Machines, rot. 10, no. 3, pp. 146-152, Sigplan Notices, March 1975.

Digital Library

[13]

Lincoln, N., "Parallel Compiling Techniques for Compilers," ACM Sigplan Notices, vol. 5, no. 10, pp. 18- 31, October 1970.

Digital Library

[14]

Lipkie, D.E., "A Compiler Design for Multiple Independent Processor Computers," Ph,D. thesis, University of Washington, 1979.

Digital Library

[15]

Miller, J.A. and J.J. LeBlanc, "Distributed Compilation: A Case Study," Proceedings of the 3rd International Conference on Distributed Computing Systems (IEEE), pp. 548-553, October 1982.

[16]

Schell, R.M., "Methods for Constructing Parallel Compilers for Use in a Multiprocessor Environment," Ph.D. thesis, University of Illinois, 1979.

Digital Library

[17]

Thacker, C.P. and L.C. Stewart, "Firefly: A Multiprocessor Workstation," Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 164-172, October 1987.

Digital Library

[18]

Vandevoorde, M.T., "Parallel Compilation on a Tightly- Coupled Multiprocessor," M.Sc. thesis, Massachusetts Institute of Technology, 1987.

[19]

Zosel, M., "A Parallel Approach to Compilation," Conference Record of the ACM Symposium on Principles of Programming Languages, pp. 59-70, October 1973.

Digital Library

[20]

Graham, S.L., W.N. Joy and O. Roubine, "Hashed Symbol Tables for Languages with Explicit Scope Control", Proceedings of the Sigplan Symposium on Compiler Construction, pp. 50-57, August 1979

Digital Library

[21]

Frankel, J.L., "The Architecture of Closely-Coupled Distributed Computers and Their Lanugage Processors", Ph.D. dissertation, Dept of Applied Mathematics, Harvard University, May 1986.

Digital Library

[22]

Fischer C.N. and R.J. LeBlanc Jr., Crafting a Compiler, Menlo Park, Calif., Benjamin/Cummings Publishing Co., 1988.

Digital Library

[23]

V. Seshadri, "On Concurrent Semantic Analysis", M.A.Sc. thesis, Dept. of Electrical Engineering, University of Toronto, expected 1988

Cited By

Jourdan M(2005)A survey of parallel attribute evaluation methodsAttribute Grammars, Applications and Systems10.1007/3-540-54572-7_9(234-255)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-54572-7_9
Seshadri VWortman D(1991)An investigation into concurrent semantic analysisSoftware—Practice & Experience10.1002/spe.438021120521:12(1323-1348)Online publication date: 1-Dec-1991
https://dl.acm.org/doi/10.1002/spe.4380211205
Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4
Show More Cited By

Index Terms

Semantic analysis in a concurrent compiler

Recommendations

Semantic analysis in a concurrent compiler
PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation

Traditional compilers are usually sequential programs that serially process source programs through lexical analysis, syntax analysis, semantic analysis and code generation. The availability of multiprocessor computers has made it feasible to consider ...
A concurrent ML library in concurrent Haskell
ICFP '09

In Concurrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, called higher-order concurrent programming. Unfortunately, it is ...
A compiler approach to scalable concurrent-program design

We describe a compilation system for the concurrent programming language Program Composition Notation (PCN). This notation provides a single-assignment programming model that permits concurrent-programming concerns such as decomposition, communication, ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 23, Issue 7

Proceedings of the SIGPLAN '88 conference on Programming language design and implementation

July 1988

338 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/960116

Issue’s Table of Contents

PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation
June 1988
338 pages
ISBN:0897912691
DOI:10.1145/53990
Editor:
R. L. Wexelblat
Philips Laboratories, Briarcliff Manor, NY

Copyright © 1988 ACM.

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 June 1988

Published in SIGPLAN Volume 23, Issue 7

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
961
Total Downloads

Downloads (Last 12 months)141
Downloads (Last 6 weeks)29

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Jourdan M(2005)A survey of parallel attribute evaluation methodsAttribute Grammars, Applications and Systems10.1007/3-540-54572-7_9(234-255)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-54572-7_9
Seshadri VWortman D(1991)An investigation into concurrent semantic analysisSoftware—Practice & Experience10.1002/spe.438021120521:12(1323-1348)Online publication date: 1-Dec-1991
https://dl.acm.org/doi/10.1002/spe.4380211205
Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4
Gozillon AHaeri SRiordan JKeir P(2024)Performance Analysis of Compiler Support for Parallel Evaluation of C++ Constant ExpressionsSoftware, System, and Service Engineering10.1007/978-3-031-51075-5_6(129-152)Online publication date: 3-Jan-2024
https://doi.org/10.1007/978-3-031-51075-5_6
Shaw MGarlan D(2005)Formulations and formalisms in software architectureComputer Science Today10.1007/BFb0015251(307-323)Online publication date: 9-Jun-2005
https://doi.org/10.1007/BFb0015251
Garlan DShaw MOkasaki CScott CSwonger R(2005)Experience with a course on architectures for software systemsSoftware Engineering Education10.1007/3-540-55963-9_38(23-43)Online publication date: 11-Jul-2005
https://doi.org/10.1007/3-540-55963-9_38
Kuiper MSwierstra S(2005)Parallel attribute evaluation: structure of evaluators and detection of paralleismAttribute Grammars and their Applications10.1007/3-540-53101-7_5(61-75)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-53101-7_5
Reali P(2000)Structuring a Compiler with Active ObjectsModular Programming Languages10.1007/10722581_20(250-262)Online publication date: 2000
https://doi.org/10.1007/10722581_20
Alblas Hop den Akker RLuttighuis PSikkel K(1994)A bibliography on parallel parsingACM SIGPLAN Notices10.1145/181577.18158629:1(54-65)Online publication date: 1-Jan-1994
https://dl.acm.org/doi/10.1145/181577.181586
Kramer RGupta RSoffa M(1994)The Combining DAGIEEE Transactions on Parallel and Distributed Systems10.1109/71.2982055:8(805-813)Online publication date: 1-Aug-1994
https://dl.acm.org/doi/10.1109/71.298205
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Figures

Tables

Media

View Issue’s Table of Contents