Skip to content

Commit af8ca1c

Browse files
joelagnelakpm00
authored andcommitted
mm/mremap: optimize the start addresses in move_page_tables()
Patch series "Optimize mremap during mutual alignment within PMD", v6. This patchset optimizes the start addresses in move_page_tables() and tests the changes. It addresses a warning [1] that occurs due to a downward, overlapping move on a mutually-aligned offset within a PMD during exec. By initiating the copy process at the PMD level when such alignment is present, we can prevent this warning and speed up the copying process at the same time. Linus Torvalds suggested this idea. Check the individual patches for more details. [1] https://lore.kernel.org/all/ZB2GTBD%[email protected]/ This patch (of 7): Recently, we see reports [1] of a warning that triggers due to move_page_tables() doing a downward and overlapping move on a mutually-aligned offset within a PMD. By mutual alignment, I mean the source and destination addresses of the mremap are at the same offset within a PMD. This mutual alignment along with the fact that the move is downward is sufficient to cause a warning related to having an allocated PMD that does not have PTEs in it. This warning will only trigger when there is mutual alignment in the move operation. A solution, as suggested by Linus Torvalds [2], is to initiate the copy process at the PMD level whenever such alignment is present. Implementing this approach will not only prevent the warning from being triggered, but it will also optimize the operation as this method should enhance the speed of the copy process whenever there's a possibility to start copying at the PMD level. Some more points: a. The optimization can be done only when both the source and destination of the mremap do not have anything mapped below it up to a PMD boundary. I add support to detect that. b. #1 is not a problem for the call to move_page_tables() from exec.c as nothing is expected to be mapped below the source. However, for non-overlapping mutually aligned moves as triggered by mremap(2), I added support for checking such cases. c. I currently only optimize for PMD moves, in the future I/we can build on this work and do PUD moves as well if there is a need for this. But I want to take it one step at a time. d. We need to be careful about mremap of ranges within the VMA itself. For this purpose, I added checks to determine if the address after alignment falls within its VMA itself. [1] https://lore.kernel.org/all/ZB2GTBD%[email protected]/ [2] https://lore.kernel.org/all/CAHk-=whd7msp8reJPfeGNyt0LiySMT0egExx3TVZSX3Ok6X=9g@mail.gmail.com/ Link: https://lkml.kernel.org/r/[email protected] Link: https://lkml.kernel.org/r/[email protected] Signed-off-by: Joel Fernandes (Google) <[email protected]> Reviewed-by: Lorenzo Stoakes <[email protected]> Suggested-by: Linus Torvalds <[email protected]> Cc: Kalesh Singh <[email protected]> Cc: "Kirill A. Shutemov" <[email protected]> Cc: Liam R. Howlett <[email protected]> Cc: Lokesh Gidra <[email protected]> Cc: Michal Hocko <[email protected]> Cc: Paul E. McKenney <[email protected]> Cc: Shuah Khan <[email protected]> Cc: Suren Baghdasaryan <[email protected]> Cc: Vlastimil Babka <[email protected]> Signed-off-by: Andrew Morton <[email protected]>
1 parent 2eaa6c2 commit af8ca1c

File tree

1 file changed

+62
-0
lines changed

1 file changed

+62
-0
lines changed

mm/mremap.c

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -489,6 +489,53 @@ static bool move_pgt_entry(enum pgt_entry entry, struct vm_area_struct *vma,
489489
return moved;
490490
}
491491

492+
/*
493+
* A helper to check if a previous mapping exists. Required for
494+
* move_page_tables() and realign_addr() to determine if a previous mapping
495+
* exists before we can do realignment optimizations.
496+
*/
497+
static bool can_align_down(struct vm_area_struct *vma, unsigned long addr_to_align,
498+
unsigned long mask)
499+
{
500+
unsigned long addr_masked = addr_to_align & mask;
501+
502+
/*
503+
* If @addr_to_align of either source or destination is not the beginning
504+
* of the corresponding VMA, we can't align down or we will destroy part
505+
* of the current mapping.
506+
*/
507+
if (vma->vm_start != addr_to_align)
508+
return false;
509+
510+
/*
511+
* Make sure the realignment doesn't cause the address to fall on an
512+
* existing mapping.
513+
*/
514+
return find_vma_intersection(vma->vm_mm, addr_masked, vma->vm_start) == NULL;
515+
}
516+
517+
/* Opportunistically realign to specified boundary for faster copy. */
518+
static void try_realign_addr(unsigned long *old_addr, struct vm_area_struct *old_vma,
519+
unsigned long *new_addr, struct vm_area_struct *new_vma,
520+
unsigned long mask)
521+
{
522+
/* Skip if the addresses are already aligned. */
523+
if ((*old_addr & ~mask) == 0)
524+
return;
525+
526+
/* Only realign if the new and old addresses are mutually aligned. */
527+
if ((*old_addr & ~mask) != (*new_addr & ~mask))
528+
return;
529+
530+
/* Ensure realignment doesn't cause overlap with existing mappings. */
531+
if (!can_align_down(old_vma, *old_addr, mask) ||
532+
!can_align_down(new_vma, *new_addr, mask))
533+
return;
534+
535+
*old_addr = *old_addr & mask;
536+
*new_addr = *new_addr & mask;
537+
}
538+
492539
unsigned long move_page_tables(struct vm_area_struct *vma,
493540
unsigned long old_addr, struct vm_area_struct *new_vma,
494541
unsigned long new_addr, unsigned long len,
@@ -508,6 +555,14 @@ unsigned long move_page_tables(struct vm_area_struct *vma,
508555
return move_hugetlb_page_tables(vma, new_vma, old_addr,
509556
new_addr, len);
510557

558+
/*
559+
* If possible, realign addresses to PMD boundary for faster copy.
560+
* Only realign if the mremap copying hits a PMD boundary.
561+
*/
562+
if ((vma != new_vma)
563+
&& (len >= PMD_SIZE - (old_addr & ~PMD_MASK)))
564+
try_realign_addr(&old_addr, vma, &new_addr, new_vma, PMD_MASK);
565+
511566
flush_cache_range(vma, old_addr, old_end);
512567
mmu_notifier_range_init(&range, MMU_NOTIFY_UNMAP, 0, vma->vm_mm,
513568
old_addr, old_end);
@@ -577,6 +632,13 @@ unsigned long move_page_tables(struct vm_area_struct *vma,
577632

578633
mmu_notifier_invalidate_range_end(&range);
579634

635+
/*
636+
* Prevent negative return values when {old,new}_addr was realigned
637+
* but we broke out of the above loop for the first PMD itself.
638+
*/
639+
if (len + old_addr < old_end)
640+
return 0;
641+
580642
return len + old_addr - old_end; /* how much done */
581643
}
582644

0 commit comments

Comments
 (0)