Skip to contentSkip to conversation

xfs: return errors from partial I/O failures to files

PATCH Superseded David Jeffery 3 participants 5 messages Aug 26, 2015 – Aug 28, 2015 XFS filesystem

v1 of 2 Superseded Latest is v2 →

lore
Share & tools
lore
#0 lore raw

PATCH 1/1 xfs: return errors from partial I/O failures to files

There is an issue with xfs's error reporting in some cases of I/O partially failing and partially succeeding. Calls like fsync() can report success even though not all I/O was successful.

The issue can occur when there are multiple bio per xfs_ioend struct. Each call to xfs_end_bio() for a bio completing will write a value to ioend->io_error. If a successful bio completes after any failed bio, no error is reported do to it writing 0 over the error code set by any failed bio. The I/O error information is now lost and when the ioend is completed only success is reported back up the filesystem stack.

xfs_end_bio() should only set ioend->io_error in the case of BIO_UPTODATE being clear. ioend->io_error is initialized to 0 at allocation so only needs to be updated by any failed bio structs. This ensures an error can be reported to the application.

---

fs/xfs/xfs_aops.c +2 -1
index 3859f5e..b82b128 100644
@@ -356,7 +356,8 @@ xfs_end_bio(
 {
 	xfs_ioend_t		*ioend = bio->bi_private;
 
-	ioend->io_error = test_bit(BIO_UPTODATE, &bio->bi_flags) ? 0 : error;
+	if (!test_bit(BIO_UPTODATE, &bio->bi_flags))
+		ioend->io_error = error;
 
 	/* Toss bio and pass work off to an xfsdatad thread */
 	bio->bi_private = NULL;

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

#1 lore raw
Quoted 3 lines · David Jeffery

There is an issue with xfs's error reporting in some cases of I/O partially failing and partially succeeding. Calls like fsync() can report success even though not all I/O was successful.

Hi David,

I read your bug report last night and after considering all the work you put into it, I was going to ask if you wanted to finish off the job by writing the patch to fix it. But you beat me to it.

Nice work! :)

Quoted 6 lines

The issue can occur when there are multiple bio per xfs_ioend struct. Each call to xfs_end_bio() for a bio completing will write a value to ioend->io_error. If a successful bio completes after any failed bio, no error is reported do to it writing 0 over the error code set by any failed bio. The I/O error information is now lost and when the ioend is completed only success is reported back up the filesystem stack.

It's worth mentioning the case that this was seen in - a single failed disk in a raid 0 stripe, and the error from the bio to the failed disk was overwritten by the successes from the bios to the other disks.

FWIW, I think that we also need to create an xfstest for this case, too, because it's clear that this is a big hole in our test coverage (i.e. partial block device failure). It might be best to talk to Eryu (cc'd) to get your reproducer converted into a xfstest case that we can then test all filesystems against?

Quoted 7 lines

xfs_end_bio() should only set ioend->io_error in the case of BIO_UPTODATE being clear. ioend->io_error is initialized to 0 at allocation so only needs to be updated by any failed bio structs. This ensures an error can be reported to the application.

---

Best to add a "cc: <[email protected]>" so that it gets pushed back to all the stable kernels automatically which it hits Linus' tree.

One minor change to the fix:

fs/xfs/xfs_aops.c xfs_end_bio( · line 360

Quoted 11 lines
fs/xfs/xfs_aops.c +2 -1
index 3859f5e..b82b128 100644
@@ -356,7 +356,8 @@ xfs_end_bio(
 {
 	xfs_ioend_t		*ioend = bio->bi_private;
 
-	ioend->io_error = test_bit(BIO_UPTODATE, &bio->bi_flags) ? 0 : error;
+	if (!test_bit(BIO_UPTODATE, &bio->bi_flags))
+		ioend->io_error = error;

We should preserve the original error that was reported, rather than report the last one. ioend->io_error is always initialised to zero, so we can simply do:

	if (!ioend->io_error && !test_bit(BIO_UPTODATE, &bio->bi_flags))
		ioend->io_error = error;

Can you update the patch and resend it? I've got a couple of other fixes that I need to push to the for-next tree in the next couple of days (i.e. before the 4.3. merge window opens) and I'd like to get this one in as well.

Cheers,

Dave.

Signature · 7 lines
Dave Chinner
[email protected]

_______________________________________________
xfs mailing list
[email protected]
http://oss.sgi.com/mailman/listinfo/xfs
#2 lore raw
Quoted 25 lines · Dave Chinner
Quoted 3 lines · David Jeffery

There is an issue with xfs's error reporting in some cases of I/O partially failing and partially succeeding. Calls like fsync() can report success even though not all I/O was successful.

Hi David,

I read your bug report last night and after considering all the work you put into it, I was going to ask if you wanted to finish off the job by writing the patch to fix it. But you beat me to it.

Nice work! :)

Quoted 6 lines

The issue can occur when there are multiple bio per xfs_ioend struct. Each call to xfs_end_bio() for a bio completing will write a value to ioend->io_error. If a successful bio completes after any failed bio, no error is reported do to it writing 0 over the error code set by any failed bio. The I/O error information is now lost and when the ioend is completed only success is reported back up the filesystem stack.

It's worth mentioning the case that this was seen in - a single failed disk in a raid 0 stripe, and the error from the bio to the failed disk was overwritten by the successes from the bios to the other disks.

Quoted 5 lines

FWIW, I think that we also need to create an xfstest for this case, too, because it's clear that this is a big hole in our test coverage (i.e. partial block device failure). It might be best to talk to Eryu (cc'd) to get your reproducer converted into a xfstest case that we can then test all filesystems against?

Sure, I'll look into the reproducer and work on a fstests case.

Thanks,
Eryu

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

#3 lore raw
In reply to Dave Chinner
Quoted 53 lines · Dave Chinner
Quoted 3 lines · David Jeffery

There is an issue with xfs's error reporting in some cases of I/O partially failing and partially succeeding. Calls like fsync() can report success even though not all I/O was successful.

Hi David,

I read your bug report last night and after considering all the work you put into it, I was going to ask if you wanted to finish off the job by writing the patch to fix it. But you beat me to it.

Nice work! :)

