hugetlb: fix vma lock handling during split vma and range unmapping

Patch series "hugetlb: fixes for new vma lock series".

In review of the series "hugetlb: Use new vma lock for huge pmd sharing
synchronization", Miaohe Lin pointed out two key issues:

1) There is a race in the routine hugetlb_unmap_file_folio when locks
   are dropped and reacquired in the correct order [1].

2) With the switch to using vma lock for fault/truncate synchronization,
   we need to make sure lock exists for all VM_MAYSHARE vmas, not just
   vmas capable of pmd sharing.

These two issues are addressed here.  In addition, having a vma lock
present in all VM_MAYSHARE vmas, uncovered some issues around vma
splitting.  Those are also addressed.

[1] https://lore.kernel.org/linux-mm/01f10195-7088-4462-6def-909549c75ef4@huawei.com/

This patch (of 3):

The hugetlb vma lock hangs off the vm_private_data field and is specific
to the vma.  When vm_area_dup() is called as part of vma splitting, the
vma lock pointer is copied to the new vma.  This will result in issues
such as double freeing of the structure.  Update the hugetlb open vm_ops
to allocate a new vma lock for the new vma.

The routine __unmap_hugepage_range_final unconditionally unset VM_MAYSHARE
to prevent subsequent pmd sharing.  hugetlb_vma_lock_free attempted to
anticipate this by checking both VM_MAYSHARE and VM_SHARED.  However, if
only VM_MAYSHARE was set we would miss the free.  With the introduction of
the vma lock, a vma can not participate in pmd sharing if vm_private_data
is NULL.  Instead of clearing VM_MAYSHARE in __unmap_hugepage_range_final,
free the vma lock to prevent sharing.  Also, update the sharing code to
make sure vma lock is indeed a condition for pmd sharing.
hugetlb_vma_lock_free can then key off VM_MAYSHARE and not miss any vmas.

Link: https://lkml.kernel.org/r/20221005011707.514612-1-mike.kravetz@oracle.com
Link: https://lkml.kernel.org/r/20221005011707.514612-2-mike.kravetz@oracle.com
Fixes: "hugetlb: add vma based lock for pmd sharing"
Signed-off-by: Mike Kravetz <mike.kravetz@oracle.com>
Cc: Andrea Arcangeli <aarcange@redhat.com>
Cc: "Aneesh Kumar K.V" <aneesh.kumar@linux.vnet.ibm.com>
Cc: Axel Rasmussen <axelrasmussen@google.com>
Cc: David Hildenbrand <david@redhat.com>
Cc: Davidlohr Bueso <dave@stgolabs.net>
Cc: James Houghton <jthoughton@google.com>
Cc: "Kirill A. Shutemov" <kirill.shutemov@linux.intel.com>
Cc: Miaohe Lin <linmiaohe@huawei.com>
Cc: Michal Hocko <mhocko@suse.com>
Cc: Mina Almasry <almasrymina@google.com>
Cc: Muchun Song <songmuchun@bytedance.com>
Cc: Naoya Horiguchi <naoya.horiguchi@linux.dev>
Cc: Pasha Tatashin <pasha.tatashin@soleen.com>
Cc: Peter Xu <peterx@redhat.com>
Cc: Prakash Sangappa <prakash.sangappa@oracle.com>
Cc: Sven Schnelle <svens@linux.ibm.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>

diff --git a/mm/hugetlb.c b/mm/hugetlb.c
index 8de5a6b5a172a843c1042e96811d566601658aad..45e305d182f6be0ccff292cb65b748c95fe5ac96 100644 (file)
--- a/mm/hugetlb.c
+++ b/mm/hugetlb.c
@@ -4612,7 +4612,14 @@ static void hugetlb_vm_op_open(struct vm_area_struct *vma)
                kref_get(&resv->refs);
        }
 
-       hugetlb_vma_lock_alloc(vma);
+       /*
+        * vma_lock structure for sharable mappings is vma specific.
+        * Clear old pointer (if copied via vm_area_dup) and create new.
+        */
+       if (vma->vm_flags & VM_MAYSHARE) {
+               vma->vm_private_data = NULL;
+               hugetlb_vma_lock_alloc(vma);
+       }
 }
 
 static void hugetlb_vm_op_close(struct vm_area_struct *vma)
@@ -5168,19 +5175,23 @@ void __unmap_hugepage_range_final(struct mmu_gather *tlb,
                          unsigned long end, struct page *ref_page,
                          zap_flags_t zap_flags)
 {
+       hugetlb_vma_lock_write(vma);
+       i_mmap_lock_write(vma->vm_file->f_mapping);
+
        __unmap_hugepage_range(tlb, vma, start, end, ref_page, zap_flags);
 
        /*
-        * Clear this flag so that x86's huge_pmd_share page_table_shareable
-        * test will fail on a vma being torn down, and not grab a page table
-        * on its way out.  We're lucky that the flag has such an appropriate
-        * name, and can in fact be safely cleared here. We could clear it
-        * before the __unmap_hugepage_range above, but all that's necessary
-        * is to clear it before releasing the i_mmap_rwsem. This works
-        * because in the context this is called, the VMA is about to be
-        * destroyed and the i_mmap_rwsem is held.
+        * Unlock and free the vma lock before releasing i_mmap_rwsem.  When
+        * the vma_lock is freed, this makes the vma ineligible for pmd
+        * sharing.  And, i_mmap_rwsem is required to set up pmd sharing.
+        * This is important as page tables for this unmapped range will
+        * be asynchrously deleted.  If the page tables are shared, there
+        * will be issues when accessed by someone else.
         */
-       vma->vm_flags &= ~VM_MAYSHARE;
+       hugetlb_vma_unlock_write(vma);
+       hugetlb_vma_lock_free(vma);
+
+       i_mmap_unlock_write(vma->vm_file->f_mapping);
 }
 
 void unmap_hugepage_range(struct vm_area_struct *vma, unsigned long start,
@@ -6664,10 +6675,13 @@ static unsigned long page_table_shareable(struct vm_area_struct *svma,
        /*
         * match the virtual addresses, permission and the alignment of the
         * page table page.
+        *
+        * Also, vma_lock (vm_private_data) is required for sharing.
         */
        if (pmd_index(addr) != pmd_index(saddr) ||
            vm_flags != svm_flags ||
-           !range_in_vma(svma, sbase, s_end))
+           !range_in_vma(svma, sbase, s_end) ||
+           !svma->vm_private_data)
                return 0;
 
        return saddr;
@@ -6817,12 +6831,9 @@ void hugetlb_vma_lock_release(struct kref *kref)
 static void hugetlb_vma_lock_free(struct vm_area_struct *vma)
 {
        /*
-        * Only present in sharable vmas.  See comment in
-        * __unmap_hugepage_range_final about how VM_SHARED could
-        * be set without VM_MAYSHARE.  As a result, we need to
-        * check if either is set in the free path.
+        * Only present in sharable vmas.
         */
-       if (!vma || !(vma->vm_flags & (VM_MAYSHARE | VM_SHARED)))
+       if (!vma || !__vma_shareable_flags_pmd(vma))
                return;
 
        if (vma->vm_private_data) {

diff --git a/mm/memory.c b/mm/memory.c
index 118e5f023597cd8736699d0e44e1ded3c1dc617d..df678fa30cdb9143e85d7e30bab57acda9121a8c 100644 (file)
--- a/mm/memory.c
+++ b/mm/memory.c
@@ -1685,12 +1685,8 @@ static void unmap_single_vma(struct mmu_gather *tlb,
                        if (vma->vm_file) {
                                zap_flags_t zap_flags = details ?
                                    details->zap_flags : 0;
-                               hugetlb_vma_lock_write(vma);
-                               i_mmap_lock_write(vma->vm_file->f_mapping);
                                __unmap_hugepage_range_final(tlb, vma, start, end,
                                                             NULL, zap_flags);
-                               i_mmap_unlock_write(vma->vm_file->f_mapping);
-                               hugetlb_vma_unlock_write(vma);
                        }
                } else
                        unmap_page_range(tlb, vma, start, end, details);