bDeterministic cStabledeterministic dStablenondeterministicFigure1DifferentmultithreadingapproachesRedstarsrepresentbuggyschedulesexecuteundernschedulesTestingn1schedulesisnotenoughf ID: 520692