Skip to contentSkip to conversation

Btrfs: fix send file hole detection leading to data corruption

PATCH New Filipe David Borba Manana 1 participant 1 message Jan 28, 2014 Btrfs file system

lore
Share & tools
lore
#0 lore raw

PATCH 1/1 Btrfs: fix send file hole detection leading to data corruption

There was a case where file hole detection was incorrect and it would cause an incremental send to override a section of a file with zeroes.

This happened in the case where between the last leaf we processed which contained a file extent item for our current inode and the leaf we're currently are at (and has a file extent item for our current inode) there are only leafs containing exclusively file extent items for our current inode, and none of them was updated since the previous send operation. The file hole detection code would incorrectly consider the file range covered by these leafs as a hole.

A test case for xfstests follows soon.

---
 fs/btrfs/send.c |   15 +++++++++++++++
 1 file changed, 15 insertions(+)
fs/btrfs/send.c +15 -0
index 306f9a9..16a0c84 100644
@@ -4485,6 +4485,21 @@ static int maybe_send_hole(struct send_ctx *sctx, struct btrfs_path *path,
 		extent_end = key->offset +
 			btrfs_file_extent_num_bytes(path->nodes[0], fi);
 	}
+
+	if (path->slots[0] == 0 &&
+	    sctx->cur_inode_last_extent < key->offset) {
+		/*
+		 * We might have skipped entire leafs that contained only
+		 * file extent items for our current inode. These leafs have
+		 * a generation number smaller (older) than the one in the
+		 * current leaf and the leaf our last extent came from, and
+		 * are located between these 2 leafs.
+		 */
+		ret = get_last_extent(sctx, key->offset - 1);
+		if (ret)
+			return ret;
+	}
+
 	if (sctx->cur_inode_last_extent < key->offset)
 		ret = send_hole(sctx, key->offset);
 	sctx->cur_inode_last_extent = extent_end;
Signature · 1 line
1.7.9.5