Re: [PATCH] nvme: fix lockdep warning in nvme_mpath_clear_current_path

From: Johannes Thumshirn
Date: Mon May 14 2018 - 08:57:34 EST


On Mon, May 14, 2018 at 05:42:30AM -0700, Christoph Hellwig wrote:
> > extern unsigned int nvme_io_timeout;
> > #define NVME_IO_TIMEOUT (nvme_io_timeout * HZ)
> > @@ -454,7 +455,9 @@ static inline void nvme_mpath_clear_current_path(struct nvme_ns *ns)
> > {
> > struct nvme_ns_head *head = ns->head;
> >
> > - if (head && ns == srcu_dereference(head->current_path, &head->srcu))
> > + if (head &&
> > + ns == rcu_dereference_protected(head->current_path,
> > + lockdep_is_held(&ns->ctrl->subsys->lock)))
> > rcu_assign_pointer(head->current_path, NULL);
> > }
> > struct nvme_ns *nvme_find_path(struct nvme_ns_head *head);
>
> We don't really dereference it at all in fact, but just check the
> pointers for equality. I wonder if there is a better way to do this,
> as my ANA patches add a caller without the lock (and withou SRU
> protection either now that I think of it) - for a pure pointer compare
> we really should not need any sort of protection.

Uff maybe, but are you sure a comparison of two pointer is always
atomic (on all architectures)?

Paul, can you shed some light on us mere mortal, whether the above
rcu_dereference_protected() is needed or if a simple ns ==
head->current_path is sufficient.

Thanks,
Johannes
--
Johannes Thumshirn Storage
jthumshirn@xxxxxxx +49 911 74053 689
SUSE LINUX GmbH, Maxfeldstr. 5, 90409 Nürnberg
GF: Felix Imendörffer, Jane Smithard, Graham Norton
HRB 21284 (AG Nürnberg)
Key fingerprint = EC38 9CAB C2C4 F25D 8600 D0D0 0393 969D 2D76 0850