On Tue, Feb 13, 2024 at 10:37:02AM +0100, Pankaj Raghav (Samsung) wrote:
> From: Pankaj Raghav <[email protected]>
>
> filemap_create_folio() and do_read_cache_folio() were always allocating
> folio of order 0. __filemap_get_folio was trying to allocate higher
> order folios when fgp_flags had higher order hint set but it will default
> to order 0 folio if higher order memory allocation fails.
>
> As we bring the notion of mapping_min_order, make sure these functions
> allocate at least folio of mapping_min_order as we need to guarantee it
> in the page cache.
>
> Add some additional VM_BUG_ON() in page_cache_delete[batch] and
> __filemap_add_folio to catch errors where we delete or add folios that
> has order less than min_order.
>
> Signed-off-by: Pankaj Raghav <[email protected]>
> Signed-off-by: Luis Chamberlain <[email protected]>
> ---
> mm/filemap.c | 25 +++++++++++++++++++++----
> 1 file changed, 21 insertions(+), 4 deletions(-)
>
> diff --git a/mm/filemap.c b/mm/filemap.c
> index 323a8e169581..7a6e15c47150 100644
> --- a/mm/filemap.c
> +++ b/mm/filemap.c
> @@ -127,6 +127,7 @@
> static void page_cache_delete(struct address_space *mapping,
> struct folio *folio, void *shadow)
> {
> + unsigned int min_order = mapping_min_folio_order(mapping);
> XA_STATE(xas, &mapping->i_pages, folio->index);
> long nr = 1;
>
> @@ -135,6 +136,7 @@ static void page_cache_delete(struct address_space *mapping,
> xas_set_order(&xas, folio->index, folio_order(folio));
> nr = folio_nr_pages(folio);
>
> + VM_BUG_ON_FOLIO(folio_order(folio) < min_order, folio);
> VM_BUG_ON_FOLIO(!folio_test_locked(folio), folio);
If you are only using min_order in the VM_BUG_ON_FOLIO() macro, then
please just do:
VM_BUG_ON_FOLIO(folio_order(folio) < mapping_min_folio_order(mapping),
folio);
There is no need to clutter up the function with variables that are
only used in one debug-only check.
> @@ -1847,6 +1853,10 @@ struct folio *__filemap_get_folio(struct address_space *mapping, pgoff_t index,
> fgf_t fgp_flags, gfp_t gfp)
> {
> struct folio *folio;
> + unsigned int min_order = mapping_min_folio_order(mapping);
> + unsigned int min_nrpages = mapping_min_folio_nrpages(mapping);
> +
> + index = round_down(index, min_nrpages);
index = mapping_align_start_index(mapping, index);
The rest of the function only cares about min_order, not
min_nrpages....
-Dave.
--
Dave Chinner
[email protected]