runners: emubd/kiwibd: Adopted emulated simtime API
This is based on some work in external benchmarks. What's worked well
there is emulating a global simtime based on per-byte estimates.
This moves the emulated simtime into emubd/kiwibd, and extends the idea
with both per-byte and per-op timing estimates for hopefully more
realistic results.
---
The problem is how NAND flash reads work.
Per-byte timing estimates are surprisingly accurate for NOR flash. There
is some overhead for sending the address, but it's mostly dominated by
bus cost (~20ns/B [1]).
NAND flash, on the otherhand, technically does support byte-level reads,
but first needs to read into 2KiB buffer. Surprisingly, these are pretty
close in cost (~19ns/B bus [2] vs ~12ns/B buffer [2]).
This close-ness makes modeling NAND flash difficult. If we set
read_size=1, we risk hiding the cost of small reads, which littlefs3 is
full of (rbyd lookups). If we set read_size=2048, we unfairly penalize
littlefs3 for the same reason.
---
The solution here is to expose both per-byte and per-op timing
estimates. This lets you model NAND reads using two data points:
^
| realtime --> ...............o
| : .....'''' :
| ...............:'''' ^ :
| :....''''' | :
| ..........:::::: simtime :
| .....:'''' :
|o....:::::.....: :
|: :
|: :
+:-----------------------------------------------------------:>
min read max read
Where:
bus_timing = 19ns
buffer_timing = 25us
buffer_size = 2KiB
erase_size = 128KiB
min_read = buffer_timing
max_read = (erase_size/buffer_size)*buffer_timing - buffer_timing
read_timing = min_read
readed_timing = ((max_read - min_read)/erase_size) + bus_timing
simtime = reads*read_timing + readed*readed_timing
(per-op) (per-byte)
This should correctly penalize small reads without complicating
emubd/kiwibd too much.
That's the idea anyways! It will take some use to understand if this is
a reasonable approach.
As a plus, this is a superset of the per-byte model, so both can be used
for realistic vs idealistic simulations (and to test the bus+buffer
model itself).
1: https://www.winbond.com/resource-files/W25Q256JV%20SPI%20RevQ%2002072025%20Plus.pdf
2: https://www.winbond.com/resource-files/W25N01GV%20Rev%20R%20070323.pdf
This commit is contained in:
+52
-52
@@ -48,7 +48,7 @@ code = '''
|
||||
lfs3_size_t badblock = (BADBLOCK == -1) ? i : BADBLOCK;
|
||||
printf("--- badblock: 0x%x ---\n", badblock);
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// test creating a btree
|
||||
lfs3_t lfs3;
|
||||
@@ -131,7 +131,7 @@ code = '''
|
||||
lfs3_deinit(&lfs3) => 0;
|
||||
|
||||
// reset badblock
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -157,7 +157,7 @@ code = '''
|
||||
lfs3_size_t badblock = (BADBLOCK == -1) ? i : BADBLOCK;
|
||||
printf("--- badblock: 0x%x ---\n", badblock);
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// test creating directories
|
||||
lfs3_t lfs3;
|
||||
@@ -246,7 +246,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badblock
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -275,7 +275,7 @@ code = '''
|
||||
lfs3_size_t badblock = (BADBLOCK == -1) ? i : BADBLOCK;
|
||||
printf("--- badblock: 0x%x ---\n", badblock);
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// test fuzz with dirs
|
||||
lfs3_t lfs3;
|
||||
@@ -432,7 +432,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badblock
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -470,7 +470,7 @@ code = '''
|
||||
lfs3_size_t badblock = (BADBLOCK == -1) ? i : BADBLOCK;
|
||||
printf("--- badblock: 0x%x ---\n", badblock);
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// test creating files
|
||||
lfs3_t lfs3;
|
||||
@@ -543,7 +543,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badblock
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -584,7 +584,7 @@ code = '''
|
||||
lfs3_size_t badblock = (BADBLOCK == -1) ? i : BADBLOCK;
|
||||
printf("--- badblock: 0x%x ---\n", badblock);
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// test fuzz with files
|
||||
lfs3_t lfs3;
|
||||
@@ -793,7 +793,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badblock
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -841,7 +841,7 @@ code = '''
|
||||
lfs3_size_t badblock = (BADBLOCK == -1) ? i : BADBLOCK;
|
||||
printf("--- badblock: 0x%x ---\n", badblock);
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// test with complex file writes
|
||||
lfs3_t lfs3;
|
||||
@@ -963,7 +963,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badblock
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -1006,7 +1006,7 @@ code = '''
|
||||
lfs3_size_t badblock = (BADBLOCK == -1) ? i : BADBLOCK;
|
||||
printf("--- badblock: 0x%x ---\n", badblock);
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// test with uncreats, zombies, etc
|
||||
lfs3_t lfs3;
|
||||
@@ -1419,7 +1419,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badblock
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -1462,7 +1462,7 @@ code = '''
|
||||
lfs3_size_t badblock = (BADBLOCK == -1) ? i : BADBLOCK;
|
||||
printf("--- badblock: 0x%x ---\n", badblock);
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// test with uncreats, zombies, dirs, etc
|
||||
lfs3_t lfs3;
|
||||
@@ -1971,7 +1971,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badblock
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -2009,9 +2009,9 @@ code = '''
|
||||
for (lfs3_size_t i = 0; i < BLOCK_COUNT/2; i++) {
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
lfs3_emubd_markbad(CFG, i) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i) => 0;
|
||||
} else {
|
||||
lfs3_emubd_markbad(CFG, i + BLOCK_COUNT/2) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i + BLOCK_COUNT/2) => 0;
|
||||
}
|
||||
}
|
||||
|
||||
@@ -2116,11 +2116,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (i >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i) => 0;
|
||||
}
|
||||
} else {
|
||||
if (i+BLOCK_COUNT/2 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -2235,11 +2235,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (i >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i) => 0;
|
||||
}
|
||||
} else {
|
||||
if (i+BLOCK_COUNT/2 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -2431,11 +2431,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (i >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i) => 0;
|
||||
}
|
||||
} else {
|
||||
if (i+BLOCK_COUNT/2 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -2546,11 +2546,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (i >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i) => 0;
|
||||
}
|
||||
} else {
|
||||
if (i+BLOCK_COUNT/2 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -2804,11 +2804,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (i >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i) => 0;
|
||||
}
|
||||
} else {
|
||||
if (i+BLOCK_COUNT/2 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -2970,11 +2970,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (i >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i) => 0;
|
||||
}
|
||||
} else {
|
||||
if (i+BLOCK_COUNT/2 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -3427,11 +3427,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (i >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i) => 0;
|
||||
}
|
||||
} else {
|
||||
if (i+BLOCK_COUNT/2 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
lfs3_emubd_mkbad(CFG, i+BLOCK_COUNT/2) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -3976,9 +3976,9 @@ code = '''
|
||||
for (lfs3_size_t i = 0; i < BLOCK_COUNT/2; i++) {
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+0) => 0;
|
||||
} else {
|
||||
lfs3_emubd_markbad(CFG, 2*i+1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+1) => 0;
|
||||
}
|
||||
}
|
||||
|
||||
@@ -4083,11 +4083,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (2*i+0 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+0) => 0;
|
||||
}
|
||||
} else {
|
||||
if (2*i+1 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+1) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -4202,11 +4202,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (2*i+0 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+0) => 0;
|
||||
}
|
||||
} else {
|
||||
if (2*i+1 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+1) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -4398,11 +4398,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (2*i+0 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+0) => 0;
|
||||
}
|
||||
} else {
|
||||
if (2*i+1 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+1) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -4513,11 +4513,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (2*i+0 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+0) => 0;
|
||||
}
|
||||
} else {
|
||||
if (2*i+1 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+1) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -4771,11 +4771,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (2*i+0 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+0) => 0;
|
||||
}
|
||||
} else {
|
||||
if (2*i+1 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+1) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -4935,11 +4935,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (2*i+0 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+0) => 0;
|
||||
}
|
||||
} else {
|
||||
if (2*i+1 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+1) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -5392,11 +5392,11 @@ code = '''
|
||||
// mark our badblock as bad
|
||||
if (!MIRROR) {
|
||||
if (2*i+0 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+0) => 0;
|
||||
}
|
||||
} else {
|
||||
if (2*i+1 >= FORMAT_BLOCK_COUNT) {
|
||||
lfs3_emubd_markbad(CFG, 2*i+1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 2*i+1) => 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -5924,10 +5924,10 @@ defines.BADBLOCK_BEHAVIOR = [
|
||||
]
|
||||
code = '''
|
||||
if (BADBLOCKS & 0x1) {
|
||||
lfs3_emubd_markbad(CFG, 0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 0) => 0;
|
||||
}
|
||||
if (BADBLOCKS & 0x2) {
|
||||
lfs3_emubd_markbad(CFG, 1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 1) => 0;
|
||||
}
|
||||
|
||||
lfs3_t lfs3;
|
||||
@@ -5955,10 +5955,10 @@ code = '''
|
||||
CFG) => 0;
|
||||
|
||||
if (BADBLOCKS & 0x1) {
|
||||
lfs3_emubd_markbad(CFG, 0) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 0) => 0;
|
||||
}
|
||||
if (BADBLOCKS & 0x2) {
|
||||
lfs3_emubd_markbad(CFG, 1) => 0;
|
||||
lfs3_emubd_mkbad(CFG, 1) => 0;
|
||||
}
|
||||
|
||||
lfs3_mount(&lfs3,
|
||||
|
||||
+24
-24
@@ -1493,7 +1493,7 @@ code = '''
|
||||
(lfs3_size_t)BADBLOCK, badbit/8, badbit, badbit/8, badbit%8);
|
||||
|
||||
// mark our badbit as bad
|
||||
lfs3_emubd_markbadbit(CFG, BADBLOCK, badbit) => 0;
|
||||
lfs3_emubd_mkbadbit(CFG, BADBLOCK, badbit) => 0;
|
||||
|
||||
// formatting the filesystem may already find the bit error
|
||||
lfs3_t lfs3;
|
||||
@@ -1552,7 +1552,7 @@ code = '''
|
||||
|
||||
corrupt:;
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, BADBLOCK) => 0;
|
||||
lfs3_emubd_mkgood(CFG, BADBLOCK) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -1610,7 +1610,7 @@ code = '''
|
||||
badblock, badbit/8, badbit, badbit/8, badbit%8);
|
||||
|
||||
// mark our badbit as bad
|
||||
lfs3_emubd_markbadbit(CFG, badblock, badbit) => 0;
|
||||
lfs3_emubd_mkbadbit(CFG, badblock, badbit) => 0;
|
||||
|
||||
// format
|
||||
lfs3_t lfs3;
|
||||
@@ -1660,7 +1660,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -1721,7 +1721,7 @@ code = '''
|
||||
badblock, badbit/8, badbit, badbit/8, badbit%8);
|
||||
|
||||
// mark our badbit as bad
|
||||
lfs3_emubd_markbadbit(CFG, badblock, badbit) => 0;
|
||||
lfs3_emubd_mkbadbit(CFG, badblock, badbit) => 0;
|
||||
|
||||
// format
|
||||
lfs3_t lfs3;
|
||||
@@ -1771,7 +1771,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -1816,8 +1816,8 @@ code = '''
|
||||
badbit_/8, badbit_%8);
|
||||
|
||||
// mark our badbits as bad
|
||||
lfs3_emubd_markbadbit(CFG, BADBLOCK, badbit) => 0;
|
||||
lfs3_emubd_markbadbit(CFG, BADBLOCK_, badbit_) => 0;
|
||||
lfs3_emubd_mkbadbit(CFG, BADBLOCK, badbit) => 0;
|
||||
lfs3_emubd_mkbadbit(CFG, BADBLOCK_, badbit_) => 0;
|
||||
|
||||
// keep track of open files so we clean up correctly
|
||||
lfs3_file_t files[N];
|
||||
@@ -1980,8 +1980,8 @@ code = '''
|
||||
|
||||
corrupt:;
|
||||
// reset badbits
|
||||
lfs3_emubd_markgood(CFG, BADBLOCK) => 0;
|
||||
lfs3_emubd_markgood(CFG, BADBLOCK_) => 0;
|
||||
lfs3_emubd_mkgood(CFG, BADBLOCK) => 0;
|
||||
lfs3_emubd_mkgood(CFG, BADBLOCK_) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -2063,7 +2063,7 @@ code = '''
|
||||
|
||||
corrupt:;
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, BADBLOCK) => 0;
|
||||
lfs3_emubd_mkgood(CFG, BADBLOCK) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -2171,7 +2171,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -2282,7 +2282,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -2346,7 +2346,7 @@ code = '''
|
||||
(lfs3_size_t)BADBLOCK, badbit/8, badbit, badbit/8, badbit%8);
|
||||
|
||||
// mark our badbit as bad
|
||||
lfs3_emubd_markbadbit(CFG, BADBLOCK, badbit) => 0;
|
||||
lfs3_emubd_mkbadbit(CFG, BADBLOCK, badbit) => 0;
|
||||
|
||||
// With metastability, basically any filesystem operation can
|
||||
// return LFS3_ERR_CORRUPT. This is ok, what we're really testing
|
||||
@@ -2430,7 +2430,7 @@ code = '''
|
||||
|
||||
corrupt:;
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, BADBLOCK) => 0;
|
||||
lfs3_emubd_mkgood(CFG, BADBLOCK) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -2504,7 +2504,7 @@ code = '''
|
||||
badblock, badbit/8, badbit, badbit/8, badbit%8);
|
||||
|
||||
// mark our badbit as bad
|
||||
lfs3_emubd_markbadbit(CFG, badblock, badbit) => 0;
|
||||
lfs3_emubd_mkbadbit(CFG, badblock, badbit) => 0;
|
||||
|
||||
// With metastability, basically any filesystem operation can
|
||||
// return LFS3_ERR_CORRUPT. This is ok, what we're really testing
|
||||
@@ -2573,7 +2573,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -2641,7 +2641,7 @@ code = '''
|
||||
badblock, badbit/8, badbit, badbit/8, badbit%8);
|
||||
|
||||
// mark our badbit as bad
|
||||
lfs3_emubd_markbadbit(CFG, badblock, badbit) => 0;
|
||||
lfs3_emubd_mkbadbit(CFG, badblock, badbit) => 0;
|
||||
|
||||
// With metastability, basically any filesystem operation can
|
||||
// return LFS3_ERR_CORRUPT. This is ok, what we're really testing
|
||||
@@ -2710,7 +2710,7 @@ code = '''
|
||||
lfs3_unmount(&lfs3) => 0;
|
||||
|
||||
// reset badbit
|
||||
lfs3_emubd_markgood(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkgood(CFG, badblock) => 0;
|
||||
}
|
||||
'''
|
||||
|
||||
@@ -2818,7 +2818,7 @@ code = '''
|
||||
// bit differently
|
||||
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// manually flipping? flip all badbits in badblocks
|
||||
if (BADBLOCK_BEHAVIOR == LFS3_EMUBD_BADBLOCK_MANUAL) {
|
||||
@@ -3136,7 +3136,7 @@ code = '''
|
||||
// bit differently
|
||||
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// manually flipping? flip all badbits in badblocks
|
||||
if (BADBLOCK_BEHAVIOR == LFS3_EMUBD_BADBLOCK_MANUAL) {
|
||||
@@ -3552,7 +3552,7 @@ code = '''
|
||||
// bit differently
|
||||
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// manually flipping? flip all badbits in badblocks
|
||||
if (BADBLOCK_BEHAVIOR == LFS3_EMUBD_BADBLOCK_MANUAL) {
|
||||
@@ -3837,7 +3837,7 @@ code = '''
|
||||
// bit differently
|
||||
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// manually flipping? flip all badbits in badblocks
|
||||
if (BADBLOCK_BEHAVIOR == LFS3_EMUBD_BADBLOCK_MANUAL) {
|
||||
@@ -4441,7 +4441,7 @@ code = '''
|
||||
// bit differently
|
||||
|
||||
// mark our badblock as bad
|
||||
lfs3_emubd_markbad(CFG, badblock) => 0;
|
||||
lfs3_emubd_mkbad(CFG, badblock) => 0;
|
||||
|
||||
// manually flipping? flip all badbits in badblocks
|
||||
if (BADBLOCK_BEHAVIOR == LFS3_EMUBD_BADBLOCK_MANUAL) {
|
||||
|
||||
Reference in New Issue
Block a user