On Wed, Jun 12, 2013 at 5:49 PM, Al Viro <v...@zeniv.linux.org.uk> wrote: > On Wed, Jun 12, 2013 at 05:38:13PM -0700, Linus Torvalds wrote: >> >> For the particular case of dget_parent() maybe dget_parent() should >> just double-check the original dentry->d_parent pointer after getting >> the refcount on it (and if the parent has changed, drop the refcount >> again and go to the locked version). That might be a good idea anyway, >> and should fix the possible race (which would be with another cpu >> having to first rename the child to some other parent, and the >> d_invalidate() the original parent) > > Yes, but... Then we'd need to dput() that sucker if we decide we shouldn't > have grabbed that reference, after all, which would make dget_parent() > potentially blocking.
Ho humm.. interesting. I was talking about wanting to mix atomics and spinlocks earlier in this thread due to space constraints, and it strikes me that that would actually help this case a lot. Having the dentry count mix d_lock and the count in one word would allow for atomic ops like "increment if not locked", and we'd avoid this whole race entirely.. Something like "low bit of count is the lock bit" would end up being lovely for this case. Of course, that's not how our spinlocks work .. Linus -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/