X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9f21f35eadfc5d1f43d3e7a4b591711fd7fb9616..76c70a751b2ef94044ccb57c6c9cff83e0aec728:/src/xbt/dict.cpp diff --git a/src/xbt/dict.cpp b/src/xbt/dict.cpp index 555ecc4035..ce4cc7bb6b 100644 --- a/src/xbt/dict.cpp +++ b/src/xbt/dict.cpp @@ -1,14 +1,13 @@ /* dict - a generic dictionary, variation over hash table */ -/* Copyright (c) 2004-2015. The SimGrid Team. +/* Copyright (c) 2004-2018. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ - -#include -#include +#include +#include #include "xbt/dict.h" #include "xbt/ex.h" @@ -21,28 +20,11 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_dict, xbt, "Dictionaries provide the same functionalities as hash tables"); -/** - * \brief Constructor - * \return pointer to the destination - * \see xbt_dict_new_homogenous(), xbt_dict_free() - * - * Creates and initialize a new dictionary with a default hashtable size. - * The dictionary is heterogeneous: each element can have a different free function. - */ -xbt_dict_t xbt_dict_new() -{ - XBT_WARN("Function xbt_dict_new() will soon be dropped. Please switch to xbt_dict_new_homogeneous()"); - xbt_dict_t dict = xbt_dict_new_homogeneous(nullptr); - dict->homogeneous = 0; - - return dict; -} - /** * \brief Constructor * \param free_ctn function to call with (\a data as argument) when \a data is removed from the dictionary * \return pointer to the destination - * \see xbt_dict_new(), xbt_dict_free() + * \see xbt_dict_free() * * Creates and initialize a new dictionary with a default hashtable size. * The dictionary is homogeneous: each element share the same free function. @@ -60,7 +42,6 @@ xbt_dict_t xbt_dict_new_homogeneous(void_f_pvoid_t free_ctn) dict->table = xbt_new0(xbt_dictelm_t, dict->table_size + 1); dict->count = 0; dict->fill = 0; - dict->homogeneous = 1; return dict; } @@ -73,20 +54,15 @@ xbt_dict_t xbt_dict_new_homogeneous(void_f_pvoid_t free_ctn) */ void xbt_dict_free(xbt_dict_t * dict) { - int i; - xbt_dictelm_t current, previous; - int table_size; - xbt_dictelm_t *table; - - // if ( *dict ) xbt_dict_dump_sizes(*dict); - if (dict != nullptr && *dict != nullptr) { - table_size = (*dict)->table_size; - table = (*dict)->table; + int table_size = (*dict)->table_size; + xbt_dictelm_t* table = (*dict)->table; /* Warning: the size of the table is 'table_size+1'... * This is because table_size is used as a binary mask in xbt_dict_rehash */ - for (i = 0; (*dict)->count && i <= table_size; i++) { - current = table[i]; + for (int i = 0; (*dict)->count && i <= table_size; i++) { + xbt_dictelm_t current = table[i]; + xbt_dictelm_t previous; + while (current != nullptr) { previous = current; current = current->next; @@ -103,7 +79,7 @@ void xbt_dict_free(xbt_dict_t * dict) /** Returns the amount of elements in the dict */ unsigned int xbt_dict_size(xbt_dict_t dict) { - return (dict ? (unsigned int) dict->count : (unsigned int) 0); + return (dict != nullptr ? static_cast(dict->count) : static_cast(0)); } /* Expend the size of the dict */ @@ -114,12 +90,13 @@ static void xbt_dict_rehash(xbt_dict_t dict) xbt_dictelm_t *currcell = (xbt_dictelm_t *) xbt_realloc((char *) dict->table, newsize * sizeof(xbt_dictelm_t)); memset(&currcell[oldsize], 0, oldsize * sizeof(xbt_dictelm_t)); /* zero second half */ - dict->table_size = --newsize; + newsize--; + dict->table_size = newsize; dict->table = currcell; - XBT_DEBUG("REHASH (%d->%d)", oldsize, newsize); + XBT_DEBUG("REHASH (%u->%u)", oldsize, newsize); for (unsigned i = 0; i < oldsize; i++, currcell++) { - if (!*currcell) /* empty cell */ + if (*currcell == nullptr) /* empty cell */ continue; xbt_dictelm_t *twincell = currcell + oldsize; @@ -132,7 +109,7 @@ static void xbt_dict_rehash(xbt_dict_t dict) if ((bucklet->hash_code & newsize) != i) { /* Move to b */ *pprev = bucklet->next; bucklet->next = *twincell; - if (!*twincell) + if (*twincell == nullptr) dict->fill++; *twincell = bucklet; } else { @@ -140,7 +117,7 @@ static void xbt_dict_rehash(xbt_dict_t dict) } } - if (!*currcell) /* everything moved */ + if (*currcell == nullptr) /* everything moved */ dict->fill--; } } @@ -151,17 +128,18 @@ static void xbt_dict_rehash(xbt_dict_t dict) * \param key the key to set the new data * \param key_len the size of the \a key * \param data the data to add in the dict - * \param free_ctn function to call with (\a data as argument) when \a data is removed from the dictionary. This param - * will only be considered when the dict was instantiated with xbt_dict_new() and not xbt_dict_new_homogeneous() + * \param free_ctn unused parameter (kept for compatibility) * * Set the \a data in the structure under the \a key, which can be any kind of data, as long as its length is provided * in \a key_len. */ -void xbt_dict_set_ext(xbt_dict_t dict, const char *key, int key_len, void *data, void_f_pvoid_t free_ctn) +void xbt_dict_set_ext(xbt_dict_t dict, const char* key, int key_len, void* data, + XBT_ATTRIB_UNUSED void_f_pvoid_t free_ctn) { unsigned int hash_code = xbt_str_hash_ext(key, key_len); - xbt_dictelm_t current, previous = nullptr; + xbt_dictelm_t current; + xbt_dictelm_t previous = nullptr; XBT_CDEBUG(xbt_dict, "ADD %.*s hash = %u, size = %d, & = %u", key_len, key, hash_code, dict->table_size, hash_code & dict->table_size); @@ -174,7 +152,7 @@ void xbt_dict_set_ext(xbt_dict_t dict, const char *key, int key_len, void *data, if (current == nullptr) { /* this key doesn't exist yet */ - current = xbt_dictelm_new(dict, key, key_len, hash_code, data, free_ctn); + current = xbt_dictelm_new(key, key_len, hash_code, data); dict->count++; if (previous == nullptr) { dict->table[hash_code & dict->table_size] = current; @@ -188,7 +166,7 @@ void xbt_dict_set_ext(xbt_dict_t dict, const char *key, int key_len, void *data, XBT_CDEBUG(xbt_dict, "Replace %.*s by %.*s under key %.*s", key_len, (char *) current->content, key_len, (char *) data, key_len, (char *) key); /* there is already an element with the same key: overwrite it */ - xbt_dictelm_set_data(dict, current, data, free_ctn); + xbt_dictelm_set_data(dict, current, data); } } @@ -198,8 +176,7 @@ void xbt_dict_set_ext(xbt_dict_t dict, const char *key, int key_len, void *data, * \param dict the dict * \param key the key to set the new data * \param data the data to add in the dict - * \param free_ctn function to call with (\a data as argument) when \a data is removed from the dictionary. This param - * will only be considered when the dict was instantiated with xbt_dict_new() and not xbt_dict_new_homogeneous() + * \param free_ctn unused parameter (kept for compatibility) * * set the \a data in the structure under the \a key, which is anull terminated string. */ @@ -269,12 +246,6 @@ char *xbt_dict_get_key(xbt_dict_t dict, const void *data) return nullptr; } -/** @brief retrieve the key associated to that xbt_dictelm_t. */ -char *xbt_dict_get_elm_key(xbt_dictelm_t elm) -{ - return elm->key; -} - /** * \brief Retrieve data from the dict (null-terminated key) * @@ -359,14 +330,15 @@ void xbt_dict_remove_ext(xbt_dict_t dict, const char *key, int key_len) if (current == nullptr) THROWF(not_found_error, 0, "key %.*s not found", key_len, key); - - if (previous != nullptr) { - previous->next = current->next; - } else { - dict->table[hash_code & dict->table_size] = current->next; + else { + if (previous != nullptr) { + previous->next = current->next; + } else { + dict->table[hash_code & dict->table_size] = current->next; + } } - if (!dict->table[hash_code & dict->table_size]) + if (not dict->table[hash_code & dict->table_size]) dict->fill--; xbt_dictelm_free(dict, current); @@ -416,18 +388,12 @@ int xbt_dict_length(xbt_dict_t dict) return dict->count; } -/** @brief function to be used in xbt_dict_dump as long as the stored values are strings */ -void xbt_dict_dump_output_string(void *s) -{ - fputs((char*) s, stdout); -} - /** * \brief test if the dict is empty or not */ int xbt_dict_is_empty(xbt_dict_t dict) { - return !dict || (xbt_dict_length(dict) == 0); + return not dict || (xbt_dict_length(dict) == 0); } /** @@ -441,11 +407,10 @@ int xbt_dict_is_empty(xbt_dict_t dict) */ void xbt_dict_dump(xbt_dict_t dict, void_f_pvoid_t output) { - int i; xbt_dictelm_t element; printf("Dict %p:\n", dict); if (dict != nullptr) { - for (i = 0; i < dict->table_size; i++) { + for (int i = 0; i < dict->table_size; i++) { element = dict->table[i]; if (element) { printf("[\n"); @@ -465,66 +430,6 @@ void xbt_dict_dump(xbt_dict_t dict, void_f_pvoid_t output) } } -xbt_dynar_t all_sizes = nullptr; -/** @brief shows some debugging info about the bucklet repartition */ -void xbt_dict_dump_sizes(xbt_dict_t dict) -{ - unsigned int count; - unsigned int size; - - printf("Dict %p: %d bucklets, %d used cells (of %d) ", dict, dict->count, dict->fill, dict->table_size); - - if (!dict) { - printf("\n"); - return; - } - xbt_dynar_t sizes = xbt_dynar_new(sizeof(int), nullptr); - - for (int i = 0; i < dict->table_size; i++) { - xbt_dictelm_t element = dict->table[i]; - size = 0; - if (element) { - while (element != nullptr) { - size++; - element = element->next; - } - } - if (xbt_dynar_length(sizes) <= size) { - int prevsize = 1; - xbt_dynar_set(sizes, size, &prevsize); - } else { - int prevsize; - xbt_dynar_get_cpy(sizes, size, &prevsize); - prevsize++; - xbt_dynar_set(sizes, size, &prevsize); - } - } - if (!all_sizes) - all_sizes = xbt_dynar_new(sizeof(int), nullptr); - - xbt_dynar_foreach(sizes, count, size) { - /* Copy values of this one into all_sizes */ - int prevcount; - if (xbt_dynar_length(all_sizes) <= count) { - prevcount = size; - xbt_dynar_set(all_sizes, count, &prevcount); - } else { - xbt_dynar_get_cpy(all_sizes, count, &prevcount); - prevcount += size; - xbt_dynar_set(all_sizes, count, &prevcount); - } - - /* Report current sizes */ - if (count == 0) - continue; - if (size == 0) - continue; - printf("%uelm x %u cells; ", count, size); - } - printf("\n"); - xbt_dynar_free(&sizes); -} - /** * Create the dict mallocators. * This is an internal XBT function called during the lib initialization. @@ -535,9 +440,6 @@ void xbt_dict_preinit() if (dict_elm_mallocator == nullptr) dict_elm_mallocator = xbt_mallocator_new(256, dict_elm_mallocator_new_f, dict_elm_mallocator_free_f, dict_elm_mallocator_reset_f); - if (dict_het_elm_mallocator == nullptr) - dict_het_elm_mallocator = xbt_mallocator_new(256, dict_het_elm_mallocator_new_f, dict_het_elm_mallocator_free_f, - dict_het_elm_mallocator_reset_f); } /** @@ -549,34 +451,15 @@ void xbt_dict_postexit() if (dict_elm_mallocator != nullptr) { xbt_mallocator_free(dict_elm_mallocator); dict_elm_mallocator = nullptr; - xbt_mallocator_free(dict_het_elm_mallocator); - dict_het_elm_mallocator = nullptr; - } - if (all_sizes) { - unsigned int count; - int size; - double avg = 0; - int total_count = 0; - printf("Overall stats:"); - xbt_dynar_foreach(all_sizes, count, size) { - if (count == 0) - continue; - if (size == 0) - continue; - printf("%uelm x %d cells; ", count, size); - avg += count * size; - total_count += size; - } - printf("; %f elm per cell\n", avg / (double) total_count); } } #ifdef SIMGRID_TEST -#include +#include "src/internal_config.h" #include "xbt.h" #include "xbt/ex.h" +#include #include -#include "src/internal_config.h" XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(xbt_dict); @@ -590,7 +473,7 @@ static void debugged_add_ext(xbt_dict_t head, const char* key, const char* data_ xbt_dict_set(head, key, data, nullptr); if (XBT_LOG_ISENABLED(xbt_dict, xbt_log_priority_debug)) { - xbt_dict_dump(head, (void (*)(void *)) &printf); + xbt_dict_dump(head, [](void* s) { fputs((char*)s, stdout); }); fflush(stdout); } } @@ -600,7 +483,7 @@ static void debugged_add(xbt_dict_t head, const char* key) debugged_add_ext(head, key, key); } -static xbt_dict_t new_fixture(void) +static xbt_dict_t new_fixture() { xbt_test_add("Fill in the dictionnary"); @@ -624,10 +507,10 @@ static void search_ext(xbt_dict_t head, const char *key, const char *data) if (data) { xbt_test_assert(found, "data do not match expectations: found nullptr while searching for %s", data); if (found) - xbt_test_assert(!strcmp(data, found), "data do not match expectations: found %s while searching for %s", - found, data); + xbt_test_assert(not strcmp(data, found), "data do not match expectations: found %s while searching for %s", found, + data); } else { - xbt_test_assert(!found, "data do not match expectations: found %s while searching for nullptr", found); + xbt_test_assert(not found, "data do not match expectations: found %s while searching for nullptr", found); } } @@ -640,7 +523,6 @@ static void debugged_remove(xbt_dict_t head, const char* key) { xbt_test_add("Remove '%s'", key); xbt_dict_remove(head, key); - /* xbt_dict_dump(head,(void (*)(void*))&printf); */ } static void traverse(xbt_dict_t head) @@ -651,12 +533,12 @@ static void traverse(xbt_dict_t head) int i = 0; xbt_dict_foreach(head, cursor, key, data) { - if (!key || !data || strcmp(key, data)) { + if (not key || not data || strcmp(key, data)) { xbt_test_log("Seen #%d: %s->%s", ++i, key, data); } else { xbt_test_log("Seen #%d: %s", ++i, key); } - xbt_test_assert(!data || !strcmp(key, data), "Key(%s) != value(%s). Aborting", key, data); + xbt_test_assert(key && data && strcmp(key, data) == 0, "Key(%s) != value(%s). Aborting", key, data); } } @@ -705,7 +587,7 @@ static void count_check_get_key(xbt_dict_t dict, int length) xbt_dict_foreach(dict, cursor, key, data) { effective++; char* key2 = xbt_dict_get_key(dict, data); - xbt_assert(!strcmp(key, key2), "The data was registered under %s instead of %s as expected", key2, key); + xbt_assert(not strcmp(key, key2), "The data was registered under %s instead of %s as expected", key2, key); } xbt_test_assert(effective == length, "Effective length(%d) != %d.", effective, length); @@ -768,8 +650,7 @@ XBT_TEST_UNIT("basic", test_dict_basic, "Basic usage: change, retrieve and trave /* RETRIEVE */ xbt_test_add("Search 123"); char* data = (char*)xbt_dict_get(head, "123"); - xbt_test_assert(data); - xbt_test_assert(!strcmp("123", data)); + xbt_test_assert(data && strcmp("123", data) == 0); search_not_found(head, "Can't be found"); search_not_found(head, "123 Can't be found"); @@ -785,8 +666,6 @@ XBT_TEST_UNIT("basic", test_dict_basic, "Basic usage: change, retrieve and trave xbt_test_add("Traverse the resulting dictionary"); traverse(head); - /* xbt_dict_dump(head,(void (*)(void*))&printf); */ - xbt_test_add("Free the dictionary twice"); xbt_dict_free(&head); xbt_dict_free(&head); @@ -876,13 +755,13 @@ XBT_TEST_UNIT("nulldata", test_dict_nulldata, "nullptr data management") char* data; xbt_dict_foreach(head, cursor, key, data) { - if (!key || !data || strcmp(key, data)) { + if (not key || not data || strcmp(key, data)) { xbt_test_log("Seen: %s->%s", key, data); } else { xbt_test_log("Seen: %s", key); } - if (!strcmp(key, "null")) + if (key && strcmp(key, "null") == 0) found = 1; } xbt_test_assert(found, "the key 'null', associated to nullptr is not found"); @@ -914,7 +793,6 @@ XBT_TEST_UNIT("crash", test_dict_crash, "Crash test") xbt_test_log("Fill the struct, count its elems and frees the structure"); xbt_test_log("using 1000 elements with %d chars long randomized keys.", SIZEOFKEY); xbt_dict_t head = xbt_dict_new_homogeneous(free); - /* if (i%10) printf("."); else printf("%d",i/10); fflush(stdout); */ for (int j = 0; j < 1000; j++) { char* data = nullptr; char* key = (char*)xbt_malloc(SIZEOFKEY); @@ -923,17 +801,15 @@ XBT_TEST_UNIT("crash", test_dict_crash, "Crash test") for (int k = 0; k < SIZEOFKEY - 1; k++) key[k] = rand() % ('z' - 'a') + 'a'; key[SIZEOFKEY - 1] = '\0'; - /* printf("[%d %s]\n",j,key); */ data = (char*) xbt_dict_get_or_null(head, key); } while (data != nullptr); xbt_dict_set(head, key, key, nullptr); data = (char*) xbt_dict_get(head, key); - xbt_test_assert(!strcmp(key, data), "Retrieved value (%s) != Injected value (%s)", key, data); + xbt_test_assert(not strcmp(key, data), "Retrieved value (%s) != Injected value (%s)", key, data); count(head, j + 1); } - /* xbt_dict_dump(head,(void (*)(void*))&printf); */ traverse(head); xbt_dict_free(&head); xbt_dict_free(&head); @@ -942,13 +818,11 @@ XBT_TEST_UNIT("crash", test_dict_crash, "Crash test") xbt_dict_t head = xbt_dict_new_homogeneous(&free); xbt_test_add("Fill %d elements, with keys being the number of element", NB_ELM); for (int j = 0; j < NB_ELM; j++) { - /* if (!(j%1000)) { printf("."); fflush(stdout); } */ char* key = (char*)xbt_malloc(10); snprintf(key,10, "%d", j); xbt_dict_set(head, key, key, nullptr); } - /*xbt_dict_dump(head,(void (*)(void*))&printf); */ xbt_test_add("Count the elements (retrieving the key and data for each)"); xbt_test_log("There is %d elements", countelems(head)); @@ -956,13 +830,12 @@ XBT_TEST_UNIT("crash", test_dict_crash, "Crash test") xbt_test_add("Search my %d elements 20 times", NB_ELM); char* key = (char*)xbt_malloc(10); for (int i = 0; i < 20; i++) { - /* if (i%10) printf("."); else printf("%d",i/10); fflush(stdout); */ for (int j = 0; j < NB_ELM; j++) { snprintf(key,10, "%d", j); void* data = xbt_dict_get(head, key); - xbt_test_assert(!strcmp(key, (char *) data), "with get, key=%s != data=%s", key, (char *) data); + xbt_test_assert(not strcmp(key, (char*)data), "with get, key=%s != data=%s", key, (char*)data); data = xbt_dict_get_ext(head, key, strlen(key)); - xbt_test_assert(!strcmp(key, (char *) data), "with get_ext, key=%s != data=%s", key, (char *) data); + xbt_test_assert(not strcmp(key, (char*)data), "with get_ext, key=%s != data=%s", key, (char*)data); } } free(key); @@ -970,7 +843,6 @@ XBT_TEST_UNIT("crash", test_dict_crash, "Crash test") xbt_test_add("Remove my %d elements", NB_ELM); key = (char*) xbt_malloc(10); for (int j = 0; j < NB_ELM; j++) { - /* if (!(j%10000)) printf("."); fflush(stdout); */ snprintf(key,10, "%d", j); xbt_dict_remove(head, key); }