Linux-mm Archive on lore.kernel.org
 help / color / mirror / Atom feed
From: Andrew Morton <akpm@linux-foundation.org>
To: Uladzislau Rezki <urezki@gmail.com>
Cc: Artem Lytkin <iprintercanon@gmail.com>,
	linux-mm@kvack.org, willy@infradead.org,
	shivamkalra98@zohomail.in, linux-kernel@vger.kernel.org
Subject: Re: [PATCH v4] mm/vmalloc: make vm_struct.nr_pages an unsigned long
Date: Mon, 3 Aug 2026 17:39:35 -0700	[thread overview]
Message-ID: <20260803173935.132156ba2b86293ffecb0e8f@linux-foundation.org> (raw)
In-Reply-To: <am9numIMZZ4s7UMl@milan>

On Sun, 2 Aug 2026 17:52:26 +0200 Uladzislau Rezki <urezki@gmail.com> wrote:

> On Sat, Aug 01, 2026 at 11:52:02AM -0700, Andrew Morton wrote:
> > On Sat,  1 Aug 2026 14:49:15 +0300 Artem Lytkin <iprintercanon@gmail.com> wrote:
> > 
>
> ...
>
> > Ulad, AI review suggests that vrealloc() has an issue handling
> > __GFP_ZERO.  Can you please check?
> > 
> > 	https://sashiko.dev/#/patchset/20260801114915.115224-1-iprintercanon@gmail.com
> > 
> I have checked. I think the AI is missing at least one point.
> AI argument which is:
> 
> <snip>
> If a driver initially allocates memory using vmalloc() without __GFP_ZERO 
> (leaving spare page capacity uninitialized), and then grows the allocation 
> using vrealloc() with __GFP_ZERO, the caller expects the newly exposed bytes 
> to be zeroed.
> <snip>
> 
> In the vrealloc_node_align_noprof() header documentation there is a statement:
> 
> <snip>
>  * If __GFP_ZERO logic is requested, callers must ensure that, starting with the
>  * initial memory allocation, every subsequent call to this API for the same
>  * memory allocation is flagged with __GFP_ZERO. Otherwise, it is possible that
>  * __GFP_ZERO is not fully honored by this API.
> <snip>
> 
> AI argument violates the documentation, i.e. mixing __GFP_ZERO is not allowed.

Sashiko is talking about the initial allocation not using __GFP_ZERO
but vrealloc() *does* use __GFP_ZERO.  The documentation you quoted
doesn't address that case?

Also, developers don't read documentation ;) What happens if some
caller *does* use vmalloc(!__GFP_ZERO) then vrealloc(__GFP_ZERO)? 
Silent misbehavior would be bad - it would be good if vrealloc() were
to drop a WARN() then ignore the __GFP_ZERO.

> --- a/mm/vmalloc.c
> +++ b/mm/vmalloc.c
> @@ -4294,11 +4294,6 @@ EXPORT_SYMBOL(vzalloc_node_noprof);
>   * __GFP_THISNODE flag should be set, otherwise the function will try to avoid
>   * reallocation and possibly disregard the specified @nid.
>   *
> - * If __GFP_ZERO logic is requested, callers must ensure that, starting with the
> - * initial memory allocation, every subsequent call to this API for the same
> - * memory allocation is flagged with __GFP_ZERO. Otherwise, it is possible that
> - * __GFP_ZERO is not fully honored by this API.
> - *
>   * Requesting an alignment that is bigger than the alignment of the existing
>   * allocation will fail.
>   *
> @@ -4415,13 +4410,12 @@ void *vrealloc_node_align_noprof(const void *p, size_t size, unsigned long align
>  	 * We already have the bytes available in the allocation; use them.
>  	 */
>  	if (size <= vm->nr_pages << PAGE_SHIFT) {
> -		/*
> -		 * No need to zero memory here, as unused memory will have
> -		 * already been zeroed at initial allocation time or during
> -		 * realloc shrink time.
> -		 */
> -		vm->requested_size = size;
>  		kasan_vrealloc(p, old_size, size);
> +
> +		if (want_init_on_alloc(flags))
> +			memset((void *)p + old_size, 0, size - old_size);
> +
> +		vm->requested_size = size;
>  		return (void *)p;
>  	}

OK, thanks, I'll assume you'll prepare this for real when convenient.


  reply	other threads:[~2026-08-04  0:39 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-07-29 17:57 [PATCH] mm/vmalloc: make vm_struct.nr_pages an unsigned long Artem Lytkin
2026-07-29 18:28 ` Matthew Wilcox
2026-07-29 21:45   ` Andrew Morton
2026-07-30  9:07   ` Artem Lytkin
2026-07-30  9:06 ` [PATCH v2 0/3] mm/vmalloc: stop truncating byte counts derived from nr_pages Artem Lytkin
2026-07-30 17:11   ` [PATCH v3] mm/vmalloc: make vm_struct.nr_pages an unsigned long Artem Lytkin
2026-07-30 20:09   ` [PATCH v2 0/3] mm/vmalloc: stop truncating byte counts derived from nr_pages Andrew Morton
2026-08-01 11:49     ` [PATCH v4] mm/vmalloc: make vm_struct.nr_pages an unsigned long Artem Lytkin
2026-08-01 18:52       ` Andrew Morton
2026-08-02 15:52         ` Uladzislau Rezki
2026-08-04  0:39           ` Andrew Morton [this message]
2026-08-06  8:51             ` Uladzislau Rezki
2026-07-30  9:06 ` [PATCH v2 1/3] mm/vmalloc: fix 32-bit truncation of the area size in vread_iter() Artem Lytkin
2026-07-30  9:06 ` [PATCH v2 2/3] mm/vmalloc: fix 32-bit truncation in the vrealloc() grow-in-place check Artem Lytkin
2026-07-30  9:06 ` [PATCH v2 3/3] mm/vmalloc: make vm_struct.nr_pages an unsigned long Artem Lytkin
2026-07-30 13:04 ` [PATCH] " Uladzislau Rezki

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=20260803173935.132156ba2b86293ffecb0e8f@linux-foundation.org \
    --to=akpm@linux-foundation.org \
    --cc=iprintercanon@gmail.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=shivamkalra98@zohomail.in \
    --cc=urezki@gmail.com \
    --cc=willy@infradead.org \
    /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