Commit 536932f3 authored by Carlos Maiolino's avatar Carlos Maiolino Committed by Greg Kroah-Hartman

xfs: stop searching for free slots in an inode chunk when there are none

commit 2d32311c upstream.

In a filesystem without finobt, the Space manager selects an AG to alloc a new
inode, where xfs_dialloc_ag_inobt() will search the AG for the free slot chunk.

When the new inode is in the same AG as its parent, the btree will be searched
starting on the parent's record, and then retried from the top if no slot is
available beyond the parent's record.

To exit this loop though, xfs_dialloc_ag_inobt() relies on the fact that the
btree must have a free slot available, once its callers relied on the
agi->freecount when deciding how/where to allocate this new inode.

In the case when the agi->freecount is corrupted, showing available inodes in an
AG, when in fact there is none, this becomes an infinite loop.

Add a way to stop the loop when a free slot is not found in the btree, making
the function to fall into the whole AG scan which will then, be able to detect
the corruption and shut the filesystem down.

As pointed by Brian, this might impact performance, giving the fact we
don't reset the search distance anymore when we reach the end of the
tree, giving it fewer tries before falling back to the whole AG search, but
it will only affect searches that start within 10 records to the end of the tree.
Signed-off-by: default avatarCarlos Maiolino <cmaiolino@redhat.com>
Reviewed-by: default avatarDarrick J. Wong <darrick.wong@oracle.com>
Signed-off-by: default avatarDarrick J. Wong <darrick.wong@oracle.com>
Signed-off-by: default avatarGreg Kroah-Hartman <gregkh@linuxfoundation.org>
parent 6b6505d9
...@@ -1123,6 +1123,7 @@ xfs_dialloc_ag_inobt( ...@@ -1123,6 +1123,7 @@ xfs_dialloc_ag_inobt(
int error; int error;
int offset; int offset;
int i, j; int i, j;
int searchdistance = 10;
pag = xfs_perag_get(mp, agno); pag = xfs_perag_get(mp, agno);
...@@ -1149,7 +1150,6 @@ xfs_dialloc_ag_inobt( ...@@ -1149,7 +1150,6 @@ xfs_dialloc_ag_inobt(
if (pagno == agno) { if (pagno == agno) {
int doneleft; /* done, to the left */ int doneleft; /* done, to the left */
int doneright; /* done, to the right */ int doneright; /* done, to the right */
int searchdistance = 10;
error = xfs_inobt_lookup(cur, pagino, XFS_LOOKUP_LE, &i); error = xfs_inobt_lookup(cur, pagino, XFS_LOOKUP_LE, &i);
if (error) if (error)
...@@ -1210,21 +1210,9 @@ xfs_dialloc_ag_inobt( ...@@ -1210,21 +1210,9 @@ xfs_dialloc_ag_inobt(
/* /*
* Loop until we find an inode chunk with a free inode. * Loop until we find an inode chunk with a free inode.
*/ */
while (!doneleft || !doneright) { while (--searchdistance > 0 && (!doneleft || !doneright)) {
int useleft; /* using left inode chunk this time */ int useleft; /* using left inode chunk this time */
if (!--searchdistance) {
/*
* Not in range - save last search
* location and allocate a new inode
*/
xfs_btree_del_cursor(tcur, XFS_BTREE_NOERROR);
pag->pagl_leftrec = trec.ir_startino;
pag->pagl_rightrec = rec.ir_startino;
pag->pagl_pagino = pagino;
goto newino;
}
/* figure out the closer block if both are valid. */ /* figure out the closer block if both are valid. */
if (!doneleft && !doneright) { if (!doneleft && !doneright) {
useleft = pagino - useleft = pagino -
...@@ -1268,6 +1256,17 @@ xfs_dialloc_ag_inobt( ...@@ -1268,6 +1256,17 @@ xfs_dialloc_ag_inobt(
goto error1; goto error1;
} }
if (searchdistance <= 0) {
/*
* Not in range - save last search
* location and allocate a new inode
*/
xfs_btree_del_cursor(tcur, XFS_BTREE_NOERROR);
pag->pagl_leftrec = trec.ir_startino;
pag->pagl_rightrec = rec.ir_startino;
pag->pagl_pagino = pagino;
} else {
/* /*
* We've reached the end of the btree. because * We've reached the end of the btree. because
* we are only searching a small chunk of the * we are only searching a small chunk of the
...@@ -1282,12 +1281,12 @@ xfs_dialloc_ag_inobt( ...@@ -1282,12 +1281,12 @@ xfs_dialloc_ag_inobt(
xfs_btree_del_cursor(cur, XFS_BTREE_NOERROR); xfs_btree_del_cursor(cur, XFS_BTREE_NOERROR);
goto restart_pagno; goto restart_pagno;
} }
}
/* /*
* In a different AG from the parent. * In a different AG from the parent.
* See if the most recently allocated block has any free. * See if the most recently allocated block has any free.
*/ */
newino:
if (agi->agi_newino != cpu_to_be32(NULLAGINO)) { if (agi->agi_newino != cpu_to_be32(NULLAGINO)) {
error = xfs_inobt_lookup(cur, be32_to_cpu(agi->agi_newino), error = xfs_inobt_lookup(cur, be32_to_cpu(agi->agi_newino),
XFS_LOOKUP_EQ, &i); XFS_LOOKUP_EQ, &i);
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment