| 1 | // =============================================================== // |
|---|
| 2 | // // |
|---|
| 3 | // File : adhash.cxx // |
|---|
| 4 | // Purpose : // |
|---|
| 5 | // // |
|---|
| 6 | // Institute of Microbiology (Technical University Munich) // |
|---|
| 7 | // http://www.arb-home.de/ // |
|---|
| 8 | // // |
|---|
| 9 | // =============================================================== // |
|---|
| 10 | |
|---|
| 11 | #include "gb_data.h" |
|---|
| 12 | #include "gb_tune.h" |
|---|
| 13 | #include "gb_hashindex.h" |
|---|
| 14 | |
|---|
| 15 | #include <arb_strbuf.h> |
|---|
| 16 | #include <arb_sort.h> |
|---|
| 17 | |
|---|
| 18 | #include <climits> |
|---|
| 19 | #include <cfloat> |
|---|
| 20 | #include <cctype> |
|---|
| 21 | |
|---|
| 22 | |
|---|
| 23 | struct gbs_hash_entry { |
|---|
| 24 | char *key; |
|---|
| 25 | long val; |
|---|
| 26 | gbs_hash_entry *next; |
|---|
| 27 | }; |
|---|
| 28 | struct GB_HASH { |
|---|
| 29 | size_t size; // size of hashtable |
|---|
| 30 | size_t nelem; // number of elements inserted |
|---|
| 31 | GB_CASE case_sens; |
|---|
| 32 | gbs_hash_entry **entries; // the hash table (has 'size' entries) |
|---|
| 33 | |
|---|
| 34 | void (*freefun)(long val); // function to free hash values (see GBS_create_dynaval_hash) |
|---|
| 35 | |
|---|
| 36 | }; |
|---|
| 37 | |
|---|
| 38 | struct numhash_entry { |
|---|
| 39 | long key; |
|---|
| 40 | long val; |
|---|
| 41 | numhash_entry *next; |
|---|
| 42 | }; |
|---|
| 43 | |
|---|
| 44 | struct GB_NUMHASH { |
|---|
| 45 | long size; // size of hashtable |
|---|
| 46 | size_t nelem; // number of elements inserted |
|---|
| 47 | numhash_entry **entries; |
|---|
| 48 | }; |
|---|
| 49 | |
|---|
| 50 | // prime numbers |
|---|
| 51 | |
|---|
| 52 | #define KNOWN_PRIMES 279 |
|---|
| 53 | static size_t sorted_primes[KNOWN_PRIMES] = { |
|---|
| 54 | 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 47, 53, 59, 67, 71, 79, 89, 97, 103, 109, 127, 137, 149, 157, 167, 179, 191, 211, |
|---|
| 55 | 223, 239, 257, 271, 293, 311, 331, 349, 373, 397, 419, 443, 467, 499, 541, 571, 607, 641, 677, 719, 757, 797, 839, 887, 937, |
|---|
| 56 | 991, 1049, 1109, 1171, 1237, 1303, 1373, 1447, 1531, 1613, 1699, 1789, 1889, 1993, 2099, 2213, 2333, 2459, 2591, 2729, 2879, |
|---|
| 57 | 3037, 3203, 3373, 3557, 3761, 3967, 4177, 4397, 4637, 4889, 5147, 5419, 5711, 6029, 6353, 6689, 7043, 7417, 7817, 8231, 8669, |
|---|
| 58 | 9127, 9613, 10133, 10667, 11239, 11831, 12457, 13121, 13829, 14557, 15329, 16139, 16993, 17891, 18839, 19841, 20887, 21991, 23159, |
|---|
| 59 | 24379, 25667, 27031, 28463, 29983, 31567, 33247, 35023, 36871, 38821, 40867, 43019, 45289, 47681, 50207, 52859, 55661, 58601, |
|---|
| 60 | 61687, 64937, 68371, 71971, 75767, 79757, 83969, 88397, 93053, 97961, 103123, 108553, 114269, 120293, 126631, 133303, 140321, |
|---|
| 61 | 147709, 155501, 163697, 172313, 181387, 190979, 201031, 211619, 222773, 234499, 246889, 259907, 273601, 288007, 303187, 319147, |
|---|
| 62 | 335953, 353641, 372263, 391861, 412487, 434201, 457057, 481123, 506449, 533111, 561173, 590713, 621821, 654553, 689021, 725293, |
|---|
| 63 | 763471, 803659, 845969, 890501, 937373, 986717, 1038671, 1093357, 1150909, 1211489, 1275269, 1342403, 1413077, 1487459, 1565747, |
|---|
| 64 | 1648181, 1734937, 1826257, 1922383, 2023577, 2130101, 2242213, 2360243, 2484473, 2615243, 2752889, 2897789, 3050321, 3210871, |
|---|
| 65 | 3379877, 3557773, 3745051, 3942209, 4149703, 4368113, 4598063, 4840103, 5094853, 5363011, 5645279, 5942399, 6255157, 6584377, |
|---|
| 66 | 6930929, 7295719, 7679713, 8083919, 8509433, 8957309, 9428759, 9925021, 10447391, 10997279, 11576087, 12185359, 12826699, 13501819, |
|---|
| 67 | 14212447, 14960471, 15747869, 16576727, 17449207, 18367597, 19334317, 20351927, 21423107, 22550639, 23737523, 24986867, 26301967, |
|---|
| 68 | 27686291, 29143493, 30677363, 32291971, 33991597, 35780639, 37663841, 39646153, 41732809, 43929307, 46241389, 48675167, 51237019, |
|---|
| 69 | 53933713, 56772371, 59760391, 62905681, 66216511, 69701591, 73370107, 77231711, 81296543, 85575313, 90079313, 94820347, 99810899 |
|---|
| 70 | }; |
|---|
| 71 | |
|---|
| 72 | // define CALC_PRIMES only to expand the above table |
|---|
| 73 | #if defined(DEBUG) |
|---|
| 74 | // #define CALC_PRIMES |
|---|
| 75 | #endif // DEBUG |
|---|
| 76 | |
|---|
| 77 | #ifdef CALC_PRIMES |
|---|
| 78 | |
|---|
| 79 | #define CALC_PRIMES_UP_TO 100000000U |
|---|
| 80 | #define PRIME_UNDENSITY 20U // the higher, the less primes are stored |
|---|
| 81 | |
|---|
| 82 | #warning "please don't define CALC_PRIMES permanently" |
|---|
| 83 | |
|---|
| 84 | static unsigned char bit_val[8] = { 1, 2, 4, 8, 16, 32, 64, 128 }; |
|---|
| 85 | |
|---|
| 86 | static int bit_value(const unsigned char *eratosthenes, long num) { |
|---|
| 87 | // 'num' is odd and lowest 'num' is 3 |
|---|
| 88 | long bit_num = ((num-1) >> 1)-1; // 3->0 5->1 7->2 etc. |
|---|
| 89 | long byte_num = bit_num >> 3; // div 8 |
|---|
| 90 | char byte = eratosthenes[byte_num]; |
|---|
| 91 | |
|---|
| 92 | gb_assert(bit_num >= 0); |
|---|
| 93 | gb_assert((num&1) == 1); // has to odd |
|---|
| 94 | |
|---|
| 95 | bit_num = bit_num & 7; |
|---|
| 96 | |
|---|
| 97 | return (byte & bit_val[bit_num]) ? 1 : 0; |
|---|
| 98 | } |
|---|
| 99 | static void set_bit_value(unsigned char *eratosthenes, long num, int val) { |
|---|
| 100 | // 'num' is odd and lowest 'num' is 3; val is 0 or 1 |
|---|
| 101 | long bit_num = ((num-1) >> 1)-1; // 3->0 5->1 7->2 etc. |
|---|
| 102 | long byte_num = bit_num >> 3; // div 8 |
|---|
| 103 | char byte = eratosthenes[byte_num]; |
|---|
| 104 | |
|---|
| 105 | gb_assert(bit_num >= 0); |
|---|
| 106 | gb_assert((num&1) == 1); // has to odd |
|---|
| 107 | |
|---|
| 108 | bit_num = bit_num & 7; |
|---|
| 109 | |
|---|
| 110 | if (val) { |
|---|
| 111 | byte |= bit_val[bit_num]; |
|---|
| 112 | } |
|---|
| 113 | else { |
|---|
| 114 | byte &= (0xff - bit_val[bit_num]); |
|---|
| 115 | } |
|---|
| 116 | eratosthenes[byte_num] = byte; |
|---|
| 117 | } |
|---|
| 118 | |
|---|
| 119 | static void calculate_primes_upto() { |
|---|
| 120 | { |
|---|
| 121 | size_t bits_needed = CALC_PRIMES_UP_TO/2+1; // only need bits for odd numbers |
|---|
| 122 | size_t bytes_needed = (bits_needed/8)+1; |
|---|
| 123 | unsigned char *eratosthenes = (unsigned char *)GB_calloc(bytes_needed, 1); // bit = 1 means "is not a prime" |
|---|
| 124 | size_t prime_count = 0; |
|---|
| 125 | size_t num; |
|---|
| 126 | |
|---|
| 127 | printf("eratosthenes' size = %zu\n", bytes_needed); |
|---|
| 128 | GBK_dump_backtrace(stderr, "calculate_primes_upto"); |
|---|
| 129 | |
|---|
| 130 | if (!eratosthenes) { |
|---|
| 131 | GB_internal_error("out of memory"); |
|---|
| 132 | return; |
|---|
| 133 | } |
|---|
| 134 | |
|---|
| 135 | for (num = 3; num <= CALC_PRIMES_UP_TO; num += 2) { |
|---|
| 136 | if (bit_value(eratosthenes, num) == 0) { // is a prime number |
|---|
| 137 | size_t num2; |
|---|
| 138 | prime_count++; |
|---|
| 139 | for (num2 = num*2; num2 <= CALC_PRIMES_UP_TO; num2 += num) { // with all multiples |
|---|
| 140 | if ((num2&1) == 1) { // skip even numbers |
|---|
| 141 | set_bit_value(eratosthenes, num2, 1); |
|---|
| 142 | } |
|---|
| 143 | } |
|---|
| 144 | } |
|---|
| 145 | // otherwise it is no prime and all multiples are already set to 1 |
|---|
| 146 | } |
|---|
| 147 | |
|---|
| 148 | // thin out prime numbers (we don't need all of them) |
|---|
| 149 | { |
|---|
| 150 | size_t prime_count2 = 0; |
|---|
| 151 | size_t last_prime = 1; |
|---|
| 152 | size_t printed = 0; |
|---|
| 153 | |
|---|
| 154 | for (num = 3; num <= CALC_PRIMES_UP_TO; num += 2) { |
|---|
| 155 | if (bit_value(eratosthenes, num) == 0) { // is a prime number |
|---|
| 156 | size_t diff = num-last_prime; |
|---|
| 157 | if ((diff*PRIME_UNDENSITY)<num) { |
|---|
| 158 | set_bit_value(eratosthenes, num, 1); // delete unneeded prime |
|---|
| 159 | } |
|---|
| 160 | else { |
|---|
| 161 | prime_count2++; // count needed primes |
|---|
| 162 | last_prime = num; |
|---|
| 163 | } |
|---|
| 164 | } |
|---|
| 165 | } |
|---|
| 166 | |
|---|
| 167 | printf("\nUsing %zu prime numbers up to %zu:\n\n", prime_count2, CALC_PRIMES_UP_TO); |
|---|
| 168 | printf("#define KNOWN_PRIMES %zu\n", prime_count2); |
|---|
| 169 | printf("static size_t sorted_primes[KNOWN_PRIMES] = {\n "); |
|---|
| 170 | printed = 4; |
|---|
| 171 | |
|---|
| 172 | for (num = 3; num <= CALC_PRIMES_UP_TO; num += 2) { |
|---|
| 173 | if (bit_value(eratosthenes, num) == 0) { // is a prime number |
|---|
| 174 | if (printed>128) { |
|---|
| 175 | printf("\n "); |
|---|
| 176 | printed = 4; |
|---|
| 177 | } |
|---|
| 178 | |
|---|
| 179 | if (num>INT_MAX) { |
|---|
| 180 | printed += printf("%zuU, ", num); |
|---|
| 181 | } |
|---|
| 182 | else { |
|---|
| 183 | printed += printf("%zu, ", num); |
|---|
| 184 | } |
|---|
| 185 | } |
|---|
| 186 | } |
|---|
| 187 | printf("\n};\n\n"); |
|---|
| 188 | } |
|---|
| 189 | |
|---|
| 190 | free(eratosthenes); |
|---|
| 191 | } |
|---|
| 192 | fflush(stdout); |
|---|
| 193 | exit(1); |
|---|
| 194 | } |
|---|
| 195 | |
|---|
| 196 | #endif // CALC_PRIMES |
|---|
| 197 | |
|---|
| 198 | size_t gbs_get_a_prime(size_t above_or_equal_this) { |
|---|
| 199 | // return a prime number above_or_equal_this |
|---|
| 200 | // NOTE: it is not necessarily the next prime number, because we don't calculate all prime numbers! |
|---|
| 201 | |
|---|
| 202 | #if defined(CALC_PRIMES) |
|---|
| 203 | calculate_primes_upto(); |
|---|
| 204 | #endif // CALC_PRIMES |
|---|
| 205 | |
|---|
| 206 | if (sorted_primes[KNOWN_PRIMES-1] >= above_or_equal_this) { |
|---|
| 207 | int l = 0, h = KNOWN_PRIMES-1; |
|---|
| 208 | |
|---|
| 209 | while (l < h) { |
|---|
| 210 | int m = (l+h)/2; |
|---|
| 211 | #if defined(DEBUG) && 0 |
|---|
| 212 | printf("l=%-3i m=%-3i h=%-3i above_or_equal_this=%li sorted_primes[%i]=%li sorted_primes[%i]=%li sorted_primes[%i]=%li\n", |
|---|
| 213 | l, m, h, above_or_equal_this, l, sorted_primes[l], m, sorted_primes[m], h, sorted_primes[h]); |
|---|
| 214 | #endif // DEBUG |
|---|
| 215 | gb_assert(l <= m); |
|---|
| 216 | gb_assert(m <= h); |
|---|
| 217 | if (sorted_primes[m] > above_or_equal_this) { |
|---|
| 218 | h = m-1; |
|---|
| 219 | } |
|---|
| 220 | else { |
|---|
| 221 | if (sorted_primes[m] < above_or_equal_this) { |
|---|
| 222 | l = m+1; |
|---|
| 223 | } |
|---|
| 224 | else { |
|---|
| 225 | h = l = m; |
|---|
| 226 | } |
|---|
| 227 | } |
|---|
| 228 | } |
|---|
| 229 | |
|---|
| 230 | if (sorted_primes[l] < above_or_equal_this) { |
|---|
| 231 | l++; // take next |
|---|
| 232 | gb_assert(l<KNOWN_PRIMES); |
|---|
| 233 | } |
|---|
| 234 | |
|---|
| 235 | gb_assert(sorted_primes[l] >= above_or_equal_this); |
|---|
| 236 | gb_assert(l == 0 || sorted_primes[l-1] < above_or_equal_this); |
|---|
| 237 | |
|---|
| 238 | return sorted_primes[l]; |
|---|
| 239 | } |
|---|
| 240 | |
|---|
| 241 | fprintf(stderr, "Warning: gbs_get_a_prime failed for value %zu (performance bleed)\n", above_or_equal_this); |
|---|
| 242 | gb_assert(0); // add more primes to sorted_primes[] |
|---|
| 243 | |
|---|
| 244 | return above_or_equal_this; // NEED_NO_COV |
|---|
| 245 | } |
|---|
| 246 | |
|---|
| 247 | // ----------------------------------------------- |
|---|
| 248 | // Some Hash Procedures for [string,long] |
|---|
| 249 | |
|---|
| 250 | inline size_t hash_size(size_t estimated_elements) { |
|---|
| 251 | size_t min_hash_size = 2*estimated_elements; // -> fill rate ~ 50% -> collisions unlikely |
|---|
| 252 | size_t next_prime = gbs_get_a_prime(min_hash_size); // use next prime number |
|---|
| 253 | |
|---|
| 254 | return next_prime; |
|---|
| 255 | } |
|---|
| 256 | |
|---|
| 257 | |
|---|
| 258 | GB_HASH *GBS_create_hash(long estimated_elements, GB_CASE case_sens) { |
|---|
| 259 | /*! Create a hash |
|---|
| 260 | * @param estimated_elements estimated number of elements added to hash (if you add more elements, hash will still work, but get slow) |
|---|
| 261 | * @param case_sens GB_IGNORE_CASE or GB_MIND_CASE |
|---|
| 262 | * Uses linked lists to avoid collisions. |
|---|
| 263 | */ |
|---|
| 264 | long size = hash_size(estimated_elements); |
|---|
| 265 | GB_HASH *hs = (GB_HASH*)GB_calloc(sizeof(*hs), 1); |
|---|
| 266 | |
|---|
| 267 | hs->size = size; |
|---|
| 268 | hs->nelem = 0; |
|---|
| 269 | hs->case_sens = case_sens; |
|---|
| 270 | hs->entries = (gbs_hash_entry **)GB_calloc(sizeof(gbs_hash_entry *), size); |
|---|
| 271 | hs->freefun = NULL; |
|---|
| 272 | |
|---|
| 273 | return hs; |
|---|
| 274 | } |
|---|
| 275 | |
|---|
| 276 | GB_HASH *GBS_create_dynaval_hash(long estimated_elements, GB_CASE case_sens, void (*freefun)(long)) { |
|---|
| 277 | //! like GBS_create_hash, but values stored in hash get freed using 'freefun' when hash gets destroyed |
|---|
| 278 | GB_HASH *hs = GBS_create_hash(estimated_elements, case_sens); |
|---|
| 279 | hs->freefun = freefun; |
|---|
| 280 | return hs; |
|---|
| 281 | } |
|---|
| 282 | |
|---|
| 283 | void GBS_dynaval_free(long val) { |
|---|
| 284 | free((void*)val); |
|---|
| 285 | } |
|---|
| 286 | |
|---|
| 287 | #if defined(DEBUG) |
|---|
| 288 | inline void dump_access(const char *title, const GB_HASH *hs, double mean_access) { |
|---|
| 289 | fprintf(stderr, |
|---|
| 290 | "%s: size=%zu elements=%zu mean_access=%.2f hash-speed=%.1f%%\n", |
|---|
| 291 | title, hs->size, hs->nelem, mean_access, 100.0/mean_access); |
|---|
| 292 | } |
|---|
| 293 | |
|---|
| 294 | static double hash_mean_access_costs(const GB_HASH *hs) { |
|---|
| 295 | /* returns the mean access costs of the hash [1.0 .. inf[ |
|---|
| 296 | * 1.0 is optimal |
|---|
| 297 | * 2.0 means: hash speed is 50% (1/2.0) |
|---|
| 298 | */ |
|---|
| 299 | double mean_access = 1.0; |
|---|
| 300 | |
|---|
| 301 | if (hs->nelem) { |
|---|
| 302 | int strcmps_needed = 0; |
|---|
| 303 | size_t pos; |
|---|
| 304 | |
|---|
| 305 | for (pos = 0; pos<hs->size; pos++) { |
|---|
| 306 | int strcmps = 1; |
|---|
| 307 | gbs_hash_entry *e; |
|---|
| 308 | |
|---|
| 309 | for (e = hs->entries[pos]; e; e = e->next) { |
|---|
| 310 | strcmps_needed += strcmps++; |
|---|
| 311 | } |
|---|
| 312 | } |
|---|
| 313 | |
|---|
| 314 | mean_access = (double)strcmps_needed/hs->nelem; |
|---|
| 315 | } |
|---|
| 316 | return mean_access; |
|---|
| 317 | } |
|---|
| 318 | #endif // DEBUG |
|---|
| 319 | |
|---|
| 320 | |
|---|
| 321 | void GBS_optimize_hash(const GB_HASH *hs) { |
|---|
| 322 | if (hs->nelem > hs->size) { // hash is overfilled (Note: even 50% fillrate is slow) |
|---|
| 323 | size_t new_size = gbs_get_a_prime(hs->nelem*3); |
|---|
| 324 | |
|---|
| 325 | #if defined(DEBUG) |
|---|
| 326 | dump_access("Optimizing filled hash", hs, hash_mean_access_costs(hs)); |
|---|
| 327 | #endif // DEBUG |
|---|
| 328 | |
|---|
| 329 | if (new_size>hs->size) { // avoid overflow |
|---|
| 330 | gbs_hash_entry **new_entries = (gbs_hash_entry**)GB_calloc(sizeof(*new_entries), new_size); |
|---|
| 331 | size_t pos; |
|---|
| 332 | |
|---|
| 333 | for (pos = 0; pos<hs->size; ++pos) { |
|---|
| 334 | gbs_hash_entry *e; |
|---|
| 335 | gbs_hash_entry *next; |
|---|
| 336 | |
|---|
| 337 | for (e = hs->entries[pos]; e; e = next) { |
|---|
| 338 | long new_idx; |
|---|
| 339 | next = e->next; |
|---|
| 340 | |
|---|
| 341 | GB_CALC_HASH_INDEX(e->key, new_idx, new_size, hs->case_sens); |
|---|
| 342 | |
|---|
| 343 | e->next = new_entries[new_idx]; |
|---|
| 344 | new_entries[new_idx] = e; |
|---|
| 345 | } |
|---|
| 346 | } |
|---|
| 347 | |
|---|
| 348 | free(hs->entries); |
|---|
| 349 | |
|---|
| 350 | { |
|---|
| 351 | GB_HASH *hs_mutable = const_cast<GB_HASH*>(hs); |
|---|
| 352 | hs_mutable->size = new_size; |
|---|
| 353 | hs_mutable->entries = new_entries; |
|---|
| 354 | } |
|---|
| 355 | } |
|---|
| 356 | #if defined(DEBUG) |
|---|
| 357 | dump_access("Optimized hash ", hs, hash_mean_access_costs(hs)); |
|---|
| 358 | #endif // DEBUG |
|---|
| 359 | |
|---|
| 360 | } |
|---|
| 361 | } |
|---|
| 362 | |
|---|
| 363 | static void gbs_hash_to_strstruct(const char *key, long val, void *cd_out) { |
|---|
| 364 | const char *p; |
|---|
| 365 | int c; |
|---|
| 366 | GBS_strstruct *out = (GBS_strstruct*)cd_out; |
|---|
| 367 | |
|---|
| 368 | for (p = key; (c=*p); p++) { |
|---|
| 369 | GBS_chrcat(out, c); |
|---|
| 370 | if (c==':') GBS_chrcat(out, c); |
|---|
| 371 | } |
|---|
| 372 | GBS_chrcat(out, ':'); |
|---|
| 373 | GBS_intcat(out, val); |
|---|
| 374 | GBS_chrcat(out, ' '); |
|---|
| 375 | } |
|---|
| 376 | |
|---|
| 377 | char *GBS_hashtab_2_string(const GB_HASH *hash) { |
|---|
| 378 | GBS_strstruct *out = GBS_stropen(1024); |
|---|
| 379 | GBS_hash_do_const_loop(hash, gbs_hash_to_strstruct, out); |
|---|
| 380 | return GBS_strclose(out); |
|---|
| 381 | } |
|---|
| 382 | |
|---|
| 383 | |
|---|
| 384 | static gbs_hash_entry *find_hash_entry(const GB_HASH *hs, const char *key, size_t *index) { |
|---|
| 385 | gbs_hash_entry *e; |
|---|
| 386 | if (hs->case_sens == GB_IGNORE_CASE) { |
|---|
| 387 | GB_CALC_HASH_INDEX_CASE_IGNORED(key, *index, hs->size); |
|---|
| 388 | for (e=hs->entries[*index]; e; e=e->next) { |
|---|
| 389 | if (!strcasecmp(e->key, key)) return e; |
|---|
| 390 | } |
|---|
| 391 | } |
|---|
| 392 | else { |
|---|
| 393 | GB_CALC_HASH_INDEX_CASE_SENSITIVE(key, *index, hs->size); |
|---|
| 394 | for (e=hs->entries[*index]; e; e=e->next) { |
|---|
| 395 | if (!strcmp(e->key, key)) return e; |
|---|
| 396 | } |
|---|
| 397 | } |
|---|
| 398 | return 0; |
|---|
| 399 | } |
|---|
| 400 | |
|---|
| 401 | long GBS_read_hash(const GB_HASH *hs, const char *key) { |
|---|
| 402 | size_t i; |
|---|
| 403 | gbs_hash_entry *e = find_hash_entry(hs, key, &i); |
|---|
| 404 | |
|---|
| 405 | return e ? e->val : 0; |
|---|
| 406 | } |
|---|
| 407 | |
|---|
| 408 | static void delete_from_list(GB_HASH *hs, size_t i, gbs_hash_entry *e) { |
|---|
| 409 | // delete the hash entry 'e' from list at index 'i' |
|---|
| 410 | hs->nelem--; |
|---|
| 411 | if (hs->entries[i] == e) { |
|---|
| 412 | hs->entries[i] = e->next; |
|---|
| 413 | } |
|---|
| 414 | else { |
|---|
| 415 | gbs_hash_entry *ee; |
|---|
| 416 | for (ee = hs->entries[i]; ee->next != e; ee = ee->next) ; |
|---|
| 417 | if (ee->next == e) { |
|---|
| 418 | ee->next = e->next; |
|---|
| 419 | } |
|---|
| 420 | else { |
|---|
| 421 | GB_internal_error("Database may be corrupt, hash tables error"); // NEED_NO_COV |
|---|
| 422 | } |
|---|
| 423 | } |
|---|
| 424 | free(e->key); |
|---|
| 425 | if (hs->freefun) hs->freefun(e->val); |
|---|
| 426 | gbm_free_mem(e, sizeof(gbs_hash_entry), GBM_HASH_INDEX); |
|---|
| 427 | } |
|---|
| 428 | |
|---|
| 429 | static long write_hash(GB_HASH *hs, char *key, bool copyKey, long val) { |
|---|
| 430 | /* returns the old value (or 0 if key had no entry) |
|---|
| 431 | * if 'copyKey' == false, 'key' will be freed (now or later) and may be invalid! |
|---|
| 432 | * if 'copyKey' == true, 'key' will not be touched in any way! |
|---|
| 433 | */ |
|---|
| 434 | |
|---|
| 435 | size_t i; |
|---|
| 436 | gbs_hash_entry *e = find_hash_entry(hs, key, &i); |
|---|
| 437 | long oldval = 0; |
|---|
| 438 | |
|---|
| 439 | if (e) { |
|---|
| 440 | oldval = e->val; |
|---|
| 441 | |
|---|
| 442 | if (!val) delete_from_list(hs, i, e); // (val == 0 is not stored, cause 0 is the default value) |
|---|
| 443 | else e->val = val; |
|---|
| 444 | |
|---|
| 445 | if (!copyKey) free(key); // already had an entry -> delete unused mem |
|---|
| 446 | } |
|---|
| 447 | else if (val != 0) { // don't store 0 |
|---|
| 448 | // create new hash entry |
|---|
| 449 | e = (gbs_hash_entry *)gbm_get_mem(sizeof(gbs_hash_entry), GBM_HASH_INDEX); |
|---|
| 450 | e->next = hs->entries[i]; |
|---|
| 451 | e->key = copyKey ? strdup(key) : key; |
|---|
| 452 | e->val = val; |
|---|
| 453 | |
|---|
| 454 | hs->entries[i] = e; |
|---|
| 455 | hs->nelem++; |
|---|
| 456 | } |
|---|
| 457 | else { |
|---|
| 458 | if (!copyKey) free(key); // don't need an entry -> delete unused mem |
|---|
| 459 | } |
|---|
| 460 | return oldval; |
|---|
| 461 | } |
|---|
| 462 | |
|---|
| 463 | long GBS_write_hash(GB_HASH *hs, const char *key, long val) { |
|---|
| 464 | // returns the old value (or 0 if key had no entry) |
|---|
| 465 | return write_hash(hs, (char*)key, true, val); |
|---|
| 466 | } |
|---|
| 467 | |
|---|
| 468 | long GBS_write_hash_no_strdup(GB_HASH *hs, char *key, long val) { |
|---|
| 469 | /* same as GBS_write_hash, but does no strdup. 'key' is freed later in GBS_free_hash, |
|---|
| 470 | * so the user has to 'malloc' the string and give control to the hash. |
|---|
| 471 | * Note: after calling this function 'key' may be invalid! |
|---|
| 472 | */ |
|---|
| 473 | return write_hash(hs, key, false, val); |
|---|
| 474 | } |
|---|
| 475 | |
|---|
| 476 | long GBS_incr_hash(GB_HASH *hs, const char *key) { |
|---|
| 477 | // returns new value |
|---|
| 478 | size_t i; |
|---|
| 479 | gbs_hash_entry *e = find_hash_entry(hs, key, &i); |
|---|
| 480 | long result; |
|---|
| 481 | |
|---|
| 482 | if (e) { |
|---|
| 483 | result = ++e->val; |
|---|
| 484 | if (!result) delete_from_list(hs, i, e); |
|---|
| 485 | } |
|---|
| 486 | else { |
|---|
| 487 | e = (gbs_hash_entry *)gbm_get_mem(sizeof(gbs_hash_entry), GBM_HASH_INDEX); |
|---|
| 488 | e->next = hs->entries[i]; |
|---|
| 489 | e->key = strdup(key); |
|---|
| 490 | e->val = result = 1; |
|---|
| 491 | |
|---|
| 492 | hs->entries[i] = e; |
|---|
| 493 | hs->nelem++; |
|---|
| 494 | } |
|---|
| 495 | return result; |
|---|
| 496 | } |
|---|
| 497 | |
|---|
| 498 | #if defined(DEVEL_RALF) |
|---|
| 499 | // #define DUMP_HASH_ENTRIES |
|---|
| 500 | #endif // DEVEL_RALF |
|---|
| 501 | |
|---|
| 502 | static void GBS_erase_hash(GB_HASH *hs) { |
|---|
| 503 | size_t hsize = hs->size; |
|---|
| 504 | |
|---|
| 505 | #if defined(DUMP_HASH_ENTRIES) |
|---|
| 506 | for (size_t i = 0; i < hsize; i++) { |
|---|
| 507 | printf("hash[%zu] =", i); |
|---|
| 508 | for (gbs_hash_entry *e = hs->entries[i]; e; e = e->next) { |
|---|
| 509 | printf(" '%s'", e->key); |
|---|
| 510 | } |
|---|
| 511 | printf("\n"); |
|---|
| 512 | } |
|---|
| 513 | #endif // DUMP_HASH_ENTRIES |
|---|
| 514 | |
|---|
| 515 | // check hash size |
|---|
| 516 | if (hsize >= 10) { // ignore small hashes |
|---|
| 517 | #if defined(DEBUG) |
|---|
| 518 | double mean_access = hash_mean_access_costs(hs); |
|---|
| 519 | if (mean_access > 1.5) { // every 2nd access is a collision - increase hash size? |
|---|
| 520 | dump_access("hash-size-warning", hs, mean_access); |
|---|
| 521 | #if defined(DEVEL_RALF) && !defined(UNIT_TESTS) |
|---|
| 522 | gb_assert(mean_access<2.0); // hash with 50% speed or less |
|---|
| 523 | #endif // DEVEL_RALF |
|---|
| 524 | } |
|---|
| 525 | #else |
|---|
| 526 | if (hs->nelem >= (2*hsize)) { |
|---|
| 527 | GB_warningf("Performance leak - very slow hash detected (elems=%zu, size=%zu)\n", hs->nelem, hs->size); |
|---|
| 528 | GBK_dump_backtrace(stderr, "detected performance leak"); |
|---|
| 529 | } |
|---|
| 530 | #endif // DEBUG |
|---|
| 531 | } |
|---|
| 532 | |
|---|
| 533 | for (size_t i = 0; i < hsize; i++) { |
|---|
| 534 | for (gbs_hash_entry *e = hs->entries[i]; e; ) { |
|---|
| 535 | free(e->key); |
|---|
| 536 | if (hs->freefun) hs->freefun(e->val); |
|---|
| 537 | |
|---|
| 538 | gbs_hash_entry *next = e->next; |
|---|
| 539 | gbm_free_mem(e, sizeof(gbs_hash_entry), GBM_HASH_INDEX); |
|---|
| 540 | e = next; |
|---|
| 541 | } |
|---|
| 542 | hs->entries[i] = 0; |
|---|
| 543 | } |
|---|
| 544 | hs->nelem = 0; |
|---|
| 545 | } |
|---|
| 546 | |
|---|
| 547 | void GBS_free_hash(GB_HASH *hs) { |
|---|
| 548 | gb_assert(hs); |
|---|
| 549 | GBS_erase_hash(hs); |
|---|
| 550 | free(hs->entries); |
|---|
| 551 | free(hs); |
|---|
| 552 | } |
|---|
| 553 | |
|---|
| 554 | void GBS_hash_do_loop(GB_HASH *hs, gb_hash_loop_type func, void *client_data) { |
|---|
| 555 | size_t hsize = hs->size; |
|---|
| 556 | for (size_t i=0; i<hsize; i++) { |
|---|
| 557 | for (gbs_hash_entry *e = hs->entries[i]; e; ) { |
|---|
| 558 | gbs_hash_entry *next = e->next; |
|---|
| 559 | if (e->val) { |
|---|
| 560 | e->val = func(e->key, e->val, client_data); |
|---|
| 561 | if (!e->val) delete_from_list(hs, i, e); |
|---|
| 562 | } |
|---|
| 563 | e = next; |
|---|
| 564 | } |
|---|
| 565 | } |
|---|
| 566 | } |
|---|
| 567 | |
|---|
| 568 | void GBS_hash_do_const_loop(const GB_HASH *hs, gb_hash_const_loop_type func, void *client_data) { |
|---|
| 569 | size_t hsize = hs->size; |
|---|
| 570 | for (size_t i=0; i<hsize; i++) { |
|---|
| 571 | for (gbs_hash_entry *e = hs->entries[i]; e; ) { |
|---|
| 572 | gbs_hash_entry *next = e->next; |
|---|
| 573 | if (e->val) func(e->key, e->val, client_data); |
|---|
| 574 | e = next; |
|---|
| 575 | } |
|---|
| 576 | } |
|---|
| 577 | } |
|---|
| 578 | |
|---|
| 579 | size_t GBS_hash_elements(const GB_HASH *hs) { |
|---|
| 580 | return hs->nelem; |
|---|
| 581 | } |
|---|
| 582 | |
|---|
| 583 | const char *GBS_hash_next_element_that(const GB_HASH *hs, const char *last_key, bool (*condition)(const char *key, long val, void *cd), void *cd) { |
|---|
| 584 | /* Returns the key of the next element after 'last_key' matching 'condition' (i.e. where condition returns true). |
|---|
| 585 | * If 'last_key' is NULL, the first matching element is returned. |
|---|
| 586 | * Returns NULL if no (more) elements match the 'condition'. |
|---|
| 587 | */ |
|---|
| 588 | |
|---|
| 589 | size_t size = hs->size; |
|---|
| 590 | size_t i = 0; |
|---|
| 591 | gbs_hash_entry *e = 0; |
|---|
| 592 | |
|---|
| 593 | if (last_key) { |
|---|
| 594 | e = find_hash_entry(hs, last_key, &i); |
|---|
| 595 | if (!e) return NULL; |
|---|
| 596 | |
|---|
| 597 | e = e->next; // use next entry after 'last_key' |
|---|
| 598 | if (!e) i++; |
|---|
| 599 | } |
|---|
| 600 | |
|---|
| 601 | for (; i<size && !e; ++i) e = hs->entries[i]; // search first/next entry |
|---|
| 602 | |
|---|
| 603 | while (e) { |
|---|
| 604 | if ((*condition)(e->key, e->val, cd)) break; |
|---|
| 605 | e = e->next; |
|---|
| 606 | if (!e) { |
|---|
| 607 | for (i++; i<size && !e; ++i) e = hs->entries[i]; |
|---|
| 608 | } |
|---|
| 609 | } |
|---|
| 610 | |
|---|
| 611 | return e ? e->key : NULL; |
|---|
| 612 | } |
|---|
| 613 | |
|---|
| 614 | static int wrap_hashCompare4gb_sort(const void *v0, const void *v1, void *sorter) { |
|---|
| 615 | const gbs_hash_entry *e0 = (const gbs_hash_entry*)v0; |
|---|
| 616 | const gbs_hash_entry *e1 = (const gbs_hash_entry*)v1; |
|---|
| 617 | |
|---|
| 618 | return ((gbs_hash_compare_function)sorter)(e0->key, e0->val, e1->key, e1->val); |
|---|
| 619 | } |
|---|
| 620 | |
|---|
| 621 | void GBS_hash_do_sorted_loop(GB_HASH *hs, gb_hash_loop_type func, gbs_hash_compare_function sorter, void *client_data) { |
|---|
| 622 | size_t hsize = hs->size; |
|---|
| 623 | gbs_hash_entry **mtab = (gbs_hash_entry **)GB_calloc(sizeof(void *), hs->nelem); |
|---|
| 624 | |
|---|
| 625 | size_t j = 0; |
|---|
| 626 | for (size_t i = 0; i < hsize; i++) { |
|---|
| 627 | for (gbs_hash_entry *e = hs->entries[i]; e; e = e->next) { |
|---|
| 628 | if (e->val) { |
|---|
| 629 | mtab[j++] = e; |
|---|
| 630 | } |
|---|
| 631 | } |
|---|
| 632 | } |
|---|
| 633 | |
|---|
| 634 | GB_sort((void**)mtab, 0, j, wrap_hashCompare4gb_sort, (void*)sorter); |
|---|
| 635 | |
|---|
| 636 | for (size_t i = 0; i < j; i++) { |
|---|
| 637 | long new_val = func(mtab[i]->key, mtab[i]->val, client_data); |
|---|
| 638 | if (new_val != mtab[i]->val) GBS_write_hash(hs, mtab[i]->key, new_val); |
|---|
| 639 | } |
|---|
| 640 | |
|---|
| 641 | free(mtab); |
|---|
| 642 | } |
|---|
| 643 | |
|---|
| 644 | int GBS_HCF_sortedByKey(const char *k0, long /*v0*/, const char *k1, long /*v1*/) { |
|---|
| 645 | return strcmp(k0, k1); |
|---|
| 646 | } |
|---|
| 647 | |
|---|
| 648 | // --------------------------------------------- |
|---|
| 649 | // Some Hash Procedures for [long,long] |
|---|
| 650 | |
|---|
| 651 | inline long gbs_numhash_index(long key, long size) { |
|---|
| 652 | long x; |
|---|
| 653 | x = (key * (long long)97)%size; // make one multiplier a (long long) to avoid |
|---|
| 654 | if (x<0) x += size; // int overflow and abort if compiled with -ftrapv |
|---|
| 655 | return x; |
|---|
| 656 | } |
|---|
| 657 | |
|---|
| 658 | |
|---|
| 659 | GB_NUMHASH *GBS_create_numhash(size_t estimated_elements) { |
|---|
| 660 | size_t size = hash_size(estimated_elements); |
|---|
| 661 | GB_NUMHASH *hs = (GB_NUMHASH *)GB_calloc(sizeof(*hs), 1); |
|---|
| 662 | |
|---|
| 663 | hs->size = size; |
|---|
| 664 | hs->nelem = 0; |
|---|
| 665 | hs->entries = (numhash_entry **)GB_calloc(sizeof(*(hs->entries)), (size_t)size); |
|---|
| 666 | |
|---|
| 667 | return hs; |
|---|
| 668 | } |
|---|
| 669 | |
|---|
| 670 | long GBS_read_numhash(GB_NUMHASH *hs, long key) { |
|---|
| 671 | size_t i = gbs_numhash_index(key, hs->size); |
|---|
| 672 | for (numhash_entry *e = hs->entries[i]; e; e = e->next) { |
|---|
| 673 | if (e->key==key) return e->val; |
|---|
| 674 | } |
|---|
| 675 | return 0; |
|---|
| 676 | } |
|---|
| 677 | |
|---|
| 678 | long GBS_write_numhash(GB_NUMHASH *hs, long key, long val) { |
|---|
| 679 | size_t i = gbs_numhash_index(key, hs->size); |
|---|
| 680 | long oldval = 0; |
|---|
| 681 | |
|---|
| 682 | if (val == 0) { // erase |
|---|
| 683 | numhash_entry **nextPtr = &(hs->entries[i]); |
|---|
| 684 | |
|---|
| 685 | for (numhash_entry *e = hs->entries[i]; e; e = e->next) { |
|---|
| 686 | if (e->key == key) { |
|---|
| 687 | *nextPtr = e->next; // unlink entry |
|---|
| 688 | gbm_free_mem(e, sizeof(*e), GBM_HASH_INDEX); |
|---|
| 689 | hs->nelem--; |
|---|
| 690 | return 0; |
|---|
| 691 | } |
|---|
| 692 | nextPtr = &(e->next); |
|---|
| 693 | } |
|---|
| 694 | } |
|---|
| 695 | else { |
|---|
| 696 | for (numhash_entry *e=hs->entries[i]; e; e=e->next) { |
|---|
| 697 | if (e->key==key) { |
|---|
| 698 | oldval = e->val; gb_assert(oldval); |
|---|
| 699 | e->val = val; |
|---|
| 700 | break; |
|---|
| 701 | } |
|---|
| 702 | } |
|---|
| 703 | |
|---|
| 704 | if (!oldval) { |
|---|
| 705 | numhash_entry *e = (numhash_entry *)gbm_get_mem(sizeof(*e), GBM_HASH_INDEX); |
|---|
| 706 | |
|---|
| 707 | e->next = hs->entries[i]; |
|---|
| 708 | e->key = key; |
|---|
| 709 | e->val = val; |
|---|
| 710 | |
|---|
| 711 | hs->nelem++; |
|---|
| 712 | hs->entries[i] = e; |
|---|
| 713 | } |
|---|
| 714 | } |
|---|
| 715 | return oldval; |
|---|
| 716 | } |
|---|
| 717 | |
|---|
| 718 | static void GBS_erase_numhash(GB_NUMHASH *hs) { |
|---|
| 719 | size_t hsize = hs->size; |
|---|
| 720 | |
|---|
| 721 | for (size_t i=0; i<hsize; i++) { |
|---|
| 722 | for (numhash_entry *e = hs->entries[i]; e; ) { |
|---|
| 723 | numhash_entry *next = e->next; |
|---|
| 724 | |
|---|
| 725 | gbm_free_mem(e, sizeof(*e), GBM_HASH_INDEX); |
|---|
| 726 | e = next; |
|---|
| 727 | } |
|---|
| 728 | } |
|---|
| 729 | |
|---|
| 730 | hs->nelem = 0; |
|---|
| 731 | } |
|---|
| 732 | |
|---|
| 733 | void GBS_free_numhash(GB_NUMHASH *hs) { |
|---|
| 734 | GBS_erase_numhash(hs); |
|---|
| 735 | free(hs->entries); |
|---|
| 736 | free(hs); |
|---|
| 737 | } |
|---|
| 738 | |
|---|
| 739 | // -------------------------------------------------------------------------------- |
|---|
| 740 | |
|---|
| 741 | #ifdef UNIT_TESTS |
|---|
| 742 | |
|---|
| 743 | #include <test_unit.h> |
|---|
| 744 | |
|---|
| 745 | // determine hash quality |
|---|
| 746 | |
|---|
| 747 | struct gbs_hash_statistic_summary { |
|---|
| 748 | long count; // how many stats |
|---|
| 749 | long min_size, max_size, sum_size; |
|---|
| 750 | long min_nelem, max_nelem, sum_nelem; |
|---|
| 751 | long min_collisions, max_collisions, sum_collisions; |
|---|
| 752 | double min_fill_ratio, max_fill_ratio, sum_fill_ratio; |
|---|
| 753 | double min_hash_quality, max_hash_quality, sum_hash_quality; |
|---|
| 754 | |
|---|
| 755 | void init() { |
|---|
| 756 | count = 0; |
|---|
| 757 | min_size = min_nelem = min_collisions = LONG_MAX; |
|---|
| 758 | max_size = max_nelem = max_collisions = LONG_MIN; |
|---|
| 759 | min_fill_ratio = min_hash_quality = DBL_MAX; |
|---|
| 760 | max_fill_ratio = max_hash_quality = DBL_MIN; |
|---|
| 761 | |
|---|
| 762 | sum_size = sum_nelem = sum_collisions = 0; |
|---|
| 763 | sum_fill_ratio = sum_hash_quality = 0.0; |
|---|
| 764 | } |
|---|
| 765 | }; |
|---|
| 766 | |
|---|
| 767 | class hash_statistic_manager : virtual Noncopyable { |
|---|
| 768 | GB_HASH *stat_hash; |
|---|
| 769 | public: |
|---|
| 770 | hash_statistic_manager() : stat_hash(NULL) { } |
|---|
| 771 | ~hash_statistic_manager() { |
|---|
| 772 | if (stat_hash) GBS_free_hash(stat_hash); |
|---|
| 773 | } |
|---|
| 774 | |
|---|
| 775 | gbs_hash_statistic_summary *get_stat_summary(const char *id) { |
|---|
| 776 | if (!stat_hash) stat_hash = GBS_create_dynaval_hash(10, GB_MIND_CASE, GBS_dynaval_free); |
|---|
| 777 | |
|---|
| 778 | long found = GBS_read_hash(stat_hash, id); |
|---|
| 779 | if (!found) { |
|---|
| 780 | gbs_hash_statistic_summary *stat = (gbs_hash_statistic_summary*)GB_calloc(1, sizeof(*stat)); |
|---|
| 781 | stat->init(); |
|---|
| 782 | found = (long)stat; |
|---|
| 783 | GBS_write_hash(stat_hash, id, found); |
|---|
| 784 | } |
|---|
| 785 | |
|---|
| 786 | return (gbs_hash_statistic_summary*)found; |
|---|
| 787 | } |
|---|
| 788 | }; |
|---|
| 789 | |
|---|
| 790 | static void addto_hash_statistic_summary(gbs_hash_statistic_summary *stat, long size, long nelem, long collisions, double fill_ratio, double hash_quality) { |
|---|
| 791 | stat->count++; |
|---|
| 792 | |
|---|
| 793 | if (stat->min_size > size) stat->min_size = size; |
|---|
| 794 | if (stat->max_size < size) stat->max_size = size; |
|---|
| 795 | |
|---|
| 796 | if (stat->min_nelem > nelem) stat->min_nelem = nelem; |
|---|
| 797 | if (stat->max_nelem < nelem) stat->max_nelem = nelem; |
|---|
| 798 | |
|---|
| 799 | if (stat->min_collisions > collisions) stat->min_collisions = collisions; |
|---|
| 800 | if (stat->max_collisions < collisions) stat->max_collisions = collisions; |
|---|
| 801 | |
|---|
| 802 | if (stat->min_fill_ratio > fill_ratio) stat->min_fill_ratio = fill_ratio; |
|---|
| 803 | if (stat->max_fill_ratio < fill_ratio) stat->max_fill_ratio = fill_ratio; |
|---|
| 804 | |
|---|
| 805 | if (stat->min_hash_quality > hash_quality) stat->min_hash_quality = hash_quality; |
|---|
| 806 | if (stat->max_hash_quality < hash_quality) stat->max_hash_quality = hash_quality; |
|---|
| 807 | |
|---|
| 808 | stat->sum_size += size; |
|---|
| 809 | stat->sum_nelem += nelem; |
|---|
| 810 | stat->sum_collisions += collisions; |
|---|
| 811 | stat->sum_fill_ratio += fill_ratio; |
|---|
| 812 | stat->sum_hash_quality += hash_quality; |
|---|
| 813 | } |
|---|
| 814 | |
|---|
| 815 | static hash_statistic_manager hash_stat_man; |
|---|
| 816 | |
|---|
| 817 | static void test_clear_hash_statistic_summary(const char *id) { |
|---|
| 818 | hash_stat_man.get_stat_summary(id)->init(); |
|---|
| 819 | } |
|---|
| 820 | |
|---|
| 821 | static void test_print_hash_statistic_summary(const char *id) { |
|---|
| 822 | gbs_hash_statistic_summary *stat = hash_stat_man.get_stat_summary(id); |
|---|
| 823 | long count = stat->count; |
|---|
| 824 | printf("Statistic summary for %li hashes of type '%s':\n", count, id); |
|---|
| 825 | printf("- size: min = %6li ; max = %6li ; mean = %6.1f\n", stat->min_size, stat->max_size, (double)stat->sum_size/count); |
|---|
| 826 | printf("- nelem: min = %6li ; max = %6li ; mean = %6.1f\n", stat->min_nelem, stat->max_nelem, (double)stat->sum_nelem/count); |
|---|
| 827 | printf("- fill_ratio: min = %5.1f%% ; max = %5.1f%% ; mean = %5.1f%%\n", stat->min_fill_ratio*100.0, stat->max_fill_ratio*100.0, (double)stat->sum_fill_ratio/count*100.0); |
|---|
| 828 | printf("- collisions: min = %6li ; max = %6li ; mean = %6.1f\n", stat->min_collisions, stat->max_collisions, (double)stat->sum_collisions/count); |
|---|
| 829 | printf("- hash_quality: min = %5.1f%% ; max = %5.1f%% ; mean = %5.1f%%\n", stat->min_hash_quality*100.0, stat->max_hash_quality*100.0, (double)stat->sum_hash_quality/count*100.0); |
|---|
| 830 | } |
|---|
| 831 | |
|---|
| 832 | static void test_calc_hash_statistic(const GB_HASH *hs, const char *id, int print) { |
|---|
| 833 | long queues = 0; |
|---|
| 834 | long collisions; |
|---|
| 835 | double fill_ratio = (double)hs->nelem/hs->size; |
|---|
| 836 | double hash_quality; |
|---|
| 837 | |
|---|
| 838 | for (size_t i = 0; i < hs->size; i++) { |
|---|
| 839 | if (hs->entries[i]) queues++; |
|---|
| 840 | } |
|---|
| 841 | collisions = hs->nelem - queues; |
|---|
| 842 | |
|---|
| 843 | hash_quality = (double)queues/hs->nelem; // no collisions means 100% quality |
|---|
| 844 | |
|---|
| 845 | if (print != 0) { |
|---|
| 846 | printf("Statistic for hash '%s':\n", id); |
|---|
| 847 | printf("- size = %zu\n", hs->size); |
|---|
| 848 | printf("- elements = %zu (fill ratio = %4.1f%%)\n", hs->nelem, fill_ratio*100.0); |
|---|
| 849 | printf("- collisions = %li (hash quality = %4.1f%%)\n", collisions, hash_quality*100.0); |
|---|
| 850 | } |
|---|
| 851 | |
|---|
| 852 | addto_hash_statistic_summary(hash_stat_man.get_stat_summary(id), hs->size, hs->nelem, collisions, fill_ratio, hash_quality); |
|---|
| 853 | } |
|---|
| 854 | |
|---|
| 855 | static long test_numhash_count_elems(GB_NUMHASH *hs) { |
|---|
| 856 | return hs->nelem; |
|---|
| 857 | } |
|---|
| 858 | |
|---|
| 859 | static long insert_into_hash(const char *key, long val, void *cl_toHash) { |
|---|
| 860 | GB_HASH *toHash = (GB_HASH*)cl_toHash; |
|---|
| 861 | GBS_write_hash(toHash, key, val); |
|---|
| 862 | return val; |
|---|
| 863 | } |
|---|
| 864 | static long erase_from_hash(const char *key, long val, void *cl_fromHash) { |
|---|
| 865 | GB_HASH *fromHash = (GB_HASH*)cl_fromHash; |
|---|
| 866 | long val2 = GBS_read_hash(fromHash, key); |
|---|
| 867 | |
|---|
| 868 | if (val2 == val) { |
|---|
| 869 | GBS_write_hash(fromHash, key, 0); |
|---|
| 870 | } |
|---|
| 871 | else { |
|---|
| 872 | printf("value mismatch in hashes_are_equal(): key='%s' val: %li != %li\n", key, val2, val); // NEED_NO_COV |
|---|
| 873 | } |
|---|
| 874 | return val; |
|---|
| 875 | } |
|---|
| 876 | |
|---|
| 877 | static bool hashes_are_equal(GB_HASH *h1, GB_HASH *h2) { |
|---|
| 878 | size_t count1 = GBS_hash_elements(h1); |
|---|
| 879 | size_t count2 = GBS_hash_elements(h2); |
|---|
| 880 | |
|---|
| 881 | bool equal = (count1 == count2); |
|---|
| 882 | if (equal) { |
|---|
| 883 | GB_HASH *copy = GBS_create_hash(count1, GB_MIND_CASE); |
|---|
| 884 | |
|---|
| 885 | GBS_hash_do_loop(h1, insert_into_hash, copy); |
|---|
| 886 | GBS_hash_do_loop(h2, erase_from_hash, copy); |
|---|
| 887 | |
|---|
| 888 | equal = (GBS_hash_elements(copy) == 0); |
|---|
| 889 | GBS_free_hash(copy); |
|---|
| 890 | } |
|---|
| 891 | return equal; |
|---|
| 892 | } |
|---|
| 893 | |
|---|
| 894 | struct TestData : virtual Noncopyable { |
|---|
| 895 | GB_HASH *mind; |
|---|
| 896 | GB_HASH *ignore; |
|---|
| 897 | GB_NUMHASH *num; |
|---|
| 898 | |
|---|
| 899 | TestData() { |
|---|
| 900 | mind = GBS_create_hash(100, GB_MIND_CASE); |
|---|
| 901 | ignore = GBS_create_hash(100, GB_IGNORE_CASE); |
|---|
| 902 | num = GBS_create_numhash(100); |
|---|
| 903 | } |
|---|
| 904 | ~TestData() { |
|---|
| 905 | GBS_free_numhash(num); |
|---|
| 906 | GBS_free_hash(ignore); |
|---|
| 907 | GBS_free_hash(mind); |
|---|
| 908 | } |
|---|
| 909 | |
|---|
| 910 | void reset() { |
|---|
| 911 | GBS_erase_hash(mind); |
|---|
| 912 | GBS_erase_hash(ignore); |
|---|
| 913 | GBS_erase_numhash(num); |
|---|
| 914 | } |
|---|
| 915 | |
|---|
| 916 | GB_HASH *get_hash(bool case_sens) { |
|---|
| 917 | return case_sens ? mind : ignore; |
|---|
| 918 | } |
|---|
| 919 | }; |
|---|
| 920 | |
|---|
| 921 | static TestData TEST; |
|---|
| 922 | |
|---|
| 923 | static size_t test_hash_count_value(GB_HASH *hs, long val) { |
|---|
| 924 | size_t hsize = hs->size; |
|---|
| 925 | size_t count = 0; |
|---|
| 926 | |
|---|
| 927 | gb_assert(val != 0); // counting zero values makes no sense (cause these are not stored in the hash) |
|---|
| 928 | |
|---|
| 929 | for (size_t i = 0; i<hsize; ++i) { |
|---|
| 930 | for (gbs_hash_entry *e=hs->entries[i]; e; e=e->next) { |
|---|
| 931 | if (e->val == val) { |
|---|
| 932 | ++count; |
|---|
| 933 | } |
|---|
| 934 | } |
|---|
| 935 | } |
|---|
| 936 | |
|---|
| 937 | return count; |
|---|
| 938 | } |
|---|
| 939 | |
|---|
| 940 | void TEST_GBS_write_hash() { |
|---|
| 941 | TEST.reset(); |
|---|
| 942 | |
|---|
| 943 | for (int case_sens = 0; case_sens <= 1; ++case_sens) { |
|---|
| 944 | GB_HASH *hash = TEST.get_hash(case_sens); |
|---|
| 945 | |
|---|
| 946 | GBS_write_hash(hash, "foo", 1); |
|---|
| 947 | TEST_EXPECT_EQUAL(GBS_hash_elements(hash), 1); |
|---|
| 948 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "foo"), 1); |
|---|
| 949 | |
|---|
| 950 | GBS_write_hash(hash, "foo", 2); |
|---|
| 951 | TEST_EXPECT_EQUAL(GBS_hash_elements(hash), 1); |
|---|
| 952 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "foo"), 2); |
|---|
| 953 | |
|---|
| 954 | GBS_write_hash(hash, "foo", 0); |
|---|
| 955 | TEST_EXPECT_ZERO(GBS_hash_elements(hash)); |
|---|
| 956 | TEST_EXPECT_ZERO(GBS_read_hash(hash, "foo")); |
|---|
| 957 | |
|---|
| 958 | GBS_write_hash(hash, "foo", 1); |
|---|
| 959 | GBS_write_hash(hash, "FOO", 2); |
|---|
| 960 | GBS_write_hash(hash, "BAR", 1); |
|---|
| 961 | GBS_write_hash(hash, "bar", 2); |
|---|
| 962 | |
|---|
| 963 | if (case_sens) { |
|---|
| 964 | TEST_EXPECT_EQUAL(GBS_hash_elements(hash), 4); |
|---|
| 965 | |
|---|
| 966 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "foo"), 1); |
|---|
| 967 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "FOO"), 2); |
|---|
| 968 | TEST_EXPECT_ZERO(GBS_read_hash(hash, "Foo")); |
|---|
| 969 | |
|---|
| 970 | TEST_EXPECT_EQUAL(test_hash_count_value(hash, 1), 2); |
|---|
| 971 | TEST_EXPECT_EQUAL(test_hash_count_value(hash, 2), 2); |
|---|
| 972 | } |
|---|
| 973 | else { |
|---|
| 974 | TEST_EXPECT_EQUAL(GBS_hash_elements(hash), 2); |
|---|
| 975 | |
|---|
| 976 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "foo"), 2); |
|---|
| 977 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "FOO"), 2); |
|---|
| 978 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "Foo"), 2); |
|---|
| 979 | |
|---|
| 980 | TEST_EXPECT_ZERO(test_hash_count_value(hash, 1)); |
|---|
| 981 | TEST_EXPECT_EQUAL(test_hash_count_value(hash, 2), 2); |
|---|
| 982 | } |
|---|
| 983 | |
|---|
| 984 | if (case_sens) { |
|---|
| 985 | TEST_EXPECT_ZERO(GBS_read_hash(hash, "foobar")); |
|---|
| 986 | GBS_write_hash_no_strdup(hash, strdup("foobar"), 0); |
|---|
| 987 | TEST_EXPECT_ZERO(GBS_read_hash(hash, "foobar")); |
|---|
| 988 | GBS_write_hash_no_strdup(hash, strdup("foobar"), 3); |
|---|
| 989 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "foobar"), 3); |
|---|
| 990 | GBS_write_hash_no_strdup(hash, strdup("foobar"), 0); |
|---|
| 991 | TEST_EXPECT_ZERO(GBS_read_hash(hash, "foobar")); |
|---|
| 992 | } |
|---|
| 993 | } |
|---|
| 994 | } |
|---|
| 995 | |
|---|
| 996 | void TEST_GBS_incr_hash() { |
|---|
| 997 | TEST.reset(); |
|---|
| 998 | |
|---|
| 999 | for (int case_sens = 0; case_sens <= 1; ++case_sens) { |
|---|
| 1000 | GB_HASH *hash = TEST.get_hash(case_sens); |
|---|
| 1001 | |
|---|
| 1002 | GBS_incr_hash(hash, "foo"); |
|---|
| 1003 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "foo"), 1); |
|---|
| 1004 | |
|---|
| 1005 | GBS_incr_hash(hash, "foo"); |
|---|
| 1006 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "foo"), 2); |
|---|
| 1007 | |
|---|
| 1008 | GBS_incr_hash(hash, "FOO"); |
|---|
| 1009 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "foo"), case_sens ? 2 : 3); |
|---|
| 1010 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, "FOO"), case_sens ? 1 : 3); |
|---|
| 1011 | } |
|---|
| 1012 | } |
|---|
| 1013 | |
|---|
| 1014 | static void test_string_2_hashtab(GB_HASH *hash, char *data) { |
|---|
| 1015 | // modifies data |
|---|
| 1016 | char *p, *d, *dp; |
|---|
| 1017 | int c; |
|---|
| 1018 | char *nextp; |
|---|
| 1019 | char *str; |
|---|
| 1020 | int strlen; |
|---|
| 1021 | long val; |
|---|
| 1022 | |
|---|
| 1023 | for (p = data; p; p = nextp) { |
|---|
| 1024 | strlen = 0; |
|---|
| 1025 | for (dp = p; (c = *dp); dp++) { |
|---|
| 1026 | if (c==':') { |
|---|
| 1027 | if (dp[1] == ':') dp++; |
|---|
| 1028 | else break; |
|---|
| 1029 | } |
|---|
| 1030 | strlen++; |
|---|
| 1031 | } |
|---|
| 1032 | if (*dp) { |
|---|
| 1033 | nextp = strchr(dp, ' '); |
|---|
| 1034 | if (nextp) nextp++; |
|---|
| 1035 | } |
|---|
| 1036 | else break; |
|---|
| 1037 | |
|---|
| 1038 | str = (char *)GB_calloc(sizeof(char), strlen+1); |
|---|
| 1039 | for (dp = p, d = str; (c = *dp); dp++) { |
|---|
| 1040 | if (c==':') { |
|---|
| 1041 | if (dp[1] == ':') { |
|---|
| 1042 | *(d++) = c; |
|---|
| 1043 | dp++; |
|---|
| 1044 | } |
|---|
| 1045 | else break; |
|---|
| 1046 | } |
|---|
| 1047 | else { |
|---|
| 1048 | *(d++) = c; |
|---|
| 1049 | } |
|---|
| 1050 | } |
|---|
| 1051 | val = atoi(dp+1); |
|---|
| 1052 | GBS_write_hash_no_strdup(hash, str, val); |
|---|
| 1053 | } |
|---|
| 1054 | } |
|---|
| 1055 | |
|---|
| 1056 | void TEST_GBS_hashtab_2_string() { |
|---|
| 1057 | TEST.reset(); |
|---|
| 1058 | |
|---|
| 1059 | for (int case_sens = 0; case_sens <= 1; ++case_sens) { |
|---|
| 1060 | GB_HASH *hash = TEST.get_hash(case_sens); |
|---|
| 1061 | |
|---|
| 1062 | GBS_write_hash(hash, "foo", 1); |
|---|
| 1063 | GBS_write_hash(hash, "bar", 2); |
|---|
| 1064 | GBS_write_hash(hash, "FOO", 3); |
|---|
| 1065 | GBS_write_hash(hash, "BAR", 4); |
|---|
| 1066 | GBS_write_hash(hash, "foo:bar", 3); |
|---|
| 1067 | GBS_write_hash(hash, "FOO:bar", 4); |
|---|
| 1068 | } |
|---|
| 1069 | for (int case_sens = 0; case_sens <= 1; ++case_sens) { |
|---|
| 1070 | GB_HASH *hash = TEST.get_hash(case_sens); |
|---|
| 1071 | |
|---|
| 1072 | char *as_string = GBS_hashtab_2_string(hash); |
|---|
| 1073 | TEST_REJECT_NULL(as_string); |
|---|
| 1074 | |
|---|
| 1075 | GB_HASH *hash2 = GBS_create_hash(1000, case_sens ? GB_MIND_CASE : GB_IGNORE_CASE); |
|---|
| 1076 | test_string_2_hashtab(hash2, as_string); |
|---|
| 1077 | TEST_EXPECT(hashes_are_equal(hash, hash2)); |
|---|
| 1078 | TEST_EXPECT(hashes_are_equal(hash, hash2)); |
|---|
| 1079 | |
|---|
| 1080 | free(as_string); |
|---|
| 1081 | GBS_free_hash(hash2); |
|---|
| 1082 | } |
|---|
| 1083 | |
|---|
| 1084 | { |
|---|
| 1085 | GB_HASH *hash = TEST.get_hash(true); |
|---|
| 1086 | char *as_string = GBS_hashtab_2_string(hash); |
|---|
| 1087 | |
|---|
| 1088 | GB_HASH *hash2 = GBS_create_hash(21, GB_MIND_CASE); |
|---|
| 1089 | GBS_hash_do_sorted_loop(hash, insert_into_hash, GBS_HCF_sortedByKey, hash2); |
|---|
| 1090 | |
|---|
| 1091 | GB_HASH *hash3 = GBS_create_hash(100, GB_MIND_CASE); |
|---|
| 1092 | GBS_hash_do_sorted_loop(hash, insert_into_hash, GBS_HCF_sortedByKey, hash3); |
|---|
| 1093 | |
|---|
| 1094 | char *as_string2 = GBS_hashtab_2_string(hash2); |
|---|
| 1095 | char *as_string3 = GBS_hashtab_2_string(hash3); |
|---|
| 1096 | |
|---|
| 1097 | TEST_EXPECT_EQUAL__BROKEN(as_string, as_string2, "FOO::bar:4 BAR:4 bar:2 foo:1 FOO:3 foo::bar:3 "); |
|---|
| 1098 | TEST_EXPECT_EQUAL (as_string, as_string3); |
|---|
| 1099 | |
|---|
| 1100 | GBS_free_hash(hash3); |
|---|
| 1101 | GBS_free_hash(hash2); |
|---|
| 1102 | |
|---|
| 1103 | free(as_string3); |
|---|
| 1104 | free(as_string2); |
|---|
| 1105 | free(as_string); |
|---|
| 1106 | } |
|---|
| 1107 | } |
|---|
| 1108 | |
|---|
| 1109 | inline long key2val(long key, int pass) { |
|---|
| 1110 | long val; |
|---|
| 1111 | switch (pass) { |
|---|
| 1112 | case 1: |
|---|
| 1113 | val = key/3; |
|---|
| 1114 | break; |
|---|
| 1115 | case 2: |
|---|
| 1116 | val = key*17461; |
|---|
| 1117 | break; |
|---|
| 1118 | default : |
|---|
| 1119 | val = LONG_MIN; |
|---|
| 1120 | TEST_EXPECT(0); // NEED_NO_COV |
|---|
| 1121 | break; |
|---|
| 1122 | } |
|---|
| 1123 | return val; |
|---|
| 1124 | } |
|---|
| 1125 | |
|---|
| 1126 | void TEST_numhash() { |
|---|
| 1127 | GB_NUMHASH *numhash = GBS_create_numhash(10); |
|---|
| 1128 | GB_NUMHASH *numhash2 = GBS_create_numhash(10); |
|---|
| 1129 | |
|---|
| 1130 | const long LOW = -200; |
|---|
| 1131 | const long HIGH = 200; |
|---|
| 1132 | const long STEP = 17; |
|---|
| 1133 | |
|---|
| 1134 | long added = 0; |
|---|
| 1135 | for (int pass = 1; pass <= 2; ++pass) { |
|---|
| 1136 | added = 0; |
|---|
| 1137 | for (long key = LOW; key <= HIGH; key += STEP) { |
|---|
| 1138 | long val = key2val(key, pass); |
|---|
| 1139 | GBS_write_numhash(numhash, key, val); |
|---|
| 1140 | added++; |
|---|
| 1141 | } |
|---|
| 1142 | |
|---|
| 1143 | TEST_EXPECT_EQUAL(test_numhash_count_elems(numhash), added); |
|---|
| 1144 | |
|---|
| 1145 | for (long key = LOW; key <= HIGH; key += STEP) { |
|---|
| 1146 | TEST_EXPECT_EQUAL(key2val(key, pass), GBS_read_numhash(numhash, key)); |
|---|
| 1147 | } |
|---|
| 1148 | } |
|---|
| 1149 | |
|---|
| 1150 | TEST_EXPECT_ZERO(GBS_read_numhash(numhash, -4711)); // not-existing entry |
|---|
| 1151 | |
|---|
| 1152 | // erase by overwrite: |
|---|
| 1153 | for (long key = LOW; key <= HIGH; key += STEP) { |
|---|
| 1154 | GBS_write_numhash(numhash2, key, GBS_read_numhash(numhash, key)); // copy numhash->numhash2 |
|---|
| 1155 | GBS_write_numhash(numhash, key, (long)NULL); |
|---|
| 1156 | } |
|---|
| 1157 | TEST_EXPECT_EQUAL(test_numhash_count_elems(numhash2), added); |
|---|
| 1158 | TEST_EXPECT_ZERO(test_numhash_count_elems(numhash)); |
|---|
| 1159 | |
|---|
| 1160 | GBS_free_numhash(numhash2); // free filled hash |
|---|
| 1161 | GBS_free_numhash(numhash); // free empty hash |
|---|
| 1162 | } |
|---|
| 1163 | |
|---|
| 1164 | |
|---|
| 1165 | static int freeCounter; |
|---|
| 1166 | static void freeDynamicHashElem(long cl_ptr) { |
|---|
| 1167 | GBS_dynaval_free(cl_ptr); |
|---|
| 1168 | freeCounter++; |
|---|
| 1169 | } |
|---|
| 1170 | |
|---|
| 1171 | void TEST_GBS_dynaval_hash() { |
|---|
| 1172 | const int SIZE = 10; |
|---|
| 1173 | const int ELEMS = 30; |
|---|
| 1174 | |
|---|
| 1175 | GB_HASH *dynahash = GBS_create_dynaval_hash(SIZE, GB_MIND_CASE, freeDynamicHashElem); |
|---|
| 1176 | |
|---|
| 1177 | for (int pass = 1; pass <= 2; ++pass) { |
|---|
| 1178 | freeCounter = 0; |
|---|
| 1179 | |
|---|
| 1180 | for (int i = 0; i<ELEMS; ++i) { |
|---|
| 1181 | char *val = GBS_global_string_copy("value %i", i); |
|---|
| 1182 | char *oldval = (char*)GBS_write_hash(dynahash, GBS_global_string("key %i", i), (long)val); |
|---|
| 1183 | free(oldval); |
|---|
| 1184 | } |
|---|
| 1185 | |
|---|
| 1186 | TEST_EXPECT_ZERO(freeCounter); // overwriting values shall not automatically free them |
|---|
| 1187 | } |
|---|
| 1188 | |
|---|
| 1189 | freeCounter = 0; |
|---|
| 1190 | GBS_free_hash(dynahash); |
|---|
| 1191 | TEST_EXPECT_EQUAL(freeCounter, ELEMS); |
|---|
| 1192 | } |
|---|
| 1193 | |
|---|
| 1194 | void TEST_GBS_optimize_hash_and_stats() { |
|---|
| 1195 | const int SIZE = 10; |
|---|
| 1196 | const int FILL = 70; |
|---|
| 1197 | |
|---|
| 1198 | test_clear_hash_statistic_summary("test"); |
|---|
| 1199 | for (int pass = 1; pass <= 3; ++pass) { |
|---|
| 1200 | GB_HASH *hash = GBS_create_hash(SIZE, GB_MIND_CASE); |
|---|
| 1201 | |
|---|
| 1202 | for (int i = 1; i <= FILL; ++i) { |
|---|
| 1203 | const char *key = GBS_global_string("%i", i); |
|---|
| 1204 | GBS_write_hash(hash, key, i); |
|---|
| 1205 | } |
|---|
| 1206 | TEST_EXPECT(hash->nelem > hash->size); // ensure hash is overfilled! |
|---|
| 1207 | |
|---|
| 1208 | switch (pass) { |
|---|
| 1209 | case 1: // nothing, only free overfilled hash below |
|---|
| 1210 | break; |
|---|
| 1211 | case 2: // test overwrite overfilled hash |
|---|
| 1212 | for (int i = 1; i <= FILL; ++i) { |
|---|
| 1213 | const char *key = GBS_global_string("%i", i); |
|---|
| 1214 | |
|---|
| 1215 | TEST_EXPECT_EQUAL(GBS_read_hash(hash, key), i); |
|---|
| 1216 | GBS_write_hash(hash, key, 0); |
|---|
| 1217 | TEST_EXPECT_ZERO(GBS_read_hash(hash, key)); |
|---|
| 1218 | } |
|---|
| 1219 | break; |
|---|
| 1220 | case 3: // test optimize |
|---|
| 1221 | GBS_optimize_hash(hash); |
|---|
| 1222 | TEST_EXPECT_LESS_EQUAL(hash->nelem, hash->size); |
|---|
| 1223 | break; |
|---|
| 1224 | default : |
|---|
| 1225 | TEST_EXPECT(0); // NEED_NO_COV |
|---|
| 1226 | break; |
|---|
| 1227 | } |
|---|
| 1228 | |
|---|
| 1229 | test_calc_hash_statistic(hash, "test", 1); |
|---|
| 1230 | GBS_free_hash(hash); |
|---|
| 1231 | } |
|---|
| 1232 | |
|---|
| 1233 | test_print_hash_statistic_summary("test"); |
|---|
| 1234 | } |
|---|
| 1235 | |
|---|
| 1236 | static bool has_value(const char *, long val, void *cd) { return val == (long)cd; } |
|---|
| 1237 | static bool has_value_greater(const char *, long val, void *cd) { return val > (long)cd; } |
|---|
| 1238 | |
|---|
| 1239 | void TEST_GBS_hash_next_element_that() { |
|---|
| 1240 | TEST.reset(); |
|---|
| 1241 | |
|---|
| 1242 | for (int case_sens = 0; case_sens <= 1; ++case_sens) { |
|---|
| 1243 | GB_HASH *hash = TEST.get_hash(case_sens); |
|---|
| 1244 | |
|---|
| 1245 | GBS_write_hash(hash, "foo", 0); |
|---|
| 1246 | GBS_write_hash(hash, "bar", 1); |
|---|
| 1247 | GBS_write_hash(hash, "foobar", 2); |
|---|
| 1248 | GBS_write_hash(hash, "barfoo", 3); |
|---|
| 1249 | |
|---|
| 1250 | #define READ_REVERSE(value) GBS_hash_next_element_that(hash, NULL, has_value, (void*)value) |
|---|
| 1251 | #define ASSERT_READ_REVERSE_RETURNS(value, expected) TEST_EXPECT_EQUAL((const char *)expected, READ_REVERSE(value)); |
|---|
| 1252 | |
|---|
| 1253 | ASSERT_READ_REVERSE_RETURNS(0, NULL); |
|---|
| 1254 | ASSERT_READ_REVERSE_RETURNS(1, "bar"); |
|---|
| 1255 | ASSERT_READ_REVERSE_RETURNS(2, "foobar"); |
|---|
| 1256 | ASSERT_READ_REVERSE_RETURNS(3, "barfoo"); |
|---|
| 1257 | ASSERT_READ_REVERSE_RETURNS(4, NULL); |
|---|
| 1258 | |
|---|
| 1259 | const char *key = NULL; |
|---|
| 1260 | long sum = 0; |
|---|
| 1261 | |
|---|
| 1262 | for (int iter = 1; iter <= 3; ++iter) { |
|---|
| 1263 | key = GBS_hash_next_element_that(hash, key, has_value_greater, (void*)1); |
|---|
| 1264 | if (iter == 3) TEST_REJECT(key); |
|---|
| 1265 | else { |
|---|
| 1266 | TEST_REJECT_NULL(key); |
|---|
| 1267 | sum += GBS_read_hash(hash, key); |
|---|
| 1268 | } |
|---|
| 1269 | } |
|---|
| 1270 | TEST_EXPECT_EQUAL(sum, 5); // sum of all values > 1 |
|---|
| 1271 | } |
|---|
| 1272 | } |
|---|
| 1273 | |
|---|
| 1274 | const size_t MAX_PRIME = sorted_primes[KNOWN_PRIMES-1]; |
|---|
| 1275 | |
|---|
| 1276 | static size_t get_overflown_prime() { return gbs_get_a_prime(MAX_PRIME+1); } |
|---|
| 1277 | #if defined(ASSERTION_USED) |
|---|
| 1278 | static void detect_prime_overflow() { get_overflown_prime(); } |
|---|
| 1279 | #endif // ASSERTION_USED |
|---|
| 1280 | |
|---|
| 1281 | void TEST_hash_specials() { |
|---|
| 1282 | const size_t SOME_PRIME = 434201; |
|---|
| 1283 | TEST_EXPECT_EQUAL(gbs_get_a_prime(SOME_PRIME), SOME_PRIME); |
|---|
| 1284 | TEST_EXPECT_EQUAL(gbs_get_a_prime(MAX_PRIME), MAX_PRIME); |
|---|
| 1285 | |
|---|
| 1286 | #if defined(ASSERTION_USED) |
|---|
| 1287 | TEST_EXPECT_CODE_ASSERTION_FAILS(detect_prime_overflow); |
|---|
| 1288 | #else |
|---|
| 1289 | TEST_EXPECT_EQUAL(get_overflown_prime(), MAX_PRIME+1); |
|---|
| 1290 | #endif // ASSERTION_USED |
|---|
| 1291 | } |
|---|
| 1292 | |
|---|
| 1293 | #endif // UNIT_TESTS |
|---|
| 1294 | |
|---|
| 1295 | |
|---|
| 1296 | |
|---|