c++ - 从子进程调用 _exit(errno) 时出现错误状态

Question

我在 fork() 的子进程中故意使用错误的参数来调用 execvp()。在子进程中，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 函数，或者甚至是 << 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);