From: Sean Christopherson <seanjc@google.com>
To: Dan Carpenter <dan.carpenter@linaro.org>
Cc: Andrew Jones <ajones@ventanamicro.com>,
Markus Elfring <Markus.Elfring@web.de>,
Kunwu Chan <chentao@kylinos.cn>,
linux-kselftest@vger.kernel.org, kvm@vger.kernel.org,
kernel-janitors@vger.kernel.org,
Muhammad Usama Anjum <usama.anjum@collabora.com>,
Paolo Bonzini <pbonzini@redhat.com>,
Shuah Khan <shuah@kernel.org>,
LKML <linux-kernel@vger.kernel.org>,
Kunwu Chan <kunwu.chan@hotmail.com>,
Anup Patel <anup@brainfault.org>, Thomas Huth <thuth@redhat.com>,
Oliver Upton <oliver.upton@linux.dev>
Subject: Re: [PATCH] KVM: selftests: Add 'malloc' failure check in test_vmx_nested_state
Date: Wed, 24 Apr 2024 07:47:20 -0700 [thread overview]
Message-ID: <ZikbeCsIom80tDPR@google.com> (raw)
In-Reply-To: <9f67df9d-ab27-40b9-8849-3069649dc082@moroto.mountain>
On Wed, Apr 24, 2024, Dan Carpenter wrote:
> On Tue, Apr 23, 2024 at 12:15:47PM -0700, Sean Christopherson wrote:
> > On Tue, Apr 23, 2024, Andrew Jones wrote:
> > > On Tue, Apr 23, 2024 at 07:56:01AM -0700, Sean Christopherson wrote:
> > > > +others
> > > >
> > > > On Tue, Apr 23, 2024, Markus Elfring wrote:
> > > > > …
> > > > > > This patch will add the malloc failure checking
> > > > > …
> > > > >
> > > > > * Please use a corresponding imperative wording for the change description.
> > > > >
> > > > > * Would you like to add the tag “Fixes” accordingly?
> > > >
> > > > Nah, don't bother with Fixes. OOM will cause the test to fail regardless, the
> > > > fact that it gets an assert instead a NULL pointer deref is nice to have, but by
> > > > no means does it fix a bug.
> > > >
> > > > > > +++ b/tools/testing/selftests/kvm/x86_64/vmx_set_nested_state_test.c
> > > > > > @@ -91,6 +91,7 @@ void test_vmx_nested_state(struct kvm_vcpu *vcpu)
> > > > > > const int state_sz = sizeof(struct kvm_nested_state) + getpagesize();
> > > > > > struct kvm_nested_state *state =
> > > > > > (struct kvm_nested_state *)malloc(state_sz);
> > > > > > + TEST_ASSERT(state, "-ENOMEM when allocating kvm state");
> > > > > …
> > > > >
> > > > > Can “errno” be relevant for the error message construction?
> > > >
> > > > Probably not, but there's also no reason to assume ENOMEM. TEST_ASSERT() spits
> > > > out the actual errno, and we can just say something like "malloc() failed for
> > > > blah blah blah".
> > > >
> > > > But rather than keeping playing whack-a-mole, what if we add macros to perform
> > > > allocations and assert on the result? I have zero interest in chasing down all
> > > > of the "unsafe" allocations, and odds are very good that we'll collectively fail
> > > > to enforce checking on new code.
> > > >
> > > > E.g. something like (obviously won't compile, just for demonstration purposes)
> > > >
> > > > #define kvm_malloc(x)
> > > > ({
> > > > void *__ret;
> > > >
> > > > __ret = malloc(x);
> > > > TEST_ASSERT(__ret, "Failed malloc(" #x ")\n");
> > > > __ret;
> > > > })
> > > >
> > > > #define kvm_calloc(x, y)
> > > > ({
> > > > void *__ret;
> > > >
> > > > __ret = calloc(x, y);
> > > > TEST_ASSERT(__ret, "Failed calloc(" #x ", " #y ")\n");
> > > > __ret;
> > > > })
> > >
> > > Sounds good to me, but I'd call them test_malloc, test_calloc, etc. and
> > > put them in include/test_util.h
> >
> > Possibly terrible idea: what if we used kmalloc() and kcalloc()? K is for KVM :-)
>
> That's a legit terrible idea... It probably would trigger more static
> checker warnings because the general policy is kmalloc() is kernel code
> and we *have* to test for errors.
Roger that.
> To be honest, I would have just rejected the first patch. You
> obviously know this and have said this earlier in the thread but just
> for the other people, this is a userspace test that runs for a short
> time and then exits. If it gets killed because we don't have enough
> memory that's fine. It would be better to just fix the static checker
> to not print pointless warnings or educate people to ignore warnings
> like this.
This particular patch may have been motiviated by a static checker, but I doubt
static checkers are responsible for all of the many sanity checks on malloc() in
KVM selftests. And while I agree that the sanity checks don't and much value,
deleting the existing checks and preventing checks from being reintroduced would
be a never ending battle.
> Creating the test_malloc() to silence the warning also seems like an
> okay idea as well.
Yeah, it's not exactly my first choice, but the reality is that people write KVM
elftests by copying an existing test (often literally), and so the best way to
educate developers on the preferred approach/style is to have all existing code
adhere to a single approach/style.
next prev parent reply other threads:[~2024-04-24 14:47 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-04-23 7:39 [PATCH] KVM: selftests: Add 'malloc' failure check in test_vmx_nested_state Kunwu Chan
2024-04-23 8:49 ` Muhammad Usama Anjum
2024-04-23 10:45 ` Markus Elfring
2024-04-23 14:56 ` Sean Christopherson
2024-04-23 15:14 ` Andrew Jones
2024-04-23 19:15 ` Sean Christopherson
2024-04-24 2:59 ` Kunwu Chan
2024-04-24 5:41 ` Dan Carpenter
2024-04-24 14:47 ` Sean Christopherson [this message]
2024-04-24 7:50 ` Andrew Jones
2024-04-24 14:51 ` Sean Christopherson
2024-04-24 17:18 ` Oliver Upton
2024-04-25 16:25 ` Sean Christopherson
2024-05-10 8:40 ` Kunwu Chan
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=ZikbeCsIom80tDPR@google.com \
--to=seanjc@google.com \
--cc=Markus.Elfring@web.de \
--cc=ajones@ventanamicro.com \
--cc=anup@brainfault.org \
--cc=chentao@kylinos.cn \
--cc=dan.carpenter@linaro.org \
--cc=kernel-janitors@vger.kernel.org \
--cc=kunwu.chan@hotmail.com \
--cc=kvm@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-kselftest@vger.kernel.org \
--cc=oliver.upton@linux.dev \
--cc=pbonzini@redhat.com \
--cc=shuah@kernel.org \
--cc=thuth@redhat.com \
--cc=usama.anjum@collabora.com \
/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