Module: xenomai-jki Branch: for-forge Commit: 2f2f4c76b7a79c772d7224ca7591a23136b131f3 URL: http://git.xenomai.org/?p=xenomai-jki.git;a=commit;h=2f2f4c76b7a79c772d7224ca7591a23136b131f3
Author: Jan Kiszka <[email protected]> Date: Mon May 9 21:22:23 2016 +0200 cobalt/kernel: Trigger missing reschedule after PP deboost xnsynch_release also needs to tell the caller about the potential need for a reschedule after deboosting for prio-protection. Signed-off-by: Jan Kiszka <[email protected]> --- kernel/cobalt/synch.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/kernel/cobalt/synch.c b/kernel/cobalt/synch.c index 0130844..ee52dbd 100644 --- a/kernel/cobalt/synch.c +++ b/kernel/cobalt/synch.c @@ -949,8 +949,10 @@ bool xnsynch_release(struct xnsynch *synch, struct xnthread *curr) else if (h != currh) /* FLCEIL set, FLCLAIM clear. */ atomic_set(lockp, XN_NO_HANDLE); - if (synch->status & XNSYNCH_PP) + if (synch->status & XNSYNCH_PP) { clear_pp_boost(synch, curr); + need_resched = true; + } xnlock_put_irqrestore(&nklock, s); _______________________________________________ Xenomai-git mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai-git
