Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Final published version
Dynamic techniques are a scalable and effective way to analyze concurrent programs. Instead of analyzing all behaviors of a program, these techniques detect errors by focusing on a single program execution. Often a crucial step in these techniques is to define a causal ordering between events in the execution, which is then computed using vector clocks, a simple data structure that stores logical times of threads. The two basic operations of vector clocks, namely join and copy, require (k) time, where k is the number of threads. Thus they are a computational bottleneck when k is large. In this work, we introduce tree clocks, a new data structure that replaces vector clocks for computing causal orderings in program executions. Joining and copying tree clocks takes time that is roughly proportional to the number of entries being modified, and hence the two operations do not suffer the a-priori (k) cost per application. We show that when used to compute the classic happens-before (HB) partial order, tree clocks are optimal, in the sense that no other data structure can lead to smaller asymptotic running time. Moreover, we demonstrate that tree clocks can be used to compute other partial orders, such as schedulable-happens-before (SHB) and the standard Mazurkiewicz (MAZ) partial order, and thus are a versatile data structure. Our experiments show that just by replacing vector clocks with tree clocks, the computation becomes from 2.02 × faster (MAZ) to 2.66 × (SHB) and 2.97 × (HB) on average per benchmark. These results illustrate that tree clocks have the potential to become a standard data structure with wide applications in concurrent analyses.
Original language | English |
---|---|
Title of host publication | ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems |
Editors | Babak Falsafi, Michael Ferdman, Shan Lu, Thomas F. Wenisch |
Number of pages | 16 |
Publisher | Association for Computing Machinery |
Publication year | Feb 2022 |
Pages | 710-725 |
ISBN (Electronic) | 9781450392051 |
DOIs | |
Publication status | Published - Feb 2022 |
Event | 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2022 - Virtual, Online, Switzerland Duration: 28 Feb 2022 → 4 Mar 2022 |
Conference | 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2022 |
---|---|
Land | Switzerland |
By | Virtual, Online |
Periode | 28/02/2022 → 04/03/2022 |
Sponsor | ACM, ACM SIGARCH, ACM SIGOPS, ACM SIGPLAN |
Series | ASPLOS: Architectural Support for Programming Languages and Operating Systems, Proceedings |
---|
Publisher Copyright:
© 2022 ACM.
See relations at Aarhus University Citationformats
ID: 268437576