Skip to content

Commit ec62d04

Browse files
davidhildenbrandtorvalds
authored andcommitted
kernel/resource: make release_mem_region_adjustable() never fail
Patch series "selective merging of system ram resources", v4. Some add_memory*() users add memory in small, contiguous memory blocks. Examples include virtio-mem, hyper-v balloon, and the XEN balloon. This can quickly result in a lot of memory resources, whereby the actual resource boundaries are not of interest (e.g., it might be relevant for DIMMs, exposed via /proc/iomem to user space). We really want to merge added resources in this scenario where possible. Resources are effectively stored in a list-based tree. Having a lot of resources not only wastes memory, it also makes traversing that tree more expensive, and makes /proc/iomem explode in size (e.g., requiring kexec-tools to manually merge resources when creating a kdump header. The current kexec-tools resource count limit does not allow for more than ~100GB of memory with a memory block size of 128MB on x86-64). Let's allow to selectively merge system ram resources by specifying a new flag for add_memory*(). Patch #5 contains a /proc/iomem example. Only tested with virtio-mem. This patch (of 8): Let's make sure splitting a resource on memory hotunplug will never fail. This will become more relevant once we merge selected System RAM resources - then, we'll trigger that case more often on memory hotunplug. In general, this function is already unlikely to fail. When we remove memory, we free up quite a lot of metadata (memmap, page tables, memory block device, etc.). The only reason it could really fail would be when injecting allocation errors. All other error cases inside release_mem_region_adjustable() seem to be sanity checks if the function would be abused in different context - let's add WARN_ON_ONCE() in these cases so we can catch them. [[email protected]: fix use of ternary condition in release_mem_region_adjustable] Link: https://lkml.kernel.org/r/[email protected] Link: ClangBuiltLinux/linux#1159 Signed-off-by: David Hildenbrand <[email protected]> Signed-off-by: Nathan Chancellor <[email protected]> Signed-off-by: Andrew Morton <[email protected]> Cc: Michal Hocko <[email protected]> Cc: Dan Williams <[email protected]> Cc: Jason Gunthorpe <[email protected]> Cc: Kees Cook <[email protected]> Cc: Ard Biesheuvel <[email protected]> Cc: Pankaj Gupta <[email protected]> Cc: Baoquan He <[email protected]> Cc: Wei Yang <[email protected]> Cc: Anton Blanchard <[email protected]> Cc: Benjamin Herrenschmidt <[email protected]> Cc: Boris Ostrovsky <[email protected]> Cc: Christian Borntraeger <[email protected]> Cc: Dave Jiang <[email protected]> Cc: Eric Biederman <[email protected]> Cc: Greg Kroah-Hartman <[email protected]> Cc: Haiyang Zhang <[email protected]> Cc: Heiko Carstens <[email protected]> Cc: Jason Wang <[email protected]> Cc: Juergen Gross <[email protected]> Cc: Julien Grall <[email protected]> Cc: "K. Y. Srinivasan" <[email protected]> Cc: Len Brown <[email protected]> Cc: Leonardo Bras <[email protected]> Cc: Libor Pechacek <[email protected]> Cc: Michael Ellerman <[email protected]> Cc: "Michael S. Tsirkin" <[email protected]> Cc: Nathan Lynch <[email protected]> Cc: "Oliver O'Halloran" <[email protected]> Cc: Paul Mackerras <[email protected]> Cc: Pingfan Liu <[email protected]> Cc: "Rafael J. Wysocki" <[email protected]> Cc: Roger Pau Monn <[email protected]> Cc: Stefano Stabellini <[email protected]> Cc: Stephen Hemminger <[email protected]> Cc: Thomas Gleixner <[email protected]> Cc: Vasily Gorbik <[email protected]> Cc: Vishal Verma <[email protected]> Cc: Wei Liu <[email protected]> Link: https://lkml.kernel.org/r/[email protected] Signed-off-by: Linus Torvalds <[email protected]>
1 parent b30c592 commit ec62d04

File tree

3 files changed

+31
-44
lines changed

3 files changed

+31
-44
lines changed

