Data race free is sequential consistent