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=-0.8 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS 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 A1B64C43331 for ; Tue, 31 Mar 2020 08:14:40 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 5F4FE20714 for ; Tue, 31 Mar 2020 08:14:40 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 5F4FE20714 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=linux.ibm.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id E8F866B0032; Tue, 31 Mar 2020 04:14:39 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id E27AA6B0037; Tue, 31 Mar 2020 04:14:39 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id CE1196B006C; Tue, 31 Mar 2020 04:14:39 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0060.hostedemail.com [216.40.44.60]) by kanga.kvack.org (Postfix) with ESMTP id B2B186B0032 for ; Tue, 31 Mar 2020 04:14:39 -0400 (EDT) Received: from smtpin19.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay01.hostedemail.com (Postfix) with ESMTP id 63CA0180AD815 for ; Tue, 31 Mar 2020 08:14:39 +0000 (UTC) X-FDA: 76654945878.19.pull05_45af33efe695b X-HE-Tag: pull05_45af33efe695b X-Filterd-Recvd-Size: 7924 Received: from mx0a-001b2d01.pphosted.com (mx0b-001b2d01.pphosted.com [148.163.158.5]) by imf16.hostedemail.com (Postfix) with ESMTP for ; Tue, 31 Mar 2020 08:14:38 +0000 (UTC) Received: from pps.filterd (m0098421.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id 02V80c9l058309 for ; Tue, 31 Mar 2020 04:14:38 -0400 Received: from e06smtp03.uk.ibm.com (e06smtp03.uk.ibm.com [195.75.94.99]) by mx0a-001b2d01.pphosted.com with ESMTP id 3022jumypg-1 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Tue, 31 Mar 2020 04:14:37 -0400 Received: from localhost by e06smtp03.uk.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Tue, 31 Mar 2020 09:14:29 +0100 Received: from b06avi18626390.portsmouth.uk.ibm.com (9.149.26.192) 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) Tue, 31 Mar 2020 09:14:22 +0100 Received: from b06wcsmtp001.portsmouth.uk.ibm.com (b06wcsmtp001.portsmouth.uk.ibm.com [9.149.105.160]) by b06avi18626390.portsmouth.uk.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id 02V8DOkE50790826 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 31 Mar 2020 08:13:24 GMT Received: from b06wcsmtp001.portsmouth.uk.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 982FCA405C; Tue, 31 Mar 2020 08:14:27 +0000 (GMT) Received: from b06wcsmtp001.portsmouth.uk.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 211B9A405B; Tue, 31 Mar 2020 08:14:25 +0000 (GMT) Received: from linux.ibm.com (unknown [9.148.207.69]) by b06wcsmtp001.portsmouth.uk.ibm.com (Postfix) with ESMTPS; Tue, 31 Mar 2020 08:14:25 +0000 (GMT) Date: Tue, 31 Mar 2020 11:14:23 +0300 From: Mike Rapoport To: Michal Hocko Cc: Hoan Tran , Catalin Marinas , Will Deacon , Andrew Morton , Vlastimil Babka , Oscar Salvador , Pavel Tatashin , Alexander Duyck , Benjamin Herrenschmidt , Paul Mackerras , Michael Ellerman , Thomas Gleixner , Ingo Molnar , Borislav Petkov , "H. Peter Anvin" , "David S. Miller" , Heiko Carstens , Vasily Gorbik , Christian Borntraeger , "open list:MEMORY MANAGEMENT" , linux-arm-kernel@lists.infradead.org, linux-s390@vger.kernel.org, sparclinux@vger.kernel.org, x86@kernel.org, linuxppc-dev@lists.ozlabs.org, linux-kernel@vger.kernel.org, lho@amperecomputing.com, mmorana@amperecomputing.com Subject: Re: [PATCH v3 0/5] mm: Enable CONFIG_NODES_SPAN_OTHER_NODES by default for NUMA References: <1585420282-25630-1-git-send-email-Hoan@os.amperecomputing.com> <20200330074246.GA14243@dhcp22.suse.cz> <20200330175100.GD30942@linux.ibm.com> <20200330182301.GM14243@dhcp22.suse.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200330182301.GM14243@dhcp22.suse.cz> X-TM-AS-GCONF: 00 x-cbid: 20033108-0012-0000-0000-0000039B78A8 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 20033108-0013-0000-0000-000021D883D5 Message-Id: <20200331081423.GE30942@linux.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.138,18.0.676 definitions=2020-03-31_02:2020-03-30,2020-03-31 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxscore=0 adultscore=0 bulkscore=0 phishscore=0 malwarescore=0 priorityscore=1501 suspectscore=5 clxscore=1015 mlxlogscore=848 impostorscore=0 lowpriorityscore=0 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2003020000 definitions=main-2003310067 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 Mon, Mar 30, 2020 at 08:23:01PM +0200, Michal Hocko wrote: > On Mon 30-03-20 20:51:00, Mike Rapoport wrote: > > On Mon, Mar 30, 2020 at 09:42:46AM +0200, Michal Hocko wrote: > > > On Sat 28-03-20 11:31:17, Hoan Tran wrote: > > > > In NUMA layout which nodes have memory ranges that span across other nodes, > > > > the mm driver can detect the memory node id incorrectly. > > > > > > > > For example, with layout below > > > > Node 0 address: 0000 xxxx 0000 xxxx > > > > Node 1 address: xxxx 1111 xxxx 1111 > > > > > > > > Note: > > > > - Memory from low to high > > > > - 0/1: Node id > > > > - x: Invalid memory of a node > > > > > > > > When mm probes the memory map, without CONFIG_NODES_SPAN_OTHER_NODES > > > > config, mm only checks the memory validity but not the node id. > > > > Because of that, Node 1 also detects the memory from node 0 as below > > > > when it scans from the start address to the end address of node 1. > > > > > > > > Node 0 address: 0000 xxxx xxxx xxxx > > > > Node 1 address: xxxx 1111 1111 1111 > > > > > > > > This layout could occur on any architecture. Most of them enables > > > > this config by default with CONFIG_NUMA. This patch, by default, enables > > > > CONFIG_NODES_SPAN_OTHER_NODES or uses early_pfn_in_nid() for NUMA. > > > > > > I am not opposed to this at all. It reduces the config space and that is > > > a good thing on its own. The history has shown that meory layout might > > > be really wild wrt NUMA. The config is only used for early_pfn_in_nid > > > which is clearly an overkill. > > > > > > Your description doesn't really explain why this is safe though. The > > > history of this config is somehow messy, though. Mike has tried > > > to remove it a94b3ab7eab4 ("[PATCH] mm: remove arch independent > > > NODES_SPAN_OTHER_NODES") just to be reintroduced by 7516795739bd > > > ("[PATCH] Reintroduce NODES_SPAN_OTHER_NODES for powerpc") without any > > > reasoning what so ever. This doesn't make it really easy see whether > > > reasons for reintroduction are still there. Maybe there are some subtle > > > dependencies. I do not see any TBH but that might be burried deep in an > > > arch specific code. > > > > I've looked at this a bit more and it seems that the check for > > early_pfn_in_nid() in memmap_init_zone() can be simply removed. > > > > The commits you've mentioned were way before the addition of > > HAVE_MEMBLOCK_NODE_MAP and the whole infrastructure that calculates zone > > sizes and boundaries based on the memblock node map. > > So, the memmap_init_zone() is called when zone boundaries are already > > within a node. > > But zones from different nodes might overlap in the pfn range. And this > check is there to skip over those overlapping areas. Maybe I mis-read the code, but I don't see how this could happen. In the HAVE_MEMBLOCK_NODE_MAP=y case, free_area_init_node() calls calculate_node_totalpages() that ensures that node->node_zones are entirely within the node because this is checked in zone_spanned_pages_in_node(). So, for zones from different nodes to overlap in the pfn range the nodes themself should overlap. Is this even possible? > The only way to skip over this check I can see is to do a different pfn > walk and go through memblock ranges which are guaranteed to belong to a > single node. > -- > Michal Hocko > SUSE Labs -- Sincerely yours, Mike.