projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9aac0d) | patch
threads: don't make direct call into scheduler
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 02:46:30 +0000 (19:46 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 03:08:00 +0000 (20:08 -0700)
commitfe8423ca853f5d614e618fe49d37d0943d416809
treee3d13108912e45b28de10dc4c9389783192d97c5tree | snapshot
parenta9aac0d43e0e24354af4163cd3161036586f029acommit | diff
threads: don't make direct call into scheduler

Since I need a ModelChecker::add_thread(Thread *) function anyway, I should
direct add_thread() calls through the model-checker framework rather than the
Scheduler class. This will make things a little cleaner and symmetric when I
add a remove_thread() function.
model.cc diff | blob | history
threads.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.