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 A010EEB64D7 for ; Tue, 20 Jun 2023 06:33:14 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 152758D0002; Tue, 20 Jun 2023 02:33:14 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 102F28D0001; Tue, 20 Jun 2023 02:33:14 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id EE5948D0002; Tue, 20 Jun 2023 02:33:13 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0010.hostedemail.com [216.40.44.10]) by kanga.kvack.org (Postfix) with ESMTP id DA7E48D0001 for ; Tue, 20 Jun 2023 02:33:13 -0400 (EDT) Received: from smtpin03.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay02.hostedemail.com (Postfix) with ESMTP id 9C4191205EF for ; Tue, 20 Jun 2023 06:33:13 +0000 (UTC) X-FDA: 80922159066.03.0130742 Received: from mail-qk1-f182.google.com (mail-qk1-f182.google.com [209.85.222.182]) by imf17.hostedemail.com (Postfix) with ESMTP id B7A0C40003 for ; Tue, 20 Jun 2023 06:33:11 +0000 (UTC) Authentication-Results: imf17.hostedemail.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=RYErAH+m; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (imf17.hostedemail.com: domain of npiggin@gmail.com designates 209.85.222.182 as permitted sender) smtp.mailfrom=npiggin@gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1687242791; 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:dkim-signature; bh=W5+evG04UMHwwjirukN0kb+RSrnzU5xpsvDPn540ciQ=; b=e/PAYIPmriODtaCoWHzYaDI2NcvfIxOcKP2Hc12NsaqtnjVb10+WcAk4iChzC+zze+TBsR 3dFo4LR8pBMWNP/oY0BZlfZ6xoon0GqMgb3TLDz/8jSxS1EC0vFwFIB8IzURrODpDodub8 43ZPQl+oY7A+kR2Y3ZWOlF91cZeSpSM= ARC-Authentication-Results: i=1; imf17.hostedemail.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=RYErAH+m; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (imf17.hostedemail.com: domain of npiggin@gmail.com designates 209.85.222.182 as permitted sender) smtp.mailfrom=npiggin@gmail.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1687242791; a=rsa-sha256; cv=none; b=0EZpLoM42njWXGe6Nld7ctZ2UBev+GbO4Y2uvfnF54K54fBfynwyV629QoHrA5TT6utGJj qBxZsqVUaVnvyu783KrcwAXT3ZCUausk4sTbGG6MJa+mox06h55gQSF/JnLUBTB5wkbcty S0WZSMwtJF+3Kdeo8lHQNBrnHLSuOZo= Received: by mail-qk1-f182.google.com with SMTP id af79cd13be357-763ac8282a3so57160985a.0 for ; Mon, 19 Jun 2023 23:33:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1687242791; x=1689834791; h=in-reply-to:references:to:from:subject:cc:message-id:date :content-transfer-encoding:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=W5+evG04UMHwwjirukN0kb+RSrnzU5xpsvDPn540ciQ=; b=RYErAH+mi2zc86r5KWWfsFA8LP9PiwTUwejliV9x5CX3ukRT4UyxAdu8oUINH7+o71 BABXTb+Al0ui9J0tqzVpEDRuSZr7tolLidH0mp1NHU5h6r01OFWQA5apd8IF14gcAjCV ZRWOtKnC/zvWenVhjSYiKmkcKYt4CTOYw+0eRsHFKMmo9NQRqlAgaYQ2+wCBJ5fPad2y deRzUvOljVXlVzy6NidHkJvcZ2hSlA4NU0ZEdVHUogrHjN1a2N62u1KbIFT0+ns5rGr1 FqDT8PFagV1HC5m3wV6nfyjNesWAJV5ePIm4nguSY52ho/FLBHehJd28qB1ZFHtWJmFE tW4Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687242791; x=1689834791; h=in-reply-to:references:to:from:subject:cc:message-id:date :content-transfer-encoding:mime-version:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=W5+evG04UMHwwjirukN0kb+RSrnzU5xpsvDPn540ciQ=; b=E6wv/7Ats7LG+FH8+qHFuB6d/tsXjBSfWmifcDd7nb4bdINk53XT8JKOJTHB3AQv++ RN9pm93JesGOOsGR9KhY7eauAGsuS/L9xABpeD4HL7OS4XYy9yF/NQ34X48xKczWkp5I f44vB6G+kPM4IFEtxXifmzIhI9GnO9vtxNyVA6wa64Tg4m21itAfEb87iOoTYZQzoGPs eD63d7FTTmLLjjUlYYkVeM1Lt7CF7knHRK2+Mx8A8QhbY++YMz/u996A0X+Im0IpRtW6 yRIn44Gjqj2Py0+Qvu0hDyj+B68UKFD76i3FyMbdWmgnECwL2sf9Gx0Dj6CbkSWeWsXS 9drQ== X-Gm-Message-State: AC+VfDyweIa0oEkZzm2oxVXMGxD+UXpRuCt0thHjN8OPBfN7Ki1iMUc2 W6DEpdGYMsl4WacWROv8LGw= X-Google-Smtp-Source: ACHHUZ5n5K5aPC9bYUBHTpIjgZaXZzWq6qemowxSHihC3bO7xjOaMj7H/aLUT30sH+RFyR4rpOLqsQ== X-Received: by 2002:a05:620a:3c90:b0:763:a610:bb64 with SMTP id tp16-20020a05620a3c9000b00763a610bb64mr2766292qkn.25.1687242790830; Mon, 19 Jun 2023 23:33:10 -0700 (PDT) Received: from localhost (193-116-195-252.tpgi.com.au. [193.116.195.252]) by smtp.gmail.com with ESMTPSA id i14-20020aa78d8e000000b0064f708ca12asm622133pfr.70.2023.06.19.23.32.50 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 19 Jun 2023 23:33:10 -0700 (PDT) Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Tue, 20 Jun 2023 16:32:47 +1000 Message-Id: Cc: "Alistair Popple" , "Anup Patel" , "Ben Gardon" , "Borislav Petkov" , "Catalin Marinas" , "Chao Peng" , "Christophe Leroy" , "Dave Hansen" , "Fabiano Rosas" , "Gaosheng Cui" , "Gavin Shan" , "H. Peter Anvin" , "Ingo Molnar" , "James Morse" , "Jason A. Donenfeld" , "Jason Gunthorpe" , "Jonathan Corbet" , "Marc Zyngier" , "Masami Hiramatsu" , "Michael Ellerman" , "Michael Larabel" , "Mike Rapoport" , "Oliver Upton" , "Paul Mackerras" , "Peter Xu" , "Sean Christopherson" , "Steven Rostedt" , "Suzuki K Poulose" , "Thomas Gleixner" , "Thomas Huth" , "Will Deacon" , "Zenghui Yu" , , , , , , , , , , Subject: Re: [PATCH mm-unstable v2 06/10] kvm/powerpc: make radix page tables RCU safe From: "Nicholas Piggin" To: "Yu Zhao" , "Andrew Morton" , "Paolo Bonzini" X-Mailer: aerc 0.14.0 References: <20230526234435.662652-1-yuzhao@google.com> <20230526234435.662652-7-yuzhao@google.com> In-Reply-To: <20230526234435.662652-7-yuzhao@google.com> X-Rspamd-Server: rspam09 X-Rspamd-Queue-Id: B7A0C40003 X-Stat-Signature: z1575f45pq9kg8icikkhn3repczp3pqh X-Rspam-User: X-HE-Tag: 1687242791-500803 X-HE-Meta: U2FsdGVkX1/XBiNeq55I8OYKHnoSu8Y/ePIw6Vcm5xXJpcbS/RXxXUWGjeutw3M67rxLRPrDphO59qEb5av/7V8ZftvkHIkm5C7TYCPKJfqwTIXivf7eG0GLxm5BPIlQCFvwJbqXdRD75FtUDmtK3Q/xR/ahlN03XurbQrhdlGWSCE8SYewamHGJ+cJZ8BXFW7PhIYfy8rOuWIRJnEykp5HaG2vsmafp58SK+S/20GvlLuGhnnTOlBuvRPCQnQSOatTeYkycwF69XItGSjGa8bQK7UCozDKPEkJObuMHxLRrUgYZ4PXNRA3b/1pUIYWjgpD4HYQOiRaqQx/BLfCviewYDc351xl8Vp4WXlKPu9ogxDWj/kPdVh4AuZGOQ+M3uS9MqzLNXk1DpnRFeapEn9osYbfEne9CnpEqO6EPBvPlS3bfRhJQb0hCGKW5r5QRtkmQPzvaAlOjvKtQ+fuhkb3LyT4u+JbXPs+/wiagkKDbkLn9x0G9FdY6f0Pzrw39PUo8diU25seg+e4BwC2DEWsoBsVjX0HhuwhA4cIi6SdZr8hzH8ZJsc6BiYIKADzmds/DXIk5Qwga5hVw+RI6MKPuwxo/mlyRDap4dV2eOk+SD2Gh8JfW2H2//b7qNrn2UQA1bFnyG62SABXtmnOWeXr4AvS/50B4t6Non+1uSTMy2oHqa8Obf9MdWANOXnvJk+ym6AkB/T2+ZmC7TtgVwwEw+MyAIyLZm/apa4yKwPMEUctVX42pj+yY8k2STQVIeNHb8PldzlqaW9x+ADAL5pFhNAYK3dmqQj9uK2dPYHPMTzH/dj7+Csx643+6npFIih60vu3O5XURDCGAA5qzn1UtNfNzGdKciqHqcgvygitA1Y387DlBVP7zRuTqQKKtVNYgd9yBnr7EJKxXDinGJ0xc588FQWFNUtX90u67v7DLWPz5+/2hjpyf9ERjiSJimwjMMsTVvx8bhJ1YtOP RNPm7Epi TwKiyOU8WLvxrtZNSUfQWt+ZE2aub1JGXqmNf5BOQSJUGmMvqLrhrkGph5o4QjblIyOgHpLOfm7Yxvv5JKExPt5GprC/6dRUPgOU2PLcxOQw7MGxXBn0q2hcDD6mKw6X2d6PCBCz4JSDLy5IwhJElZ4Y/W13mngp5+llvtwE8YDeVdC2VVjEBevUFZdZAzsxguSxdjnSarFT6S27MLaNt80sPR/gM1NvFu+6RVZOaa7KjT44vQVhUx8qp/rt9T7pBq17aiGPfeivYnixmJIxuLkORulE5byGfh5SM2qOmxplyHMW2/3u17tzvraJqW/1GsH0hJ0kMYWbaB+ZTirEh7+LVHSIDMj7myB2JelYJvFIBzu9NVknJRz2oQ95R4a6SY8NovbKw9YEAwi2w9Kw+jsxxRn41djCw10Gy/loj5Pr27V6mimw1Z9HO25K/SzatA7gd8GlZcBTwb9IEq+NfhxMjJosczTyYaARh3uiVjItSrjU= 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 Sat May 27, 2023 at 9:44 AM AEST, Yu Zhao wrote: > KVM page tables are currently not RCU safe against remapping, i.e., > kvmppc_unmap_free_pmd_entry_table() et al. The previous Minor nit but the "page table" is not RCU-safe against something. It is RCU-freed, and therefore some algorithm that accesses it can have the existence guarantee provided by RCU (usually there still needs to be more to it). > mmu_notifier_ops members rely on kvm->mmu_lock to synchronize with > that operation. > > However, the new mmu_notifier_ops member test_clear_young() provides > a fast path that does not take kvm->mmu_lock. To implement > kvm_arch_test_clear_young() for that path, orphan page tables need to > be freed by RCU. Short version: clear the referenced bit using RCU instead of MMU lock to protect against page table freeing, and there is no problem with clearing the bit in a table that has been freed. Seems reasonable. > > Unmapping, specifically kvm_unmap_radix(), does not free page tables, > hence not a concern. Not sure if you really need to make the distinction about why the page table is freed, we might free them via unmapping. The point is just anything that frees them while there can be concurrent access, right? > > Signed-off-by: Yu Zhao > --- > arch/powerpc/kvm/book3s_64_mmu_radix.c | 6 ++++-- > 1 file changed, 4 insertions(+), 2 deletions(-) > > diff --git a/arch/powerpc/kvm/book3s_64_mmu_radix.c b/arch/powerpc/kvm/bo= ok3s_64_mmu_radix.c > index 461307b89c3a..3b65b3b11041 100644 > --- a/arch/powerpc/kvm/book3s_64_mmu_radix.c > +++ b/arch/powerpc/kvm/book3s_64_mmu_radix.c > @@ -1469,13 +1469,15 @@ int kvmppc_radix_init(void) > { > unsigned long size =3D sizeof(void *) << RADIX_PTE_INDEX_SIZE; > =20 > - kvm_pte_cache =3D kmem_cache_create("kvm-pte", size, size, 0, pte_ctor)= ; > + kvm_pte_cache =3D kmem_cache_create("kvm-pte", size, size, > + SLAB_TYPESAFE_BY_RCU, pte_ctor); > if (!kvm_pte_cache) > return -ENOMEM; > =20 > size =3D sizeof(void *) << RADIX_PMD_INDEX_SIZE; > =20 > - kvm_pmd_cache =3D kmem_cache_create("kvm-pmd", size, size, 0, pmd_ctor)= ; > + kvm_pmd_cache =3D kmem_cache_create("kvm-pmd", size, size, > + SLAB_TYPESAFE_BY_RCU, pmd_ctor); > if (!kvm_pmd_cache) { > kmem_cache_destroy(kvm_pte_cache); > return -ENOMEM; KVM PPC HV radix PUD level page tables use the arch/powerpc allocators (for some reason), which are not RCU freed. I think you need them too? I wouldn't mind if the kvm pud table slab was moved in here instead of shared. Thanks, Nick