From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from smtp.kernel.org (aws-us-west-2-korg-mail-1.web.codeaurora.org [10.30.226.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 40BD83C1996; Tue, 17 Mar 2026 14:47:28 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=10.30.226.201 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773758848; cv=none; b=F+0RzmIyXU2YLnHqMhOEI9eo9WxhZC1sV8OcWezIEGhAXoyWObFWlcdJ2txu/JRQLCr2TmvadYL/nSEf5hsh2936DSQdjG77N/cqgzyq0H6V3MKyeeZH/ZqIIg2FXCcaMjDrKd8flInqtPfGKj9ca3uTDJlWs/wmZ49nrIn5SDk= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773758848; c=relaxed/simple; bh=2ceXF7k1cz+eNiwIK9YtDL8+tk9HAHG9agGbAGaVGg0=; h=From:To:Cc:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=aUZtXE/jHKBuD5HLj4qwTXlPBPZxpyEOD9jmt9Qo8M6Zp4mT3H9BkX4MO5cxvSNJAwkLHSVdNsSXT1J4wzDs/ceLVIK8Uce0Wm2JwFJd7U376QM+NBpa7SrvaTwoZt8Vws58B3iSfOPgTQZ/QgBgUyC0eQhmVQShqRXd89g6xt0= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b=ZDq37969; arc=none smtp.client-ip=10.30.226.201 Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b="ZDq37969" Received: by smtp.kernel.org (Postfix) with ESMTPSA id 107F4C4CEF7; Tue, 17 Mar 2026 14:47:28 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1773758848; bh=2ceXF7k1cz+eNiwIK9YtDL8+tk9HAHG9agGbAGaVGg0=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=ZDq37969ypAziqaAbBH+62/kfGuMDApezgt/9hRQLBa7ZwNhS+YeD7L8SItHdwu3U EOEQF5ufrv51nIsUGFg6wFRphmBw4pmh+OWiShTo6Schi7yiimtok2F18vh+Tgn2fA HeO4MEUcyVCUd7Ly/F3hhW5l2lwh5Pud2QOJtoQVbkQRxkKt4BFVd34vBj6vtNz/6C sPgRBanJkw61FfXGycTXjtOwN7DteVEr3edS4adxl4xCgq6xnffQv9aBQ0D8HydX+Z z7ToxdHjl/7GD+R+07URdiT9xIUxISPBGxTdWPfNbR85DUnM+YyTAidiZQN7gkWFNC 4t7r2t5XVjIvw== From: SeongJae Park To: SeongJae Park Cc: Andrew Morton , damon@lists.linux.dev, linux-kernel@vger.kernel.org, linux-mm@kvack.org Subject: Re: [PATCH 2/5] mm/damon/core: support addr_unit on damon_find_biggest_system_ram() Date: Tue, 17 Mar 2026 07:47:24 -0700 Message-ID: <20260317144725.88524-1-sj@kernel.org> X-Mailer: git-send-email 2.47.3 In-Reply-To: <20260311052927.93921-3-sj@kernel.org> References: Precedence: bulk X-Mailing-List: damon@lists.linux.dev List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit On Tue, 10 Mar 2026 22:29:23 -0700 SeongJae Park wrote: > damon_find_biggest_system_ram() sets an 'unsigned long' variable with > 'resource_size_t' value. This is fundamentally wrong. On environments > such as ARM 32 bit machines having LPAE (Large Physical Address > Extensions), which DAMON supports, the size of 'unsigned long' may be > smaller than that of 'resource_size_t'. It is safe, though, since we > restrict the walk to be done only up to ULONG_MAX. > > DAMON supports the address size gap using 'addr_unit'. We didn't add > the support to the function, just to make the initial support change > small. Now the support is reasonably settled. This kind of gap is only > making the code inconsistent and easy to be confused. Add the support > of 'addr_unit' to the function, by letting callers pass the 'addr_unit' > and handling it in the function. All callers are passing 'addr_unit' 1, > though, to keep the old behavior. > > Signed-off-by: SeongJae Park > --- > mm/damon/core.c | 33 +++++++++++++++++++++++---------- > 1 file changed, 23 insertions(+), 10 deletions(-) > > diff --git a/mm/damon/core.c b/mm/damon/core.c > index 3925720a172a6..aee61bf991baa 100644 > --- a/mm/damon/core.c > +++ b/mm/damon/core.c > @@ -3056,31 +3056,44 @@ static int kdamond_fn(void *data) > > static int walk_system_ram(struct resource *res, void *arg) > { > - struct damon_addr_range *a = arg; > + struct resource *a = arg; > > - if (a->end - a->start < resource_size(res)) { > + if (resource_size(a) < resource_size(res)) { > a->start = res->start; > - a->end = res->end + 1; > + a->end = res->end; > } > return 0; > } > > +static unsigned long damon_res_to_core_addr(resource_size_t ra, > + unsigned long addr_unit) > +{ > + /* > + * Use div_u64() for avoiding linking errors related with __udivdi3, > + * __aeabi_uldivmod, or similar problems. This should also improve the > + * performance optimization (read div_u64() comment for the detail). > + */ > + if (sizeof(ra) == 8 && sizeof(addr_unit) == 4) > + return div_u64(ra, addr_unit); > + return ra / addr_unit; > +} > + > /* > * Find biggest 'System RAM' resource and store its start and end address in > * @start and @end, respectively. If no System RAM is found, returns false. > */ > static bool damon_find_biggest_system_ram(unsigned long *start, > - unsigned long *end) > + unsigned long *end, unsigned long addr_unit) > > { > - struct damon_addr_range arg = {}; > + struct resource res = {}; > > - walk_system_ram_res(0, ULONG_MAX, &arg, walk_system_ram); > - if (arg.end <= arg.start) > + walk_system_ram_res(0, -1, &res, walk_system_ram); > + if (res.end < res.start) > return false; > > - *start = arg.start; > - *end = arg.end; > + *start = damon_res_to_core_addr(res.start, addr_unit); > + *end = damon_res_to_core_addr(res.end + 1, addr_unit); > return true; On 32 bit systems having PAE (>4 GiB physical memory address space), above start and end address could be overflowed, resulting in making an invalid address range (end <= start). The range validity should be tested here, like below attaching fixup patch. Andrew, could you please add the fixup patch? Thanks, SJ [...] === >8 === >From d5654a6cce8a21ae100625ed54c0885556f89645 Mon Sep 17 00:00:00 2001 From: SeongJae Park Date: Mon, 16 Mar 2026 23:32:48 -0700 Subject: [PATCH] mm/damon/core: verify found biggest system ram On 32 bit systems having PAE (>4 GiB physical memory address sapce), the final start and end address could overflow, resulting in returning an invalid address range. Verify the returning region. Also remove the resource validation after walk_system_ram_res(), since the validation means not a lot. Signed-off-by: SeongJae Park --- mm/damon/core.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/mm/damon/core.c b/mm/damon/core.c index f9854aedc42d1..339325e1096bc 100644 --- a/mm/damon/core.c +++ b/mm/damon/core.c @@ -3089,11 +3089,10 @@ static bool damon_find_biggest_system_ram(unsigned long *start, struct resource res = {}; walk_system_ram_res(0, -1, &res, walk_system_ram); - if (res.end < res.start) - return false; - *start = damon_res_to_core_addr(res.start, addr_unit); *end = damon_res_to_core_addr(res.end + 1, addr_unit); + if (*end <= *start) + return false; return true; } -- 2.47.3