Browse Source

Don't make assumptions about traverse order, and prove it by using a different hash.

Rusty Russell 16 years ago
parent
commit
e82f0cbd50
1 changed files with 238 additions and 110 deletions
  1. 238 110
      ccan/tdb/tools/replay_trace.c

+ 238 - 110
ccan/tdb/tools/replay_trace.c

@@ -1,5 +1,6 @@
 #include <ccan/tdb/tdb.h>
 #include <ccan/tdb/tdb.h>
 #include <ccan/grab_file/grab_file.h>
 #include <ccan/grab_file/grab_file.h>
+#include <ccan/hash/hash.h>
 #include <ccan/talloc/talloc.h>
 #include <ccan/talloc/talloc.h>
 #include <ccan/str_talloc/str_talloc.h>
 #include <ccan/str_talloc/str_talloc.h>
 #include <ccan/str/str.h>
 #include <ccan/str/str.h>
@@ -38,6 +39,13 @@
 		}							\
 		}							\
 	} while (0)
 	} while (0)
 
 
+static bool key_eq(TDB_DATA a, TDB_DATA b)
+{
+	if (a.dsize != b.dsize)
+		return false;
+	return memcmp(a.dptr, b.dptr, a.dsize) == 0;
+}
+
 enum op_type {
 enum op_type {
 	OP_TDB_LOCKALL,
 	OP_TDB_LOCKALL,
 	OP_TDB_LOCKALL_MARK,
 	OP_TDB_LOCKALL_MARK,
@@ -79,8 +87,11 @@ struct op {
 	enum op_type op;
 	enum op_type op;
 	TDB_DATA key;
 	TDB_DATA key;
 	TDB_DATA data;
 	TDB_DATA data;
-	int flag;
 	int ret;
 	int ret;
+	union {
+		int flag; /* open and store */
+		struct traverse *trav; /* traverse start */
+	};
 };
 };
 
 
 static unsigned char hex_char(unsigned int line, char c)
 static unsigned char hex_char(unsigned int line, char c)
@@ -113,15 +124,14 @@ static TDB_DATA make_tdb_data(const void *ctx,
 	return data;
 	return data;
 }
 }
 
 
-static void add_op(struct op **op, unsigned int i,
-		   enum op_type type, const char *key, const char *data,
-		   int flag, int ret)
+static struct op *add_op(struct op **op, unsigned int i,
+			 enum op_type type, const char *key, const char *data,
+			 int ret)
 {
 {
 	struct op *new;
 	struct op *new;
 	*op = talloc_realloc(NULL, *op, struct op, i+1);
 	*op = talloc_realloc(NULL, *op, struct op, i+1);
 	new = (*op) + i;
 	new = (*op) + i;
 	new->op = type;
 	new->op = type;
-	new->flag = flag;
 	new->ret = ret;
 	new->ret = ret;
 	if (key)
 	if (key)
 		new->key = make_tdb_data(*op, i+1, key);
 		new->key = make_tdb_data(*op, i+1, key);
@@ -131,6 +141,7 @@ static void add_op(struct op **op, unsigned int i,
 		new->data = make_tdb_data(*op, i+1, data);
 		new->data = make_tdb_data(*op, i+1, data);
 	else
 	else
 		new->data = tdb_null;
 		new->data = tdb_null;
+	return new;
 }
 }
 
 
 static int get_len(TDB_DATA key, TDB_DATA data, void *private_data)
 static int get_len(TDB_DATA key, TDB_DATA data, void *private_data)
@@ -138,70 +149,182 @@ static int get_len(TDB_DATA key, TDB_DATA data, void *private_data)
 	return data.dsize;
 	return data.dsize;
 }
 }
 
 
