Commit 9571a41e authored by Rusty Russell's avatar Rusty Russell

failtest: use a linked list for history, not an array.

This avoids a silly realloc, but more importantly it gets us closer to
being runtime extensible, as each history element can be a different
size.
parent 6a906358
...@@ -61,10 +61,12 @@ int main(int argc, char *argv[]) ...@@ -61,10 +61,12 @@ int main(int argc, char *argv[])
return 1; return 1;
if (strcmp(argv[1], "depends") == 0) { if (strcmp(argv[1], "depends") == 0) {
printf("ccan/build_assert\n");
printf("ccan/compiler\n"); printf("ccan/compiler\n");
printf("ccan/read_write_all\n"); printf("ccan/read_write_all\n");
printf("ccan/build_assert\n"); printf("ccan/str\n");
printf("ccan/time\n"); printf("ccan/time\n");
printf("ccan/tlist\n");
return 0; return 0;
} }
......
This diff is collapsed.
...@@ -9,6 +9,7 @@ ...@@ -9,6 +9,7 @@
#include <stdbool.h> #include <stdbool.h>
#include <fcntl.h> #include <fcntl.h>
#include <ccan/compiler/compiler.h> #include <ccan/compiler/compiler.h>
#include <ccan/tlist/tlist.h>
/** /**
* failtest_init - initialize the failtest module * failtest_init - initialize the failtest module
...@@ -124,6 +125,8 @@ struct fcntl_call { ...@@ -124,6 +125,8 @@ struct fcntl_call {
* failtest_hook, failtest_exit_check * failtest_hook, failtest_exit_check
*/ */
struct failtest_call { struct failtest_call {
/* We're in the history list. */
struct list_node list;
enum failtest_call_type type; enum failtest_call_type type;
/* Where we were called from. */ /* Where we were called from. */
const char *file; const char *file;
...@@ -148,6 +151,9 @@ struct failtest_call { ...@@ -148,6 +151,9 @@ struct failtest_call {
} u; } u;
}; };
/* This defines struct tlist_calls. */
TLIST_TYPE(calls, struct failtest_call);
enum failtest_result { enum failtest_result {
/* Yes try failing this call. */ /* Yes try failing this call. */
FAIL_OK, FAIL_OK,
...@@ -160,7 +166,6 @@ enum failtest_result { ...@@ -160,7 +166,6 @@ enum failtest_result {
/** /**
* failtest_hook - whether a certain call should fail or not. * failtest_hook - whether a certain call should fail or not.
* @history: the ordered history of all failtest calls. * @history: the ordered history of all failtest calls.
* @num: the number of elements in @history (greater than 0)
* *
* The default value of this hook is failtest_default_hook(), which returns * The default value of this hook is failtest_default_hook(), which returns
* FAIL_OK (ie. yes, fail the call). * FAIL_OK (ie. yes, fail the call).
...@@ -170,25 +175,24 @@ enum failtest_result { ...@@ -170,25 +175,24 @@ enum failtest_result {
* call. * call.
* *
* Example: * Example:
* static enum failtest_result dont_fail_alloc(struct failtest_call *hist, * static enum failtest_result dont_fail_alloc(struct tlist_calls *history)
* unsigned num)
* { * {
* if (hist[num-1].type == FAILTEST_MALLOC * struct failtest_call *call;
* || hist[num-1].type == FAILTEST_CALLOC * call = tlist_tail(history, struct failtest_call, list);
* || hist[num-1].type == FAILTEST_REALLOC) * if (call->type == FAILTEST_MALLOC
* || call->type == FAILTEST_CALLOC
* || call->type == FAILTEST_REALLOC)
* return FAIL_DONT_FAIL; * return FAIL_DONT_FAIL;
* return FAIL_OK; * return FAIL_OK;
* } * }
* ... * ...
* failtest_hook = dont_fail_alloc; * failtest_hook = dont_fail_alloc;
*/ */
extern enum failtest_result extern enum failtest_result (*failtest_hook)(struct tlist_calls *history);
(*failtest_hook)(struct failtest_call *history, unsigned num);
/** /**
* failtest_exit_check - hook for additional checks on a failed child. * failtest_exit_check - hook for additional checks on a failed child.
* @history: the ordered history of all failtest calls. * @history: the ordered history of all failtest calls.
* @num: the number of elements in @history (greater than 0)
* *
* Your program might have additional checks to do on failure, such as * Your program might have additional checks to do on failure, such as
* check that a file is not corrupted, or than an error message has been * check that a file is not corrupted, or than an error message has been
...@@ -197,16 +201,15 @@ extern enum failtest_result ...@@ -197,16 +201,15 @@ extern enum failtest_result
* If this returns false, the path to this failure will be printed and the * If this returns false, the path to this failure will be printed and the
* overall test will fail. * overall test will fail.
*/ */
extern bool (*failtest_exit_check)(struct failtest_call *history, extern bool (*failtest_exit_check)(struct tlist_calls *history);
unsigned num);
/** /**
* failtest_has_failed - determine if a failure has occurred. * failtest_has_failed - determine if a failure has occurred.
* *
* Sometimes you want to exit immediately if you've experienced a failure. * Sometimes you want to exit immediately if you've experienced an
* This is useful when you have four separate tests in your test suite, * injected failure. This is useful when you have four separate tests
* and you don't want to do the next one if you've had a failure in a * in your test suite, and you don't want to do the next one if you've
* previous one. * had a failure in a previous one.
*/ */
extern bool failtest_has_failed(void); extern bool failtest_has_failed(void);
......
...@@ -102,20 +102,24 @@ int main(void) ...@@ -102,20 +102,24 @@ int main(void)
ok1(call->u.write.fd == write_call.fd); ok1(call->u.write.fd == write_call.fd);
ok1(call->u.write.count == write_call.count); ok1(call->u.write.count == write_call.count);
ok1(history_num == 7); i = 0;
tlist_for_each(&history, call, list)
i++;
for (i = 0; i < history_num; i++) ok1(i == 7);
history[i].fail = false;
tlist_for_each(&history, call, list)
call->fail = false;
path = failpath_string(); path = failpath_string();
ok1(strcmp(path, "cmeoprw") == 0); ok1(streq(path, "cmeoprw"));
free(path); free(path);
for (i = 0; i < history_num; i++) tlist_for_each(&history, call, list)
history[i].fail = true; call->fail = true;
path = failpath_string(); path = failpath_string();
ok1(strcmp(path, "CMEOPRW") == 0); ok1(streq(path, "CMEOPRW"));
free(path); free(path);
return exit_status(); return exit_status();
......
...@@ -10,8 +10,7 @@ ...@@ -10,8 +10,7 @@
#define SIZE 8 #define SIZE 8
/* We don't want to fork and fail; we're just testing lock recording. */ /* We don't want to fork and fail; we're just testing lock recording. */
static enum failtest_result dont_fail(struct failtest_call *history, static enum failtest_result dont_fail(struct tlist_calls *history)
unsigned num)
{ {
return FAIL_DONT_FAIL; return FAIL_DONT_FAIL;
} }
......
...@@ -26,12 +26,14 @@ bool failmatch(const struct failtest_call *call, ...@@ -26,12 +26,14 @@ bool failmatch(const struct failtest_call *call,
} }
static const struct failtest_call * static const struct failtest_call *
find_repeat(const struct failtest_call *start, const struct failtest_call *end, find_repeat(const struct tlist_calls *history,
const struct failtest_call *call) const struct failtest_call *call)
{ {
const struct failtest_call *i; const struct failtest_call *i;
for (i = start; i < end; i++) { tlist_for_each(history, i, list) {
if (i != call)
continue;
if (failmatch(i, call->file, call->line, call->type)) if (failmatch(i, call->file, call->line, call->type))
return i; return i;
} }
...@@ -49,32 +51,31 @@ static bool is_unlock(const struct failtest_call *call) ...@@ -49,32 +51,31 @@ static bool is_unlock(const struct failtest_call *call)
&& call->u.fcntl.arg.fl.l_type == F_UNLCK; && call->u.fcntl.arg.fl.l_type == F_UNLCK;
} }
bool exit_check_log(struct failtest_call *history, unsigned num) bool exit_check_log(struct tlist_calls *history)
{ {
unsigned int i; const struct failtest_call *i;
for (i = 0; i < num; i++) { tlist_for_each(history, i, list) {
if (!history[i].fail) if (!i->fail)
continue; continue;
/* Failing the /dev/urandom open doesn't count: we fall back. */ /* Failing the /dev/urandom open doesn't count: we fall back. */
if (failmatch(&history[i], URANDOM_OPEN)) if (failmatch(i, URANDOM_OPEN))
continue; continue;
/* Similarly with read fail. */ /* Similarly with read fail. */
if (failmatch(&history[i], URANDOM_READ)) if (failmatch(i, URANDOM_READ))
continue; continue;
/* Initial allocation of tdb doesn't log. */ /* Initial allocation of tdb doesn't log. */
if (failmatch(&history[i], INITIAL_TDB_MALLOC)) if (failmatch(i, INITIAL_TDB_MALLOC))
continue; continue;
/* We don't block "failures" on non-blocking locks. */ /* We don't block "failures" on non-blocking locks. */
if (is_nonblocking_lock(&history[i])) if (is_nonblocking_lock(i))
continue; continue;
if (!tap_log_messages) if (!tap_log_messages)
diag("We didn't log for %u (%s:%u)", diag("We didn't log for %s:%u", i->file, i->line);
i, history[i].file, history[i].line);
return tap_log_messages != 0; return tap_log_messages != 0;
} }
return true; return true;
...@@ -82,9 +83,11 @@ bool exit_check_log(struct failtest_call *history, unsigned num) ...@@ -82,9 +83,11 @@ bool exit_check_log(struct failtest_call *history, unsigned num)
/* Some places we soldier on despite errors: only fail them once. */ /* Some places we soldier on despite errors: only fail them once. */
enum failtest_result enum failtest_result
block_repeat_failures(struct failtest_call *history, unsigned num) block_repeat_failures(struct tlist_calls *history)
{ {
const struct failtest_call *i, *last = &history[num-1]; const struct failtest_call *i, *last;
last = tlist_tail(history, struct failtest_call, list);
if (failtest_suppress) if (failtest_suppress)
return FAIL_DONT_FAIL; return FAIL_DONT_FAIL;
...@@ -92,7 +95,7 @@ block_repeat_failures(struct failtest_call *history, unsigned num) ...@@ -92,7 +95,7 @@ block_repeat_failures(struct failtest_call *history, unsigned num)
if (failmatch(last, INITIAL_TDB_MALLOC) if (failmatch(last, INITIAL_TDB_MALLOC)
|| failmatch(last, URANDOM_OPEN) || failmatch(last, URANDOM_OPEN)
|| failmatch(last, URANDOM_READ)) { || failmatch(last, URANDOM_READ)) {
if (find_repeat(history, last, last)) if (find_repeat(history, last))
return FAIL_DONT_FAIL; return FAIL_DONT_FAIL;
return FAIL_PROBE; return FAIL_PROBE;
} }
...@@ -100,21 +103,15 @@ block_repeat_failures(struct failtest_call *history, unsigned num) ...@@ -100,21 +103,15 @@ block_repeat_failures(struct failtest_call *history, unsigned num)
/* Unlock or non-blocking lock is fail-once. */ /* Unlock or non-blocking lock is fail-once. */
if (is_unlock(last)) { if (is_unlock(last)) {
/* Find a previous unlock at this point? */ /* Find a previous unlock at this point? */
for (i = find_repeat(history, last, last); i = find_repeat(history, last);
i; if (i && is_unlock(i))
i = find_repeat(history, i, last)) {
if (is_unlock(i))
return FAIL_DONT_FAIL; return FAIL_DONT_FAIL;
}
return FAIL_PROBE; return FAIL_PROBE;
} else if (is_nonblocking_lock(last)) { } else if (is_nonblocking_lock(last)) {
/* Find a previous non-blocking lock at this point? */ /* Find a previous non-blocking lock at this point? */
for (i = find_repeat(history, last, last); i = find_repeat(history, last);
i; if (i && is_nonblocking_lock(i))
i = find_repeat(history, i, last)) {
if (is_nonblocking_lock(i))
return FAIL_DONT_FAIL; return FAIL_DONT_FAIL;
}
return FAIL_PROBE; return FAIL_PROBE;
} }
......
...@@ -8,11 +8,10 @@ ...@@ -8,11 +8,10 @@
#define URANDOM_OPEN "open.c", 62, FAILTEST_OPEN #define URANDOM_OPEN "open.c", 62, FAILTEST_OPEN
#define URANDOM_READ "open.c", 42, FAILTEST_READ #define URANDOM_READ "open.c", 42, FAILTEST_READ
bool exit_check_log(struct failtest_call *history, unsigned num); bool exit_check_log(struct tlist_calls *history);
bool failmatch(const struct failtest_call *call, bool failmatch(const struct failtest_call *call,
const char *file, int line, enum failtest_call_type type); const char *file, int line, enum failtest_call_type type);
enum failtest_result enum failtest_result block_repeat_failures(struct tlist_calls *history);
block_repeat_failures(struct failtest_call *history, unsigned num);
/* Set this to suppress failure. */ /* Set this to suppress failure. */
extern bool failtest_suppress; extern bool failtest_suppress;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment