On 03/27/2013 11:27 AM, Jan Kiszka wrote:
Nitpicking: in theory, the code should expect the migration hook to have
actually done the work, and not delayed it like Xenomai currently does
in practice.
Where does Xenomai do that? I was looking for it but didn't find a log
flush.
You mean delaying? Check per-arch xnarch_escalate(). Flushing occurs as
soon as the xnpod_schedule() caller unstalls the head domain, which has
to happen quickly after the delay was enforced.
diff --git a/kernel/ipipe/core.c b/kernel/ipipe/core.c
index 96b3a98..c4598ad 100644
--- a/kernel/ipipe/core.c
+++ b/kernel/ipipe/core.c
@@ -1102,6 +1102,8 @@ static void complete_domain_migration(void) /* hw
IRQs off */
OK, will queue this up here for the next pull request.
Ok.
--
Philippe.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
