Concurrent Circular Reference Attribute Grammars (Extended Version)

Research output: Book/ReportReport

Abstract

Reference Attribute Grammars (RAGs) is a declarative executable formalism used for constructing compilers and related tools. Existing implementations support concurrent evaluation only with global evaluation locks. This may lead to long latencies in interactive tools, where interactive and background threads query attributes concurrently.

We present lock-free algorithms for concurrent attribute evaluation, enabling low latency in interactive tools. Our algorithms support important extensions to RAGs like circular (fixed-point) attributes and higher-order attributes.

We have implemented our algorithms in Java, for the JastAdd metacompiler. We evaluate the implementation on a JastAdd-specified compiler for the Java language, demonstrating very low latencies for interactive attribute queries, on the order of milliseconds. Furthermore, initial experiments show a speedup of about a factor 2 when using four parallel compilation threads.

Details

Authors
Organisations
Research areas and keywords

Subject classification (UKÄ) – MANDATORY

  • Computer Science

Keywords

  • Reference Attribute Grammar, Concurrency, Parallelization, Memoization, Circular Attributes
Original languageEnglish
PublisherDepartment of Computer Science, Lund University
Number of pages20
StatePublished - 2017 Oct 18

Publication series

NameTechnical report, LU-CS-TR
PublisherLund University
No.Report 103
Volume2017-254
ISSN (Print)1404-1200

Total downloads

No data available