分段错误 - 链表 (UNIX)

Question

我试图了解为什么我会收到分段错误。

我有一个带有 prev 和 next 指针的链表“head”，我正在尝试删除列表中的特定节点。特定节点的地址由“ptr”保存。 我附上了一张显示调试器的图片， 以下代码给了我分段错误： （我只显示相关的内容）

void someFunc(char str[], int atmSN){


/*some code */ 

switch(ch){    /// ch is char

/* some code */

case 'Q':       
    if (ptr == head){                   // if ptr head of linked list
        head = head->next;
        if (head != NULL)
            head->prev = NULL;
    }
    else{
        ptr->prev->next = ptr->next;
        if (ptr->next != NULL)  // if ptr is not last
            ptr->next->prev = ptr->prev;
    }

    free(ptr);
break;

/*some code */ 

debugger

我的代码正在使用多线程，所以当当前线程试图删除它时，可能另一个线程正在写入特定节点。 在我的任务中，我还必须实现信号量，但这会给我们带来分段错误吗？

如果我错了，请纠正我：当我们尝试访问“不存在”的内存时会发生分段错误？

如果有人能启发我，我将不胜感激。

编辑：调试器信息：

 Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7ffff5ff9700 (LWP 3350)]
0x00000000004011cb in operation (str=0x7ffff5ff8e00 "Q 1111 1111", atmSN=3)
    at hw4.c:175
175                     ptr->prev->next = ptr->next;

Answer 1

我的代码使用了多线程

多线程环境必须让您考虑锁定上下文，例如互斥锁或信号量。任何时候您有多个执行线程同时运行（超线程、多核或单核系统上的抢占式多线程），请考虑执行线程可以随时更改时刻。 保护逻辑由你来确保你不会把自己的脚炸飞。

因此，请考虑以下场景：

• 您有两个线程，T1 和 T2。你有一个两节点的链表。
• T1 调用你的代码并看到(ptr == head)，然后继续前进。
• 上下文切换！
• T2 调用你的代码并看到(ptr == head)，然后继续前进。
• T2套head = head->next
• T2 检查 if (head != NULL)，发现它不是 NULL。
• 上下文切换！
• T1套head = head->next

您认为 T1 分配给 head 的内容是什么？继续：

• 上下文切换！
• T2 分配head->prev = NULL。它只是取消了由T1 分配的head。你认为会发生什么？

想象一下这种对所有逻辑流程的上下文切换。你如何防范它？

这个问题的答案通常很好理解并且经常被问到（并且经常被回答）。您应该能够从这里找到您想要的答案。