Citation: | SHI Jianjun, JI Weixing, WANG Yizhuo, et al., “Linux Kernel Data Races in Recent 5 Years,” Chinese Journal of Electronics, vol. 27, no. 3, pp. 556-560, 2018, doi: 10.1049/cje.2018.03.015 |
N.G. Leveson and C.S. Turner, "An investigation of the Therac-25 accidents", Computer, Vol.26, No.7, pp.18-41, 1993.
|
W. Zhang, J. Lim, R. Olichandran, et al., "ConSeq:Detecting concurrency bugs through sequential errors", Proc. of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA, USA, pp.251-264, 2011.
|
S. Zhu, Z. Ji, T. Liu, et al., "Study on memory race recording mechanism in deterministic multi-core replay", Acta Electronica Sinica, Vol.39, No.12, pp.2748-2754, 2011. (in Chinese)
|
M. Liao and Z. Fan, " Deadlock detection in basic models of MPI synchronization communication programs", Acta Electronica Sinica, Vol.36, No.2, pp.402-407, 2008. (in Chinese)
|
Y. Zhu, L. Zhang, S. Wang, et al., "Verifying parallel low-level programs for multi-core processor", Acta Electronica Sinica, Vol.37, No.z1, pp.1-6, 2009. (in Chinese)
|
L. Effinger-Dean, B. Lucia, L. Ceze, et al., "IFRit:Interferencefree regions for dynamic data-race detection", Acm Sigplan Notices, Vol.47, No.10, pp.467-484, 2012.
|
W. Ji, L. Lu, and M.L. Scott, "TARDIS:Task-level access race detection by intersecting sets", Workshop on Determinism and Correctness in Parallel Programming, Houston, TX, 2013.
|
C. Flanagan and S.N. Freund, "FastTrack:Efficient and precise dynamic race detection", Acm Sigplan Notices, Vol.53, No.11, pp.121-133, 2009.
|
S. Savage, M. Burrows, G. Nelson, et al., "Eraser:A dynamic data race detector for multithreaded programs", Acm Sigops Operating Systems Review, Vol.31, No.5, pp.27-37, 1997.
|
R. Raman, J. Zhao, V. Sarkar, et al., "Scalable and precise dynamic datarace detection for structured parallelism", Acm Sigplan Notices, Vol.47, No.6, pp.531-542, 2012.
|
Y. Yu, T. Rodeheffer and W. Chen, "RaceTrack:Efficient detection of data race conditions via adaptive tracking", Acm Sigops Operating Systems Review, Vol.39, No.5, pp.221-234, 2005.
|
T. Sheng, N. Vachharajani, S. Eranian, et al., "RACEZ:A lightweight and non-invasive race detection tool for production applications", Proc. of the 33rd International Conference on Software Engineering, Waikiki, Honolulu, HI, USA, pp.401-410, 2011.
|
D.R. Engler and K. Ashcraft, "RacerX:Effective, static detection of race conditions and deadlocks", Acm Sigops Operating Systems Review, Vol.37, No.5, pp.237-252, 2003.
|
J. Voung, R. Jhala and S. Lerner, "RELAY:Static race detection on millions of lines of code", Proc. of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik, Croatia, pp.205-214, 2007.
|
J. Erickson, M. Musuvathi, S. Burckhardt, et al., "Effective data-race detection for the kernel", Proc. of the 9th USENIX Conference on Operating Systems Design and Implementation, Vancouver, BC, Canada, pp.1-16, 2010.
|
Y. Jiang, Y. Yang, T. Xiao, et al., "Kernel data race detection using debug register in Linux", 2014 IEEE COOL Chips XVⅡ, pp.1-3, 2014.
|
P. Fonseca, R. Rodrigues and B. Brandenburg, "SKI:Exposing kernel concurrency bugs through systematic schedule exploration", Proc. of the 11th USENIX Conference on Operating Systems Design and Implementation, Broomfield, CO, pp.415-431, 2014.
|
H. Shin and K. Moonzoo, "Effective pattern-driven concurrency bug detection for operating systems", Journal of Systems and Software, Vol.86, No.2, pp.377-388, 2013.
|
A. Chou, J. Yang, B. Chelf, et al., "An empirical study of operating system errors", Proc. of the 18th ACM Symposium on Operating System Principles, Chateau Lake Louise, Banff, Alberta, Canada, pp.73-88, 2001.
|
S. Lu, S. Park, E. Seo, et al., "Learning from mistakes:A comprehensive study on real world concurrency bug characteristics", Proc. of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, Seattle, WA, USA, pp.329-339, 2008.
|
Alessandro, "Kernel bug tracker", https://bugzilla.kernel.org, 2016-4-1.
|
The Linux Foundation, "The Linux Kernel archives", https://www.kernel.org, 2016-4-1.
|