[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <E1OwGz7-0007Cu-CC@pomaz-ex.szeredi.hu>
Date: Thu, 16 Sep 2010 18:06:53 +0200
From: Miklos Szeredi <miklos@...redi.hu>
To: paulmck@...ux.vnet.ibm.com
CC: dhowells@...hat.com, miklos@...redi.hu,
linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org
Subject: Re: memory barrier question
On Thu, 16 Sep 2010, Paul E. McKenney wrote:
> On Thu, Sep 16, 2010 at 03:30:56PM +0100, David Howells wrote:
> > Miklos Szeredi <miklos@...redi.hu> wrote:
> >
> > > Is the rmb() really needed?
> > >
> > > Take this code from fs/namei.c for example:
> > >
> > > inode = next.dentry->d_inode;
> > > if (!inode)
> > > goto out_dput;
> > >
> > > if (inode->i_op->follow_link) {
> > >
> > > It happily dereferences dentry->d_inode without a barrier after
> > > checking it for non-null, while that d_inode might have just been
> > > initialized on another CPU with a freshly created inode. There's
> > > absolutely no synchornization with that on this side.
> >
> > Perhaps it's not necessary; once set, how likely is i_op to be changed once
> > I_NEW is cleared?
>
> Are the path_get()s protecting this?
No, when creating a file the dentry will go from negative to positive
independently from lookup. The dentry can get instantiated with an
inode between the path_get() and dereferencing ->d_inode.
>
> If there is no protection, then something like rcu_dereference() is
> needed for the assignment from next.dentry->d_inode.
Do I understand correctly that the problem is that a CPU may have a
stale cache associated with *inode, one that was loaded before the
write barrier took effect?
Funny that such a bug could stay unnoticed in so often excercised
code. Yeah I know it's alpha only. I wonder how much of this pattern
exists in the kernel elswhere without the necessary barriers.
Thanks,
Miklos
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists