Dotaz: Pomoc s malloc

[Cunha]

Zdravím,

mohl by mi prosím někdo říct, kde mám chybu ve svém kódu? Čas od času to vyhodí segmentation fault a nejsem schopný říct proč. Po otestování mám pocit, že to dělá přímo ten malloc, ale proč?

Díky

int hash_control(char * filename) {
    char *comd, *hash_file_name;
    char * md5 = "md5sum --status -c ";
    char * ext = ".hash";
    int ret = 0;
    if (_PAXOS_DEBUG) printf("Hash control started\n");
    hash_file_name = (char *) malloc((strlen(filename) + strlen(ext) + 1) * sizeof (char));
    bzero(hash_file_name, (strlen(filename) + strlen(ext) + 1) * sizeof (char));
    if (!hash_file_name) {
        perror("Opening log hash file");
        goto err;
    }
    sprintf(hash_file_name, "%s%s", filename, ext);
    comd = (char *) malloc((strlen(md5) + strlen(hash_file_name) + 1) * sizeof (char));
    bzero(comd, (strlen(md5) + strlen(hash_file_name) + 1) * sizeof (char));
    if (!comd) {
        ret = -1;
        goto err;
    }

    sprintf(comd, "%s%s", md5, hash_file_name);

    ret = system(comd);
    if (ret != 0) {
        goto err;
    }

err:
    if (hash_file_name != NULL) free(hash_file_name);
    if (comd != NULL) free(comd);
    if (ret != 0) perror("Load and hash");

    return ret;
}

 

Odpovědi

[Vinicius]

Určitě to bude kanón na vrabce ,ale pomohl by program valgrind, který mimo jiné umí zkontrolovat leaky a sahání na neinicializované proměnné.

[petr_p]

Vůbec nekontrolujete, jestli se podařil malloc(). Dál bych doporučil vyhodit bzero(), protože tam nemá vůbec žádný smysl (kromě toho by se místo něj mělo používat memset(3)). A nakonec chyba vůbec nemusí být ve vaší funkci. Klidně argument filename muže být ten viník.

[Zadavam sve jmeno]

1) Pokud nektery malloc selze, fce bzero se vola na nulovy pointer.

2) V pripade, ze bzero bude odstraneno, tak muze nastat druhy problem - promenne comd a hash_file_name nejsou nastaveny na hodnotu NULL. Pokud selze prvni malloc, vola se free i na promennou comd, ktera ma v te chvili nedefinovanou hodnotu ==> nepredvidatelne chovani, koncici SIGSEGV.

Je ovsem take mozne, ze jsem se spatne podival

[Jardík]

Už tohle:

char * md5 = "md5sum --status -c ";
char * ext = ".hash";

je špatně, správně to má být const char*, ale to je pouze jen taková prasárna a není to pravděpodobně zdroj vašeho problému.

Jak již někdo řekl, problémem může být malloc a bzero, doporučiji comd inicializovat na 0, to může být další problém.

sprintf ke spojení dvou řetězců je fuj. Použij fce na koupírování paměti a hlavně nezapomeň na ukončovací nulu. Samé strlen zdržuje, zavolej to radši jednou a někam ten výsledek ulož a pak použij.

goto ... no dobře, je to C, tak to ještě chápu.

[Ladicek]

goto je v Céčku pro ošetřování chyb úplně normální postup, co bys chtěl od přenositelného assembleru?

[Deleted [8409]]

1) Nebylo by lepsi misto kombinace malloc() a bzero() pouzit calloc() ?

2) Ten kod neni vubec efektivne napsany, ale o to v tomto pripade asi vubec nejde:)

3) Pokud na konci testujete 'comd' a 'hash_file_name', bylo by dobre je nastavit hned v deklaraci na NULL v pripade, ze by malloc() opravdu selhal, protoze pokud se tak stane, muzete zavolat free() s neplatnym ukazatelem.

[pht]

4) "kontrola hashe" se anglicky nerekne "hash control"

[Jirka]

Tipuji, že to nedělá malloc, ale free. Zkuste vyhodit free a uvidíte.

Co používáte za kompilátor a OS?

Co hlášky z debuggeru gdb apod?

[Cunha]

Upravil jsem kód podle komentářů výše. Zkusil jsem valgrind a ten mi pise, ze chyba vznikla na prvním 'malloc'. Zkoušel jsem na Ubuntu 8.10, Lenny a Fedora 9 přes 'gcc'. Vstupní argument je v daném bodě "const char", tak opravdu nevím, co se děje.

[petr_p]

Vstupní argument je v daném bodě "const char"

O typ nejde. Jde o to, aby vstupní argument vaší funkce nebyl NULL, a aby paměť, kam ukazuje byla skutečně naalokovaná a to až do místa (včetně), kde se nachází ukončující '\0'.

Uvěďte sem upravený kód a hodnotu argumentu, na které to padá.

[Cunha]

Funkce:

