From: Dongli Zhang <dongli.zhang@oracle.com>
To: sashiko-reviews@lists.linux.dev
Cc: kvmarm@lists.linux.dev, Marc Zyngier <maz@kernel.org>,
kvm@vger.kernel.org, Oliver Upton <oupton@kernel.org>
Subject: Re: [PATCH v2 3/4] KVM: selftests: Test steal time across vCPU pid changes on x86
Date: Fri, 4 Sep 2026 13:27:22 -0700 [thread overview]
Message-ID: <30fe4e94-d88e-4565-ae90-92612362b4a8@oracle.com> (raw)
In-Reply-To: <20260904181104.B25871F00A3D@smtp.kernel.org>
The implementation of this selftest program borrows from
tools/testing/selftests/kvm/steal_time.c.
The same concerns also apply to tools/testing/selftests/kvm/steal_time.c.
Based on my understanding, KVM selftests do not require strict error-handling code.
Thank you very much!
Dongli Zhang
On Fri, Sep 4, 2026 11:11:03AM -0700, sashiko-bot@kernel.org wrote:
> Thank you for your contribution! Sashiko AI review found 2 potential issue(s) to consider:
> - [Medium] The delay accumulation loop can hang indefinitely because the background thread uses a fixed wall-clock timeout instead of synchronizing with the main thread.
> - [Medium] Unchecked return values from pthread APIs lead to undefined behavior and potential test hangs.
> --
>
> commit 4093ded4f0187a7d185578eeea38cf167b09f1d2
> Author: Dongli Zhang <dongli.zhang@oracle.com>
>
> KVM: selftests: Test steal time across vCPU pid changes on x86
>
> This commit adds a selftest to verify that KVM correctly resets steal-time
> accounting when a vCPU is run from a new host thread. It creates a background
> thread to accumulate run delay and checks if the steal time remains monotonic
> across PID changes.
>
>> --- /dev/null
>> +++ b/tools/testing/selftests/kvm/steal_time_change_pid.c
>> @@ -0,0 +1,162 @@
> [ ... ]
>> +static void *do_steal_time(void *arg)
>> +{
>> + struct timespec ts, stop;
>> +
>> + clock_gettime(CLOCK_MONOTONIC, &ts);
>> + stop = timespec_add_ns(ts, MIN_RUN_DELAY_NS);
>> +
>> + while (timespec_to_ns(timespec_sub(ts, stop)) < 0)
>> + clock_gettime(CLOCK_MONOTONIC, &ts);
>
> [Severity: Medium]
> Does this background thread rely on a fixed wall-clock timeout instead of
> synchronizing with the main thread's delay accumulation?
>
> If scheduler interleaving allows the main thread to run during this window,
> its accumulated run delay will be strictly less than MIN_RUN_DELAY_NS when
> this thread exits. Once this thread exits, CPU 0 becomes uncontended and
> the main thread's delay accumulation loop will hang indefinitely.
>
>> +
>> + return NULL;
>> +}
> [ ... ]
>> +int main(void)
>> +{
>> + struct kvm_vcpu *vcpu;
>> + struct kvm_vm *vm;
>> + pthread_attr_t attr;
>> + pthread_t thread;
>> + cpu_set_t cpuset;
>> + long run_delay;
>> + long run_delay_delta;
>> +
>> + ksft_print_header();
>> + ksft_set_plan(1);
>> +
>> + CPU_ZERO(&cpuset);
>> + CPU_SET(0, &cpuset);
>> + pthread_attr_init(&attr);
>> + pthread_attr_setaffinity_np(&attr, sizeof(cpuset), &cpuset);
>> + pthread_setaffinity_np(pthread_self(), sizeof(cpuset), &cpuset);
>
> [Severity: Medium]
> If this pthread_setaffinity_np call fails (for example, if CPU 0 is not in
> the allowed task mask), could the threads run on different CPUs? This would
> prevent the main thread from ever accumulating runqueue wait time, causing it
> to hang forever in the sched_yield loop.
>
> [ ... ]
>> + run_delay = get_run_delay();
>> + pthread_create(&thread, &attr, do_steal_time, NULL);
>
> [Severity: Medium]
> If pthread_create fails due to resource limits, will the thread variable
> remain uninitialized?
>
>> +
>> + while (get_run_delay() - run_delay < MIN_RUN_DELAY_NS)
>> + sched_yield();
>
> [Severity: Medium]
> As mentioned above, if do_steal_time exits before MIN_RUN_DELAY_NS is
> accumulated by the main thread, does this spinloop hang permanently because
> the background thread is no longer consuming CPU time?
>
>> +
>> + pthread_join(thread, NULL);
>
> [Severity: Medium]
> If the thread variable is uninitialized due to a prior pthread_create
> failure, does passing it unconditionally to pthread_join invoke undefined
> behavior?
>
next prev parent reply other threads:[~2026-09-04 20:27 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-04 17:55 [PATCH v2 0/4] KVM: Reset steal time accounting on vCPU pid change Dongli Zhang
2026-09-04 17:55 ` [PATCH v2 1/4] KVM: Move last_steal to common struct kvm_vcpu Dongli Zhang
2026-09-04 18:07 ` sashiko-bot
2026-09-04 20:22 ` Dongli Zhang
2026-09-04 17:55 ` [PATCH v2 2/4] KVM: Reset last_steal on vCPU pid change Dongli Zhang
2026-09-04 17:55 ` [PATCH v2 3/4] KVM: selftests: Test steal time across vCPU pid changes on x86 Dongli Zhang
2026-09-04 18:11 ` sashiko-bot
2026-09-04 20:27 ` Dongli Zhang [this message]
2026-09-04 17:55 ` [PATCH v2 4/4] KVM: selftests: Add arm64 coverage for steal time pid changes Dongli Zhang
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=30fe4e94-d88e-4565-ae90-92612362b4a8@oracle.com \
--to=dongli.zhang@oracle.com \
--cc=kvm@vger.kernel.org \
--cc=kvmarm@lists.linux.dev \
--cc=maz@kernel.org \
--cc=oupton@kernel.org \
--cc=sashiko-reviews@lists.linux.dev \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox