C语言像素链表操作触发断点、栈溢出故障排查

• 程序运行过程中触发断点故障，部分场景下IDE提示栈溢出错误；代码中使用堆缓冲区存储链表节点，始终无法定位故障点
• 使用相同测试文件运行历史版本代码可正常执行，无任何报错
• 菜单选择输入选项1时故障稳定复现，程序中判定为蓝色的像素RGB阈值为(155,190,245)

结构体定义 #

typedef struct { // 像素坐标
    int x;
    int y;
}co_t;

typedef struct pixel { // 像素链表节点
    co_t p;
    struct pixel* next;
}pix_t;

链表节点插入逻辑 #

void pix_insert(pix_t** root, co_t coordinate) {
    pix_t* new_pix = malloc(sizeof(pix_t));
    if (new_pix == NULL) {
        exit(1);
    }
    new_pix->next = NULL;
    new_pix->p.x = coordinate.x;
    new_pix->p.y = coordinate.y;

    if (*root == NULL) {
        *root = new_pix;
        return;
    }

    pix_t* curr = *root;
    while (curr->next != NULL) {
        curr = curr->next;
    }
    curr->next = new_pix;
}

链表内存释放逻辑 #

void deallocpix(pix_t* root) {
    pix_t* curr;
    while (root != NULL) {
        curr = root;
        root = root->next;
        free(curr);
    }
}

1. 加载24位BMP图像，将每个像素的RGB值映射为二维矩阵，再根据颜色阈值将RGB值转换为1或0的二值：1代表蓝色，0代表其他颜色
2. 对上述二值矩阵执行图像分割，统计每个连通区域的大小，实现方式为将值为1的像素按上述链表逻辑插入存储
   测试时只需修改代码头部的宏定义，填入目标BMP文件名即可：

#define BMP "(BMP file name).bmp"

根本诱因 #

栈溢出和你使用堆存储链表节点没有关联，故障点在连通域遍历逻辑：你大概率用了递归实现的深度优先搜索(DFS) 做连通域标记。

• 递归调用时，函数返回地址、函数内局部变量全部存储在线程栈上，Windows系统默认栈空间仅1MB左右，Linux系统默认栈空间一般为8MB
• 当测试的BMP图存在大面积连续蓝色连通域时，递归深度会达到数千甚至上万层，直接耗尽栈空间触发访问违规，IDE就会报栈溢出、触发断点
• 历史版本能正常运行，是因为之前测试用的BMP图连通域范围小，递归深度未达到栈空间阈值，遇到大尺寸/大连通域的测试图就会稳定复现故障
  你贴出的链表插入、释放逻辑本身没有内存越界问题，和本次栈溢出故障无关。

排查步骤 #

1. 定位到连通域遍历的相关函数，确认是否为递归调用写法；在函数入口打调试断点，观察崩溃前的调用栈深度，如果调用栈层级达到数千层且全是遍历函数自身的调用，即可确认是递归深度过大导致的栈溢出
2. 做对照测试：先生成一张3232尺寸的全蓝色BMP运行流程，大概率可以正常执行；换成10241024尺寸的全蓝色BMP运行，如果立刻触发栈溢出，即可完全验证故障原因。

修复方案 #

优先选第一种方案，根治问题：

• 方案1：将递归DFS改为非递归实现，用你已经实现的pix_t链表作为遍历用的队列/栈，手动实现广度优先搜索(BFS)或迭代版DFS，所有遍历状态存储在堆上的链表节点中，不占用栈空间，无论多大尺寸的连通域都不会触发栈溢出
• 方案2：如果暂时不想修改遍历逻辑，可以调整编译器栈大小配置：VS环境下在链接器选项中修改Stack Reserve Size参数，GCC编译时添加-Wl,--stack=1073741824参数将栈空间设置为1GB，但该方法治标不治本，遇到更大尺寸的图像仍可能触发栈溢出。

内容的提问来源于stack exchange，提问作者Nitai Dan