diff --git a/runtime/src/listener_thread.c b/runtime/src/listener_thread.c index 6fe8398..30163c5 100644 --- a/runtime/src/listener_thread.c +++ b/runtime/src/listener_thread.c @@ -80,7 +80,8 @@ listener_thread_main(void *dummy) generic_thread_initialize(); /* Set my priority */ - runtime_set_pthread_prio(pthread_self(), 2); + // runtime_set_pthread_prio(pthread_self(), 2); + pthread_setschedprio(pthread_self(), -20); while (true) { /* diff --git a/runtime/src/worker_thread.c b/runtime/src/worker_thread.c index f28a286..168ad5b 100644 --- a/runtime/src/worker_thread.c +++ b/runtime/src/worker_thread.c @@ -47,7 +47,8 @@ worker_thread_main(void *argument) worker_thread_idx = *(int *)argument; /* Set my priority */ - runtime_set_pthread_prio(pthread_self(), 2); + // runtime_set_pthread_prio(pthread_self(), 2); + pthread_setschedprio(pthread_self(), -20); scheduler_runqueue_initialize();