pd.if.org Git - nbds/blob - test/map_test2.c

   1 /*
   2  * Written by Josh Dybnis and released to the public domain, as explained at
   3  * http://creativecommons.org/licenses/publicdomain
   4  */
   5 #include <stdio.h>
   6 #include <pthread.h>
   7 #include <sys/time.h>
   8
   9 #include "CuTest.h"
  10
  11 #include "common.h"
  12 #include "runtime.h"
  13 #include "nstring.h"
  14 #include "map.h"
  15 #include "list.h"
  16 #include "skiplist.h"
  17 #include "hashtable.h"
  18 #include "lwt.h"
  19
  20 #define ASSERT_EQUAL(x, y) CuAssertIntEquals(tc, x, y)
  21
  22 #define TEST_STRING_KEYS
  23
  24 typedef struct worker_data {
  25     int id;
  26     CuTest *tc;
  27     map_t *map;
  28     volatile int *wait;
  29 } worker_data_t;
  30
  31 static map_type_t map_type_;
  32
  33 // Test some basic stuff; add a few keys, remove a few keys
  34 void simple (CuTest* tc) {
  35
  36 #ifdef TEST_STRING_KEYS
  37     map_t *map = map_alloc(map_type_, &DATATYPE_NSTRING);
  38     nstring_t *k1 = ns_alloc(3); strcpy(k1->data, "k1");
  39     nstring_t *k2 = ns_alloc(3); strcpy(k1->data, "k2");
  40     nstring_t *k3 = ns_alloc(3); strcpy(k1->data, "k3");
  41     nstring_t *k4 = ns_alloc(3); strcpy(k1->data, "k4");
  42 #else
  43     map_t *map = map_alloc(map_type_, NULL);
  44     void *k1 = (void *)1;
  45     void *k2 = (void *)2;
  46     void *k3 = (void *)3;
  47     void *k4 = (void *)4;
  48 #endif
  49
  50     ASSERT_EQUAL( 0,              map_count  (map)        );
  51     ASSERT_EQUAL( DOES_NOT_EXIST, map_add    (map, k1,10) );
  52     ASSERT_EQUAL( 1,              map_count  (map)        );
  53     ASSERT_EQUAL( DOES_NOT_EXIST, map_add    (map, k2,20) );
  54     ASSERT_EQUAL( 2,              map_count  (map)        );
  55     ASSERT_EQUAL( 20,             map_get    (map, k2)    );
  56     ASSERT_EQUAL( 10,             map_set    (map, k1,11) );
  57     ASSERT_EQUAL( 20,             map_set    (map, k2,21) );
  58     ASSERT_EQUAL( 2,              map_count  (map)        );
  59     ASSERT_EQUAL( 21,             map_add    (map, k2,22) );
  60     ASSERT_EQUAL( 11,             map_remove (map, k1)    );
  61     ASSERT_EQUAL( DOES_NOT_EXIST, map_get    (map, k1)    );
  62     ASSERT_EQUAL( 1,              map_count  (map)        );
  63     ASSERT_EQUAL( DOES_NOT_EXIST, map_remove (map, k1)    );
  64     ASSERT_EQUAL( 21,             map_remove (map, k2)    );
  65     ASSERT_EQUAL( 0,              map_count  (map)        );
  66     ASSERT_EQUAL( DOES_NOT_EXIST, map_remove (map, k2)    );
  67     ASSERT_EQUAL( DOES_NOT_EXIST, map_remove (map, k3)    );
  68     ASSERT_EQUAL( 0,              map_count  (map)        );
  69
  70     ASSERT_EQUAL( DOES_NOT_EXIST, map_add    (map, k4,40) );
  71     ASSERT_EQUAL( 40,             map_get    (map, k4)    );
  72     ASSERT_EQUAL( 1,              map_count  (map)        );
  73     ASSERT_EQUAL( 40,             map_remove (map, k4)    );
  74     ASSERT_EQUAL( DOES_NOT_EXIST, map_get    (map, k4)    );
  75     ASSERT_EQUAL( 0,              map_count  (map)        );
  76
  77     ASSERT_EQUAL( DOES_NOT_EXIST, map_replace(map, k4,10) );
  78     ASSERT_EQUAL( DOES_NOT_EXIST, map_get    (map, k4)    );
  79     ASSERT_EQUAL( DOES_NOT_EXIST, map_set    (map, k4,40) );
  80     ASSERT_EQUAL( 40,             map_replace(map, k4,41) );
  81     ASSERT_EQUAL( 41,             map_get    (map, k4)    );
  82     ASSERT_EQUAL( 41,             map_remove (map, k4)    );
  83     ASSERT_EQUAL( DOES_NOT_EXIST, map_get    (map, k4)    );
  84     ASSERT_EQUAL( 0,              map_count  (map)        );
  85
  86     ASSERT_EQUAL( DOES_NOT_EXIST, map_replace(map, k2,20) );
  87     ASSERT_EQUAL( DOES_NOT_EXIST, map_get    (map, k2)    );
  88
  89     // In the end, all entries should be removed
  90     ASSERT_EQUAL( DOES_NOT_EXIST, map_set    (map, k2,20) );
  91     ASSERT_EQUAL( 20,             map_replace(map, k2,21) );
  92     ASSERT_EQUAL( 21,             map_get    (map, k2)    );
  93     ASSERT_EQUAL( 21,             map_remove (map, k2)    );
  94     ASSERT_EQUAL( DOES_NOT_EXIST, map_get    (map, k2)    );
  95     ASSERT_EQUAL( 0,              map_count  (map)        );
  96
  97     map_free(map);
  98
  99     // In a quiecent state; it is safe to free.
 100     rcu_update();
 101 }
 102
 103 void *add_remove_worker (void *arg) {
 104     worker_data_t *wd = (worker_data_t *)arg;
 105     map_t *map = wd->map;
 106     CuTest* tc = wd->tc;
 107     uint64_t d = wd->id;
 108     int iters = 10000;
 109
 110     SYNC_ADD(wd->wait, -1);
 111     do { } while (*wd->wait); // wait for all workers to be ready
 112
 113 #ifdef TEST_STRING_KEYS
 114     nstring_t *key = ns_alloc(9);
 115 #else
 116     void *key;
 117 #endif
 118
 119     for (int j = 0; j < 10; ++j) {
 120         for (uint64_t i = d+1; i < iters; i+=2) {
 121 #ifdef TEST_STRING_KEYS
 122             memset(key->data, 0, key->len);
 123             snprintf(key->data, key->len, "%llu", i);
 124 #else
 125             key = (void *)i;
 126 #endif
 127             TRACE("t0", "test map_add() iteration (%llu, %llu)", j, i);
 128             CuAssertIntEquals_Msg(tc, (void *)i, DOES_NOT_EXIST, map_add(map, key, d+1) );
 129             rcu_update();
 130         }
 131         for (uint64_t i = d+1; i < iters; i+=2) {
 132 #ifdef TEST_STRING_KEYS
 133             memset(key->data, 0, key->len);
 134             snprintf(key->data, key->len, "%llu", i);
 135 #else
 136             key = (void *)i;
 137 #endif
 138             TRACE("t0", "test map_remove() iteration (%llu, %llu)", j, i);
 139             CuAssertIntEquals_Msg(tc, (void *)i, d+1, map_remove(map, key) );
 140             rcu_update();
 141         }
 142     }
 143     return NULL;
 144 }
 145
 146 // Do some simple concurrent testing
 147 void add_remove (CuTest* tc) {
 148
 149     pthread_t thread[2];
 150     worker_data_t wd[2];
 151     volatile int wait = 2;
 152 #ifdef TEST_STRING_KEYS
 153     map_t *map = map_alloc(map_type_, &DATATYPE_NSTRING);
 154 #else
 155     map_t *map = map_alloc(map_type_, NULL);
 156 #endif
 157
 158     struct timeval tv1, tv2;
 159     gettimeofday(&tv1, NULL);
 160
 161     // In 2 threads, add & remove even & odd elements concurrently
 162     int i;
 163     for (i = 0; i < 2; ++i) {
 164         wd[i].id = i;
 165         wd[i].tc = tc;
 166         wd[i].map = map;
 167         wd[i].wait = &wait;
 168         int rc = nbd_thread_create(thread + i, i, add_remove_worker, wd + i);
 169         if (rc != 0) { perror("nbd_thread_create"); return; }
 170     }
 171
 172     for (i = 0; i < 2; ++i) {
 173         pthread_join(thread[i], NULL);
 174     }
 175
 176     gettimeofday(&tv2, NULL);
 177     int ms = (int)(1000000*(tv2.tv_sec - tv1.tv_sec) + tv2.tv_usec - tv1.tv_usec) / 1000;
 178     map_print(map);
 179     printf("Th:%d Time:%dms\n", 2, ms);
 180     fflush(stdout);
 181
 182     // In the end, all members should be removed
 183     ASSERT_EQUAL( 0, map_count(map) );
 184
 185     // In a quiecent state; it is safe to free.
 186     map_free(map);
 187 }
 188
 189 void *inserter_worker (void *arg) {
 190     //pthread_t thread[NUM_THREADS];
 191
 192     //map_t *map = map_alloc(map_type_);
 193     return NULL;
 194 }
 195
 196 // Concurrent insertion
 197 void concurrent_insert (CuTest* tc) {
 198 }
 199
 200 int main (void) {
 201
 202     nbd_init();
 203     lwt_set_trace_level("h3");
 204
 205     map_type_t map_types[] = { MAP_TYPE_LIST, MAP_TYPE_SKIPLIST, MAP_TYPE_HASHTABLE };
 206     for (int i = 0; i < sizeof(map_types)/sizeof(*map_types); ++i) {
 207         map_type_ = map_types[i];
 208
 209         // Create and run test suite
 210         CuString *output = CuStringNew();
 211         CuSuite* suite = CuSuiteNew();
 212
 213         SUITE_ADD_TEST(suite, simple);
 214         SUITE_ADD_TEST(suite, add_remove);
 215
 216         CuSuiteRun(suite);
 217         CuSuiteDetails(suite, output);
 218         printf("%s\n", output->buffer);
 219     }
 220
 221     return 0;
 222 }