Yunyun Jiang, Yi Yang, Tian Xiao, Tianwei Sheng, Wenguang Chen: Kernel data race detection using debug register in Linux. COOL Chips 2014: 1-3