Fix a non-deterministic hang in test_thread_5
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Sat, 12 Jan 2019 20:05:12 +0000 (14:05 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Sat, 12 Jan 2019 20:05:12 +0000 (14:05 -0600)
commit95c8b75343bf901160b1321e569e42d11cc790de
tree8490929fc89223f01036a8e95250af07f2bb4b80
parentc8d8c204cdb43576fdaaabf16110681e445a4ad8
Fix a non-deterministic hang in test_thread_5

When the mutator stops the mutatee, the mutator will wait for
all the threads in the mutatee to stop by counting the number
of STOP events. If one of the thread exited, there will be no
STOP comeing back.

When a pre-exit event is handled, if the thread has pending stop
to be waited, we should no longer wait for this thread.
proccontrol/src/handler.C