-struct traverse_info {
-	const struct op *op;
-	unsigned int start_line;
-	unsigned int i;
+struct traverse_hash {
+	TDB_DATA key;
+	unsigned int index;
+};
+
+/* A traverse is a hash of keys, each one associated with ops. */
+struct traverse {
+	/* How many traversal callouts should I do? */
 	unsigned int num;
 	unsigned int num;
+
+	/* Where is traversal end op? */
+	unsigned int end;
+
+	/* For trivial traversals. */
+	struct traverse_hash *hash;
 };
 };
 
 
+/* This is based on the hash algorithm from gdbm */
+static unsigned int hash_key(TDB_DATA *key)
+{
+	uint32_t value;	/* Used to compute the hash value.  */
+	uint32_t   i;	/* Used to cycle through random values. */
+
+	/* Set the initial value from the key size. */
+	for (value = 0x238F13AF ^ key->dsize, i=0; i < key->dsize; i++)
+		value = (value + (key->dptr[i] << (i*5 % 24)));
+
+	return (1103515243 * value + 12345);  
+}
+
+/* A trivial traversal is one which doesn't terminate early and only
+ * plays with its own record.  We can reliably replay these even if
+ * traverse order changes. */
+static bool is_trivial_traverse(struct op op[], unsigned int end)
+{
+	unsigned int i;
+	TDB_DATA cur = tdb_null;
+
+	if (op[end].ret != 0)
+		return false;
+
+	for (i = 0; i < end; i++) {
+		if (!op[i].key.dptr)
+			continue;
+		if (op[i].op == OP_TDB_TRAVERSE)
+			cur = op[i].key;
+		if (!key_eq(cur, op[i].key))
+			return false;
+	}
+	return true;
+}
+
+static void analyze_traverse(struct op op[], unsigned int end)
+{
+	int i;
+	struct traverse *trav = talloc(op, struct traverse);
+
+	trav->num = 0;
+	trav->end = end;
+	for (i = end-1; i >= 0; i--) {
+		if (op[i].op == OP_TDB_TRAVERSE)
+			trav->num++;
+		if (op[i].op != OP_TDB_TRAVERSE_READ_START
+		    && op[i].op != OP_TDB_TRAVERSE_START)
+			continue;
+		if (op[i].trav)
+			continue;
+		break;
+	}
+
+	if (i < 0)
+		errx(1, "Line %u: no traversal start found", end+1);
+
+	op[i].trav = trav;
+
+	if (is_trivial_traverse(op+i, end-i)) {
+		/* Fill in a plentiful hash table. */
+		op[i].trav->hash = talloc_zero_array(op[i].trav,
+						     struct traverse_hash,
+						     trav->num * 2);
+		for (; i < end; i++) {
+			unsigned int h;
+			if (op[i].op != OP_TDB_TRAVERSE)
+				continue;
+			h = hash_key(&op[i].key) % (trav->num * 2);
+			while (trav->hash[h].index)
+				h = (h + 1) % (trav->num * 2);
+			trav->hash[h].index = i+1;
+			trav->hash[h].key = op[i].key;
+		}
+	} else
+		trav->hash = NULL;
+}
+
 static unsigned run_ops(struct tdb_context *tdb, const struct op op[],
 static unsigned run_ops(struct tdb_context *tdb, const struct op op[],
 			unsigned int start, unsigned int stop);
 			unsigned int start, unsigned int stop);
 
 
