From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-yw1-f202.google.com (mail-yw1-f202.google.com [209.85.128.202]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id CC05215F321 for ; Wed, 24 Apr 2024 14:47:22 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.128.202 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713970044; cv=none; b=OTlG/KDreAoDf62zFTDTfZGm02NyZDsnFTmjYCVzWp8hBHu/JjQDNt/NLWze2apX1LHPJIFd0CXp+kgucUMLO6JvtMCwGLx9z/500drx1I92ETJhYVRpsF5evMfnxWm3OnjxYpsDNU6fT/aCDddUs4MapziYD9aT2El08A0jwU4= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713970044; c=relaxed/simple; bh=jJfd4IpFSTzCj1thfurDYFV0ttjhLiG1qEH9ToU7uvk=; h=Date:In-Reply-To:Mime-Version:References:Message-ID:Subject:From: To:Cc:Content-Type; b=p3LpR5MdgRfybjDOC4dE2YP6HXHazxmB+ghK0bMmai1qsUDDUosopMf80qnSW0WE4azHJoS7ucGd+a2ZF9t/PwJZX1+iJj79Kp+3cuLTHQjvR/PSsvAkv0WuPSwKc7xiVBeCrGfTQJi42T5bYbN+BbWe4+M65c9Ru8K91XrPHFw= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=flex--seanjc.bounces.google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=gLHT0Dix; arc=none smtp.client-ip=209.85.128.202 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=flex--seanjc.bounces.google.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="gLHT0Dix" Received: by mail-yw1-f202.google.com with SMTP id 00721157ae682-615073c8dfbso123838537b3.1 for ; Wed, 24 Apr 2024 07:47:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1713970042; x=1714574842; darn=vger.kernel.org; h=content-transfer-encoding:cc:to:from:subject:message-id:references :mime-version:in-reply-to:date:from:to:cc:subject:date:message-id :reply-to; bh=lBUMF9M0aXotFfthPHhv12Yga6tlL0sQVtn3IgcNIjg=; b=gLHT0DixEIxV/L64q27Ss1sTGExF3Aum3m+EfcR2beLbl8Se9X1mGMXUryQayXTDFg RLMG2fWpsiR2VD11DDaq89AFocj4WUR/BSX6H0cxCS7JpzZc0SrHNGpZwfF9DbOxopJr t3oRxSCgD/tR2V4aZG55aTebrICmBqUaO+YFY4GKt36pcqOb7EIicstFYozXL8sYMru2 1d1yO2+BsT/FeNGqAkbSiD9ohhAH8bJTX6TvBpeh23aqu4Yh7UCVe3UXvqb72dUqYp99 f7r5aXvguNBRZ27ZW9Kbc2XNBaSMhJv8ZJRvTpfIdeIhcl+1N6w5xjUxbpPIC5iuE9hy PUTw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713970042; x=1714574842; h=content-transfer-encoding:cc:to:from:subject:message-id:references :mime-version:in-reply-to:date:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=lBUMF9M0aXotFfthPHhv12Yga6tlL0sQVtn3IgcNIjg=; b=ef0U2hTQoBEMiv9vkYvHfA3wels/TpnikpvRZ7IUYxtfw5xumsJMiqbas9Ex16e4P4 I+pMZJwzq+tda1D1lF7BIRrASppxyZ8JtXAwvS0fCQQMF3nSiXwyLrIOFrCg6AbsSRo4 zm1hNd0pyPMuP5xh27UmY+hLUGXyXOzwSr562YsXtfmzYzh9iJzdyxJ64bO4eMjQRk8W nKaR+N4nvgxZjKXUHXmnccWDnOmeJCJd4v5r8lF3Ne6tWsk4z0rCS70shSQiTG4pGQfX WU+lqWLbBBUVRE64/9QPVs/n4agr7Xr4nf8KMYmY0BS3CoEsyYrbS0XemQNCXP/GT4Yl LXmA== X-Forwarded-Encrypted: i=1; AJvYcCU0ILmNj4sVbI6b5tfl42ecZkEPafkj17+clAkvVZooHVihWFYh2OzyihUtxt3AHQ7IwA+XTxDbeXQxBnm3LrhkSIHR18zy18wV+24F6ruR X-Gm-Message-State: AOJu0YyQ1jVSRzzH1RE/FnrORkdjc3oSEwtNrMqW9Id887K/68JkeqsA wB/1BzmBPz9+ml8TWQ5iH3hvcPaUn1yuSLhrDZ2r/EWmR3pSfeRXMYZSSuMwuVWoq771pzc1M61 mMQ== X-Google-Smtp-Source: AGHT+IEs3VfA7KQdtkyHqJd0ahaIMhMEZs/CAyL0Jvui8r441EvbKI7ZhQcG9gTr1SgicGN29+v/lqbme1g= X-Received: from zagreus.c.googlers.com ([fda3:e722:ac3:cc00:7f:e700:c0a8:5c37]) (user=seanjc job=sendgmr) by 2002:a05:6902:1027:b0:de0:ecc6:4681 with SMTP id x7-20020a056902102700b00de0ecc64681mr234395ybt.1.1713970041911; Wed, 24 Apr 2024 07:47:21 -0700 (PDT) Date: Wed, 24 Apr 2024 07:47:20 -0700 In-Reply-To: <9f67df9d-ab27-40b9-8849-3069649dc082@moroto.mountain> Precedence: bulk X-Mailing-List: linux-kselftest@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: Mime-Version: 1.0 References: <20240423073952.2001989-1-chentao@kylinos.cn> <878bf83c-cd5b-48d0-8b4e-77223f1806dc@web.de> <20240423-0db9024011213dcffe815c5c@orel> <9f67df9d-ab27-40b9-8849-3069649dc082@moroto.mountain> Message-ID: Subject: Re: [PATCH] KVM: selftests: Add 'malloc' failure check in test_vmx_nested_state From: Sean Christopherson To: Dan Carpenter Cc: Andrew Jones , Markus Elfring , Kunwu Chan , linux-kselftest@vger.kernel.org, kvm@vger.kernel.org, kernel-janitors@vger.kernel.org, Muhammad Usama Anjum , Paolo Bonzini , Shuah Khan , LKML , Kunwu Chan , Anup Patel , Thomas Huth , Oliver Upton Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable 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 > > > >=20 > > > > On Tue, Apr 23, 2024, Markus Elfring wrote: > > > > > =E2=80=A6 > > > > > > This patch will add the malloc failure checking > > > > > =E2=80=A6 > > > > >=20 > > > > > * Please use a corresponding imperative wording for the change de= scription. > > > > >=20 > > > > > * Would you like to add the tag =E2=80=9CFixes=E2=80=9D according= ly? > > > >=20 > > > > Nah, don't bother with Fixes. OOM will cause the test to fail rega= rdless, 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. > > > >=20 > > > > > > +++ b/tools/testing/selftests/kvm/x86_64/vmx_set_nested_state_t= est.c > > > > > > @@ -91,6 +91,7 @@ void test_vmx_nested_state(struct kvm_vcpu *v= cpu) > > > > > > const int state_sz =3D sizeof(struct kvm_nested_state) + getp= agesize(); > > > > > > struct kvm_nested_state *state =3D > > > > > > (struct kvm_nested_state *)malloc(state_sz); > > > > > > + TEST_ASSERT(state, "-ENOMEM when allocating kvm state"); > > > > > =E2=80=A6 > > > > >=20 > > > > > Can =E2=80=9Cerrno=E2=80=9D be relevant for the error message con= struction? > > > >=20 > > > > Probably not, but there's also no reason to assume ENOMEM. TEST_AS= SERT() spits > > > > out the actual errno, and we can just say something like "malloc() = failed for > > > > blah blah blah". =20 > > > >=20 > > > > 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 chas= ing down all > > > > of the "unsafe" allocations, and odds are very good that we'll coll= ectively fail > > > > to enforce checking on new code. > > > >=20 > > > > E.g. something like (obviously won't compile, just for demonstratio= n purposes) > > > >=20 > > > > #define kvm_malloc(x) > > > > ({ > > > > void *__ret; > > > >=20 > > > > __ret =3D malloc(x); > > > > TEST_ASSERT(__ret, "Failed malloc(" #x ")\n"); > > > > __ret; > > > > }) > > > >=20 > > > > #define kvm_calloc(x, y) > > > > ({ > > > > void *__ret; > > > >=20 > > > > __ret =3D calloc(x, y); > > > > TEST_ASSERT(__ret, "Failed calloc(" #x ", " #y ")\n"); > > > > __ret; > > > > }) > > >=20 > > > Sounds good to me, but I'd call them test_malloc, test_calloc, etc. a= nd > > > put them in include/test_util.h > >=20 > > Possibly terrible idea: what if we used kmalloc() and kcalloc()? K is = for KVM :-) >=20 > 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 d= oubt 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 val= ue, 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 writ= e 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.