On performance debugging of unnecessary lock contentions on multicore processors: A replay-based approach
暂无分享,去创建一个
Hai Jin | Bingsheng He | Long Zheng | Xiaofei Liao | Song Wu
[1] James R. Goodman,et al. Speculative lock elision: enabling highly concurrent multithreaded execution , 2001, MICRO.
[2] Satish Narayanasamy,et al. Automatically classifying benign and harmful data races using replay analysis , 2007, PLDI '07.
[3] James Cownie,et al. PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs , 2010, CGO '10.
[4] Maged M. Michael,et al. Robust architectural support for transactional memory in the power architecture , 2013, ISCA.
[5] Jingling Xue,et al. Acculock: Accurate and efficient detection of data races , 2011, CGO 2011.
[6] James R. Goodman,et al. Transactional lock-free execution of lock-based programs , 2002, ASPLOS X.
[7] Amitabha Roy,et al. A runtime system for software lock elision , 2009, EuroSys '09.
[8] Viktor Leis,et al. Exploiting hardware transactional memory in main-memory databases , 2014, 2014 IEEE 30th International Conference on Data Engineering.
[9] Marek Olszewski,et al. Kendo: efficient deterministic multithreading in software , 2009, ASPLOS.
[10] Nicholas Nethercote,et al. How to shadow every byte of memory used by a program , 2007, VEE '07.
[11] Josep Torrellas,et al. Dynamically detecting and tolerating IF-Condition Data Races , 2014, 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA).
[12] Robert J. Hall,et al. Call path profiling , 1992, International Conference on Software Engineering.
[13] Sarfraz Khurshid,et al. Symbolic execution for software testing in practice: preliminary assessment , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[14] Jonathan L. Gross,et al. Topological Graph Theory , 1987, Handbook of Graph Theory.
[15] Sebastian Burckhardt,et al. Effective Data-Race Detection for the Kernel , 2010, OSDI.
[16] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[17] Satish Narayanasamy,et al. BugNet: continuously recording program execution for deterministic replay debugging , 2005, 32nd International Symposium on Computer Architecture (ISCA'05).
[18] Dongmei Zhang,et al. Performance debugging in the large via mining millions of stack traces , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[19] Yannis Smaragdakis,et al. Sound predictive race detection in polynomial time , 2012, POPL '12.
[20] Yehuda Afek,et al. Software-improved hardware lock elision , 2014, PODC '14.
[21] Naga K. Govindaraju,et al. Mars: A MapReduce Framework on graphics processors , 2008, 2008 International Conference on Parallel Architectures and Compilation Techniques (PACT).
[22] Jason Nieh,et al. Transparent mutable replay for multicore debugging and patch validation , 2013, ASPLOS '13.
[23] Dan Grossman,et al. CoreDet: a compiler and runtime system for deterministic multithreaded execution , 2010, ASPLOS XV.