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 bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id D1370C3ABD9 for ; Wed, 14 May 2025 12:18:34 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender:List-Subscribe:List-Help :List-Post:List-Archive:List-Unsubscribe:List-Id:Content-Transfer-Encoding: Content-Type:In-Reply-To:From:References:Cc:To:Subject:MIME-Version:Date: Message-ID:Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Owner; bh=jYJmP38pb5feoTjp039r8/+CaUrkqNj7DRWZULqX8dM=; b=3cmBReQC4AY1cU2yWdRun//jwE /wC0STrUZOi99WdZ3dpvzlVO6pChaxbGoe8G11Ab4G7mFpo4RZNPaaEElIiP0rmaMIBdNdIphxpYD mYj+IspfGaSDOgsaF82oajyu3IgS/B/rZycwLVCEirumCLYJ/ZJNefXRx23s2uDdK19UYkR6r/cXS OXLKnWhPfv1AkQ7HJ1GvQp2Yit23EIzzeUuMnmXJaAaPGkhgZmfnwR05zILdpTwzRs11gzwVyeiEz VYnyhfUWpHK0b+SezwzO5bKA4Rpg+lF6tZKkAdRpSyx8pGg9HhmCmOp9X/4d3vxaKE7vEzJUMKIqu KgaSZRaw==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.98.2 #2 (Red Hat Linux)) id 1uFB48-0000000F0ly-1NzP; Wed, 14 May 2025 12:18:28 +0000 Received: from foss.arm.com ([217.140.110.172]) by bombadil.infradead.org with esmtp (Exim 4.98.2 #2 (Red Hat Linux)) id 1uF8QU-0000000EfYu-3ixF for linux-arm-kernel@lists.infradead.org; Wed, 14 May 2025 09:29:24 +0000 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 186011688; Wed, 14 May 2025 02:29:11 -0700 (PDT) Received: from [10.57.91.10] (unknown [10.57.91.10]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 1ABEC3F5A1; Wed, 14 May 2025 02:29:18 -0700 (PDT) Message-ID: <8d4e66ef-a292-45ff-9c4a-0248aff44fd3@arm.com> Date: Wed, 14 May 2025 10:29:17 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH] arm64/mm: Disable barrier batching in interrupt contexts Content-Language: en-GB To: Will Deacon Cc: Catalin Marinas , Pasha Tatashin , Andrew Morton , Uladzislau Rezki , Christoph Hellwig , David Hildenbrand , "Matthew Wilcox (Oracle)" , Mark Rutland , Anshuman Khandual , Alexandre Ghiti , Kevin Brodsky , linux-arm-kernel@lists.infradead.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, syzbot+5c0d9392e042f41d45c5@syzkaller.appspotmail.com References: <20250512102242.4156463-1-ryan.roberts@arm.com> <20250513204603.GA9866@willie-the-truck> From: Ryan Roberts In-Reply-To: <20250513204603.GA9866@willie-the-truck> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20250514_022922_980235_495DA283 X-CRM114-Status: GOOD ( 16.89 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org On 13/05/2025 21:46, Will Deacon wrote: > On Mon, May 12, 2025 at 11:22:40AM +0100, Ryan Roberts wrote: >> Commit 5fdd05efa1cd ("arm64/mm: Batch barriers when updating kernel >> mappings") enabled arm64 kernels to track "lazy mmu mode" using TIF >> flags in order to defer barriers until exiting the mode. At the same >> time, it added warnings to check that pte manipulations were never >> performed in interrupt context, because the tracking implementation >> could not deal with nesting. >> >> But it turns out that some debug features (e.g. KFENCE, DEBUG_PAGEALLOC) >> do manipulate ptes in softirq context, which triggered the warnings. > > Hmm. Do we also have to worry about the case where a softirq is triggered > off the back of a hardirq *and* that hardirq is taken while we're in the > middle of e.g. queue_pte_barriers()? In that case, I think we can end > up in strange situations, such as having LAZY_MMU_PENDING set when > LAZY_MMU is clear, although it looks like things still work even in that > case. I don't see any problem here. This change ensures that we always behave the "old" way in interrupt context. So the interrupt context will never even look at those TIF flags, so it doesn't matter that the task context is midway through changing the flags when the interrupt comes in. (although somehow I feel like I should be bracing for a zinger :) Thanks, Ryan > > Will