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=-7.2 required=3.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,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 5C6F5C433ED for ; Wed, 28 Apr 2021 14:58:28 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id BD27F61434 for ; Wed, 28 Apr 2021 14:58:27 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org BD27F61434 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=lespinasse.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 397FB6B0036; Wed, 28 Apr 2021 10:58:27 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 347FE6B0071; Wed, 28 Apr 2021 10:58:27 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 1C1DB6B0072; Wed, 28 Apr 2021 10:58:27 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0196.hostedemail.com [216.40.44.196]) by kanga.kvack.org (Postfix) with ESMTP id F20FC6B0036 for ; Wed, 28 Apr 2021 10:58:26 -0400 (EDT) Received: from smtpin40.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay03.hostedemail.com (Postfix) with ESMTP id A407B824999B for ; Wed, 28 Apr 2021 14:58:26 +0000 (UTC) X-FDA: 78082081812.40.979E81A Received: from server.lespinasse.org (server.lespinasse.org [63.205.204.226]) by imf21.hostedemail.com (Postfix) with ESMTP id 91F23E000113 for ; Wed, 28 Apr 2021 14:58:22 +0000 (UTC) DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=lespinasse.org; i=@lespinasse.org; q=dns/txt; s=srv-13-ed; t=1619621903; h=date : from : to : cc : subject : message-id : references : mime-version : content-type : in-reply-to : from; bh=QydOVvpj2OAyZRQLFyThi3nH5+pcZsNgV/K3JPyDtNY=; b=v0pzT2ftLbgMGbGTh60i1QNqjD03znuBtiCVjyDA+AlHGKjxRg095hn5nSntHwdJwW5G2 6ieNuTl11n2gIsIBg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lespinasse.org; i=@lespinasse.org; q=dns/txt; s=srv-13-rsa; t=1619621903; h=date : from : to : cc : subject : message-id : references : mime-version : content-type : in-reply-to : from; bh=QydOVvpj2OAyZRQLFyThi3nH5+pcZsNgV/K3JPyDtNY=; b=x/TTWv4tQOnLutEIDbG9cc6Wu1R2lL73vSbCsE8Edvz0ZzakWl8TXCdqzHPoB4q7KtApc PS63BgYRDrK2I9sJbFt8w5Wb3W+YiKEv+O7IVJm/IPQEJcRmH4oiDN7wOBl8+KmMEdOzMEQ Bcqg/QcQ7qk+RP6dkeEYE8bVyfEwJQb/LLVgCmYr3sTVHLG47D8GgPAA+ceHeEVOMaND8ZV qyRoeiMdhcU7ZcbsIrXL3tRexMT8znCDwT/Zv+I8e3V07y3OlHEWb2uXB4NrwjqkimLqeku dwPEpKGb8yQQBd/CPngXo6zar+9JaHutiDx2DHNR1JpZkjMwl9RU4K4kL2ag== Received: by server.lespinasse.org (Postfix, from userid 1000) id B1B4816026E; Wed, 28 Apr 2021 07:58:23 -0700 (PDT) Date: Wed, 28 Apr 2021 07:58:23 -0700 From: Michel Lespinasse To: Andy Lutomirski , Paul McKenney Cc: Michel Lespinasse , Linux-MM , Laurent Dufour , Peter Zijlstra , Michal Hocko , Matthew Wilcox , Rik van Riel , Andrew Morton , Suren Baghdasaryan , Joel Fernandes , Rom Lemarchand , Linux-Kernel Subject: Re: [RFC PATCH 13/37] mm: implement speculative handling in __handle_mm_fault(). Message-ID: <20210428145823.GA856@lespinasse.org> References: <20210407014502.24091-1-michel@lespinasse.org> <20210407014502.24091-14-michel@lespinasse.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.10.1 (2018-07-13) X-Rspamd-Server: rspam03 X-Rspamd-Queue-Id: 91F23E000113 X-Stat-Signature: 1xjs489gz9xihaoodiin8inpz1734pz7 Received-SPF: none (lespinasse.org>: No applicable sender policy available) receiver=imf21; identity=mailfrom; envelope-from=""; helo=server.lespinasse.org; client-ip=63.205.204.226 X-HE-DKIM-Result: pass/pass X-HE-Tag: 1619621902-837153 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 Wed, Apr 07, 2021 at 08:36:01AM -0700, Andy Lutomirski wrote: > On 4/6/21 6:44 PM, Michel Lespinasse wrote: > > The page table tree is walked with local irqs disabled, which prevents > > page table reclamation (similarly to what fast GUP does). The logic is > > otherwise similar to the non-speculative path, but with additional > > restrictions: in the speculative path, we do not handle huge pages or > > wiring new pages tables. > > Not on most architectures. Quoting the actual comment in mm/gup.c: > > > * Before activating this code, please be aware that the following assumptions > > * are currently made: > > * > > * *) Either MMU_GATHER_RCU_TABLE_FREE is enabled, and tlb_remove_table() is used to > > * free pages containing page tables or TLB flushing requires IPI broadcast. > > On MMU_GATHER_RCU_TABLE_FREE architectures, you cannot make the > assumption that it is safe to dereference a pointer in a page table just > because irqs are off. You need RCU protection, too. > > You have the same error in the cover letter. Hi Andy, Thanks for your comment. At first I thought did not matter, because we only enable ARCH_SUPPORTS_SPECULATIVE_PAGE_FAULT on selected architectures, and I thought MMU_GATHER_RCU_TABLE_FREE is not set on these. But I was wrong - MMU_GATHER_RCU_TABLE_FREE is enabled on X86 with paravirt. So I took another look at fast GUP to make sure I actually understand it. This brings a question about lockless_pages_from_mm() - I see it disabling interrupts, which it explains is necessary for disabling THP splitting IPIs, but I do not see it taking an RCU read lock as would be necessary for preventing paga table freeing on MMU_GATHER_RCU_TABLE_FREE configs. I figure local_irq_save() indirectly takes an rcu read lock somehow ? I think this is something I should also mention in my explanation, and I have not seen a good description of this on the fast GUP side... Thanks, -- Michel "walken" Lespinasse