irqfd_resampler_shutdown() and kvm_irqfd_assign() both call synchronize_srcu_expedited() while holding kvm->irqfds.resampler_lock. This can deadlock when multiple irqfd workers run concurrently on the kvm-irqfd-cleanup workqueue during VM teardown or when VMs are rapidly created and destroyed: CPU A (mutex holder) CPU B/C/D (mutex waiters) irqfd_shutdown() irqfd_shutdown() / kvm_irqfd_assign() irqfd_resampler_shutdown() irqfd_resampler_shutdown() mutex_lock(resampler_lock) <---- mutex_lock(resampler_lock) //BLOCKED list_del_rcu(...) ...blocked... synchronize_srcu_expedited() // Waiters block workqueue, // waits for SRCU grace preventing SRCU grace // period which requires period from completing // workqueue progress --- DEADLOCK --- In irqfd_resampler_shutdown(), the synchronize_srcu_expedited() in the else branch is called directly within the mutex. In the if-last branch, kvm_unregister_irq_ack_notifier() also calls synchronize_srcu_expedited() internally. In kvm_irqfd_assign(), synchronize_srcu_expedited() is called after list_add_rcu() but before mutex_unlock(). All paths can block indefinitely because: 1. synchronize_srcu_expedited() waits for an SRCU grace period 2. SRCU grace period completion needs workqueue workers to run 3. The blocked mutex waiters occupy workqueue slots preventing progress 4. The mutex holder never releases the lock -> deadlock Fix both paths by releasing the mutex before calling synchronize_srcu_expedited(). In irqfd_resampler_shutdown(), use a bool last flag to track whether this is the final irqfd for the resampler, then release the mutex before the SRCU synchronization. This is safe because list_del_rcu() already removed the entries under the mutex, and kvm_unregister_irq_ack_notifier() uses its own locking (kvm->irq_lock). In kvm_irqfd_assign(), simply move synchronize_srcu_expedited() after mutex_unlock(). The SRCU grace period still completes before the irqfd goes live (the subsequent srcu_read_lock() ensures ordering). Signed-off-by: Sonam Sanju --- v2: - Fix the same deadlock in kvm_irqfd_assign() (Vineeth Pillai) virt/kvm/eventfd.c | 30 +++++++++++++++++++++++------- 1 file changed, 23 insertions(+), 7 deletions(-) diff --git a/virt/kvm/eventfd.c b/virt/kvm/eventfd.c index 0e8b8a2c5b79..8ae9f81f8bb3 100644 --- a/virt/kvm/eventfd.c +++ b/virt/kvm/eventfd.c @@ -93,6 +93,7 @@ irqfd_resampler_shutdown(struct kvm_kernel_irqfd *irqfd) { struct kvm_kernel_irqfd_resampler *resampler = irqfd->resampler; struct kvm *kvm = resampler->kvm; + bool last = false; mutex_lock(&kvm->irqfds.resampler_lock); @@ -100,19 +101,27 @@ irqfd_resampler_shutdown(struct kvm_kernel_irqfd *irqfd) if (list_empty(&resampler->list)) { list_del_rcu(&resampler->link); + last = true; + } + + mutex_unlock(&kvm->irqfds.resampler_lock); + + /* + * synchronize_srcu_expedited() (called explicitly below, or internally + * by kvm_unregister_irq_ack_notifier()) must not be invoked under + * resampler_lock. Holding the mutex while waiting for an SRCU grace + * period creates a deadlock: the blocked mutex waiters occupy workqueue + * slots that the SRCU grace period machinery needs to make forward + * progress. + */ + if (last) { kvm_unregister_irq_ack_notifier(kvm, &resampler->notifier); - /* - * synchronize_srcu_expedited(&kvm->irq_srcu) already called - * in kvm_unregister_irq_ack_notifier(). - */ kvm_set_irq(kvm, KVM_IRQFD_RESAMPLE_IRQ_SOURCE_ID, resampler->notifier.gsi, 0, false); kfree(resampler); } else { synchronize_srcu_expedited(&kvm->irq_srcu); } - - mutex_unlock(&kvm->irqfds.resampler_lock); } /* @@ -450,9 +459,16 @@ kvm_irqfd_assign(struct kvm *kvm, struct kvm_irqfd *args) } list_add_rcu(&irqfd->resampler_link, &irqfd->resampler->list); - synchronize_srcu_expedited(&kvm->irq_srcu); mutex_unlock(&kvm->irqfds.resampler_lock); + + /* + * Ensure the resampler_link is SRCU-visible before the irqfd + * itself goes live. Moving synchronize_srcu_expedited() outside + * the resampler_lock avoids deadlock with shutdown workers waiting + * for the mutex while SRCU waits for workqueue progress. + */ + synchronize_srcu_expedited(&kvm->irq_srcu); } /* -- 2.34.1