include/linux/ioport.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -248,8 +248,8 @@ extern struct resource * __request_region(struct resource *,
248248
extern void __release_region(struct resource *, resource_size_t,
249249
resource_size_t);
250250
#ifdef CONFIG_MEMORY_HOTREMOVE
251-
extern int release_mem_region_adjustable(struct resource *, resource_size_t,
252-
resource_size_t);
251+
extern void release_mem_region_adjustable(struct resource *, resource_size_t,
252+
resource_size_t);
253253
#endif
254254

255255
/* Wrappers for managed devices */

kernel/resource.c

Lines changed: 28 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1258,21 +1258,28 @@ EXPORT_SYMBOL(__release_region);
12581258
* assumes that all children remain in the lower address entry for
12591259
* simplicity. Enhance this logic when necessary.
12601260
*/
1261-
int release_mem_region_adjustable(struct resource *parent,
1262-
resource_size_t start, resource_size_t size)
1261+
void release_mem_region_adjustable(struct resource *parent,
1262+
resource_size_t start, resource_size_t size)
12631263
{
1264+
struct resource *new_res = NULL;
1265+
bool alloc_nofail = false;
12641266
struct resource **p;
12651267
struct resource *res;
1266-
struct resource *new_res;
12671268
resource_size_t end;
1268-
int ret = -EINVAL;
12691269

12701270
end = start + size - 1;
1271-
if ((start < parent->start) || (end > parent->end))
1272-
return ret;
1271+
if (WARN_ON_ONCE((start < parent->start) || (end > parent->end)))
1272+
return;
12731273

1274-
/* The alloc_resource() result gets checked later */
1275-
new_res = alloc_resource(GFP_KERNEL);
1274+
/*
1275+
* We free up quite a lot of memory on memory hotunplug (esp., memap),
1276+
* just before releasing the region. This is highly unlikely to
1277+
* fail - let's play save and make it never fail as the caller cannot
1278+
* perform any error handling (e.g., trying to re-add memory will fail
1279+
* similarly).
1280+
*/
1281+
retry:
1282+
new_res = alloc_resource(GFP_KERNEL | (alloc_nofail ? __GFP_NOFAIL : 0));
12761283

12771284
p = &parent->child;
12781285
write_lock(&resource_lock);
@@ -1298,7 +1305,6 @@ int release_mem_region_adjustable(struct resource *parent,
12981305
* so if we are dealing with them, let us just back off here.
12991306
*/
13001307
if (!(res->flags & IORESOURCE_SYSRAM)) {
1301-
ret = 0;
13021308
break;
13031309
}
13041310

@@ -1315,20 +1321,23 @@ int release_mem_region_adjustable(struct resource *parent,
13151321
/* free the whole entry */
13161322
*p = res->sibling;
13171323
free_resource(res);
1318-
ret = 0;
13191324
} else if (res->start == start && res->end != end) {
13201325
/* adjust the start */
1321-
ret = __adjust_resource(res, end + 1,
1322-
res->end - end);
1326+
WARN_ON_ONCE(__adjust_resource(res, end + 1,
1327+
res->end - end));
13231328
} else if (res->start != start && res->end == end) {
13241329
/* adjust the end */
1325-
ret = __adjust_resource(res, res->start,
1326-
start - res->start);
1330+
WARN_ON_ONCE(__adjust_resource(res, res->start,
1331+
start - res->start));
13271332
} else {
1328-
/* split into two entries */
1333+
/* split into two entries - we need a new resource */
13291334
if (!new_res) {
1330-
ret = -ENOMEM;
1331-
break;
1335+
new_res = alloc_resource(GFP_ATOMIC);
1336+
if (!new_res) {
1337+
alloc_nofail = true;
1338+
write_unlock(&resource_lock);
1339+
goto retry;
1340+
}
13321341
}
13331342
new_res->name = res->name;
13341343
new_res->start = end + 1;
@@ -1339,9 +1348,8 @@ int release_mem_region_adjustable(struct resource *parent,
13391348
new_res->sibling = res->sibling;
13401349
new_res->child = NULL;
13411350

1342-
ret = __adjust_resource(res, res->start,
1343-
start - res->start);
1344-
if (ret)
1351+
if (WARN_ON_ONCE(__adjust_resource(res, res->start,
1352+
start - res->start)))
13451353
break;
13461354
res->sibling = new_res;
13471355
new_res = NULL;
@@ -1352,7 +1360,6 @@ int release_mem_region_adjustable(struct resource *parent,
13521360

13531361
write_unlock(&resource_lock);
13541362
free_resource(new_res);
1355-
return ret;
13561363
}
13571364
#endif /* CONFIG_MEMORY_HOTREMOVE */
13581365

mm/memory_hotplug.c

Lines changed: 1 addition & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1727,26 +1727,6 @@ void try_offline_node(int nid)
17271727
}
17281728
EXPORT_SYMBOL(try_offline_node);
17291729

1730-
static void __release_memory_resource(resource_size_t start,
1731-
resource_size_t size)
1732-
{
1733-
int ret;
1734-
1735-
/*
1736-
* When removing memory in the same granularity as it was added,
1737-
* this function never fails. It might only fail if resources
1738-
* have to be adjusted or split. We'll ignore the error, as
1739-
* removing of memory cannot fail.
1740-
*/
1741-
ret = release_mem_region_adjustable(&iomem_resource, start, size);
1742-
if (ret) {
1743-
resource_size_t endres = start + size - 1;
1744-
1745-
pr_warn("Unable to release resource <%pa-%pa> (%d)\n",
1746-
&start, &endres, ret);
1747-
}
1748-
}
1749-
17501730
static int __ref try_remove_memory(int nid, u64 start, u64 size)
17511731
{
17521732
int rc = 0;
@@ -1780,7 +1760,7 @@ static int __ref try_remove_memory(int nid, u64 start, u64 size)
17801760
memblock_remove(start, size);
17811761
}
17821762

1783-
__release_memory_resource(start, size);
1763+
release_mem_region_adjustable(&iomem_resource, start, size);
17841764

17851765
try_offline_node(nid);
17861766

0 commit comments

Comments
 (0)