RT DW A1 Jin, Feiyang. T1 Data Race Analysis and its Applications