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 1A686CC6B27 for ; Wed, 14 Oct 2026 08:38: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=HfozdcxqBChVvaf7D3SigXB2jJovmVY483zJua6pyIA=; b=lbuiL9A5z/5QF+JESgQ9B3RN+F BTTewo+CwqB2AkUorTmLuWXFlNIdrqbfOP4a3kyhJUh9FctQzoAnZqEpg9/1AMpy1aInpb5z8vBfb tXIDWY69AHhagoI9Tqn9dk7HQGFehJdJJ/FWW15wQAIYhdfmMw+TmtEGtZAU0F+Yr+PPGsoBTKZQc 9/fIi8FeXHv9xQPYcFHplaMIbLdgGcEzg/iXEADtSN5FelErBk5w52+6/1OUYZNbtcYgBbMvhQ6uh u9YWc0PfHmByORdpJNefuE08UJ0PRnYKY9WIpN/rp09x6mLj1uWFpNE5TgRcqHNE6eyGjdAxvlQ4h w6hwFxog==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.99.1 #2 (Red Hat Linux)) id 1xGuVF-0000000Ev1d-1ZMc; Wed, 14 Oct 2026 08:38:25 +0000 Received: from out30-132.freemail.mail.aliyun.com ([115.124.30.132]) by bombadil.infradead.org with esmtps (Exim 4.99.1 #2 (Red Hat Linux)) id 1xGuV7-0000000Euy4-0qd2 for linux-arm-kernel@lists.infradead.org; Wed, 14 Oct 2026 08:38:19 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linux.alibaba.com; s=default; t=1791967090; h=Message-ID:Date:MIME-Version:Subject:To:From:Content-Type; bh=HfozdcxqBChVvaf7D3SigXB2jJovmVY483zJua6pyIA=; b=eWwoFvyt+6Vs8Gw1JxR3D6ied4VS1bp0brsxZKyW4i5n8zP+4+tJAW6h9CXQii2KbMWgwTepKhFQB70WKi4dVp2DGy9Ictpqvm+AYpVxU6wuHA2EzlWaglIrZwvDTzD9RfdtS1j0kDqP09XuzYwif6GDfeCu/QLry6KheXgAenA= X-Alimail-AntiSpam: AC=PASS;BC=-1|-1;BR=01201311R141e4;CH=green;DM=||false|;DS=||;FP=0|-1|-1|-1|0|-1|-1|-1;HT=maildocker-contentspam011083073210;MF=baolin.wang@linux.alibaba.com;NM=1;PH=DS;RN=19;SR=0;TI=SMTPD_---0XCoZJ.D_1791967088; Received: from 30.74.144.153(mailfrom:baolin.wang@linux.alibaba.com fp:SMTPD_---0XCoZJ.D_1791967088 cluster:ay36) by smtp.aliyun-inc.com; Wed, 14 Oct 2026 16:38:09 +0800 Message-ID: Date: Wed, 14 Oct 2026 16:38:08 +0800 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH] arm64/mm: restrict transparent contpte mappings to valid PTEs To: Lance Yang , Zhao Gongyi Cc: catalin.marinas@arm.com, will@kernel.org, ryan.roberts@arm.com, dev.jain@arm.com, mark.rutland@arm.com, akpm@linux-foundation.org, david@kernel.org, ljs@kernel.org, liam@infradead.org, vbabka@kernel.org, rppt@kernel.org, surenb@google.com, mhocko@suse.com, linux-arm-kernel@lists.infradead.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, stable@vger.kernel.org References: <20261013093600.54995-1-zhaogongyi@bytedance.com> <20261013153953.77575-1-lance.yang@linux.dev> <516828fb-558d-4a20-9532-51f50d6ba042@bytedance.com> From: Baolin Wang In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.9.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20261014_013817_766601_17207F30 X-CRM114-Status: GOOD ( 12.87 ) 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 10/14/26 2:46 PM, Lance Yang wrote: > > > On 2026/10/14 14:31, Zhao Gongyi wrote: >> On 10/13/26 11:39 PM, Lance Yang wrote: >>>> >>>> +    /* >>>> +     * Keep the producer-side invariant documented in pgtable.h >>>> true even >>>> +     * if a direct caller passes an invalid descriptor with >>>> PTE_CONT set. >>>> +     */ >>>> +    if (!pte_valid(pte)) >>>> +        return __set_ptes(mm, addr, ptep, pte_mknoncont(pte), nr); >>> >>> set_ptes() is the only in-tree caller, and it already clears PTE_CONT >>> before we get here ... no? Why not fold !pte_valid(pte) into the >>> !mm_is_user(mm) check below and return __set_ptes() directly? >>> >>>     if (!mm_is_user(mm) || !pte_valid(pte)) >>>         return __set_ptes(mm, addr, ptep, pte, nr); >>> >>> If a direct caller does pass a !pte_valid PTE with PTE_CONT set, I'd >>> rather add a VM_WARN_ON() to catch that. Silently clearing the bit would >>> hide a caller bug :) >>> >> >> Hi Lance, >> >> Thanks for taking a look. > > Cheers! > >> Yes, you are right. The public set_ptes() wrapper already strips PTE_CONT >> before calling contpte_set_ptes(), so the pte_mknoncont() in the invalid >> path is unnecessary for the current in-tree path. >> >> The issue I was trying to avoid is not that the incoming pte already has >> PTE_CONT set, but that contpte_set_ptes() rebuilds the pte from pfn/prot >> and then adds PTE_CONT again based on alignment. For an invalid >> descriptor, >> that transparent contiguous encoding should be skipped entirely. >> >> So your suggested shape makes sense to me. I will change this to return >> through __set_ptes() directly for invalid descriptors, and add a warning >> for any unexpected direct caller that passes an invalid PTE with PTE_CONT >> set, e.g.: >> >>     if (!mm_is_user(mm) || !pte_valid(pte)) { >>         VM_WARN_ON_ONCE(!pte_valid(pte) && pte_cont(pte)); mprotect() can trigger the warning here when setting PAGE_NONE for a batch of PTEs? >>         return __set_ptes(mm, addr, ptep, pte, nr); I am trying to convince myself that the 'nr' passed in is always CONT_PTE_SIZE aligned, but it seems OK.