MPI分布式内存编程中二维double数组malloc引发段错误求助

核心问题方向 #

段错误（信号11）本质是非法内存访问，针对你的30×30矩阵+6进程分配场景，重点排查以下几点：

1. 二维数组内存分配参数错误 #

如果你的createArray是堆分配（用malloc），最常见的错误是行数/列数计算错误：

• 每个进程的本地数组需要包含：自身计算的workload行 + 上下各1行邻居边界行（比如rank0需要行0（全局首行）、行1-5（自身任务）、行6（rank1的上边界），总行数应为workload + 2）。如果调用createArray时传的行数是workload而非workload+2，访问边界行时会直接越界。
• 列数必须是全局矩阵的size（30），如果传错值（比如用了局部变量的错误数值），访问列索引时会越界。

正确的堆分配示例代码：

double** createArray(int rows, int cols) {
    // 分配行指针数组
    double** arr = malloc(rows * sizeof(double*));
    if (!arr) return NULL;
    // 分配每行的元素空间
    for (int i = 0; i < rows; i++) {
        arr[i] = malloc(cols * sizeof(double));
        if (!arr[i]) {
            // 内存分配失败时回滚，避免泄漏
            for (int j = 0; j < i; j++) free(arr[j]);
            free(arr);
            return NULL;
        }
    }
    return arr;
}

2. 栈内存溢出 #

如果createArray是在栈上创建数组（比如double arr[rows][cols];），即使30×7的数组占用空间不大，部分编译器的默认栈空间有限（通常几MB），若后续矩阵扩容或进程任务量变大，会直接触发栈溢出导致段错误。必须改用堆分配（malloc/calloc）。

3. 空指针访问 #

如果malloc返回NULL（内存分配失败），后续直接访问arr[i][j]会触发段错误。每次分配后必须检查返回值，确认内存分配成功。

4. 索引越界访问 #

• 本地数组的行索引范围应为0 ~ rows-1（比如workload+2行的数组，最大行索引是workload+1），若代码中错误使用了workload+2作为行索引，会越界。
• 列索引必须在0 ~ size-1范围内，若计算邻域时错误访问了size索引（比如j+1超出列数），也会触发段错误。

快速调试步骤 #

1. 打印createArray的入参（rows、cols），确认是否符合workload+2和size的要求。
2. 在访问数组的位置打印当前的行/列索引，检查是否超出合法范围。
3. 给malloc添加返回值检查，确认没有分配失败的情况。

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