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 0DF60CE7B0C for ; Thu, 28 Sep 2023 08:48:10 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 8701B8D0099; Thu, 28 Sep 2023 04:48:10 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 81F5F8D0038; Thu, 28 Sep 2023 04:48:10 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 70D498D0099; Thu, 28 Sep 2023 04:48:10 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0014.hostedemail.com [216.40.44.14]) by kanga.kvack.org (Postfix) with ESMTP id 5DF8E8D0038 for ; Thu, 28 Sep 2023 04:48:10 -0400 (EDT) Received: from smtpin27.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay05.hostedemail.com (Postfix) with ESMTP id 7B7AF40368 for ; Thu, 28 Sep 2023 08:48:09 +0000 (UTC) X-FDA: 81285379098.27.98147E9 Received: from out-194.mta1.migadu.com (out-194.mta1.migadu.com [95.215.58.194]) by imf06.hostedemail.com (Postfix) with ESMTP id 8C8A5180008 for ; Thu, 28 Sep 2023 08:48:07 +0000 (UTC) Authentication-Results: imf06.hostedemail.com; dkim=pass header.d=linux.dev header.s=key1 header.b=YAMhQ45B; spf=pass (imf06.hostedemail.com: domain of yajun.deng@linux.dev designates 95.215.58.194 as permitted sender) smtp.mailfrom=yajun.deng@linux.dev; dmarc=pass (policy=none) header.from=linux.dev ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1695890887; 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=+EEA0IoyLM9MJW6bKO28aRoeqNlmd1duJHWiiZqz/yg=; b=rN2Ap7aQomUWanxT+oh7jx1CvFggOeP6dJGoh024qgr8/jjlozlYEb4eW0e0YAqxvh1pCN CIlbi3CscyaF5aoDNfaTJjfCG1W+LMvRNDJcc0mnuErKcoSEasYwmG/yHG6hRnjId9V+M2 XFJQUps1OfP2qbrhtYspFRarglaazsI= ARC-Authentication-Results: i=1; imf06.hostedemail.com; dkim=pass header.d=linux.dev header.s=key1 header.b=YAMhQ45B; spf=pass (imf06.hostedemail.com: domain of yajun.deng@linux.dev designates 95.215.58.194 as permitted sender) smtp.mailfrom=yajun.deng@linux.dev; dmarc=pass (policy=none) header.from=linux.dev ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1695890887; a=rsa-sha256; cv=none; b=Dmy4xK14akSMhdmUgyuuIw/lNE5//Ov8gdsnopickpFlqVW/+E4prR63OrsN0sZW7I1MCR EkktyBD6rzYrwjjraTznAgbdmA8EytmD+2H+s5wUBsach9iaNehT4euoT0Qc45/BT0xLb4 fTJyGh5WOSsOpElLLofGdZlH4h8iNHY= Message-ID: <3ee9c8e4-870c-4ab0-906a-7d214031d1a6@linux.dev> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linux.dev; s=key1; t=1695890885; h=from:from: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; bh=+EEA0IoyLM9MJW6bKO28aRoeqNlmd1duJHWiiZqz/yg=; b=YAMhQ45Bj/uy05JBo0RQYm/3kZjaQm4hC3Rdj6SkYN9dRTWltdHRrVqCwk04/pSOat/oEL Xuoejak/dmkC/X98pRIf97no+3bWXf1RN7OmHMM+Yy2SkZqrjMUIfBURA8tCta/8aOEbxP MWnIFotEFxWSMfoihPDTZWadkJ1aIE0= Date: Thu, 28 Sep 2023 16:47:59 +0800 MIME-Version: 1.0 Subject: Re: [PATCH] memblock: don't run loop in memblock_add_range() twice To: Mike Rapoport Cc: akpm@linux-foundation.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org References: <20230927013752.2515238-1-yajun.deng@linux.dev> <20230928061619.GS3303@kernel.org> Content-Language: en-US X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Yajun Deng In-Reply-To: <20230928061619.GS3303@kernel.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Migadu-Flow: FLOW_OUT X-Rspamd-Queue-Id: 8C8A5180008 X-Rspam-User: X-Stat-Signature: ntkob6tp6r71xtcyhxbxdtjenjomkzqg X-Rspamd-Server: rspam01 X-HE-Tag: 1695890887-118357 X-HE-Meta: U2FsdGVkX1/e8UYKzqO7KuIEk/ZXaqfURmVr0QVMXp44NcfIffUhOma5pQXlyaguPHZMtRljtRUQ3O206IJ04l0c7bfmlpD4CwUePR5QmbhpPKnqreYYbHTKYDkHsMJyhUDZSGPqK8Ugn4Ji+pL62NjruVQ9GMQ+oIj6fDNYls4HW9srm8iCu+Nh8DFRqWf5lYyrSLjvN8K2V1PwwhrMVp4iNEqzg3lQwH9LR8aHXka1+EqhslyYtGTl6M4SeCoeKLLg2+e3WXi4kTkMaIS73oHt6UQ4kyyNor3cjKVjRplzUR/kYCbjH700FgA0zUgpL5Dj6nk6t+cf54luV+Z+n8V4Uy+cMMOwYdRoNKof/rwVEMywnZ1zLHx1XDFnhG80sW+IT6iwD7g3xsU7VuODlxeuDqpNIRZUduqEDJWNucxPbJ3xL10pbWt0g3KnqiDgoktnqzn20S/XK2ZNNv64di9DsUpSpp7a9eOJ6rZpERkQb7tBgK1qSJ4PnGg302n5vG0MXlxhIzradeCt0Yg6gQWusAY7LI0blT1QF5h4v4g+JyricGgRPWJns1k1OC+Eh/spI4njeXJAm8DUuPU/DBy2ENI3Mx4XlOf4cDBmk5td1AaaFJuqHLFcd8PMVED2Ys/IU7bmEQl0otLSsL2l9Ri++5QSbhF7nn6ahnUVtzm34N/SWgaIqUldfgWTjHOX4Dx+Jqvcyb387Qa6OHwRPHV/r7EhzYnzxWA6aOmSLhsRg8eH27MWz4ACMTn5dlexS1h54drxTWSDngezynzoFmwJmtgpkqTwZe50FFRdbpf67aN956mhO8eozhSqzhvXwAh+WwnYnqxCgKz0jhc9K1VeCGssoUnWe66o02OqFWYbxCQEsKZTDwCUhj23i8WEtQp5JAdBiMnjQH3tysGYj1vk6qZA2dwIYoZuv/ym/JpEgtl82reCi7vhh5o2gSUoEfRZ06ldeSo1V5z0Q+R hqQBXSCb bL1+vCRSw5bJil4OFL0BDxyTGOUYUUY9HQ0Kn0zynEGw4OZ2lfV1RQH+xqJ9yqpv7oaxktj1rHm1XWYt0PSQoOJBmLUKS1oGa5bUvHX2XUcoka411CxdwK8bIcPpqi8OoAOawvhCutwCHD7M= 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 2023/9/28 14:16, Mike Rapoport wrote: > On Wed, Sep 27, 2023 at 09:37:52AM +0800, Yajun Deng wrote: >> There is round twice in memblock_add_range(). The first counts the number >> of regions needed to accommodate the new area. The second actually inserts >> them. But the first round isn't really needed, we just need to check the >> counts before inserting them. >> >> Check the count before calling memblock_insert_region(). If the count is >> equal to the maximum value, it needs to resize the array. Otherwise, >> insert it directly. >> >> To avoid nested calls to memblock_add_range(), we need to call >> memblock_reserve() out of memblock_double_array(). > memblock_add_range() does an extra loop once in a while, but I don't think > removing it will have any actual effect on the boot time. Yes, it has no obvious actual effect on the boot time,  but it does reduce the number of unnecessary loop. The actual effect on the boot time should not be the only criterion for whether a patch is accepted or not. Since the comment in the previous code, it tells the user that it would be executed twice, this can be misleading to users. So the new code will be simpler and clearer. It not just change the code, but also remove the comment about "executed twice",  it obviously tells the user only resize the array if it is equal to the maximum value and doesn't need to be executed twice. > >> Signed-off-by: Yajun Deng >> --- >> mm/memblock.c | 117 ++++++++++++++++++++++++-------------------------- >> 1 file changed, 57 insertions(+), 60 deletions(-) >> >> diff --git a/mm/memblock.c b/mm/memblock.c >> index 5a88d6d24d79..3f44c84f5d0b 100644 >> --- a/mm/memblock.c >> +++ b/mm/memblock.c >> @@ -400,6 +400,8 @@ void __init memblock_discard(void) >> * @type: memblock type of the regions array being doubled >> * @new_area_start: starting address of memory range to avoid overlap with >> * @new_area_size: size of memory range to avoid overlap with >> + * @new_reserve_base: starting address of new array >> + * @new_reserve_size: size of new array >> * >> * Double the size of the @type regions array. If memblock is being used to >> * allocate memory for a new reserved regions array and there is a previously >> @@ -412,7 +414,9 @@ void __init memblock_discard(void) >> */ >> static int __init_memblock memblock_double_array(struct memblock_type *type, >> phys_addr_t new_area_start, >> - phys_addr_t new_area_size) >> + phys_addr_t new_area_size, >> + phys_addr_t *new_reserve_base, >> + phys_addr_t *new_reserve_size) >> { >> struct memblock_region *new_array, *old_array; >> phys_addr_t old_alloc_size, new_alloc_size; >> @@ -490,11 +494,13 @@ static int __init_memblock memblock_double_array(struct memblock_type *type, >> memblock_free(old_array, old_alloc_size); >> >> /* >> - * Reserve the new array if that comes from the memblock. Otherwise, we >> - * needn't do it >> + * Keep the address and size if that comes from the memblock. Otherwise, >> + * we needn't do it. >> */ >> - if (!use_slab) >> - BUG_ON(memblock_reserve(addr, new_alloc_size)); >> + if (!use_slab) { >> + *new_reserve_base = addr; >> + *new_reserve_size = new_alloc_size; >> + } >> >> /* Update slab flag */ >> *in_slab = use_slab; >> @@ -588,11 +594,12 @@ static int __init_memblock memblock_add_range(struct memblock_type *type, >> phys_addr_t base, phys_addr_t size, >> int nid, enum memblock_flags flags) >> { >> - bool insert = false; >> phys_addr_t obase = base; >> phys_addr_t end = base + memblock_cap_size(base, &size); >> - int idx, nr_new, start_rgn = -1, end_rgn; >> + phys_addr_t new_base = 0, new_size; >> + int idx, start_rgn = -1, end_rgn; >> struct memblock_region *rgn; >> + unsigned long ocnt = type->cnt; >> >> if (!size) >> return 0; >> @@ -608,25 +615,6 @@ static int __init_memblock memblock_add_range(struct memblock_type *type, >> return 0; >> } >> >> - /* >> - * The worst case is when new range overlaps all existing regions, >> - * then we'll need type->cnt + 1 empty regions in @type. So if >> - * type->cnt * 2 + 1 is less than or equal to type->max, we know >> - * that there is enough empty regions in @type, and we can insert >> - * regions directly. >> - */ >> - if (type->cnt * 2 + 1 <= type->max) >> - insert = true; >> - >> -repeat: >> - /* >> - * The following is executed twice. Once with %false @insert and >> - * then with %true. The first counts the number of regions needed >> - * to accommodate the new area. The second actually inserts them. >> - */ >> - base = obase; >> - nr_new = 0; >> - >> for_each_memblock_type(idx, type, rgn) { >> phys_addr_t rbase = rgn->base; >> phys_addr_t rend = rbase + rgn->size; >> @@ -644,15 +632,23 @@ static int __init_memblock memblock_add_range(struct memblock_type *type, >> WARN_ON(nid != memblock_get_region_node(rgn)); >> #endif >> WARN_ON(flags != rgn->flags); >> - nr_new++; >> - if (insert) { >> - if (start_rgn == -1) >> - start_rgn = idx; >> - end_rgn = idx + 1; >> - memblock_insert_region(type, idx++, base, >> - rbase - base, nid, >> - flags); >> - } >> + >> + /* >> + * If type->cnt is equal to type->max, it means there's >> + * not enough empty region and the array needs to be >> + * resized. Otherwise, insert it directly. >> + */ >> + if ((type->cnt == type->max) && >> + memblock_double_array(type, obase, size, >> + &new_base, &new_size)) >> + return -ENOMEM; >> + >> + if (start_rgn == -1) >> + start_rgn = idx; >> + end_rgn = idx + 1; >> + memblock_insert_region(type, idx++, base, >> + rbase - base, nid, >> + flags); >> } >> /* area below @rend is dealt with, forget about it */ >> base = min(rend, end); >> @@ -660,33 +656,28 @@ static int __init_memblock memblock_add_range(struct memblock_type *type, >> >> /* insert the remaining portion */ >> if (base < end) { >> - nr_new++; >> - if (insert) { >> - if (start_rgn == -1) >> - start_rgn = idx; >> - end_rgn = idx + 1; >> - memblock_insert_region(type, idx, base, end - base, >> - nid, flags); >> - } >> + if ((type->cnt == type->max) && >> + memblock_double_array(type, obase, size, >> + &new_base, &new_size)) >> + return -ENOMEM; >> + >> + if (start_rgn == -1) >> + start_rgn = idx; >> + end_rgn = idx + 1; >> + memblock_insert_region(type, idx, base, end - base, >> + nid, flags); >> } >> >> - if (!nr_new) >> + if (ocnt == type->cnt) >> return 0; >> >> - /* >> - * If this was the first round, resize array and repeat for actual >> - * insertions; otherwise, merge and return. >> - */ >> - if (!insert) { >> - while (type->cnt + nr_new > type->max) >> - if (memblock_double_array(type, obase, size) < 0) >> - return -ENOMEM; >> - insert = true; >> - goto repeat; >> - } else { >> - memblock_merge_regions(type, start_rgn, end_rgn); >> - return 0; >> - } >> + memblock_merge_regions(type, start_rgn, end_rgn); >> + >> + /* Reserve the new array */ >> + if (new_base) >> + memblock_reserve(new_base, new_size); >> + >> + return 0; >> } >> >> /** >> @@ -755,6 +746,7 @@ static int __init_memblock memblock_isolate_range(struct memblock_type *type, >> int *start_rgn, int *end_rgn) >> { >> phys_addr_t end = base + memblock_cap_size(base, &size); >> + phys_addr_t new_base = 0, new_size; >> int idx; >> struct memblock_region *rgn; >> >> @@ -764,10 +756,15 @@ static int __init_memblock memblock_isolate_range(struct memblock_type *type, >> return 0; >> >> /* we'll create at most two more regions */ >> - while (type->cnt + 2 > type->max) >> - if (memblock_double_array(type, base, size) < 0) >> + if (type->cnt + 2 > type->max) { >> + if (memblock_double_array(type, base, size, >> + &new_base, &new_size)) >> return -ENOMEM; >> >> + if (new_base) >> + memblock_reserve(new_base, new_size); >> + } >> + >> for_each_memblock_type(idx, type, rgn) { >> phys_addr_t rbase = rgn->base; >> phys_addr_t rend = rbase + rgn->size; >> -- >> 2.25.1 >>