Question

我正在尝试实现一个基本的循环缓冲区，然后在所述缓冲区中生成/使用几个字符。由于多个线程将访问同一个缓冲区，我还使用信号量来防止并发访问。我的程序编译并正确运行，但是，一旦我传递了一个字符，就会导致分段错误。我一直在尝试使用Valgrind进行调试，但除了错误在于我的缓冲区代码之外，我还没有能够从中收集大量的内容，如下所示：

[...]//headers
void createBuffer(Buffer *buff, int buffSize){
        buff = (Buffer*) calloc(1, sizeof(Buffer));
        semaphore mutex,emptyBuffers,fullBuffers;
        createSem(&mutex, 1);
        createSem(&emptyBuffers,buffSize);
        createSem(&fullBuffers,0);
        (buff->mutex) = &mutex;
        (buff->emptyBuffers) = &emptyBuffers;
        (buff->fullBuffers) = &fullBuffers;
        buff->charBuff = malloc(sizeof(char) * buffSize);
        buff->nextIn = 0;
        buff->nextOut = 0;
        buff->buffSize = buffSize;
}
void deposit(char in, Buffer *buffer) {
        down(buffer->emptyBuffers);    //line 20 in buffer.c
        (buffer->charBuff)[buffer->nextIn] = in;
        buffer->nextIn = (buffer->nextIn + 1) % buffer->buffSize;
        up(buffer->fullBuffers);
}
[...]//remove function

之后的删除功能类似于deposit（），因此弄清楚如何修复一个应该足以让我弄清楚如何在必要时修复另一个。这是Valgrind的输出：

==10846== Use of uninitialised value of size 8
==10846==    at 0x4014EF: deposit (buffer.c:20)
==10846==    by 0x40124F: getInputStream (test.c:80)
==10846==    by 0x401C55: _st_thread_main (in a.out)
==10846==    by 0x401D1D: st_thread_create (in a.out)
==10846== 
==10846== Invalid read of size 4
==10846==    at 0x40167A: down (in a.out)
==10846==    by 0x4014FA: deposit (buffer.c:20)
==10846==    by 0x40124F: getInputStream (test.c:80)
==10846==    by 0x401C55: _st_thread_main (in a.out)
==10846==    by 0x401D1D: st_thread_create (in a.out)
==10846==  Address 0xc74800405020c0c7 is not stack'd, malloc'd or (recently) free'd
==10846== 
==10846== Process terminating with default action of signal 11 (SIGSEGV)
==10846==  General Protection Fault
==10846==    at 0x40167A: down (in a.out)
==10846==    by 0x4014FA: deposit (buffer.c:20)
==10846==    by 0x40124F: getInputStream (test.c:80)
==10846==    by 0x401C55: _st_thread_main (in a.out)
==10846==    by 0x401D1D: st_thread_create (in a.out)

我对Valgrind很新（并且只是C的新手），所以我一直在寻找具有类似Valgrind输出的其他人，但我找不到任何有帮助的东西。

一些最后的笔记（对此道歉很久！）：这是针对学校的，所以如果可能的话，我更喜欢指导代码。此外，虽然Valgrind输出确实提到了“无效读取”和向下功能之间的连接，但我可以确认向下功能 - 以及信号量类型本身 - 可以自行运行。最后，我确实在初始化缓冲区和在createBuffer（）中分配内存时遇到了一些困难。结合seg故障的性质，如果错误与该函数有关，我不会感到惊讶，尽管Valgrind没有引用它。

TL; DR：程序中的段错误，作为Valgrind的新手并且对C很缺乏经验，我很难理解。上面的代码。谢谢！

编辑：由于下面给出了有用的建议而意识到我的错误之后，我在尝试为我的信号量分配内存以防止它们丢失时遇到了另一个seg错误。我尝试了几种方法，每种方法都有相同的结果。我的新尝试如下：

buff->mutex = calloc(1,sizeof(semaphore));
buff->mutex = &mutex;

和

buff->mutex = calloc(1,sizeof(semaphore));
createSem(buff->mutex,1);
//I removed the previous semaphore declarations and calls to createSem(...)

与我的第一个问题一样，当首次在createBuffer（...）之外引用信号量时，这些仍会导致分段错误。

Answer 1

您正在使用指向局部变量的指针。函数返回后，这些变量使用的空间将被回收并重新用于下一个函数调用。

请记住，局部变量的生命周期仅存在于定义变量的函数中。

Valgrind：读取无效＆amp;使用未初始化的值

1 个答案: