[1] |
SAVAGE S , BURROWS M , NELSON G ,et al. Eraser:a dynamic data race detector for multithreaded programs[J]. ACM Transactions on Computer Systems (TOCS), 1997,15(4): 391-411.
|
[2] |
DI P , SUI Y . Accelerating dynamic data race detection using static thread interference analysis[C]// The 7th International Workshop on Programming Models and Applications for Multicores and Manycores. ACM, 2016: 30-39.
|
[3] |
WU Z , LU K , WANG X ,et al. Collaborative technique for concurrency bug detection[J]. International Journal of Parallel Programming, 2015,43(2): 260-285.
|
[4] |
陈睿, 杨孟飞, 郭向英 . 基于变量访问序模式的中断数据竞争检测方法[J]. 软件学报, 2016,27(3): 547-561. CHEN R , YANG M F , GUO X Y . Interrupt data race detection based on shared variable access order pattern[J]. Journal of Software, 2016,27(3): 547-561.
|
[5] |
王文文, 武成岗 . 动态容忍和检测非对称数据竞争[J]. 计算机研究与发展, 2014,51(8): 1748-1763. WANG W W , WU C G . Dynamically tolerating and detecting asymmetric race[J]. Journal of Computer Research and Development, 2014,51(8): 1748-1763.
|
[6] |
LU K , WU Z , WANG X ,et al. RaceChecker:efficient identification of harmful data races[C]// 2015 23rd Euromicro International Conference on Parallel,Distributed,and Network-Based Processing. IEEE, 2015: 78-85.
|
[7] |
WESTER B , DEVECSERY D , CHEN P M ,et al. Parallelizing data race detection[J]. ACM Sigplan Notices, 2013,48(4): 27-38.
|
[8] |
PRVULOVIC M , . CORD:cost-effective (and nearly overhead-free) order-recording and data race detection[C]// The Twelfth International Symposium on High-Performance Computer Architecture. IEEE, 2006: 232-243.
|
[9] |
ZHOU P , TEODORESCU R , ZHOU Y . HARD:hardware-assisted lockset-based race detection[C]// 2007 IEEE 13th International Symposium on High Performance Computer Architecture. IEEE, 2007: 121-132.
|
[10] |
MUZAHID A,SUáREZ D , QI S ,et al. SigRace:signature-based data race detection[J]. ACM Sigarch Computer Architecture News, 2009,37(3): 337-348.
|
[11] |
QI S , OTSUKI N , NOGUEIRA L O ,et al. Pacman:tolerating asymmetric data races with unintrusive hardware[C]// High Performance Computer Architecture (HPCA),2012 IEEE 18th International Symposium. IEEE, 2012: 1-12.
|
[12] |
QI S , MUZAHID A A , AHN W ,et al. Dynamically detecting and tolerating if-condition data races[C]// The 20th IEEE International Symposium on High Performance Computer Architecture (HPCA). IEEE Computer Society, 2014: 120-131.
|
[13] |
OROSA L , . A hardware approach to detect,expose and tolerate high level data races[C]// The 24th Euromicro International Conference on Parallel,Distributed,and Network-Based Processing (PDP). IEEE, 2016: 159-167.
|
[14] |
DEVIETTI J , WOOD B P , STRAUSS K ,et al. RADISH:always-on sound and complete race detection in software and hardware[C]// IEEE Computer Architecture (ISCA),2012 39th Annual International Symposium. IEEE, 2012: 201-212.
|
[15] |
ARULRAJ J , CHANG P C , JIN G ,et al. Production-run software failure diagnosis via hardware performance counters[J]. ACM Sigarch Computer Architecture News, 2013,41(1): 101-112.
|
[16] |
SHENG T , VACHHARAJANI N , ERANIAN S ,et al. RACEZ:a lightweight and non-invasive race detection tool for production applications[C]// The International Conference on Software Engineering. 2011: 401-410.
|
[17] |
Intel Corporation Intel thread checker[EB/OL]. . 2008.
|
[18] |
LUSK E , BOYLE J , BUTLER R ,et al. Portable programs for parallel processors[M]. Holt,Rinehart & Winston, 1988.
|
[19] |
MARTIN M M K , SORIN D J , BECKMANN B M ,et al. Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset[J]. ACM SIGARCH Computer Architecture News, 2005,33(4): 92-99.
|
[20] |
WOO S C , OHARA M , TORRIE E ,et al. The SPLASH-2 programs:characterization and methodological considerations[J]. ACM SIGARCH Computer Architecture News,ACM, 1995,23(2): 24-36.
|