Improving Software Reliability for Event-Driven Mobile Systems

event-driven;asynchronous;data race;happens-before;commutativity;Computer Science;Engineering;Computer Science & Engineering

Hsiao, Chun-HungPereira, Cristiano ;

University of Michigan

关键词: event-driven;    asynchronous;    data race;    happens-before;    commutativity;    Computer Science;    Engineering;    Computer Science & Engineering;   

Others  :  https://deepblue.lib.umich.edu/bitstream/handle/2027.42/138565/chhsiao_1.pdf?sequence=1&isAllowed=y

瑞士|英语

来源: The Illinois Digital Environment for Access to Learning and Scholarship

【 摘 要 】

Mobile platforms commonly support an event-driven model of concurrent programming. In an event-driven system, the flow of a program is controlled by asynchronous events. Events processed sequentially in the same thread can be logically concurrent to each other, as they may not be ordered by any programmer-specified ordering operations. The lack of programmer-defined order between multiple non-commutative concurrent events --- that is, only certain execution orders between these events yields correct results --- leads to a unique class of concurrency bugs in event-driven programs.Unfortunately, the state of the art for detecting concurrency errors in event-driven systems is significantly weaker than that in traditional thread-based systems. This thesis aims to fill this important gap by developing models, algorithms and tools that aid programmers to analyze and diagnose event-driven programs to improve software reliability. Specifically, this thesis presents the following three techniques to detect concurrency errors in event-driven programs:1. A new causality model for event-driven program is defined to infer ordering invariants between events across different executions.2. An efficient and scalable single-pass algorithm to identify concurrent asynchronous events that may lead to concurrency errors.3. A statistical commutativity analysis to find likely non-commutative events that contains concurrency bugs.The techniques we have developed are broadly applicable to many event-driven platforms. To translate our techniques into real-world impact, we develop a set of tools in the context of Android to help build up a more robust and reliable platform for event-driven computing.