projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c9c1ce) | patch
schedule: improve is_enabled() routines
authorBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 23:43:39 +0000 (15:43 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 23:43:39 +0000 (15:43 -0800)
commitc633515be9def3f6fd74843974b36d923d7b44a4
treedd8f54c23a4e338d0a0978d88a10e7d2da440f3ftree | snapshot
parent9c9c1ce811e8f0d23bb6c610813ed74a8d3d0affcommit | diff
schedule: improve is_enabled() routines

The comments don't clearly explain what is_enabled() might include
(i.e., SLEEP_SET, ENABLED, or DISABLED). Also, we need a direct accessor
keyed by thread_id_t, not just by class Thread.
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker