Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs
暂无分享,去创建一个
Chao Zhang | Xiaobing Feng | Pen-Chung Yew | Lei Wang | Yuelu Duan | Chao Zhang | Xiaobing Feng | P. Yew | Lei Wang | Yuelu Duan
[1] Sarita V. Adve,et al. Shared Memory Consistency Models: A Tutorial , 1996, Computer.
[2] David A. Padua,et al. Hiding Relaxed Memory Consistency with a Compiler , 2001, IEEE Trans. Computers.
[3] Jeremy Manson,et al. The Java memory model , 2005, POPL '05.
[4] Sebastian Burckhardt,et al. Effective Program Verification for Relaxed Memory Models , 2008, CAV.
[5] Pin Zhou,et al. HARD: Hardware-Assisted Lockset-based Race Detection , 2007, 2007 IEEE 13th International Symposium on High Performance Computer Architecture.
[6] Hans-Juergen Boehm,et al. Foundations of the C++ concurrency memory model , 2008, PLDI '08.
[7] Sebastian Burckhardt,et al. CheckFence: checking consistency of concurrent data types on relaxed memory models , 2007, PLDI '07.
[8] Thomas R. Gross,et al. Object race detection , 2001, OOPSLA '01.
[9] Barton P. Miller,et al. Detecting Data Races on Weak Memory Systems , 1991, ISCA.
[10] Jong-Deok Choi,et al. Race Frontier: reproducing data races in parallel-program debugging , 1991, PPOPP '91.
[11] Jong-Deok Choi,et al. Efficient and precise datarace detection for multithreaded object-oriented programs , 2002, PLDI '02.
[12] Katherine A. Yelick,et al. Polynomial-Time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays , 2003, LCPC.
[13] Kourosh Gharachorloo,et al. Detecting violations of sequential consistency , 1991, SPAA '91.
[14] Milos Prvulovic,et al. CORD: cost-effective (and nearly overhead-free) order-recording and data race detection , 2006, The Twelfth International Symposium on High-Performance Computer Architecture, 2006..
[15] Jong-Deok Choi,et al. Hybrid dynamic data race detection , 2003, PPoPP '03.
[16] Jaejin Lee,et al. Automatic fence insertion for shared memory multiprocessing , 2003, ICS '03.
[17] David Aspinall. Java Memory Model Examples: Good, Bad and Ugly , 2007 .
[18] Xiao Ma,et al. MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs , 2007, SOSP.
[19] Douglas C. Schmidt,et al. Double-Checked Locking An Optimization Pattern for Efficiently Initializing and Accessing Thread-safe Objects , 1998 .
[20] Jong-Deok Choi,et al. An efficient cache-based access anomaly detection scheme , 1991, ASPLOS IV.
[21] Nicholas Nethercote,et al. Valgrind: A Program Supervision Framework , 2003, RV@CAV.
[22] Josep Torrellas,et al. ReEnact: using thread-level speculation mechanisms to debug data races in multithreaded codes , 2003, ISCA '03.
[23] Leslie Lamport,et al. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.
[24] Yuanyuan Zhou,et al. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants , 2007, IEEE Micro.
[25] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[26] Assaf Schuster,et al. Efficient on-the-fly data race detection in multithreaded C++ programs , 2003, PPoPP '03.
[27] Dennis Shasha,et al. Efficient and correct execution of parallel programs that share memory , 1988, TOPL.
[28] Michael Burrows,et al. Eraser: a dynamic data race detector for multi-threaded programs , 1997, TOCS.
[29] Min Xu,et al. A serializability violation detector for shared-memory server programs , 2005, PLDI '05.
[30] Jaejin Lee,et al. Hiding relaxed memory consistency with compilers , 2000, Proceedings 2000 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.PR00622).
[31] Peter J. Keleher,et al. Online data-race detection via coherency guarantees , 1996, OSDI '96.
[32] Barton P. Miller,et al. Improving the accuracy of data race detection , 1991, PPOPP '91.
[33] Edith Schonberg,et al. An empirical comparison of monitoring algorithms for access anomaly detection , 2011, PPOPP '90.
[34] Jimmy Su,et al. Making Sequential Consistency Practical in Titanium , 2005, ACM/IEEE SC 2005 Conference (SC'05).
[35] Stephen N. Freund,et al. Type-based race detection for Java , 2000, PLDI '00.
[36] Matteo Frigo,et al. The implementation of the Cilk-5 multithreaded language , 1998, PLDI.
[37] Satish Narayanasamy,et al. Automatically classifying benign and harmful data races using replay analysis , 2007, PLDI '07.
[38] Martin C. Rinard,et al. ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), November 2002 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks , 2022 .
[39] Yuanyuan Zhou,et al. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics , 2008, ASPLOS.