Efficient Computation of Happens-Before Relation for Event-Driven Programs
An emerging style of programming is to use both threads and events to achieve better scalability. The improved scalability comes at the price of increased complexity, as both threads and events can follow non-deterministic schedules. The happens-before (HB) relation captures the space of possible schedules and forms the basis of various concurrency analyses. Improving efficiency of the HB computation can speed up these analyses. In this paper, we identify a major bottleneck in computation of the HB relation for such event-driven programs. Event-driven programs are designed to interact continuously with their environment, and usually receive a large number of events even within a short span of time. This increases the cost of discovering the HB order among the events. We propose a novel data structure, called event graph, that maintains a subset of the HB relation to efficiently infer order between any pair of events. We present an algorithm, called EventTrack, which improves efficiency of vector clock based HB computation for event-driven programs using event graphs. We have implemented EventTrack and evaluated it on traces of eight Android applications. Compared to the state-of-the-art technique, EventTrack gave an average speedup of 4.9x. The speedup ranged from 1.8x to 10.3x across the applications.
Tue 11 JulDisplayed time zone: Tijuana, Baja California change
10:30 - 11:45 | |||
10:30 25mTalk | Efficient Computation of Happens-Before Relation for Event-Driven Programs Technical Papers Pallavi Maiya Indian Institute of Science, Bangalore, Aditya Kanade Indian Institute of Science, Bangalore DOI | ||
10:55 25mTalk | Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Technical Papers Yu Wang Nanjing University, China, Linzhang Wang , Tingting Yu University of Kentucky, Jianhua Zhao Nanjing University, China, Xuandong Li Nanjing University DOI | ||
11:20 25mTalk | Monitoring Decentralized Specifications Technical Papers Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria DOI |