On Mon, 2006-08-21 at 10:36 +0200, Dmitry Adamushko wrote:

> [ pipe.c.patch ]  update the "timeout" variable so that the remaining
> timeout is used in case of consequent xnsynch_sleep_on() calls.
> As I understand that may indeed happen in case when another thread
> "steals" data while this one waits to be scheduled in.

Indeed, but this case is already handled in xnsynch_sleep_on()
(see the test for the XNROBBED bit).


Xenomai-core mailing list

Reply via email to