fsx: always check buffer after each operation

Add a new option to make fsx read the file after each operation and
compare it with the good buffer to try to catch corruptions as soon as
they occur.

Signed-off-by: Darrick J. Wong <darrick.wong@oracle.com>
Reviewed-By: Allison Henderson <allison.henderson@oracle.com>
Signed-off-by: Eryu Guan <guaneryu@gmail.com>
This commit is contained in:
Darrick J. Wong
2018-12-06 22:23:45 -08:00
committed by Eryu Guan
parent 1579ad7da4
commit 155cd617f3
+76 -10
View File
@@ -160,7 +160,8 @@ int punch_hole_calls = 1; /* -H flag disables */
int zero_range_calls = 1; /* -z flag disables */ int zero_range_calls = 1; /* -z flag disables */
int collapse_range_calls = 1; /* -C flag disables */ int collapse_range_calls = 1; /* -C flag disables */
int insert_range_calls = 1; /* -I flag disables */ int insert_range_calls = 1; /* -I flag disables */
int mapped_reads = 1; /* -R flag disables it */ int mapped_reads = 1; /* -R flag disables it */
int check_file = 0; /* -X flag enables */
int integrity = 0; /* -i flag */ int integrity = 0; /* -i flag */
int fsxgoodfd = 0; int fsxgoodfd = 0;
int o_direct; /* -Z */ int o_direct; /* -Z */
@@ -561,7 +562,7 @@ dump_fsync_buffer(void)
} }
void void
check_buffers(unsigned offset, unsigned size) check_buffers(char *buf, unsigned offset, unsigned size)
{ {
unsigned char c, t; unsigned char c, t;
unsigned i = 0; unsigned i = 0;
@@ -569,19 +570,19 @@ check_buffers(unsigned offset, unsigned size)
unsigned op = 0; unsigned op = 0;
unsigned bad = 0; unsigned bad = 0;
if (memcmp(good_buf + offset, temp_buf, size) != 0) { if (memcmp(good_buf + offset, buf, size) != 0) {
prt("READ BAD DATA: offset = 0x%x, size = 0x%x, fname = %s\n", prt("READ BAD DATA: offset = 0x%x, size = 0x%x, fname = %s\n",
offset, size, fname); offset, size, fname);
prt("OFFSET\tGOOD\tBAD\tRANGE\n"); prt("OFFSET\tGOOD\tBAD\tRANGE\n");
while (size > 0) { while (size > 0) {
c = good_buf[offset]; c = good_buf[offset];
t = temp_buf[i]; t = buf[i];
if (c != t) { if (c != t) {
if (n < 16) { if (n < 16) {
bad = short_at(&temp_buf[i]); bad = short_at(&buf[i]);
prt("0x%05x\t0x%04x\t0x%04x", offset, prt("0x%05x\t0x%04x\t0x%04x", offset,
short_at(&good_buf[offset]), bad); short_at(&good_buf[offset]), bad);
op = temp_buf[offset & 1 ? i+1 : i]; op = buf[offset & 1 ? i+1 : i];
prt("\t0x%05x\n", n); prt("\t0x%05x\n", n);
if (op) if (op)
prt("operation# (mod 256) for " prt("operation# (mod 256) for "
@@ -725,10 +726,9 @@ doread(unsigned offset, unsigned size)
iret, size); iret, size);
report_failure(141); report_failure(141);
} }
check_buffers(offset, size); check_buffers(temp_buf, offset, size);
} }
void void
check_eofpage(char *s, unsigned offset, char *p, int size) check_eofpage(char *s, unsigned offset, char *p, int size)
{ {
@@ -755,6 +755,65 @@ check_eofpage(char *s, unsigned offset, char *p, int size)
} }
} }
void
check_contents(void)
{
static char *check_buf;
unsigned offset = 0;
unsigned size = file_size;
unsigned map_offset;
unsigned map_size;
char *p;
off_t ret;
unsigned iret;
if (!check_buf) {
check_buf = (char *) malloc(maxfilelen + writebdy);
assert(check_buf != NULL);
check_buf = round_ptr_up(check_buf, writebdy, 0);
memset(check_buf, '\0', maxfilelen);
}
if (o_direct)
size -= size % readbdy;
if (size == 0)
return;
ret = lseek(fd, (off_t)offset, SEEK_SET);
if (ret == (off_t)-1) {
prterr("doread: lseek");
report_failure(140);
}
iret = fsxread(fd, check_buf, size, offset);
if (iret != size) {
if (iret == -1)
prterr("check_contents: read");
else
prt("short check read: 0x%x bytes instead of 0x%x\n",
iret, size);
report_failure(141);
}
check_buffers(check_buf, offset, size);
/* Map eof page, check it */
map_offset = size - (size & PAGE_MASK);
if (map_offset == size)
map_offset -= PAGE_SIZE;
map_size = size - map_offset;
p = mmap(0, map_size, PROT_READ, MAP_SHARED, fd, map_offset);
if (p == MAP_FAILED) {
prterr("check_contents: mmap");
report_failure(190);
}
check_eofpage("check_contents", map_offset, p, map_size);
if (munmap(p, map_size) != 0) {
prterr("check_contents: munmap");
report_failure(191);
}
}
void void
domapread(unsigned offset, unsigned size) domapread(unsigned offset, unsigned size)
@@ -808,7 +867,7 @@ domapread(unsigned offset, unsigned size)
report_failure(191); report_failure(191);
} }
check_buffers(offset, size); check_buffers(temp_buf, offset, size);
} }
@@ -1624,6 +1683,9 @@ have_op:
break; break;
} }
if (check_file && testcalls > simulatedopcount)
check_contents();
out: out:
if (sizechecks && testcalls > simulatedopcount) if (sizechecks && testcalls > simulatedopcount)
check_size(); check_size();
@@ -1684,6 +1746,7 @@ usage(void)
-P: save .fsxlog .fsxops and .fsxgood files in dirpath (default ./)\n\ -P: save .fsxlog .fsxops and .fsxgood files in dirpath (default ./)\n\
-S seed: for random # generator (default 1) 0 gets timestamp\n\ -S seed: for random # generator (default 1) 0 gets timestamp\n\
-W: mapped write operations DISabled\n\ -W: mapped write operations DISabled\n\
-X: Read file and compare to good buffer after every operation.\n\
-R: read() system calls only (mapped reads disabled)\n\ -R: read() system calls only (mapped reads disabled)\n\
-Z: O_DIRECT (use -R, -W, -r and -w too)\n\ -Z: O_DIRECT (use -R, -W, -r and -w too)\n\
--replay-ops opsfile: replay ops from recorded .fsxops file\n\ --replay-ops opsfile: replay ops from recorded .fsxops file\n\
@@ -1880,7 +1943,7 @@ main(int argc, char **argv)
setvbuf(stdout, (char *)0, _IOLBF, 0); /* line buffered stdout */ setvbuf(stdout, (char *)0, _IOLBF, 0); /* line buffered stdout */
while ((ch = getopt_long(argc, argv, while ((ch = getopt_long(argc, argv,
"b:c:dfg:i:j:kl:m:no:p:qr:s:t:w:xyAD:FKHzCILN:OP:RS:WZ", "b:c:dfg:i:j:kl:m:no:p:qr:s:t:w:xyAD:FKHzCILN:OP:RS:WXZ",
longopts, NULL)) != EOF) longopts, NULL)) != EOF)
switch (ch) { switch (ch) {
case 'b': case 'b':
@@ -2044,6 +2107,9 @@ main(int argc, char **argv)
if (!quiet) if (!quiet)
prt("mapped writes DISABLED\n"); prt("mapped writes DISABLED\n");
break; break;
case 'X':
check_file = 1;
break;
case 'Z': case 'Z':
o_direct = O_DIRECT; o_direct = O_DIRECT;
o_flags |= O_DIRECT; o_flags |= O_DIRECT;