Modify shutdown_race to test LifoSem shutdown vs. wait ordering
Summary: The shutdown_race test tries to make use of uniformSubset distribution to achieve an ordering of shutdown/wait/post in at least 1 of 1000 runs. This is unnecessary to test the desired behavior of LifoSem under the possible orderings of shutdown/wait/post. Making matters worse, the test relies on the existence of a step size for uniformSubset that will a) schedule the child thread between shutdown and post in the parent thread, and b) continue to schedule only the child thread until after it calls wait. There are seeds for which this fails when new calls to beforeSharedAccess are added inside DeterministicSchedule. Reviewed By: yfeldblum Differential Revision: D12925523 fbshipit-source-id: bf3061ecc8ebf3e8c19ca6ca337dd6c45eab03b1
Showing
Please register or sign in to comment