Skip to main content
SpringerLink
Log in

Concurrent incremental attribute evaluation

  • Incremental Evaluation II
  • Conference paper
  • First Online:
Attribute Grammars and their Applications

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 461))

Abstract

The design of a concurrent incremental combined static/dynamic attribute evaluator is presented. The static part is an incremental version of the ordered attribute evaluation scheme. The dynamic part is an incremental version of the dynamic evaluation scheme.

To remove the restriction that every transformation of an attributed syntax tree should immediately be followed by a reevaluation of the tree, criteria have been formulated which permit a delay in calling the reevaluator. These criteria allow multiple asynchronous tree transformations and multiple asynchronous reevaluations. Transformation and reevaluation processes are distributed over regions of the tree. Each region is either in its transformation phase or in its reevaluation phase. Different regions can be in different phases at the same time.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alblas, H.: A characterization of attribute evaluation in passes. Acta Informatica 16, 427–464 (1981).

    Article  Google Scholar 

  2. Alblas, H.: Incremental simple multi-pass attribute evaluation. Proc. NGI-SION 1986 Symposium, 319–342 (1986).

    Google Scholar 

  3. Alblas, H.: Optimal incremental simple multi-pass attribute evaluation. Information Processing Letters 32, 289–295 (1989).

    Article  Google Scholar 

  4. Alblas, H.: Iteration of transformation passes over attributed program trees. Acta Informatica 27, 1–40 (1989).

    Article  Google Scholar 

  5. Bochmann, G.V.: Semantic evaluation from left to right. Comm. ACM 19, 55–62 (1976).

    Article  Google Scholar 

  6. Böhm, H.-J. and Zwaenepoel, W.: Parallel attribute grammar evaluation. Proc. 7th Int. Conf. on Distributed Computing Systems, R. Popescu-Zeletin, G. Le Lam, K.H. Kim (eds), pp. 347–354. Berlin 1987.

    Google Scholar 

  7. Engelfriet, J.: Attribute grammars: Attribute evaluation methods. In: Methods and tools for compiler construction, pp. 103–138. Cambridge University Press 1984.

    Google Scholar 

  8. Frankel, J.: The architecture of closely-coupled distributed computers and their language processors. Ph.D. Thesis, Harvard University, 1983.

    Google Scholar 

  9. Ganzinger, H. and Giegerich, R.: A truly generative semantics directed compiler generator. Proc. SIGPLAN 1982 Symposium on Compiler Construction, SIGPLAN Notices 17, 6, 172–184 (1982).

    Google Scholar 

  10. Giegerich, R., Möncke, U. and Wilhelm, R.: Invariance of approximative semantics with respect to program transformations. Informatik-Fachberichte 50, pp. 1–10. Springer 1981.

    Google Scholar 

  11. Jazayeri, M. and Walter, K.G.: Alternating semantic evaluator. Proc. ACM 1975 Annual Conference, 230–234 (1975).

    Google Scholar 

  12. Kaplan, S.M., Kaiser, G.E.: Incremental attribute evaluation in distributed language-based environments. Proc. Fifth Annual ACM Symposium on the Principles of Distributed Computing, 121–130 (1986).

    Google Scholar 

  13. Kastens, U.: Ordered attribute grammars. Acta Informatica 13, 229–256 (1980).

    Article  Google Scholar 

  14. Kennedy, K. and Warren, S.K.: Automatic generation of efficient evaluators for attribute grammars. Proc. 3rd ACM Symposium on Principles of Programming Languages, 32–49 (1976).

    Google Scholar 

  15. Kuiper, M.F.: Parallel attribute evaluation. Ph.D. Thesis, University of Utrecht, 1989.

    Google Scholar 

  16. Lipkie, D.E.: A compiler design for multiple independent processor computers. Ph.D. Thesis Dept. of Computer Science, University of Washington, Seattle, Wash., 1979.

    Google Scholar 

  17. Reps,T.W.: Generating language-based environments. The MIT Press (1983).

    Google Scholar 

  18. Reps, T., Teitelbaum, T. and Demers, A.: Incremental context-dependent analysis for language based editors. ACM TOPLAS 5, 449–477 (1983).

    Article  Google Scholar 

  19. Schell Jr., R.M.: Methods for constructing parallel compilers for use in a multiprocessor environment. Ph.D. Thesis, Dept. of Computer Science, Report No. 958, University of Illinois at Urbana-Champaign, February 1979.

    Google Scholar 

  20. Seshadri, V.: Concurrent semantic analysis. CSRI 216, Computer Systems Research Institute, University of Toronto, September 1988.

    Google Scholar 

  21. Seshadri, V., Small, I.S. and Wortman, D.B.: Concurrent compilation. Proc. IFIP WG 10.3 Working Conference on Distributed Processing, M.H Barton, E.L Dagless, G.L. Reijns (eds), pp. 627–641. North-Holland 1988.

    Google Scholar 

  22. Seshadri, V., Wortman, D.B., Junkin, M.D., Weber, S., Yu, C.P. and Small I.S.: Semantic analysis in a concurrent compiler. Proc. SIGPLAN '88 Conference on Programming Language Design and Implementation, SIGPLAN Notices 23, 7, 233–240 (1988).

    Google Scholar 

  23. Vandevoorde, M. T.: Parallel compilation on a tightly coupled multiprocessor. SRC Reports 26, Digital Systems Research Center, March 1988.

    Google Scholar 

  24. Wilhelm, R.: Computation and use of data flow information in optimizing compilers. Acta Informatica 12, 209–225 (1979).

    Article  Google Scholar 

  25. Yeh, D.: On incremental evaluation of ordered attribute grammars, BIT 23, 308–320 (1983).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands

    Henk Alblas

Authors
  1. Henk Alblas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Deransart M. Jourdan

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alblas, H. (1990). Concurrent incremental attribute evaluation. In: Deransart, P., Jourdan, M. (eds) Attribute Grammars and their Applications. Lecture Notes in Computer Science, vol 461. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53101-7_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-53101-7_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53101-2

  • Online ISBN: 978-3-540-46666-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation