Page 116 - 《软件学报》2021年第7期

2034 Journal of Software 软件学报 Vol.32, No.7, July 2021

References:
[1] Leveson NG, Turner CS. An investigation of the therac-25 accidents. Computer, 1993,26(7):18–41.
[2] Zhang W, Lim J, Olichandran R, Scherpelz J, Jin G, Lu S, Reps T. ConSeq: Detecting concurrency bugs through sequential errors.
ACM SIGARCH Computer Architecture News, 2011,39(1):251–264.
[3] Nasdaq’s facebook Glitch came from race conditions. 2020. https://www.computerworld.com/article/2504676/nasdaq-s-facebook-
glitch-came-from--race-conditions-.html
[4] Yin Z, Yuan D, Zhou Y, Pasupathy S, Bairavasundaram L. How do fixes become bugs? In: Proc. of the Joint European Software
Engineering Conf. and Symp. on the Foundations of Software Engineering (ESEC/FSE). 2011. 26–36. [doi: 10.1145/2025113.
2025121]
[5] Naik M, Aiken A, Whaley J. Effective static race detection for Java. In: Proc. of the 27th ACM SIGPLAN Conf. on Programming
Language Design and Implementation (PLDI). 2006. 308319. [doi: 10.1145/1133981.1134018]
[6] Cai Y, Zhang J, Cao L, Liu J. A deployable sampling strategy for data race detection. In: Proc. of the 24th ACM SIGSOFT Symp.
on Foundations of Software Engineering (FSE). Seattle: ACM Press, 2016. 810–821. [doi: 10.1145/2950290.2950310]
[7] Fonseca P, Li C, Rodrigues R. Finding complex concurrency bugs in large multi-threaded applications. In: Proc. of the 6th Conf. on
Computer Systems (EuroSys). Salzburg: ACM Press, 2011. 215–228. [doi: 10.1145/1966445.1966465]
[8] Weeratunge D, Zhang X, Sumner WN, Jagannathan S. Analyzing concurrency bugs using dual slicing. In: Proc. of the 19th Symp.
on Software Testing and Analysis (ISSTA). Trento: ACM Press, 2010. 253–264. [doi: 10.1145/1831708.1831740]
[9] Zhang T, Jung C, Lee D. ProRace: Practical data race detection for production use. ACM SIGPLAN Notices, 2017,45(2):149–162.
[doi: 10.1145/3093336.3037708]
[10] Liu H, Li G, Lukman JF, et al. DCatch: Automatically detecting distributed concurrency bugs in cloud systems. ACM SIGPLAN
Notices, 2017,45(1):677–691. [doi: 10.1145/3093337.3037735]
[11] Bond MD, Coons KE, McKinley KS. PACER: Proportional detection of data races. ACM SIGPLAN Notices, 2010,45(6):255–268.
[doi: 10.1145/1809028.1806626]
[12] Lu S, Park S, Zhou YY. Detecting concurrency bugs from the perspectives of synchronization intentions. IEEE Trans.on Parallel
and Distributed Systems, 2012,23(6):1060–1072. [doi: 10.1109/TPDS.2011.254]
[13] Lu S, Park S, Zhou Y. Finding atomicity-violation bugs through unserializable interleaving testing. IEEE Trans. on Software
Engineering, 2012,38(4):844–860. [doi: 10.1109/TSE.2011.35]
[14] Flanagan C, Freund SN. FastTrack: Efficient and precise dynamic race detection. ACM SIGPLAN Notices, 2009,44(6):121–133.
[doi: 10.1145/1543135.1542490]
[15] Marino D, Musuvathi M, Narayanasamy S. LiteRace: Effective sampling for lightweight data-race detection. ACM SIGPLAN
Notices, 2009,44(6):134–143. [doi: 10.1145/1542476.1542491]
[16] Singhal M. Deadlock detection in distributed systems. Computer, 1989,22(11):37–48. [doi: 10.1109/10.1109/2.43525]
[17] Serebryany K, Iskhodzhanov T. ThreadSanitizer: Data race detection in practice. In: Proc. of the Workshop on Binary
Instrumentation and Applications (WBIA). New York: ACM Press, 2009. 62–71. [doi: 10.1145/1791194.1791203]
[18] Lucia B, Devietti J, Strauss K, Ceze L. Atom-aid: Detecting and surviving atomicity violations. In: Proc. of the 2008 Symp. on
Computer Architecture (ISCA). Beijing: IEEE, 2008. 277–288. [doi: 10.1109/ISCA.2008.4]
[19] Lu S, Park S, Seo E, et al. Learning from mistakes—A comprehensive study on real world concurrency bug characteristics. In: Proc.
of the 13th Conf. on Architectural Support for Programming Languages and Operating Systems. 2008. 329–339. [doi: 10.1145/
1346281.1346323].
[20] Su X, Yu Z, Wang T, Ma P. A survey on exposing, detecting and avoiding concurrency bugs. Chinese Journal of Computers,
2015(11):2215–2233 (in Chinese with English abstract). [doi: 10.11897/SP.J.1016.2015.02215]
[21] Atomic context and kernel API design. 2020. https://lwn.net/Articles/274695/
[22] Fonseca P, Cheng Li, Singhal V, Rodrigues R. A study of the internal and external effects of concurrency bugs. In: Proc. of the
2010 IEEE/IFIP Conf. on Dependable Systems & Networks (DSN). Chicago: IEEE, 2010. 221–230. [doi: 10.11897/10.1109/DSN.
2010.5544315]