On 12/3/24 10:47, David Hildenbrand wrote:
> In the __GFP_COMP case, we already pass the gfp_flags to
> prep_new_page()->post_alloc_hook(). However, in the !__GFP_COMP case, we
> essentially pass only hardcoded __GFP_MOVABLE to post_alloc_hook(),
> preventing some action modifiers from being effective..
> 
> Let's pass our now properly adjusted gfp flags there as well.
> 
> This way, we can now support __GFP_ZERO for alloc_contig_*().
> 
> As a side effect, we now also support __GFP_SKIP_ZERO and__GFP_ZEROTAGS;
> but we'll keep the more special stuff (KASAN, NOLOCKDEP) disabled for
> now.
> 
> It's worth noting that with __GFP_ZERO, we might unnecessarily zero pages
> when we have to release part of our range using free_contig_range() again.
> This can be optimized in the future, if ever required; the caller we'll
> be converting (powernv/memtrace) next won't trigger this.
> 
> Signed-off-by: David Hildenbrand <da...@redhat.com>

Reviewed-by: Vlastimil Babka <vba...@suse.cz>

> ---
>  mm/page_alloc.c | 9 +++++----
>  1 file changed, 5 insertions(+), 4 deletions(-)
> 
> diff --git a/mm/page_alloc.c b/mm/page_alloc.c
> index 54594cc4f650..71d70bc0ad79 100644
> --- a/mm/page_alloc.c
> +++ b/mm/page_alloc.c
> @@ -6364,7 +6364,7 @@ static int __alloc_contig_migrate_range(struct 
> compact_control *cc,
>       return (ret < 0) ? ret : 0;
>  }
>  
> -static void split_free_pages(struct list_head *list)
> +static void split_free_pages(struct list_head *list, gfp_t gfp_mask)
>  {
>       int order;
>  
> @@ -6375,7 +6375,7 @@ static void split_free_pages(struct list_head *list)
>               list_for_each_entry_safe(page, next, &list[order], lru) {
>                       int i;
>  
> -                     post_alloc_hook(page, order, __GFP_MOVABLE);
> +                     post_alloc_hook(page, order, gfp_mask);
>                       set_page_refcounted(page);
>                       if (!order)
>                               continue;
> @@ -6393,7 +6393,8 @@ static void split_free_pages(struct list_head *list)
>  static int __alloc_contig_verify_gfp_mask(gfp_t gfp_mask, gfp_t *gfp_cc_mask)
>  {
>       const gfp_t reclaim_mask = __GFP_IO | __GFP_FS | __GFP_RECLAIM;
> -     const gfp_t action_mask = __GFP_COMP | __GFP_RETRY_MAYFAIL | 
> __GFP_NOWARN;
> +     const gfp_t action_mask = __GFP_COMP | __GFP_RETRY_MAYFAIL | 
> __GFP_NOWARN |
> +                               __GFP_ZERO | __GFP_ZEROTAGS | __GFP_SKIP_ZERO;
>       const gfp_t cc_action_mask = __GFP_RETRY_MAYFAIL | __GFP_NOWARN;
>  
>       /*
> @@ -6541,7 +6542,7 @@ int alloc_contig_range_noprof(unsigned long start, 
> unsigned long end,
>       }
>  
>       if (!(gfp_mask & __GFP_COMP)) {
> -             split_free_pages(cc.freepages);
> +             split_free_pages(cc.freepages, gfp_mask);
>  
>               /* Free head and tail (if any) */
>               if (start != outer_start)


Reply via email to