projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 672a04a) | patch
model/schedule: revise 'nextThread' data flow
authorBrian Norris <banorris@uci.edu>
Tue, 4 Sep 2012 19:45:49 +0000 (12:45 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Sep 2012 19:49:01 +0000 (12:49 -0700)
commit2eb6b99ea42e152d878a8c4805f3cf119f316c3e
treef474eb171b930cc130346add98ba5e8e2444f7d9tree | snapshot
parent672a04a0620a9fbad1c01965cab4089c58b8e581commit | diff
model/schedule: revise 'nextThread' data flow

The ModelChecker::nextThread field was being abused a little in my aging
design. It really should be either a private field (not accessed even via
accessors) or else just a return value / function parameter.

This commit makes a change so that nextThread is a Thread pointer and is
directly supplied to the Scheduler. If it is NULL, then the Scheduler is
allowed to pick its own Thread to run.
model.cc diff | blob | history
model.h diff | blob | history
schedule.cc diff | blob | history
schedule.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.