projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
model: implement, use schedule_next_thread()
[model-checker.git]
/
schedule.cc
diff --git
a/schedule.cc
b/schedule.cc
index 04328252da0c8dbbf1452e4b7cd6d091c14a7116..13b640cd8e832b2cca826e5a4b68d66143bb854c 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-11,6
+11,12
@@
void Scheduler::add_thread(Thread *t)
Thread *Scheduler::next_thread(void)
{
+ Thread *t = model->schedule_next_thread();
+
+ if (t != NULL) {
+ readyList.remove(t);
+ return t;
+ }
if (readyList.empty())
return NULL;