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