C语言双线程矩阵加法实现遇问题：结果不符与段错误排查

常见错误原因及排查步骤 #

1. 线程参数传递不当 #

直接传递栈上变量的地址给线程函数是高频错误——线程启动时，栈变量可能已经被销毁或修改，导致线程访问非法内存。必须保证参数的生命周期覆盖线程执行全程：

// 推荐用堆分配结构体传递参数
typedef struct {
    int** matA;
    int** matB;
    int** result;
    int start_row;
    int end_row;
    int cols;
} ThreadData;

// 分配并填充参数后再传给线程
ThreadData* thread1_data = malloc(sizeof(ThreadData));
thread1_data->start_row = 0;
thread1_data->end_row = rows / 2;
// 其他参数赋值...
pthread_create(&tid1, NULL, add_task, thread1_data);

2. 内存越界访问 #

这是段错误和结果异常的核心诱因：

• 检查循环条件：比如把i < rows写成i <= rows，会直接访问矩阵外的内存；
• 确认二维矩阵分配完整：只分配行指针数组，却不为每行分配列内存，会导致访问野指针：

// 错误示例：仅分配行指针
int** mat = malloc(rows * sizeof(int*));
// 正确做法：循环分配每行的列内存
for (int i = 0; i < rows; i++) {
    mat[i] = malloc(cols * sizeof(int));
}

3. 线程任务划分错误 #

双线程矩阵加法的任务划分必须保证无重叠、无遗漏：

• 常规划分：一个线程处理前半部分行，另一个处理后半部分，比如：

  // 线程1处理0 ~ rows/2 - 1行
  thread1_data->end_row = rows / 2;
  // 线程2处理rows/2 ~ rows - 1行
  thread2_data->start_row = rows / 2;
  thread2_data->end_row = rows;
  

• 如果划分重叠（比如两个线程都处理第3行），会导致元素被重复写入；如果有遗漏行，会出现未初始化的异常值。

4. 线程同步与生命周期问题 #

• 主线程必须调用pthread_join等待所有子线程执行完毕，否则主线程提前退出会释放子线程仍在使用的内存，触发段错误：

  pthread_join(tid1, NULL);
  pthread_join(tid2, NULL);
  

• 矩阵加法中每个元素的写入是独立操作，只要任务划分正确，不需要额外加锁。

5. 测试输入一致性问题 #

对比单线程与多线程结果前，必须确保两者使用完全相同的输入矩阵。如果每次运行都重新生成随机数，会导致结果对比无意义——可以在填充矩阵后打印所有元素，确认两次计算的输入一致。

快速排查流程 #

1. 先屏蔽多线程代码，单独验证单线程addMatrix的正确性，排除基础加法逻辑、矩阵生成的问题；
2. 打印线程参数中的start_row、end_row等值，确认任务划分无越界、无重叠；
3. 用gdb调试段错误：运行gdb ./your_program，执行run触发错误后，用backtrace定位出错代码行；
4. 检查所有动态分配的内存是否完成free，避免野指针访问。

内容的提问来源于stack exchange，提问作者dev jonston