Write a Blog >>
Tue 11 Jul 2017 10:30 - 10:55 at Bren 1414 - Concurrency Chair(s): Chao Wang

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 Jul

Displayed time zone: Tijuana, Baja California change

10:30 - 11:45
ConcurrencyTechnical Papers at Bren 1414
Chair(s): Chao Wang
10:30
25m
Talk
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
25m
Talk
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
25m
Talk
Monitoring Decentralized Specifications
Technical Papers
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI