c++ - 从 child 调用 _exit(errno) 时状态错误

Question

我在调用 execvp() 时在 fork() 的子进程中使用了一个故意错误的参数。 errno 编号在子进程中正确设置为 ENOENT。然后，我使用 _exit(errno); 终止子进程。

我的主进程调用 wait()。当我使用 WIFEXITED 和 WEXITSTATUS 检查返回的状态时，我总是第一次调用时得到 EINVAL。所有其他调用返回正确的 ENOENT 代码。

我无法解释这种行为。下面是完整的函数，它执行上述所有操作，但有点复杂。

QVariantMap
System::exec(const QString & prog, const QStringList & args)
{
  pid_t pid = fork();

  if (pid == 0) {
    int cargs_len = args.length() + 2;
    char * cargs[cargs_len];
    cargs[cargs_len - 1] = NULL;

    QByteArrayList as;
    as.push_back(prog.toLocal8Bit());

    std::transform(args.begin(), args.end(), std::back_inserter(as),
        [](const QString & s) { return s.toLocal8Bit(); });

    for (int i = 0; i < as.length(); ++i) {
      cargs[i] = as[i].data();
    }

    execvp(cargs[0], cargs);

    // in case execvp fails, terminate the child process immediately
    qDebug() << "(" << errno << ") " << strerror(errno);  // <----------
    _exit(errno);

  } else if (pid < 0) {
    goto fail;

  } else {

    sigset_t mask;
    sigset_t orig_mask;

    sigemptyset(&mask);
    sigaddset(&mask, SIGCHLD);

    if (sigprocmask(SIG_BLOCK, &mask, &orig_mask) < 0) {
      goto fail;
    }

    struct timespec timeout;
    timeout.tv_sec = 0;
    timeout.tv_nsec = 10 * 1000 * 1000;

    while (true) {
      int ret = sigtimedwait(&mask, NULL, &timeout);

      if (ret < 0) {
        if (errno == EAGAIN) {
          // timeout
          goto win;
        } else {
          // error
          goto fail;
        }

      } else {
        if (errno == EINTR) {
          // not SIGCHLD
          continue;
        } else {
          int status = 0;
          if (wait(&status) == pid) {
            if (WIFEXITED(status)) {
              return { { "error", strerror(WEXITSTATUS(status)) } };
            } else {
              goto fail;
            }
          } else {
            goto fail;
          }
        }
      }
    }
  }

win:
  return {};

fail:
  return { { "error", strerror(errno) } };
}

事实证明，删除带有 qDebug() 调用的行可以使问题消失。为什么添加调试调用会改变程序的行为？

Answer 1

qDebug() << "(" << errno << ") " << strerror(errno);
_exit(errno);

几乎所有对标准库函数的调用都可以修改 errno .很可能是 qDebug调用一些设置 errno 的 I/O 函数，甚至可能是 <<输入输出运算符(operator)。 errno不会被大多数成功的调用修改，但是你获得的级别越高，你就越不知道引擎盖下没有一些正常的失败调用。所以 errno 的值您正在打印的不是 errno 的值你传递给_exit .

作为 errno 的一般原则，如果您要做的事情比只打印一次更复杂，请在执行任何其他操作之前将值保存到变量中。

正如评论中已经指出的那样，请注意大多数 Unix 系统(包括所有常见系统)仅传递 8 位值作为退出状态，但是 errno可以大于 255。例如，如果您在 256 可能是错误代码的系统上运行此程序，则调用 _exit(256)会导致调用者看到返回码 0，从而错误地认为成功。

通常，将所有错误值折叠为成功/失败就足够了。如果您需要区分更多内容，请确保您通过 exit 传递的信息/wait适合范围 0–255。

int exec_error = errno;
qDebug() << "(" << exec_error << ") " << strerror(exec_error);
_exit(!!exec_error);