Ошибка сегментации UTHash при изменении примера с использованием структуры в качестве ключа - PullRequest
Новая
       26

Ошибка сегментации UTHash при изменении примера с использованием структуры в качестве ключа

0 голосов
/ 06 декабря 2018

Я пытаюсь использовать UTHash, изменяя пример Стандартных типов ключей, пример Struct Keys для моих целей, показанных по следующей ссылке: 

https://troydhanson.github.io/uthash/userguide.html#_structure_keys

Вот мой модифицированный код (урезанный, чтобы показать, гдеЯ выделил проблему следующим образом: 

#include <stdlib.h>
#include <stdio.h>
#include <stdbool.h>
#include "uthash.h"

typedef struct StateKey
{
    // array of bools that gives the instances that are present.
    bool *instancesAtNode_BoolArray;

} t_StateKey;


typedef struct State
{
    // State Key.  
    t_StateKey stateKey_StateKey;

    // probability of being in the given state
    double p;

    // UTHash handle array used for hashing 
    UT_hash_handle hh;

} t_State;

int main(int argc, char *argv[]) {

    double a = .80;
    double b = .2;     
    double c = .1;     
    //double d = .7;    

    t_State *state, *stateHead, *toFind = NULL;
    state = (t_State *) malloc(sizeof(t_State));
    memset(state, 0, sizeof(t_State));
    state->stateKey_StateKey.instancesAtNode_BoolArray = NULL;
    state->p = 1;

    HASH_ADD(hh, stateHead, stateKey_StateKey, sizeof(t_StateKey), state);

    return 0;
}

Обратите внимание, что в основном я закомментировал переменную d.Выполнение кода, приведенного ниже, не создает проблем, но в тот момент, когда я раскомментирую код, возникает ошибка сегментации.Для меня это указывает на то, что происходит такая ошибка, что ОС начинает работать только тогда, когда код имеет определенный размер / организацию (именно поэтому комментирование, казалось бы, не связанной переменной предотвращает ошибку).

Я в растерянности относительно того, что я делаю неправильно, так как я следую примеру, как он дан, насколько я могу судить.Глядя на Valgrind, я получаю следующее 

==94553== Conditional jump or move depends on uninitialised value(s)
==94553==    at 0x10000195F: main (testNewMcUniverseMain.c:40)
==94553==  Uninitialised value was created by a stack allocation
==94553==    at 0x7FFF5FC01036: _dyld_start (in /usr/lib/dyld)
==94553== 
==94553== Use of uninitialised value of size 8
==94553==    at 0x100001A9F: main (testNewMcUniverseMain.c:40)
==94553==  Uninitialised value was created by a stack allocation
==94553==    at 0x7FFF5FC01036: _dyld_start (in /usr/lib/dyld)
==94553== 
==94553== Use of uninitialised value of size 8
==94553==    at 0x100001ABF: main (testNewMcUniverseMain.c:40)
==94553==  Uninitialised value was created by a stack allocation
==94553==    at 0x7FFF5FC01036: _dyld_start (in /usr/lib/dyld)
==94553== 
==94553== Use of uninitialised value of size 8
==94553==    at 0x100001ACB: main (testNewMcUniverseMain.c:40)
==94553==  Uninitialised value was created by a stack allocation
==94553==    at 0x7FFF5FC01036: _dyld_start (in /usr/lib/dyld)
==94553== 
==94553== Use of uninitialised value of size 8
==94553==    at 0x100001AE6: main (testNewMcUniverseMain.c:40)
==94553==  Uninitialised value was created by a stack allocation
==94553==    at 0x7FFF5FC01036: _dyld_start (in /usr/lib/dyld)
==94553== 
==94553== Invalid write of size 8
==94553==    at 0x100001AEE: main (testNewMcUniverseMain.c:40)
==94553==  Address 0x5400313d524f4c5f is not stack'd, malloc'd or 
(recently) free'd
==94553== 
==94553== Signal 11 being dropped from thread 0's queue
==94553== Signal 11 being dropped from thread 0's queue
==94553== Signal 11 being dropped from thread 0's queue
==94553== Signal 11 being dropped from thread 0's queue

(Repeats this line forever, I had to kill the terminal)

Я делаю что-то не так или это проблема с UTHash?Если это UTHash, то какую еще библиотеку хеш-таблиц я мог бы использовать для C (не C ++)?

Для простоты я скопировал код примера UTHash из источника, который я привел ниже 

#include <stdlib.h>
#include <stdio.h>
#include "uthash.h"

typedef struct {
  char a;
  int b;
}     record_key_t;

typedef struct {
    record_key_t key;
    /* ... other data ... */
    UT_hash_handle hh;
} record_t;

int main(int argc, char *argv[]) {
    record_t l, *p, *r, *tmp, *records = NULL;

    r = (record_t *)malloc(sizeof *r);
    memset(r, 0, sizeof *r);
    r->key.a = 'a';
    r->key.b = 1;
    HASH_ADD(hh, records, key, sizeof(record_key_t), r);

    memset(&l, 0, sizeof(record_t));
    l.key.a = 'a';
    l.key.b = 1;
    HASH_FIND(hh, records, &l.key, sizeof(record_key_t), p);

    if (p) printf("found %c %d\n", p->key.a, p->key.b);

    HASH_ITER(hh, records, p, tmp) {
       HASH_DEL(records, p);
       free(p);
    }
    return 0;
}

1 Ответ

0 голосов
/ 06 декабря 2018

У меня был дурак.

Из примера 

record_t l, *p, *r, *tmp, *records = NULL;

инициализирует ТОЛЬКО записи, которые будут нулевыми.Так как UTHash требует инициализации «head» (в данном случае записей) для обнуления, этот пример работает.В моем примере заголовок «stateHead» и не инициализируется нулем.По какой-то причине я решил, что 

t_State *state, *stateHead, *toFind = NULL;

устанавливает все эти указатели на ноль (не так, как работает C).

...