projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d54242) | patch
libthreads: perform all scheduling/model-checking from master thread
authorBrian Norris <banorris@uci.edu>
Tue, 13 Mar 2012 03:51:25 +0000 (20:51 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 13 Mar 2012 03:51:25 +0000 (20:51 -0700)
commit9cd547903789a3f025a1063368df509fc935d5f1
tree4cf39903e39050f2a03f3a327ad52604d82e18fftree | snapshot
parent9d5424201af87d2824eb9411f1afa42e82e2f602commit | diff
libthreads: perform all scheduling/model-checking from master thread

To keep all user-space actions under control, we should perform all scheduling
and model-checking from the main system thread. This pushes some of the
thread_yield() logic to a system function (as desired).
libthreads.c diff | blob | history
This is the public repository for the CDSSpec specification compiler.