From: Michal Simek <monstr@monstr.eu>
To: Arnd Bergmann <arnd@arndb.de>
Cc: Linux Kernel list <linux-kernel@vger.kernel.org>,
LTP <ltp-list@lists.sourceforge.net>
Subject: Re: access_ok macor
Date: Tue, 14 Jul 2009 19:45:31 +0200 [thread overview]
Message-ID: <4A5CC43B.1020402@monstr.eu> (raw)
In-Reply-To: <200907141913.21240.arnd@arndb.de>
Arnd Bergmann wrote:
> On Tuesday 14 July 2009, Michal Simek wrote:
>> when the code tried to read/write from unaligned address (and in cpu is turn on unaligned exception)
>> then is caused unaligned exception and asm code assemble/return value which is on that unaligned
>> address. (Assemble it that read/write every byte separately). That will be harder to prevent all
>> this cases because unaligned exception is in generic code.
>> What do you mean add __range_ok? Range checking is ok. The problem is when in case get_user kernel
>> try to load unaligned addr - unaligned exception is perform and try to load that value separately.
>> If that page is not there, page fault handler is called and not find it, it is performed search
>> from exception table and that address is not there of course - because address in pc is generic
>> unaligned code. I think that handling this needs more code.
>> Maybe if the address with from unaligned exception handler (there are some address which can caused
>> it) and find out which aligned address is there and find out proper fixup for it.
>> I think that this could work.
>>
>> What do you think?
>
> I think the key point is that the kernel should never try an unaligned
> access. Other architectures already rely on this, so you can too.
I think that especially for this case get/put_user (+ user_copy macros)
kernel can do it because just copy/paste data from user space and data
can be unaligned.
> Instead of doing an aligned access from the unaligned exception handler,
> you should not access the data at all when you come from kernel mode
> but only search the fixup table to see if you should continue anyway.
>
> Sorry for adding confusion by mentioning the __range_ok, which is addressing
> a separate problem. I should have made that clearer.
it is ok.
>
> In pseudo-code, I think you should do:
>
> void unaligned_exception(struct pt_regs *regs, unsigned long address)
> {
> if (kernel_mode(regs)) {
> /*
> * unaligned access not allowed in kernel,
> * but search exception table.
> */
> bad_page_fault(regs, address, 0);
> } else {
> if (!access_ok(address, 4))
> force_sig(SIGBUS, current);
> else
> fixup_unaligned_access(regs);
> }
> }
Not sure about this idea because I think we have to use unaligned access for kernel too.
Your idea to skip unaligned access for kernel code should work but I think we have to find out
a solution for case when we need to use it in kernel code.
My idea was
void bad_page_fault()
{
fixup = search_exception_tables(regs->pc);
if (fixup) {
regs->pc = fixup->fixup;
return;
}
fixup = search_exception_tables(unaligned exception addr & 0xffff fffc) //mask last 2bits to get
aligned address
if (fixup) {
regs->pc = fixup->fixup;
return;
}
die();
}
but not sure if will work because this setup bad fixup. In case that tlb load correct data
and kernel is able to access that place then unaligned exception needn't caused next page fault
and exception handler can load that value.
Maybe this could be work.
Michal
>
> Arnd <><
--
Michal Simek, Ing. (M.Eng)
w: www.monstr.eu p: +42-0-721842854
next prev parent reply other threads:[~2009-07-14 17:45 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-07-14 12:56 access_ok macor Michal Simek
2009-07-14 13:21 ` Arnd Bergmann
2009-07-14 13:45 ` Michal Simek
2009-07-14 14:45 ` Arnd Bergmann
2009-07-14 15:06 ` Michal Simek
[not found] ` <200907141652.59049.arnd@arndb.de>
[not found] ` <4A5CAEFF.9080206@monstr.eu>
2009-07-14 16:43 ` Arnd Bergmann
2009-07-14 16:56 ` Michal Simek
2009-07-14 17:13 ` Arnd Bergmann
2009-07-14 17:45 ` Michal Simek [this message]
2009-07-15 9:21 ` Paul Mundt
2009-07-15 10:03 ` Michal Simek
[not found] ` <9e6f3dfd0907141811p512b4edp3f9dd0fdeae1123e@mail.gmail.com>
2009-07-15 10:14 ` Arnd Bergmann
2009-07-15 11:39 ` Michal Simek
2009-07-15 12:05 ` Ralf Baechle
2009-07-15 13:27 ` Arnd Bergmann
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=4A5CC43B.1020402@monstr.eu \
--to=monstr@monstr.eu \
--cc=arnd@arndb.de \
--cc=linux-kernel@vger.kernel.org \
--cc=ltp-list@lists.sourceforge.net \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox