From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 0E1CAC04FFE for ; Wed, 8 May 2024 09:32:07 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 7DBD76B0098; Wed, 8 May 2024 05:32:06 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 78A8F6B00CA; Wed, 8 May 2024 05:32:06 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 679A66B00CB; Wed, 8 May 2024 05:32:06 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0017.hostedemail.com [216.40.44.17]) by kanga.kvack.org (Postfix) with ESMTP id 49AA06B0098 for ; Wed, 8 May 2024 05:32:06 -0400 (EDT) Received: from smtpin13.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay06.hostedemail.com (Postfix) with ESMTP id 02CA0A1EAD for ; Wed, 8 May 2024 09:32:05 +0000 (UTC) X-FDA: 82094712252.13.9405DF1 Received: from out30-118.freemail.mail.aliyun.com (out30-118.freemail.mail.aliyun.com [115.124.30.118]) by imf01.hostedemail.com (Postfix) with ESMTP id 0A0E840004 for ; Wed, 8 May 2024 09:32:02 +0000 (UTC) Authentication-Results: imf01.hostedemail.com; dkim=pass header.d=linux.alibaba.com header.s=default header.b=WCVhhFG6; spf=pass (imf01.hostedemail.com: domain of baolin.wang@linux.alibaba.com designates 115.124.30.118 as permitted sender) smtp.mailfrom=baolin.wang@linux.alibaba.com; dmarc=pass (policy=none) header.from=linux.alibaba.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1715160724; a=rsa-sha256; cv=none; b=CN6LWak5X9KwcArN4rWMYF16XJDBSMzWshNvcxKHF64TiZzV2JUZIOO9SGIalmZgGGQETy fLgDBevnP3b7OHrULlg15YXt1mdzV2sufh5lGbalewp5H1SsEC7mBQhaQxyAMlZh3DeJLi ZodMKPnQA/nBeX6XspLdn+d7cFVj3Mc= ARC-Authentication-Results: i=1; imf01.hostedemail.com; dkim=pass header.d=linux.alibaba.com header.s=default header.b=WCVhhFG6; spf=pass (imf01.hostedemail.com: domain of baolin.wang@linux.alibaba.com designates 115.124.30.118 as permitted sender) smtp.mailfrom=baolin.wang@linux.alibaba.com; dmarc=pass (policy=none) header.from=linux.alibaba.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1715160724; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=X6ll+DleuF5VzRVyJHMdLVkT8eka2pdj3LoVi8Wvj6M=; b=VCynpBZ3WpcRPk1IcjOi7Mlq0d4jcvpCTq8z8ZktdWpqRwEPP1KCDuBKbvAw/UV83EGQjY H08mfuxhqVH2uaEH5MNsAD0uu/7YQ8aYEDZ49Wc/k8DwpIEYpbPnPqDnde8dQ4YC66kXrF cQa0snzH8kG8Vhk5J0w/Rq7srzeH3eo= DKIM-Signature:v=1; a=rsa-sha256; c=relaxed/relaxed; d=linux.alibaba.com; s=default; t=1715160720; h=Message-ID:Date:MIME-Version:Subject:To:From:Content-Type; bh=X6ll+DleuF5VzRVyJHMdLVkT8eka2pdj3LoVi8Wvj6M=; b=WCVhhFG62S78M+b/R3RdUXRirlY90IjviSDTqPC2ZHEY1C+4ByEdXGLwMEEoDeZSJ/+RLptL/Th/EcAVQvWw9fX0rn0KYqFet15AlM+5qjMOaJVoGXsXW9eTXGzqEx4NP55PBcBMQhKaOploGvmwY7mNZ5AJXqySWwgkOy6wrW4= X-Alimail-AntiSpam:AC=PASS;BC=-1|-1;BR=01201311R141e4;CH=green;DM=||false|;DS=||;FP=0|-1|-1|-1|0|-1|-1|-1;HT=maildocker-contentspam033068173054;MF=baolin.wang@linux.alibaba.com;NM=1;PH=DS;RN=13;SR=0;TI=SMTPD_---0W63DC6R_1715160717; Received: from 30.97.56.69(mailfrom:baolin.wang@linux.alibaba.com fp:SMTPD_---0W63DC6R_1715160717) by smtp.aliyun-inc.com; Wed, 08 May 2024 17:31:58 +0800 Message-ID: <3d87da24-7887-4912-abcf-14062e8514de@linux.alibaba.com> Date: Wed, 8 May 2024 17:31:57 +0800 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH 2/8] mm: memory: extend finish_fault() to support large folio To: Ryan Roberts , akpm@linux-foundation.org, hughd@google.com Cc: willy@infradead.org, david@redhat.com, ioworker0@gmail.com, wangkefeng.wang@huawei.com, ying.huang@intel.com, 21cnbao@gmail.com, shy828301@gmail.com, ziy@nvidia.com, linux-mm@kvack.org, linux-kernel@vger.kernel.org References: <13939ade-a99a-4075-8a26-9be7576b7e03@arm.com> From: Baolin Wang In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Stat-Signature: myozrwgfhkt7bmsd1wq15nucg83z1dxm X-Rspam-User: X-Rspamd-Server: rspam02 X-Rspamd-Queue-Id: 0A0E840004 X-HE-Tag: 1715160722-987985 X-HE-Meta: U2FsdGVkX1+FUXurzQ/p2u75ADiuKF39BzpTwpZ43MATw0+em8nWcSC7WVk0NqAlhb7fVDJrzAE52SxLRmmZ+Swh6w6sLUIGyHD98D6r9rPQdQpDWwkw1qPkOKhoUojIbbzs7APio2VdtN0jb7/7SUL8CgiB+Jkqdwu7/QaUslN69RJ+IpYkHVYq/lzCTKHvcaYRgcaSB4ylQhsaHcIcO9BRAIlAd42lMVa2YlIP1AIWQHH+/5uwLBLQGaU2/5JhMha+uC6i3JFg1zILfAdmfqttlSkCxXw8oHTtyd6b0WzclIfqk5A2+7sCfCLO5an0spxZYLfxq3mHBEGPl2aVtGS1faGBFGMVVYd/MX3WHbA4ybZcCYLN3yaud8sDyE17m+NWEDSuxIQe4hbDcTzVJrH64keCYde+LELLBf0PuDtI1azFM/YeLnKijA4VvBBPzPtT2nfnOclLNdRXjZ8iVGIPmqOktrF4Rr0uQv/S5kaykWz909627ju2SP+H1DRbWsKXkVN3ddakeYye7gw9OfQXDb01Wu6gV++0tL6hOFkca0e41aRwb9QwsWb/UuD3eAlUkFyosXD0yTWG7ez5/yZI/3h2u9+9WnxFpKmxiUaAeX8xhv3YHNCA4igdFgPmMcYqQcVbGNbJOXuA+crRZk2gfL0EB7lw3dwo73f85QlY2ob5g/YMWO9Vsv2nn8n+iw1RMkz1n92+KuD7/g4zpZW68Hy7lqFVs2n9cwMcHwk7TXbn/s/CD1VkLWmu18vdIP5ZzPoH/OjBiC+0raclyJ2wPdBJxFIswl3f37EEeTByXP/EbprlliVIL4frZwrv0q4pAZLu+5cm/pA8cIpKWzp83nQUhz8Ckig8X4mNF+nUxK085KB+deTfGK70BA0K7yoeINgHXZxOFEppWywFDvtn1CL4JSLvGBqgwk3ZzdIdlFd36dTYXGuaZruUcZ+Tm+7GU0TpHF4KDv6pdY0 VRT9mc2P z639/7Cp+63N9uHFzMvsPU6r4D9sgIMmgux/aBPLQLgWSQyM9ycOD526KNaHfAMbdMNKdU6i2XhAYmTjJvBxW4VDiGz0i9MiDpogIGQvXhygGfjtoJcET2L7OIRQ4V7BqC5fugGr7Ll5rYAeXLgf5y41OhJPPCipnmhURvky2hluGDRHf1oFzHuuX2mUK1Xqxv3uY0jL6opc6Uj9sHuByshN2clas7ZWeXfL6gnImoF+OCIxKDYnk/g54Ovx9DpjFF93qNvW93n7xJ2zqDjbhMfWTvopuKK3OscVvZirw1euzDM7enkr9iIQitro3GUOSokvbdstrxUmNly4a6kft87cuDR6atgVyhhCck7upQR3gcHX5CjTW91l5jDuu8hbWOMt90x+gbzKXmvU= X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: List-Subscribe: List-Unsubscribe: On 2024/5/8 16:53, Ryan Roberts wrote: > On 08/05/2024 04:44, Baolin Wang wrote: >> >> >> On 2024/5/7 18:37, Ryan Roberts wrote: >>> On 06/05/2024 09:46, Baolin Wang wrote: >>>> Add large folio mapping establishment support for finish_fault() as a >>>> preparation, >>>> to support multi-size THP allocation of anonymous shmem pages in the following >>>> patches. >>>> >>>> Signed-off-by: Baolin Wang >>>> --- >>>>   mm/memory.c | 43 +++++++++++++++++++++++++++++++++---------- >>>>   1 file changed, 33 insertions(+), 10 deletions(-) >>>> >>>> diff --git a/mm/memory.c b/mm/memory.c >>>> index eea6e4984eae..936377220b77 100644 >>>> --- a/mm/memory.c >>>> +++ b/mm/memory.c >>>> @@ -4747,9 +4747,12 @@ vm_fault_t finish_fault(struct vm_fault *vmf) >>>>   { >>>>       struct vm_area_struct *vma = vmf->vma; >>>>       struct page *page; >>>> +    struct folio *folio; >>>>       vm_fault_t ret; >>>>       bool is_cow = (vmf->flags & FAULT_FLAG_WRITE) && >>>>                 !(vma->vm_flags & VM_SHARED); >>>> +    int type, nr_pages, i; >>>> +    unsigned long addr = vmf->address; >>>>         /* Did we COW the page? */ >>>>       if (is_cow) >>>> @@ -4780,24 +4783,44 @@ vm_fault_t finish_fault(struct vm_fault *vmf) >>>>               return VM_FAULT_OOM; >>>>       } >>>>   +    folio = page_folio(page); >>>> +    nr_pages = folio_nr_pages(folio); >>>> + >>>> +    if (unlikely(userfaultfd_armed(vma))) { >>>> +        nr_pages = 1; >>>> +    } else if (nr_pages > 1) { >>>> +        unsigned long start = ALIGN_DOWN(vmf->address, nr_pages * PAGE_SIZE); >>>> +        unsigned long end = start + nr_pages * PAGE_SIZE; >>>> + >>>> +        /* In case the folio size in page cache beyond the VMA limits. */ >>>> +        addr = max(start, vma->vm_start); >>>> +        nr_pages = (min(end, vma->vm_end) - addr) >> PAGE_SHIFT; >>>> + >>>> +        page = folio_page(folio, (addr - start) >> PAGE_SHIFT); >>> >>> I still don't really follow the logic in this else if block. Isn't it possible >>> that finish_fault() gets called with a page from a folio that isn't aligned with >>> vmf->address? >>> >>> For example, let's say we have a file who's size is 64K and which is cached in a >>> single large folio in the page cache. But the file is mapped into a process at >>> VA 16K to 80K. Let's say we fault on the first page (VA=16K). You will calculate >> >> For shmem, this doesn't happen because the VA is aligned with the hugepage size >> in the shmem_get_unmapped_area() function. See patch 7. > > Certainly agree that shmem can always make sure that it packs a vma in a way > such that its folios are naturally aligned in VA when faulting in memory. If you > mremap it, that alignment will be lost; I don't think that would be a problem When mremap it, it will also call shmem_get_unmapped_area() to align the VA, but for mremap() with MAP_FIXED flag as David pointed out, yes, this patch may be not work perfectly. > for a single process; mremap will take care of moving the ptes correctly and > this path is not involved. > > But what about the case when a process mmaps a shmem region, then forks, then > the child mremaps the shmem region. Then the parent faults in a THP into the > region (nicely aligned). Then the child faults in the same offset in the region > and gets the THP that the parent allocated; that THP will be aligned in the > parent's VM space but not in the child's. Sorry, I did not get your point here. IIUC, the child's VA will also be aligned if the child mremap is not set MAP_FIXED, since the child's mremap will still call shmem_get_unmapped_area() to find an aligned new VA. Please correct me if I missed your point. >>> start=0 and end=64K I think? >> >> Yes. Unfortunately, some file systems that support large mappings do not perform >> alignment for multi-size THP (non-PMD sized, for example: 64K). I think this >> requires modification to __get_unmapped_area--->thp_get_unmapped_area_vmflags() >> or file->f_op->get_unmapped_area() to align VA for multi-size THP in future. > > By nature of the fact that a file mapping is shared between multiple processes > and each process can map it where ever it wants down to 1 page granularity, its > impossible for any THP containing a part of that file to be VA-aligned in every > process it is mapped in. Yes, so let me re-polish this patch. Thanks. >> So before adding that VA alignment changes, only allow building the large folio >> mapping for anonymous shmem: >> >> diff --git a/mm/memory.c b/mm/memory.c >> index 936377220b77..9e4d51826d23 100644 >> --- a/mm/memory.c >> +++ b/mm/memory.c >> @@ -4786,7 +4786,7 @@ vm_fault_t finish_fault(struct vm_fault *vmf) >>         folio = page_folio(page); >>         nr_pages = folio_nr_pages(folio); >> >> -       if (unlikely(userfaultfd_armed(vma))) { >> +       if (unlikely(userfaultfd_armed(vma)) || !vma_is_anon_shmem(vma)) { > > If the above theoretical flow for fork & mremap is valid, then I don't think > this is sufficient. > >>                 nr_pages = 1; >>         } else if (nr_pages > 1) { >>                 unsigned long start = ALIGN_DOWN(vmf->address, nr_pages * >> PAGE_SIZE); >> >>> Additionally, I think this path will end up mapping the entire folio (as long as >>> it fits in the VMA). But this bypasses the fault-around configuration. As I >>> think I mentioned against the RFC, this will inflate the RSS of the process and >>> can cause behavioural changes as a result. I believe the current advice is to >>> disable fault-around to prevent this kind of bloat when needed. >> >> With above change, I do not think this is a problem? since users already want to >> use mTHP for anonymous shmem. >> >>> It might be that you need a special variant of finish_fault() for shmem? >>> >>> >>>> +    } >>>>       vmf->pte = pte_offset_map_lock(vma->vm_mm, vmf->pmd, >>>> -                      vmf->address, &vmf->ptl); >>>> +                       addr, &vmf->ptl); >>>>       if (!vmf->pte) >>>>           return VM_FAULT_NOPAGE; >>>>         /* Re-check under ptl */ >>>> -    if (likely(!vmf_pte_changed(vmf))) { >>>> -        struct folio *folio = page_folio(page); >>>> -        int type = is_cow ? MM_ANONPAGES : mm_counter_file(folio); >>>> - >>>> -        set_pte_range(vmf, folio, page, 1, vmf->address); >>>> -        add_mm_counter(vma->vm_mm, type, 1); >>>> -        ret = 0; >>>> -    } else { >>>> -        update_mmu_tlb(vma, vmf->address, vmf->pte); >>>> +    if (nr_pages == 1 && unlikely(vmf_pte_changed(vmf))) { >>>> +        update_mmu_tlb(vma, addr, vmf->pte); >>>> +        ret = VM_FAULT_NOPAGE; >>>> +        goto unlock; >>>> +    } else if (nr_pages > 1 && !pte_range_none(vmf->pte, nr_pages)) { >>>> +        for (i = 0; i < nr_pages; i++) >>>> +            update_mmu_tlb(vma, addr + PAGE_SIZE * i, vmf->pte + i); >>>>           ret = VM_FAULT_NOPAGE; >>>> +        goto unlock; >>>>       } >>>>   +    set_pte_range(vmf, folio, page, nr_pages, addr); >>>> +    type = is_cow ? MM_ANONPAGES : mm_counter_file(folio); >>>> +    add_mm_counter(vma->vm_mm, type, nr_pages); >>>> +    ret = 0; >>>> + >>>> +unlock: >>>>       pte_unmap_unlock(vmf->pte, vmf->ptl); >>>>       return ret; >>>>   }