-Thread * Scheduler::next_thread(Thread *t)
-{
- if ( t == NULL ) {
- int old_curr_thread = curr_thread_index;
- while(true) {
- curr_thread_index = (curr_thread_index+1) % enabled_len;
- if (is_enabled[curr_thread_index]==THREAD_ENABLED) {
- t = model->get_thread(int_to_id(curr_thread_index));
- break;
- }
- if (curr_thread_index == old_curr_thread) {
- print();
- return NULL;
- }
+Thread * Scheduler::select_next_thread()
+{
+ int avail_threads = 0;
+ int sleep_threads = 0;
+ int thread_list[enabled_len], sleep_list[enabled_len];
+ Thread * thread;
+
+ for (int i = 0;i < enabled_len;i++) {
+ if (enabled[i] == THREAD_ENABLED)
+ thread_list[avail_threads++] = i;
+ else if (enabled[i] == THREAD_SLEEP_SET)
+ sleep_list[sleep_threads++] = i;
+ }
+
+ if (avail_threads == 0 && !execution->getFuzzer()->has_paused_threads()) {
+ if (sleep_threads != 0) {
+ // No threads available, but some threads sleeping. Wake up one of them
+ thread = execution->getFuzzer()->selectThread(sleep_list, sleep_threads);
+ remove_sleep(thread);
+ thread->set_wakeup_state(true);
+ } else {
+ return NULL; // No threads available and no threads sleeping.