SHI Jianjun, JI Weixing, WANG Yizhuo, HUANG Lifu, GUO Yunkun, SHI Feng. Linux Kernel Data Races in Recent 5 Years[J]. Chinese Journal of Electronics, 2018, 27(3): 556-560. doi: 10.1049/cje.2018.03.015
Citation: SHI Jianjun, JI Weixing, WANG Yizhuo, HUANG Lifu, GUO Yunkun, SHI Feng. Linux Kernel Data Races in Recent 5 Years[J]. Chinese Journal of Electronics, 2018, 27(3): 556-560. doi: 10.1049/cje.2018.03.015

Linux Kernel Data Races in Recent 5 Years

doi: 10.1049/cje.2018.03.015
Funds:  This work is supported by the National Natural Science Foundation of China (No.61300010, No.61300011).
More Information
  • Corresponding author: JI Weixing (corresponding author) was born in 1980, Ph.D., associate professor. He received the Ph.D. degree in computer science from Beijing Institute of Technology. His research interests include computer architecture and parallel programming. (Email:jwx@bit.edu.cn)
  • Received Date: 2015-12-22
  • Rev Recd Date: 2016-05-04
  • Publish Date: 2018-05-10
  • Data races are increasingly seen as concurrency bugs and they are difficult to reproduce and diagnose in parallel programs. Linux kernel is a large-scale software system, in which intensive thread-level parallelism and non-deterministic thread interleaving are more prone to race conditions. This paper conducts an investigation of real Linux kernel data races in recent 5 years. Our results show that there are about 500 real kernel data races reported and fixed in recent 5 years. File systems and drivers among all modules hold a much higher percentage of race conditions than other modules. We also conduct a case-bycase study on data races and graphically show how these data races are triggered with specific thread interleaving. Our analysis results are of interest to researchers and engineers who are committed to kernel data race detection and kernel development.
  • loading
  • 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.
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (217) PDF downloads(280) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return