projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2249fef) | patch
schedule: return next thread pointer directly
authorBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 02:22:50 +0000 (18:22 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 10 Mar 2012 02:22:50 +0000 (18:22 -0800)
commit01237c41090e450db348ef0045a3d3cfd23cd041
tree0eeb2f8e6484d77234e51ec154f85a61e3c13cb6tree | snapshot
parent2249feff844a43a5acf24524e6a48a7b7dc9258fcommit | diff
schedule: return next thread pointer directly

It's better to just return a pointer to the 'next' thread, rather than
sending it through the argument list.
libthreads.c diff | blob | history
schedule.c diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker