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 98D38EE499B for ; Wed, 11 Sep 2024 12:00:48 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 1397794002A; Wed, 11 Sep 2024 08:00:48 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 0EABF940021; Wed, 11 Sep 2024 08:00:48 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id ED09994002A; Wed, 11 Sep 2024 08:00:47 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0014.hostedemail.com [216.40.44.14]) by kanga.kvack.org (Postfix) with ESMTP id BB7A3940021 for ; Wed, 11 Sep 2024 08:00:47 -0400 (EDT) Received: from smtpin08.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay07.hostedemail.com (Postfix) with ESMTP id 1FC25161768 for ; Wed, 11 Sep 2024 12:00:47 +0000 (UTC) X-FDA: 82552315734.08.CC947CB Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by imf13.hostedemail.com (Postfix) with ESMTP id 286C620019 for ; Wed, 11 Sep 2024 12:00:43 +0000 (UTC) Authentication-Results: imf13.hostedemail.com; dkim=none; dmarc=pass (policy=none) header.from=arm.com; spf=pass (imf13.hostedemail.com: domain of dev.jain@arm.com designates 217.140.110.172 as permitted sender) smtp.mailfrom=dev.jain@arm.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1726055968; a=rsa-sha256; cv=none; b=JU1559tPqsgCyBdeTQm2jnsNibhHCscH8YgVgw4J/SYlBbLKQ1eMJ+/67RjUj8WCsRuEhh QLSaXuybQ2sh1kwuYL1+TcTJ0LkY10i46JPJb8ci3GVEwthD76AZ0OfEE5BNc8B5Qnq6zs V4lwHaQjYhbPVpTEZh1DgtIQRNDb8tk= ARC-Authentication-Results: i=1; imf13.hostedemail.com; dkim=none; dmarc=pass (policy=none) header.from=arm.com; spf=pass (imf13.hostedemail.com: domain of dev.jain@arm.com designates 217.140.110.172 as permitted sender) smtp.mailfrom=dev.jain@arm.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1726055968; 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; bh=qi+jRzrIX6S7RvoHTb7t1cIjyAqp40xBBB/Je1oGza4=; b=WawmwHXB404KVwEkUsCFTzoeTYlMcalJ9X07KoWU5CsIWNc/LTCWZ3tKow3ZoUGQUAmuQv 9gcrCEJxSPn5JecbLYGTLoUiX6EDLCa1yIuTTtxEEa/91VP4hzmj6aAdCxCDgd828C9pO+ rys7BwuW9L6z35WwoKLg1rlcEZDmYWY= Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id A2D681007; Wed, 11 Sep 2024 05:01:12 -0700 (PDT) Received: from [10.162.40.31] (e116581.arm.com [10.162.40.31]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 8B2A13F66E; Wed, 11 Sep 2024 05:00:34 -0700 (PDT) Message-ID: <552e9b77-c1ea-4a60-8434-e360ca692f1f@arm.com> Date: Wed, 11 Sep 2024 17:30:27 +0530 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v3 1/2] mm: Abstract THP allocation To: David Hildenbrand , akpm@linux-foundation.org, willy@infradead.org, kirill.shutemov@linux.intel.com Cc: ryan.roberts@arm.com, anshuman.khandual@arm.com, catalin.marinas@arm.com, cl@gentwo.org, vbabka@suse.cz, mhocko@suse.com, apopple@nvidia.com, dave.hansen@linux.intel.com, will@kernel.org, baohua@kernel.org, jack@suse.cz, mark.rutland@arm.com, hughd@google.com, aneesh.kumar@kernel.org, yang@os.amperecomputing.com, peterx@redhat.com, ioworker0@gmail.com, jglisse@google.com, wangkefeng.wang@huawei.com, ziy@nvidia.com, linux-arm-kernel@lists.infradead.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org References: <20240911065600.1002644-1-dev.jain@arm.com> <20240911065600.1002644-2-dev.jain@arm.com> Content-Language: en-US From: Dev Jain In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: 286C620019 X-Rspam-User: X-Rspamd-Server: rspam05 X-Stat-Signature: 6no8h859m83ijey1dxyx49pwnizydb6f X-HE-Tag: 1726056043-378898 X-HE-Meta: U2FsdGVkX187P3QESYt6fm/mBwnGWBNlmxl9R09eqa3CXPgeEYJ4xHkTtUyZgjz4i8wl6xirGuktc58vDZzPAm4+9DIRr4BpMqHCo28K+j7Ex8WgMIeSA6riQL1TbWoWs7x2i4RsoDoW1U7KoDWyLuJT3Tc7cCHeq71JILkTY9gJ0QKIbCgRb6oyhYYcFOicRmG6rKZNf4QgtvUpkzTF/nBns/+ROxTPnFZCNoIPxV8XasxWkhxOU9ft1rr2Sn3M8bn1o7lH8mDWVGLA8bAJ3npFprrPlRZANfggxsQUn5vcTZhiEApmmnRQbPd67T3VR+dglnK6IJ1MEvU6SUX94kdEX43urHh+W456cQSRaHuNnY3MBotRY1UJn4N3E+l7Ka/g2KbqUhmfgvhsXLinGv8lw6rgUpG08yv8UOeqBHm8RsiX+6DUFZ8jLbN8HsokpUCVjYrkQ9n8oiK552qBZjKQHd9fHt5UQaGZnNgHScDUhkHAoo8EF4e3o/OduC/LjBXkLQby0ns1jP9AP8U6KomnRbFfDeHwuaKV486qIGm6I4h18ymWk8kSp0TqF9byy/8Tf5NScHQe8e6bCpYZhMaKKgrEzCW4S6gykmz1g9UN3RLellTgaeY2obINjFjfrNsom1h3A3488TkbCD6/6RUPvgaFM786U0DDF5cCp00CKXpdjy5NQmlUI6Z1+3lOErGozQmXNkGgO+X+nzrklIjLMeNMJesUw1aYMbJLGTJ98+n1fhWzSzZwir7zNs5ST5+b8sPQB6+Eomz2BfhyXyUO9RwgZu+ye6o9+C/xlsruDFunOpGGPqpbP9429QZJPr1yRyGEUFwVga4zPnTa8Uf2tKLBlhhgdqP/QW1U0/NBHTJ8I3NfntvGWNplvK1yM5ZCBYUaC9gh1239gO1ZdYiF5n83cKoDyT1LUcjTLbU4HFxb/3QZy4vxtLOiK8CgBcxm7wrFEfRRHrJlvgM TIC+KvyQ WvSwRhfVQswnAbkw1gQCFjWW8MqMU2oH6ihECzvgbkXb5su4LX/KLUBm1FuFV2UFSJdB0FKx5a0b7/xKfJ3z4bKYNFNEDjIVGVCwJGkc9NseuvZZeMsBABAwACJSWXFvD/ITmdq0vHB9xYuSMut+IiLShCbiNIou68bkk1R8tkhdd+GVaZE80c2Ny9VNwuzt+zPE2ewVaZoe18C8cV6Rkq6P5ehaSNu0gw68rT0IDPt2vjUU= 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 9/11/24 14:57, David Hildenbrand wrote: > On 11.09.24 08:55, Dev Jain wrote: >> In preparation for the second patch, abstract away the THP allocation >> logic present in the create_huge_pmd() path, which corresponds to the >> faulting case when no page is present. >> >> There should be no functional change as a result of applying >> this patch. >> > > Hi, > >> Signed-off-by: Dev Jain >> --- >>   mm/huge_memory.c | 110 +++++++++++++++++++++++++++++------------------ >>   1 file changed, 67 insertions(+), 43 deletions(-) >> >> diff --git a/mm/huge_memory.c b/mm/huge_memory.c >> index 67c86a5d64a6..b96a1ff2bf40 100644 >> --- a/mm/huge_memory.c >> +++ b/mm/huge_memory.c >> @@ -943,47 +943,88 @@ unsigned long thp_get_unmapped_area(struct file >> *filp, unsigned long addr, >>   } >>   EXPORT_SYMBOL_GPL(thp_get_unmapped_area); >>   -static vm_fault_t __do_huge_pmd_anonymous_page(struct vm_fault *vmf, >> -            struct page *page, gfp_t gfp) >> +static struct folio *pmd_thp_fault_alloc(gfp_t gfp, struct >> vm_area_struct *vma, >> +                     unsigned long haddr, unsigned long addr) > > I suggest calling this something like "vma_alloc_anon_folio_pmd()"? > Then it's more consistent with vma_alloc_folio(). > > Also, likely we should just only pass in "addr" and calculate "haddr" > ourselves, it's cheap and reduces the number of function parameters. Makes sense, thanks. > >>   { >> -    struct vm_area_struct *vma = vmf->vma; >> -    struct folio *folio = page_folio(page); >> -    pgtable_t pgtable; >> -    unsigned long haddr = vmf->address & HPAGE_PMD_MASK; >> -    vm_fault_t ret = 0; >> +    const int order = HPAGE_PMD_ORDER; >> +    struct folio *folio = vma_alloc_folio(gfp, order, vma, haddr, >> true); >>   -    VM_BUG_ON_FOLIO(!folio_test_large(folio), folio); >> +    if (unlikely(!folio)) { >> +        count_vm_event(THP_FAULT_FALLBACK); >> +        count_mthp_stat(order, MTHP_STAT_ANON_FAULT_FALLBACK); >> +        goto out; >> +    } >>   +    VM_BUG_ON_FOLIO(!folio_test_large(folio), folio); >>       if (mem_cgroup_charge(folio, vma->vm_mm, gfp)) { >>           folio_put(folio); >>           count_vm_event(THP_FAULT_FALLBACK); >>           count_vm_event(THP_FAULT_FALLBACK_CHARGE); >> -        count_mthp_stat(HPAGE_PMD_ORDER, >> MTHP_STAT_ANON_FAULT_FALLBACK); >> -        count_mthp_stat(HPAGE_PMD_ORDER, >> MTHP_STAT_ANON_FAULT_FALLBACK_CHARGE); >> -        return VM_FAULT_FALLBACK; >> +        count_mthp_stat(order, MTHP_STAT_ANON_FAULT_FALLBACK); >> +        count_mthp_stat(order, MTHP_STAT_ANON_FAULT_FALLBACK_CHARGE); >> +        goto out; >>       } >>       folio_throttle_swaprate(folio, gfp); >>   -    pgtable = pte_alloc_one(vma->vm_mm); >> -    if (unlikely(!pgtable)) { >> -        ret = VM_FAULT_OOM; >> -        goto release; >> -    } >> - >> -    folio_zero_user(folio, vmf->address); >> +    folio_zero_user(folio, addr); >>       /* >>        * The memory barrier inside __folio_mark_uptodate makes sure that >>        * folio_zero_user writes become visible before the set_pmd_at() >>        * write. >>        */ >>       __folio_mark_uptodate(folio); >> +out: >> +    return folio; >> +} >> + >> +static void __pmd_thp_fault_success_stats(struct vm_area_struct *vma) >> +{ >> +    count_vm_event(THP_FAULT_ALLOC); >> +    count_mthp_stat(HPAGE_PMD_ORDER, MTHP_STAT_ANON_FAULT_ALLOC); >> +    count_memcg_event_mm(vma->vm_mm, THP_FAULT_ALLOC); >> +} > > Why isn't that moved into map_pmd_thp() > > Note that in this patch you do: > > map_pmd_thp(folio, vmf, vma, haddr); > spin_unlock(vmf->ptl); > __pmd_thp_fault_success_stats(vma); > > But in patch #2 > > map_pmd_thp(folio, vmf, vma, haddr); > __pmd_thp_fault_success_stats(vma); > goto unlock; > release: >     folio_put(folio); > unlock: >     spin_unlock(vmf->ptl); Yes, while writing it I knew about this inconsistency, but I wanted to reduce latency by dropping the lock before. But in do_huge_zero_wp_pmd(), I couldn't figure out a way to call the stat function after dropping the lock, without I guess, introducing too many labels and goto jumps and the like. In the current code, the lock gets dropped first. > > Please make that consistent, meaning: > > 1) Inline __pmd_thp_fault_success_stats() into map_pmd_thp(). No need > to have the separated out. > > 2) Either do the PTL unlocking in __pmd_thp_fault_success_stats() or in >    the caller. In the caller is likely easiest. Adjusting the counters >    should be cheap, if not we could revisit this later with real data. I will then call it in map_pmd_thp(), that is cleaner...I did find occurrences of these stat computations after taking the lock, for example, in do_swap_page(): count_vm_event(PGMAJFAULT) so I guess it should be alright. > >> + >> +static void map_pmd_thp(struct folio *folio, struct vm_fault *vmf, >> +            struct vm_area_struct *vma, unsigned long haddr) >> +{ >> +    pmd_t entry; >> + >> +    entry = mk_huge_pmd(&folio->page, vma->vm_page_prot); >> +    entry = maybe_pmd_mkwrite(pmd_mkdirty(entry), vma); >> +    folio_add_new_anon_rmap(folio, vma, haddr, RMAP_EXCLUSIVE); >> +    folio_add_lru_vma(folio, vma); >> +    set_pmd_at(vma->vm_mm, haddr, vmf->pmd, entry); >> +    update_mmu_cache_pmd(vma, vmf->address, vmf->pmd); > > It's quite weird to see a mixture of haddr and vmf->address, and > likely this mixture is wrong or not not required. > > Looking at arc's update_mmu_cache_pmd() implementation, I cannot see > how passing in the unaligned address would do the right thing. But > maybe arc also doesn't trigger that code path ... who knows :) > > > Staring at some other update_mmu_cache_pmd() users, it's quite > inconsistent. Primarily only do_huge_pmd_numa_page() and > __do_huge_pmd_anonymous_page() use the unaligned address. The others > seem to use the aligned address ... as one would expect when modifying > a PMD. > > > I suggest to change this function to *not* pass in the vmf, and rename > it to something like: > > static void folio_map_anon_pmd(struct folio *folio, struct > vm_area_struct *vma, pmd_t *pmd, unsigned long haddr) > > Then use haddr also to do the update_mmu_cache_pmd(). The code I changed, already was passing vmf->address to update_mmu_cache_pmd(). I did not change any of the haddr and vmf->address semantics, so really can't comment on this. I agree with the name change; vmf will be required for set_pmd_at(vmf->pmd), so I should just pass pmd? > >> +    add_mm_counter(vma->vm_mm, MM_ANONPAGES, HPAGE_PMD_NR); >> +    mm_inc_nr_ptes(vma->vm_mm); >> +} >> + >> +static vm_fault_t __do_huge_pmd_anonymous_page(struct vm_fault *vmf) >> +{ >> +    struct vm_area_struct *vma = vmf->vma; >> +    struct folio *folio; >> +    pgtable_t pgtable; >> +    unsigned long haddr = vmf->address & HPAGE_PMD_MASK; >> +    vm_fault_t ret = 0; >> +    gfp_t gfp = vma_thp_gfp_mask(vma); > > Nit: While at it, try to use reverse christmas-tree where possible, > makes things more reasible. You could make haddr const. > > struct vm_area_struct *vma = vmf->vma; > unsigned long haddr = vmf->address & HPAGE_PMD_MASK; > gfp_t gfp = vma_thp_gfp_mask(vma); > struct folio *folio; > vm_fault_t ret = 0; Okay. > ... > >> + >> +    folio = pmd_thp_fault_alloc(gfp, vma, haddr, vmf->address); >> +    if (unlikely(!folio)) { >> +        ret = VM_FAULT_FALLBACK; >> +        goto release; >> +    } >> + >> +    pgtable = pte_alloc_one(vma->vm_mm); >> +    if (unlikely(!pgtable)) { >> +        ret = VM_FAULT_OOM; >> +        goto release; >> +    } >>         vmf->ptl = pmd_lock(vma->vm_mm, vmf->pmd); >> + > > Nit Unrelated change. Are you asking me to align this line with the below line? > >>       if (unlikely(!pmd_none(*vmf->pmd))) { >>           goto unlock_release; > >