EventHealer: Bypassing data races in event-driven programs

초록

Data races represent a serious threat to the reliability of shared-memory concurrent programs including event-driven programs which handle asynchronous events. Despite the important number of existing testing and detection tools, data races often remain undetectable until the exploitation phase leading the application into unpredictable executions sometimes with disastrous consequences. To heal data races, current approaches which focus only on multithreaded programs are not directly applicable to event driven programs since they are still incomplete or incur a high runtime overhead which makes them also inappropriate for the exploitation phase. Thus, this paper proposes a hybrid technique that statically disassembles a program binary to collect information about critical sections and event handlers accessing each shared variable, to dynamically prevent data races from occurring by injecting a disabling and an enabling instruction respectively before and after every critical section, in order to enforce the synchronization property of the potentially harmful events. We implemented a prototype of this technique for sequential programs with signal handlers on top of the Pin instrumentation framework. An evaluation of this prototype proved its effectiveness and showed that our technique incurs only a negligible overhead to the monitored program. (C) 2016 Elsevier Inc. All rights reserved.

키워드