[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <164982968798.684294.15817853329823976469.stgit@dwillia2-desk3.amr.corp.intel.com>
Date: Tue, 12 Apr 2022 23:01:28 -0700
From: Dan Williams <dan.j.williams@...el.com>
To: linux-cxl@...r.kernel.org
Cc: Ira Weiny <ira.weiny@...el.com>, Dave Jiang <dave.jiang@...el.com>,
Peter Zijlstra <peterz@...radead.org>,
Jonathan Cameron <Jonathan.Cameron@...wei.com>,
Vishal Verma <vishal.l.verma@...el.com>,
Ben Widawsky <ben.widawsky@...el.com>,
Kevin Tian <kevin.tian@...el.com>,
Pierre-Louis Bossart <pierre-louis.bossart@...ux.intel.com>,
Alison Schofield <alison.schofield@...el.com>,
Boqun Feng <boqun.feng@...il.com>,
Ingo Molnar <mingo@...hat.com>,
Greg Kroah-Hartman <gregkh@...uxfoundation.org>,
Will Deacon <will@...nel.org>,
Waiman Long <longman@...hat.com>,
"Rafael J. Wysocki" <rafael@...nel.org>,
gregkh@...uxfoundation.org, linux-kernel@...r.kernel.org,
nvdimm@...ts.linux.dev
Subject: [PATCH v2 00/12] device-core: Enable device_lock() lockdep
validation
Changes since v1 [1]:
- Improve the clarity of the cover letter and changelogs of the
major patches (Patch2 and Patch12) (Pierre, Kevin, and Dave)
- Fix device_lock_interruptible() false negative deadlock detection
(Kevin)
- Fix off-by-one error in the device_set_lock_class() enable case (Kevin)
- Spelling fixes in Patch2 changelog (Pierre)
- Compilation fixes when both CONFIG_CXL_BUS=n and
CONFIG_LIBNVDIMM=n. (0day robot)
[1]: https://lore.kernel.org/all/164610292916.2682974.12924748003366352335.stgit@dwillia2-desk3.amr.corp.intel.com/
---
The device_lock() is why the lockdep_set_novalidate_class() API exists.
The lock is taken in too many disparate contexts, and lockdep by design
assumes that all device_lock() acquisitions are identical. The lack of
lockdep coverage leads to deadlock scenarios landing upstream. To
mitigate that problem the lockdep_mutex was added [2].
The lockdep_mutex lets a subsystem mirror device_lock() acquisitions
without lockdep_set_novalidate_class() to gain some limited lockdep
coverage. The mirroring approach is limited to taking the device_lock()
after-the-fact in a subsystem's 'struct bus_type' operations and fails
to cover device_lock() acquisition in the driver-core. It also can only
track the needs of one subsystem at a time so, for example the kernel
needs to be recompiled between CONFIG_PROVE_NVDIMM_LOCKING and
CONFIG_PROVE_CXL_LOCKING depending on which subsystem is being
regression tested. Obviously that also means that intra-subsystem
locking dependencies can not be validated.
Two enhancements are proposed to improve the current state of
device_lock() lockdep validation:
1/ Communicate a lock class to the device-core and let it acquire
dev->lockdep_mutex per the subsystem's nested locking expectations.
2/ Go further and provide a lockdep_mutex per-subsystem so each
has the full span of MAX_LOCKDEP_SUBCLASSES available for its use.
This enabling has already prevented at least one device_lock() deadlock
from making its way upstream.
[2]: commit 87a30e1f05d7 ("driver-core, libnvdimm: Let device subsystems add local lockdep coverage")
---
Dan Williams (12):
device-core: Move device_lock() lockdep init to a helper
device-core: Add dev->lock_class to enable device_lock() lockdep validation
cxl/core: Refactor a cxl_lock_class() out of cxl_nested_lock()
cxl/core: Remove cxl_device_lock()
cxl/core: Clamp max lock_class
cxl/core: Use dev->lock_class for device_lock() lockdep validation
cxl/acpi: Add a device_lock() lock class for the root platform device
libnvdimm: Refactor an nvdimm_lock_class() helper
ACPI: NFIT: Drop nfit_device_lock()
libnvdimm: Drop nd_device_lock()
libnvdimm: Enable lockdep validation
device-core: Enable multi-subsystem device_lock() lockdep validation
drivers/acpi/nfit/core.c | 30 ++++---
drivers/acpi/nfit/nfit.h | 24 ------
drivers/base/core.c | 5 -
drivers/cxl/acpi.c | 1
drivers/cxl/core/memdev.c | 1
drivers/cxl/core/pmem.c | 6 +
drivers/cxl/core/port.c | 56 ++++++-------
drivers/cxl/cxl.h | 76 +++++++-----------
drivers/cxl/mem.c | 4 -
drivers/cxl/pmem.c | 12 +--
drivers/cxl/port.c | 2
drivers/nvdimm/btt_devs.c | 16 ++--
drivers/nvdimm/bus.c | 26 +++---
drivers/nvdimm/core.c | 10 +-
drivers/nvdimm/dimm_devs.c | 8 +-
drivers/nvdimm/namespace_devs.c | 36 ++++-----
drivers/nvdimm/nd-core.h | 51 +++---------
drivers/nvdimm/pfn_devs.c | 24 +++---
drivers/nvdimm/pmem.c | 2
drivers/nvdimm/region.c | 2
drivers/nvdimm/region_devs.c | 16 ++--
include/linux/device.h | 162 ++++++++++++++++++++++++++++++++++++++-
lib/Kconfig.debug | 23 ------
23 files changed, 325 insertions(+), 268 deletions(-)
--
base-commit: ce522ba9ef7e2d9fb22a39eb3371c0c64e2a433e
Powered by blists - more mailing lists