Skip to content

Commit ab2c2f5

Browse files
sean-jcgregkh
authored andcommitted
KVM: Always flush async #PF workqueue when vCPU is being destroyed
[ Upstream commit 3d75b8a ] Always flush the per-vCPU async #PF workqueue when a vCPU is clearing its completion queue, e.g. when a VM and all its vCPUs is being destroyed. KVM must ensure that none of its workqueue callbacks is running when the last reference to the KVM _module_ is put. Gifting a reference to the associated VM prevents the workqueue callback from dereferencing freed vCPU/VM memory, but does not prevent the KVM module from being unloaded before the callback completes. Drop the misguided VM refcount gifting, as calling kvm_put_kvm() from async_pf_execute() if kvm_put_kvm() flushes the async #PF workqueue will result in deadlock. async_pf_execute() can't return until kvm_put_kvm() finishes, and kvm_put_kvm() can't return until async_pf_execute() finishes: WARNING: CPU: 8 PID: 251 at virt/kvm/kvm_main.c:1435 kvm_put_kvm+0x2d/0x320 [kvm] Modules linked in: vhost_net vhost vhost_iotlb tap kvm_intel kvm irqbypass CPU: 8 PID: 251 Comm: kworker/8:1 Tainted: G W 6.6.0-rc1-e7af8d17224a-x86/gmem-vm torvalds#119 Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS 0.0.0 02/06/2015 Workqueue: events async_pf_execute [kvm] RIP: 0010:kvm_put_kvm+0x2d/0x320 [kvm] Call Trace: <TASK> async_pf_execute+0x198/0x260 [kvm] process_one_work+0x145/0x2d0 worker_thread+0x27e/0x3a0 kthread+0xba/0xe0 ret_from_fork+0x2d/0x50 ret_from_fork_asm+0x11/0x20 </TASK> ---[ end trace 0000000000000000 ]--- INFO: task kworker/8:1:251 blocked for more than 120 seconds. Tainted: G W 6.6.0-rc1-e7af8d17224a-x86/gmem-vm torvalds#119 "echo 0 > /proc/sys/kernel/hung_task_timeout_secs" disables this message. task:kworker/8:1 state:D stack:0 pid:251 ppid:2 flags:0x00004000 Workqueue: events async_pf_execute [kvm] Call Trace: <TASK> __schedule+0x33f/0xa40 schedule+0x53/0xc0 schedule_timeout+0x12a/0x140 __wait_for_common+0x8d/0x1d0 __flush_work.isra.0+0x19f/0x2c0 kvm_clear_async_pf_completion_queue+0x129/0x190 [kvm] kvm_arch_destroy_vm+0x78/0x1b0 [kvm] kvm_put_kvm+0x1c1/0x320 [kvm] async_pf_execute+0x198/0x260 [kvm] process_one_work+0x145/0x2d0 worker_thread+0x27e/0x3a0 kthread+0xba/0xe0 ret_from_fork+0x2d/0x50 ret_from_fork_asm+0x11/0x20 </TASK> If kvm_clear_async_pf_completion_queue() actually flushes the workqueue, then there's no need to gift async_pf_execute() a reference because all invocations of async_pf_execute() will be forced to complete before the vCPU and its VM are destroyed/freed. And that in turn fixes the module unloading bug as __fput() won't do module_put() on the last vCPU reference until the vCPU has been freed, e.g. if closing the vCPU file also puts the last reference to the KVM module. Note that kvm_check_async_pf_completion() may also take the work item off the completion queue and so also needs to flush the work queue, as the work will not be seen by kvm_clear_async_pf_completion_queue(). Waiting on the workqueue could theoretically delay a vCPU due to waiting for the work to complete, but that's a very, very small chance, and likely a very small delay. kvm_arch_async_page_present_queued() unconditionally makes a new request, i.e. will effectively delay entering the guest, so the remaining work is really just: trace_kvm_async_pf_completed(addr, cr2_or_gpa); __kvm_vcpu_wake_up(vcpu); mmput(mm); and mmput() can't drop the last reference to the page tables if the vCPU is still alive, i.e. the vCPU won't get stuck tearing down page tables. Add a helper to do the flushing, specifically to deal with "wakeup all" work items, as they aren't actually work items, i.e. are never placed in a workqueue. Trying to flush a bogus workqueue entry rightly makes __flush_work() complain (kudos to whoever added that sanity check). Note, commit 5f6de5c ("KVM: Prevent module exit until all VMs are freed") *tried* to fix the module refcounting issue by having VMs grab a reference to the module, but that only made the bug slightly harder to hit as it gave async_pf_execute() a bit more time to complete before the KVM module could be unloaded. Fixes: af585b9 ("KVM: Halt vcpu if page it tries to access is swapped out") Cc: stable@vger.kernel.org Cc: David Matlack <dmatlack@google.com> Reviewed-by: Xu Yilun <yilun.xu@intel.com> Reviewed-by: Vitaly Kuznetsov <vkuznets@redhat.com> Link: https://lore.kernel.org/r/20240110011533.503302-2-seanjc@google.com Signed-off-by: Sean Christopherson <seanjc@google.com> Signed-off-by: Sasha Levin <sashal@kernel.org>
1 parent 72ddb25 commit ab2c2f5

