Skip to content

Commit ffb8f73

Browse files
author
Maxim Levitsky
committed
locking/mutex: implement mutex_lock_killable_nest_lock
JIRA: https://issues.redhat.com/browse/RHEL-74410 commit fb49f07 Author: Maxim Levitsky <mlevitsk@redhat.com> Date: Mon May 12 14:04:03 2025 -0400 locking/mutex: implement mutex_lock_killable_nest_lock KVM's SEV intra-host migration code needs to lock all vCPUs of the source and the target VM, before it proceeds with the migration. The number of vCPUs that belong to each VM is not bounded by anything except a self-imposed KVM limit of CONFIG_KVM_MAX_NR_VCPUS vCPUs which is significantly larger than the depth of lockdep's lock stack. Luckily, the locks in both of the cases mentioned above, are held under the 'kvm->lock' of each VM, which means that we can use the little known lockdep feature called a "nest_lock" to support this use case in a cleaner way, compared to the way it's currently done. Implement and expose 'mutex_lock_killable_nest_lock' for this purpose. Signed-off-by: Maxim Levitsky <mlevitsk@redhat.com> Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org> Message-ID: <20250512180407.659015-3-mlevitsk@redhat.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Maxim Levitsky <mlevitsk@redhat.com>
1 parent 3a7b42b commit ffb8f73

File tree

2 files changed

+17
-7
lines changed

2 files changed

+17
-7
lines changed

include/linux/mutex.h

Lines changed: 13 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -156,16 +156,15 @@ static inline int __devm_mutex_init(struct device *dev, struct mutex *lock)
156156
#ifdef CONFIG_DEBUG_LOCK_ALLOC
157157
extern void mutex_lock_nested(struct mutex *lock, unsigned int subclass);
158158
extern void _mutex_lock_nest_lock(struct mutex *lock, struct lockdep_map *nest_lock);
159-
160159
extern int __must_check mutex_lock_interruptible_nested(struct mutex *lock,
161160
unsigned int subclass);
162-
extern int __must_check mutex_lock_killable_nested(struct mutex *lock,
163-
unsigned int subclass);
161+
extern int __must_check _mutex_lock_killable(struct mutex *lock,
162+
unsigned int subclass, struct lockdep_map *nest_lock);
164163
extern void mutex_lock_io_nested(struct mutex *lock, unsigned int subclass);
165164

166165
#define mutex_lock(lock) mutex_lock_nested(lock, 0)
167166
#define mutex_lock_interruptible(lock) mutex_lock_interruptible_nested(lock, 0)
168-
#define mutex_lock_killable(lock) mutex_lock_killable_nested(lock, 0)
167+
#define mutex_lock_killable(lock) _mutex_lock_killable(lock, 0, NULL)
169168
#define mutex_lock_io(lock) mutex_lock_io_nested(lock, 0)
170169

171170
#define mutex_lock_nest_lock(lock, nest_lock) \
@@ -174,6 +173,15 @@ do { \
174173
_mutex_lock_nest_lock(lock, &(nest_lock)->dep_map); \
175174
} while (0)
176175

176+
#define mutex_lock_killable_nest_lock(lock, nest_lock) \
177+
( \
178+
typecheck(struct lockdep_map *, &(nest_lock)->dep_map), \
179+
_mutex_lock_killable(lock, 0, &(nest_lock)->dep_map) \
180+
)
181+
182+
#define mutex_lock_killable_nested(lock, subclass) \
183+
_mutex_lock_killable(lock, subclass, NULL)
184+
177185
#else
178186
extern void mutex_lock(struct mutex *lock);
179187
extern int __must_check mutex_lock_interruptible(struct mutex *lock);
@@ -183,6 +191,7 @@ extern void mutex_lock_io(struct mutex *lock);
183191
# define mutex_lock_nested(lock, subclass) mutex_lock(lock)
184192
# define mutex_lock_interruptible_nested(lock, subclass) mutex_lock_interruptible(lock)
185193
# define mutex_lock_killable_nested(lock, subclass) mutex_lock_killable(lock)
194+
# define mutex_lock_killable_nest_lock(lock, nest_lock) mutex_lock_killable(lock)
186195
# define mutex_lock_nest_lock(lock, nest_lock) mutex_lock(lock)
187196
# define mutex_lock_io_nested(lock, subclass) mutex_lock_io(lock)
188197
#endif

kernel/locking/mutex.c

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -814,11 +814,12 @@ _mutex_lock_nest_lock(struct mutex *lock, struct lockdep_map *nest)
814814
EXPORT_SYMBOL_GPL(_mutex_lock_nest_lock);
815815

816816
int __sched
817-
mutex_lock_killable_nested(struct mutex *lock, unsigned int subclass)
817+
_mutex_lock_killable(struct mutex *lock, unsigned int subclass,
818+
struct lockdep_map *nest)
818819
{
819-
return __mutex_lock(lock, TASK_KILLABLE, subclass, NULL, _RET_IP_);
820+
return __mutex_lock(lock, TASK_KILLABLE, subclass, nest, _RET_IP_);
820821
}
821-
EXPORT_SYMBOL_GPL(mutex_lock_killable_nested);
822+
EXPORT_SYMBOL_GPL(_mutex_lock_killable);
822823

823824
int __sched
824825
mutex_lock_interruptible_nested(struct mutex *lock, unsigned int subclass)

0 commit comments

Comments
 (0)