通过 SIGKILL 杀死进程

Question

我有一个进程在执行程序后立即被终止。这是编译后的可执行文件的代码，它是一个小程序，从标准输入（通常是描述性文件）读取由数字表示的几个图，并使用 Prim 算法找到每个图的最小生成树（它不显示结果还没有，它只是找到解决方案）。

#include <stdlib.h>  
#include <iostream>  

using namespace std;

const int MAX_NODOS = 20000;
const int infinito = 10000;

int nnodos;
int nAristas;
int G[MAX_NODOS][MAX_NODOS]; 
int solucion[MAX_NODOS][MAX_NODOS];
int menorCoste[MAX_NODOS];
int masCercano[MAX_NODOS];



void leeGrafo(){
    if (nnodos<0 || nnodos>MAX_NODOS) {
        cerr << "Numero de nodos (" << nnodos << ") no valido\n";
        exit(0);
    }  
    for (int i=0; i<nnodos ; i++)
        for (int j=0; j<nnodos ; j++)
            G[i][j] = infinito; 
    int A,B,P;
    for(int i=0;i<nAristas;i++){
        cin >> A >> B >> P; 
        G[A][B] = P;
        G[B][A] = P;
    }   
}


void prepararEstructuras(){
    // Grafo de salida
    for(int i=0;i<nnodos;i++)
        for(int j=0;j<nnodos;j++)
            solucion[i][j] = infinito;
    // el mas cercaano 
    for(int i=1;i<nnodos;i++){
        masCercano[i]=0;
        // menor coste
        menorCoste[i]=G[0][i];
    }           
}

void prim(){
    prepararEstructuras();
    int min,k;  
    for(int i=1;i<nnodos;i++){
        min = menorCoste[1];
        k = 1;
        for(int j=2;i<nnodos;j++){
            if(menorCoste[j] < min){
                min = menorCoste[j];
                k = j;
            }
        }
        solucion[k][masCercano[k]] = G[k][masCercano[k]];
        menorCoste[k] = infinito;
        for(int j=1;j<nnodos;j++){
            if(G[k][j] < menorCoste[j] && menorCoste[j]!=infinito){
                menorCoste[j] = G[k][j];
                masCercano[j] = k;
            }       
        }           
    }
}

void output(){
    for(int i=0;i<nnodos;i++){
        for(int j=0;j<nnodos;j++)
            cout << G[i][j] << ' ';
        cout << endl;
    }
}

int main (){
    while(true){
        cin >> nnodos;
        cin >> nAristas;
        if((nnodos==0)&&(nAristas==0)) break;
        else{
            leeGrafo();
            output();
            prim(); 
        }
    }   
}

我了解到我必须使用 strace 来查找发生的情况，这就是我得到的：

execve("./412", ["./412"], [/* 38 vars */] <unfinished ...>
+++ killed by SIGKILL +++
Killed

我正在运行 ubuntu，这是我第一次遇到此类错误。该程序应该在从输入中连续读取两个零后停止，我可以保证我的图形描述文件中有。即使我执行程序而不对图形文件进行输入重定向，也会出现问题。

Answer 1

虽然我不能 100% 确定这就是问题所在，但请看一下全局数组的大小：

const int MAX_NODOS = 20000;

int G[MAX_NODOS][MAX_NODOS]; 
int solucion[MAX_NODOS][MAX_NODOS];

假设 int 是 4 个字节，您将需要：

20000 * 20000 * 4 bytes * 2 = ~3.2 GB

对于一个，您甚至可能不有那么多内存。其次，如果您使用的是 32 位系统，操作系统可能根本不允许单个进程拥有那么多内存。

假设您使用的是 64 位（并且假设您有足够的内存），解决方案是在运行时分配所有内存。

Answer 2

您的数组 G 和 solucion 每个都包含 400,000,000 个整数，在大多数计算机上每个整数约为 1.6 GiB。除非您有足够的（虚拟）内存（3.2 GiB 并且还在增加），并且有使用它的权限（尝试 ulimit -d；这对于 MacOS X 10.7 上的 bash 是正确的.2），你的进程将无法启动，并会被SIGKILL杀死（无法被捕获，并不是说进程真的在运行）。