[PDF][PDF] Lockout: Efficient testing for deadlock bugs

A Kheradmand, B Kasikci, G Candea - 2013 - dslab.epfl.ch
2013dslab.epfl.ch
Deadlocks are hard to find via traditional testing, and they manifest rarely during program
execution. We introduce Lockout, a technique and a tool that increases the probability of
deadlock manifestation in multithreaded programs, while preserving the program semantics
and requiring no perturbation to the runtime and the testing infrastructure. Lockout produces
binaries that are more prone to deadlock compared to native binaries. We evaluated
Lockout on a suite of multithreaded programs, and preliminary results show that it is effective …
Abstract
Deadlocks are hard to find via traditional testing, and they manifest rarely during program execution. We introduce Lockout, a technique and a tool that increases the probability of deadlock manifestation in multithreaded programs, while preserving the program semantics and requiring no perturbation to the runtime and the testing infrastructure. Lockout produces binaries that are more prone to deadlock compared to native binaries. We evaluated Lockout on a suite of multithreaded programs, and preliminary results show that it is effective in increasing the deadlock probability.
dslab.epfl.ch
以上显示的是最相近的搜索结果。 查看全部搜索结果