From 63f44aafb1f20f8dffdede1e824ce8cbf252bbfc Mon Sep 17 00:00:00 2001 From: Andreas Dilger Date: Mon, 31 May 2021 17:31:23 -0600 Subject: [PATCH] e2fsck: fix ".." more gracefully if possible If the "." entry is corrupted, it will be reset in check_dot(). It is possible that the ".." entry can be recovered from the directory block instead of also resetting it immediately. If it appears that there is a valid ".." entry in the block, allow that to be used, and let check_dotdot() verify the dirent itself. When resetting the "." and ".." entries, use EXT2_FT_DIR as the file type instead of EXT2_FT_UNKNOWN for the very common case of filesystems with the "filetype" feature, to avoid later problems that can be easily avoided. This can't always be done, even if filesystems without "filetype" are totally obsolete, because many old test images do not have this feature enabled. Fixup affected tests using the new "repair-test" script that updates the expect.[12] files from $test.[12].log for the given tests and re-runs the test to ensure it now passes. Signed-off-by: Andreas dilger Reviewed-by: Artem Blagodarenko Lustre-bug-Id: https://jira.whamcloud.com/browse/LU-14710 Change-Id: Ia5e579bcf31a9d9ee260d5640de6dbdb60514823 Reviewed-on: https://review.whamcloud.com/43858 Signed-off-by: Theodore Ts'o --- e2fsck/pass2.c | 28 ++++++++++++++++++++-------- tests/f_baddotdir/expect.1 | 9 ++++++--- tests/f_baddotdir/expect.2 | 2 +- tests/f_baddotdir/image.gz | Bin 564 -> 592 bytes tests/f_dir_bad_csum/expect.1 | 2 -- tests/f_rebuild_csum_rootdir/expect.1 | 2 -- tests/f_resize_inode_meta_bg/expect.1 | 4 ---- tests/f_uninit_dir/expect.1 | 2 -- tests/scripts/repair-test | 9 +++++++++ 9 files changed, 36 insertions(+), 22 deletions(-) create mode 100755 tests/scripts/repair-test diff --git a/e2fsck/pass2.c b/e2fsck/pass2.c index e504b30..94f92c8 100644 --- a/e2fsck/pass2.c +++ b/e2fsck/pass2.c @@ -405,6 +405,7 @@ static int check_dot(e2fsck_t ctx, int status = 0; int created = 0; problem_t problem = 0; + int ftype = EXT2_FT_DIR; if (!dirent->inode) problem = PR_2_MISSING_DOT; @@ -416,12 +417,14 @@ static int check_dot(e2fsck_t ctx, (void) ext2fs_get_rec_len(ctx->fs, dirent, &rec_len); if (problem) { + if (!ext2fs_has_feature_filetype(ctx->fs->super)) + ftype = EXT2_FT_UNKNOWN; if (fix_problem(ctx, problem, pctx)) { if (rec_len < 12) rec_len = dirent->rec_len = 12; dirent->inode = ino; ext2fs_dirent_set_name_len(dirent, 1); - ext2fs_dirent_set_file_type(dirent, EXT2_FT_UNKNOWN); + ext2fs_dirent_set_file_type(dirent, ftype); dirent->name[0] = '.'; dirent->name[1] = '\0'; status = 1; @@ -442,12 +445,18 @@ static int check_dot(e2fsck_t ctx, nextdir = (struct ext2_dir_entry *) ((char *) dirent + 12); dirent->rec_len = 12; - (void) ext2fs_set_rec_len(ctx->fs, new_len, - nextdir); - nextdir->inode = 0; - ext2fs_dirent_set_name_len(nextdir, 0); - ext2fs_dirent_set_file_type(nextdir, - EXT2_FT_UNKNOWN); + /* if the next entry looks like "..", leave it + * and let check_dotdot() verify the dirent, + * otherwise zap the following entry. */ + if (strncmp(nextdir->name, "..", 3) != 0) { + (void)ext2fs_set_rec_len(ctx->fs, + new_len, + nextdir); + nextdir->inode = 0; + ext2fs_dirent_set_name_len(nextdir, 0); + ext2fs_dirent_set_file_type(nextdir, + ftype); + } status = 1; } } @@ -466,6 +475,7 @@ static int check_dotdot(e2fsck_t ctx, { problem_t problem = 0; unsigned int rec_len; + int ftype = EXT2_FT_DIR; if (!dirent->inode) problem = PR_2_MISSING_DOT_DOT; @@ -478,6 +488,8 @@ static int check_dotdot(e2fsck_t ctx, (void) ext2fs_get_rec_len(ctx->fs, dirent, &rec_len); if (problem) { + if (!ext2fs_has_feature_filetype(ctx->fs->super)) + ftype = EXT2_FT_UNKNOWN; if (fix_problem(ctx, problem, pctx)) { if (rec_len < 12) dirent->rec_len = 12; @@ -488,7 +500,7 @@ static int check_dotdot(e2fsck_t ctx, */ dirent->inode = EXT2_ROOT_INO; ext2fs_dirent_set_name_len(dirent, 2); - ext2fs_dirent_set_file_type(dirent, EXT2_FT_UNKNOWN); + ext2fs_dirent_set_file_type(dirent, ftype); dirent->name[0] = '.'; dirent->name[1] = '.'; dirent->name[2] = '\0'; diff --git a/tests/f_baddotdir/expect.1 b/tests/f_baddotdir/expect.1 index e24aa94..a7ca4e4 100644 --- a/tests/f_baddotdir/expect.1 +++ b/tests/f_baddotdir/expect.1 @@ -29,6 +29,9 @@ Fix? yes Missing '..' in directory inode 16. Fix? yes +Directory entry for '.' in ... (19) is big. +Split? yes + Pass 3: Checking directory connectivity '..' in /a (12) is (0), should be / (2). Fix? yes @@ -47,13 +50,13 @@ Fix? yes Pass 4: Checking reference counts Pass 5: Checking group summary information -Free blocks count wrong for group #0 (70, counted=71). +Free blocks count wrong for group #0 (69, counted=70). Fix? yes -Free blocks count wrong (70, counted=71). +Free blocks count wrong (69, counted=70). Fix? yes test_filesys: ***** FILE SYSTEM WAS MODIFIED ***** -test_filesys: 18/32 files (0.0% non-contiguous), 29/100 blocks +test_filesys: 19/32 files (0.0% non-contiguous), 30/100 blocks Exit status is 1 diff --git a/tests/f_baddotdir/expect.2 b/tests/f_baddotdir/expect.2 index 8b3523c..0838aa3 100644 --- a/tests/f_baddotdir/expect.2 +++ b/tests/f_baddotdir/expect.2 @@ -3,5 +3,5 @@ Pass 2: Checking directory structure Pass 3: Checking directory connectivity Pass 4: Checking reference counts Pass 5: Checking group summary information -test_filesys: 18/32 files (0.0% non-contiguous), 29/100 blocks +test_filesys: 19/32 files (0.0% non-contiguous), 30/100 blocks Exit status is 0 diff --git a/tests/f_baddotdir/image.gz b/tests/f_baddotdir/image.gz index 8ed90c5d6aaf0da309d34b91e615eac7682f585c..71df18f2198afd056e79e6b35b27400e334a80ba 100644 GIT binary patch delta 540 zcmV+%0^|L(1keP3ABzYGCMU390t0DnVP|Ck?c6BhQPoRKcYT8?!o)=I3^SZg7jjD~RePxIsb?|sb8mGjH@zbkdV z{+RzU=H{w@%D-B3{^yvRt15q^=KS8MKg?B?f34>HdoedxRsM~d^B=wXayM5#87${t zuQ`7^=H{w;{WojQU)Va{$yJqq%dHZCbEG|;Xe?b2O`XA8$fc^*cKcN2s{SWAW;H=2s|4)4XADSco{$~{Y{s)?7sp9>A zG_o(y1k0uV@9KYOl>A(d!Cv|KAG_1%*?sNIhj)iZM~Aiv&M)Wx&`7JL`F|xi|AQu3 eo4)@8d;S-b@c}oI0uBtodGQPRlUDlxkO2VVPAWM7 delta 510 zcmV)UklyJb?!@mt3Q9@pK;y! z(+%5|>#oK0Vy?%mm(NMljnj>oLCj{%&5)jqhH&do>&Nr&W2~E#>sQae+fBaySpRdZ zn^RZ+PQ&$ozs9;bb@jI!uD?DRj&thj-)*@5!&o<`uKxXo>pwj{+s(;O2CMb&HC%r$ z*3GGV{SO>f0B~ix^O?32Mi=XD7>yRQ?pB<7Umv}FH#|Ig|7N (0), should be / (2). Fix? yes diff --git a/tests/f_resize_inode_meta_bg/expect.1 b/tests/f_resize_inode_meta_bg/expect.1 index c733c18..769f71a 100644 --- a/tests/f_resize_inode_meta_bg/expect.1 +++ b/tests/f_resize_inode_meta_bg/expect.1 @@ -8,11 +8,9 @@ Pass 2: Checking directory structure First entry '' (inode=348) in directory inode 2 (???) should be '.' Fix? yes -Setting filetype for entry '.' in ??? (2) to 2. Missing '..' in directory inode 2. Fix? yes -Setting filetype for entry '..' in ??? (2) to 2. Directory inode 2, block #0, offset 860: directory corrupted Salvage? yes @@ -25,11 +23,9 @@ Salvage? yes Missing '.' in directory inode 11. Fix? yes -Setting filetype for entry '.' in ??? (11) to 2. Missing '..' in directory inode 11. Fix? yes -Setting filetype for entry '..' in ??? (11) to 2. Directory inode 11, block #1, offset 0: directory corrupted Salvage? yes diff --git a/tests/f_uninit_dir/expect.1 b/tests/f_uninit_dir/expect.1 index f0065f1..31870bd 100644 --- a/tests/f_uninit_dir/expect.1 +++ b/tests/f_uninit_dir/expect.1 @@ -10,11 +10,9 @@ Salvage? yes Missing '.' in directory inode 14. Fix? yes -Setting filetype for entry '.' in ??? (14) to 2. Missing '..' in directory inode 14. Fix? yes -Setting filetype for entry '..' in ??? (14) to 2. Pass 3: Checking directory connectivity '..' in /abc (14) is (0), should be / (2). Fix? yes diff --git a/tests/scripts/repair-test b/tests/scripts/repair-test new file mode 100755 index 0000000..c164e6e --- /dev/null +++ b/tests/scripts/repair-test @@ -0,0 +1,9 @@ +#!/bin/sh +for T in "$*"; do + [ -f "$T.failed" -a -d "$T" ] || + { echo "usage: $0 "; exit 1; } + + cp $T.1.log $T/expect.1 + cp $T.2.log $T/expect.2 + ./test_one $T +done -- 1.8.3.1