projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ca0878) | patch
libthreads: don't spin on THREAD_JOIN
authorBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 20:55:05 +0000 (13:55 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 20:55:05 +0000 (13:55 -0700)
commit98ca2597879be0ec9484c4a32dae1c10607c9c17
treef82ac27457a7660626497dc40a4b9d7149f5f9f9tree | snapshot
parent1ca0878f2578b5a928be493f80c72e159cb27f55commit | diff
libthreads: don't spin on THREAD_JOIN

THREAD_JOIN can now be implemented properly here. We shouldn't have to spin,
waiting for another thread to complete. This may help improve the ModelChecker
architecture, since we will never have NULL actions passed to the ModelChecker.
libthreads.cc diff | blob | history
C11 Tester Tool Public Repository