lkml.org 
[lkml]   [2012]   [Mar]   [7]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: [RFC patch] spindep: add cross cache lines checking
From
Date
On Wed, 2012-03-07 at 14:39 +0100, Ingo Molnar wrote:
> * Alex Shi <alex.shi@intel.com> wrote:
>
> > > I think the check should be (__alignof__(lock) <
> > > __alignof__(rwlock_t)), otherwise it will still pass when
> > > you have structure with attribute((packed,aligned(2)))
> >
> > reasonable!
> >
> > >> 1, it is alignof bug for default gcc on my fc15 and Ubuntu 11.10 etc?
> > >>
> > >> struct sub {
> > >> int raw_lock;
> > >> char a;
> > >> };
> > >> struct foo {
> > >> struct sub z;
> > >> int slk;
> > >> char y;
> > >> }__attribute__((packed));
> > >>
> > >> struct foo f1;
> > >>
> > >> __alignof__(f1.z.raw_lock) is 4, but its address actually can align on
> > >> one byte.
> > >
> > > That looks like correct behavior, because the alignment of
> > > raw_lock inside of struct sub is still 4. But it does mean
> > > that there can be cases where the compile-time check is not
> > > sufficient, so we might want the run-time check as well, at
> > > least under some config option.
> >
> > what's your opinion of this, Ingo?
>
> Dunno. How many real bugs have you found via this patch?

None. Guess stupid code was shot in lkml reviewing. But if the patch in,
it is helpful to block stupid code in developing.
>
> Thanks,
>
> Ingo




\
 
 \ /
  Last update: 2012-03-08 03:23    [W:0.075 / U:1.140 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site