Abstract
This paper presents the aim of TeamWork, our ongoing effort to develop a comprehensive dynamic deadlock confirmation tool for multithreaded programs. It also presents a refined object abstraction algorithm that refines the existing stack hash abstraction.
- R. Agarwal, L. Wang, and S. D. Stolle, 2005. Detecting potential dead-locks with static analysis and run-time monitoring. In Proceedings of the 2005 IBM Verification Conference. Google ScholarDigital Library
- S. Burckhardt, P. Kothari, M. Musuvathi, and S. Nagarakatte, 2010. A randomized scheduler with probabilistic guarantees of finding bugs. In Proceedings of ASPLOS'10, 167--178. Google ScholarDigital Library
- Y. Cai and W.K. Chan, 2012. MagicFuzzer: Scalable deadlock detection for large-scale applications. In Proceedings of ICSE'12, 606--616. Google ScholarDigital Library
- Y. Cai and W.K. Chan, to appear. Lock trace reduction for multithreaded programs. IEEE Transactions on Parallel and Distributed Systems.Google Scholar
- Y. Cai and W.K. Chan, 2011. LOFT: Redundant synchronization event removal for data race detection. In Proceedings of ISSRE'11,160--169. Google ScholarDigital Library
- P. Joshi, C.S. Park, K. Sen, and M. Naik, 2009. A randomized dynamic program analysis technique for detecting real deadlocks. In Proceedings of PLDI'09, 110--120. Google ScholarDigital Library
- W. N. Sumner and X. Zhang, 2010. Memory indexing: Canonicalizing addresses across executions. In Proceedings of FSE '10, 217--226. Google ScholarDigital Library
- H. Jula, D. Tralamazza, C. Zamfir, and G. Candea, 2008. Deadlock Immunity: enabling systems to defend against deadlocks. In Proceedings of OSDI'08, 295--308. Google ScholarDigital Library
Index Terms
- TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs
Recommendations
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs
PPoPP '13: Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programmingThis paper presents the aim of TeamWork, our ongoing effort to develop a comprehensive dynamic deadlock confirmation tool for multithreaded programs. It also presents a refined object abstraction algorithm that refines the existing stack hash ...
Scrider: Using Single Critical Sections to Avoid Deadlocks
IMCCC '14: Proceedings of the 2014 Fourth International Conference on Instrumentation and Measurement, Computer, Communication and ControlWe propose a method, called Scrider, to avoid dead-locks before they manifest themselves. When running it togeth-er with a multithreaded program, Scrider interferes in thread scheduling to ensure that at any time there is only one thread in the critical ...
Multithreaded test synthesis for deadlock detection
OOPSLA '14Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing ...
Comments