[1] 朱怡安, 黄林林, 李联, 等.多核平台下分区操作系统的安全关键任务调度方法[J].计算机工程, 2017, 43(12):38-44. ZHU Y A, HUANG L L, LI L, et al.Safety-critical task scheduling method for partitioned operating system in multi-core platform[J].Computer Engineering, 2017, 43(12):38-44.(in Chinese) [2] 黄理, 顾乃杰, 曹华雄.基于Petri网的多线程程序死锁检测[J].计算机工程, 2016, 42(4):1-6. HUANG L, GU N J, CAO H X.Deadlock detection in multi-threaded program based on Petri net[J].Computer Engineering, 2016, 42(4):1-6.(in Chinese) [3] NETZER R H B, MILLER B P.What are race conditions? Some issues and formalizations[J].ACM Letters on Programming Languages and Systems, 1992, 1(1):74-88. [4] 胡敏, 陈雨亭.基于距离挖掘的多变量原子性违例检测[J].计算机工程, 2012, 38(13):61-63, 74. HU M, CHEN Y T.Multi-variable atomicity violation detection based on distance mining[J].Computer Engineering, 2012, 38(13):61-63, 74.(in Chinese) [5] ENGLER D, ASHCRAFT K.RacerX:effective, static detection of race conditions and deadlocks[J].ACM SIGOPS Operating Systems Review, 2003, 37(5):237-252. [6] POZNIANSKY E, SCHUSTER A.MultiRace:efficient on-the-fly data race detection in multithreaded C++ programs[J].Concurrency & Computation Practice & Experience, 2007, 19(3):327-340. [7] FLANAGAN C, FREUNDS N, FastTrack:efficient and precise dynamic race detection[C]//Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation.New York, USA:ACM Press, 2009:121-133. [8] CAI Y, CHAN W K.LOFT:redundant synchronization event removal for data race detection[C]//Proceedings of the 22nd International Symposium on Software Reliability Engineering.Washington D.C., USA:IEEE Press, 2011:160-169. [9] SAVAGE S, BURROWS M, NELSON G, et al.Eraser:a dynamic data race detector for multi-threaded programs[J].ACM Transactions on Computer Systems, 1997, 31(5):27-37. [10] PRATIKAKIS P, FOSTERJ S, HICKS M.Locksmith:context-sensitive correlation analysis for race detection[J].ACM SIGPLAN Notices, 2006, 41(6):320-331. [11] VOUNG J W, JHALA R, LERNER S.RELAY:static race detection on millions of lines of code[C]//Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.New York, USA:ACM Press, 2007:205-214. [12] GUO Y, CAI Y, YANG Z J.AtexRace:across thread and execution sampling for in-house race detection[C]//Proceedings of Joint Meeting on Foundations of Software Engineering.New York, USA:ACM Press, 2017:1-5. [13] 孙家泽, 阳伽伟, 杨子江.多线程程序数据竞争随机森林指令级检测模型[J].清华大学学报(自然科学版), 2020, 60(10):804-813. SUN J Z, YANG J W, YANG Z J.Random forest instruction level detection model for data race in multithreaded programs[J].Journal of Tsinghua University(Science and Technology), 2020, 60(10):804-813.(in Chinese) [14] 曹莹, 苗启广, 刘家辰, 等.AdaBoost算法研究进展与展望[J].自动化学报, 2013, 39(6):745-758. CAO Y, MIAO Q G, LIU J C.Research progress and prospect of AdaBoost algorithm[J].Acta Automatica Sinica, 2013, 39(6):745-758.(in Chinese) [15] SCHARDL T B, DENNISTON T, DOUCET D, et al.The CSI framework for compiler-inserted program instrumentation[J].Performance Evaluation Review, 2019, 46(1):100-102. [16] 操旺根.并发程序数据竞争检测方法研究和分析[J].信息技术与信息化, 2019(12):171-173. CAO W G.Research and analysis of concurrent program data competition detection method[J].Information Technology and Informatization, 2019(12):171-173.(in Chinese) [17] Data race benchmark[EB/OL].[2020-10-10].https://github.com/arnabd88. [18] Data-race-test[EB/OL].[2020-10-10].https://code.google.com/p/data-race-test/. [19] FARCHI E, NIR Y, UR S.Concurrent bug pattens and how to test them[C]//Proceedings of 2003 International Symposium on Parallel and Distributed Processing.Washington.D.C., USA:IEEE Press, 2003:286-296. [20] BIENIA C.Benchmarking modern multiprocessors[D].Princeton, USA:Princeton University, 2011. |