Skip to contentSkip to conversation

xfs: xfs_seek_hole() refinements with lookup hole offset from page cache.

PATCH Superseded Jeff Liu 3 participants 5 messages Jul 26, 2012 – Jul 31, 2012 XFS filesystem

v5 of 8 Superseded Latest is v8 →

lore
Share & tools
lore

Jeff Liu

author
#0 lore raw

PATCH v5 4/4 xfs: xfs_seek_hole() refinements with lookup hole offset from page cache.

Search possbile hole offset for given range from page cache for unwritten and delayed-allocation extents.

---
 fs/xfs/xfs_file.c |   90 +++++++++++++++++++++++++++++++++++++++++++++++------
 1 files changed, 80 insertions(+), 10 deletions(-)
fs/xfs/xfs_file.c +80 -10
index 15acd4d..1b83549 100644
@@ -1296,9 +1296,9 @@ xfs_seek_hole(
 	struct xfs_inode	*ip = XFS_I(inode);
 	struct xfs_mount	*mp = ip->i_mount;
 	loff_t			uninitialized_var(offset);
-	loff_t			holeoff;
 	xfs_fsize_t		isize;
 	xfs_fileoff_t		fsbno;
+	xfs_filblks_t		end;
 	uint			lock;
 	int			error;
 
@@ -1314,20 +1314,90 @@ xfs_seek_hole(
 	}
 
 	fsbno = XFS_B_TO_FSBT(mp, start);
-	error = xfs_bmap_first_unused(NULL, ip, 1, &fsbno, XFS_DATA_FORK);
-	if (error)
-		goto out_unlock;
+	end = XFS_B_TO_FSB(mp, isize);
+
+	for (;;) {
+		struct xfs_bmbt_irec	map[2];
+		int			nmap = 2;
+
+		error = xfs_bmapi_read(ip, fsbno, end - fsbno, map, &nmap,
+				       XFS_BMAPI_ENTIRE);
+		if (error)
+			goto out_unlock;
+
+		/* No extents at given offset, must be beyond EOF */
+		if (nmap == 0) {
+			error = ENXIO;
+			goto out_unlock;
+		}
 
-	holeoff = XFS_FSB_TO_B(mp, fsbno);
-	if (holeoff <= start)
 		offset = start;
-	else {
+		/* Landed in a hole, return */
+		if (map[0].br_startblock == HOLESTARTBLOCK)
+			break;
+		else {
+			/*
+			 * Landed in an unwritten extent, try to lookup page
+			 * cache to find holes.
+			 */
+			if (map[0].br_state == XFS_EXT_UNWRITTEN ||
+			    isnullstartblock(map[0].br_startblock)) {
+				/* Probing page cache start from offset */
+				if (xfs_find_get_desired_pgoff(inode, &map[0],
+							HOLE_OFF, &offset))
+					break;
+			}
+
+			/*
+			 * map[0] is unwritten and there is no hole past
+			 * offset, probably means that we are reading after
+			 * EOF.  Hence, we should fix offset to point to the
+			 * end of the file(i.e., there is an implicit hole at
+			 * the end of any file).
+			 */
+			if (nmap == 1) {
+				offset = isize;
+				break;
+			}
+
+			/* We have two mappings, proceed to check map[1] */
+			offset = XFS_FSB_TO_B(mp, map[1].br_startoff);
+			if (map[1].br_startblock == HOLESTARTBLOCK)
+				break;
+			else {
+				/*
+				 * map[1] is also an unwritten extent, try
+				 * to lookup hole from the page cache again.
+				 */
+				if (map[1].br_state == XFS_EXT_UNWRITTEN ||
+				    isnullstartblock(map[1].br_startblock)) {
+					if (xfs_find_get_desired_pgoff(inode,
+						&map[1], HOLE_OFF, &offset))
+						break;
+				}
+			}
+		}
+
 		/*
-		 * xfs_bmap_first_unused() could return a value bigger than
-		 * isize if there are no more holes past the supplied offset.
+		 * Both mappings contains data, proceed to the next round of
+		 * search if the current reading offset not beyond or hit EOF.
 		 */
-		offset = min_t(loff_t, holeoff, isize);
+		fsbno = map[1].br_startoff + map[1].br_blockcount;
+		start = XFS_FSB_TO_B(mp, fsbno);
+		if (start >= isize) {
+			offset = isize;
+			break;
+		}
 	}
+
+	/*
+	 * Come to here, we must have found a hole.  However, the returned
+	 * offset might be greater than the file size as it might be fixed
+	 * to block buffer unit boundary at page cache lookup procedure for
+	 * unwritten and delayed-allocation extents, we need to deal with
+	 * this situation in particular.
+	 */
+	offset = min_t(loff_t, offset, isize);
 
 	if (offset != file->f_pos)
 		file->f_pos = offset;
Signature · 6 lines
1.7.4.1

_______________________________________________
xfs mailing list
[email protected]
http://oss.sgi.com/mailman/listinfo/xfs
author
#1 lore raw

PATCH v5 4/4 xfs: xfs_seek_hole() refinements with lookup hole offset from page cache.

Search possbile hole offset for given range from page cache for unwritten and delayed-allocation extents.

---
 fs/xfs/xfs_file.c |   90 +++++++++++++++++++++++++++++++++++++++++++++++------
 1 files changed, 80 insertions(+), 10 deletions(-)
fs/xfs/xfs_file.c +80 -10
index b1158b3..9ff732b 100644
@@ -1301,9 +1301,9 @@ xfs_seek_hole(
 	struct xfs_inode	*ip = XFS_I(inode);
 	struct xfs_mount	*mp = ip->i_mount;
 	loff_t			uninitialized_var(offset);
-	loff_t			holeoff;
 	xfs_fsize_t		isize;
 	xfs_fileoff_t		fsbno;
+	xfs_filblks_t		end;
 	uint			lock;
 	int			error;
 
@@ -1319,21 +1319,91 @@ xfs_seek_hole(
 	}
 
 	fsbno = XFS_B_TO_FSBT(mp, start);
-	error = xfs_bmap_first_unused(NULL, ip, 1, &fsbno, XFS_DATA_FORK);
-	if (error)
-		goto out_unlock;
+	end = XFS_B_TO_FSB(mp, isize);
+
+	for (;;) {
+		struct xfs_bmbt_irec	map[2];
+		int			nmap = 2;
+
+		error = xfs_bmapi_read(ip, fsbno, end - fsbno, map, &nmap,
+				       XFS_BMAPI_ENTIRE);
+		if (error)
+			goto out_unlock;
+
+		/* No extents at given offset, must be beyond EOF */
+		if (nmap == 0) {
+			error = ENXIO;
+			goto out_unlock;
+		}
 
-	holeoff = XFS_FSB_TO_B(mp, fsbno);
-	if (holeoff <= start)
 		offset = start;
-	else {
+		/* Landed in a hole, return */
+		if (map[0].br_startblock == HOLESTARTBLOCK)
+			break;
+		else {
+			/*
+			 * Landed in an unwritten extent, try to lookup page
+			 * cache to find holes.
+			 */
+			if (map[0].br_state == XFS_EXT_UNWRITTEN ||
+			    isnullstartblock(map[0].br_startblock)) {
+				/* Probing page cache start from offset */
+				if (xfs_find_get_desired_pgoff(inode, &map[0],
+							HOLE_OFF, &offset))
+					break;
+			}
+
+			/*
+			 * map[0] is unwritten and there is no hole past
+			 * offset, probably means that we are reading after
+			 * EOF.  Hence, we should fix offset to point to the
+			 * end of the file(i.e., there is an implicit hole at
+			 * the end of any file).
+			 */
+			if (nmap == 1) {
+				offset = isize;
+				break;
+			}
+
+			/* We have two mappings, proceed to check map[1] */
+			offset = XFS_FSB_TO_B(mp, map[1].br_startoff);
+			if (map[1].br_startblock == HOLESTARTBLOCK)
+				break;
+			else {
+				/*
+				 * map[1] is also an unwritten extent, try
+				 * to lookup hole from the page cache again.
+				 */
+				if (map[1].br_state == XFS_EXT_UNWRITTEN ||
+				    isnullstartblock(map[1].br_startblock)) {
+					if (xfs_find_get_desired_pgoff(inode,
+						&map[1], HOLE_OFF, &offset))
+						break;
+				}
+			}
+		}
+
 		/*
-		 * xfs_bmap_first_unused() could return a value bigger than
-		 * isize if there are no more holes past the supplied offset.
+		 * Both mappings contains data, proceed to the next round of
+		 * search if the current reading offset not beyond or hit EOF.
 		 */
-		offset = min_t(loff_t, holeoff, isize);
+		fsbno = map[1].br_startoff + map[1].br_blockcount;
+		start = XFS_FSB_TO_B(mp, fsbno);
+		if (start >= isize) {
+			offset = isize;
+			break;
+		}
 	}
 
+	/*
+	 * Come to here, we must have found a hole.  However, the returned
+	 * offset might be greater than the file size as it might be fixed
+	 * to block buffer unit boundary at page cache lookup procedure for
+	 * unwritten and delayed-allocation extents, we need to deal with
+	 * this situation in particular.
+	 */
+	offset = min_t(loff_t, offset, isize);
+
 	if (offset != file->f_pos)
 		file->f_pos = offset;
 
Signature · 6 lines
1.7.4.1

_______________________________________________
xfs mailing list
[email protected]
http://oss.sgi.com/mailman/listinfo/xfs
#3 lore raw
In reply to Jeff Liu
Quoted 52 lines · Jeff Liu

Search possbile hole offset for given range from page cache for unwritten and delayed-allocation extents.

---
 fs/xfs/xfs_file.c |   90 +++++++++++++++++++++++++++++++++++++++++++++++------
 1 files changed, 80 insertions(+), 10 deletions(-)
fs/xfs/xfs_file.c +17 -6
index 15acd4d..1b83549 100644
@@ -1296,9 +1296,9 @@ xfs_seek_hole(
 	struct xfs_inode	*ip = XFS_I(inode);
 	struct xfs_mount	*mp = ip->i_mount;
 	loff_t			uninitialized_var(offset);
-	loff_t			holeoff;
 	xfs_fsize_t		isize;
 	xfs_fileoff_t		fsbno;
+	xfs_filblks_t		end;
 	uint			lock;
 	int			error;
 
@@ -1314,20 +1314,90 @@ xfs_seek_hole(
 	}
 
 	fsbno = XFS_B_TO_FSBT(mp, start);
-	error = xfs_bmap_first_unused(NULL, ip, 1, &fsbno, XFS_DATA_FORK);
-	if (error)
-		goto out_unlock;
+	end = XFS_B_TO_FSB(mp, isize);
+
+	for (;;) {
+		struct xfs_bmbt_irec	map[2];
+		int			nmap = 2;
+
+		error = xfs_bmapi_read(ip, fsbno, end - fsbno, map, &nmap,
+				       XFS_BMAPI_ENTIRE);
+		if (error)
+			goto out_unlock;
+
+		/* No extents at given offset, must be beyond EOF */
+		if (nmap == 0) {
+			error = ENXIO;
+			goto out_unlock;
+		}
 
-	holeoff = XFS_FSB_TO_B(mp, fsbno);
-	if (holeoff <= start)

fs/xfs/xfs_file.c xfs_seek_hole( · line 1342

Quoted 10 lines
fs/xfs/xfs_file.c +8 -1
 		offset = start;
-	else {
+		/* Landed in a hole, return */
+		if (map[0].br_startblock == HOLESTARTBLOCK)
+			break;
+		else {
+			/*
+			 * Landed in an unwritten extent, try to lookup page
+			 * cache to find holes.
+			 */

Laned in a data extent is more correct here.

fs/xfs/xfs_file.c xfs_seek_hole( · line 1349

Quoted 7 lines
fs/xfs/xfs_file.c +7 -0
+			if (map[0].br_state == XFS_EXT_UNWRITTEN ||
+			    isnullstartblock(map[0].br_startblock)) {
+				/* Probing page cache start from offset */
+				if (xfs_find_get_desired_pgoff(inode, &map[0],
+							HOLE_OFF, &offset))
+					break;
+			}

Same logic changes as previous patch:

		if (map[0].br_startblock == HOLESTARTBLOCK)
			break;
		else if (map[0].br_state == XFS_EXT_UNWRITTEN) {
			ASSERT(!isnullstartblock(map[0].br_startblock));

			/* Probing page cache start from offset */
			if (xfs_find_get_desired_pgoff(inode, &map[0],
						HOLE_OFF, &offset))
				break;
		} else {
			.....

fs/xfs/xfs_file.c xfs_seek_hole( · line 1390

Quoted 13 lines
fs/xfs/xfs_file.c +8 -3
 		/*
-		 * xfs_bmap_first_unused() could return a value bigger than
-		 * isize if there are no more holes past the supplied offset.
+		 * Both mappings contains data, proceed to the next round of
+		 * search if the current reading offset not beyond or hit EOF.
 		 */
-		offset = min_t(loff_t, holeoff, isize);
+		fsbno = map[1].br_startoff + map[1].br_blockcount;
+		start = XFS_FSB_TO_B(mp, fsbno);
+		if (start >= isize) {
+			offset = isize;
+			break;
+		}

And that check can move to the start of the loop, too.

Cheers,

Dave.

Signature · 7 lines
Dave Chinner
[email protected]

_______________________________________________
xfs mailing list
[email protected]
http://oss.sgi.com/mailman/listinfo/xfs
author
#4 lore raw
Quoted 86 lines · Dave Chinner
Quoted 52 lines · Jeff Liu

Search possbile hole offset for given range from page cache for unwritten and delayed-allocation extents.

---
  fs/xfs/xfs_file.c |   90 +++++++++++++++++++++++++++++++++++++++++++++++------
  1 files changed, 80 insertions(+), 10 deletions(-)
fs/xfs/xfs_file.c +17 -6
index 15acd4d..1b83549 100644
@@ -1296,9 +1296,9 @@ xfs_seek_hole(
  	struct xfs_inode	*ip = XFS_I(inode);
  	struct xfs_mount	*mp = ip->i_mount;
  	loff_t			uninitialized_var(offset);
-	loff_t			holeoff;
  	xfs_fsize_t		isize;
  	xfs_fileoff_t		fsbno;
+	xfs_filblks_t		end;
  	uint			lock;
  	int			error;
 
@@ -1314,20 +1314,90 @@ xfs_seek_hole(
  	}
 
  	fsbno = XFS_B_TO_FSBT(mp, start);
-	error = xfs_bmap_first_unused(NULL, ip, 1, &fsbno, XFS_DATA_FORK);
-	if (error)
-		goto out_unlock;
+	end = XFS_B_TO_FSB(mp, isize);
+
+	for (;;) {
+		struct xfs_bmbt_irec	map[2];
+		int			nmap = 2;
+
+		error = xfs_bmapi_read(ip, fsbno, end - fsbno, map, &nmap,
+				       XFS_BMAPI_ENTIRE);
+		if (error)
+			goto out_unlock;
+
+		/* No extents at given offset, must be beyond EOF */
+		if (nmap == 0) {
+			error = ENXIO;
+			goto out_unlock;
+		}
 
-	holeoff = XFS_FSB_TO_B(mp, fsbno);
-	if (holeoff <= start)

fs/xfs/xfs_file.c xfs_seek_hole( · line 1342

Quoted 10 lines
fs/xfs/xfs_file.c +8 -1
  		offset = start;
-	else {
+		/* Landed in a hole, return */
+		if (map[0].br_startblock == HOLESTARTBLOCK)
+			break;
+		else {
+			/*
+			 * Landed in an unwritten extent, try to lookup page
+			 * cache to find holes.
+			 */

Laned in a data extent is more correct here.

fs/xfs/xfs_file.c xfs_seek_hole( · line 1349

Quoted 7 lines
fs/xfs/xfs_file.c +7 -0
+			if (map[0].br_state == XFS_EXT_UNWRITTEN ||
+			    isnullstartblock(map[0].br_startblock)) {
+				/* Probing page cache start from offset */
+				if (xfs_find_get_desired_pgoff(inode, &map[0],
+							HOLE_OFF, &offset))
+					break;
+			}

Same logic changes as previous patch:

		if (map[0].br_startblock == HOLESTARTBLOCK)
			break;
		else if (map[0].br_state == XFS_EXT_UNWRITTEN) {
			ASSERT(!isnullstartblock(map[0].br_startblock));

			/* Probing page cache start from offset */
			if (xfs_find_get_desired_pgoff(inode, &map[0],
						HOLE_OFF, &offset))
				break;
		} else {
			.....
Quoted 14 lines

fs/xfs/xfs_file.c xfs_seek_hole( · line 1390

Quoted 13 lines
fs/xfs/xfs_file.c +8 -3
  		/*
-		 * xfs_bmap_first_unused() could return a value bigger than
-		 * isize if there are no more holes past the supplied offset.
+		 * Both mappings contains data, proceed to the next round of
+		 * search if the current reading offset not beyond or hit EOF.
  		 */
-		offset = min_t(loff_t, holeoff, isize);
+		fsbno = map[1].br_startoff + map[1].br_blockcount;
+		start = XFS_FSB_TO_B(mp, fsbno);
+		if (start >= isize) {
+			offset = isize;
+			break;
+		}

And that check can move to the start of the loop, too.

Thanks for a comprehensive review, I'll fix them according to your comments.

Thanks,
-Jeff
//

Quoted 4 lines

Cheers,

Dave.

_______________________________________________
xfs mailing list
[email protected]
http://oss.sgi.com/mailman/listinfo/xfs