Angel Manuel Bravo Gestoso

Fault Reproduction for Multithreaded Applications

Tese submetida para provas de mestrado em Engenharia Informática e de Computadores Instituto Superior Técnico, Universidade Técnica de Lisboa.


Writing distributed and parallel applications is rather difficult. Because of this difficulty, many bugs appear during development and frequently, on deployed applications. Classical debugging techniques are not enough anymore because of the non-determinism induced by this kind of applications. Record and replay techniques have been created in order to help developers. These techniques are composed by two main phases. The record phase captures all non-deterministic events of the execution. Then, during the replay phase, the original execution can be repeated in order to find the causes of the bugs. Unfortunately, tracing all non-deterministic events introduces a large overhead. This thesis presents Symber, a record and replay tool for multithreaded Java applications that combines partial logging with an inference mechanism based on symbolic execution. Thus, Symber is able to reduce the overhead introduced by only logging the local execution path and the order in which the locks are acquired. Our results demonstrate that Symber produces a competitive overhead in comparison to other tech- niques and still maintains the ability to efficiently replay concurrency bugs.


Fault Reproduction for Multithreaded Applications
Angel Manuel Bravo Gestoso
MSc Thesis. Instituto Superior Técnico, Universidade Técnica de Lisboa.
July, 2013.
Available BibTeX, MSC Thesis, and extended abstract of the thesis.
Reprodução de Erros de Concorrência em Aplicações Java Através de Execução Simbólica.
M. Bravo, N. Machado and L. Rodrigues.
Actas do quinto Simpósio de Informática (Inforum), Évora, Portugal, Sep, 2013
Prémio melhor artigo de estudante INForum 2013.
Available BibTeX, extended report (pdf).
Towards Effective and Efficient Search-Based Deterministic Replay.
M. Bravo, N. Machado, P. Romano, and L. Rodrigues.
The 9th Workshop on Hot Topics in Dependable Systems, Nemacolin Woodlands Resort (PA), USA. November 3, 2013.

Luís Rodrigues