projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: drop public get_current_node() interface
[model-checker.git]
/
schedule.cc
diff --git
a/schedule.cc
b/schedule.cc
index 62ba8fb3ff0ee631d960649286142d0608560135..136f4622fb3ff1d16aa59a8b9d41a6c62df2f930 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-195,12
+195,15
@@
void Scheduler::wake(Thread *t)
/**
* @brief Select a Thread to run via round-robin
/**
* @brief Select a Thread to run via round-robin
+ *
+ * @param n The current Node, holding priority information for the next thread
+ * selection
+ *
* @return The next Thread to run
*/
* @return The next Thread to run
*/
-Thread * Scheduler::select_next_thread()
+Thread * Scheduler::select_next_thread(
Node *n
)
{
int old_curr_thread = curr_thread_index;
{
int old_curr_thread = curr_thread_index;
- Node *n = model->get_curr_node();
bool have_enabled_thread_with_priority = false;
if (model->params.fairwindow != 0) {
bool have_enabled_thread_with_priority = false;
if (model->params.fairwindow != 0) {