Kernel KVM virtualization development
 help / color / mirror / Atom feed
From: Sean Christopherson <seanjc@google.com>
To: sashiko-reviews@lists.linux.dev
Cc: Josh Hilke <jrhilke@google.com>, kvm@vger.kernel.org
Subject: Re: [PATCH v5 04/21] KVM: selftests: Add helper to generate random u64 in range [min,max]
Date: Thu, 4 Jun 2026 09:12:54 -0700	[thread overview]
Message-ID: <aiGkBodadEKK9F-w@google.com> (raw)
In-Reply-To: <20260604021233.703BC1F00893@smtp.kernel.org>

On Thu, Jun 04, 2026, sashiko-bot@kernel.org wrote:
> > @@ -42,6 +42,24 @@ u32 kvm_random_u32(struct kvm_random_state *state)
> >  	return state->seed;
> >  }
> >  
> > +/* Returns a random u64 in the inclusive range [min, max] */
> > +u64 kvm_random_u64_in_range(struct kvm_random_state *state, u64 min,
> > +			    u64 max)
> > +{
> > +	u64 value;
> > +	u64 range;
> > +
> > +	TEST_ASSERT(min <= max, "PEBKAC, min = 0x%lx, max = 0x%lx", min, max);
> > +
> > +	value = kvm_random_u64(state);
> > +
> > +	range = max - min;
> > +	if (range == ULLONG_MAX)
> > +		return value;
> > +
> > +	return min + (value % (range + 1));
> 
> [Severity: Medium]
> Will this return values uniformly across the entire 64-bit range?
> 
> Because kvm_random_u32() uses a Lehmer PRNG with a modulus of 2^31 - 1, its
> maximum return value is 0x7FFFFFFE. When kvm_random_u64() concatenates two
> of these values, the maximum possible output is 0x7FFFFFFE7FFFFFFE, meaning
> bits 31 and 63 are never set.
> 
> Due to this restricted PRNG space, using the modulo operator here means the
> function cannot generate values in the upper half of large ranges (above
> 0x7FFFFFFE7FFFFFFE). It also introduces significant modulo bias for ranges
> that don't evenly divide this artificial maximum, preventing uniform coverage
> of the requested [min, max] range.

Not sure how much I trust AI's ability to reason about math, given past "bug"
reports.  Regardless, this is a problem to solve in the future.

  reply	other threads:[~2026-06-04 16:12 UTC|newest]

Thread overview: 54+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-06-04  2:01 [PATCH v5 00/21] KVM: selftests: Link with VFIO selftests lib and test device interrupts Josh Hilke
2026-06-04  2:01 ` [PATCH v5 01/21] KVM: selftests: Build and link selftests/vfio/lib into KVM selftests Josh Hilke
2026-06-04  2:01 ` [PATCH v5 02/21] KVM: selftests: Add guest read/write macros Josh Hilke
2026-06-04  2:01 ` [PATCH v5 03/21] KVM: selftests: Rename guest_rng to kvm_rng Josh Hilke
2026-06-04  2:01 ` [PATCH v5 04/21] KVM: selftests: Add helper to generate random u64 in range [min,max] Josh Hilke
2026-06-04  2:12   ` sashiko-bot
2026-06-04 16:12     ` Sean Christopherson [this message]
2026-06-04  2:01 ` [PATCH v5 05/21] KVM: selftests: Add IRQ injection test Josh Hilke
2026-06-04 16:19   ` Sean Christopherson
2026-06-04 16:26     ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 06/21] KVM: selftests: Add helper to get host IRQ from device MSIX for IRQ bypass test Josh Hilke
2026-06-04  2:09   ` sashiko-bot
2026-06-04 20:01     ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 07/21] KVM: selftests: Verify IRQ bypass works in IRQ test Josh Hilke
2026-06-04 16:22   ` Sean Christopherson
2026-06-04 17:56   ` Sean Christopherson
2026-06-04 19:25     ` Sean Christopherson
2026-06-04 19:52       ` Sean Christopherson
2026-06-04 23:14       ` Sean Christopherson
2026-06-04 23:35         ` David Matlack
2026-06-04  2:01 ` [PATCH v5 08/21] KVM: selftests: Add helpers to write proc IRQ affinity for " Josh Hilke
2026-06-04  2:09   ` sashiko-bot
2026-06-04 19:35   ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 09/21] KVM: selftests: Add helpers to print " Josh Hilke
2026-06-04  2:09   ` sashiko-bot
2026-06-04 17:17     ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 10/21] KVM: selftests: Verify interrupts are received when IRQ affinity changes in " Josh Hilke
2026-06-04  2:13   ` sashiko-bot
2026-06-04  2:01 ` [PATCH v5 11/21] KVM: selftests: Verify IRQs wake up halted vCPUs " Josh Hilke
2026-06-04  2:15   ` sashiko-bot
2026-06-04 16:11     ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 12/21] KVM: selftests: Verify interrupts are received after modifying IRQ routes " Josh Hilke
2026-06-04 17:22   ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 13/21] KVM: selftests: Make number of IRQs configurable " Josh Hilke
2026-06-04 17:35   ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 14/21] KVM: selftests: Verify non-postable IRQ remapping " Josh Hilke
2026-06-04 17:22   ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 15/21] KVM: selftests: Add kvm_gettid() wrapper and convert users Josh Hilke
2026-06-04  2:01 ` [PATCH v5 16/21] KVM: selftests: Add kvm_sched_getaffinity() " Josh Hilke
2026-06-04 17:23   ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 17/21] KVM: selftests: Add pin_task_to_random_cpu() helper function for IRQ test Josh Hilke
2026-06-04  2:01 ` [PATCH v5 18/21] KVM: selftests: Verify vCPU migration during IRQ delivery in " Josh Hilke
2026-06-04 17:27   ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 19/21] KVM: selftests: Print vCPU affinity on timeout during " Josh Hilke
2026-06-04  2:21   ` sashiko-bot
2026-06-04 17:28     ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 20/21] KVM: selftests: Make number of vCPUs configurable in " Josh Hilke
2026-06-04  2:20   ` sashiko-bot
2026-06-04 17:29     ` Sean Christopherson
2026-06-04 17:41       ` Sean Christopherson
2026-06-04  2:01 ` [PATCH v5 21/21] KVM: selftests: Add xAPIC support " Josh Hilke
2026-06-04  2:22   ` sashiko-bot
2026-06-04 17:34     ` Sean Christopherson
2026-06-04 20:22 ` [PATCH v5 00/21] KVM: selftests: Link with VFIO selftests lib and test device interrupts Sean Christopherson

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=aiGkBodadEKK9F-w@google.com \
    --to=seanjc@google.com \
    --cc=jrhilke@google.com \
    --cc=kvm@vger.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