-static int traverse(struct tdb_context *tdb, TDB_DATA key, TDB_DATA data,
-		    void *_tinfo)
+struct traverse_info {
+	const struct op *op;
+	unsigned int start;
+	unsigned int i;
+};
+
+/* Trivial case: do whatever they did for this key. */
+static int trivial_traverse(struct tdb_context *tdb,
+			    TDB_DATA key, TDB_DATA data,
+			    void *_tinfo)
+{
+	struct traverse_info *tinfo = _tinfo;
+	struct traverse *trav = tinfo->op[tinfo->start].trav;
+	unsigned int h = hash_key(&key) % (trav->num * 2);
+
+	while (trav->hash[h].index) {
+		if (key_eq(trav->hash[h].key, key)) {
+			run_ops(tdb, tinfo->op, trav->hash[h].index, trav->end);
+			tinfo->i++;
+			return 0;
+		}
+		h = (h + 1) % (trav->num * 2);
+	}
+	errx(1, "Traverse at %u: unexpected key", tinfo->start + 1);
+}
+
+/* More complex.  Just do whatever's they did at the n'th entry. */
+static int nontrivial_traverse(struct tdb_context *tdb,
+			       TDB_DATA key, TDB_DATA data,
+			       void *_tinfo)
 {
 {
 	struct traverse_info *tinfo = _tinfo;
 	struct traverse_info *tinfo = _tinfo;
+	struct traverse *trav = tinfo->op[tinfo->start].trav;
 
 
-	if (tinfo->i == tinfo->num)
+	if (tinfo->i == trav->end)
 		errx(1, "Transaction starting line %u did not terminate",
 		errx(1, "Transaction starting line %u did not terminate",
-		     tinfo->start_line);
+		     tinfo->start + 1);
 
 
 	if (tinfo->op[tinfo->i].op != OP_TDB_TRAVERSE)
 	if (tinfo->op[tinfo->i].op != OP_TDB_TRAVERSE)
-		errx(1, "Transaction starting line %u terminatd early",
-		     tinfo->start_line);
-
-	/* Check we have right key. */
-	if (key.dsize != tinfo->op[tinfo->i].key.dsize
-	    || memcmp(key.dptr, tinfo->op[tinfo->i].key.dptr, key.dsize))
-		errx(1, "Line %u: bad traverse key", tinfo->i+1);
-	if (data.dsize != tinfo->op[tinfo->i].data.dsize
-	    || memcmp(data.dptr, tinfo->op[tinfo->i].data.dptr, data.dsize))
-		errx(1, "Line %u: bad traverse data", tinfo->i+1);
-
-	tinfo->i++;
+		errx(1, "Transaction starting line %u terminated early",
+		     tinfo->start + 1);
+
 	/* Run any normal ops. */
 	/* Run any normal ops. */
-	tinfo->i = run_ops(tdb, tinfo->op, tinfo->i, tinfo->num);
+	tinfo->i = run_ops(tdb, tinfo->op, tinfo->i+1, trav->end);
 
 
-	if (tinfo->op[tinfo->i].op == OP_TDB_TRAVERSE_END)
+	if (tinfo->i == trav->end)
 		return 1;
 		return 1;
 	return 0;
 	return 0;
 }
 }
 
 
 static unsigned op_traverse(struct tdb_context *tdb,
 static unsigned op_traverse(struct tdb_context *tdb,
+			    int (*traversefn)(struct tdb_context *,
+					      tdb_traverse_func, void *),
 			    const struct op op[],
 			    const struct op op[],
-			    unsigned int line,
-			    unsigned int num)
+			    unsigned int start)
 {
 {
-	struct traverse_info tinfo = { op, line, line, num };
-
-	tdb_traverse(tdb, traverse, &tinfo);
-	if (tinfo.i < num && op[tinfo.i].op != OP_TDB_TRAVERSE_END)
-		errx(1, "%u: Short traversal", line);
-	return tinfo.i;
-}
+	struct traverse *trav = op[start].trav;
+	struct traverse_info tinfo = { op, start, start+1 };
+
+	/* Trivial case. */
+	if (trav->hash) {
+		int ret = traversefn(tdb, trivial_traverse, &tinfo);
+		if (ret != trav->num)
+			errx(1, "Line %u: short traversal %i", start+1, ret);
+		return trav->end;
+	}
 
 
-static unsigned op_read_traverse(struct tdb_context *tdb,
-				 const struct op op[],
-				 unsigned int line,
-				 unsigned int num)
-{
-	struct traverse_info tinfo = { op, line, line, num };
+	traversefn(tdb, nontrivial_traverse, &tinfo);
 
 
-	tdb_traverse_read(tdb, traverse, &tinfo);
-	if (tinfo.i < num && op[tinfo.i].op != OP_TDB_TRAVERSE_END)
-		errx(1, "%u: Short traversal", line);
-	return tinfo.i;
+	/* Traversing in wrong order can have strange effects: eg. if
+	 * original traverse went A (delete A), B, we might do B
+	 * (delete A).  So if we have ops left over, we do it now. */
+	while (tinfo.i != trav->end) {
+		if (op[tinfo.i].op == OP_TDB_TRAVERSE)
+			tinfo.i++;
+		else
+			tinfo.i = run_ops(tdb, op, tinfo.i, trav->end);
+	}
+	return trav->end;
 }
 }
 
 
 static __attribute__((noinline))
 static __attribute__((noinline))
