From: Cyrill Gorcunov <gorcunov@gmail.com>
To: Ingo Molnar <mingo@elte.hu>
Cc: "H. Peter Anvin" <hpa@zytor.com>,
Thomas Gleixner <tglx@linutronix.de>,
LKML <linux-kernel@vger.kernel.org>
Subject: Re: [PATCH -tip] x86: smp_scan_config - use signed long as scan area size
Date: Fri, 21 Aug 2009 20:49:57 +0400 [thread overview]
Message-ID: <20090821164957.GC5373@lenovo> (raw)
In-Reply-To: <20090821160426.GA17731@elte.hu>
[Ingo Molnar - Fri, Aug 21, 2009 at 06:04:26PM +0200]
|
| * Cyrill Gorcunov <gorcunov@openvz.org> wrote:
|
| > Unsigned value potentially could be overlapped
| > if length parameter is that: length % 16 != 0.
| >
| > This is not a problem at moment since all values
| > we pass now are 16 divisible (0x400 and 0x10000).
| >
| > Though there is no need unsigned value anyway.
| > Max range pointed out by MP specification is
| > in kilobytes so plain "signed long" is enough.
| >
| > This allow us to be on a safe side.
| >
| > Signed-off-by: Cyrill Gorcunov <gorcunov@openvz.org>
| > ---
| >
...
|
| Hm, does a BUILD_BUG_ON((length & 15) != 0) line catch incorrectly
| aligned length parameters?
|
| Ingo
|
For my gcc it doesn't (gcc (Ubuntu 4.3.3-5ubuntu4) 4.3.3). Perhaps
some clever future gcc version would be able to note that constant is passed as argument
and catch it. But at moment it doesn't. (Or maybe there is some cmd option
which force compiler to inspect calls more precisely?)
We could use BUG_ON as well here but I think it doesn't worth it.
0xefffffff is enough to scan 1G of physical memory which we hard
to believe ever do (note 16 byte step size here). And code is not
getting bigger.
Ingo, current situation is not a problem since we know which
values we're passing so I thought about possible (if ever) errors
only.
Also we could introduce inline helper to check the size alignment
(in this case gcc will recognize constants I believe and catch
nits on build time). But I really doubt it is worth thing to do.
-- Cyrill
prev parent reply other threads:[~2009-08-21 16:49 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-08-20 17:34 [PATCH -tip] x86: smp_scan_config - use signed long as scan area size Cyrill Gorcunov
2009-08-21 16:04 ` Ingo Molnar
2009-08-21 16:49 ` Cyrill Gorcunov [this message]
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=20090821164957.GC5373@lenovo \
--to=gorcunov@gmail.com \
--cc=hpa@zytor.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@elte.hu \
--cc=tglx@linutronix.de \
/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