Segfault我发现自己无法诊断。
我有一个基准函数chrono
,它接收指向随机生成的字符串的指针的数组strings
,以及相应的sizes
的数组。对于调试,我打印strings
(指向指针的指针)、strings[1]
(其中一个)和sizes
(指针)。(当然,我也在chrono
中打印了一些字符串,并在生成它们的func中与它们的原始内容进行比较:到目前为止一切都很好。)要进行基准测试的是一个将一组字符串馈送到字符串池中的func:
void pool_store_pack (StringPool * pool,
char ** strings, size_t * sizes, uint n_new);
为了调试,我在pool_store_pack中打印相同的数据。价值观是不同的。strings
已经改变,并且strings[1]
和sizes
都为空。以下是输出示例:
strings:0x9842fa8 (n°1:0x984200c)
sizes:0x9843f48
some strings: `@PR` `MOB` `TBQ`
strings:0x804a824 (n°1:(nil))
sizes:(nil)
segmentation fault (core dumped)
我曾试图将这个bug简化为一个更简单的形式,但它之所以困难,正是因为驱动自主库的是测试代码,而不是应用程序代码。当我试图从头开始重现这个bug时,我只得到了预期的指针,以及接收函数和发送函数中具有相同值的指针。但是,如果有帮助的话,我可以发布3个相关函数的代码(但您将无法运行它,因为它只驱动其他函数)。
我肯定错过了一个明显的要点,但看不见,被阻止和沮丧了几个小时;-)你能帮忙吗?
编辑:所以,这里是整个代码涉及:
/* Put pack of strings in pool.
*/
void pool_store_pack (StringPool * pool,
char ** strings, size_t * sizes, uint n_new) {
pool_grow(pool, n_new);
// debug /////////////////////////////////////////////////////////
printfl("n_new:%u", n_new);
printfl("strings:%p (n°1:%p)", strings, strings[1]);
printfl("sizes:%p", sizes);
printfl("some sizes: %u %u %u", sizes[1], sizes[3], sizes[9]);
printfl("some strings: '%s' '%s' '%s'", strings[1], strings[3], strings[9]);
end();
uint i;
for (i = 0; i < n_new; i++) pool_store(pool, strings[i], sizes[i]);
}
// generate random strings (constants used here are defined somewhere else)
static char ** data_strings (char ** p_bytes) {
char * bytes = malloc(n_strings * l * sizeof(char));
check_mem(bytes);
char ** strings = malloc(n_strings * sizeof(char *));
check_mem(strings);
char * s;
uint i,j;
srandom(time(NULL));
for (i=0; i<n_strings; i++) {
s = bytes + i*l;
s[size] = NUL;
for (j=0; j<size; j++) s[j] = '@' + random()%n_letters;
strings[i] = s;
}
//~ for (i=0; i<n_strings; i++) printf("'%s' ", strings[i]); line();
printfl("some strings: '%s' '%s' '%s'", strings[1], strings[3], strings[9]);
* p_bytes = bytes;
return strings;
}
// benchmark
static void chrono () {
printfl ("=== chrono pool ===============================================");
uint i;
clock_t t1, t2;
float dt;
// test data string
char * bytes;
char ** strings = data_strings(& bytes);
// string sizes are all equal to size (3)
size_t * sizes = malloc(n_strings * sizeof(size_t));
check_mem(sizes);
for (i=0; i<n_strings; i++) sizes[i] = size;
// debug ///////////////////////////////////////////////////////////////////
printfl("n_strings:%u", n_strings);
printfl("strings:%p (n°1:%p)", strings, strings[1]);
printfl("sizes:%p", sizes);
printfl("some sizes: %u %u %u", sizes[1], sizes[3], sizes[9]);
printfl("some strings: '%s' '%s' '%s'", strings[1], strings[3], strings[9]);
// now, feed the pool
StringPool * pool = stringpool();
t1 = clock();
pool_store_pack(pool, strings, sizes, n_strings);
t2 = clock();
end();
dt = 1.0 * (t2 - t1) / CLOCKS_PER_SEC;
print("pool data : "); show_pool_data(pool);
print("pool stats : "); show_pool_stats(pool, false);
printfl("time : %.3f", dt);
free(bytes);
free(strings);
}
OK运行!事实上,有两个bug在相互作用。首先,对静态常数的错误重新定义给出了向池提供的初始字符串集的大小(事实上只有""
,因此该集的长度为1)。第二,2条指令的反转,使池在初始化前使用。交互作用是初始化还使用pool_store_pack向池提供所述初始字符串。
===>
我得到的调试输出(并向您展示)反映了为pool初始化调用这个func pool_store_pack的数据,而不是来自chrono func的数据(因此,strings[1]
为零,因为初始集中只有一个字符串!)。sizes
为零,因为它是错误地改变的静态常数。。。米亚妈妈!
谢谢大家!不幸的是,我不能投票给你,因为只有评论。。。