projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc9c5da) | patch
libthreads: cleanup main thread initialization
authorBrian Norris <banorris@uci.edu>
Fri, 9 Mar 2012 00:12:01 +0000 (16:12 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 9 Mar 2012 00:12:01 +0000 (16:12 -0800)
commit478b0e8b1cf06b5aa24e253e4b3ca9c3160f661b
tree5af9b1450980a789b848a2c2e6fef8b7eb91b82atree | snapshot
parentcc9c5da29ab0f75dcb15a04099df097f3eac8e60commit | diff
libthreads: cleanup main thread initialization

Create a "thread" for the primary context, rather than handling special logic
for a separate "cleanup" ucontext_t.
libthreads.c diff | blob | history
C++11 memory model checker