X-Git-Url: https://git.ozlabs.org/?p=ccan;a=blobdiff_plain;f=ccan%2Ftdb2%2Fcheck.c;h=2b7576e6a27b65d07da9cad0a64e199c165a92a6;hp=97347920291a6376f3010ec6b7289f7190607827;hb=7d6312518bd3a8e4cbad69b1f6b1800f7bcdf68c;hpb=5e30abc662990449444769c71cf98ca788db4117 diff --git a/ccan/tdb2/check.c b/ccan/tdb2/check.c index 97347920..2b7576e6 100644 --- a/ccan/tdb2/check.c +++ b/ccan/tdb2/check.c @@ -1,7 +1,7 @@ - /* + /* Trivial Database 2: free list/block handling Copyright (C) Rusty Russell 2010 - + This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either @@ -34,34 +34,38 @@ static bool check_header(struct tdb_context *tdb, tdb_off_t *recovery) { uint64_t hash_test; struct tdb_header hdr; + enum TDB_ERROR ecode; - if (tdb_read_convert(tdb, 0, &hdr, sizeof(hdr)) == -1) + ecode = tdb_read_convert(tdb, 0, &hdr, sizeof(hdr)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return false; + } /* magic food should not be converted, so convert back. */ tdb_convert(tdb, hdr.magic_food, sizeof(hdr.magic_food)); hash_test = TDB_HASH_MAGIC; hash_test = tdb_hash(tdb, &hash_test, sizeof(hash_test)); if (hdr.hash_test != hash_test) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "check: hash test %llu should be %llu\n", - (long long)hdr.hash_test, - (long long)hash_test); + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "check: hash test %llu should be %llu", + (long long)hdr.hash_test, + (long long)hash_test); return false; } if (strcmp(hdr.magic_food, TDB_MAGIC_FOOD) != 0) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "check: bad magic '%.*s'\n", - (unsigned)sizeof(hdr.magic_food), hdr.magic_food); + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "check: bad magic '%.*s'", + (unsigned)sizeof(hdr.magic_food), hdr.magic_food); return false; } *recovery = hdr.recovery; if (*recovery) { if (*recovery < sizeof(hdr) || *recovery > tdb->map_size) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: invalid recovery offset %zu\n", + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: invalid recovery offset %zu", (size_t)*recovery); return false; } @@ -81,6 +85,66 @@ static bool check_hash_tree(struct tdb_context *tdb, int (*check)(TDB_DATA, TDB_DATA, void *), void *private_data); +static bool check_hash_chain(struct tdb_context *tdb, + tdb_off_t off, + uint64_t hash, + tdb_off_t used[], + size_t num_used, + size_t *num_found, + int (*check)(TDB_DATA, TDB_DATA, void *), + void *private_data) +{ + struct tdb_used_record rec; + enum TDB_ERROR ecode; + + ecode = tdb_read_convert(tdb, off, &rec, sizeof(rec)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; + return false; + } + + if (rec_magic(&rec) != TDB_CHAIN_MAGIC) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Bad hash chain magic %llu", + (long long)rec_magic(&rec)); + return false; + } + + if (rec_data_length(&rec) != sizeof(struct tdb_chain)) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Bad hash chain length %llu vs %zu", + (long long)rec_data_length(&rec), + sizeof(struct tdb_chain)); + return false; + } + if (rec_key_length(&rec) != 0) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Bad hash chain key length %llu", + (long long)rec_key_length(&rec)); + return false; + } + if (rec_hash(&rec) != 0) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Bad hash chain hash value %llu", + (long long)rec_hash(&rec)); + return false; + } + + off += sizeof(rec); + if (!check_hash_tree(tdb, off, 0, hash, 64, + used, num_used, num_found, check, private_data)) + return false; + + off = tdb_read_off(tdb, off + offsetof(struct tdb_chain, next)); + if (off == TDB_OFF_ERR) + return false; + if (off == 0) + return true; + (*num_found)++; + return check_hash_chain(tdb, off, hash, used, num_used, num_found, + check, private_data); +} + static bool check_hash_record(struct tdb_context *tdb, tdb_off_t off, uint64_t hprefix, @@ -92,27 +156,42 @@ static bool check_hash_record(struct tdb_context *tdb, void *private_data) { struct tdb_used_record rec; + enum TDB_ERROR ecode; + + if (hprefix_bits >= 64) + return check_hash_chain(tdb, off, hprefix, used, num_used, + num_found, check, private_data); - if (tdb_read_convert(tdb, off, &rec, sizeof(rec)) == -1) + ecode = tdb_read_convert(tdb, off, &rec, sizeof(rec)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return false; + } + if (rec_magic(&rec) != TDB_HTABLE_MAGIC) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Bad hash table magic %llu", + (long long)rec_magic(&rec)); + return false; + } if (rec_data_length(&rec) != sizeof(tdb_off_t) << TDB_SUBLEVEL_HASH_BITS) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: Bad hash table length %llu vs %llu\n", - (long long)rec_data_length(&rec), - (long long)sizeof(tdb_off_t)<log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: Bad hash table key length %llu\n", + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Bad hash table key length %llu", (long long)rec_key_length(&rec)); return false; } if (rec_hash(&rec) != 0) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: Bad hash table hash value %llu\n", + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Bad hash table hash value %llu", (long long)rec_hash(&rec)); return false; } @@ -152,6 +231,7 @@ static bool check_hash_tree(struct tdb_context *tdb, unsigned int g, b; const tdb_off_t *hash; struct tdb_used_record rec; + enum TDB_ERROR ecode; hash = tdb_access_read(tdb, off, sizeof(tdb_off_t) @@ -172,19 +252,48 @@ static bool check_hash_tree(struct tdb_context *tdb, off = group[b] & TDB_OFF_MASK; p = asearch(&off, used, num_used, off_cmp); if (!p) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: Invalid offset %llu " - "in hash\n", - (long long)off); + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: Invalid offset %llu " + "in hash", (long long)off); goto fail; } /* Mark it invalid. */ *p ^= 1; (*num_found)++; + if (hprefix_bits == 64) { + /* Chained entries are unordered. */ + if (is_subhash(group[b])) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: Invalid chain" + " entry subhash"); + goto fail; + } + h = hash_record(tdb, off); + if (h != hprefix) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "check: bad hash chain" + " placement" + " 0x%llx vs 0x%llx", + (long long)h, + (long long)hprefix); + goto fail; + } + ecode = tdb_read_convert(tdb, off, &rec, + sizeof(rec)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; + goto fail; + } + goto check; + } + if (is_subhash(group[b])) { uint64_t subprefix; - subprefix = (hprefix + subprefix = (hprefix << (group_bits + TDB_HASH_GROUP_BITS)) + g * (1 << TDB_HASH_GROUP_BITS) + b; @@ -206,18 +315,20 @@ static bool check_hash_tree(struct tdb_context *tdb, used_bits = 0; if (get_bits(h, hprefix_bits, &used_bits) != hprefix && hprefix_bits) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "check: bad hash placement" - " 0x%llx vs 0x%llx\n", + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "check: bad hash placement" + " 0x%llx vs 0x%llx", (long long)h, (long long)hprefix); goto fail; } /* Does it belong in this group? */ if (get_bits(h, group_bits, &used_bits) != g) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "check: bad group %llu vs %u\n", - (long long)h, g); + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "check: bad group %llu vs %u", + (long long)h, g); goto fail; } @@ -226,11 +337,12 @@ static bool check_hash_tree(struct tdb_context *tdb, if (get_bits(h, TDB_HASH_GROUP_BITS, &used_bits) != bucket) { used_bits -= TDB_HASH_GROUP_BITS; - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "check: bad bucket %u vs %u\n", + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "check: bad bucket %u vs %u", (unsigned)get_bits(h, - TDB_HASH_GROUP_BITS, - &used_bits), + TDB_HASH_GROUP_BITS, + &used_bits), bucket); goto fail; } @@ -241,29 +353,34 @@ static bool check_hash_tree(struct tdb_context *tdb, i != b; i = (i + 1) % (1 << TDB_HASH_GROUP_BITS)) { if (group[i] == 0) { - tdb->log(tdb, TDB_DEBUG_ERROR, - tdb->log_priv, - "check: bad group placement" - " %u vs %u\n", - b, bucket); + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "check: bad group placement" + " %u vs %u", + b, bucket); goto fail; } } - if (tdb_read_convert(tdb, off, &rec, sizeof(rec)) == -1) + ecode = tdb_read_convert(tdb, off, &rec, sizeof(rec)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; goto fail; + } /* Bottom bits must match header. */ if ((h & ((1 << 11)-1)) != rec_hash(&rec)) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: Bad hash magic at" - " offset %llu (0x%llx vs 0x%llx)\n", - (long long)off, - (long long)h, - (long long)rec_hash(&rec)); + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: Bad hash magic at" + " offset %llu (0x%llx vs 0x%llx)", + (long long)off, + (long long)h, + (long long)rec_hash(&rec)); goto fail; } + check: if (check) { TDB_DATA key, data; key.dsize = rec_key_length(&rec); @@ -291,12 +408,12 @@ fail: static bool check_hash(struct tdb_context *tdb, tdb_off_t used[], - size_t num_used, size_t num_flists, + size_t num_used, size_t num_ftables, int (*check)(TDB_DATA, TDB_DATA, void *), void *private_data) { - /* Free lists also show up as used. */ - size_t num_found = num_flists; + /* Free tables also show up as used. */ + size_t num_found = num_ftables; if (!check_hash_tree(tdb, offsetof(struct tdb_header, hashtable), TDB_TOPLEVEL_HASH_BITS-TDB_HASH_GROUP_BITS, @@ -305,8 +422,8 @@ static bool check_hash(struct tdb_context *tdb, return false; if (num_found != num_used) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: Not all entries are in hash\n"); + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Not all entries are in hash"); return false; } return true; @@ -315,63 +432,73 @@ static bool check_hash(struct tdb_context *tdb, static bool check_free(struct tdb_context *tdb, tdb_off_t off, const struct tdb_free_record *frec, - tdb_off_t prev, unsigned int flist, unsigned int bucket) + tdb_off_t prev, unsigned int ftable, + unsigned int bucket) { + enum TDB_ERROR ecode; + if (frec_magic(frec) != TDB_FREE_MAGIC) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: offset %llu bad magic 0x%llx\n", - (long long)off, (long long)frec->magic_and_prev); + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: offset %llu bad magic 0x%llx", + (long long)off, (long long)frec->magic_and_prev); return false; } - if (frec_flist(frec) != flist) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: offset %llu bad freelist %u\n", - (long long)off, frec_flist(frec)); + if (frec_ftable(frec) != ftable) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: offset %llu bad freetable %u", + (long long)off, frec_ftable(frec)); return false; } - if (tdb->methods->oob(tdb, off - + frec_len(frec) + sizeof(struct tdb_used_record), - false)) + ecode = tdb->methods->oob(tdb, off + + frec_len(frec) + + sizeof(struct tdb_used_record), + false); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return false; + } if (size_to_bucket(frec_len(frec)) != bucket) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: offset %llu in wrong bucket %u vs %u\n", - (long long)off, - bucket, size_to_bucket(frec_len(frec))); + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: offset %llu in wrong bucket %u vs %u", + (long long)off, + bucket, size_to_bucket(frec_len(frec))); return false; } if (prev != frec_prev(frec)) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: offset %llu bad prev %llu vs %llu\n", - (long long)off, - (long long)prev, (long long)frec_len(frec)); + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: offset %llu bad prev %llu vs %llu", + (long long)off, + (long long)prev, (long long)frec_len(frec)); return false; } return true; } - -static bool check_free_list(struct tdb_context *tdb, - tdb_off_t flist_off, - unsigned flist_num, - tdb_off_t free[], - size_t num_free, - size_t *num_found) + +static bool check_free_table(struct tdb_context *tdb, + tdb_off_t ftable_off, + unsigned ftable_num, + tdb_off_t fr[], + size_t num_free, + size_t *num_found) { - struct tdb_freelist flist; + struct tdb_freetable ft; tdb_off_t h; unsigned int i; + enum TDB_ERROR ecode; - if (tdb_read_convert(tdb, flist_off, &flist, sizeof(flist)) == -1) + ecode = tdb_read_convert(tdb, ftable_off, &ft, sizeof(ft)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return false; + } - if (rec_magic(&flist.hdr) != TDB_MAGIC - || rec_key_length(&flist.hdr) != 0 - || rec_data_length(&flist.hdr) != sizeof(flist) - sizeof(flist.hdr) - || rec_hash(&flist.hdr) != 1) { - tdb->log(tdb, TDB_DEBUG_ERROR, - tdb->log_priv, - "tdb_check: Invalid header on free list\n"); + if (rec_magic(&ft.hdr) != TDB_FTABLE_MAGIC + || rec_key_length(&ft.hdr) != 0 + || rec_data_length(&ft.hdr) != sizeof(ft) - sizeof(ft.hdr) + || rec_hash(&ft.hdr) != 0) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Invalid header on free table"); return false; } @@ -379,23 +506,26 @@ static bool check_free_list(struct tdb_context *tdb, tdb_off_t off, prev = 0, *p; struct tdb_free_record f; - h = bucket_off(flist_off, i); + h = bucket_off(ftable_off, i); for (off = tdb_read_off(tdb, h); off; off = f.next) { if (off == TDB_OFF_ERR) return false; - if (tdb_read_convert(tdb, off, &f, sizeof(f))) + ecode = tdb_read_convert(tdb, off, &f, sizeof(f)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return false; - if (!check_free(tdb, off, &f, prev, flist_num, i)) + } + if (!check_free(tdb, off, &f, prev, ftable_num, i)) return false; /* FIXME: Check hash bits */ - p = asearch(&off, free, num_free, off_cmp); + p = asearch(&off, fr, num_free, off_cmp); if (!p) { - tdb->log(tdb, TDB_DEBUG_ERROR, - tdb->log_priv, - "tdb_check: Invalid offset" - " %llu in free table\n", - (long long)off); + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: Invalid offset" + " %llu in free table", + (long long)off); return false; } /* Mark it invalid. */ @@ -411,11 +541,15 @@ static bool check_free_list(struct tdb_context *tdb, size_t dead_space(struct tdb_context *tdb, tdb_off_t off) { size_t len; + enum TDB_ERROR ecode; for (len = 0; off + len < tdb->map_size; len++) { char c; - if (tdb->methods->read(tdb, off, &c, 1)) + ecode = tdb->methods->tread(tdb, off, &c, 1); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return 0; + } if (c != 0 && c != 0x43) break; } @@ -424,11 +558,12 @@ size_t dead_space(struct tdb_context *tdb, tdb_off_t off) static bool check_linear(struct tdb_context *tdb, tdb_off_t **used, size_t *num_used, - tdb_off_t **free, size_t *num_free, + tdb_off_t **fr, size_t *num_free, tdb_off_t recovery) { tdb_off_t off; tdb_len_t len; + enum TDB_ERROR ecode; bool found_recovery = false; for (off = sizeof(struct tdb_header); off < tdb->map_size; off += len) { @@ -436,119 +571,141 @@ static bool check_linear(struct tdb_context *tdb, struct tdb_used_record u; struct tdb_free_record f; struct tdb_recovery_record r; - } pad, *p; + } rec; /* r is larger: only get that if we need to. */ - p = tdb_get(tdb, off, &pad, sizeof(pad.f)); - if (!p) + ecode = tdb_read_convert(tdb, off, &rec, sizeof(rec.f)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return false; + } /* If we crash after ftruncate, we can get zeroes or fill. */ - if (p->r.magic == TDB_RECOVERY_INVALID_MAGIC - || p->r.magic == 0x4343434343434343ULL) { - p = tdb_get(tdb, off, &pad, sizeof(pad.r)); - if (!p) + if (rec.r.magic == TDB_RECOVERY_INVALID_MAGIC + || rec.r.magic == 0x4343434343434343ULL) { + ecode = tdb_read_convert(tdb, off, &rec, sizeof(rec.r)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return false; + } if (recovery == off) { found_recovery = true; - len = sizeof(p->r) + p->r.max_len; + len = sizeof(rec.r) + rec.r.max_len; } else { len = dead_space(tdb, off); - if (len < sizeof(p->r)) { - tdb->log(tdb, TDB_DEBUG_ERROR, - tdb->log_priv, - "tdb_check: invalid dead space" - " at %zu\n", (size_t)off); + if (len < sizeof(rec.r)) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: invalid dead" + " space at %zu", + (size_t)off); return false; } - tdb->log(tdb, TDB_DEBUG_WARNING, tdb->log_priv, - "Dead space at %zu-%zu (of %zu)\n", - (size_t)off, (size_t)(off + len), - (size_t)tdb->map_size); + tdb_logerr(tdb, TDB_SUCCESS, TDB_LOG_WARNING, + "Dead space at %zu-%zu (of %zu)", + (size_t)off, (size_t)(off + len), + (size_t)tdb->map_size); } - } else if (p->r.magic == TDB_RECOVERY_MAGIC) { - p = tdb_get(tdb, off, &pad, sizeof(pad.r)); - if (!p) + } else if (rec.r.magic == TDB_RECOVERY_MAGIC) { + ecode = tdb_read_convert(tdb, off, &rec, sizeof(rec.r)); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; return false; + } if (recovery != off) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: unexpected recovery" - " record at offset %zu\n", - (size_t)off); + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: unexpected recovery" + " record at offset %zu", + (size_t)off); return false; } - if (p->r.len > p->r.max_len) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: invalid recovery length" - " %zu\n", (size_t)p->r.len); + if (rec.r.len > rec.r.max_len) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: invalid recovery length" + " %zu", (size_t)rec.r.len); return false; } - if (p->r.eof > tdb->map_size) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: invalid old EOF" - " %zu\n", (size_t)p->r.eof); + if (rec.r.eof > tdb->map_size) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: invalid old EOF" + " %zu", (size_t)rec.r.eof); return false; } found_recovery = true; - len = sizeof(p->r) + p->r.max_len; - } else if (frec_magic(&p->f) == TDB_FREE_MAGIC - || frec_magic(&p->f) == TDB_COALESCING_MAGIC) { - len = sizeof(p->u) + frec_len(&p->f); + len = sizeof(rec.r) + rec.r.max_len; + } else if (frec_magic(&rec.f) == TDB_FREE_MAGIC) { + len = sizeof(rec.u) + frec_len(&rec.f); if (off + len > tdb->map_size) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: free overlength %llu" - " at offset %llu\n", - (long long)len, (long long)off); + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: free overlength %llu" + " at offset %llu", + (long long)len, (long long)off); return false; } - /* This record is free! */ - if (frec_magic(&p->f) == TDB_FREE_MAGIC - && !append(free, num_free, off)) + /* This record should be in free lists. */ + if (frec_ftable(&rec.f) != TDB_FTABLE_NONE + && !append(fr, num_free, off)) { + tdb_logerr(tdb, TDB_ERR_OOM, + TDB_LOG_ERROR, + "tdb_check: tracking %zu'th" + " free record.", *num_free); return false; - } else { + } + } else if (rec_magic(&rec.u) == TDB_USED_MAGIC + || rec_magic(&rec.u) == TDB_CHAIN_MAGIC + || rec_magic(&rec.u) == TDB_HTABLE_MAGIC + || rec_magic(&rec.u) == TDB_FTABLE_MAGIC) { uint64_t klen, dlen, extra; /* This record is used! */ - if (rec_magic(&p->u) != TDB_MAGIC) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: Bad magic 0x%llx" - " at offset %llu\n", - (long long)rec_magic(&p->u), - (long long)off); + if (!append(used, num_used, off)) { + tdb_logerr(tdb, TDB_ERR_OOM, + TDB_LOG_ERROR, + "tdb_check: tracking %zu'th" + " used record.", *num_used); return false; } - if (!append(used, num_used, off)) - return false; - - klen = rec_key_length(&p->u); - dlen = rec_data_length(&p->u); - extra = rec_extra_padding(&p->u); + klen = rec_key_length(&rec.u); + dlen = rec_data_length(&rec.u); + extra = rec_extra_padding(&rec.u); - len = sizeof(p->u) + klen + dlen + extra; + len = sizeof(rec.u) + klen + dlen + extra; if (off + len > tdb->map_size) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: used overlength %llu" - " at offset %llu\n", - (long long)len, (long long)off); + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: used overlength %llu" + " at offset %llu", + (long long)len, (long long)off); return false; } - if (len < sizeof(p->f)) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: too short record %llu at" - " %llu\n", - (long long)len, (long long)off); + if (len < sizeof(rec.f)) { + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: too short record %llu" + " at %llu", + (long long)len, (long long)off); return false; } + } else { + tdb_logerr(tdb, TDB_ERR_CORRUPT, + TDB_LOG_ERROR, + "tdb_check: Bad magic 0x%llx at offset %zu", + (long long)rec_magic(&rec.u), (size_t)off); + return false; } } /* We must have found recovery area if there was one. */ if (recovery != 0 && !found_recovery) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: expected a recovery area at %zu\n", - (size_t)recovery); + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: expected a recovery area at %zu", + (size_t)recovery); return false; } @@ -559,13 +716,19 @@ int tdb_check(struct tdb_context *tdb, int (*check)(TDB_DATA key, TDB_DATA data, void *private_data), void *private_data) { - tdb_off_t *free = NULL, *used = NULL, flist, recovery; - size_t num_free = 0, num_used = 0, num_found = 0, num_flists = 0; + tdb_off_t *fr = NULL, *used = NULL, ft, recovery; + size_t num_free = 0, num_used = 0, num_found = 0, num_ftables = 0; + enum TDB_ERROR ecode; - if (tdb_allrecord_lock(tdb, F_RDLCK, TDB_LOCK_WAIT, false) != 0) + ecode = tdb_allrecord_lock(tdb, F_RDLCK, TDB_LOCK_WAIT, false); + if (ecpde != TDB_SUCCESS) { + tdb->ecode = ecode; return -1; + } - if (tdb_lock_expand(tdb, F_RDLCK) != 0) { + ecode = tdb_lock_expand(tdb, F_RDLCK); + if (ecode != TDB_SUCCESS) { + tdb->ecode = ecode; tdb_allrecord_unlock(tdb, F_RDLCK); return -1; } @@ -574,33 +737,37 @@ int tdb_check(struct tdb_context *tdb, goto fail; /* First we do a linear scan, checking all records. */ - if (!check_linear(tdb, &used, &num_used, &free, &num_free, recovery)) + if (!check_linear(tdb, &used, &num_used, &fr, &num_free, recovery)) goto fail; - for (flist = first_flist(tdb); flist; flist = next_flist(tdb, flist)) { - if (flist == TDB_OFF_ERR) + for (ft = first_ftable(tdb); ft; ft = next_ftable(tdb, ft)) { + if (ft == TDB_OFF_ERR) goto fail; - if (!check_free_list(tdb, flist, num_flists, free, num_free, - &num_found)) + if (!check_free_table(tdb, ft, num_ftables, fr, num_free, + &num_found)) goto fail; - num_flists++; + num_ftables++; } /* FIXME: Check key uniqueness? */ - if (!check_hash(tdb, used, num_used, num_flists, check, private_data)) + if (!check_hash(tdb, used, num_used, num_ftables, check, private_data)) goto fail; if (num_found != num_free) { - tdb->log(tdb, TDB_DEBUG_ERROR, tdb->log_priv, - "tdb_check: Not all entries are in free table\n"); + tdb_logerr(tdb, TDB_ERR_CORRUPT, TDB_LOG_ERROR, + "tdb_check: Not all entries are in free table"); return -1; } tdb_allrecord_unlock(tdb, F_RDLCK); tdb_unlock_expand(tdb, F_RDLCK); + free(fr); + free(used); return 0; fail: + free(fr); + free(used); tdb_allrecord_unlock(tdb, F_RDLCK); tdb_unlock_expand(tdb, F_RDLCK); return -1;