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=-2.5 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_PASS, USER_AGENT_MUTT autolearn=unavailable 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 CF85AC43381 for ; Mon, 4 Mar 2019 14:56:02 +0000 (UTC) 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 mail.kernel.org (Postfix) with ESMTPS id 9DC5320815 for ; Mon, 4 Mar 2019 14:56:02 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=lists.infradead.org header.i=@lists.infradead.org header.b="u3VmZ6ax" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 9DC5320815 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=linux.ibm.com Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-arm-kernel-bounces+infradead-linux-arm-kernel=archiver.kernel.org@lists.infradead.org DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20170209; h=Sender: Content-Transfer-Encoding:Content-Type:Cc:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:Message-Id:In-Reply-To:MIME-Version: References:Subject:To:From:Date:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=cFczursGFoqVTFUl+o5DoNUoNEoI4Gr6YtiHk44zcI0=; b=u3VmZ6axy1ifm7 reOf8lnn7TA7CmWX1p3zUOl+L6hWIDmlgwQJjxNtgyXVLMayL0H9XX6xR8OmcVSzrRzTuxP+vvjMS SoqCkgHsMmPeyg2zjeKldeO4fOZuDCIO7gC1jeM19AxB0oDf9NuHnjLAzss5f12go+1sGASfv0aG6 zLjv8ksmElU86PKvcl93/qUGE97dVmIDjUmnmlsyGoQp8+LAuCKBfHSuhkRVGboNO0njJ4U+Jgp3E 00jU1hqOVx5rhuIOZhfm9mVk5kibFRMFrdGpz+lTVPkAeVwZMEwOYVHhfiGF7j3WLCkXqHMvso7cs pU6Mhvvl9E6n+9dHo0Tw==; Received: from localhost ([127.0.0.1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.90_1 #2 (Red Hat Linux)) id 1h0p0Z-0001Sz-4J; Mon, 04 Mar 2019 14:55:59 +0000 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5] helo=mx0a-001b2d01.pphosted.com) by bombadil.infradead.org with esmtps (Exim 4.90_1 #2 (Red Hat Linux)) id 1h0oxw-0006hT-Ur for linux-arm-kernel@lists.infradead.org; Mon, 04 Mar 2019 14:53:25 +0000 Received: from pps.filterd (m0098414.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x24EnQ4T060275 for ; Mon, 4 Mar 2019 09:53:14 -0500 Received: from e06smtp03.uk.ibm.com (e06smtp03.uk.ibm.com [195.75.94.99]) by mx0b-001b2d01.pphosted.com with ESMTP id 2r14y9ut1k-1 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 04 Mar 2019 09:53:14 -0500 Received: from localhost by e06smtp03.uk.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Mon, 4 Mar 2019 14:53:12 -0000 Received: from b06cxnps3074.portsmouth.uk.ibm.com (9.149.109.194) by e06smtp03.uk.ibm.com (192.168.101.133) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; (version=TLSv1/SSLv3 cipher=AES256-GCM-SHA384 bits=256/256) Mon, 4 Mar 2019 14:53:05 -0000 Received: from d06av21.portsmouth.uk.ibm.com (d06av21.portsmouth.uk.ibm.com [9.149.105.232]) by b06cxnps3074.portsmouth.uk.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id x24Er4qT59768974 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 4 Mar 2019 14:53:05 GMT Received: from d06av21.portsmouth.uk.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id D00EC5204F; Mon, 4 Mar 2019 14:53:04 +0000 (GMT) Received: from rapoport-lnx (unknown [9.148.206.89]) by d06av21.portsmouth.uk.ibm.com (Postfix) with ESMTPS id 0AABA52063; Mon, 4 Mar 2019 14:53:02 +0000 (GMT) Date: Mon, 4 Mar 2019 16:53:01 +0200 From: Mike Rapoport To: Steven Price Subject: Re: [PATCH v2 03/13] mm: Add generic p?d_large() macros References: <20190221142812.oa53lfnnfmsuh6ys@kshutemo-mobl1> <20190221145706.zqwfdoyiirn3lc7y@kshutemo-mobl1> <20190221210618.voyfs5cnafpvgedh@kshutemo-mobl1> <20190301115300.GE5156@rapoport-lnx> <20190301123031.rw3dswcoaa2x7haq@kshutemo-mobl1> <20190303071253.GA7585@rapoport-lnx> <2adbc516-3ffd-8e34-887a-843ccab72d51@arm.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <2adbc516-3ffd-8e34-887a-843ccab72d51@arm.com> User-Agent: Mutt/1.5.24 (2015-08-30) X-TM-AS-GCONF: 00 x-cbid: 19030414-0012-0000-0000-000002FE5B31 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 19030414-0013-0000-0000-000021355E08 Message-Id: <20190304145300.GC22843@rapoport-lnx> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-03-04_06:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1903040109 X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20190304_065317_357358_AEDDF90A X-CRM114-Status: GOOD ( 40.22 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Mark Rutland , x86@kernel.org, Arnd Bergmann , Ard Biesheuvel , Peter Zijlstra , Catalin Marinas , "Kirill A. Shutemov" , Dave Hansen , Will Deacon , linux-kernel@vger.kernel.org, linux-mm@kvack.org, =?iso-8859-1?B?Suly9G1l?= Glisse , Ingo Molnar , James Morse , Andy Lutomirski , "H. Peter Anvin" , Borislav Petkov , Thomas Gleixner , linux-arm-kernel@lists.infradead.org, "Liang, Kan" Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+infradead-linux-arm-kernel=archiver.kernel.org@lists.infradead.org On Mon, Mar 04, 2019 at 02:35:56PM +0000, Steven Price wrote: > On 03/03/2019 07:12, Mike Rapoport wrote: > > On Fri, Mar 01, 2019 at 01:39:30PM +0000, Steven Price wrote: > >> On 01/03/2019 12:30, Kirill A. Shutemov wrote: > >>> On Fri, Mar 01, 2019 at 01:53:01PM +0200, Mike Rapoport wrote: > >>>> Him Kirill, > >>>> > >>>> On Fri, Feb 22, 2019 at 12:06:18AM +0300, Kirill A. Shutemov wrote: > >>>>> On Thu, Feb 21, 2019 at 05:16:46PM +0000, Steven Price wrote: > >>>>>>>> Note that in terms of the new page walking code, these new defines are > >>>>>>>> only used when walking a page table without a VMA (which isn't currently > >>>>>>>> done), so architectures which don't use p?d_large currently will work > >>>>>>>> fine with the generic versions. They only need to provide meaningful > >>>>>>>> definitions when switching to use the walk-without-a-VMA functionality. > >>>>>>> > >>>>>>> How other architectures would know that they need to provide the helpers > >>>>>>> to get walk-without-a-VMA functionality? This looks very fragile to me. > >>>>>> > >>>>>> Yes, you've got a good point there. This would apply to the p?d_large > >>>>>> macros as well - any arch which (inadvertently) uses the generic version > >>>>>> is likely to be fragile/broken. > >>>>>> > >>>>>> I think probably the best option here is to scrap the generic versions > >>>>>> altogether and simply introduce a ARCH_HAS_PXD_LARGE config option which > >>>>>> would enable the new functionality to those arches that opt-in. Do you > >>>>>> think this would be less fragile? > >>>>> > >>>>> These helpers are useful beyond pagewalker. > >>>>> > >>>>> Can we actually do some grinding and make *all* archs to provide correct > >>>>> helpers? Yes, it's tedious, but not that bad. > >>>> > >>>> Many architectures simply cannot support non-leaf entries at the higher > >>>> levels. I think letting the use a generic helper actually does make sense. > >>> > >>> I disagree. > >>> > >>> It's makes sense if the level doesn't exists on the arch. > >> > >> This is what patch 24 [1] of the series does - if the level doesn't > >> exist then appropriate stubs are provided. > >> > >>> But if the level exists, it will be less frugile to ask the arch to > >>> provide the helper. Even if it is dummy always-false. > >> > >> The problem (as I see it), is we need a reliable set of p?d_large() > >> implementations to be able to walk arbitrary page tables. Either the > >> entire functionality of walking page tables without a VMA has to be an > >> opt-in per architecture, or we need to mandate that every architecture > >> provide these implementations. > > > > I agree that we need a reliable set of p?d_large(), but I'm still not > > convinced that every architecture should provide these. > > > > Why having generic versions if p?d_large() is more fragile, than e.g. > > p??__access_permitted() or atomic ops? > > Personally I feel having p?d_large implemented for each arch has the > following benefits: > > * Matches p?d_present/p?d_none/p?d_bad which all similarly have to be > implemented for all arches except for folded levels (when folded using > the generic code). > > * Gives the architecture maintainers a heads-up and an opportunity to > ensure that the implementations I've written are correct rather than > silently picking up the generic version. > > * When adding a new architecture it will be obvious that p?d_large > implementations are needed. > > The benefits of having a generic version seem to be: > > * No boiler plate for the architectures that don't support large pages > (saves a handful of lines). > > * Easier to merge (fewer patches). > > While the last one is certainly appealing (to me at least), I'm not > convinced the benefits of the generic version outweigh those of > providing implementations per-arch. > > Am I missing something? > > > IMHO, adding those functions/macros for architectures that support large > > pages and providing defines to avoid override of 'static inline' implementations > > would be robust enough and will avoid unnecessary stubs in architectures > > that don't have large pages. > > Clearly at run time there's no difference in the "robustness" - the code > generation should be the same. So it's purely down to development processes. > > However, if you prefer I can resurrect the generic versions and drop the > patches that simply add dummy implementations. My concern was the code duplication, which didn't seem necessary. It's not only about saving a handful of lines, but rather having as many of the code shared by different architectures actually shared and not copied. I'd really appreciate having the dummy versions in include/asm-generic rather than all over arch/*/include/asm. > Steve > -- Sincerely yours, Mike. _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel