Home | History | Annotate | Line # | Download | only in lfs
      1  1.4  perseant /*	$NetBSD: t_rfw.c,v 1.4 2025/08/27 00:28:20 perseant Exp $	*/
      2  1.1  perseant 
      3  1.1  perseant #include <sys/types.h>
      4  1.1  perseant #include <sys/mount.h>
      5  1.1  perseant #include <sys/wait.h>
      6  1.1  perseant 
      7  1.1  perseant #include <atf-c.h>
      8  1.2  perseant #include <ctype.h>
      9  1.1  perseant #include <errno.h>
     10  1.1  perseant #include <fcntl.h>
     11  1.1  perseant #include <limits.h>
     12  1.1  perseant #include <stdio.h>
     13  1.1  perseant #include <stdlib.h>
     14  1.1  perseant #include <unistd.h>
     15  1.1  perseant #include <string.h>
     16  1.1  perseant 
     17  1.1  perseant #include <rump/rump.h>
     18  1.1  perseant #include <rump/rump_syscalls.h>
     19  1.1  perseant 
     20  1.1  perseant #include <ufs/ufs/ufsmount.h>
     21  1.1  perseant #include <ufs/lfs/lfs.h>
     22  1.1  perseant #include <ufs/lfs/lfs_extern.h>
     23  1.1  perseant 
     24  1.1  perseant #include "h_macros.h"
     25  1.1  perseant 
     26  1.1  perseant /* Debugging conditions */
     27  1.1  perseant /* #define FORCE_SUCCESS */ /* Don't actually revert, everything worked */
     28  1.4  perseant /* #define USE_DUMPLFS */ /* Dump the filesystem at certain steps */
     29  1.1  perseant 
     30  1.1  perseant /* Write a well-known byte pattern into a file, appending if it exists */
     31  1.1  perseant int write_file(const char *, int);
     32  1.1  perseant 
     33  1.1  perseant /* Check the byte pattern and size of the file */
     34  1.1  perseant int check_file(const char *, int);
     35  1.1  perseant 
     36  1.2  perseant /* Check the file system for consistency */
     37  1.2  perseant int fsck(void);
     38  1.2  perseant 
     39  1.4  perseant /* Run dumplfs; for debugging */
     40  1.4  perseant void dumplfs(void);
     41  1.4  perseant 
     42  1.4  perseant /* Actually run the test */
     43  1.2  perseant void test(int);
     44  1.2  perseant 
     45  1.4  perseant ATF_TC(rfw32);
     46  1.4  perseant ATF_TC_HEAD(rfw32, tc)
     47  1.4  perseant {
     48  1.4  perseant 	atf_tc_set_md_var(tc, "descr",
     49  1.4  perseant 		"LFS32 roll-forward creates an inconsistent filesystem");
     50  1.4  perseant 	atf_tc_set_md_var(tc, "timeout", "20");
     51  1.4  perseant }
     52  1.4  perseant 
     53  1.4  perseant ATF_TC(rfw64);
     54  1.4  perseant ATF_TC_HEAD(rfw64, tc)
     55  1.1  perseant {
     56  1.1  perseant 	atf_tc_set_md_var(tc, "descr",
     57  1.4  perseant 		"LFS64 roll-forward creates an inconsistent filesystem");
     58  1.1  perseant 	atf_tc_set_md_var(tc, "timeout", "20");
     59  1.1  perseant }
     60  1.1  perseant 
     61  1.2  perseant #define MAXLINE 132
     62  1.2  perseant #define CHUNKSIZE 300
     63  1.2  perseant 
     64  1.1  perseant #define IMGNAME "disk.img"
     65  1.1  perseant #define FAKEBLK "/dev/blk"
     66  1.1  perseant #define LOGFILE "newfs.log"
     67  1.1  perseant #define SBLOCK0_COPY "sb0.dd"
     68  1.1  perseant #define SBLOCK1_COPY "sb1.dd"
     69  1.2  perseant 
     70  1.2  perseant #define MP "/mp"
     71  1.2  perseant #define UNCHANGED_CONTROL MP "/3-unchanged-control"
     72  1.2  perseant #define TO_BE_DELETED     MP "/4-to-be-deleted"
     73  1.2  perseant #define TO_BE_APPENDED    MP "/5-to-be-appended"
     74  1.2  perseant #define NEWLY_CREATED     MP "/6-newly-created"
     75  1.2  perseant 
     76  1.2  perseant long long sbaddr[2] = { -1, -1 };
     77  1.2  perseant const char *sblock[2] = { SBLOCK0_COPY, SBLOCK1_COPY };
     78  1.2  perseant 
     79  1.4  perseant ATF_TC_BODY(rfw32, tc)
     80  1.4  perseant {
     81  1.4  perseant 	test(32);
     82  1.4  perseant }
     83  1.4  perseant 
     84  1.4  perseant ATF_TC_BODY(rfw64, tc)
     85  1.4  perseant {
     86  1.4  perseant 	test(64);
     87  1.4  perseant }
     88  1.4  perseant 
     89  1.4  perseant void test(int width)
     90  1.1  perseant {
     91  1.1  perseant 	struct ufs_args args;
     92  1.1  perseant 	FILE *pipe;
     93  1.1  perseant 	char buf[MAXLINE];
     94  1.4  perseant 	char cmd[MAXLINE];
     95  1.2  perseant 	int i;
     96  1.2  perseant 
     97  1.2  perseant 	setvbuf(stdout, NULL, _IONBF, 0);
     98  1.1  perseant 
     99  1.1  perseant 	/*
    100  1.1  perseant 	 * Initialize.
    101  1.1  perseant 	 */
    102  1.4  perseant 	if (width > 32) {
    103  1.4  perseant 		atf_tc_skip("fsck_lfs does not yet understand LFS64");
    104  1.4  perseant 		return;
    105  1.4  perseant 	}
    106  1.2  perseant 	atf_tc_expect_fail("roll-forward not yet implemented");
    107  1.1  perseant 
    108  1.2  perseant 	/* Create filesystem, note superblock locations */
    109  1.1  perseant 	fprintf(stderr, "* Create file system\n");
    110  1.4  perseant 	sprintf(cmd, "newfs_lfs -D -F -s 10000 -w%d ./%s > %s",
    111  1.4  perseant 		width, IMGNAME, LOGFILE);
    112  1.4  perseant 	if (system(cmd) == -1)
    113  1.1  perseant 		atf_tc_fail_errno("newfs failed");
    114  1.1  perseant 	pipe = fopen(LOGFILE, "r");
    115  1.1  perseant 	if (pipe == NULL)
    116  1.1  perseant 		atf_tc_fail_errno("newfs failed to execute");
    117  1.1  perseant 	while (fgets(buf, MAXLINE, pipe) != NULL) {
    118  1.2  perseant 		if (sscanf(buf, "%lld,%lld", sbaddr, sbaddr + 1) == 2)
    119  1.1  perseant 			break;
    120  1.1  perseant 	}
    121  1.1  perseant 	while (fgets(buf, MAXLINE, pipe) != NULL)
    122  1.1  perseant 		;
    123  1.1  perseant 	fclose(pipe);
    124  1.2  perseant 	if (sbaddr[0] < 0 || sbaddr[1] < 0)
    125  1.1  perseant 		atf_tc_fail("superblock not found");
    126  1.1  perseant 	fprintf(stderr, "* Superblocks at %lld and %lld\n",
    127  1.2  perseant 		sbaddr[0], sbaddr[1]);
    128  1.1  perseant 
    129  1.1  perseant 	/* Set up rump */
    130  1.1  perseant 	rump_init();
    131  1.2  perseant 	if (rump_sys_mkdir(MP, 0777) == -1)
    132  1.1  perseant 		atf_tc_fail_errno("cannot create mountpoint");
    133  1.1  perseant 	rump_pub_etfs_register(FAKEBLK, IMGNAME, RUMP_ETFS_BLK);
    134  1.1  perseant 
    135  1.1  perseant 	/*
    136  1.1  perseant 	 * Create initial filesystem state, from which
    137  1.1  perseant 	 * we will attempt to roll forward.
    138  1.1  perseant 	 */
    139  1.1  perseant 
    140  1.1  perseant 	/* Mount filesystem */
    141  1.2  perseant 	fprintf(stderr, "* Mount fs [1, initial]\n");
    142  1.1  perseant 	memset(&args, 0, sizeof(args));
    143  1.1  perseant 	args.fspec = __UNCONST(FAKEBLK);
    144  1.2  perseant 	if (rump_sys_mount(MOUNT_LFS, MP, 0, &args, sizeof(args)) == -1)
    145  1.1  perseant 		atf_tc_fail_errno("rump_sys_mount failed");
    146  1.1  perseant 
    147  1.1  perseant 	/* Payload */
    148  1.1  perseant 	fprintf(stderr, "* Initial payload\n");
    149  1.2  perseant 	write_file(UNCHANGED_CONTROL, CHUNKSIZE);
    150  1.2  perseant 	write_file(TO_BE_DELETED, CHUNKSIZE);
    151  1.2  perseant 	write_file(TO_BE_APPENDED, CHUNKSIZE);
    152  1.2  perseant 	rump_sys_sync();
    153  1.2  perseant 	rump_sys_sync();
    154  1.2  perseant 	sleep(1); /* XXX yuck - but we need the superblocks dirty */
    155  1.2  perseant 
    156  1.2  perseant 	/* Make copies of superblocks */
    157  1.2  perseant 	for (i = 0; i < 2; i++) {
    158  1.2  perseant 		sprintf(buf, "dd if=%s of=%s bs=512 iseek=%lld"
    159  1.2  perseant 			" count=16 conv=sync", IMGNAME, sblock[i], sbaddr[i]);
    160  1.2  perseant 		system(buf);
    161  1.2  perseant 	}
    162  1.1  perseant 
    163  1.1  perseant 	/* Unmount */
    164  1.2  perseant 	rump_sys_unmount(MP, 0);
    165  1.4  perseant 	if (fsck())
    166  1.4  perseant 		atf_tc_fail_errno("fsck found errors after first unmount");
    167  1.1  perseant 
    168  1.1  perseant 	/*
    169  1.1  perseant 	 * Make changes which we will attempt to roll forward.
    170  1.1  perseant 	 */
    171  1.1  perseant 
    172  1.1  perseant 	/* Reconfigure and mount filesystem again */
    173  1.2  perseant 	fprintf(stderr, "* Mount fs [2, after changes]\n");
    174  1.2  perseant 	if (rump_sys_mount(MOUNT_LFS, MP, 0, &args, sizeof(args)) == -1)
    175  1.1  perseant 		atf_tc_fail_errno("rump_sys_mount failed [2]");
    176  1.1  perseant 
    177  1.4  perseant 	fprintf(stderr, "* Update payload\n");
    178  1.4  perseant 
    179  1.1  perseant 	/* Add new file */
    180  1.2  perseant 	write_file(NEWLY_CREATED, CHUNKSIZE);
    181  1.1  perseant 
    182  1.1  perseant 	/* Append to existing file */
    183  1.2  perseant 	write_file(TO_BE_APPENDED, CHUNKSIZE);
    184  1.1  perseant 
    185  1.1  perseant 	/* Delete file */
    186  1.2  perseant 	rump_sys_unlink(TO_BE_DELETED);
    187  1.1  perseant 
    188  1.1  perseant 	/* Done with payload, unmount fs */
    189  1.2  perseant 	rump_sys_unmount(MP, 0);
    190  1.4  perseant 	if (fsck())
    191  1.4  perseant 		atf_tc_fail_errno("fsck found errors after second unmount");
    192  1.1  perseant 
    193  1.1  perseant #ifndef FORCE_SUCCESS
    194  1.4  perseant 	fprintf(stderr, "* Revert superblocks\n");
    195  1.1  perseant 	/*
    196  1.1  perseant 	 * Copy back old superblocks, reverting FS to old state
    197  1.1  perseant 	 */
    198  1.2  perseant 	for (i = 0; i < 2; i++) {
    199  1.2  perseant 		sprintf(buf, "dd of=%s if=%s bs=512 oseek=%lld count=16"
    200  1.2  perseant 			" conv=sync,notrunc", IMGNAME, sblock[i], sbaddr[i]);
    201  1.2  perseant 		system(buf);
    202  1.2  perseant 	}
    203  1.1  perseant 
    204  1.2  perseant 	if (fsck())
    205  1.1  perseant 		atf_tc_fail_errno("fsck found errors with old superblocks");
    206  1.1  perseant #endif
    207  1.4  perseant 	dumplfs();
    208  1.1  perseant 
    209  1.1  perseant 	/*
    210  1.1  perseant 	 * Roll forward.
    211  1.1  perseant 	 */
    212  1.1  perseant 
    213  1.1  perseant 	/* Mount filesystem; this will roll forward. */
    214  1.2  perseant 	fprintf(stderr, "* Mount fs [3, to roll forward]\n");
    215  1.2  perseant 	if (rump_sys_mount(MOUNT_LFS, MP, 0, &args, sizeof(args)) == -1)
    216  1.1  perseant 		atf_tc_fail_errno("rump_sys_mount failed [3]");
    217  1.1  perseant 
    218  1.1  perseant 	/* Unmount filesystem */
    219  1.2  perseant 	if (rump_sys_unmount(MP, 0) != 0)
    220  1.2  perseant 		atf_tc_fail_errno("rump_sys_umount failed after roll-forward");
    221  1.1  perseant 
    222  1.1  perseant 	/*
    223  1.2  perseant 	 * Use fsck_lfs to look for consistency errors.
    224  1.1  perseant 	 */
    225  1.1  perseant 
    226  1.4  perseant 	fprintf(stderr, "* Fsck after roll-forward\n");
    227  1.2  perseant 	if (fsck()) {
    228  1.2  perseant 		fprintf(stderr, "*** FAILED FSCK ***\n");
    229  1.2  perseant 		atf_tc_fail("fsck found errors after roll forward");
    230  1.2  perseant 	}
    231  1.4  perseant 	dumplfs();
    232  1.1  perseant 
    233  1.1  perseant 	/*
    234  1.1  perseant 	 * Check file system contents
    235  1.1  perseant 	 */
    236  1.1  perseant 
    237  1.1  perseant 	/* Mount filesystem one last time */
    238  1.2  perseant 	fprintf(stderr, "* Mount fs [4, after roll forward complete]\n");
    239  1.2  perseant 	if (rump_sys_mount(MOUNT_LFS, MP, 0, &args, sizeof(args)) == -1)
    240  1.1  perseant 		atf_tc_fail_errno("rump_sys_mount failed [4]");
    241  1.1  perseant 
    242  1.2  perseant 	if (check_file(UNCHANGED_CONTROL, CHUNKSIZE) != 0)
    243  1.2  perseant 		atf_tc_fail("Unchanged control file differs(!)");
    244  1.1  perseant 
    245  1.4  perseant 	if (rump_sys_access(TO_BE_DELETED, F_OK) == 0)
    246  1.4  perseant 		atf_tc_fail("Removed file still present");
    247  1.4  perseant 	else
    248  1.4  perseant 		fprintf(stderr, "%s: no problem\n", TO_BE_DELETED);
    249  1.4  perseant 
    250  1.2  perseant 	if (check_file(TO_BE_APPENDED, 2 * CHUNKSIZE) != 0)
    251  1.1  perseant 		atf_tc_fail("Appended file differs");
    252  1.1  perseant 
    253  1.2  perseant 	if (rump_sys_access(NEWLY_CREATED, F_OK) != 0)
    254  1.2  perseant 		atf_tc_fail("Newly added file missing");
    255  1.2  perseant 
    256  1.2  perseant 	if (check_file(NEWLY_CREATED, CHUNKSIZE) != 0)
    257  1.2  perseant 		atf_tc_fail("Newly added file differs");
    258  1.2  perseant 
    259  1.2  perseant 	/* Umount filesystem */
    260  1.2  perseant 	rump_sys_unmount(MP, 0);
    261  1.2  perseant 
    262  1.2  perseant 	/* Final fsck to double check */
    263  1.4  perseant 	fprintf(stderr, "* Fsck after final unmount\n");
    264  1.2  perseant 	if (fsck()) {
    265  1.2  perseant 		fprintf(stderr, "*** FAILED FSCK ***\n");
    266  1.2  perseant 		atf_tc_fail("fsck found errors after final unmount");
    267  1.2  perseant 	}
    268  1.1  perseant }
    269  1.1  perseant 
    270  1.1  perseant ATF_TP_ADD_TCS(tp)
    271  1.1  perseant {
    272  1.1  perseant 
    273  1.4  perseant 	ATF_TP_ADD_TC(tp, rfw32);
    274  1.4  perseant 	ATF_TP_ADD_TC(tp, rfw64);
    275  1.1  perseant 	return atf_no_error();
    276  1.1  perseant }
    277  1.1  perseant 
    278  1.1  perseant /* Write some data into a file */
    279  1.1  perseant int write_file(const char *filename, int add)
    280  1.1  perseant {
    281  1.1  perseant 	int fd, size, i;
    282  1.1  perseant 	struct stat statbuf;
    283  1.1  perseant 	unsigned char b;
    284  1.1  perseant 	int flags = O_CREAT|O_WRONLY;
    285  1.1  perseant 
    286  1.1  perseant 	if (rump_sys_stat(filename, &statbuf) < 0)
    287  1.1  perseant 		size = 0;
    288  1.1  perseant 	else {
    289  1.1  perseant 		size = statbuf.st_size;
    290  1.1  perseant 		flags |= O_APPEND;
    291  1.1  perseant 	}
    292  1.1  perseant 
    293  1.1  perseant 	fd = rump_sys_open(filename, flags);
    294  1.1  perseant 
    295  1.1  perseant 	for (i = 0; i < add; i++) {
    296  1.2  perseant 		b = ((unsigned)(size + i)) & 0xff;
    297  1.1  perseant 		rump_sys_write(fd, &b, 1);
    298  1.1  perseant 	}
    299  1.1  perseant 	rump_sys_close(fd);
    300  1.1  perseant 
    301  1.1  perseant 	return 0;
    302  1.1  perseant }
    303  1.1  perseant 
    304  1.1  perseant /* Check file's existence, size and contents */
    305  1.1  perseant int check_file(const char *filename, int size)
    306  1.1  perseant {
    307  1.1  perseant 	int fd, i;
    308  1.1  perseant 	struct stat statbuf;
    309  1.1  perseant 	unsigned char b;
    310  1.3  riastrad 
    311  1.1  perseant 	if (rump_sys_stat(filename, &statbuf) < 0) {
    312  1.1  perseant 		fprintf(stderr, "%s: stat failed\n", filename);
    313  1.1  perseant 		return 1;
    314  1.1  perseant 	}
    315  1.1  perseant 	if (size != statbuf.st_size) {
    316  1.1  perseant 		fprintf(stderr, "%s: expected %d bytes, found %d\n",
    317  1.1  perseant 			filename, size, (int)statbuf.st_size);
    318  1.1  perseant 		return 2;
    319  1.1  perseant 	}
    320  1.1  perseant 
    321  1.1  perseant 	fd = rump_sys_open(filename, O_RDONLY);
    322  1.1  perseant 	for (i = 0; i < size; i++) {
    323  1.1  perseant 		rump_sys_read(fd, &b, 1);
    324  1.2  perseant 		if (b != (((unsigned)i) & 0xff)) {
    325  1.1  perseant 			fprintf(stderr, "%s: byte %d: expected %x found %x\n",
    326  1.2  perseant 				filename, i, ((unsigned)(i)) & 0xff, b);
    327  1.2  perseant 			rump_sys_close(fd);
    328  1.1  perseant 			return 3;
    329  1.1  perseant 		}
    330  1.1  perseant 	}
    331  1.1  perseant 	rump_sys_close(fd);
    332  1.2  perseant 	fprintf(stderr, "%s: no problem\n", filename);
    333  1.2  perseant 	return 0;
    334  1.2  perseant }
    335  1.1  perseant 
    336  1.2  perseant /* Run a file system consistency check */
    337  1.2  perseant int fsck(void)
    338  1.2  perseant {
    339  1.2  perseant 	char s[MAXLINE];
    340  1.2  perseant 	int i, errors = 0;
    341  1.2  perseant 	FILE *pipe;
    342  1.2  perseant 	char cmd[MAXLINE];
    343  1.2  perseant 
    344  1.2  perseant 	for (i = 0; i < 2; i++) {
    345  1.2  perseant 		sprintf(cmd, "fsck_lfs -n -b %jd -f " IMGNAME,
    346  1.2  perseant 			(intmax_t)sbaddr[i]);
    347  1.2  perseant 		pipe = popen(cmd, "r");
    348  1.2  perseant 		while (fgets(s, MAXLINE, pipe) != NULL) {
    349  1.2  perseant 			if (isdigit((int)s[0])) /* "5 files ... " */
    350  1.2  perseant 				continue;
    351  1.2  perseant 			if (isspace((int)s[0]) || s[0] == '*')
    352  1.2  perseant 				continue;
    353  1.2  perseant 			if (strncmp(s, "Alternate", 9) == 0)
    354  1.2  perseant 				continue;
    355  1.2  perseant 			if (strncmp(s, "ROLL ", 5) == 0)
    356  1.2  perseant 				continue;
    357  1.2  perseant 			fprintf(stderr, "FSCK[sb@%lld]: %s", sbaddr[i], s);
    358  1.2  perseant 			++errors;
    359  1.2  perseant 		}
    360  1.2  perseant 		pclose(pipe);
    361  1.2  perseant 		if (errors) {
    362  1.2  perseant 			break;
    363  1.2  perseant 		}
    364  1.2  perseant 	}
    365  1.2  perseant 
    366  1.2  perseant 	return errors;
    367  1.1  perseant }
    368  1.4  perseant 
    369  1.4  perseant /* Run dumplfs */
    370  1.4  perseant void dumplfs(void)
    371  1.4  perseant {
    372  1.4  perseant #ifdef USE_DUMPLFS
    373  1.4  perseant 	char s[MAXLINE];
    374  1.4  perseant 	FILE *pipe;
    375  1.4  perseant 
    376  1.4  perseant 	pipe = popen("dumplfs -S -s 2 -s 1 -s 0 " IMGNAME, "r");
    377  1.4  perseant 	while (fgets(s, MAXLINE, pipe) != NULL)
    378  1.4  perseant 		fprintf(stderr, "DUMPLFS: %s", s);
    379  1.4  perseant 	pclose(pipe);
    380  1.4  perseant #endif /* USE_DUMPLFS */
    381  1.4  perseant }
    382