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 X-Spam-Level: X-Spam-Status: No, score=-5.2 required=3.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS, USER_AGENT_SANE_1 autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 570E9C433E2 for ; Fri, 28 Aug 2020 17:06:17 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 02F8320848 for ; Fri, 28 Aug 2020 17:06:16 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 02F8320848 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=arm.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 7FDFE6B0002; Fri, 28 Aug 2020 13:06:16 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 7ADE96B0003; Fri, 28 Aug 2020 13:06:16 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 6C5156B0005; Fri, 28 Aug 2020 13:06:16 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0197.hostedemail.com [216.40.44.197]) by kanga.kvack.org (Postfix) with ESMTP id 58BEB6B0002 for ; Fri, 28 Aug 2020 13:06:16 -0400 (EDT) Received: from smtpin27.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay04.hostedemail.com (Postfix) with ESMTP id 13E8845A8 for ; Fri, 28 Aug 2020 17:06:16 +0000 (UTC) X-FDA: 77200605552.27.honey10_1e07ab127077 Received: from filter.hostedemail.com (10.5.16.251.rfc1918.com [10.5.16.251]) by smtpin27.hostedemail.com (Postfix) with ESMTP id DA3383D663 for ; Fri, 28 Aug 2020 17:06:15 +0000 (UTC) X-HE-Tag: honey10_1e07ab127077 X-Filterd-Recvd-Size: 4643 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by imf47.hostedemail.com (Postfix) with ESMTP for ; Fri, 28 Aug 2020 17:06:15 +0000 (UTC) Received: from gaia (unknown [46.69.195.127]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 67CC620776; Fri, 28 Aug 2020 17:06:11 +0000 (UTC) Date: Fri, 28 Aug 2020 18:06:08 +0100 From: Catalin Marinas To: Will Deacon Cc: Matthew Wilcox , linux-arch@vger.kernel.org, Vineet Gupta , linux-snps-arc@lists.infradead.org, Russell King , linux-arm-kernel@lists.infradead.org, Thomas Bogendoerfer , linux-mips@vger.kernel.org, Michael Ellerman , Benjamin Herrenschmidt , Paul Mackerras , linuxppc-dev@lists.ozlabs.org, "David S. Miller" , sparclinux@vger.kernel.org, linux-mm@kvack.org Subject: Re: Flushing transparent hugepages Message-ID: <20200828170608.GJ3169@gaia> References: <20200818150736.GQ17456@casper.infradead.org> <20200818160815.GA16191@willie-the-truck> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200818160815.GA16191@willie-the-truck> User-Agent: Mutt/1.10.1 (2018-07-13) X-Rspamd-Queue-Id: DA3383D663 X-Spamd-Result: default: False [0.00 / 100.00] X-Rspamd-Server: rspam04 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: On Tue, Aug 18, 2020 at 05:08:16PM +0100, Will Deacon wrote: > On Tue, Aug 18, 2020 at 04:07:36PM +0100, Matthew Wilcox wrote: > > For example, arm64 seems confused in this scenario: > > > > void flush_dcache_page(struct page *page) > > { > > if (test_bit(PG_dcache_clean, &page->flags)) > > clear_bit(PG_dcache_clean, &page->flags); > > } > > > > ... > > > > void __sync_icache_dcache(pte_t pte) > > { > > struct page *page = pte_page(pte); > > > > if (!test_and_set_bit(PG_dcache_clean, &page->flags)) > > sync_icache_aliases(page_address(page), page_size(page)); > > } > > > > So arm64 keeps track on a per-page basis which ones have been flushed. > > page_size() will return PAGE_SIZE if called on a tail page or regular > > page, but will return PAGE_SIZE << compound_order if called on a head > > page. So this will either over-flush, or it's missing the opportunity > > to clear the bits on all the subpages which have now been flushed. > > Hmm, that seems to go all the way back to 2014 as the result of a bug fix > in 923b8f5044da ("arm64: mm: Make icache synchronisation logic huge page > aware") which has a Reported-by Mark and a CC stable, suggesting something > _was_ going wrong at the time :/ Was there a point where the tail pages > could end up with PG_arch_1 uncleared on allocation? In my experience, it's the other way around: you can end up with PG_arch_1 cleared in a tail page when the head one was set (splitting THP). > > What would you _like_ to see? Would you rather flush_dcache_page() > > were called once for each subpage, or would you rather maintain > > the page-needs-flushing state once per compound page? We could also > > introduce flush_dcache_thp() if some architectures would prefer it one > > way and one the other, although that brings into question what to do > > for hugetlbfs pages. > > For arm64, we'd like to see PG_arch_1 preserved during huge page splitting > [1], but there was a worry that it might break x86 and s390. It's also not > clear to me that we can change __sync_icache_dcache() as it's called when > we're installing the entry in the page-table, so why would it be called > again for the tail pages? Indeed, __sync_icache_dcache() is called from set_pte_at() on the head page, though it could always iterate and flush the tail pages individually (I think we could have done this in commit 923b8f5044da). Currently I suspect it does some over-flushing if you use THP on executable pages (it's a no-op on non-exec pages). With MTE (arm64 memory tagging) I'm introducing a PG_arch_2 flag and losing this is more problematic as it can lead to clearing valid tags. In the subsequent patch [2], mte_sync_tags() (also called from set_pte_at()) checks the PG_arch_2 in each page of a compound one. My preference would be to treat both PG_arch_1 and _2 similarly. > [1] https://lore.kernel.org/linux-arch/20200703153718.16973-8-catalin.marinas@arm.com/ [2] https://lore.kernel.org/linux-arch/20200703153718.16973-9-catalin.marinas@arm.com/ -- Catalin