International Conference on Compiler Construction

CC 2009: Compiler Construction pp 48-62

Compile-Time Analysis and Specialization of Clocks in Concurrent Programs

  • Nalini Vasudevan
  • Olivier Tardieu
  • Julian Dolby
  • Stephen A. Edwards
Conference paper

DOI: 10.1007/978-3-642-00722-4_5

Volume 5501 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Vasudevan N., Tardieu O., Dolby J., Edwards S.A. (2009) Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. In: de Moor O., Schwartzbach M.I. (eds) Compiler Construction. CC 2009. Lecture Notes in Computer Science, vol 5501. Springer, Berlin, Heidelberg

Abstract

Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms and thus spare the programmer from reasoning about low-level implementation details such as remote procedure calls and error conditions.

Clocks provide flexibility, but programs often use them in specific ways that do not require their full implementation. In this paper, we describe a tool that mitigates the overhead of general-purpose clocks by statically analyzing how programs use them and choosing optimized implementations when available.

We tackle the clock implementation in the standard library of the X10 programming language—a parallel, distributed object-oriented language. We report our findings for a small set of analyses and benchmarks. Our tool only adds a few seconds to analysis time, making it practical to use as part of a compilation chain.

Keywords

Concurrency Static Analysis Synchronization Clocks X10 NuSMV 
Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Nalini Vasudevan
    • 1
  • Olivier Tardieu
    • 2
  • Julian Dolby
    • 2
  • Stephen A. Edwards
    • 1
  1. 1.Department of Computer ScienceColumbia UniversityNew YorkUSA
  2. 2.IBM T.J. Watson Research CenterNew YorkUSA