mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
synced 2026-08-31 12:52:29 -04:00
nvme: add context annotations for nvme_ns_head::srcu
Add Clang lock context annotations for helpers that operate under head->srcu read-side protection. The path selection helpers invoked by nvme_find_path() access SRCU- protected data through srcu_dereference() or list APIs which iterate through rcu protected list and therefore require the caller to hold head->srcu. Annotate these helpers and nvme_find_path() with __must_hold_shared(&head->srcu) so that Clang's lock context analysis can verify the SRCU locking requirements across the call chain. Also update nvme_ns_head_ctrl_ioctl() to use __releases_shared() to match the shared SRCU read-side lock acquired through srcu_read_lock(). Reviewed-by: Christoph Hellwig <hch@lst.de> Signed-off-by: Nilay Shroff <nilay@linux.ibm.com> Signed-off-by: Keith Busch <kbusch@kernel.org>
This commit is contained in:
committed by
Keith Busch
parent
a6732bd800
commit
86f9536c2d
@@ -692,7 +692,7 @@ int nvme_ns_chr_uring_cmd_iopoll(struct io_uring_cmd *ioucmd,
|
||||
static int nvme_ns_head_ctrl_ioctl(struct nvme_ns *ns, unsigned int cmd,
|
||||
void __user *argp, struct nvme_ns_head *head, int srcu_idx,
|
||||
bool open_for_write)
|
||||
__releases(&head->srcu)
|
||||
__releases_shared(&head->srcu)
|
||||
{
|
||||
struct nvme_ctrl *ctrl = ns->ctrl;
|
||||
int ret;
|
||||
|
||||
@@ -325,6 +325,7 @@ static bool nvme_path_is_disabled(struct nvme_ns *ns)
|
||||
}
|
||||
|
||||
static struct nvme_ns *__nvme_find_path(struct nvme_ns_head *head, int node)
|
||||
__must_hold_shared(&head->srcu)
|
||||
{
|
||||
int found_distance = INT_MAX, fallback_distance = INT_MAX, distance;
|
||||
struct nvme_ns *found = NULL, *fallback = NULL, *ns;
|
||||
@@ -367,6 +368,7 @@ static struct nvme_ns *__nvme_find_path(struct nvme_ns_head *head, int node)
|
||||
|
||||
static struct nvme_ns *nvme_next_ns(struct nvme_ns_head *head,
|
||||
struct nvme_ns *ns)
|
||||
__must_hold_shared(&head->srcu)
|
||||
{
|
||||
ns = list_next_or_null_rcu(&head->list, &ns->siblings, struct nvme_ns,
|
||||
siblings);
|
||||
@@ -376,6 +378,7 @@ static struct nvme_ns *nvme_next_ns(struct nvme_ns_head *head,
|
||||
}
|
||||
|
||||
static struct nvme_ns *nvme_round_robin_path(struct nvme_ns_head *head)
|
||||
__must_hold_shared(&head->srcu)
|
||||
{
|
||||
struct nvme_ns *ns, *found = NULL;
|
||||
int node = numa_node_id();
|
||||
@@ -424,6 +427,7 @@ static struct nvme_ns *nvme_round_robin_path(struct nvme_ns_head *head)
|
||||
}
|
||||
|
||||
static struct nvme_ns *nvme_queue_depth_path(struct nvme_ns_head *head)
|
||||
__must_hold_shared(&head->srcu)
|
||||
{
|
||||
struct nvme_ns *best_opt = NULL, *best_nonopt = NULL, *ns;
|
||||
unsigned int min_depth_opt = UINT_MAX, min_depth_nonopt = UINT_MAX;
|
||||
@@ -467,6 +471,7 @@ static inline bool nvme_path_is_optimized(struct nvme_ns *ns)
|
||||
}
|
||||
|
||||
static struct nvme_ns *nvme_numa_path(struct nvme_ns_head *head)
|
||||
__must_hold_shared(&head->srcu)
|
||||
{
|
||||
int node = numa_node_id();
|
||||
struct nvme_ns *ns;
|
||||
@@ -492,6 +497,7 @@ inline struct nvme_ns *nvme_find_path(struct nvme_ns_head *head)
|
||||
}
|
||||
|
||||
static bool nvme_available_path(struct nvme_ns_head *head)
|
||||
__must_hold_shared(&head->srcu)
|
||||
{
|
||||
struct nvme_ns *ns;
|
||||
|
||||
|
||||
@@ -1033,7 +1033,8 @@ extern const struct attribute_group *nvme_dev_attr_groups[];
|
||||
extern const struct block_device_operations nvme_bdev_ops;
|
||||
|
||||
void nvme_delete_ctrl_sync(struct nvme_ctrl *ctrl);
|
||||
struct nvme_ns *nvme_find_path(struct nvme_ns_head *head);
|
||||
struct nvme_ns *nvme_find_path(struct nvme_ns_head *head)
|
||||
__must_hold_shared(&head->srcu);
|
||||
#ifdef CONFIG_NVME_MULTIPATH
|
||||
static inline bool nvme_ctrl_use_ana(struct nvme_ctrl *ctrl)
|
||||
{
|
||||
|
||||
Reference in New Issue
Block a user