All of lore.kernel.org
 help / color / mirror / Atom feed
* [PATCH v5 0/6] KVM: lockdep improvements
@ 2025-05-12 18:04 ` Maxim Levitsky
  0 siblings, 0 replies; 38+ messages in thread
From: Maxim Levitsky @ 2025-05-12 18:04 UTC (permalink / raw)
  To: kvm
  Cc: Suzuki K Poulose, Jing Zhang, H. Peter Anvin, Sebastian Ott,
	Shusen Li, Waiman Long, Thomas Gleixner, linux-arm-kernel,
	Bjorn Helgaas, Borislav Petkov, Anup Patel, Will Deacon,
	Palmer Dabbelt, Alexander Potapenko, kvmarm, Keisuke Nishimura,
	Zenghui Yu, Peter Zijlstra, Atish Patra, Joey Gouly, x86,
	Marc Zyngier, Sean Christopherson, Andre Przywara, Kunkun Jiang,
	linux-riscv, Randy Dunlap, Paolo Bonzini, Boqun Feng,
	Catalin Marinas, Alexandre Ghiti, linux-kernel, Dave Hansen,
	Oliver Upton, kvm-riscv, Maxim Levitsky, Ingo Molnar,
	Paul Walmsley, Albert Ou

This is	a continuation of my 'extract lock_all_vcpus/unlock_all_vcpus'
patch series.

Implement the suggestion of using lockdep's "nest_lock" feature
when locking all KVM vCPUs by adding mutex_trylock_nest_lock() and
mutex_lock_killable_nest_lock() and use these functions	in the
implementation of the
kvm_trylock_all_vcpus()/kvm_lock_all_vcpus()/kvm_unlock_all_vcpus().

Those changes allow removal of a custom workaround that was needed to
silence the lockdep warning in the SEV code and also stop lockdep from
complaining in case of ARM and RISC-V code which doesn't include the above
mentioned workaround.

Finally, it's worth noting that this patch series removes a fair
amount of duplicate code by implementing the logic in one place.

V5: addressed review feedback.

Best regards,
	Maxim Levitsky

Maxim Levitsky (6):
  locking/mutex: implement mutex_trylock_nested
  locking/mutex: implement mutex_lock_killable_nest_lock
  KVM: add kvm_lock_all_vcpus and kvm_trylock_all_vcpus
  x86: KVM: SVM: use kvm_lock_all_vcpus instead of a custom
    implementation
  KVM: arm64: use kvm_trylock_all_vcpus when locking all vCPUs
  RISC-V: KVM: use kvm_trylock_all_vcpus when locking all vCPUs

 arch/arm64/include/asm/kvm_host.h     |  3 --
 arch/arm64/kvm/arch_timer.c           |  4 +-
 arch/arm64/kvm/arm.c                  | 43 ----------------
 arch/arm64/kvm/vgic/vgic-init.c       |  4 +-
 arch/arm64/kvm/vgic/vgic-its.c        |  8 +--
 arch/arm64/kvm/vgic/vgic-kvm-device.c | 12 ++---
 arch/riscv/kvm/aia_device.c           | 34 +------------
 arch/x86/kvm/svm/sev.c                | 72 ++-------------------------
 include/linux/kvm_host.h              |  4 ++
 include/linux/mutex.h                 | 32 ++++++++++--
 kernel/locking/mutex.c                | 21 +++++---
 virt/kvm/kvm_main.c                   | 59 ++++++++++++++++++++++
 12 files changed, 126 insertions(+), 170 deletions(-)

-- 
2.46.0



-- 
kvm-riscv mailing list
kvm-riscv@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/kvm-riscv

^ permalink raw reply	[flat|nested] 38+ messages in thread
* Re: [PATCH v5 3/6] KVM: add kvm_lock_all_vcpus and kvm_trylock_all_vcpus
@ 2025-05-15 22:20 kernel test robot
  0 siblings, 0 replies; 38+ messages in thread
From: kernel test robot @ 2025-05-15 22:20 UTC (permalink / raw)
  To: oe-kbuild; +Cc: lkp, Dan Carpenter

BCC: lkp@intel.com
CC: oe-kbuild-all@lists.linux.dev
In-Reply-To: <20250512180407.659015-4-mlevitsk@redhat.com>
References: <20250512180407.659015-4-mlevitsk@redhat.com>
TO: Maxim Levitsky <mlevitsk@redhat.com>
TO: kvm@vger.kernel.org
CC: Suzuki K Poulose <suzuki.poulose@arm.com>
CC: Jing Zhang <jingzhangos@google.com>
CC: "H. Peter Anvin" <hpa@zytor.com>
CC: Sebastian Ott <sebott@redhat.com>
CC: Shusen Li <lishusen2@huawei.com>
CC: Waiman Long <longman@redhat.com>
CC: Thomas Gleixner <tglx@linutronix.de>
CC: linux-arm-kernel@lists.infradead.org
CC: Bjorn Helgaas <helgaas@kernel.org>
CC: Borislav Petkov <bp@alien8.de>
CC: Anup Patel <anup@brainfault.org>
CC: Will Deacon <will@kernel.org>
CC: Palmer Dabbelt <palmer@dabbelt.com>
CC: Alexander Potapenko <glider@google.com>
CC: kvmarm@lists.linux.dev
CC: Keisuke Nishimura <keisuke.nishimura@inria.fr>
CC: Zenghui Yu <yuzenghui@huawei.com>
CC: Peter Zijlstra <peterz@infradead.org>
CC: Atish Patra <atishp@atishpatra.org>
CC: Joey Gouly <joey.gouly@arm.com>
CC: x86@kernel.org
CC: Marc Zyngier <maz@kernel.org>
CC: Sean Christopherson <seanjc@google.com>
CC: Andre Przywara <andre.przywara@arm.com>
CC: Kunkun Jiang <jiangkunkun@huawei.com>
CC: linux-riscv@lists.infradead.org
CC: Randy Dunlap <rdunlap@infradead.org>
CC: Paolo Bonzini <pbonzini@redhat.com>
CC: Boqun Feng <boqun.feng@gmail.com>

Hi Maxim,

kernel test robot noticed the following build warnings:

[auto build test WARNING on kvmarm/next]
[also build test WARNING on kvm/queue kvm/next tip/locking/core linus/master v6.15-rc6 next-20250515]
[cannot apply to kvm/linux-next]
[If your patch is applied to the wrong git tree, kindly drop us a note.
And when submitting patch, we suggest to use '--base' as documented in
https://git-scm.com/docs/git-format-patch#_base_tree_information]

url:    https://github.com/intel-lab-lkp/linux/commits/Maxim-Levitsky/locking-mutex-implement-mutex_trylock_nested/20250513-021708
base:   https://git.kernel.org/pub/scm/linux/kernel/git/kvmarm/kvmarm.git next
patch link:    https://lore.kernel.org/r/20250512180407.659015-4-mlevitsk%40redhat.com
patch subject: [PATCH v5 3/6] KVM: add kvm_lock_all_vcpus and kvm_trylock_all_vcpus
:::::: branch date: 3 days ago
:::::: commit date: 3 days ago
config: x86_64-randconfig-161-20250515 (https://download.01.org/0day-ci/archive/20250516/202505160516.x1btCT1R-lkp@intel.com/config)
compiler: clang version 20.1.2 (https://github.com/llvm/llvm-project 58df0ef89dd64126512e4ee27b4ac3fd8ddf6247)

If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <lkp@intel.com>
| Reported-by: Dan Carpenter <error27@gmail.com>
| Closes: https://lore.kernel.org/r/202505160516.x1btCT1R-lkp@intel.com/

New smatch warnings:
arch/x86/kvm/../../../virt/kvm/kvm_main.c:1380 kvm_trylock_all_vcpus() warn: iterator 'i' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:1386 kvm_trylock_all_vcpus() warn: iterator 'j' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:1403 kvm_lock_all_vcpus() warn: iterator 'i' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:1411 kvm_lock_all_vcpus() warn: iterator 'j' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:1427 kvm_unlock_all_vcpus() warn: iterator 'i' not incremented

Old smatch warnings:
arch/x86/kvm/../../../virt/kvm/kvm_main.c:285 kvm_make_all_cpus_request() warn: iterator 'i' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:489 kvm_destroy_vcpus() warn: iterator 'i' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:1723 kvm_commit_memory_region() error: we previously assumed 'old' could be null (see line 1716)
arch/x86/kvm/../../../virt/kvm/kvm_main.c:1725 kvm_commit_memory_region() error: we previously assumed 'new' could be null (see line 1717)
include/linux/kvm_host.h:1010 kvm_get_vcpu_by_id() warn: iterator 'i' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:4963 kvm_vm_ioctl_reset_dirty_pages() warn: iterator 'i' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:6100 kvm_get_stat_per_vcpu() warn: iterator 'i' not incremented
arch/x86/kvm/../../../virt/kvm/kvm_main.c:6111 kvm_clear_stat_per_vcpu() warn: iterator 'i' not incremented

vim +/i +1380 arch/x86/kvm/../../../virt/kvm/kvm_main.c

6aa8b732ca01c3 drivers/kvm/kvm_main.c Avi Kivity     2006-12-10  1372  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1373  int kvm_trylock_all_vcpus(struct kvm *kvm)
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1374  {
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1375  	struct kvm_vcpu *vcpu;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1376  	unsigned long i, j;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1377  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1378  	lockdep_assert_held(&kvm->lock);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1379  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12 @1380  	kvm_for_each_vcpu(i, vcpu, kvm)
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1381  		if (!mutex_trylock_nest_lock(&vcpu->mutex, &kvm->lock))
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1382  			goto out_unlock;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1383  	return 0;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1384  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1385  out_unlock:
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12 @1386  	kvm_for_each_vcpu(j, vcpu, kvm) {
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1387  		if (i == j)
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1388  			break;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1389  		mutex_unlock(&vcpu->mutex);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1390  	}
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1391  	return -EINTR;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1392  }
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1393  EXPORT_SYMBOL_GPL(kvm_trylock_all_vcpus);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1394  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1395  int kvm_lock_all_vcpus(struct kvm *kvm)
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1396  {
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1397  	struct kvm_vcpu *vcpu;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1398  	unsigned long i, j;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1399  	int r;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1400  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1401  	lockdep_assert_held(&kvm->lock);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1402  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12 @1403  	kvm_for_each_vcpu(i, vcpu, kvm) {
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1404  		r = mutex_lock_killable_nest_lock(&vcpu->mutex, &kvm->lock);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1405  		if (r)
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1406  			goto out_unlock;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1407  	}
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1408  	return 0;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1409  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1410  out_unlock:
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12 @1411  	kvm_for_each_vcpu(j, vcpu, kvm) {
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1412  		if (i == j)
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1413  			break;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1414  		mutex_unlock(&vcpu->mutex);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1415  	}
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1416  	return r;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1417  }
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1418  EXPORT_SYMBOL_GPL(kvm_lock_all_vcpus);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1419  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1420  void kvm_unlock_all_vcpus(struct kvm *kvm)
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1421  {
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1422  	struct kvm_vcpu *vcpu;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1423  	unsigned long i;
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1424  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1425  	lockdep_assert_held(&kvm->lock);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1426  
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12 @1427  	kvm_for_each_vcpu(i, vcpu, kvm)
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1428  		mutex_unlock(&vcpu->mutex);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1429  }
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1430  EXPORT_SYMBOL_GPL(kvm_unlock_all_vcpus);
fcd6700857d5e9 virt/kvm/kvm_main.c    Maxim Levitsky 2025-05-12  1431  

-- 
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki

^ permalink raw reply	[flat|nested] 38+ messages in thread

end of thread, other threads:[~2025-06-10 19:58 UTC | newest]

Thread overview: 38+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-05-12 18:04 [PATCH v5 0/6] KVM: lockdep improvements Maxim Levitsky
2025-05-12 18:04 ` Maxim Levitsky
2025-05-12 18:04 ` Maxim Levitsky
2025-05-12 18:04 ` [PATCH v5 1/6] locking/mutex: implement mutex_trylock_nested Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04 ` [PATCH v5 2/6] locking/mutex: implement mutex_lock_killable_nest_lock Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04 ` [PATCH v5 3/6] KVM: add kvm_lock_all_vcpus and kvm_trylock_all_vcpus Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-14  9:33   ` Marc Zyngier
2025-05-14  9:33     ` Marc Zyngier
2025-05-14  9:33     ` Marc Zyngier
2025-05-12 18:04 ` [PATCH v5 4/6] x86: KVM: SVM: use kvm_lock_all_vcpus instead of a custom implementation Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04 ` [PATCH v5 5/6] KVM: arm64: use kvm_trylock_all_vcpus when locking all vCPUs Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-14  9:35   ` Marc Zyngier
2025-05-14  9:35     ` Marc Zyngier
2025-05-14  9:35     ` Marc Zyngier
2025-05-12 18:04 ` [PATCH v5 6/6] RISC-V: KVM: " Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-12 18:04   ` Maxim Levitsky
2025-05-13 11:18   ` Anup Patel
2025-05-13 11:18     ` Anup Patel
2025-05-13 11:18     ` Anup Patel
2025-05-13 11:45 ` [PATCH v5 0/6] KVM: lockdep improvements Peter Zijlstra
2025-05-13 11:45   ` Peter Zijlstra
2025-05-13 11:45   ` Peter Zijlstra
2025-05-27 16:23 ` Paolo Bonzini
2025-06-10 16:28 ` patchwork-bot+linux-riscv
2025-06-10 16:28   ` patchwork-bot+linux-riscv
2025-06-10 16:28   ` patchwork-bot+linux-riscv
  -- strict thread matches above, loose matches on Subject: below --
2025-05-15 22:20 [PATCH v5 3/6] KVM: add kvm_lock_all_vcpus and kvm_trylock_all_vcpus kernel test robot

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.