From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
To: Jan Kiszka <jan.kiszka@domain.hid>
Cc: Xenomai core <Xenomai-core@domain.hid>
Subject: Re: [Xenomai-core] [Xenomai-git] Jan Kiszka : nucleus: Fix race between gatekeeper and thread deletion
Date: Tue, 12 Jul 2011 13:41:53 +0200 [thread overview]
Message-ID: <4E1C3301.2030203@domain.hid> (raw)
In-Reply-To: <4E1C302A.8050309@domain.hid>
On 07/12/2011 01:29 PM, Jan Kiszka wrote:
>> I find all this complicated for a very small corner-case, so, I keep
>> looking for a simpler solution. Let us try something else.
>
> It's rather the contrary: this solution is straightforward IMHO.
>
>>
>> If the thread is woken up for whatever reason before the gatekeeper,
>> then we will hit the following "if" in xnshadow_harden, can we set the
>> target to NULL at this point if it is the current thread? With a cmpxchg
>> perhaps?
>
> Gatekeeper and target task aren't synchronized, are they?
That is another reason why the solution to synchronize using the
semaphore may not work. If the thread hits the call to down before the
gatekeeper is woken up, then the gatekeeper test may see the target
thread as suspended, and we may return from the call to "down" in
xenomai domain.
--
Gilles.
next prev parent reply other threads:[~2011-07-12 11:41 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <E1QfDvt-0003TN-G7@domain.hid>
2011-07-11 18:53 ` [Xenomai-core] [Xenomai-git] Jan Kiszka : nucleus: Fix race between gatekeeper and thread deletion Gilles Chanteperdrix
2011-07-11 19:10 ` Jan Kiszka
2011-07-11 19:16 ` Jan Kiszka
2011-07-11 19:51 ` Gilles Chanteperdrix
2011-07-11 19:59 ` Jan Kiszka
2011-07-11 20:02 ` Gilles Chanteperdrix
2011-07-11 20:06 ` Jan Kiszka
2011-07-11 20:09 ` Gilles Chanteperdrix
2011-07-11 20:12 ` Jan Kiszka
2011-07-12 6:41 ` Gilles Chanteperdrix
2011-07-12 7:22 ` Jan Kiszka
2011-07-12 7:49 ` Gilles Chanteperdrix
2011-07-12 10:59 ` Gilles Chanteperdrix
2011-07-12 11:00 ` Jan Kiszka
2011-07-12 11:04 ` Gilles Chanteperdrix
2011-07-12 11:06 ` Jan Kiszka
2011-07-12 11:08 ` Gilles Chanteperdrix
2011-07-12 11:10 ` Jan Kiszka
2011-07-12 11:26 ` Gilles Chanteperdrix
2011-07-12 11:29 ` Jan Kiszka
2011-07-12 11:41 ` Gilles Chanteperdrix [this message]
2011-07-12 11:56 ` Jan Kiszka
2011-07-12 11:58 ` Jan Kiszka
2011-07-12 12:06 ` Gilles Chanteperdrix
2011-07-12 12:13 ` Jan Kiszka
2011-07-12 12:57 ` Jan Kiszka
2011-07-12 15:48 ` Philippe Gerum
2011-07-12 16:18 ` Jan Kiszka
2011-07-12 17:31 ` Gilles Chanteperdrix
2011-07-12 17:34 ` Jan Kiszka
2011-07-12 17:38 ` Gilles Chanteperdrix
2011-07-12 17:43 ` Jan Kiszka
2011-07-13 18:39 ` Gilles Chanteperdrix
2011-07-13 19:04 ` Jan Kiszka
2011-07-13 19:12 ` Gilles Chanteperdrix
2011-07-14 20:57 ` Jan Kiszka
2011-07-15 12:30 ` Gilles Chanteperdrix
2011-07-15 13:10 ` Jan Kiszka
2011-07-16 8:13 ` Jan Kiszka
2011-07-16 8:52 ` Philippe Gerum
2011-07-16 9:15 ` Jan Kiszka
2011-07-16 9:56 ` Philippe Gerum
2011-07-16 17:16 ` Jan Kiszka
2011-07-13 19:35 ` Philippe Gerum
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4E1C3301.2030203@domain.hid \
--to=gilles.chanteperdrix@xenomai.org \
--cc=Xenomai-core@domain.hid \
--cc=jan.kiszka@domain.hid \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.