MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications

Abstract:We present MagicFuzzer, a novel dynamic deadlock detection technique. Unlike existing techniques to locate potential deadlock cycles from an execution, it iteratively prunes lock dependencies that each has no incoming or outgoing edge. Combining with a novel thread-specific strategy, it dramatically shrinks the size of lock dependency set for cycle detection, improving the efficiency and scalability of such a detection significantly. In the real deadlock confirmation phase, it uses a new strategy to actively schedule threads of an execution against the whole set of potential deadlock cycles. We have implemented a prototype and evaluated it on large-scale C/C++ programs. The experimental results confirm that our technique is significantly more effective and efficient than existing techniques.
Grants:GRF 111410
Links: PDF DOI
Citation: Yan Cai and W.K. Chan. "MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications". In Proceedings of 34th International Conference on Software Engineering (ICSE 2012), 11 pages, 2012.
Remarks:
One of the 87 papers out of 408 submissions.
Related Papers:-

Selected Tags

Tag Groups

Links

ACM SigSoft
IEEE Software Engineering Online