Received: by 2002:ac0:a594:0:0:0:0:0 with SMTP id m20-v6csp3543029imm; Thu, 17 May 2018 10:21:02 -0700 (PDT) X-Google-Smtp-Source: AB8JxZr7g1bhWlMXD6htIBxEXdzlPcqsAxBgQBWw/sWC+ZaYvcwnY/ont6sZLM+Q2OFtFT/DZfYz X-Received: by 2002:a62:8785:: with SMTP id i127-v6mr6021575pfe.201.1526577662123; Thu, 17 May 2018 10:21:02 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1526577662; cv=none; d=google.com; s=arc-20160816; b=TNbzDcIqXfKoZAkpD21cotpTj67WeDf7NV05jEamcT/G6ode1ubHW5q7/iK9QQht45 mK0sCTeEJl3xRzR/GsxK5GroyLTmN9SLL8/7yqViDi0aE5cN9JjPvhlyhB1F072y3yHR ZPt7zyMNGxd+MaLBqnanzseBZwy7+OW3N9/Z0/aOLbLloOgL7uzcADodJLCRhybri27e //VQ59L2qDYPy2QAmw5Z+qfeAnASCgBZUvifFtADtuPbZK8wcez+p8kca9AYlaT0uRWO F7/tL54JQnwS+KrVlBPOcxdvS6QFViMX0iJOsHogscHgtqIDPCrnPJZfTyyyotXsyipp v0rQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:dkim-signature:arc-authentication-results; bh=arIDvBz+cvfM+/Q6WlmlOx1X6/rUoSZG3Vmm3nWL0vY=; b=NoysIb6cCoxWfBIeRkYnB6ijTG1eXz95WILxsP3j/hRtaes9MyGR2atM22AtzUt5fp /F9bOOB+qpBt3SJZx24aa6A/YahCaXsSM20GIZB6aQwHRymT3aWMK6hzlFPetpMVmrDV JRpYmCZgMxmvO2kfgZizMhO6YyjHqxS0/jow181ljDWa08nCsR52MnxBATLXArpAfVdx zx57pUv+bg3UqK3qmmMPXiQ2tgZWC1uY7jc4Ifz48a5UknPLAsYCkzKdupsuDigJRp9f SxO9HXTj+TFFrsYrGidfyjah4kHsigsZ72VdXtUzZfkcZgVy5TYHRA/vp47Y/1ZNWGKB mqSQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@infradead.org header.s=bombadil.20170209 header.b=P/11Bd+W; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id u10-v6si4397512pgo.31.2018.05.17.10.20.47; Thu, 17 May 2018 10:21:02 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=fail header.i=@infradead.org header.s=bombadil.20170209 header.b=P/11Bd+W; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751844AbeEQRUa (ORCPT + 99 others); Thu, 17 May 2018 13:20:30 -0400 Received: from bombadil.infradead.org ([198.137.202.133]:53712 "EHLO bombadil.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751047AbeEQRU3 (ORCPT ); Thu, 17 May 2018 13:20:29 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=bombadil.20170209; h=In-Reply-To:Content-Type:MIME-Version :References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=arIDvBz+cvfM+/Q6WlmlOx1X6/rUoSZG3Vmm3nWL0vY=; b=P/11Bd+WmKU8O2IXCdG6vODpT m9RfmI7y8XJCW731/mDbjECfsAuWLaQhAUpJxIp0wFF/lDtYkEnL6QnKeUOYNs8IEtpDcIFjMA90r 0UtMHgmdDMxCDkBIkFs4Af1AIiFgRNM6QfsrUFWvNdubjxjA7PZzvMJ5yLMlKEzFwWfIIzcwGijGq hgzBfb0ifaob0xWVZgX7jgQvg1X9BE//On86Z0Pnz1WpeYuimufoQi1kzHlOi8qNyHYa5FVi+ad19 va+fazX0cedccazijmRIgU7CSKRx1NqYC3zTqk7GwI57wNN4g+AZM31TAEQwGCDtTKn/4Nk/jqb4I lDCFiG+jQ==; Received: from willy by bombadil.infradead.org with local (Exim 4.90_1 #2 (Red Hat Linux)) id 1fJMZE-000531-7p; Thu, 17 May 2018 17:19:52 +0000 Date: Thu, 17 May 2018 10:19:51 -0700 From: Matthew Wilcox To: Randy Dunlap Cc: Laurent Dufour , akpm@linux-foundation.org, mhocko@kernel.org, peterz@infradead.org, kirill@shutemov.name, ak@linux.intel.com, dave@stgolabs.net, jack@suse.cz, khandual@linux.vnet.ibm.com, aneesh.kumar@linux.vnet.ibm.com, benh@kernel.crashing.org, mpe@ellerman.id.au, paulus@samba.org, Thomas Gleixner , Ingo Molnar , hpa@zytor.com, Will Deacon , Sergey Senozhatsky , sergey.senozhatsky.work@gmail.com, Andrea Arcangeli , Alexei Starovoitov , kemi.wang@intel.com, Daniel Jordan , David Rientjes , Jerome Glisse , Ganesh Mahendran , Minchan Kim , Punit Agrawal , vinayak menon , Yang Shi , linux-kernel@vger.kernel.org, linux-mm@kvack.org, haren@linux.vnet.ibm.com, npiggin@gmail.com, bsingharora@gmail.com, paulmck@linux.vnet.ibm.com, Tim Chen , linuxppc-dev@lists.ozlabs.org, x86@kernel.org Subject: Re: [PATCH v11 01/26] mm: introduce CONFIG_SPECULATIVE_PAGE_FAULT Message-ID: <20180517171951.GB26718@bombadil.infradead.org> References: <1526555193-7242-1-git-send-email-ldufour@linux.vnet.ibm.com> <1526555193-7242-2-git-send-email-ldufour@linux.vnet.ibm.com> <2cb8256d-5822-d94d-b0e6-c46f21d84852@infradead.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <2cb8256d-5822-d94d-b0e6-c46f21d84852@infradead.org> User-Agent: Mutt/1.9.2 (2017-12-15) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, May 17, 2018 at 09:36:00AM -0700, Randy Dunlap wrote: > > + If the speculative page fault fails because of a concurrency is > > because a concurrency is While one can use concurrency as a noun, it sounds archaic to me. I'd rather: If the speculative page fault fails because a concurrent modification is detected or because underlying PMD or PTE tables are not yet > > + detected or because underlying PMD or PTE tables are not yet > > + allocating, it is failing its processing and a classic page fault > > allocated, the speculative page fault fails and a classic page fault > > > + is then tried.