Received: by 2002:a05:6358:3188:b0:123:57c1:9b43 with SMTP id q8csp27849107rwd; Tue, 4 Jul 2023 08:41:08 -0700 (PDT) X-Google-Smtp-Source: APBJJlFSVcjFQyaYSTDDyeKS5gJr2h98oW9jjL8C7pFfycvc4aUWKPLGk0Qbh7hX9dlO+AGAbeD4 X-Received: by 2002:a17:902:6b09:b0:1b6:a99b:cece with SMTP id o9-20020a1709026b0900b001b6a99bcecemr15142154plk.30.1688485268571; Tue, 04 Jul 2023 08:41:08 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1688485268; cv=none; d=google.com; s=arc-20160816; b=F5E8s3vTKSp0Iqg8M/AjHI/YoENKmk7dTE/8awXdNlANLL7EQtv0/3BN7VmiRGE3up BMTfCwnGaRqryKkVyNVkdb0f3AQhZ/CqmGzg43YKbrT16oEeeOUUo5WYdTA3d3p2NPft jEPxEAeaMwxtm6SNNfNyJkhXPvpJQu8IbBcufCnUYLh3sjxQoOQtEElUVMq0ifpSq1kK sizWpLIULKS5h3ET7sai3G4KOA9IDDh80W1nvrWqFrLDUBXbl/8RMD1JefgTEjTt/Wa/ XzLE7EIojrCXRTzNmlfpndZ82wZCfQd/LPEaaHiJjcHYdJL/mL7bCzvfaphEFo9rINy9 fDvg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-transfer-encoding :content-disposition:mime-version:references:message-id:subject:cc :to:from:date; bh=CIZ7iqRhmoFHjWn109s3sk0Ow4m0QwQLNK26HL98U5g=; fh=Kx+HQH/4E5+69eLYr8NS95k5ZujY25PxutPD69nMUrU=; b=XUM+8rhPieeWZyHHYyV3PgDDd4NWUyV1pwW8+7XEzyRI9TXrDNNRPsX4oG+Gz102Fa 3H7/XqTC80fSYtS5Q9tSxw9GBj+rxUTBLXSRu4fgYVbi9Pynd8T+Wn8rkzIo9FvuIxzJ A9hv9+/vIGF4JdvMkW3bQ71Tt2qE35cHns9DJladQZtuD/Qz0I2qx6CHRjo8ID5cn7vd +bagDM6+5eAva6W/V0+JCqiBKzAu/gW6yk2FfkH1ZRwxMV4FppMB2VW9TahqatTh4hCr z1Encu0A2c02a6dTXAOuwLOy9d9UsMR2MASnRzQM2UI+zedCn41aaMzwKCdyBOKZkTRI EG0g== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id b17-20020a170902d89100b001b7eb771d5esi19144003plz.527.2023.07.04.08.40.52; Tue, 04 Jul 2023 08:41:08 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231579AbjGDPSi (ORCPT + 99 others); Tue, 4 Jul 2023 11:18:38 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:38482 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229539AbjGDPSh (ORCPT ); Tue, 4 Jul 2023 11:18:37 -0400 Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by lindbergh.monkeyblade.net (Postfix) with ESMTP id ABDF6BD for ; Tue, 4 Jul 2023 08:18:35 -0700 (PDT) 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 D40791570; Tue, 4 Jul 2023 08:19:17 -0700 (PDT) Received: from FVFF77S0Q05N.cambridge.arm.com (FVFF77S0Q05N.cambridge.arm.com [10.1.31.180]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id BCF423F73F; Tue, 4 Jul 2023 08:18:33 -0700 (PDT) Date: Tue, 4 Jul 2023 16:18:31 +0100 From: Mark Rutland To: Nico Pache Cc: linux-arm-kernel@lists.infradead.org, linux-kernel@vger.kernel.org, aquini@redhat.com, Andrew Morton , Anshuman Khandual , Catalin Marinas , David Hildenbrand , Gerald Schaefer , Liu Shixin , Will Deacon , Yu Zhao Subject: Re: [PATCH V2] arm64: properly define SOFT_DIRTY functionality Message-ID: References: <20230704133633.1918147-1-npache@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_MED, SPF_HELO_NONE,SPF_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Jul 04, 2023 at 10:49:06AM -0400, Nico Pache wrote: > Hi Mark, > > On Tue, Jul 4, 2023 at 10:19 AM Mark Rutland wrote: > > > > On Tue, Jul 04, 2023 at 09:36:33AM -0400, Nico Pache wrote: > > > ARM64 has a soft-dirty bit (software dirty) but never properly defines > > > CONFIG_ARCH_HAS_SOFT_DIRTY or its necessary functions. This patch > > > introduces the ability to set/clear the soft dirty bit in a similar > > > manner as the other arches that utilize it. > > > > Anshuman already explained that this is not correct -- to enable > > CONFIG_ARCH_HAS_SOFT_DIRTY, you need *another* PTE bit. Please don't send > > another version following this approach. > > > > Despite its name, pte_sw_dirty() has nothing to do with > > CONFIG_ARCH_HAS_SOFT_DIRTY. We have pte_hw_dirty() and pte_sw_dirty() because > > with Hardware Dirty bit management the HW dirty bit is *also* the write > > permission bit, and to have a dirty non-writeable PTE state we have to use a SW > > bit, which is what pte_sw_dirty() handles. Both pte_hw_dirty() and > > pte_sw_dirty() comprise the regular dirty state. > > > > That's *very* different from CONFIG_ARCH_HAS_SOFT_DIRTY, which is about having > > a *separate* software dirty state that can be used for longer-term dirty > > tracking (whether the page was last touched since some management SW > > manipulated the page). > > > > > However, we must be careful... there are cases where the DBM bit is not > > > available and the software dirty bit plays a essential role in determining > > > whether or not a page is dirty. In these cases we must not allow the > > > user to clear the software dirty bit. We can check for these cases by > > > utilizing the arch_has_hw_pte_young() function which tests the availability > > > of DBM. > > > > Regardless of the above, this doesn't seem to have been thought through. why > > would it be ok for this to work or not work dependent on DBM? > It was from my understanding of both reading the code, and the > following chart that the PTE_DIRTY bit was only used in the absence of > the DBM bit to determine the dirty state of a page. The PTE_DIRTY bit is used regardless of DBM, for example, in the case I mentioned of a dirty non-writeable page. Without PTE_DIRTY we'd have no way to represent a write-protected dirty page. See pte_wrprotect(), which copies moves HW dirty bit into the PTE_DIRTY bit when removing write permission: | static inline pte_t pte_wrprotect(pte_t pte) | { | /* | * If hardware-dirty (PTE_WRITE/DBM bit set and PTE_RDONLY | * clear), set the PTE_DIRTY bit. | */ | if (pte_hw_dirty(pte)) | pte = pte_mkdirty(pte); | | pte = clear_pte_bit(pte, __pgprot(PTE_WRITE)); | pte = set_pte_bit(pte, __pgprot(PTE_RDONLY)); | return pte; | } ... where pte_mkdirty() is: | static inline pte_t pte_mkdirty(pte_t pte) | { | pte = set_pte_bit(pte, __pgprot(PTE_DIRTY)); | | if (pte_write(pte)) | pte = clear_pte_bit(pte, __pgprot(PTE_RDONLY)); | | return pte; | } > /* > * PTE bits configuration in the presence of hardware Dirty Bit Management > * (PTE_WRITE == PTE_DBM): > * > * Dirty Writable | PTE_RDONLY PTE_WRITE PTE_DIRTY (sw) > * 0 0 | 1 0 0 > * 0 1 | 1 1 0 > * 1 0 | 1 0 1 > * 1 1 | 0 1 x > * > * When hardware DBM is not present, the sofware PTE_DIRTY bit is updated via > * the page fault mechanism. Checking the dirty status of a pte becomes: > * > * PTE_DIRTY || (PTE_WRITE && !PTE_RDONLY) > */ > > So from my understanding it seems that when DBM is present, it acts as > the PTE_WRITE bit, and the AF bit is the HW dirty bit. This gives me > the impression that the PTE_DIRTY bit is redundant; however, When DBM > is not present PTE_DIRTY becomes crucial in determining the dirty > state. As above, PTE_DIRTY is not redundant; regardless of DBM we need the PTE_DIRTY bit for the regular dirty state. It distinguishes the first and third rows in that table. Thanks, Mark. > > -- Nico > > > > Thanks, > > Mark. > > > > > Cc: Andrew Morton > > > Cc: Anshuman Khandual > > > Cc: Catalin Marinas > > > Cc: David Hildenbrand > > > Cc: Gerald Schaefer > > > Cc: Liu Shixin > > > Cc: Will Deacon > > > Cc: Yu Zhao > > > Signed-off-by: Nico Pache > > > --- > > > arch/arm64/Kconfig | 1 + > > > arch/arm64/include/asm/pgtable.h | 104 ++++++++++++++++++++++++++----- > > > 2 files changed, 90 insertions(+), 15 deletions(-) > > > > > > diff --git a/arch/arm64/Kconfig b/arch/arm64/Kconfig > > > index 7856c3a3e35a..6ea73b8148c5 100644 > > > --- a/arch/arm64/Kconfig > > > +++ b/arch/arm64/Kconfig > > > @@ -173,6 +173,7 @@ config ARM64 > > > select HAVE_ARCH_PREL32_RELOCATIONS > > > select HAVE_ARCH_RANDOMIZE_KSTACK_OFFSET > > > select HAVE_ARCH_SECCOMP_FILTER > > > + select HAVE_ARCH_SOFT_DIRTY > > > select HAVE_ARCH_STACKLEAK > > > select HAVE_ARCH_THREAD_STRUCT_WHITELIST > > > select HAVE_ARCH_TRACEHOOK > > > diff --git a/arch/arm64/include/asm/pgtable.h b/arch/arm64/include/asm/pgtable.h > > > index 0bd18de9fd97..c4970c9ed114 100644 > > > --- a/arch/arm64/include/asm/pgtable.h > > > +++ b/arch/arm64/include/asm/pgtable.h > > > @@ -51,6 +51,20 @@ static inline bool arch_thp_swp_supported(void) > > > } > > > #define arch_thp_swp_supported arch_thp_swp_supported > > > > > > +/* > > > + * On arm64 without hardware Access Flag, copying from user will fail because > > > + * the pte is old and cannot be marked young. So we always end up with zeroed > > > + * page after fork() + CoW for pfn mappings. We don't always have a > > > + * hardware-managed access flag on arm64. > > > + */ > > > +#define arch_has_hw_pte_young cpu_has_hw_af > > > + > > > +/* > > > + * Experimentally, it's cheap to set the access flag in hardware and we > > > + * benefit from prefaulting mappings as 'old' to start with. > > > + */ > > > +#define arch_wants_old_prefaulted_pte cpu_has_hw_af > > > + > > > /* > > > * Outside of a few very special situations (e.g. hibernation), we always > > > * use broadcast TLB invalidation instructions, therefore a spurious page > > > @@ -121,8 +135,9 @@ static inline pteval_t __phys_to_pte_val(phys_addr_t phys) > > > }) > > > > > > #define pte_hw_dirty(pte) (pte_write(pte) && !(pte_val(pte) & PTE_RDONLY)) > > > -#define pte_sw_dirty(pte) (!!(pte_val(pte) & PTE_DIRTY)) > > > -#define pte_dirty(pte) (pte_sw_dirty(pte) || pte_hw_dirty(pte)) > > > +#define pte_soft_dirty(pte) (!!(pte_val(pte) & PTE_DIRTY)) > > > +#define pte_dirty(pte) (pte_soft_dirty(pte) || pte_hw_dirty(pte)) > > > +#define pte_swp_soft_dirty(pte) pte_soft_dirty(pte) > > > > > > #define pte_valid(pte) (!!(pte_val(pte) & PTE_VALID)) > > > /* > > > @@ -189,7 +204,8 @@ static inline pte_t pte_mkwrite(pte_t pte) > > > > > > static inline pte_t pte_mkclean(pte_t pte) > > > { > > > - pte = clear_pte_bit(pte, __pgprot(PTE_DIRTY)); > > > + if (!arch_has_hw_pte_young()) > > > + pte = clear_pte_bit(pte, __pgprot(PTE_DIRTY)); > > > pte = set_pte_bit(pte, __pgprot(PTE_RDONLY)); > > > > > > return pte; > > > @@ -1077,25 +1093,83 @@ static inline void update_mmu_cache(struct vm_area_struct *vma, > > > #define phys_to_ttbr(addr) (addr) > > > #endif > > > > > > -/* > > > - * On arm64 without hardware Access Flag, copying from user will fail because > > > - * the pte is old and cannot be marked young. So we always end up with zeroed > > > - * page after fork() + CoW for pfn mappings. We don't always have a > > > - * hardware-managed access flag on arm64. > > > - */ > > > -#define arch_has_hw_pte_young cpu_has_hw_af > > > +static inline bool pud_sect_supported(void) > > > +{ > > > + return PAGE_SIZE == SZ_4K; > > > +} > > > > > > +#ifdef CONFIG_ARM64_HW_AFDBM > > > /* > > > - * Experimentally, it's cheap to set the access flag in hardware and we > > > - * benefit from prefaulting mappings as 'old' to start with. > > > + * if we have the DBM bit we can utilize the software dirty bit as > > > + * a mechanism to introduce the soft_dirty functionality; however, without > > > + * it this bit is crucial to determining if a entry is dirty and we cannot > > > + * clear it via software. DBM can also be disabled or broken on some early > > > + * armv8 devices, so check its availability before modifying it. > > > */ > > > -#define arch_wants_old_prefaulted_pte cpu_has_hw_af > > > +static inline pte_t pte_clear_soft_dirty(pte_t pte) > > > +{ > > > + if (!arch_has_hw_pte_young()) > > > + return pte; > > > > > > -static inline bool pud_sect_supported(void) > > > + return clear_pte_bit(pte, __pgprot(PTE_DIRTY)); > > > +} > > > + > > > +static inline pte_t pte_mksoft_dirty(pte_t pte) > > > { > > > - return PAGE_SIZE == SZ_4K; > > > + if (!arch_has_hw_pte_young()) > > > + return pte; > > > + > > > + return set_pte_bit(pte, __pgprot(PTE_DIRTY)); > > > +} > > > + > > > +static inline pte_t pte_swp_clear_soft_dirty(pte_t pte) > > > +{ > > > + if (!arch_has_hw_pte_young()) > > > + return pte; > > > + > > > + return clear_pte_bit(pte, __pgprot(PTE_DIRTY)); > > > +} > > > + > > > +static inline pte_t pte_swp_mksoft_dirty(pte_t pte) > > > +{ > > > + if (!arch_has_hw_pte_young()) > > > + return pte; > > > + > > > + return set_pte_bit(pte, __pgprot(PTE_DIRTY)); > > > +} > > > + > > > +static inline int pmd_soft_dirty(pmd_t pmd) > > > +{ > > > + return pte_soft_dirty(pmd_pte(pmd)); > > > +} > > > + > > > +static inline pmd_t pmd_clear_soft_dirty(pmd_t pmd) > > > +{ > > > + return pte_pmd(pte_clear_soft_dirty(pmd_pte(pmd))); > > > +} > > > + > > > +static inline pmd_t pmd_mksoft_dirty(pmd_t pmd) > > > +{ > > > + return pte_pmd(pte_mksoft_dirty(pmd_pte(pmd))); > > > } > > > > > > +#ifdef CONFIG_ARCH_ENABLE_THP_MIGRATION > > > +static inline int pmd_swp_soft_dirty(pmd_t pmd) > > > +{ > > > + return pmd_soft_dirty(pmd); > > > +} > > > + > > > +static inline pmd_t pmd_swp_clear_soft_dirty(pmd_t pmd) > > > +{ > > > + return pmd_clear_soft_dirty(pmd); > > > +} > > > + > > > +static inline pmd_t pmd_swp_mksoft_dirty(pmd_t pmd) > > > +{ > > > + return pmd_mksoft_dirty(pmd); > > > +} > > > +#endif /* CONFIG_ARCH_ENABLE_THP_MIGRATION */ > > > +#endif /* CONFIG_ARM64_HW_AFDBM */ > > > > > > #define __HAVE_ARCH_PTEP_MODIFY_PROT_TRANSACTION > > > #define ptep_modify_prot_start ptep_modify_prot_start > > > -- > > > 2.41.0 > > > > > >