final work on race detection