diff --git a/runtime/src/listener_thread.c b/runtime/src/listener_thread.c index d0d7888..903fd79 100644 --- a/runtime/src/listener_thread.c +++ b/runtime/src/listener_thread.c @@ -80,7 +80,7 @@ listener_thread_main(void *dummy) generic_thread_initialize(); /* Set my priority */ - // runtime_set_pthread_prio(pthread_self(), 0); + runtime_set_pthread_prio(pthread_self(), 1); while (true) { /* diff --git a/runtime/src/worker_thread.c b/runtime/src/worker_thread.c index 52bd77f..cf4a805 100644 --- a/runtime/src/worker_thread.c +++ b/runtime/src/worker_thread.c @@ -47,7 +47,7 @@ worker_thread_main(void *argument) worker_thread_idx = *(int *)argument; /* Set my priority */ - // runtime_set_pthread_prio(pthread_self(), 0); + runtime_set_pthread_prio(pthread_self(), 1); scheduler_runqueue_initialize();