int hash_control(char * filename) {
    char *comd = NULL, *hash_file_name = NULL;
    const char * md5 = "md5sum -c ";
    const char * ext = ".hash";
    int ret = 0, size = 0;

    size = (strlen(filename) + strlen(ext) + 2) * sizeof (char);
    hash_file_name = (char *) malloc(size);
    if (!hash_file_name) {
        perror("Opening log hash file");
        goto err;
    }
    memset(hash_file_name, 0, size);
    sprintf(hash_file_name, "%s%s", filename, ext);
    size = (strlen(md5) + strlen(hash_file_name) + 2) * sizeof (char);
    comd = (char *) malloc(size);
    if (!comd) {
        ret = -1;
        goto err;
    }
    memset(comd, 0, size);

    sprintf(comd, "%s%s", md5, hash_file_name);

    ret = system(comd);
    if (ret != 0) {
        goto err;
    }

err:
    if (hash_file_name != NULL) free(hash_file_name);
    if (comd != NULL) free(comd);
    if (ret != 0) perror("Load and hash");

    return ret;
}

 

Tady se to volá:

#define PAXOS_LOG_FILE "file.log"

....

filename = PAXOS_LOG_FILE;

...

hash_ret = hash_control(filename);

....

 

Je možné, aby to bylo způsobené nedostatkem paměti?

[petr_p]

Tak, jak to je, by to mělo fungovat.

Sice by bylo dobré na začátku hash_control() testovat, zda-li filename != NULL, a chybová hlášení by šlo vylepšit (volat po druhé perror() je nespolehlivé) a taky při počítání délky by stačilo +1 místo +2 a vyhodit zbytečné memset()y by šlo, ale v principu by to nemělo nikde padat.

Jedině, že byste používal vlákna a třeba mezi malloc() a sprintf() by vám někdo přepsal filename.

Pak taky, kdybyste měl špatnou libc, tak by to mohlo padnout někdě uvnitř perror() nebo sprinf(), ale tyhle funkce by se ve vašem případě měly obejít bez dalšího alokování.

A ještě by se mohlo stát, že vám došel zásobník. Na to standardně taky dostanete SIGSEGV.

[Deleted [8409]]

Podle mě je to způsobené na jiném místě v programu. Pokud programujete tak, jak jste ukázal váš první zdroják, tak bych se tomu moc nedivil. Ono stačí někde blbě přepsat místo v paměti a pak vám může udělat chybu i malloc(), nebo free() nebo klidně i ten perror().

Doporučuju nástroj valgrind, ten vám může pomoct odhalit místa v programu, kde přistupujete k neinicializované paměti. Můžete si zkusit program i krokovat a dívat se, jak se mění hodnoty vašich proměnných, jestli někde náhodou nepřepisujete třeba zásobník, atd :)

Pokud máte Windows a Visual Studio, tak můžete zkusit program zkompilovat i tam, můžete si zapnout automatickou kontrolu stavu zásobníku a třeba i tato blbost vám pomůže.

Osobně bych se vás nechtěl nějak dotknout, ale vážně by mě zajímalo, jestli si dovedete představit, co provádí funkce sprintf() a memset(). Píšu to, protože ty memsety jsou úplně zbytečné.

Pokud bych šel ještě dál, tak si můžete napsat nějakou funkci na to alokování místa v paměti pro 2 řetězce a jejich zkopírování.

char* combine_str(const char* a, const char* b)
{
  size_t alen = strlen(a);
  size_t blen = strlen(b);
  size_t rlen = alen + blen;

  char* result = malloc(rlen + 1);
  if (!result) return NULL;

  memcpy(result, a, alen);
  memcpy(result + alen, b, blen);
  result[rlen] = '\0';

  return result;
}

Přeju hodně štěstí v hledání té mouchy

[Ladicek]

Můžete si zkusit program i krokovat a dívat se, jak se mění hodnoty vašich proměnných, jestli někde náhodou nepřepisujete třeba zásobník, atd :)

Tenhle přístup má jednu vadu. Chyba se obvykle neprojeví

[Deleted [8409]]

Jsem to špatně napsal, každopádně krokováním nic nezkazí

[Bluebear]

Pokud je to na Linuxu a není třeba uvažovat o přenositelnosti, tak lze výhodně použít GNU rozšíření asprintf() a pak by mělo stačit něco jako (POZOR, NEZKOUŠEL JSEM - je to jen hrubá idea):

#define _GNU_SOURCE
#include <string.h>

/* ... */

int hash_control(char * filename) {
    char * comd = NULL;
    int ret;

    ret = asprintf(&comd, "md5sum -c %s.hash", filename);
    if (ret <= 0) {
        perror("asprintf()");
        return -1;
    }

    ret = system(comd);
    free(comd);

    if (ret != 0) {
        perror("Load and hash");
    }

    return ret;
}

[Michal Kubeček]

Pokud potřebujete vědět, kde a za jakých okolností program spadne, a v debuggeru se to odkrokovat nedá, obvyklý postup je povolit core dump (ulimit -c unlimited), nechat program spadnout a v gdb si otevřít ten core dump (příkaz core-dump). Místo gdb lze použí i pohodlnější nadstavby, např. ddd nebo kdbg.

[mity]

Ja bych zacal ujistenim, ze do te funkce jde rozumny vstup. Co kydz to kiksne uz na strlen(filename)?