htable: commit extra tests I had lying around.
authorRusty Russell <rusty@rustcorp.com.au>
Mon, 4 Mar 2019 10:25:54 +0000 (20:55 +1030)
committerRusty Russell <rusty@rustcorp.com.au>
Mon, 4 Mar 2019 11:07:17 +0000 (21:37 +1030)
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
ccan/htable/test/run-debug.c [new file with mode: 0644]
ccan/htable/test/run-extra.c [new file with mode: 0644]

diff --git a/ccan/htable/test/run-debug.c b/ccan/htable/test/run-debug.c
new file mode 100644 (file)
index 0000000..d2d6b0f
--- /dev/null
@@ -0,0 +1,223 @@
+#define CCAN_HTABLE_DEBUG
+#include <ccan/htable/htable.h>
+#include <ccan/htable/htable.c>
+#include <ccan/tap/tap.h>
+#include <stdbool.h>
+#include <string.h>
+
+#define NUM_BITS 7
+#define NUM_VALS (1 << NUM_BITS)
+
+static void *bad_pointer;
+
+/* We use the number divided by two as the hash (for lots of
+   collisions), plus set all the higher bits so we can detect if they
+   don't get masked out. */
+static size_t hash(const void *elem, void *unused UNNEEDED)
+{
+       size_t h;
+
+       /* With CCAN_HTABLE_DEBUG enabled, it will try to hash each element,
+        * including this one... */
+       if (elem == bad_pointer)
+               return 0;
+
+       h = *(uint64_t *)elem / 2;
+       h |= -1UL << NUM_BITS;
+       return h;
+}
+
+static bool objcmp(const void *htelem, void *cmpdata)
+{
+       return *(uint64_t *)htelem == *(uint64_t *)cmpdata;
+}
+
+static void add_vals(struct htable *ht,
+                    const uint64_t val[],
+                    unsigned int off, unsigned int num)
+{
+       uint64_t i;
+
+       for (i = off; i < off+num; i++) {
+               if (htable_get(ht, hash(&i, NULL), objcmp, &i)) {
+                       fail("%llu already in hash", (long long)i);
+                       return;
+               }
+               htable_add(ht, hash(&val[i], NULL), &val[i]);
+               if (htable_get(ht, hash(&i, NULL), objcmp, &i) != &val[i]) {
+                       fail("%llu not added to hash", (long long)i);
+                       return;
+               }
+       }
+       pass("Added %llu numbers to hash", (long long)i);
+}
+
+#if 0
+static void refill_vals(struct htable *ht,
+                       const uint64_t val[], unsigned int num)
+{
+       uint64_t i;
+
+       for (i = 0; i < num; i++) {
+               if (htable_get(ht, hash(&i, NULL), objcmp, &i))
+                       continue;
+               htable_add(ht, hash(&val[i], NULL), &val[i]);
+       }
+}
+#endif
+
+static void find_vals(struct htable *ht,
+                     const uint64_t val[], unsigned int num)
+{
+       uint64_t i;
+
+       for (i = 0; i < num; i++) {
+               if (htable_get(ht, hash(&i, NULL), objcmp, &i) != &val[i]) {
+                       fail("%llu not found in hash", (long long)i);
+                       return;
+               }
+       }
+       pass("Found %llu numbers in hash", (long long)i);
+}
+
+static void del_vals(struct htable *ht,
+                    const uint64_t val[], unsigned int num)
+{
+       uint64_t i;
+
+       for (i = 0; i < num; i++) {
+               if (!htable_del(ht, hash(&val[i], NULL), &val[i])) {
+                       fail("%llu not deleted from hash", (long long)i);
+                       return;
+               }
+       }
+       pass("Deleted %llu numbers in hash", (long long)i);
+}
+
+static bool check_mask(struct htable *ht, uint64_t val[], unsigned num)
+{
+       uint64_t i;
+
+       for (i = 0; i < num; i++) {
+               if (((uintptr_t)&val[i] & ht->common_mask) != ht->common_bits)
+                       return false;
+       }
+       return true;
+}
+
+int main(void)
+{
+       unsigned int i, weight;
+       uintptr_t perfect_bit;
+       struct htable ht;
+       uint64_t val[NUM_VALS];
+       uint64_t dne;
+       void *p;
+       struct htable_iter iter;
+
+       plan_tests(36);
+       for (i = 0; i < NUM_VALS; i++)
+               val[i] = i;
+       dne = i;
+
+       htable_init(&ht, hash, NULL);
+       ok1(ht.max == 0);
+       ok1(ht.bits == 0);
+
+       /* We cannot find an entry which doesn't exist. */
+       ok1(!htable_get(&ht, hash(&dne, NULL), objcmp, &dne));
+
+       /* This should increase it once. */
+       add_vals(&ht, val, 0, 1);
+       ok1(ht.bits == 1);
+       ok1(ht.max == 1);
+       weight = 0;
+       for (i = 0; i < sizeof(ht.common_mask) * CHAR_BIT; i++) {
+               if (ht.common_mask & ((uintptr_t)1 << i)) {
+                       weight++;
+               }
+       }
+       /* Only one bit should be clear. */
+       ok1(weight == i-1);
+
+       /* Mask should be set. */
+       ok1(check_mask(&ht, val, 1));
+
+       /* This should increase it again. */
+       add_vals(&ht, val, 1, 1);
+       ok1(ht.bits == 2);
+       ok1(ht.max == 3);
+
+       /* Mask should be set. */
+       ok1(ht.common_mask != 0);
+       ok1(ht.common_mask != -1);
+       ok1(check_mask(&ht, val, 2));
+
+       /* Now do the rest. */
+       add_vals(&ht, val, 2, NUM_VALS - 2);
+
+       /* Find all. */
+       find_vals(&ht, val, NUM_VALS);
+       ok1(!htable_get(&ht, hash(&dne, NULL), objcmp, &dne));
+
+       /* Walk once, should get them all. */
+       i = 0;
+       for (p = htable_first(&ht,&iter); p; p = htable_next(&ht, &iter))
+               i++;
+       ok1(i == NUM_VALS);
+
+       i = 0;
+       for (p = htable_prev(&ht, &iter); p; p = htable_prev(&ht, &iter))
+               i++;
+       ok1(i == NUM_VALS);
+
+       /* Delete all. */
+       del_vals(&ht, val, NUM_VALS);
+       ok1(!htable_get(&ht, hash(&val[0], NULL), objcmp, &val[0]));
+
+       /* Worst case, a "pointer" which doesn't have any matching bits. */
+       bad_pointer = (void *)~(uintptr_t)&val[NUM_VALS-1];
+       htable_add(&ht, 0, bad_pointer);
+       htable_add(&ht, hash(&val[NUM_VALS-1], NULL), &val[NUM_VALS-1]);
+       ok1(ht.common_mask == 0);
+       ok1(ht.common_bits == 0);
+       /* Get rid of bogus pointer before we trip over it! */
+       htable_del(&ht, 0, bad_pointer);
+
+       /* Add the rest. */
+       add_vals(&ht, val, 0, NUM_VALS-1);
+
+       /* Check we can find them all. */
+       find_vals(&ht, val, NUM_VALS);
+       ok1(!htable_get(&ht, hash(&dne, NULL), objcmp, &dne));
+
+       /* Corner cases: wipe out the perfect bit using bogus pointer. */
+       htable_clear(&ht);
+       htable_add(&ht, hash(&val[NUM_VALS-1], NULL), &val[NUM_VALS-1]);
+       ok1(ht.perfect_bit);
+       perfect_bit = ht.perfect_bit;
+       bad_pointer = (void *)((uintptr_t)&val[NUM_VALS-1] | perfect_bit);
+       htable_add(&ht, 0, bad_pointer);
+       ok1(ht.perfect_bit == 0);
+       htable_del(&ht, 0, bad_pointer);
+
+       /* Enlarging should restore it... */
+       add_vals(&ht, val, 0, NUM_VALS-1);
+
+       ok1(ht.perfect_bit != 0);
+       htable_clear(&ht);
+
+       ok1(htable_init_sized(&ht, hash, NULL, 1024));
+       ok1(ht.max >= 1024);
+       htable_clear(&ht);
+
+       ok1(htable_init_sized(&ht, hash, NULL, 1023));
+       ok1(ht.max >= 1023);
+       htable_clear(&ht);
+
+       ok1(htable_init_sized(&ht, hash, NULL, 1025));
+       ok1(ht.max >= 1025);
+       htable_clear(&ht);
+       
+       return exit_status();
+}
diff --git a/ccan/htable/test/run-extra.c b/ccan/htable/test/run-extra.c
new file mode 100644 (file)
index 0000000..3382154
--- /dev/null
@@ -0,0 +1,51 @@
+#include "../htable.c"
+
+static size_t hash(const void *ptr, void *priv UNNEEDED)
+{
+       /* We're hashing pointers; no need to get too fancy. */
+       return ((size_t)ptr / sizeof(ptr)) ^ ((size_t)ptr % sizeof(ptr));
+}
+
+/* 24042: Waiting on 0x5570a500c3f8 (11742786623615)
+24042: Waiting on 0x5570a500c430 (11742786623622)
+24042: Searching for 0x5570a500c3f8 (11742786623615) in 2 elems
+24042: Searching for 0x5570a500c3f8 (11742786623615) in 2 elems
+*/
+static struct htable waittable = HTABLE_INITIALIZER(waittable, hash, NULL);
+
+int main(void)
+{
+       const void *p1 = (void *)0x5570a500c3f8ULL;
+       const void *p2 = (void *)0x5570a500c430ULL;
+       size_t h;
+       struct htable_iter i;
+       void *p;
+       bool found;
+
+       printf("hash %p == %zu\n", p1, hash(p1, NULL));
+       printf("hash %p == %zu\n", p2, hash(p2, NULL));
+       htable_add(&waittable, hash(p1, NULL), p1);
+       htable_add(&waittable, hash(p2, NULL), p2);
+
+       found = false;
+       h = hash(p1, NULL);
+       for (p = htable_firstval(&waittable, &i, h);
+            p;
+            p = htable_nextval(&waittable, &i, h)) {
+               if (p == p1)
+                       found = true;
+       }
+       assert(found);
+
+       found = false;
+       h = hash(p2, NULL);
+       for (p = htable_firstval(&waittable, &i, h);
+            p;
+            p = htable_nextval(&waittable, &i, h)) {
+               if (p == p2)
+                       found = true;
+       }
+       assert(found);
+       
+       return found ? 0 : 1;
+}