Kernel data race detection using debug register in Linux | IEEE Conference Publication | IEEE Xplore