test_runner.c 75 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346
  1. #ifndef _POSIX_C_SOURCE
  2. #define _POSIX_C_SOURCE 199309L
  3. #endif
  4. #include "runners/test_runner.h"
  5. #include "bd/lfs_testbd.h"
  6. #include <getopt.h>
  7. #include <sys/types.h>
  8. #include <errno.h>
  9. #include <setjmp.h>
  10. #include <fcntl.h>
  11. #include <stdarg.h>
  12. #include <stdio.h>
  13. #include <unistd.h>
  14. // some helpers
  15. // append to an array with amortized doubling
  16. void *mappend(void **p,
  17. size_t size,
  18. size_t *count,
  19. size_t *capacity) {
  20. uint8_t *p_ = *p;
  21. size_t count_ = *count;
  22. size_t capacity_ = *capacity;
  23. count_ += 1;
  24. if (count_ > capacity_) {
  25. capacity_ = (2*capacity_ < 4) ? 4 : 2*capacity_;
  26. p_ = realloc(p_, capacity_*size);
  27. if (!p_) {
  28. return NULL;
  29. }
  30. }
  31. *p = p_;
  32. *count = count_;
  33. *capacity = capacity_;
  34. return &p_[(count_-1)*size];
  35. }
  36. // a quick self-terminating text-safe varint scheme
  37. static void leb16_print(uintmax_t x) {
  38. while (true) {
  39. lfs_testbd_powercycles_t nibble = (x & 0xf) | (x > 0xf ? 0x10 : 0);
  40. printf("%c", (nibble < 10) ? '0'+nibble : 'a'+nibble-10);
  41. if (x <= 0xf) {
  42. break;
  43. }
  44. x >>= 4;
  45. }
  46. }
  47. static uintmax_t leb16_parse(const char *s, char **tail) {
  48. uintmax_t x = 0;
  49. size_t i = 0;
  50. while (true) {
  51. uintmax_t nibble = s[i];
  52. if (nibble >= '0' && nibble <= '9') {
  53. nibble = nibble - '0';
  54. } else if (nibble >= 'a' && nibble <= 'v') {
  55. nibble = nibble - 'a' + 10;
  56. } else {
  57. // invalid?
  58. if (tail) {
  59. *tail = (char*)s;
  60. }
  61. return 0;
  62. }
  63. x |= (nibble & 0xf) << (4*i);
  64. i += 1;
  65. if (!(nibble & 0x10)) {
  66. break;
  67. }
  68. }
  69. if (tail) {
  70. *tail = (char*)s + i;
  71. }
  72. return x;
  73. }
  74. // test_runner types
  75. typedef struct test_geometry {
  76. char short_name;
  77. const char *long_name;
  78. test_define_t defines[TEST_GEOMETRY_DEFINE_COUNT];
  79. } test_geometry_t;
  80. typedef struct test_powerloss {
  81. char short_name;
  82. const char *long_name;
  83. void (*run)(
  84. const lfs_testbd_powercycles_t *cycles,
  85. size_t cycle_count,
  86. const struct test_suite *suite,
  87. const struct test_case *case_);
  88. const lfs_testbd_powercycles_t *cycles;
  89. size_t cycle_count;
  90. } test_powerloss_t;
  91. typedef struct test_id {
  92. const char *suite;
  93. const char *case_;
  94. const test_define_t *defines;
  95. size_t define_count;
  96. const lfs_testbd_powercycles_t *cycles;
  97. size_t cycle_count;
  98. } test_id_t;
  99. // test suites are linked into a custom ld section
  100. extern struct test_suite __start__test_suites;
  101. extern struct test_suite __stop__test_suites;
  102. const struct test_suite *test_suites = &__start__test_suites;
  103. #define TEST_SUITE_COUNT \
  104. ((size_t)(&__stop__test_suites - &__start__test_suites))
  105. // test define management
  106. typedef struct test_define_map {
  107. const test_define_t *defines;
  108. size_t count;
  109. } test_define_map_t;
  110. typedef struct test_define_names {
  111. const char *const *names;
  112. size_t count;
  113. } test_define_names_t;
  114. intmax_t test_define_lit(void *data) {
  115. return (intmax_t)data;
  116. }
  117. #define TEST_LIT(x) {test_define_lit, (void*)(uintptr_t)(x)}
  118. #define TEST_DEFINE(k, v) \
  119. intmax_t test_define_##k(void *data) { \
  120. (void)data; \
  121. return v; \
  122. }
  123. TEST_IMPLICIT_DEFINES
  124. #undef TEST_DEFINE
  125. #define TEST_DEFINE_MAP_EXPLICIT 0
  126. #define TEST_DEFINE_MAP_OVERRIDE 1
  127. #define TEST_DEFINE_MAP_PERMUTATION 2
  128. #define TEST_DEFINE_MAP_GEOMETRY 3
  129. #define TEST_DEFINE_MAP_IMPLICIT 4
  130. #define TEST_DEFINE_MAP_COUNT 5
  131. test_define_map_t test_define_maps[TEST_DEFINE_MAP_COUNT] = {
  132. [TEST_DEFINE_MAP_IMPLICIT] = {
  133. (const test_define_t[TEST_IMPLICIT_DEFINE_COUNT]) {
  134. #define TEST_DEFINE(k, v) \
  135. [k##_i] = {test_define_##k, NULL},
  136. TEST_IMPLICIT_DEFINES
  137. #undef TEST_DEFINE
  138. },
  139. TEST_IMPLICIT_DEFINE_COUNT,
  140. },
  141. };
  142. #define TEST_DEFINE_NAMES_SUITE 0
  143. #define TEST_DEFINE_NAMES_IMPLICIT 1
  144. #define TEST_DEFINE_NAMES_COUNT 2
  145. test_define_names_t test_define_names[TEST_DEFINE_NAMES_COUNT] = {
  146. [TEST_DEFINE_NAMES_IMPLICIT] = {
  147. (const char *const[TEST_IMPLICIT_DEFINE_COUNT]){
  148. #define TEST_DEFINE(k, v) \
  149. [k##_i] = #k,
  150. TEST_IMPLICIT_DEFINES
  151. #undef TEST_DEFINE
  152. },
  153. TEST_IMPLICIT_DEFINE_COUNT,
  154. },
  155. };
  156. intmax_t *test_define_cache;
  157. size_t test_define_cache_count;
  158. unsigned *test_define_cache_mask;
  159. const char *test_define_name(size_t define) {
  160. // lookup in our test names
  161. for (size_t i = 0; i < TEST_DEFINE_NAMES_COUNT; i++) {
  162. if (define < test_define_names[i].count
  163. && test_define_names[i].names
  164. && test_define_names[i].names[define]) {
  165. return test_define_names[i].names[define];
  166. }
  167. }
  168. return NULL;
  169. }
  170. bool test_define_ispermutation(size_t define) {
  171. // is this define specific to the permutation?
  172. for (size_t i = 0; i < TEST_DEFINE_MAP_IMPLICIT; i++) {
  173. if (define < test_define_maps[i].count
  174. && test_define_maps[i].defines[define].cb) {
  175. return true;
  176. }
  177. }
  178. return false;
  179. }
  180. intmax_t test_define(size_t define) {
  181. // is the define in our cache?
  182. if (define < test_define_cache_count
  183. && (test_define_cache_mask[define/(8*sizeof(unsigned))]
  184. & (1 << (define%(8*sizeof(unsigned)))))) {
  185. return test_define_cache[define];
  186. }
  187. // lookup in our test defines
  188. for (size_t i = 0; i < TEST_DEFINE_MAP_COUNT; i++) {
  189. if (define < test_define_maps[i].count
  190. && test_define_maps[i].defines[define].cb) {
  191. intmax_t v = test_define_maps[i].defines[define].cb(
  192. test_define_maps[i].defines[define].data);
  193. // insert into cache!
  194. test_define_cache[define] = v;
  195. test_define_cache_mask[define / (8*sizeof(unsigned))]
  196. |= 1 << (define%(8*sizeof(unsigned)));
  197. return v;
  198. }
  199. }
  200. return 0;
  201. // not found?
  202. const char *name = test_define_name(define);
  203. fprintf(stderr, "error: undefined define %s (%zd)\n",
  204. name ? name : "(unknown)",
  205. define);
  206. assert(false);
  207. exit(-1);
  208. }
  209. void test_define_flush(void) {
  210. // clear cache between permutations
  211. memset(test_define_cache_mask, 0,
  212. sizeof(unsigned)*(
  213. (test_define_cache_count+(8*sizeof(unsigned))-1)
  214. / (8*sizeof(unsigned))));
  215. }
  216. // geometry updates
  217. const test_geometry_t *test_geometry = NULL;
  218. void test_define_geometry(const test_geometry_t *geometry) {
  219. test_define_maps[TEST_DEFINE_MAP_GEOMETRY] = (test_define_map_t){
  220. geometry->defines, TEST_GEOMETRY_DEFINE_COUNT};
  221. }
  222. // override updates
  223. typedef struct test_override {
  224. const char *name;
  225. intmax_t define;
  226. } test_override_t;
  227. const test_override_t *test_overrides = NULL;
  228. size_t test_override_count = 0;
  229. void test_define_overrides(
  230. const test_override_t *overrides,
  231. size_t override_count) {
  232. test_overrides = overrides;
  233. test_override_count = override_count;
  234. }
  235. // suite/perm updates
  236. void test_define_suite(const struct test_suite *suite) {
  237. test_define_names[TEST_DEFINE_NAMES_SUITE] = (test_define_names_t){
  238. suite->define_names, suite->define_count};
  239. // make sure our cache is large enough
  240. if (lfs_max(suite->define_count, TEST_IMPLICIT_DEFINE_COUNT)
  241. > test_define_cache_count) {
  242. // align to power of two to avoid any superlinear growth
  243. size_t ncount = 1 << lfs_npw2(
  244. lfs_max(suite->define_count, TEST_IMPLICIT_DEFINE_COUNT));
  245. test_define_cache = realloc(test_define_cache, ncount*sizeof(intmax_t));
  246. test_define_cache_mask = realloc(test_define_cache_mask,
  247. sizeof(unsigned)*(
  248. (ncount+(8*sizeof(unsigned))-1)
  249. / (8*sizeof(unsigned))));
  250. test_define_cache_count = ncount;
  251. }
  252. // map any overrides
  253. if (test_override_count > 0) {
  254. // make sure our override arrays are big enough
  255. if (suite->define_count
  256. > test_define_maps[TEST_DEFINE_MAP_OVERRIDE].count) {
  257. // align to power of two to avoid any superlinear growth
  258. size_t ncount = 1 << lfs_npw2(suite->define_count);
  259. test_define_maps[TEST_DEFINE_MAP_OVERRIDE].defines = realloc(
  260. (test_define_t*)test_define_maps[
  261. TEST_DEFINE_MAP_OVERRIDE].defines,
  262. ncount*sizeof(test_define_t));
  263. test_define_maps[TEST_DEFINE_MAP_OVERRIDE].count = ncount;
  264. }
  265. for (size_t i = 0;
  266. i < test_define_maps[TEST_DEFINE_MAP_OVERRIDE].count;
  267. i++) {
  268. ((test_define_t*)test_define_maps[
  269. TEST_DEFINE_MAP_OVERRIDE].defines)[i]
  270. = (test_define_t){NULL};
  271. const char *name = test_define_name(i);
  272. if (!name) {
  273. continue;
  274. }
  275. for (size_t j = 0; j < test_override_count; j++) {
  276. if (strcmp(name, test_overrides[j].name) == 0) {
  277. ((test_define_t*)test_define_maps[
  278. TEST_DEFINE_MAP_OVERRIDE].defines)[i]
  279. = (test_define_t)TEST_LIT(test_overrides[j].define);
  280. break;
  281. }
  282. }
  283. }
  284. }
  285. }
  286. void test_define_perm(
  287. const struct test_suite *suite,
  288. const struct test_case *case_,
  289. size_t perm) {
  290. if (case_->defines) {
  291. test_define_maps[TEST_DEFINE_MAP_PERMUTATION] = (test_define_map_t){
  292. case_->defines[perm], suite->define_count};
  293. } else {
  294. test_define_maps[TEST_DEFINE_MAP_PERMUTATION] = (test_define_map_t){
  295. NULL, 0};
  296. }
  297. }
  298. void test_define_explicit(
  299. const test_define_t *defines,
  300. size_t define_count) {
  301. test_define_maps[TEST_DEFINE_MAP_EXPLICIT] = (test_define_map_t){
  302. defines, define_count};
  303. }
  304. void test_define_cleanup(void) {
  305. // test define management can allocate a few things
  306. free(test_define_cache);
  307. free(test_define_cache_mask);
  308. free((test_define_t*)test_define_maps[TEST_DEFINE_MAP_OVERRIDE].defines);
  309. }
  310. // test state
  311. extern const test_geometry_t *test_geometries;
  312. extern size_t test_geometry_count;
  313. extern const test_powerloss_t *test_powerlosses;
  314. extern size_t test_powerloss_count;
  315. const test_id_t *test_ids = (const test_id_t[]) {
  316. {NULL, NULL, NULL, 0, NULL, 0},
  317. };
  318. size_t test_id_count = 1;
  319. size_t test_step_start = 0;
  320. size_t test_step_stop = -1;
  321. size_t test_step_step = 1;
  322. const char *test_disk_path = NULL;
  323. const char *test_trace_path = NULL;
  324. FILE *test_trace_file = NULL;
  325. uint32_t test_trace_cycles = 0;
  326. lfs_testbd_sleep_t test_read_sleep = 0.0;
  327. lfs_testbd_sleep_t test_prog_sleep = 0.0;
  328. lfs_testbd_sleep_t test_erase_sleep = 0.0;
  329. // trace printing
  330. void test_trace(const char *fmt, ...) {
  331. if (test_trace_path) {
  332. if (!test_trace_file) {
  333. // Tracing output is heavy and trying to open every trace
  334. // call is slow, so we only try to open the trace file every
  335. // so often. Note this doesn't affect successfully opened files
  336. if (test_trace_cycles % 128 != 0) {
  337. test_trace_cycles += 1;
  338. return;
  339. }
  340. test_trace_cycles += 1;
  341. int fd;
  342. if (strcmp(test_trace_path, "-") == 0) {
  343. fd = dup(1);
  344. if (fd < 0) {
  345. return;
  346. }
  347. } else {
  348. fd = open(
  349. test_trace_path,
  350. O_WRONLY | O_CREAT | O_APPEND | O_NONBLOCK,
  351. 0666);
  352. if (fd < 0) {
  353. return;
  354. }
  355. int err = fcntl(fd, F_SETFL, O_WRONLY | O_CREAT | O_APPEND);
  356. assert(!err);
  357. }
  358. FILE *f = fdopen(fd, "a");
  359. assert(f);
  360. int err = setvbuf(f, NULL, _IOLBF, BUFSIZ);
  361. assert(!err);
  362. test_trace_file = f;
  363. }
  364. va_list va;
  365. va_start(va, fmt);
  366. int res = vfprintf(test_trace_file, fmt, va);
  367. if (res < 0) {
  368. fclose(test_trace_file);
  369. test_trace_file = NULL;
  370. }
  371. va_end(va);
  372. }
  373. }
  374. // encode our permutation into a reusable id
  375. static void perm_printid(
  376. const struct test_suite *suite,
  377. const struct test_case *case_,
  378. const lfs_testbd_powercycles_t *cycles,
  379. size_t cycle_count) {
  380. (void)suite;
  381. // suite[:case[:permutation[:powercycles]]]]
  382. printf("%s:", case_->id);
  383. for (size_t d = 0;
  384. d < lfs_max(
  385. suite->define_count,
  386. TEST_IMPLICIT_DEFINE_COUNT);
  387. d++) {
  388. if (test_define_ispermutation(d)) {
  389. leb16_print(d);
  390. leb16_print(test_define(d));
  391. }
  392. }
  393. // only print power-cycles if any occured
  394. if (cycles) {
  395. printf(":");
  396. for (size_t i = 0; i < cycle_count; i++) {
  397. leb16_print(cycles[i]);
  398. }
  399. }
  400. }
  401. static void run_powerloss_cycles(
  402. const lfs_testbd_powercycles_t *cycles,
  403. size_t cycle_count,
  404. const struct test_suite *suite,
  405. const struct test_case *case_);
  406. // iterate through permutations in a test case
  407. static void case_forperm(
  408. const struct test_suite *suite,
  409. const struct test_case *case_,
  410. const test_define_t *defines,
  411. size_t define_count,
  412. const lfs_testbd_powercycles_t *cycles,
  413. size_t cycle_count,
  414. void (*cb)(
  415. void *data,
  416. const struct test_suite *suite,
  417. const struct test_case *case_,
  418. const test_powerloss_t *powerloss),
  419. void *data) {
  420. if (defines) {
  421. test_define_explicit(defines, define_count);
  422. test_define_flush();
  423. if (cycles) {
  424. cb(data, suite, case_, &(test_powerloss_t){
  425. .run=run_powerloss_cycles,
  426. .cycles=cycles,
  427. .cycle_count=cycle_count});
  428. } else {
  429. for (size_t p = 0; p < test_powerloss_count; p++) {
  430. // skip non-reentrant tests when powerloss testing
  431. if (test_powerlosses[p].short_name != '0'
  432. && !(case_->flags & TEST_REENTRANT)) {
  433. continue;
  434. }
  435. cb(data, suite, case_, &test_powerlosses[p]);
  436. }
  437. }
  438. } else {
  439. for (size_t k = 0; k < case_->permutations; k++) {
  440. // define permutation
  441. test_define_perm(suite, case_, k);
  442. for (size_t g = 0; g < test_geometry_count; g++) {
  443. // define geometry
  444. test_define_geometry(&test_geometries[g]);
  445. test_define_flush();
  446. if (cycles) {
  447. cb(data, suite, case_, &(test_powerloss_t){
  448. .run=run_powerloss_cycles,
  449. .cycles=cycles,
  450. .cycle_count=cycle_count});
  451. } else {
  452. for (size_t p = 0; p < test_powerloss_count; p++) {
  453. // skip non-reentrant tests when powerloss testing
  454. if (test_powerlosses[p].short_name != '0'
  455. && !(case_->flags & TEST_REENTRANT)) {
  456. continue;
  457. }
  458. cb(data, suite, case_, &test_powerlosses[p]);
  459. }
  460. }
  461. }
  462. }
  463. }
  464. }
  465. // how many permutations are there actually in a test case
  466. struct perm_count_state {
  467. size_t total;
  468. size_t filtered;
  469. };
  470. void perm_count(
  471. void *data,
  472. const struct test_suite *suite,
  473. const struct test_case *case_,
  474. const test_powerloss_t *powerloss) {
  475. struct perm_count_state *state = data;
  476. (void)suite;
  477. (void)case_;
  478. (void)powerloss;
  479. state->total += 1;
  480. if (case_->filter && !case_->filter()) {
  481. return;
  482. }
  483. state->filtered += 1;
  484. }
  485. // operations we can do
  486. static void summary(void) {
  487. printf("%-36s %7s %7s %7s %11s\n",
  488. "", "flags", "suites", "cases", "perms");
  489. size_t suites = 0;
  490. size_t cases = 0;
  491. test_flags_t flags = 0;
  492. struct perm_count_state perms = {0, 0};
  493. for (size_t t = 0; t < test_id_count; t++) {
  494. for (size_t i = 0; i < TEST_SUITE_COUNT; i++) {
  495. if (test_ids[t].suite && strcmp(
  496. test_suites[i].name, test_ids[t].suite) != 0) {
  497. continue;
  498. }
  499. test_define_suite(&test_suites[i]);
  500. for (size_t j = 0; j < test_suites[i].case_count; j++) {
  501. if (test_ids[t].case_ && strcmp(
  502. test_suites[i].cases[j].name, test_ids[t].case_) != 0) {
  503. continue;
  504. }
  505. cases += 1;
  506. case_forperm(
  507. &test_suites[i],
  508. &test_suites[i].cases[j],
  509. test_ids[t].defines,
  510. test_ids[t].define_count,
  511. test_ids[t].cycles,
  512. test_ids[t].cycle_count,
  513. perm_count,
  514. &perms);
  515. }
  516. suites += 1;
  517. flags |= test_suites[i].flags;
  518. }
  519. }
  520. char perm_buf[64];
  521. sprintf(perm_buf, "%zu/%zu", perms.filtered, perms.total);
  522. char flag_buf[64];
  523. sprintf(flag_buf, "%s%s",
  524. (flags & TEST_REENTRANT) ? "r" : "",
  525. (!flags) ? "-" : "");
  526. printf("%-36s %7s %7zu %7zu %11s\n",
  527. "TOTAL",
  528. flag_buf,
  529. suites,
  530. cases,
  531. perm_buf);
  532. }
  533. static void list_suites(void) {
  534. printf("%-36s %7s %7s %11s\n", "suite", "flags", "cases", "perms");
  535. for (size_t t = 0; t < test_id_count; t++) {
  536. for (size_t i = 0; i < TEST_SUITE_COUNT; i++) {
  537. if (test_ids[t].suite && strcmp(
  538. test_suites[i].name, test_ids[t].suite) != 0) {
  539. continue;
  540. }
  541. test_define_suite(&test_suites[i]);
  542. size_t cases = 0;
  543. struct perm_count_state perms = {0, 0};
  544. for (size_t j = 0; j < test_suites[i].case_count; j++) {
  545. if (test_ids[t].case_ && strcmp(
  546. test_suites[i].cases[j].name, test_ids[t].case_) != 0) {
  547. continue;
  548. }
  549. cases += 1;
  550. case_forperm(
  551. &test_suites[i],
  552. &test_suites[i].cases[j],
  553. test_ids[t].defines,
  554. test_ids[t].define_count,
  555. test_ids[t].cycles,
  556. test_ids[t].cycle_count,
  557. perm_count,
  558. &perms);
  559. }
  560. char perm_buf[64];
  561. sprintf(perm_buf, "%zu/%zu", perms.filtered, perms.total);
  562. char flag_buf[64];
  563. sprintf(flag_buf, "%s%s",
  564. (test_suites[i].flags & TEST_REENTRANT) ? "r" : "",
  565. (!test_suites[i].flags) ? "-" : "");
  566. printf("%-36s %7s %7zu %11s\n",
  567. test_suites[i].id,
  568. flag_buf,
  569. cases,
  570. perm_buf);
  571. }
  572. }
  573. }
  574. static void list_cases(void) {
  575. printf("%-36s %7s %11s\n", "case", "flags", "perms");
  576. for (size_t t = 0; t < test_id_count; t++) {
  577. for (size_t i = 0; i < TEST_SUITE_COUNT; i++) {
  578. if (test_ids[t].suite && strcmp(
  579. test_suites[i].name, test_ids[t].suite) != 0) {
  580. continue;
  581. }
  582. test_define_suite(&test_suites[i]);
  583. for (size_t j = 0; j < test_suites[i].case_count; j++) {
  584. if (test_ids[t].case_ && strcmp(
  585. test_suites[i].cases[j].name, test_ids[t].case_) != 0) {
  586. continue;
  587. }
  588. struct perm_count_state perms = {0, 0};
  589. case_forperm(
  590. &test_suites[i],
  591. &test_suites[i].cases[j],
  592. test_ids[t].defines,
  593. test_ids[t].define_count,
  594. test_ids[t].cycles,
  595. test_ids[t].cycle_count,
  596. perm_count,
  597. &perms);
  598. char perm_buf[64];
  599. sprintf(perm_buf, "%zu/%zu", perms.filtered, perms.total);
  600. char flag_buf[64];
  601. sprintf(flag_buf, "%s%s",
  602. (test_suites[i].cases[j].flags & TEST_REENTRANT)
  603. ? "r" : "",
  604. (!test_suites[i].cases[j].flags)
  605. ? "-" : "");
  606. printf("%-36s %7s %11s\n",
  607. test_suites[i].cases[j].id,
  608. flag_buf,
  609. perm_buf);
  610. }
  611. }
  612. }
  613. }
  614. static void list_suite_paths(void) {
  615. printf("%-36s %s\n", "suite", "path");
  616. for (size_t t = 0; t < test_id_count; t++) {
  617. for (size_t i = 0; i < TEST_SUITE_COUNT; i++) {
  618. if (test_ids[t].suite && strcmp(
  619. test_suites[i].name, test_ids[t].suite) != 0) {
  620. continue;
  621. }
  622. printf("%-36s %s\n",
  623. test_suites[i].id,
  624. test_suites[i].path);
  625. }
  626. }
  627. }
  628. static void list_case_paths(void) {
  629. printf("%-36s %s\n", "case", "path");
  630. for (size_t t = 0; t < test_id_count; t++) {
  631. for (size_t i = 0; i < TEST_SUITE_COUNT; i++) {
  632. if (test_ids[t].suite && strcmp(
  633. test_suites[i].name, test_ids[t].suite) != 0) {
  634. continue;
  635. }
  636. for (size_t j = 0; j < test_suites[i].case_count; j++) {
  637. if (test_ids[t].case_ && strcmp(
  638. test_suites[i].cases[j].name, test_ids[t].case_) != 0) {
  639. continue;
  640. }
  641. printf("%-36s %s\n",
  642. test_suites[i].cases[j].id,
  643. test_suites[i].cases[j].path);
  644. }
  645. }
  646. }
  647. }
  648. struct list_defines_define {
  649. const char *name;
  650. intmax_t *values;
  651. size_t value_count;
  652. size_t value_capacity;
  653. };
  654. struct list_defines_defines {
  655. struct list_defines_define *defines;
  656. size_t define_count;
  657. size_t define_capacity;
  658. };
  659. static void list_defines_add(
  660. struct list_defines_defines *defines,
  661. size_t d) {
  662. const char *name = test_define_name(d);
  663. intmax_t value = test_define(d);
  664. // define already in defines?
  665. for (size_t i = 0; i < defines->define_count; i++) {
  666. if (strcmp(defines->defines[i].name, name) == 0) {
  667. // value already in values?
  668. for (size_t j = 0; j < defines->defines[i].value_count; j++) {
  669. if (defines->defines[i].values[j] == value) {
  670. return;
  671. }
  672. }
  673. *(intmax_t*)mappend(
  674. (void**)&defines->defines[i].values,
  675. sizeof(intmax_t),
  676. &defines->defines[i].value_count,
  677. &defines->defines[i].value_capacity) = value;
  678. return;
  679. }
  680. }
  681. // new define?
  682. struct list_defines_define *define = mappend(
  683. (void**)&defines->defines,
  684. sizeof(struct list_defines_define),
  685. &defines->define_count,
  686. &defines->define_capacity);
  687. define->name = name;
  688. define->values = malloc(sizeof(intmax_t));
  689. define->values[0] = value;
  690. define->value_count = 1;
  691. define->value_capacity = 1;
  692. }
  693. void perm_list_defines(
  694. void *data,
  695. const struct test_suite *suite,
  696. const struct test_case *case_,
  697. const test_powerloss_t *powerloss) {
  698. struct list_defines_defines *defines = data;
  699. (void)suite;
  700. (void)case_;
  701. (void)powerloss;
  702. // collect defines
  703. for (size_t d = 0;
  704. d < lfs_max(suite->define_count,
  705. TEST_IMPLICIT_DEFINE_COUNT);
  706. d++) {
  707. if (!test_define_ispermutation(d)) {
  708. continue;
  709. }
  710. list_defines_add(defines, d);
  711. }
  712. }
  713. extern const test_geometry_t builtin_geometries[];
  714. static void list_defines(void) {
  715. struct list_defines_defines defines = {NULL, 0, 0};
  716. // yes we do need to define a suite, this does a bit of bookeeping
  717. // such as setting up the define cache
  718. test_define_suite(&(const struct test_suite){0});
  719. // make sure to include builtin geometries here
  720. for (size_t g = 0; builtin_geometries[g].long_name; g++) {
  721. test_define_geometry(&builtin_geometries[g]);
  722. test_define_flush();
  723. // add implicit defines
  724. for (size_t d = 0; d < TEST_IMPLICIT_DEFINE_COUNT; d++) {
  725. list_defines_add(&defines, d);
  726. }
  727. }
  728. // add permutation defines
  729. for (size_t t = 0; t < test_id_count; t++) {
  730. for (size_t i = 0; i < TEST_SUITE_COUNT; i++) {
  731. if (test_ids[t].suite && strcmp(
  732. test_suites[i].name, test_ids[t].suite) != 0) {
  733. continue;
  734. }
  735. test_define_suite(&test_suites[i]);
  736. for (size_t j = 0; j < test_suites[i].case_count; j++) {
  737. if (test_ids[t].case_ && strcmp(
  738. test_suites[i].cases[j].name, test_ids[t].case_) != 0) {
  739. continue;
  740. }
  741. case_forperm(
  742. &test_suites[i],
  743. &test_suites[i].cases[j],
  744. test_ids[t].defines,
  745. test_ids[t].define_count,
  746. test_ids[t].cycles,
  747. test_ids[t].cycle_count,
  748. perm_list_defines,
  749. &defines);
  750. }
  751. }
  752. }
  753. for (size_t i = 0; i < defines.define_count; i++) {
  754. printf("%s=", defines.defines[i].name);
  755. for (size_t j = 0; j < defines.defines[i].value_count; j++) {
  756. printf("%jd", defines.defines[i].values[j]);
  757. if (j != defines.defines[i].value_count-1) {
  758. printf(",");
  759. }
  760. }
  761. printf("\n");
  762. }
  763. for (size_t i = 0; i < defines.define_count; i++) {
  764. free(defines.defines[i].values);
  765. }
  766. free(defines.defines);
  767. }
  768. static void list_permutation_defines(void) {
  769. struct list_defines_defines defines = {NULL, 0, 0};
  770. // add permutation defines
  771. for (size_t t = 0; t < test_id_count; t++) {
  772. for (size_t i = 0; i < TEST_SUITE_COUNT; i++) {
  773. if (test_ids[t].suite && strcmp(
  774. test_suites[i].name, test_ids[t].suite) != 0) {
  775. continue;
  776. }
  777. test_define_suite(&test_suites[i]);
  778. for (size_t j = 0; j < test_suites[i].case_count; j++) {
  779. if (test_ids[t].case_ && strcmp(
  780. test_suites[i].cases[j].name, test_ids[t].case_) != 0) {
  781. continue;
  782. }
  783. case_forperm(
  784. &test_suites[i],
  785. &test_suites[i].cases[j],
  786. test_ids[t].defines,
  787. test_ids[t].define_count,
  788. test_ids[t].cycles,
  789. test_ids[t].cycle_count,
  790. perm_list_defines,
  791. &defines);
  792. }
  793. }
  794. }
  795. for (size_t i = 0; i < defines.define_count; i++) {
  796. printf("%s=", defines.defines[i].name);
  797. for (size_t j = 0; j < defines.defines[i].value_count; j++) {
  798. printf("%jd", defines.defines[i].values[j]);
  799. if (j != defines.defines[i].value_count-1) {
  800. printf(",");
  801. }
  802. }
  803. printf("\n");
  804. }
  805. for (size_t i = 0; i < defines.define_count; i++) {
  806. free(defines.defines[i].values);
  807. }
  808. free(defines.defines);
  809. }
  810. static void list_implicit_defines(void) {
  811. struct list_defines_defines defines = {NULL, 0, 0};
  812. // yes we do need to define a suite, this does a bit of bookeeping
  813. // such as setting up the define cache
  814. test_define_suite(&(const struct test_suite){0});
  815. // make sure to include builtin geometries here
  816. extern const test_geometry_t builtin_geometries[];
  817. for (size_t g = 0; builtin_geometries[g].long_name; g++) {
  818. test_define_geometry(&builtin_geometries[g]);
  819. test_define_flush();
  820. // add implicit defines
  821. for (size_t d = 0; d < TEST_IMPLICIT_DEFINE_COUNT; d++) {
  822. list_defines_add(&defines, d);
  823. }
  824. }
  825. for (size_t i = 0; i < defines.define_count; i++) {
  826. printf("%s=", defines.defines[i].name);
  827. for (size_t j = 0; j < defines.defines[i].value_count; j++) {
  828. printf("%jd", defines.defines[i].values[j]);
  829. if (j != defines.defines[i].value_count-1) {
  830. printf(",");
  831. }
  832. }
  833. printf("\n");
  834. }
  835. for (size_t i = 0; i < defines.define_count; i++) {
  836. free(defines.defines[i].values);
  837. }
  838. free(defines.defines);
  839. }
  840. // geometries to test
  841. const test_geometry_t builtin_geometries[] = {
  842. {'d', "default", {{NULL}, TEST_LIT(16), TEST_LIT(512), {NULL}}},
  843. {'e', "eeprom", {{NULL}, TEST_LIT(1), TEST_LIT(512), {NULL}}},
  844. {'E', "emmc", {{NULL}, {NULL}, TEST_LIT(512), {NULL}}},
  845. {'n', "nor", {{NULL}, TEST_LIT(1), TEST_LIT(4096), {NULL}}},
  846. {'N', "nand", {{NULL}, TEST_LIT(4096), TEST_LIT(32768), {NULL}}},
  847. {0, NULL, {{NULL}, {NULL}, {NULL}, {NULL}}},
  848. };
  849. const test_geometry_t *test_geometries = builtin_geometries;
  850. size_t test_geometry_count = 5;
  851. static void list_geometries(void) {
  852. // yes we do need to define a suite, this does a bit of bookeeping
  853. // such as setting up the define cache
  854. test_define_suite(&(const struct test_suite){0});
  855. printf("%-24s %7s %7s %7s %7s %11s\n",
  856. "geometry", "read", "prog", "erase", "count", "size");
  857. for (size_t g = 0; builtin_geometries[g].long_name; g++) {
  858. test_define_geometry(&builtin_geometries[g]);
  859. test_define_flush();
  860. printf("%c,%-22s %7ju %7ju %7ju %7ju %11ju\n",
  861. builtin_geometries[g].short_name,
  862. builtin_geometries[g].long_name,
  863. READ_SIZE,
  864. PROG_SIZE,
  865. BLOCK_SIZE,
  866. BLOCK_COUNT,
  867. BLOCK_SIZE*BLOCK_COUNT);
  868. }
  869. }
  870. // scenarios to run tests under power-loss
  871. static void run_powerloss_none(
  872. const lfs_testbd_powercycles_t *cycles,
  873. size_t cycle_count,
  874. const struct test_suite *suite,
  875. const struct test_case *case_) {
  876. (void)cycles;
  877. (void)cycle_count;
  878. (void)suite;
  879. // create block device and configuration
  880. lfs_testbd_t bd;
  881. struct lfs_config cfg = {
  882. .context = &bd,
  883. .read = lfs_testbd_read,
  884. .prog = lfs_testbd_prog,
  885. .erase = lfs_testbd_erase,
  886. .sync = lfs_testbd_sync,
  887. .read_size = READ_SIZE,
  888. .prog_size = PROG_SIZE,
  889. .block_size = BLOCK_SIZE,
  890. .block_count = BLOCK_COUNT,
  891. .block_cycles = BLOCK_CYCLES,
  892. .cache_size = CACHE_SIZE,
  893. .lookahead_size = LOOKAHEAD_SIZE,
  894. };
  895. struct lfs_testbd_config bdcfg = {
  896. .erase_value = ERASE_VALUE,
  897. .erase_cycles = ERASE_CYCLES,
  898. .badblock_behavior = BADBLOCK_BEHAVIOR,
  899. .disk_path = test_disk_path,
  900. .read_sleep = test_read_sleep,
  901. .prog_sleep = test_prog_sleep,
  902. .erase_sleep = test_erase_sleep,
  903. };
  904. int err = lfs_testbd_createcfg(&cfg, test_disk_path, &bdcfg);
  905. if (err) {
  906. fprintf(stderr, "error: could not create block device: %d\n", err);
  907. exit(-1);
  908. }
  909. // run the test
  910. printf("running ");
  911. perm_printid(suite, case_, NULL, 0);
  912. printf("\n");
  913. case_->run(&cfg);
  914. printf("finished ");
  915. perm_printid(suite, case_, NULL, 0);
  916. printf("\n");
  917. // cleanup
  918. err = lfs_testbd_destroy(&cfg);
  919. if (err) {
  920. fprintf(stderr, "error: could not destroy block device: %d\n", err);
  921. exit(-1);
  922. }
  923. }
  924. static void powerloss_longjmp(void *c) {
  925. jmp_buf *powerloss_jmp = c;
  926. longjmp(*powerloss_jmp, 1);
  927. }
  928. static void run_powerloss_linear(
  929. const lfs_testbd_powercycles_t *cycles,
  930. size_t cycle_count,
  931. const struct test_suite *suite,
  932. const struct test_case *case_) {
  933. (void)cycles;
  934. (void)cycle_count;
  935. (void)suite;
  936. // create block device and configuration
  937. lfs_testbd_t bd;
  938. jmp_buf powerloss_jmp;
  939. volatile lfs_testbd_powercycles_t i = 1;
  940. struct lfs_config cfg = {
  941. .context = &bd,
  942. .read = lfs_testbd_read,
  943. .prog = lfs_testbd_prog,
  944. .erase = lfs_testbd_erase,
  945. .sync = lfs_testbd_sync,
  946. .read_size = READ_SIZE,
  947. .prog_size = PROG_SIZE,
  948. .block_size = BLOCK_SIZE,
  949. .block_count = BLOCK_COUNT,
  950. .block_cycles = BLOCK_CYCLES,
  951. .cache_size = CACHE_SIZE,
  952. .lookahead_size = LOOKAHEAD_SIZE,
  953. };
  954. struct lfs_testbd_config bdcfg = {
  955. .erase_value = ERASE_VALUE,
  956. .erase_cycles = ERASE_CYCLES,
  957. .badblock_behavior = BADBLOCK_BEHAVIOR,
  958. .disk_path = test_disk_path,
  959. .read_sleep = test_read_sleep,
  960. .prog_sleep = test_prog_sleep,
  961. .erase_sleep = test_erase_sleep,
  962. .power_cycles = i,
  963. .powerloss_behavior = POWERLOSS_BEHAVIOR,
  964. .powerloss_cb = powerloss_longjmp,
  965. .powerloss_data = &powerloss_jmp,
  966. };
  967. int err = lfs_testbd_createcfg(&cfg, test_disk_path, &bdcfg);
  968. if (err) {
  969. fprintf(stderr, "error: could not create block device: %d\n", err);
  970. exit(-1);
  971. }
  972. // run the test, increasing power-cycles as power-loss events occur
  973. printf("running ");
  974. perm_printid(suite, case_, NULL, 0);
  975. printf("\n");
  976. while (true) {
  977. if (!setjmp(powerloss_jmp)) {
  978. // run the test
  979. case_->run(&cfg);
  980. break;
  981. }
  982. // power-loss!
  983. printf("powerloss ");
  984. perm_printid(suite, case_, NULL, 0);
  985. printf(":");
  986. for (lfs_testbd_powercycles_t j = 1; j <= i; j++) {
  987. leb16_print(j);
  988. }
  989. printf("\n");
  990. i += 1;
  991. lfs_testbd_setpowercycles(&cfg, i);
  992. }
  993. printf("finished ");
  994. perm_printid(suite, case_, NULL, 0);
  995. printf("\n");
  996. // cleanup
  997. err = lfs_testbd_destroy(&cfg);
  998. if (err) {
  999. fprintf(stderr, "error: could not destroy block device: %d\n", err);
  1000. exit(-1);
  1001. }
  1002. }
  1003. static void run_powerloss_exponential(
  1004. const lfs_testbd_powercycles_t *cycles,
  1005. size_t cycle_count,
  1006. const struct test_suite *suite,
  1007. const struct test_case *case_) {
  1008. (void)cycles;
  1009. (void)cycle_count;
  1010. (void)suite;
  1011. // create block device and configuration
  1012. lfs_testbd_t bd;
  1013. jmp_buf powerloss_jmp;
  1014. volatile lfs_testbd_powercycles_t i = 1;
  1015. struct lfs_config cfg = {
  1016. .context = &bd,
  1017. .read = lfs_testbd_read,
  1018. .prog = lfs_testbd_prog,
  1019. .erase = lfs_testbd_erase,
  1020. .sync = lfs_testbd_sync,
  1021. .read_size = READ_SIZE,
  1022. .prog_size = PROG_SIZE,
  1023. .block_size = BLOCK_SIZE,
  1024. .block_count = BLOCK_COUNT,
  1025. .block_cycles = BLOCK_CYCLES,
  1026. .cache_size = CACHE_SIZE,
  1027. .lookahead_size = LOOKAHEAD_SIZE,
  1028. };
  1029. struct lfs_testbd_config bdcfg = {
  1030. .erase_value = ERASE_VALUE,
  1031. .erase_cycles = ERASE_CYCLES,
  1032. .badblock_behavior = BADBLOCK_BEHAVIOR,
  1033. .disk_path = test_disk_path,
  1034. .read_sleep = test_read_sleep,
  1035. .prog_sleep = test_prog_sleep,
  1036. .erase_sleep = test_erase_sleep,
  1037. .power_cycles = i,
  1038. .powerloss_behavior = POWERLOSS_BEHAVIOR,
  1039. .powerloss_cb = powerloss_longjmp,
  1040. .powerloss_data = &powerloss_jmp,
  1041. };
  1042. int err = lfs_testbd_createcfg(&cfg, test_disk_path, &bdcfg);
  1043. if (err) {
  1044. fprintf(stderr, "error: could not create block device: %d\n", err);
  1045. exit(-1);
  1046. }
  1047. // run the test, increasing power-cycles as power-loss events occur
  1048. printf("running ");
  1049. perm_printid(suite, case_, NULL, 0);
  1050. printf("\n");
  1051. while (true) {
  1052. if (!setjmp(powerloss_jmp)) {
  1053. // run the test
  1054. case_->run(&cfg);
  1055. break;
  1056. }
  1057. // power-loss!
  1058. printf("powerloss ");
  1059. perm_printid(suite, case_, NULL, 0);
  1060. printf(":");
  1061. for (lfs_testbd_powercycles_t j = 1; j <= i; j *= 2) {
  1062. leb16_print(j);
  1063. }
  1064. printf("\n");
  1065. i *= 2;
  1066. lfs_testbd_setpowercycles(&cfg, i);
  1067. }
  1068. printf("finished ");
  1069. perm_printid(suite, case_, NULL, 0);
  1070. printf("\n");
  1071. // cleanup
  1072. err = lfs_testbd_destroy(&cfg);
  1073. if (err) {
  1074. fprintf(stderr, "error: could not destroy block device: %d\n", err);
  1075. exit(-1);
  1076. }
  1077. }
  1078. static void run_powerloss_cycles(
  1079. const lfs_testbd_powercycles_t *cycles,
  1080. size_t cycle_count,
  1081. const struct test_suite *suite,
  1082. const struct test_case *case_) {
  1083. (void)suite;
  1084. // create block device and configuration
  1085. lfs_testbd_t bd;
  1086. jmp_buf powerloss_jmp;
  1087. volatile size_t i = 0;
  1088. struct lfs_config cfg = {
  1089. .context = &bd,
  1090. .read = lfs_testbd_read,
  1091. .prog = lfs_testbd_prog,
  1092. .erase = lfs_testbd_erase,
  1093. .sync = lfs_testbd_sync,
  1094. .read_size = READ_SIZE,
  1095. .prog_size = PROG_SIZE,
  1096. .block_size = BLOCK_SIZE,
  1097. .block_count = BLOCK_COUNT,
  1098. .block_cycles = BLOCK_CYCLES,
  1099. .cache_size = CACHE_SIZE,
  1100. .lookahead_size = LOOKAHEAD_SIZE,
  1101. };
  1102. struct lfs_testbd_config bdcfg = {
  1103. .erase_value = ERASE_VALUE,
  1104. .erase_cycles = ERASE_CYCLES,
  1105. .badblock_behavior = BADBLOCK_BEHAVIOR,
  1106. .disk_path = test_disk_path,
  1107. .read_sleep = test_read_sleep,
  1108. .prog_sleep = test_prog_sleep,
  1109. .erase_sleep = test_erase_sleep,
  1110. .power_cycles = (i < cycle_count) ? cycles[i] : 0,
  1111. .powerloss_behavior = POWERLOSS_BEHAVIOR,
  1112. .powerloss_cb = powerloss_longjmp,
  1113. .powerloss_data = &powerloss_jmp,
  1114. };
  1115. int err = lfs_testbd_createcfg(&cfg, test_disk_path, &bdcfg);
  1116. if (err) {
  1117. fprintf(stderr, "error: could not create block device: %d\n", err);
  1118. exit(-1);
  1119. }
  1120. // run the test, increasing power-cycles as power-loss events occur
  1121. printf("running ");
  1122. perm_printid(suite, case_, NULL, 0);
  1123. printf("\n");
  1124. while (true) {
  1125. if (!setjmp(powerloss_jmp)) {
  1126. // run the test
  1127. case_->run(&cfg);
  1128. break;
  1129. }
  1130. // power-loss!
  1131. assert(i <= cycle_count);
  1132. printf("powerloss ");
  1133. perm_printid(suite, case_, cycles, i+1);
  1134. printf("\n");
  1135. i += 1;
  1136. lfs_testbd_setpowercycles(&cfg,
  1137. (i < cycle_count) ? cycles[i] : 0);
  1138. }
  1139. printf("finished ");
  1140. perm_printid(suite, case_, NULL, 0);
  1141. printf("\n");
  1142. // cleanup
  1143. err = lfs_testbd_destroy(&cfg);
  1144. if (err) {
  1145. fprintf(stderr, "error: could not destroy block device: %d\n", err);
  1146. exit(-1);
  1147. }
  1148. }
  1149. struct powerloss_exhaustive_state {
  1150. struct lfs_config *cfg;
  1151. lfs_testbd_t *branches;
  1152. size_t branch_count;
  1153. size_t branch_capacity;
  1154. };
  1155. struct powerloss_exhaustive_cycles {
  1156. lfs_testbd_powercycles_t *cycles;
  1157. size_t cycle_count;
  1158. size_t cycle_capacity;
  1159. };
  1160. static void powerloss_exhaustive_branch(void *c) {
  1161. struct powerloss_exhaustive_state *state = c;
  1162. // append to branches
  1163. lfs_testbd_t *branch = mappend(
  1164. (void**)&state->branches,
  1165. sizeof(lfs_testbd_t),
  1166. &state->branch_count,
  1167. &state->branch_capacity);
  1168. if (!branch) {
  1169. fprintf(stderr, "error: exhaustive: out of memory\n");
  1170. exit(-1);
  1171. }
  1172. // create copy-on-write copy
  1173. int err = lfs_testbd_copy(state->cfg, branch);
  1174. if (err) {
  1175. fprintf(stderr, "error: exhaustive: could not create bd copy\n");
  1176. exit(-1);
  1177. }
  1178. // also trigger on next power cycle
  1179. lfs_testbd_setpowercycles(state->cfg, 1);
  1180. }
  1181. static void run_powerloss_exhaustive_layer(
  1182. struct powerloss_exhaustive_cycles *cycles,
  1183. const struct test_suite *suite,
  1184. const struct test_case *case_,
  1185. struct lfs_config *cfg,
  1186. struct lfs_testbd_config *bdcfg,
  1187. size_t depth) {
  1188. (void)suite;
  1189. struct powerloss_exhaustive_state state = {
  1190. .cfg = cfg,
  1191. .branches = NULL,
  1192. .branch_count = 0,
  1193. .branch_capacity = 0,
  1194. };
  1195. // run through the test without additional powerlosses, collecting possible
  1196. // branches as we do so
  1197. lfs_testbd_setpowercycles(state.cfg, depth > 0 ? 1 : 0);
  1198. bdcfg->powerloss_data = &state;
  1199. // run the tests
  1200. case_->run(cfg);
  1201. // aggressively clean up memory here to try to keep our memory usage low
  1202. int err = lfs_testbd_destroy(cfg);
  1203. if (err) {
  1204. fprintf(stderr, "error: could not destroy block device: %d\n", err);
  1205. exit(-1);
  1206. }
  1207. // recurse into each branch
  1208. for (size_t i = 0; i < state.branch_count; i++) {
  1209. // first push and print the branch
  1210. lfs_testbd_powercycles_t *cycle = mappend(
  1211. (void**)&cycles->cycles,
  1212. sizeof(lfs_testbd_powercycles_t),
  1213. &cycles->cycle_count,
  1214. &cycles->cycle_capacity);
  1215. if (!cycle) {
  1216. fprintf(stderr, "error: exhaustive: out of memory\n");
  1217. exit(-1);
  1218. }
  1219. *cycle = i;
  1220. printf("powerloss ");
  1221. perm_printid(suite, case_, cycles->cycles, cycles->cycle_count);
  1222. printf("\n");
  1223. // now recurse
  1224. cfg->context = &state.branches[i];
  1225. run_powerloss_exhaustive_layer(cycles,
  1226. suite, case_,
  1227. cfg, bdcfg, depth-1);
  1228. // pop the cycle
  1229. cycles->cycle_count -= 1;
  1230. }
  1231. // clean up memory
  1232. free(state.branches);
  1233. }
  1234. static void run_powerloss_exhaustive(
  1235. const lfs_testbd_powercycles_t *cycles,
  1236. size_t cycle_count,
  1237. const struct test_suite *suite,
  1238. const struct test_case *case_) {
  1239. (void)cycles;
  1240. (void)suite;
  1241. // create block device and configuration
  1242. lfs_testbd_t bd;
  1243. struct lfs_config cfg = {
  1244. .context = &bd,
  1245. .read = lfs_testbd_read,
  1246. .prog = lfs_testbd_prog,
  1247. .erase = lfs_testbd_erase,
  1248. .sync = lfs_testbd_sync,
  1249. .read_size = READ_SIZE,
  1250. .prog_size = PROG_SIZE,
  1251. .block_size = BLOCK_SIZE,
  1252. .block_count = BLOCK_COUNT,
  1253. .block_cycles = BLOCK_CYCLES,
  1254. .cache_size = CACHE_SIZE,
  1255. .lookahead_size = LOOKAHEAD_SIZE,
  1256. };
  1257. struct lfs_testbd_config bdcfg = {
  1258. .erase_value = ERASE_VALUE,
  1259. .erase_cycles = ERASE_CYCLES,
  1260. .badblock_behavior = BADBLOCK_BEHAVIOR,
  1261. .disk_path = test_disk_path,
  1262. .read_sleep = test_read_sleep,
  1263. .prog_sleep = test_prog_sleep,
  1264. .erase_sleep = test_erase_sleep,
  1265. .powerloss_behavior = POWERLOSS_BEHAVIOR,
  1266. .powerloss_cb = powerloss_exhaustive_branch,
  1267. .powerloss_data = NULL,
  1268. };
  1269. int err = lfs_testbd_createcfg(&cfg, test_disk_path, &bdcfg);
  1270. if (err) {
  1271. fprintf(stderr, "error: could not create block device: %d\n", err);
  1272. exit(-1);
  1273. }
  1274. // run the test, increasing power-cycles as power-loss events occur
  1275. printf("running ");
  1276. perm_printid(suite, case_, NULL, 0);
  1277. printf("\n");
  1278. // recursively exhaust each layer of powerlosses
  1279. run_powerloss_exhaustive_layer(
  1280. &(struct powerloss_exhaustive_cycles){NULL, 0, 0},
  1281. suite, case_,
  1282. &cfg, &bdcfg, cycle_count);
  1283. printf("finished ");
  1284. perm_printid(suite, case_, NULL, 0);
  1285. printf("\n");
  1286. }
  1287. const test_powerloss_t builtin_powerlosses[] = {
  1288. {'0', "none", run_powerloss_none, NULL, 0},
  1289. {'e', "exponential", run_powerloss_exponential, NULL, 0},
  1290. {'l', "linear", run_powerloss_linear, NULL, 0},
  1291. {'x', "exhaustive", run_powerloss_exhaustive, NULL, SIZE_MAX},
  1292. {0, NULL, NULL, NULL, 0},
  1293. };
  1294. const char *const builtin_powerlosses_help[] = {
  1295. "Run with no power-losses.",
  1296. "Run with exponentially-decreasing power-losses.",
  1297. "Run with linearly-decreasing power-losses.",
  1298. "Run a all permutations of power-losses, this may take a while.",
  1299. "Run a all permutations of n power-losses.",
  1300. "Run a custom comma-separated set of power-losses.",
  1301. "Run a custom leb16-encoded set of power-losses.",
  1302. };
  1303. const test_powerloss_t *test_powerlosses = (const test_powerloss_t[]){
  1304. {'0', "none", run_powerloss_none, NULL, 0},
  1305. };
  1306. size_t test_powerloss_count = 1;
  1307. static void list_powerlosses(void) {
  1308. printf("%-24s %s\n", "scenario", "description");
  1309. size_t i = 0;
  1310. for (; builtin_powerlosses[i].long_name; i++) {
  1311. printf("%c,%-22s %s\n",
  1312. builtin_powerlosses[i].short_name,
  1313. builtin_powerlosses[i].long_name,
  1314. builtin_powerlosses_help[i]);
  1315. }
  1316. // a couple more options with special parsing
  1317. printf("%-24s %s\n", "1,2,3", builtin_powerlosses_help[i+0]);
  1318. printf("%-24s %s\n", "{1,2,3}", builtin_powerlosses_help[i+1]);
  1319. printf("%-24s %s\n", ":1248g1", builtin_powerlosses_help[i+2]);
  1320. }
  1321. // global test step count
  1322. size_t test_step = 0;
  1323. void perm_run(
  1324. void *data,
  1325. const struct test_suite *suite,
  1326. const struct test_case *case_,
  1327. const test_powerloss_t *powerloss) {
  1328. (void)data;
  1329. // skip this step?
  1330. if (!(test_step >= test_step_start
  1331. && test_step < test_step_stop
  1332. && (test_step-test_step_start) % test_step_step == 0)) {
  1333. test_step += 1;
  1334. return;
  1335. }
  1336. test_step += 1;
  1337. // filter?
  1338. if (case_->filter && !case_->filter()) {
  1339. printf("skipped ");
  1340. perm_printid(suite, case_, NULL, 0);
  1341. printf("\n");
  1342. return;
  1343. }
  1344. powerloss->run(
  1345. powerloss->cycles, powerloss->cycle_count,
  1346. suite, case_);
  1347. }
  1348. static void run(void) {
  1349. // ignore disconnected pipes
  1350. signal(SIGPIPE, SIG_IGN);
  1351. for (size_t t = 0; t < test_id_count; t++) {
  1352. for (size_t i = 0; i < TEST_SUITE_COUNT; i++) {
  1353. if (test_ids[t].suite && strcmp(
  1354. test_suites[i].name, test_ids[t].suite) != 0) {
  1355. continue;
  1356. }
  1357. test_define_suite(&test_suites[i]);
  1358. for (size_t j = 0; j < test_suites[i].case_count; j++) {
  1359. if (test_ids[t].case_ && strcmp(
  1360. test_suites[i].cases[j].name, test_ids[t].case_) != 0) {
  1361. continue;
  1362. }
  1363. case_forperm(
  1364. &test_suites[i],
  1365. &test_suites[i].cases[j],
  1366. test_ids[t].defines,
  1367. test_ids[t].define_count,
  1368. test_ids[t].cycles,
  1369. test_ids[t].cycle_count,
  1370. perm_run,
  1371. NULL);
  1372. }
  1373. }
  1374. }
  1375. }
  1376. // option handling
  1377. enum opt_flags {
  1378. OPT_HELP = 'h',
  1379. OPT_SUMMARY = 'Y',
  1380. OPT_LIST_SUITES = 'l',
  1381. OPT_LIST_CASES = 'L',
  1382. OPT_LIST_SUITE_PATHS = 1,
  1383. OPT_LIST_CASE_PATHS = 2,
  1384. OPT_LIST_DEFINES = 3,
  1385. OPT_LIST_PERMUTATION_DEFINES = 4,
  1386. OPT_LIST_IMPLICIT_DEFINES = 5,
  1387. OPT_LIST_GEOMETRIES = 6,
  1388. OPT_LIST_POWERLOSSES = 7,
  1389. OPT_DEFINE = 'D',
  1390. OPT_GEOMETRY = 'g',
  1391. OPT_POWERLOSS = 'p',
  1392. OPT_STEP = 's',
  1393. OPT_DISK = 'd',
  1394. OPT_TRACE = 't',
  1395. OPT_READ_SLEEP = 8,
  1396. OPT_PROG_SLEEP = 9,
  1397. OPT_ERASE_SLEEP = 10,
  1398. };
  1399. const char *short_opts = "hYlLD:g:p:s:d:t:";
  1400. const struct option long_opts[] = {
  1401. {"help", no_argument, NULL, OPT_HELP},
  1402. {"summary", no_argument, NULL, OPT_SUMMARY},
  1403. {"list-suites", no_argument, NULL, OPT_LIST_SUITES},
  1404. {"list-cases", no_argument, NULL, OPT_LIST_CASES},
  1405. {"list-suite-paths", no_argument, NULL, OPT_LIST_SUITE_PATHS},
  1406. {"list-case-paths", no_argument, NULL, OPT_LIST_CASE_PATHS},
  1407. {"list-defines", no_argument, NULL, OPT_LIST_DEFINES},
  1408. {"list-permutation-defines",
  1409. no_argument, NULL, OPT_LIST_PERMUTATION_DEFINES},
  1410. {"list-implicit-defines",
  1411. no_argument, NULL, OPT_LIST_IMPLICIT_DEFINES},
  1412. {"list-geometries", no_argument, NULL, OPT_LIST_GEOMETRIES},
  1413. {"list-powerlosses", no_argument, NULL, OPT_LIST_POWERLOSSES},
  1414. {"define", required_argument, NULL, OPT_DEFINE},
  1415. {"geometry", required_argument, NULL, OPT_GEOMETRY},
  1416. {"powerloss", required_argument, NULL, OPT_POWERLOSS},
  1417. {"step", required_argument, NULL, OPT_STEP},
  1418. {"disk", required_argument, NULL, OPT_DISK},
  1419. {"trace", required_argument, NULL, OPT_TRACE},
  1420. {"read-sleep", required_argument, NULL, OPT_READ_SLEEP},
  1421. {"prog-sleep", required_argument, NULL, OPT_PROG_SLEEP},
  1422. {"erase-sleep", required_argument, NULL, OPT_ERASE_SLEEP},
  1423. {NULL, 0, NULL, 0},
  1424. };
  1425. const char *const help_text[] = {
  1426. "Show this help message.",
  1427. "Show quick summary.",
  1428. "List test suites.",
  1429. "List test cases.",
  1430. "List the path for each test suite.",
  1431. "List the path and line number for each test case.",
  1432. "List all defines in this test-runner.",
  1433. "List explicit defines in this test-runner.",
  1434. "List implicit defines in this test-runner.",
  1435. "List the available disk geometries.",
  1436. "List the available power-loss scenarios.",
  1437. "Override a test define.",
  1438. "Comma-separated list of disk geometries to test. Defaults to d,e,E,n,N.",
  1439. "Comma-separated list of power-loss scenarios to test. Defaults to 0,l.",
  1440. "Comma-separated range of test permutations to run (start,stop,step).",
  1441. "Redirect block device operations to this file.",
  1442. "Redirect trace output to this file.",
  1443. "Artificial read delay in seconds.",
  1444. "Artificial prog delay in seconds.",
  1445. "Artificial erase delay in seconds.",
  1446. };
  1447. int main(int argc, char **argv) {
  1448. void (*op)(void) = run;
  1449. test_override_t *overrides = NULL;
  1450. size_t override_count = 0;
  1451. size_t override_capacity = 0;
  1452. size_t test_geometry_capacity = 0;
  1453. size_t test_powerloss_capacity = 0;
  1454. size_t test_id_capacity = 0;
  1455. // parse options
  1456. while (true) {
  1457. int c = getopt_long(argc, argv, short_opts, long_opts, NULL);
  1458. switch (c) {
  1459. // generate help message
  1460. case OPT_HELP: {
  1461. printf("usage: %s [options] [test_id]\n", argv[0]);
  1462. printf("\n");
  1463. printf("options:\n");
  1464. size_t i = 0;
  1465. while (long_opts[i].name) {
  1466. size_t indent;
  1467. if (long_opts[i].has_arg == no_argument) {
  1468. if (long_opts[i].val >= '0' && long_opts[i].val < 'z') {
  1469. indent = printf(" -%c, --%s ",
  1470. long_opts[i].val,
  1471. long_opts[i].name);
  1472. } else {
  1473. indent = printf(" --%s ",
  1474. long_opts[i].name);
  1475. }
  1476. } else {
  1477. if (long_opts[i].val >= '0' && long_opts[i].val < 'z') {
  1478. indent = printf(" -%c %s, --%s %s ",
  1479. long_opts[i].val,
  1480. long_opts[i].name,
  1481. long_opts[i].name,
  1482. long_opts[i].name);
  1483. } else {
  1484. indent = printf(" --%s %s ",
  1485. long_opts[i].name,
  1486. long_opts[i].name);
  1487. }
  1488. }
  1489. // a quick, hacky, byte-level method for text wrapping
  1490. size_t len = strlen(help_text[i]);
  1491. size_t j = 0;
  1492. if (indent < 24) {
  1493. printf("%*s %.80s\n",
  1494. (int)(24-1-indent),
  1495. "",
  1496. &help_text[i][j]);
  1497. j += 80;
  1498. } else {
  1499. printf("\n");
  1500. }
  1501. while (j < len) {
  1502. printf("%24s%.80s\n", "", &help_text[i][j]);
  1503. j += 80;
  1504. }
  1505. i += 1;
  1506. }
  1507. printf("\n");
  1508. exit(0);
  1509. }
  1510. // summary/list flags
  1511. case OPT_SUMMARY:
  1512. op = summary;
  1513. break;
  1514. case OPT_LIST_SUITES:
  1515. op = list_suites;
  1516. break;
  1517. case OPT_LIST_CASES:
  1518. op = list_cases;
  1519. break;
  1520. case OPT_LIST_SUITE_PATHS:
  1521. op = list_suite_paths;
  1522. break;
  1523. case OPT_LIST_CASE_PATHS:
  1524. op = list_case_paths;
  1525. break;
  1526. case OPT_LIST_DEFINES:
  1527. op = list_defines;
  1528. break;
  1529. case OPT_LIST_PERMUTATION_DEFINES:
  1530. op = list_permutation_defines;
  1531. break;
  1532. case OPT_LIST_IMPLICIT_DEFINES:
  1533. op = list_implicit_defines;
  1534. break;
  1535. case OPT_LIST_GEOMETRIES:
  1536. op = list_geometries;
  1537. break;
  1538. case OPT_LIST_POWERLOSSES:
  1539. op = list_powerlosses;
  1540. break;
  1541. // configuration
  1542. case OPT_DEFINE: {
  1543. // allocate space
  1544. test_override_t *override = mappend(
  1545. (void**)&overrides,
  1546. sizeof(test_override_t),
  1547. &override_count,
  1548. &override_capacity);
  1549. // parse into string key/intmax_t value, cannibalizing the
  1550. // arg in the process
  1551. char *sep = strchr(optarg, '=');
  1552. char *parsed = NULL;
  1553. if (!sep) {
  1554. goto invalid_define;
  1555. }
  1556. override->define = strtoumax(sep+1, &parsed, 0);
  1557. if (parsed == sep+1) {
  1558. goto invalid_define;
  1559. }
  1560. override->name = optarg;
  1561. *sep = '\0';
  1562. break;
  1563. invalid_define:
  1564. fprintf(stderr, "error: invalid define: %s\n", optarg);
  1565. exit(-1);
  1566. }
  1567. case OPT_GEOMETRY: {
  1568. // reset our geometry scenarios
  1569. if (test_geometry_capacity > 0) {
  1570. free((test_geometry_t*)test_geometries);
  1571. }
  1572. test_geometries = NULL;
  1573. test_geometry_count = 0;
  1574. test_geometry_capacity = 0;
  1575. // parse the comma separated list of disk geometries
  1576. while (*optarg) {
  1577. // allocate space
  1578. test_geometry_t *geometry = mappend(
  1579. (void**)&test_geometries,
  1580. sizeof(test_geometry_t),
  1581. &test_geometry_count,
  1582. &test_geometry_capacity);
  1583. // parse the disk geometry
  1584. optarg += strspn(optarg, " ");
  1585. // named disk geometry
  1586. size_t len = strcspn(optarg, " ,");
  1587. for (size_t i = 0; builtin_geometries[i].long_name; i++) {
  1588. if ((len == 1
  1589. && *optarg == builtin_geometries[i].short_name)
  1590. || (len == strlen(
  1591. builtin_geometries[i].long_name)
  1592. && memcmp(optarg,
  1593. builtin_geometries[i].long_name,
  1594. len) == 0)) {
  1595. *geometry = builtin_geometries[i];
  1596. optarg += len;
  1597. goto geometry_next;
  1598. }
  1599. }
  1600. // comma-separated read/prog/erase/count
  1601. if (*optarg == '{') {
  1602. lfs_size_t sizes[4];
  1603. size_t count = 0;
  1604. char *s = optarg + 1;
  1605. while (count < 4) {
  1606. char *parsed = NULL;
  1607. sizes[count] = strtoumax(s, &parsed, 0);
  1608. count += 1;
  1609. s = parsed + strspn(parsed, " ");
  1610. if (*s == ',') {
  1611. s += 1;
  1612. continue;
  1613. } else if (*s == '}') {
  1614. s += 1;
  1615. break;
  1616. } else {
  1617. goto geometry_unknown;
  1618. }
  1619. }
  1620. // allow implicit r=p and p=e for common geometries
  1621. memset(geometry, 0, sizeof(test_geometry_t));
  1622. if (count >= 3) {
  1623. geometry->defines[0]
  1624. = (test_define_t)TEST_LIT(sizes[0]);
  1625. geometry->defines[1]
  1626. = (test_define_t)TEST_LIT(sizes[1]);
  1627. geometry->defines[2]
  1628. = (test_define_t)TEST_LIT(sizes[2]);
  1629. } else if (count >= 2) {
  1630. geometry->defines[1]
  1631. = (test_define_t)TEST_LIT(sizes[0]);
  1632. geometry->defines[2]
  1633. = (test_define_t)TEST_LIT(sizes[1]);
  1634. } else {
  1635. geometry->defines[2]
  1636. = (test_define_t)TEST_LIT(sizes[0]);
  1637. }
  1638. if (count >= 4) {
  1639. geometry->defines[3]
  1640. = (test_define_t)TEST_LIT(sizes[3]);
  1641. }
  1642. optarg = s;
  1643. goto geometry_next;
  1644. }
  1645. // leb16-encoded read/prog/erase/count
  1646. if (*optarg == ':') {
  1647. lfs_size_t sizes[4];
  1648. size_t count = 0;
  1649. char *s = optarg + 1;
  1650. while (true) {
  1651. char *parsed = NULL;
  1652. uintmax_t x = leb16_parse(s, &parsed);
  1653. if (parsed == s || count >= 4) {
  1654. break;
  1655. }
  1656. sizes[count] = x;
  1657. count += 1;
  1658. s = parsed;
  1659. }
  1660. // allow implicit r=p and p=e for common geometries
  1661. memset(geometry, 0, sizeof(test_geometry_t));
  1662. if (count >= 3) {
  1663. geometry->defines[0]
  1664. = (test_define_t)TEST_LIT(sizes[0]);
  1665. geometry->defines[1]
  1666. = (test_define_t)TEST_LIT(sizes[1]);
  1667. geometry->defines[2]
  1668. = (test_define_t)TEST_LIT(sizes[2]);
  1669. } else if (count >= 2) {
  1670. geometry->defines[1]
  1671. = (test_define_t)TEST_LIT(sizes[0]);
  1672. geometry->defines[2]
  1673. = (test_define_t)TEST_LIT(sizes[1]);
  1674. } else {
  1675. geometry->defines[2]
  1676. = (test_define_t)TEST_LIT(sizes[0]);
  1677. }
  1678. if (count >= 4) {
  1679. geometry->defines[3]
  1680. = (test_define_t)TEST_LIT(sizes[3]);
  1681. }
  1682. optarg = s;
  1683. goto geometry_next;
  1684. }
  1685. geometry_unknown:
  1686. // unknown scenario?
  1687. fprintf(stderr, "error: unknown disk geometry: %s\n",
  1688. optarg);
  1689. exit(-1);
  1690. geometry_next:
  1691. optarg += strspn(optarg, " ");
  1692. if (*optarg == ',') {
  1693. optarg += 1;
  1694. } else if (*optarg == '\0') {
  1695. break;
  1696. } else {
  1697. goto geometry_unknown;
  1698. }
  1699. }
  1700. break;
  1701. }
  1702. case OPT_POWERLOSS: {
  1703. // reset our powerloss scenarios
  1704. if (test_powerloss_capacity > 0) {
  1705. free((test_powerloss_t*)test_powerlosses);
  1706. }
  1707. test_powerlosses = NULL;
  1708. test_powerloss_count = 0;
  1709. test_powerloss_capacity = 0;
  1710. // parse the comma separated list of power-loss scenarios
  1711. while (*optarg) {
  1712. // allocate space
  1713. test_powerloss_t *powerloss = mappend(
  1714. (void**)&test_powerlosses,
  1715. sizeof(test_powerloss_t),
  1716. &test_powerloss_count,
  1717. &test_powerloss_capacity);
  1718. // parse the power-loss scenario
  1719. optarg += strspn(optarg, " ");
  1720. // named power-loss scenario
  1721. size_t len = strcspn(optarg, " ,");
  1722. for (size_t i = 0; builtin_powerlosses[i].long_name; i++) {
  1723. if ((len == 1
  1724. && *optarg == builtin_powerlosses[i].short_name)
  1725. || (len == strlen(
  1726. builtin_powerlosses[i].long_name)
  1727. && memcmp(optarg,
  1728. builtin_powerlosses[i].long_name,
  1729. len) == 0)) {
  1730. *powerloss = builtin_powerlosses[i];
  1731. optarg += len;
  1732. goto powerloss_next;
  1733. }
  1734. }
  1735. // comma-separated permutation
  1736. if (*optarg == '{') {
  1737. lfs_testbd_powercycles_t *cycles = NULL;
  1738. size_t cycle_count = 0;
  1739. size_t cycle_capacity = 0;
  1740. char *s = optarg + 1;
  1741. while (true) {
  1742. char *parsed = NULL;
  1743. *(lfs_testbd_powercycles_t*)mappend(
  1744. (void**)&cycles,
  1745. sizeof(lfs_testbd_powercycles_t),
  1746. &cycle_count,
  1747. &cycle_capacity)
  1748. = strtoumax(s, &parsed, 0);
  1749. s = parsed + strspn(parsed, " ");
  1750. if (*s == ',') {
  1751. s += 1;
  1752. continue;
  1753. } else if (*s == '}') {
  1754. s += 1;
  1755. break;
  1756. } else {
  1757. goto powerloss_unknown;
  1758. }
  1759. }
  1760. *powerloss = (test_powerloss_t){
  1761. .run = run_powerloss_cycles,
  1762. .cycles = cycles,
  1763. .cycle_count = cycle_count,
  1764. };
  1765. optarg = s;
  1766. goto powerloss_next;
  1767. }
  1768. // leb16-encoded permutation
  1769. if (*optarg == ':') {
  1770. lfs_testbd_powercycles_t *cycles = NULL;
  1771. size_t cycle_count = 0;
  1772. size_t cycle_capacity = 0;
  1773. char *s = optarg + 1;
  1774. while (true) {
  1775. char *parsed = NULL;
  1776. uintmax_t x = leb16_parse(s, &parsed);
  1777. if (parsed == s) {
  1778. break;
  1779. }
  1780. *(lfs_testbd_powercycles_t*)mappend(
  1781. (void**)&cycles,
  1782. sizeof(lfs_testbd_powercycles_t),
  1783. &cycle_count,
  1784. &cycle_capacity) = x;
  1785. s = parsed;
  1786. }
  1787. *powerloss = (test_powerloss_t){
  1788. .run = run_powerloss_cycles,
  1789. .cycles = cycles,
  1790. .cycle_count = cycle_count,
  1791. };
  1792. optarg = s;
  1793. goto powerloss_next;
  1794. }
  1795. // exhaustive permutations
  1796. {
  1797. char *parsed = NULL;
  1798. size_t count = strtoumax(optarg, &parsed, 0);
  1799. if (parsed == optarg) {
  1800. goto powerloss_unknown;
  1801. }
  1802. *powerloss = (test_powerloss_t){
  1803. .run = run_powerloss_exhaustive,
  1804. .cycles = NULL,
  1805. .cycle_count = count,
  1806. };
  1807. optarg = (char*)parsed;
  1808. goto powerloss_next;
  1809. }
  1810. powerloss_unknown:
  1811. // unknown scenario?
  1812. fprintf(stderr, "error: unknown power-loss scenario: %s\n",
  1813. optarg);
  1814. exit(-1);
  1815. powerloss_next:
  1816. optarg += strspn(optarg, " ");
  1817. if (*optarg == ',') {
  1818. optarg += 1;
  1819. } else if (*optarg == '\0') {
  1820. break;
  1821. } else {
  1822. goto powerloss_unknown;
  1823. }
  1824. }
  1825. break;
  1826. }
  1827. case OPT_STEP: {
  1828. char *parsed = NULL;
  1829. size_t start = strtoumax(optarg, &parsed, 0);
  1830. // allow empty string for start=0
  1831. if (parsed != optarg) {
  1832. test_step_start = start;
  1833. }
  1834. optarg = parsed + strspn(parsed, " ");
  1835. if (*optarg != ',' && *optarg != '\0') {
  1836. goto step_unknown;
  1837. }
  1838. if (*optarg == ',') {
  1839. optarg += 1;
  1840. size_t stop = strtoumax(optarg, &parsed, 0);
  1841. // allow empty string for stop=end
  1842. if (parsed != optarg) {
  1843. test_step_stop = stop;
  1844. }
  1845. optarg = parsed + strspn(parsed, " ");
  1846. if (*optarg != ',' && *optarg != '\0') {
  1847. goto step_unknown;
  1848. }
  1849. if (*optarg == ',') {
  1850. optarg += 1;
  1851. size_t step = strtoumax(optarg, &parsed, 0);
  1852. // allow empty string for stop=1
  1853. if (parsed != optarg) {
  1854. test_step_step = step;
  1855. }
  1856. optarg = parsed + strspn(parsed, " ");
  1857. if (*optarg != '\0') {
  1858. goto step_unknown;
  1859. }
  1860. }
  1861. }
  1862. break;
  1863. step_unknown:
  1864. fprintf(stderr, "error: invalid step: %s\n", optarg);
  1865. exit(-1);
  1866. }
  1867. case OPT_DISK:
  1868. test_disk_path = optarg;
  1869. break;
  1870. case OPT_TRACE:
  1871. test_trace_path = optarg;
  1872. break;
  1873. case OPT_READ_SLEEP: {
  1874. char *parsed = NULL;
  1875. double read_sleep = strtod(optarg, &parsed);
  1876. if (parsed == optarg) {
  1877. fprintf(stderr, "error: invalid read-sleep: %s\n", optarg);
  1878. exit(-1);
  1879. }
  1880. test_read_sleep = read_sleep*1.0e9;
  1881. break;
  1882. }
  1883. case OPT_PROG_SLEEP: {
  1884. char *parsed = NULL;
  1885. double prog_sleep = strtod(optarg, &parsed);
  1886. if (parsed == optarg) {
  1887. fprintf(stderr, "error: invalid prog-sleep: %s\n", optarg);
  1888. exit(-1);
  1889. }
  1890. test_prog_sleep = prog_sleep*1.0e9;
  1891. break;
  1892. }
  1893. case OPT_ERASE_SLEEP: {
  1894. char *parsed = NULL;
  1895. double erase_sleep = strtod(optarg, &parsed);
  1896. if (parsed == optarg) {
  1897. fprintf(stderr, "error: invalid erase-sleep: %s\n", optarg);
  1898. exit(-1);
  1899. }
  1900. test_erase_sleep = erase_sleep*1.0e9;
  1901. break;
  1902. }
  1903. // done parsing
  1904. case -1:
  1905. goto getopt_done;
  1906. // unknown arg, getopt prints a message for us
  1907. default:
  1908. exit(-1);
  1909. }
  1910. }
  1911. getopt_done: ;
  1912. if (argc > optind) {
  1913. // reset our test identifier list
  1914. test_ids = NULL;
  1915. test_id_count = 0;
  1916. test_id_capacity = 0;
  1917. }
  1918. // parse test identifier, if any, cannibalizing the arg in the process
  1919. for (; argc > optind; optind++) {
  1920. test_define_t *defines = NULL;
  1921. size_t define_count = 0;
  1922. lfs_testbd_powercycles_t *cycles = NULL;
  1923. size_t cycle_count = 0;
  1924. // parse suite
  1925. char *suite = argv[optind];
  1926. char *case_ = strchr(suite, ':');
  1927. if (case_) {
  1928. *case_ = '\0';
  1929. case_ += 1;
  1930. }
  1931. // remove optional path and .toml suffix
  1932. char *slash = strrchr(suite, '/');
  1933. if (slash) {
  1934. suite = slash+1;
  1935. }
  1936. size_t suite_len = strlen(suite);
  1937. if (suite_len > 5 && strcmp(&suite[suite_len-5], ".toml") == 0) {
  1938. suite[suite_len-5] = '\0';
  1939. }
  1940. if (case_) {
  1941. // parse case
  1942. char *defines_ = strchr(case_, ':');
  1943. if (defines_) {
  1944. *defines_ = '\0';
  1945. defines_ += 1;
  1946. }
  1947. // nothing really to do for case
  1948. if (defines_) {
  1949. // parse defines
  1950. char *cycles_ = strchr(defines_, ':');
  1951. if (cycles_) {
  1952. *cycles_ = '\0';
  1953. cycles_ += 1;
  1954. }
  1955. while (true) {
  1956. char *parsed;
  1957. size_t d = leb16_parse(defines_, &parsed);
  1958. intmax_t v = leb16_parse(parsed, &parsed);
  1959. if (parsed == defines_) {
  1960. break;
  1961. }
  1962. defines_ = parsed;
  1963. if (d >= define_count) {
  1964. // align to power of two to avoid any superlinear growth
  1965. size_t ncount = 1 << lfs_npw2(d+1);
  1966. defines = realloc(defines,
  1967. ncount*sizeof(test_define_t));
  1968. memset(defines+define_count, 0,
  1969. (ncount-define_count)*sizeof(test_define_t));
  1970. define_count = ncount;
  1971. }
  1972. defines[d] = (test_define_t)TEST_LIT(v);
  1973. }
  1974. if (cycles_) {
  1975. // parse power cycles
  1976. size_t cycle_capacity = 0;
  1977. while (*cycles_ != '\0') {
  1978. char *parsed = NULL;
  1979. *(lfs_testbd_powercycles_t*)mappend(
  1980. (void**)&cycles,
  1981. sizeof(lfs_testbd_powercycles_t),
  1982. &cycle_count,
  1983. &cycle_capacity)
  1984. = leb16_parse(cycles_, &parsed);
  1985. if (parsed == cycles_) {
  1986. fprintf(stderr, "error: "
  1987. "could not parse test cycles: %s\n",
  1988. cycles_);
  1989. exit(-1);
  1990. }
  1991. cycles_ = parsed;
  1992. }
  1993. }
  1994. }
  1995. }
  1996. // append to identifier list
  1997. *(test_id_t*)mappend(
  1998. (void**)&test_ids,
  1999. sizeof(test_id_t),
  2000. &test_id_count,
  2001. &test_id_capacity) = (test_id_t){
  2002. .suite = suite,
  2003. .case_ = case_,
  2004. .defines = defines,
  2005. .define_count = define_count,
  2006. .cycles = cycles,
  2007. .cycle_count = cycle_count,
  2008. };
  2009. }
  2010. // register overrides
  2011. test_define_overrides(overrides, override_count);
  2012. // do the thing
  2013. op();
  2014. // cleanup (need to be done for valgrind testing)
  2015. test_define_cleanup();
  2016. free(overrides);
  2017. if (test_geometry_capacity) {
  2018. free((test_geometry_t*)test_geometries);
  2019. }
  2020. if (test_powerloss_capacity) {
  2021. for (size_t i = 0; i < test_powerloss_count; i++) {
  2022. free((lfs_testbd_powercycles_t*)test_powerlosses[i].cycles);
  2023. }
  2024. free((test_powerloss_t*)test_powerlosses);
  2025. }
  2026. if (test_id_capacity) {
  2027. for (size_t i = 0; i < test_id_count; i++) {
  2028. free((test_geometry_t*)test_ids[i].defines);
  2029. free((lfs_testbd_powercycles_t*)test_ids[i].cycles);
  2030. }
  2031. free((test_id_t*)test_ids);
  2032. }
  2033. }