c - 在 C 中用 fork 搜索

Question

我应该熟悉 fork，我看到一个练习说使用 fork 调用来搜索从 0 到 15 索引的数组。我们假设每个进程只能做两件事。 ..(1) 是检查数组的长度是否为 1，以及 (2) 将数组的单个元素与正在搜索的数字进行比较。基本上我给它传递了一个数字，它应该做有限数量的 fork 并返回该数字的索引。这是我的代码..

#define MAXINDEX 16

int forkSearch(int a[], int search, int start, int end){
  if(start == end){
    if(*(a + end) == search){
      return end;
    }
  } 
  else{
    pid_t child = fork();
    if(child == 0) return forkSearch(a, search, start, end/2);
    else return forkSearch(a, search, (start + end)/2, end);
  }
}

int main(int argc, char* argv[]){
  int searchArray[MAXINDEX] = {1, 12, 11, 5, 10, 6, 4, 9, 13, 2, 8, 14, 3,\
                               15, 7};
  printf("Should be 1. Index of 12 = %d\n", forkSearch(searchArray,
                                                       12, 0, MAXINDEX));
  return 0;
} 

这个快速爆炸的程序返回的所有内容似乎都是 1、10、11 或 13。为什么它不能正常工作。

Answer 1

if(child == 0) return forkSearch(a, search, start, end/2);

那里的end不对，应该是(start+end)/2，右半部分搜索的起始索引应该是 (开始+结束)/2 + 1。否则，如果右半部分是(start+end)/2 .. end，当end == start+1时，start为递归调用是旧的 start 值，你有一个无限循环。

你的程序有未定义的行为因为

int forkSearch(int a[], int search, int start, int end){
  if(start == end){
    if(*(a + end) == search){
      return end;
    }
  }

如果 start == end 不返回值，但是 *(a+end) != search。在内部 if 之后添加一个 exit(0); 以退出没有找到目标的进程。

int searchArray[MAXINDEX] = {...};

forkSearch(searchArray, 12, 0, MAXINDEX)

将导致对 searchArray[MAXINDEX] 的越界访问，也是未定义的行为。