Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
Conflicts:
schedule.cc
earliest_diverge = prevnode->get_action();
}
}
- /* Start the round robin scheduler from this thread id */
- scheduler->set_scheduler_thread(tid);
/* The correct sleep set is in the parent node. */
execute_sleep_set();
return NULL;
}
-void Scheduler::set_scheduler_thread(thread_id_t tid) {
- curr_thread_index=id_to_int(tid);
-}
-
/**
* @brief Set the current "running" Thread
* @param t Thread to run
bool is_enabled(const Thread *t) const;
bool is_enabled(thread_id_t tid) const;
bool is_sleep_set(const Thread *t) const;
- void set_scheduler_thread(thread_id_t tid);
-
SNAPSHOTALLOC
private: