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 0C5CDC369DC for ; Wed, 30 Apr 2025 06:33:02 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 1A1106B00D6; Wed, 30 Apr 2025 02:33:00 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 127D06B00DA; Wed, 30 Apr 2025 02:33:00 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id F0A666B00DB; Wed, 30 Apr 2025 02:32:59 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0012.hostedemail.com [216.40.44.12]) by kanga.kvack.org (Postfix) with ESMTP id C80E96B00D6 for ; Wed, 30 Apr 2025 02:32:59 -0400 (EDT) Received: from smtpin13.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay01.hostedemail.com (Postfix) with ESMTP id DD52F1CBA60 for ; Wed, 30 Apr 2025 06:33:00 +0000 (UTC) X-FDA: 83389742520.13.BF0ADFB Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by imf16.hostedemail.com (Postfix) with ESMTP id 26FCC180004 for ; Wed, 30 Apr 2025 06:32:58 +0000 (UTC) Authentication-Results: imf16.hostedemail.com; dkim=none; dmarc=pass (policy=none) header.from=arm.com; spf=pass (imf16.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=1745994779; 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=D23a4tw/4eMAbSDh2xSLQh0bc+Or9CYWnzdnfyeF+qs=; b=qbucguGnRa/PwkBk1F0tLFjU3frCe9UbHmk2KxGWf8/c0gVo/9jXLauTHRhWgijgjD2dfc 0TWyPP8YxHdL+5MhCv6VHPqVwtgZBXB3awescDHCKfmufTuIEOuIbJJeltlQWUHPBxdPSY e0asC428eqO/HuQQWU9bF4dRe/0AZUQ= ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1745994779; a=rsa-sha256; cv=none; b=ny67C1oVHLceaVN1oWz6ClVgGwk44w33zCnMDrvfgJBcHYVwnFDyK+RPyVwb6HqRwv94aD Gctp20yg8SmNzZcJ2Rw2411Vb0L8w9uLa7H/W6Q3kvv9UgKnZhjhnz2VwSTn6z90ADKhnd xy4ZPPNy5rA2sOELip9sgGnizuE8Y/Q= ARC-Authentication-Results: i=1; imf16.hostedemail.com; dkim=none; dmarc=pass (policy=none) header.from=arm.com; spf=pass (imf16.hostedemail.com: domain of dev.jain@arm.com designates 217.140.110.172 as permitted sender) smtp.mailfrom=dev.jain@arm.com 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 45A1D12FC; Tue, 29 Apr 2025 23:32:51 -0700 (PDT) Received: from [10.163.79.251] (unknown [10.163.79.251]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id E19923F66E; Tue, 29 Apr 2025 23:32:47 -0700 (PDT) Message-ID: <9856f39d-d9d8-45c1-8e5a-514d21a86d51@arm.com> Date: Wed, 30 Apr 2025 12:02:42 +0530 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v2 4/7] arm64: Add batched version of ptep_modify_prot_start To: Anshuman Khandual , akpm@linux-foundation.org Cc: ryan.roberts@arm.com, david@redhat.com, willy@infradead.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, catalin.marinas@arm.com, will@kernel.org, Liam.Howlett@oracle.com, lorenzo.stoakes@oracle.com, vbabka@suse.cz, jannh@google.com, peterx@redhat.com, joey.gouly@arm.com, ioworker0@gmail.com, baohua@kernel.org, kevin.brodsky@arm.com, quic_zhenhuah@quicinc.com, christophe.leroy@csgroup.eu, yangyicong@hisilicon.com, linux-arm-kernel@lists.infradead.org, namit@vmware.com, hughd@google.com, yang@os.amperecomputing.com, ziy@nvidia.com References: <20250429052336.18912-1-dev.jain@arm.com> <20250429052336.18912-5-dev.jain@arm.com> <5eebef24-6c98-4407-a4f1-5a97f08b76a4@arm.com> <1c0fd43d-8de9-4bd8-af05-83a4d9c8d9e6@arm.com> Content-Language: en-US From: Dev Jain In-Reply-To: <1c0fd43d-8de9-4bd8-af05-83a4d9c8d9e6@arm.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Rspamd-Server: rspam12 X-Rspamd-Queue-Id: 26FCC180004 X-Rspam-User: X-Stat-Signature: yta1pi9qfryacaofufn7qgq7yd58ku45 X-HE-Tag: 1745994778-588224 X-HE-Meta: U2FsdGVkX19ELAH6pAWOvYfQAQFp25Gts9hVbwFqvpDSFzHAbBUMJ0wD5Ohk5oaal5trVWdnYqj5NeMFUYv+58ekTwPKGUA6+P3HoifG0gZF3g0zOdrwuGxsSLe5w6gctgr7D5imqB1SmeJ9KUyVyYKX9f4M15eHYvJpDo6Am8YI2ZeqkB5EPdIHNsHQp1lteoIn7SgomzM5D2JcnFPGWGnrzGpj9+OYNB73vjjq4tDf5YMv9YxZ1QY49yIEj0cz1zBWTCMprysyxBSHAL9M9ZsfdSUbTo293o+hUR7In9R1JoDtjgo+WLhDZeHRLNhpWFjhfgu2n3dB4+dK536SPhK55MYHkuB8OXkrUsBFXVR4Riig8S4ycW9iJExhGEIWMuXoV7zoCWmCyZyw8qLxhoyZrKu8YbvHOWOm9mOdDzrM57E1OCPI5SA8620UdnlQM9S1VT1LoXaQ/freO/2MDcM3cfPC3qyf8Y4ZAKzFw/iB7fQ5SP3DRG26IEqabq9rSZNqTKnENcW3kuN4NW8DgaVm8pVIXvdF1ZsOLL7KiK2jX1N9Lrch81Nck9SJCpeGJRonFgDB0aGgEqkdP8Z0WkHLUP4c67/5ZlRP37mYVHbVZXlMQOOoB1xm6tSNJYxwuWLCI3dwzhCdEWMvKpW0P3RErOv+yU0OfzWBWh1y+ktkkacbzDhf3ixe2TzRXFr+WjsoSsQOojf6EhhwMK3g6zrtmlctE5pzVCrDddhbARW4bNM1Rv/zmcoBIJ/kM1L4K8eF4E3Ni1ONY1LyduASG6eT9OQmt8qvu2WfrPMyyc5KV6EaHh7qMMH5nRXpJdI3N68MzC5WLKjyWEWokvHr4zqaU1X5V4iph0jaPEDYPaOtxAAIcI0eRUnV4yhbkhjaH7nkANKzeP0c6P8YRKRC9tygWzNUStt9KZPgzTQy9mgIYkMBYls0BvJUkPGEhEgrCjj6S6K3nhjfzjIpZaa Hx1a6icd kT9MaXQ5aaJfX2dG+RvbM5YKT81n7M73lHL4maBbK260PHw1wJMic/1dLQ27s26KnMvOLi+1EvUppzQs6ilbc0mhd+DagyNAbZMVLQ9KKXzRAl/KQ8ZjRvF6rXWfl0dz3LmJfXnfwwZi3n07qQ2QmbszGhlaST7hkeaR3yx5AnjzIF6mtMBkC+oZyGn0AcuOQvP8DPNQnGKFd2lrAOTZ/Rmi5ZzhQuDPZ+CHkb4Rp5H/Dsw2Lty5px+LAlKLvxRYh5NGzIXHRUoToOWfG4jeZleme2g== 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 30/04/25 11:44 am, Anshuman Khandual wrote: > > > On 4/30/25 11:19, Dev Jain wrote: >> >> >> On 30/04/25 11:13 am, Anshuman Khandual wrote: >>> On 4/29/25 10:53, Dev Jain wrote: >>>> Override the generic definition to use get_and_clear_full_ptes(), so that >>>> we do a TLBI possibly only on the "contpte-edges" of the large PTE block, >>>> instead of doing it for every contpte block, which happens for ptep_get_and_clear(). >>> >>> Could you please explain what does "contpte-edges" really signify in the >>> context of large PTE blocks ? Also how TLBI operation only on these edges >>> will never run into the risk of missing TLB invalidation of some other >>> mapped areas ? >> >> We are doing a TLBI over the whole range already, in the mprotect code: >> see tlb_flush_pte_range. What the arm64 internal API does, irrespective of the caller, is to do a TLBI for every contpte block in case of unfolding. We don't need that for the intermediate blocks because the caller does that. We do need a TLBI for the start and end contpte block, >> because in case the range we are invalidating partially covers them, then the caller will not do a TLBI for the non-overlapped PTEs of the block. > > But is not splitting the TLBI flush responsibility between the callers > (intermediate blocks) and the platform API (contpte-edges) - some what > problematic from a semantics perspective, and will be more susceptible > for missing TLB flushes etc ? I seem to agree that this is a semantic problem. Although, we won't ever miss a TLB flush - we will only have extras. It is the responsibility of the caller to do the TLBI, the platform API is only checking whether we need some more TLBIs. > >> I'll explain some more in the changelog next version. >> >>> >>>> >>>> Signed-off-by: Dev Jain >>>> --- >>>>   arch/arm64/include/asm/pgtable.h |  5 +++++ >>>>   arch/arm64/mm/mmu.c              | 12 +++++++++--- >>>>   include/linux/pgtable.h          |  4 ++++ >>>>   mm/pgtable-generic.c             | 16 +++++++++++----- >>>>   4 files changed, 29 insertions(+), 8 deletions(-) >>>> >>>> diff --git a/arch/arm64/include/asm/pgtable.h b/arch/arm64/include/asm/pgtable.h >>>> index 2a77f11b78d5..8872ea5f0642 100644 >>>> --- a/arch/arm64/include/asm/pgtable.h >>>> +++ b/arch/arm64/include/asm/pgtable.h >>>> @@ -1553,6 +1553,11 @@ extern void ptep_modify_prot_commit(struct vm_area_struct *vma, >>>>                       unsigned long addr, pte_t *ptep, >>>>                       pte_t old_pte, pte_t new_pte); >>>>   +#define modify_prot_start_ptes modify_prot_start_ptes >>>> +extern pte_t modify_prot_start_ptes(struct vm_area_struct *vma, >>>> +                    unsigned long addr, pte_t *ptep, >>>> +                    unsigned int nr); >>>> + >>>>   #ifdef CONFIG_ARM64_CONTPTE >>>>     /* >>>> diff --git a/arch/arm64/mm/mmu.c b/arch/arm64/mm/mmu.c >>>> index 8fcf59ba39db..fe60be8774f4 100644 >>>> --- a/arch/arm64/mm/mmu.c >>>> +++ b/arch/arm64/mm/mmu.c >>>> @@ -1523,7 +1523,8 @@ static int __init prevent_bootmem_remove_init(void) >>>>   early_initcall(prevent_bootmem_remove_init); >>>>   #endif >>>>   -pte_t ptep_modify_prot_start(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep) >>>> +pte_t modify_prot_start_ptes(struct vm_area_struct *vma, unsigned long addr, >>>> +                 pte_t *ptep, unsigned int nr) >>>>   { >>>>       if (alternative_has_cap_unlikely(ARM64_WORKAROUND_2645198)) { >>>>           /* >>>> @@ -1532,9 +1533,14 @@ pte_t ptep_modify_prot_start(struct vm_area_struct *vma, unsigned long addr, pte >>>>            * in cases where cpu is affected with errata #2645198. >>>>            */ >>>>           if (pte_user_exec(ptep_get(ptep))) >>>> -            return ptep_clear_flush(vma, addr, ptep); >>>> +            return clear_flush_ptes(vma, addr, ptep, nr); >>>>       } >>>> -    return ptep_get_and_clear(vma->vm_mm, addr, ptep); >>>> +    return get_and_clear_full_ptes(vma->vm_mm, addr, ptep, nr, 0); >>>> +} >>>> + >>>> +pte_t ptep_modify_prot_start(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep) >>>> +{ >>>> +    return modify_prot_start_ptes(vma, addr, ptep, 1); >>>>   } >>>>     void ptep_modify_prot_commit(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep, >>>> diff --git a/include/linux/pgtable.h b/include/linux/pgtable.h >>>> index ed287289335f..10cdb87ccecf 100644 >>>> --- a/include/linux/pgtable.h >>>> +++ b/include/linux/pgtable.h >>>> @@ -828,6 +828,10 @@ extern pte_t ptep_clear_flush(struct vm_area_struct *vma, >>>>                     pte_t *ptep); >>>>   #endif >>>>   +extern pte_t clear_flush_ptes(struct vm_area_struct *vma, >>>> +                  unsigned long address, >>>> +                  pte_t *ptep, unsigned int nr); >>>> + >>>>   #ifndef __HAVE_ARCH_PMDP_HUGE_CLEAR_FLUSH >>>>   extern pmd_t pmdp_huge_clear_flush(struct vm_area_struct *vma, >>>>                     unsigned long address, >>>> diff --git a/mm/pgtable-generic.c b/mm/pgtable-generic.c >>>> index 5a882f2b10f9..e238f88c3cac 100644 >>>> --- a/mm/pgtable-generic.c >>>> +++ b/mm/pgtable-generic.c >>>> @@ -90,17 +90,23 @@ int ptep_clear_flush_young(struct vm_area_struct *vma, >>>>   } >>>>   #endif >>>>   -#ifndef __HAVE_ARCH_PTEP_CLEAR_FLUSH >>>> -pte_t ptep_clear_flush(struct vm_area_struct *vma, unsigned long address, >>>> -               pte_t *ptep) >>>> +pte_t clear_flush_ptes(struct vm_area_struct *vma, unsigned long address, >>>> +               pte_t *ptep, unsigned int nr) >>>>   { >>>>       struct mm_struct *mm = (vma)->vm_mm; >>>>       pte_t pte; >>>> -    pte = ptep_get_and_clear(mm, address, ptep); >>>> +    pte = get_and_clear_full_ptes(mm, address, ptep, nr, 0); >>>>       if (pte_accessible(mm, pte)) >>>> -        flush_tlb_page(vma, address); >>>> +        flush_tlb_range(vma, address, address + nr * PAGE_SIZE); >>>>       return pte; >>>>   } >>>> + >>>> +#ifndef __HAVE_ARCH_PTEP_CLEAR_FLUSH >>>> +pte_t ptep_clear_flush(struct vm_area_struct *vma, unsigned long address, >>>> +               pte_t *ptep) >>>> +{ >>>> +    return clear_flush_ptes(vma, address, ptep, 1); >>>> +} >>>>   #endif >>>>     #ifdef CONFIG_TRANSPARENT_HUGEPAGE >> >