如何解决Valgrind：内存泄漏发生在哪里？
我一直在尝试编写一个拼写检查程序，该程序需要一个字典和一个文本文件来尽快找到拼写错误的单词。除了 Valgrind 给我超过 1000000 个错误之外，第一个版本似乎可以工作（虽然很慢）！我不知道出了什么问题，只是有些事情非常糟糕。我想知道为什么会这样。
拼写器（由 CS50 提供）：
// Implements a spell-checker by CS50
#include <ctype.h>
#include <stdio.h>
#include <sys/resource.h>
#include <sys/time.h>
#include "dictionary.h"
// Undefine any deFinitions
#undef calculate
#undef getrusage
// Default dictionary
#define DICTIONARY "dictionaries/large"
// Prototype
double calculate(const struct rusage *b,const struct rusage *a);
int main(int argc,char *argv[])
{
// Check for correct number of args
if (argc != 2 && argc != 3)
{
printf("Usage: ./speller [DICTIONARY] text\n");
return 1;
}
// Structures for timing data
struct rusage before,after;
// Benchmarks
double time_load = 0.0,time_check = 0.0,time_size = 0.0,time_unload = 0.0;
// Determine dictionary to use
char *dictionary = (argc == 3) ? argv[1] : DICTIONARY;
// Load dictionary
getrusage(RUSAGE_SELF,&before);
bool loaded = load(dictionary);
getrusage(RUSAGE_SELF,&after);
// Exit if dictionary not loaded
if (!loaded)
{
printf("Could not load %s.\n",dictionary);
return 1;
}
// Calculate time to load dictionary
time_load = calculate(&before,&after);
// Try to open text
char *text = (argc == 3) ? argv[2] : argv[1];
FILE *file = fopen(text,"r");
if (file == NULL)
{
printf("Could not open %s.\n",text);
unload();
return 1;
}
// Prepare to report misspellings
printf("\nMIsspELLED WORDS\n\n");
// Prepare to spell-check
int index = 0,misspellings = 0,words = 0;
char word[LENGTH + 1];
// Spell-check each word in text
char c;
while (fread(&c,sizeof(char),1,file))
{
// Allow only alphabetical characters and apostrophes
if (isalpha(c) || (c == '\'' && index > 0))
{
// Append character to word
word[index] = c;
index++;
// Ignore alphabetical strings too long to be words
if (index > LENGTH)
{
// Consume remainder of alphabetical string
while (fread(&c,file) && isalpha(c));
// Prepare for new word
index = 0;
}
}
// Ignore words with numbers (like MS Word can)
else if (isdigit(c))
{
// Consume remainder of alphanumeric string
while (fread(&c,file) && isalnum(c));
// Prepare for new word
index = 0;
}
// We must have found a whole word
else if (index > 0)
{
// Terminate current word
word[index] = '\0';
// Update counter
words++;
// Check word's spelling
getrusage(RUSAGE_SELF,&before);
bool misspelled = !check(word);
getrusage(RUSAGE_SELF,&after);
// Update benchmark
time_check += calculate(&before,&after);
// Print word if misspelled
if (misspelled)
{
printf("%s\n",word);
misspellings++;
}
// Prepare for next word
index = 0;
}
}
// Check whether there was an error
if (ferror(file))
{
fclose(file);
printf("Error reading %s.\n",text);
unload();
return 1;
}
// Close text
fclose(file);
// Determine dictionary's size
getrusage(RUSAGE_SELF,&before);
unsigned int n = size();
getrusage(RUSAGE_SELF,&after);
// Calculate time to determine dictionary's size
time_size = calculate(&before,&after);
// Unload dictionary
getrusage(RUSAGE_SELF,&before);
bool unloaded = unload();
getrusage(RUSAGE_SELF,&after);
// Abort if dictionary not unloaded
if (!unloaded)
{
printf("Could not unload %s.\n",dictionary);
return 1;
}
// Calculate time to unload dictionary
time_unload = calculate(&before,&after);
// Report benchmarks
printf("\nWORDS MIsspELLED: %d\n",misspellings);
printf("WORDS IN DICTIONARY: %d\n",n);
printf("WORDS IN TEXT: %d\n",words);
printf("TIME IN load: %.2f\n",time_load);
printf("TIME IN check: %.2f\n",time_check);
printf("TIME IN size: %.2f\n",time_size);
printf("TIME IN unload: %.2f\n",time_unload);
printf("TIME IN TOTAL: %.2f\n\n",time_load + time_check + time_size + time_unload);
// Success
return 0;
}
// Returns number of seconds between b and a
double calculate(const struct rusage *b,const struct rusage *a)
{
if (b == NULL || a == NULL)
{
return 0.0;
}
else
{
return ((((a->ru_utime.tv_sec * 1000000 + a->ru_utime.tv_usec) -
(b->ru_utime.tv_sec * 1000000 + b->ru_utime.tv_usec)) +
((a->ru_stime.tv_sec * 1000000 + a->ru_stime.tv_usec) -
(b->ru_stime.tv_sec * 1000000 + b->ru_stime.tv_usec)))
/ 1000000.0);
}
}
字典上传等操作（由我）：
// Implements a dictionary's functionality
#include <stdbool.h>
#include <errno.h>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <ctype.h>
#include "dictionary.h"
// Represents a node in a hash table
typedef struct node
{
char word[LENGTH + 1];
struct node *next;
}
node;
// Number of buckets in hash table
const unsigned long long int N = 50;
// Hash table
node *table[N];
// Returns true if word is in dictionary,else false
bool check(const char *word)
{
char temp_w[LENGTH];
unsigned int key = hash(word);
for(node *temp = table[key]; temp != NULL; temp = temp->next)
{
for(int i = 0; i < LENGTH; i++)
{
temp_w[i] = tolower(word[i]);
}
if(strcmp(temp->word,temp_w) == 0)
{
return true;
}
}
return false;
}
// Hashes word to a number
unsigned int hash(const char *word) //Hashed using djb2
{
unsigned long hash = 5381;
int c = *word;
c = tolower(c);
while (*word != 0)
{
hash = ((hash << 5) + hash) + c;
c = *word++;
c = tolower(c);
}
return hash % N;
}
// Loads dictionary into memory,returning true if successful,else false
bool load(const char *dictionary)
{
char str[LENGTH];
char counter[1] = "0";
FILE *dict = fopen(dictionary,"r");
node *temp = NULL;
if(dict == NULL)
{
//printf("Error: \n",strerror(errno));
return false;
}
for(int i = 0; i < N; i++)
{
table[i] = NULL;
}
while(fscanf(dict,"%s",str) == 1)
{
unsigned int key = hash(str);
//int key = rand();
temp = malloc(sizeof(node));
if(temp == NULL)
{
return false;
}
if(table[key] == NULL)
{
table[key] = malloc(sizeof(node));
table[key]->next = NULL;
strcpy(table[key]->word,str);
}
else //if(table[key]->next != NULL)
{
temp->next = table[key];
strcpy(temp->word,str);
table[key] = temp;
}
}
fclose(dict);
return true;
}
// Returns number of words in dictionary if loaded,else 0 if not yet loaded
unsigned int size(void)
{
long long int words = 0;
for(int i = 0; i < N; i++)
{
/*if(strcmp(table[i]->word,"0") != 0 && table[i]->next == NULL)
{
words++;
continue;
}
else*/
if(table[i] != NULL)
{
for(node *temp = table[i]; temp != NULL; temp = temp -> next)
{
words++;
}
}
}
return words;
}
// Unloads dictionary from memory,else false
bool unload(void)
{
node *temp1 = NULL;
node *temp2 = NULL;
for(int i = 0; i < N; i++)
{
temp1 = table[i];
while(temp1 != NULL)
{
if(temp1->next != NULL)
{
temp2 = temp1 -> next;
free(temp1);
temp1 = temp2;
}
else free(temp1);
}
free(temp2);
free(table[i]);
}
return true;
}
Valgrind 错误信息：
~/pset5/speller/ $ valgrind ./speller texts/constitution.txt
==472== Memcheck,a memory error detector
==472== copyright (C) 2002-2017,and GNU GPL'd,by Julian Seward et al.
==472== Using Valgrind-3.15.0 and LibVEX; rerun with -h for copyright info
==472== Command: ./speller texts/constitution.txt
==472==
MIsspELLED WORDS
==472== Conditional jump or move depends on uninitialised value(s)
==472== at 0x49D9143: tolower (ctype.c:46)
==472== by 0x4019E5: check (dictionary.c:35)
==472== by 0x4015FB: main (speller.c:114)
==472== Uninitialised value was created by a stack allocation
==472== at 0x4011F4: main (speller.c:21)
==472==
==472== Use of uninitialised value of size 8
==472== at 0x49D9157: tolower (ctype.c:46)
==472== by 0x49D9157: tolower (ctype.c:44)
==472== by 0x4019E5: check (dictionary.c:35)
==472== by 0x4015FB: main (speller.c:114)
==472== Uninitialised value was created by a stack allocation
==472== at 0x4011F4: main (speller.c:21)
==472==
USConstitution
http
usconstitution
const
html
==472== Invalid read of size 8
==472== at 0x401D4C: unload (dictionary.c:139)
==472== by 0x401758: main (speller.c:154)
==472== Address 0x4b9cd50 is 48 bytes inside a block of size 56 free'd
==472== at 0x483CA3F: free (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==472== by 0x401D87: unload (dictionary.c:145)
==472== by 0x401758: main (speller.c:154)
==472== Block was alloc'd at
==472== at 0x483B7F3: malloc (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==472== by 0x401BCE: load (dictionary.c:90)
==472== by 0x4012BE: main (speller.c:40)
==472==
==472== Invalid free() / delete / delete[] / realloc()
==472== at 0x483CA3F: free (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==472== by 0x401D87: unload (dictionary.c:145)
==472== by 0x401758: main (speller.c:154)
==472== Address 0x4b9cd20 is 0 bytes inside a block of size 56 free'd
==472== at 0x483CA3F: free (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==472== by 0x401D87: unload (dictionary.c:145)
==472== by 0x401758: main (speller.c:154)
==472== Block was alloc'd at
==472== at 0x483B7F3: malloc (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==472== by 0x401BCE: load (dictionary.c:90)
==472== by 0x4012BE: main (speller.c:40)
==472==
==472==
==472== More than 10000000 total errors detected. I'm not reporting any more.
==472== Final error counts will be inaccurate. Go fix your program!
==472== Rerun with --error-limit=no to disable this cutoff. Note
==472== that errors may occur in your program without prior warning from
==472== Valgrind,because errors are no longer being displayed.
==472==
我想知道为什么会发生这种情况以及如何解决。
编辑：
添加了dictionary.h：
// Declares a dictionary's functionality
#ifndef DICTIONARY_H
#define DICTIONARY_H
#include <stdbool.h>
// Maximum length for a word
// (e.g.,pneumonoultramicroscopicsilicovolcanoconiosis)
#define LENGTH 45
// Prototypes
bool check(const char *word);
unsigned int hash(const char *word);
bool load(const char *dictionary);
unsigned int size(void);
bool unload(void);
#endif // DICTIONARY_H
解决方法
到目前为止，我发现的唯一一件事是您在 temp2 中释放了 unload()，而您显然已经通过在 temp1 调用 free 来释放它。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
