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 C5622C4829A for ; Tue, 13 Feb 2024 13:24:43 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 5F4A86B0098; Tue, 13 Feb 2024 08:24:43 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 5A4E76B0099; Tue, 13 Feb 2024 08:24:43 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 46C736B009B; Tue, 13 Feb 2024 08:24:43 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0016.hostedemail.com [216.40.44.16]) by kanga.kvack.org (Postfix) with ESMTP id 380736B0098 for ; Tue, 13 Feb 2024 08:24:43 -0500 (EST) Received: from smtpin20.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay02.hostedemail.com (Postfix) with ESMTP id 074B8120BC1 for ; Tue, 13 Feb 2024 13:24:42 +0000 (UTC) X-FDA: 81786850446.20.48F2473 Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by imf23.hostedemail.com (Postfix) with ESMTP id 62D6014000A for ; Tue, 13 Feb 2024 13:24:41 +0000 (UTC) Authentication-Results: imf23.hostedemail.com; dkim=none; dmarc=pass (policy=none) header.from=arm.com; spf=pass (imf23.hostedemail.com: domain of ryan.roberts@arm.com designates 217.140.110.172 as permitted sender) smtp.mailfrom=ryan.roberts@arm.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1707830681; 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=1wRUPa9qFr1PAhaunGCETjUroWP6uh2Kn1bbKJpy/no=; b=UhBUCEGvLpWnI9fRBkc6eqRDw4nsGKOxlKdPqwXeAqZ7NupKVp8Bxvw46AMy6ODkiQxlSw fiI+fBEC29LmhmFZdZyXIWdQ71VQW8zRHi3WUhal53bluv47UaAVaDX/gO4idthL3dv0xf ArNBDG+GEeV7BRTfOf4MUfhrii+Ae0Q= ARC-Authentication-Results: i=1; imf23.hostedemail.com; dkim=none; dmarc=pass (policy=none) header.from=arm.com; spf=pass (imf23.hostedemail.com: domain of ryan.roberts@arm.com designates 217.140.110.172 as permitted sender) smtp.mailfrom=ryan.roberts@arm.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1707830681; a=rsa-sha256; cv=none; b=XszkxNtkR6iOcCxIFNa4leZrV0pmUZKQPLIg55bjZ9zc7zPIKB24ArrImgwzdYy9AkuO+k CIq+nx+68DcesOKeNYB9wVbk98Gcocp5KAckdnCW38oMsleI1sqjKmg6TrbvLvFKBtt8el aOe5GPFKlS+OGNornhk3mewajdS+KTA= 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 B29DADA7; Tue, 13 Feb 2024 05:25:21 -0800 (PST) Received: from [10.1.36.184] (XHFQ2J9959.cambridge.arm.com [10.1.36.184]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id D643C3F762; Tue, 13 Feb 2024 05:24:36 -0800 (PST) Message-ID: Date: Tue, 13 Feb 2024 13:24:35 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v5 19/25] arm64/mm: Wire up PTE_CONT for user mappings Content-Language: en-GB To: David Hildenbrand , Mark Rutland Cc: Catalin Marinas , Will Deacon , Ard Biesheuvel , Marc Zyngier , James Morse , Andrey Ryabinin , Andrew Morton , Matthew Wilcox , Kefeng Wang , John Hubbard , Zi Yan , Barry Song <21cnbao@gmail.com>, Alistair Popple , Yang Shi , Nicholas Piggin , Christophe Leroy , "Aneesh Kumar K.V" , "Naveen N. Rao" , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , "H. Peter Anvin" , linux-arm-kernel@lists.infradead.org, x86@kernel.org, linuxppc-dev@lists.ozlabs.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org References: <20240202080756.1453939-1-ryan.roberts@arm.com> <20240202080756.1453939-20-ryan.roberts@arm.com> <64395ae4-3a7d-45dd-8f1d-ea6b232829c5@arm.com> <41499621-482f-455b-9f68-b43ea8052557@redhat.com> <1d302d7a-50ab-4ab4-b049-75ed4a71a87d@arm.com> <99e2a92c-f2a2-4e1e-8ce2-08caae2cb7e4@redhat.com> From: Ryan Roberts In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: 62D6014000A X-Rspam-User: X-Rspamd-Server: rspam05 X-Stat-Signature: tetmesmharcex63zx514xeprg18rhmnp X-HE-Tag: 1707830681-664646 X-HE-Meta: U2FsdGVkX1///oFb5DL1SW8yvI7+ZYlNyMlCdT25SHkchcrT6gGztwuraM6QkzpshP/U4wHiLOThi3Dp/1lEURfXoW/j7rfuHaucXpLVPkl9tZTBDm9UNlC+GNjPO942AF0nwEO14ITjhSkv14EwNC3CM9vp0q5YvCtRf7ndbYFI8Q/atZ1hObrT66UwAZv8CSJrT506FDlhIMkMeyAb/1uk0PHjEjmjWusTbj40/NHtc8ediW0doyEcKUVZT1KY6ySF5uEHh4tS3FigixRKiFfFw4UcU1fxWEB06cHHaN50dirdDoZTYvjWOhmK6uXOGwNIdt5nX6djZUBnZM8pWi07/YrX8ZiaYTQGW8332bAbyKHADF3go269pBTDgFh+mHLrYJ5rtRfBGmLf5WEiMUHwXuoN0Cr8QLf2vQmuHGgV19qfcSyZ972xNQ+wg0syh538YQKEzksh0jyWP/5Q9KR1pmEQ0uTb5/JOSnrjwZoGmYprw4QMaCXMuqgUzkAQweYjPy+6zDMRrBvOyNhmJvE9aXcCseUzm7KKsFV88MMfmD7Dp1SPYiR0bBoSHVJv/JXN/IEcwEZlsgkUmyDGHgHXIdb3KswxhucdYXz98v7VRVG2O6lOXWA5h9uCLWQzeaM91dd7HIyizHMlg7V8y19D7DBrmo6kt1/RVW57K9Z26R8gFFaDIEtxW/0yh+cHOn8WB1ACh0DDB3zAS/A5hQ737ZjReqWqpUvfRhKzW08rEFcyj2lPJ41r1hzPkvZnFLDBcOh3q2VdX3aqYwuzUS2iucfiq2bJts4/6EhIx4EJwijXwcKsxmyL3Yss6Blqxoe1KIRo6BvVSIgtnTr6+YZPHyu5zdyvzYj6G02Rpuc6QnKS1FP02Q9o34iuvelfPvJb1qac4/iellI2mY9RmRWMd+4gGoISRtlMzmEwX2Y34dnb0fykm8No4uSyFHbLK+vjWt2hWb5yNNoecdH ScA== 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 13/02/2024 13:22, David Hildenbrand wrote: > On 13.02.24 14:20, Ryan Roberts wrote: >> On 13/02/2024 13:13, David Hildenbrand wrote: >>> On 13.02.24 14:06, Ryan Roberts wrote: >>>> On 13/02/2024 12:19, David Hildenbrand wrote: >>>>> On 13.02.24 13:06, Ryan Roberts wrote: >>>>>> On 12/02/2024 20:38, Ryan Roberts wrote: >>>>>>> [...] >>>>>>> >>>>>>>>>>> +static inline bool mm_is_user(struct mm_struct *mm) >>>>>>>>>>> +{ >>>>>>>>>>> +    /* >>>>>>>>>>> +     * Don't attempt to apply the contig bit to kernel mappings, >>>>>>>>>>> because >>>>>>>>>>> +     * dynamically adding/removing the contig bit can cause page >>>>>>>>>>> faults. >>>>>>>>>>> +     * These racing faults are ok for user space, since they get >>>>>>>>>>> serialized >>>>>>>>>>> +     * on the PTL. But kernel mappings can't tolerate faults. >>>>>>>>>>> +     */ >>>>>>>>>>> +    return mm != &init_mm; >>>>>>>>>>> +} >>>>>>>>>> >>>>>>>>>> We also have the efi_mm as a non-user mm, though I don't think we >>>>>>>>>> manipulate >>>>>>>>>> that while it is live, and I'm not sure if that needs any special >>>>>>>>>> handling. >>>>>>>>> >>>>>>>>> Well we never need this function in the hot (order-0 folio) path, so I >>>>>>>>> think I >>>>>>>>> could add a check for efi_mm here with performance implication. It's >>>>>>>>> probably >>>>>>>>> safest to explicitly exclude it? What do you think? >>>>>>>> >>>>>>>> Oops: This should have read "I think I could add a check for efi_mm here >>>>>>>> *without* performance implication" >>>>>>> >>>>>>> It turns out that efi_mm is only defined when CONFIG_EFI is enabled. I >>>>>>> can do >>>>>>> this: >>>>>>> >>>>>>> return mm != &init_mm && (!IS_ENABLED(CONFIG_EFI) || mm != &efi_mm); >>>>>>> >>>>>>> Is that acceptable? This is my preference, but nothing else outside of efi >>>>>>> references this symbol currently. >>>>>>> >>>>>>> Or perhaps I can convince myself that its safe to treat efi_mm like >>>>>>> userspace. >>>>>>> There are a couple of things that need to be garanteed for it to be safe: >>>>>>> >>>>>>>      - The PFNs of present ptes either need to have an associated struct >>>>>>> page or >>>>>>>        need to have the PTE_SPECIAL bit set (either pte_mkspecial() or >>>>>>>        pte_mkdevmap()) >>>>>>> >>>>>>>      - Live mappings must either be static (no changes that could cause >>>>>>> fold/unfold >>>>>>>        while live) or the system must be able to tolerate a temporary fault >>>>>>> >>>>>>> Mark suggests efi_mm is not manipulated while live, so that meets the latter >>>>>>> requirement, but I'm not sure about the former? >>>>>> >>>>>> I've gone through all the efi code, and conclude that, as Mark suggests, the >>>>>> mappings are indeed static. And additionally, the ptes are populated using >>>>>> only >>>>>> the _private_ ptep API, so there is no issue here. As just discussed with >>>>>> Mark, >>>>>> my prefereence is to not make any changes to code, and just add a comment >>>>>> describing why efi_mm is safe. >>>>>> >>>>>> Details: >>>>>> >>>>>> * Registered with ptdump >>>>>>        * ptep_get_lockless() >>>>>> * efi_create_mapping -> create_pgd_mapping … -> init_pte: >>>>>>        * __ptep_get() >>>>>>        * __set_pte() >>>>>> * efi_memattr_apply_permissions -> efi_set_mapping_permissions … -> >>>>>> set_permissions >>>>>>        * __ptep_get() >>>>>>        * __set_pte() >>>>> >>>>> Sound good. We could add some VM_WARN_ON if we ever get the efi_mm via the >>>>> "official" APIs. >>>> >>>> We could, but that would lead to the same linkage issue, which I'm trying to >>>> avoid in the first place: >>>> >>>> VM_WARN_ON(IS_ENABLED(CONFIG_EFI) && mm == efi_mm); >>>> >>>> This creates new source code dependencies, which I would rather avoid if >>>> possible. >>> >>> Just a thought, you could have a is_efi_mm() function that abstracts all that. >>> >>> diff --git a/include/linux/efi.h b/include/linux/efi.h >>> index c74f47711f0b..152f5fa66a2a 100644 >>> --- a/include/linux/efi.h >>> +++ b/include/linux/efi.h >>> @@ -692,6 +692,15 @@ extern struct efi { >>>     extern struct mm_struct efi_mm; >>>   +static inline void is_efi_mm(struct mm_struct *mm) >>> +{ >>> +#ifdef CONFIG_EFI >>> +       return mm == &efi_mm; >>> +#else >>> +       return false; >>> +#endif >>> +} >>> + >>>   static inline int >>>   efi_guidcmp (efi_guid_t left, efi_guid_t right) >>>   { >>> >>> >> >> That would definitely work, but in that case, I might as well just check for it >> in mm_is_user() (and personally I would change the name to mm_is_efi()): >> >> >> static inline bool mm_is_user(struct mm_struct *mm) >> { >>     return mm != &init_mm && !mm_is_efi(mm); >> } >> >> Any objections? >> > > Nope :) Maybe slap in an "unlikely()", because efi_mm *is* unlikely to show up. Deal >