Re: [rtl] rtl_mutex.c : rtl_wait_wakeup doesn't wakeup when needed...

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

rtl_wait_wakeup (wakeup a waitqueue in rtl_mutex.c) doesn't call
rtl_wakeup_np, but it call pthread_kill, which doesn't call
rtl_schedule.


-------------------
> 
>  rtl_wakeup_np_does_ call rtl_schedule.
> 
> On Mon, May 21, 2001 at 09:07:26AM +0200, Edouard TISSERANT wrote:
> > 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
> > 
> > -- [rtl] ---
> > To unsubscribe:
> > echo "unsubscribe rtl" | mail majordomo@rtlinux.org OR
> > echo "unsubscribe rtl <Your_email>" | mail majordomo@rtlinux.org
> > --
> > For more information on Real-Time Linux see:
> > http://www.rtlinux.org/rtlinux/
> -- [rtl] ---
> To unsubscribe:
> echo "unsubscribe rtl" | mail majordomo@rtlinux.org OR
> echo "unsubscribe rtl <Your_email>" | mail majordomo@rtlinux.org
> --
> For more information on Real-Time Linux see:
> http://www.rtlinux.org/rtlinux/
>