Re: [PATCH] xnsynch_requeue_sleeper: Return early when !XNSYNCH_PRIO

Richard Weinberger <[email protected]>
Newsgroups dev.linux.lists.xenomai
Message-ID <[email protected]>
----- Ursprüngliche Mail -----
> Von: "Jan Kiszka" <[email protected]>
> But XNSYNCH_PI != XNSYNCH_PRIO. PI implies PRIO, but if we enter under
> prio-ceiling conditions, we won't bail out here, and we won't get the
> BUG_ON anymore.
> 
> Please check if you use prio-ceiling mutex instead what the behavior is.
> Add that to your test case as well.

With a prio-ceiling mutex I'm unable to trigger that code path.

This is my new (hopefully proper) test case:
https://gitlab.com/Xenomai/legacy/xenomai-hacker-space/-/commit/b35c9b37ab4beec5084aa8303d91fec2bf3b4eba

Thanks,
//richard
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.