From: Jan Kiszka <jan.kiszka@domain.hid>
To: Philippe Gerum <rpm@xenomai.org>
Cc: adeos-main <adeos-main@gna.org>
Subject: [Adeos-main] Stall bit setting in __ipipe_handle_exception
Date: Fri, 20 Feb 2009 13:26:16 +0100 [thread overview]
Message-ID: <499EA168.3000103@domain.hid> (raw)
Hi Philippe,
as already indicated, I'm starting to understand the ipipe bug Roman
sees. It seems to melt down to the following path:
- exception raised over non-root domain (__rt_event_wait...)
- root domain is stalled on entry of __ipipe_handle_exception
- fault causing task is first relaxed, then scheduled away under Linux
- scheduled-in Linux task was interrupted in __ipipe_divert_exception,
shortly before __fixup_if
- __fixup_if finds root domain stalled and propagates this to the
register set of the interrupted context (user space task running on
its first fpu instruction, having triggered device_not_available).
- return to user space task with irqs disable - bang!
Two ways to approach this:
1. Do we actually have to stall the root domain in
__ipipe_handle_exception before ipipe_trap_notify? I don't see why we
should be better off with doing this afterwards.
2. Avoid that __ipipe_divert_exception is interruptible and can pick up
the stall flag from a different Linux task. But I don't know if there
aren't more race windows like that.
Jan
--
Siemens AG, Corporate Technology, CT SE 2
Corporate Competence Center Embedded Linux
next reply other threads:[~2009-02-20 12:26 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-02-20 12:26 Jan Kiszka [this message]
2009-02-20 12:33 ` [Adeos-main] Stall bit setting in __ipipe_handle_exception Jan Kiszka
2009-02-23 12:03 ` Philippe Gerum
2009-02-23 12:24 ` Jan Kiszka
2009-02-23 12:50 ` 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=499EA168.3000103@domain.hid \
--to=jan.kiszka@domain.hid \
--cc=adeos-main@gna.org \
--cc=rpm@xenomai.org \
/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.