Quoted 6 lines

The issue can occur when there are multiple bio per xfs_ioend struct. Each call to xfs_end_bio() for a bio completing will write a value to ioend->io_error. If a successful bio completes after any failed bio, no error is reported do to it writing 0 over the error code set by any failed bio. The I/O error information is now lost and when the ioend is completed only success is reported back up the filesystem stack.

It's worth mentioning the case that this was seen in - a single failed disk in a raid 0 stripe, and the error from the bio to the failed disk was overwritten by the successes from the bios to the other disks.

FWIW, I think that we also need to create an xfstest for this case, too, because it's clear that this is a big hole in our test coverage (i.e. partial block device failure). It might be best to talk to Eryu (cc'd) to get your reproducer converted into a xfstest case that we can then test all filesystems against?

Quoted 7 lines

xfs_end_bio() should only set ioend->io_error in the case of BIO_UPTODATE being clear. ioend->io_error is initialized to 0 at allocation so only needs to be updated by any failed bio structs. This ensures an error can be reported to the application.

---

Best to add a "cc: <[email protected]>" so that it gets pushed back to all the stable kernels automatically which it hits Linus' tree.

One minor change to the fix:

Quoted 8 lines
fs/xfs/xfs_aops.c +0 -0
index 3859f5e..b82b128 100644
@@ -356,7 +356,8 @@ xfs_end_bio(
 {
 	xfs_ioend_t		*ioend = bio->bi_private;
 
Quoted 7 lines

fs/xfs/xfs_aops.c xfs_end_bio( · line 360

Quoted 3 lines
fs/xfs/xfs_aops.c +2 -1
-	ioend->io_error = test_bit(BIO_UPTODATE, &bio->bi_flags) ? 0 : error;
+	if (!test_bit(BIO_UPTODATE, &bio->bi_flags))
+		ioend->io_error = error;

We should preserve the original error that was reported, rather than report the last one. ioend->io_error is always initialised to zero, so we can simply do:

Is there a particular reason to prefer the first error? Is it just standard practice? I originally made a version which preserved the first error but couldn't think of a reason why the first or last would be best. So I went with the patch which has the simpler if statement.

Quoted 4 lines
	if (!ioend->io_error && !test_bit(BIO_UPTODATE, &bio->bi_flags))
		ioend->io_error = error;
Quoted 9 lines

Can you update the patch and resend it? I've got a couple of other fixes that I need to push to the for-next tree in the next couple of days (i.e. before the 4.3. merge window opens) and I'd like to get this one in as well.

Cheers,

Dave

I'll get a new version sent.

David Jeffery

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

#4 lore raw
Quoted 16 lines · David Jeffery
Quoted 7 lines · Dave Chinner
Quoted 7 lines

index 3859f5e..b82b128 100644

fs/xfs/xfs_aops.c +0 -0
@@ -356,7 +356,8 @@ xfs_end_bio(
 {
 	xfs_ioend_t		*ioend = bio->bi_private;
 
Quoted 7 lines

fs/xfs/xfs_aops.c xfs_end_bio( · line 360

Quoted 3 lines
fs/xfs/xfs_aops.c +2 -1
-	ioend->io_error = test_bit(BIO_UPTODATE, &bio->bi_flags) ? 0 : error;
+	if (!test_bit(BIO_UPTODATE, &bio->bi_flags))
+		ioend->io_error = error;

We should preserve the original error that was reported, rather than report the last one. ioend->io_error is always initialised to zero, so we can simply do:

Quoted 4 lines

Is there a particular reason to prefer the first error? Is it just standard practice? I originally made a version which preserved the first error but couldn't think of a reason why the first or last would be best. So I went with the patch which has the simpler if statement.

Standard practice in XFS - it's the first error that matters in most cases. Subsequent errors are usually less meaningful as they are either a result of the first error (i.e. cascading hardware errors), tainted by the first error (e.g. first IO completion error shuts down the fs, second IO completion error caused by the detection of a shut down filesystem) or just unrelated noise....

Cheers,

Dave.

Signature · 7 lines
Dave Chinner
[email protected]

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