@@ -295,16 +418,17 @@ unsigned run_ops(struct tdb_context *tdb, const struct op op[],
 			try(tdb_transaction_commit(tdb), op[i]);
 			try(tdb_transaction_commit(tdb), op[i]);
 			break;
 			break;
 		case OP_TDB_TRAVERSE_READ_START:
 		case OP_TDB_TRAVERSE_READ_START:
-			i = op_read_traverse(tdb, op, i+1, stop);
+			i = op_traverse(tdb, tdb_traverse_read, op, i);
 			break;
 			break;
 		case OP_TDB_TRAVERSE_START:
 		case OP_TDB_TRAVERSE_START:
-			i = op_traverse(tdb, op, i+1, stop);
+			i = op_traverse(tdb, tdb_traverse, op, i);
 			break;
 			break;
 		case OP_TDB_TRAVERSE:
 		case OP_TDB_TRAVERSE:
-		case OP_TDB_TRAVERSE_END:
-			/* Either of these mean we're in a traversal,
-			 * finished this iteration. */
+			/* Terminate: we're in a traverse, and we've
+			 * done our ops. */
 			return i;
 			return i;
+		case OP_TDB_TRAVERSE_END:
+			errx(1, "Line %u: unepxected end traverse\n", i+1);
 		case OP_TDB_FIRSTKEY:
 		case OP_TDB_FIRSTKEY:
 			data = tdb_firstkey(tdb);
 			data = tdb_firstkey(tdb);
 			if (data.dsize != op[i].data.dsize
 			if (data.dsize != op[i].data.dsize
@@ -360,142 +484,146 @@ int main(int argc, char *argv[])
 		if (streq(words[0], "tdb_open")) {
 		if (streq(words[0], "tdb_open")) {
 			if (tdb)
 			if (tdb)
 				errx(1, "Line %u: tdb_open again?", i+1);
 				errx(1, "Line %u: tdb_open again?", i+1);
-			tdb = tdb_open(argv[2], atoi(words[2]),
-				       strtoul(words[3], NULL, 0),
-				       strtoul(words[4], NULL, 0), 0600);
+			tdb = tdb_open_ex(argv[2], atoi(words[2]),
+					  strtoul(words[3], NULL, 0),
+					  strtoul(words[4], NULL, 0), 0600,
+					  NULL, hash_key);
 			if (!tdb)
 			if (!tdb)
 				err(1, "Opening tdb %s", argv[2]);
 				err(1, "Opening tdb %s", argv[2]);
 		} else if (streq(words[0], "tdb_lockall")) {
 		} else if (streq(words[0], "tdb_lockall")) {
-			add_op(&op, i, OP_TDB_LOCKALL, NULL, NULL, 0, 0);
+			add_op(&op, i, OP_TDB_LOCKALL, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_lockall_mark")) {
 		} else if (streq(words[0], "tdb_lockall_mark")) {
-			add_op(&op, i, OP_TDB_LOCKALL_MARK, NULL, NULL, 0, 0);
+			add_op(&op, i, OP_TDB_LOCKALL_MARK, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_lockall_unmark")) {
 		} else if (streq(words[0], "tdb_lockall_unmark")) {
-			add_op(&op, i, OP_TDB_LOCKALL_UNMARK, NULL, NULL, 0, 0);
+			add_op(&op, i, OP_TDB_LOCKALL_UNMARK, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_lockall_nonblock")) {
 		} else if (streq(words[0], "tdb_lockall_nonblock")) {
-			add_op(&op, i, OP_TDB_LOCKALL_NONBLOCK, NULL, NULL, 0,
+			add_op(&op, i, OP_TDB_LOCKALL_NONBLOCK, NULL, NULL,
 			       atoi(words[1]));
 			       atoi(words[1]));
 		} else if (streq(words[0], "tdb_unlockall")) {
 		} else if (streq(words[0], "tdb_unlockall")) {
-			add_op(&op, i, OP_TDB_UNLOCKALL, NULL, NULL, 0, 0);
+			add_op(&op, i, OP_TDB_UNLOCKALL, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_lockall_read")) {
 		} else if (streq(words[0], "tdb_lockall_read")) {
-			add_op(&op, i, OP_TDB_LOCKALL_READ, NULL, NULL, 0, 0);
+			add_op(&op, i, OP_TDB_LOCKALL_READ, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_lockall_read_nonblock")) {
 		} else if (streq(words[0], "tdb_lockall_read_nonblock")) {
 			add_op(&op, i, OP_TDB_LOCKALL_READ_NONBLOCK, NULL, NULL,
 			add_op(&op, i, OP_TDB_LOCKALL_READ_NONBLOCK, NULL, NULL,
-			       0, atoi(words[1]));
+			       atoi(words[1]));
 		} else if (streq(words[0], "tdb_unlockall_read\n")) {
 		} else if (streq(words[0], "tdb_unlockall_read\n")) {
-			add_op(&op, i, OP_TDB_UNLOCKALL_READ, NULL, NULL, 0, 0);
+			add_op(&op, i, OP_TDB_UNLOCKALL_READ, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_chainlock")) {
 		} else if (streq(words[0], "tdb_chainlock")) {
-			add_op(&op, i, OP_TDB_CHAINLOCK, words[1], NULL, 0, 0);
+			add_op(&op, i, OP_TDB_CHAINLOCK, words[1], NULL, 0);
 		} else if (streq(words[0], "tdb_chainlock_nonblock")) {
 		} else if (streq(words[0], "tdb_chainlock_nonblock")) {
 			add_op(&op, i, OP_TDB_CHAINLOCK_NONBLOCK,
 			add_op(&op, i, OP_TDB_CHAINLOCK_NONBLOCK,
-			       words[1], NULL, 0, atoi(words[3]));
+			       words[1], NULL, atoi(words[3]));
 		} else if (streq(words[0], "tdb_chainlock_mark")) {
 		} else if (streq(words[0], "tdb_chainlock_mark")) {
 			add_op(&op, i, OP_TDB_CHAINLOCK_MARK, words[1], NULL,
 			add_op(&op, i, OP_TDB_CHAINLOCK_MARK, words[1], NULL,
-			       0, 0);
+			       0);
 		} else if (streq(words[0], "tdb_chainlock_unmark")) {
 		} else if (streq(words[0], "tdb_chainlock_unmark")) {
 			add_op(&op, i, OP_TDB_CHAINLOCK_UNMARK, words[1], NULL,
 			add_op(&op, i, OP_TDB_CHAINLOCK_UNMARK, words[1], NULL,
-			       0, 0);
+			       0);
 		} else if (streq(words[0], "tdb_chainunlock")) {
 		} else if (streq(words[0], "tdb_chainunlock")) {
-			add_op(&op, i, OP_TDB_CHAINUNLOCK, words[1], NULL,
-			       0, 0);
+			add_op(&op, i, OP_TDB_CHAINUNLOCK, words[1], NULL, 0);
 		} else if (streq(words[0], "tdb_chainlock_read")) {
 		} else if (streq(words[0], "tdb_chainlock_read")) {
 			add_op(&op, i, OP_TDB_CHAINLOCK_READ, words[1],
 			add_op(&op, i, OP_TDB_CHAINLOCK_READ, words[1],
-			       NULL, 0, 0);
+			       NULL, 0);
 		} else if (streq(words[0], "tdb_chainunlock_read")) {
 		} else if (streq(words[0], "tdb_chainunlock_read")) {
 			add_op(&op, i, OP_TDB_CHAINUNLOCK_READ, words[1],
 			add_op(&op, i, OP_TDB_CHAINUNLOCK_READ, words[1],
-			       NULL, 0, 0);
+			       NULL, 0);
 		} else if (streq(words[0], "tdb_close")) {
 		} else if (streq(words[0], "tdb_close")) {
-			add_op(&op, i, OP_TDB_CLOSE, NULL, NULL, 0, 0);
+			add_op(&op, i, OP_TDB_CLOSE, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_increment_seqnum_nonblock")) {
 		} else if (streq(words[0], "tdb_increment_seqnum_nonblock")) {
 			add_op(&op, i, OP_TDB_INCREMENT_SEQNUM_NONBLOCK,
 			add_op(&op, i, OP_TDB_INCREMENT_SEQNUM_NONBLOCK,
-			       NULL, NULL, 0, 0);
+			       NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_fetch")) {
 		} else if (streq(words[0], "tdb_fetch")) {
 			if (streq(words[3], "ENOENT"))
 			if (streq(words[3], "ENOENT"))
-				add_op(&op, i, OP_TDB_FETCH, words[1], NULL, 0,
+				add_op(&op, i, OP_TDB_FETCH, words[1], NULL,
 				       -TDB_ERR_NOEXIST);
 				       -TDB_ERR_NOEXIST);
 			else
 			else
 				add_op(&op, i, OP_TDB_FETCH, words[1], words[3],
 				add_op(&op, i, OP_TDB_FETCH, words[1], words[3],
-				       0, 0);
+				       0);
 		} else if (streq(words[0], "tdb_parse_record")) {
 		} else if (streq(words[0], "tdb_parse_record")) {
 			if (streq(words[3], "ENOENT"))
 			if (streq(words[3], "ENOENT"))
 				add_op(&op, i, OP_TDB_PARSE_RECORD,
 				add_op(&op, i, OP_TDB_PARSE_RECORD,
-				       words[1], NULL, 0, -TDB_ERR_NOEXIST);
+				       words[1], NULL, -TDB_ERR_NOEXIST);
 			else
 			else
 				add_op(&op, i, OP_TDB_PARSE_RECORD,
 				add_op(&op, i, OP_TDB_PARSE_RECORD,
-				       words[1], NULL, 0, atoi(words[3]));
+				       words[1], NULL, atoi(words[3]));
 		} else if (streq(words[0], "tdb_exists")) {
 		} else if (streq(words[0], "tdb_exists")) {
-			add_op(&op, i, OP_TDB_EXISTS, words[1], NULL, 0,
+			add_op(&op, i, OP_TDB_EXISTS, words[1], NULL,
 			       atoi(words[3]));
 			       atoi(words[3]));
 		} else if (streq(words[0], "tdb_delete")) {
 		} else if (streq(words[0], "tdb_delete")) {
-			add_op(&op, i, OP_TDB_DELETE, words[1], NULL, 0,
+			add_op(&op, i, OP_TDB_DELETE, words[1], NULL,
 			       streq(words[3], "ENOENT")
 			       streq(words[3], "ENOENT")
 			       ? -TDB_ERR_NOEXIST : 0);
 			       ? -TDB_ERR_NOEXIST : 0);
 		} else if (streq(words[0], "tdb_store")) {
 		} else if (streq(words[0], "tdb_store")) {
-			int flag;
+			struct op *new;
 
 
+			if (streq(words[5], "EEXIST"))
+				new = add_op(&op, i, OP_TDB_STORE, words[2],
+					     words[3], -TDB_ERR_EXISTS);
+			else if (streq(words[5], "ENOENT"))
+				new = add_op(&op, i, OP_TDB_STORE, words[2],
+					     words[3], -TDB_ERR_NOEXIST);
+			else
+				new = add_op(&op, i, OP_TDB_STORE, words[2],
+					     words[3], 0);
 			if (streq(words[1], "insert"))
 			if (streq(words[1], "insert"))
-				flag = TDB_INSERT;
+				new->flag = TDB_INSERT;
 			else if (streq(words[1], "modify"))
 			else if (streq(words[1], "modify"))
-				flag = TDB_MODIFY;
+				new->flag = TDB_MODIFY;
 			else if (streq(words[1], "normal"))
 			else if (streq(words[1], "normal"))
-				flag = 0;
+				new->flag = 0;
 			else
 			else
 				errx(1, "Line %u: invalid tdb_store", i+1);
 				errx(1, "Line %u: invalid tdb_store", i+1);
-
-			if (streq(words[5], "EEXIST"))
-				add_op(&op, i, OP_TDB_STORE, words[2], words[3],
-				       flag, -TDB_ERR_EXISTS);
-			else if (streq(words[5], "ENOENT"))
-				add_op(&op, i, OP_TDB_STORE, words[2], words[3],
-				       flag, -TDB_ERR_NOEXIST);
-			else
-				add_op(&op, i, OP_TDB_STORE, words[2], words[3],
-				       flag, 0);
 		} else if (streq(words[0], "tdb_append")) {
 		} else if (streq(words[0], "tdb_append")) {
-			add_op(&op, i, OP_TDB_STORE, words[1], words[2], 0, 0);
+			add_op(&op, i, OP_TDB_APPEND, words[1], words[2], 0);
 		} else if (streq(words[0], "tdb_get_seqnum")) {
 		} else if (streq(words[0], "tdb_get_seqnum")) {
-			add_op(&op, i, OP_TDB_GET_SEQNUM, NULL, NULL, 0,
+			add_op(&op, i, OP_TDB_GET_SEQNUM, NULL, NULL,
 			       atoi(words[2]));
 			       atoi(words[2]));
 		} else if (streq(words[0], "tdb_wipe_all")) {
 		} else if (streq(words[0], "tdb_wipe_all")) {
-			add_op(&op, i, OP_TDB_WIPE_ALL, NULL, NULL, 0, 0);
+			add_op(&op, i, OP_TDB_WIPE_ALL, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_transaction_start")) {
 		} else if (streq(words[0], "tdb_transaction_start")) {
-			add_op(&op, i, OP_TDB_TRANSACTION_START, NULL, NULL,
-			       0, 0);
+			add_op(&op, i, OP_TDB_TRANSACTION_START, NULL, NULL, 0);
 		} else if (streq(words[0], "tdb_transaction_cancel")) {
 		} else if (streq(words[0], "tdb_transaction_cancel")) {
 			add_op(&op, i, OP_TDB_TRANSACTION_CANCEL, NULL, NULL,
 			add_op(&op, i, OP_TDB_TRANSACTION_CANCEL, NULL, NULL,
-			       0, 0);
+			       0);
 		} else if (streq(words[0], "tdb_transaction_commit")) {
 		} else if (streq(words[0], "tdb_transaction_commit")) {
 			add_op(&op, i, OP_TDB_TRANSACTION_COMMIT, NULL, NULL,
 			add_op(&op, i, OP_TDB_TRANSACTION_COMMIT, NULL, NULL,
-			       0, 0);
+			       0);
 		} else if (streq(words[0], "tdb_traverse_read_start")) {
 		} else if (streq(words[0], "tdb_traverse_read_start")) {
 			add_op(&op, i, OP_TDB_TRAVERSE_READ_START, NULL, NULL,
 			add_op(&op, i, OP_TDB_TRAVERSE_READ_START, NULL, NULL,
-			       0, 0);
+			       0)->trav = NULL;
 		} else if (streq(words[0], "tdb_traverse_start")) {
 		} else if (streq(words[0], "tdb_traverse_start")) {
-			add_op(&op, i, OP_TDB_TRAVERSE_START, NULL, NULL,
-			       0, 0);
+			add_op(&op, i, OP_TDB_TRAVERSE_START, NULL, NULL, 0)
+				->trav = NULL;
 		} else if (streq(words[0], "tdb_traverse_end")) {
 		} else if (streq(words[0], "tdb_traverse_end")) {
-			add_op(&op, i, OP_TDB_TRAVERSE_END, NULL, NULL,
-			       0, atoi(words[2]));
+			/* = %u means traverse function terminated. */
+			if (words[1] == NULL)
+				add_op(&op, i, OP_TDB_TRAVERSE_END, NULL, NULL,
+				       0);
+			else
+				add_op(&op, i, OP_TDB_TRAVERSE_END, NULL, NULL,
+				       atoi(words[2]));
+			analyze_traverse(op, i);
 		} else if (streq(words[0], "traverse")) {
 		} else if (streq(words[0], "traverse")) {
-			add_op(&op, i, OP_TDB_TRAVERSE, words[1], words[2],
-			       0, 0);
+			add_op(&op, i, OP_TDB_TRAVERSE, words[1], words[2], 0);
 		} else if (streq(words[0], "tdb_firstkey")) {
 		} else if (streq(words[0], "tdb_firstkey")) {
 			if (streq(words[2], "ENOENT"))
 			if (streq(words[2], "ENOENT"))
 				add_op(&op, i, OP_TDB_FIRSTKEY, NULL, NULL,
 				add_op(&op, i, OP_TDB_FIRSTKEY, NULL, NULL,
-				       0, -TDB_ERR_NOEXIST);
+				       -TDB_ERR_NOEXIST);
 			else
 			else
 				add_op(&op, i, OP_TDB_FIRSTKEY, NULL, words[2],
 				add_op(&op, i, OP_TDB_FIRSTKEY, NULL, words[2],
-				       0, 0);
+				       0);
 		} else if (streq(words[0], "tdb_nextkey")) {
 		} else if (streq(words[0], "tdb_nextkey")) {
 			if (streq(words[3], "ENOENT"))
 			if (streq(words[3], "ENOENT"))
 				add_op(&op, i, OP_TDB_NEXTKEY, words[1], NULL,
 				add_op(&op, i, OP_TDB_NEXTKEY, words[1], NULL,
-				       0, -TDB_ERR_NOEXIST);
+				       -TDB_ERR_NOEXIST);
 			else
 			else
 				add_op(&op, i, OP_TDB_NEXTKEY,
 				add_op(&op, i, OP_TDB_NEXTKEY,
-				       words[1], words[3], 0, 0);
+				       words[1], words[3], 0);
 		} else
 		} else
 			errx(1, "Line %u: unknown op '%s'", i+1, words[0]);
 			errx(1, "Line %u: unknown op '%s'", i+1, words[0]);
 	}
 	}
 
 
+	printf("Successfully input %u lines\n", i);
 	gettimeofday(&start, NULL);
 	gettimeofday(&start, NULL);
 	run_ops(tdb, op, 1, i-1);
 	run_ops(tdb, op, 1, i-1);
 	gettimeofday(&end, NULL);
 	gettimeofday(&end, NULL);