rtl_mutex.c : rtl_wait_wakeup doesn't wakeup when needed...

[Edouard TISSERANT <tissered@esstin.uhp-nancy.fr>]

Hello.

I wonder if it wouldn't be usefull that rtl_wait_wakeup wake up
threads immediatly and not at the next scheduler call...

It could be a solution to add a call to rtl_schedule() at the end of
rtl_wait_wazkeup.

Maybe should we call rtl_schedule() at the end of each call to
pthread_kill ?

Maybe is it a POSIX specification ?

Thanks for your answer,

				Edouard