-Thread * Scheduler::next_thread(Thread *t)
-{
- if ( t == NULL ) {
- int old_curr_thread = curr_thread_index;
- bool have_enabled_thread_with_priority=false;
- Node *n=model->get_curr_node();
-
- for(int i=0;i<enabled_len;i++) {
- thread_id_t tid=int_to_id(i);
- if (n->has_priority(tid)) {
- //Have a thread with priority
- if (enabled[i]!=THREAD_DISABLED)
- have_enabled_thread_with_priority=true;
- }
+Thread * Scheduler::select_next_thread()
+{
+ int old_curr_thread = curr_thread_index;
+ bool have_enabled_thread_with_priority = false;
+ Node *n = model->get_curr_node();
+
+ for (int i = 0; i < enabled_len; i++) {
+ thread_id_t tid = int_to_id(i);
+ if (n->has_priority(tid)) {
+ DEBUG("Node (tid %d) has priority\n", i);
+ if (enabled[i] != THREAD_DISABLED)
+ have_enabled_thread_with_priority = true;