]> www.infradead.org Git - linux.git/commitdiff
KVM: selftests: Sync dirty_log_test iteration to guest *before* resuming
authorSean Christopherson <seanjc@google.com>
Sat, 11 Jan 2025 00:29:46 +0000 (16:29 -0800)
committerSean Christopherson <seanjc@google.com>
Wed, 12 Feb 2025 17:00:54 +0000 (09:00 -0800)
Sync the new iteration to the guest prior to restarting the vCPU, otherwise
it's possible for the vCPU to dirty memory for the next iteration using the
current iteration's value.

Note, because the guest can be interrupted between the vCPU's load of the
iteration and its write to memory, it's still possible for the guest to
store the previous iteration to memory as the previous iteration may be
cached in a CPU register (which the test accounts for).

Note #2, the test's current approach of collecting dirty entries *before*
stopping the vCPU also results dirty memory having the previous iteration.
E.g. if page is dirtied in the previous iteration, but not the current
iteration, the verification phase will observe the previous iteration's
value in memory.  That wart will be remedied in the near future, at which
point synchronizing the iteration before restarting the vCPU will guarantee
the only way for verification to observe stale iterations is due to the
CPU register caching case, or due to a dirty entry being collected before
the store retires.

Link: https://lore.kernel.org/r/20250111003004.1235645-3-seanjc@google.com
Signed-off-by: Sean Christopherson <seanjc@google.com>
tools/testing/selftests/kvm/dirty_log_test.c

index cdae103314fc1e9362dfd5395b6728478fa21e7c..41c158cf5444879642219cb1308fd533fd7b5dfb 100644 (file)
@@ -859,9 +859,9 @@ static void run_test(enum vm_guest_mode mode, void *arg)
                 */
                if (++iteration == p->iterations)
                        WRITE_ONCE(host_quit, true);
+               sync_global_to_guest(vm, iteration);
 
                sem_post(&sem_vcpu_cont);
-               sync_global_to_guest(vm, iteration);
        }
 
        pthread_join(vcpu_thread, NULL);