File tree

1 file changed

+26
-5
lines changed

1 file changed

+26
-5
lines changed

virt/kvm/async_pf.c

+26-5
Original file line numberDiff line numberDiff line change
@@ -110,7 +110,27 @@ static void async_pf_execute(struct work_struct *work)
110110
swake_up_one(&vcpu->wq);
111111

112112
mmput(mm);
113-
kvm_put_kvm(vcpu->kvm);
113+
}
114+
115+
static void kvm_flush_and_free_async_pf_work(struct kvm_async_pf *work)
116+
{
117+
/*
118+
* The async #PF is "done", but KVM must wait for the work item itself,
119+
* i.e. async_pf_execute(), to run to completion. If KVM is a module,
120+
* KVM must ensure *no* code owned by the KVM (the module) can be run
121+
* after the last call to module_put(). Note, flushing the work item
122+
* is always required when the item is taken off the completion queue.
123+
* E.g. even if the vCPU handles the item in the "normal" path, the VM
124+
* could be terminated before async_pf_execute() completes.
125+
*
126+
* Wake all events skip the queue and go straight done, i.e. don't
127+
* need to be flushed (but sanity check that the work wasn't queued).
128+
*/
129+
if (work->wakeup_all)
130+
WARN_ON_ONCE(work->work.func);
131+
else
132+
flush_work(&work->work);
133+
kmem_cache_free(async_pf_cache, work);
114134
}
115135

116136
void kvm_clear_async_pf_completion_queue(struct kvm_vcpu *vcpu)
@@ -137,7 +157,6 @@ void kvm_clear_async_pf_completion_queue(struct kvm_vcpu *vcpu)
137157
#else
138158
if (cancel_work_sync(&work->work)) {
139159
mmput(work->mm);
140-
kvm_put_kvm(vcpu->kvm); /* == work->vcpu->kvm */
141160
kmem_cache_free(async_pf_cache, work);
142161
}
143162
#endif
@@ -149,7 +168,10 @@ void kvm_clear_async_pf_completion_queue(struct kvm_vcpu *vcpu)
149168
list_first_entry(&vcpu->async_pf.done,
150169
typeof(*work), link);
151170
list_del(&work->link);
152-
kmem_cache_free(async_pf_cache, work);
171+
172+
spin_unlock(&vcpu->async_pf.lock);
173+
kvm_flush_and_free_async_pf_work(work);
174+
spin_lock(&vcpu->async_pf.lock);
153175
}
154176
spin_unlock(&vcpu->async_pf.lock);
155177

@@ -173,7 +195,7 @@ void kvm_check_async_pf_completion(struct kvm_vcpu *vcpu)
173195

174196
list_del(&work->queue);
175197
vcpu->async_pf.queued--;
176-
kmem_cache_free(async_pf_cache, work);
198+
kvm_flush_and_free_async_pf_work(work);
177199
}
178200
}
179201

@@ -202,7 +224,6 @@ int kvm_setup_async_pf(struct kvm_vcpu *vcpu, gpa_t cr2_or_gpa,
202224
work->arch = *arch;
203225
work->mm = current->mm;
204226
mmget(work->mm);
205-
kvm_get_kvm(work->vcpu->kvm);
206227

207228
/* this can't really happen otherwise gfn_to_pfn_async
208229
would succeed */

0 commit comments

Comments
 (0)