diff --git a/runtime/src/listener_thread.c b/runtime/src/listener_thread.c index 903fd79..6fe8398 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(), 1); + runtime_set_pthread_prio(pthread_self(), 2); while (true) { /* diff --git a/runtime/src/worker_thread.c b/runtime/src/worker_thread.c index cf4a805..f28a286 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(), 1); + runtime_set_pthread_prio(pthread_self(), 2); scheduler_runqueue_initialize();