Re: [Ext2-devel] Re: problems with ext3 fs, kernels up to 2.6.6-rc2

[Andreas Dilger <adilger@clusterfs.com>]

On May 20, 2004  03:22 -0600, Andreas Dilger wrote:
> This seems to fix the majority of the problems, although there are still
> some rare failures in the rename test.
> 
> ===== fs/ext3/namei.c 1.52 vs edited =====
> --- 1.52/fs/ext3/namei.c	Mon May 10 05:25:34 2004
> +++ edited/fs/ext3/namei.c	Thu May 20 03:16:43 2004
> @@ -2264,8 +2264,9 @@
>  	/*
>  	 * ok, that's it
>  	 */
> -	retval = ext3_delete_entry(handle, old_dir, old_de, old_bh);
> -	if (retval == -ENOENT) {
> +	if (le32_to_cpu(old_de->inode) != old_inode->i_ino ||
> +	    (retval = ext3_delete_entry(handle, old_dir,
> +					old_de, old_bh)) ==  -ENOENT) {
>  		/*
>  		 * old_de could have moved out from under us.
>  		 */

I isolated the source of the remaining problems.  In very rare cases
even with the above patch we could still do the wrong thing.  If old_de
is pointing to the newly-added entry (i_ino is the same) we end up
deleting the new entry instead of the old one.  It looks as if the
rename never happened.  We need to verify that the name we are unlinking
is what we expect.

If is also possible that old_de is pointing to the now-unused space
at the end of a newly-split leaf block, so we still need to try
ext3_delete_entry() (which will skip the stale entry and return ENOENT)
instead of just relying on the inum + name check.

===== fs/ext3/namei.c 1.52 vs edited =====
--- 1.52/fs/ext3/namei.c	Mon May 10 05:25:34 2004
+++ edited/fs/ext3/namei.c	Thu May 20 19:57:10 2004
@@ -2264,11 +2264,15 @@
 	/*
 	 * ok, that's it
 	 */
-	retval = ext3_delete_entry(handle, old_dir, old_de, old_bh);
-	if (retval == -ENOENT) {
-		/*
-		 * old_de could have moved out from under us.
-		 */
+	if (le32_to_cpu(old_de->inode) != old_inode->i_ino ||
+	    old_de->name_len != old_dentry->d_name.len ||
+	    strncmp(old_de->name, old_dentry->d_name.name, old_de->name_len) ||
+	    (retval = ext3_delete_entry(handle, old_dir,
+					old_de, old_bh)) == -ENOENT) {
+		/* old_de could have moved from under us during htree split, so
+		 * make sure that we are deleting the right entry.  We might
+		 * also be pointing to a stale entry in the unused part of
+		 * old_bh so just checking inum and the name isn't enough. */
 		struct buffer_head *old_bh2;
 		struct ext3_dir_entry_2 *old_de2;
 
Cheers, Andreas
--
Andreas Dilger
http://sourceforge.net/projects/ext2resize/
http://www-mddsp.enel.ucalgary.ca/People/adilger/