projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae25995) | patch
schedule: add sleep() function
authorBrian Norris <banorris@uci.edu>
Wed, 12 Sep 2012 02:38:50 +0000 (19:38 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 12 Sep 2012 02:38:50 +0000 (19:38 -0700)
commit3e6579acd2456b1a7e0fc0aaa7e2e9b5bdb78a27
tree8b5dd00d27f315598bdd6ec371c0455761561225tree | snapshot
parentae25995a404cb06c3e89dd878c7abd763449cdb3commit | diff
schedule: add sleep() function

The wait() and wake() functions are not very complementary. I will be removing
wait() in favor of a simpler sleep() function, which is introduced here.
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker