Labyrinth - Cabbage74

有趣的理论知识#

进程自身只看得到寄存器和内存里的内容，如果想获取其他自身的信息需要和OS交互。

一种是可以通过getpid()之类的的syscalls。

一种是/proc目录下的文件。

Unix通过fork和execve两个API来复制和复位状态机。

相对地，Windows提供spawn这个syscall。

1
pid_t pid = fork();
2
if (pid == 0) {
3
    // 子进程：我现在是父进程的完整克隆
4
    // 但我可以用自己的系统调用"重新配置自己"
5

6
    close(0);                    // 关掉继承的 stdin
7
    open("/dev/null", O_RDONLY); // 重定向到 /dev/null
8
    dup2(pipe_fd, 1);            // stdout 重定向到管道
9
    chdir("/some/dir");          // 切换工作目录
10
    setenv("PATH", "...", 1);   // 修改环境变量
11
    setgid(new_gid);            // 降权
12
    setuid(new_uid);            // 降权
13
    // ... 任何你能想到的状态修改
14

15
    execve("/bin/myprog", argv, envp);  // 最后才加载新程序
16
} else {
17
    ...
18
}

上面的代码创建了一个进程，在execve之前用代码自由的执行了降权之类的操作。

这体现了Unix的"机制而非策略"思想：内核提供 fork和 execve两个正交的机制，组合方式由用户态决定。

1
BOOL CreateProcess(
2
  LPCTSTR               lpApplicationName,
3
  LPTSTR                lpCommandLine,
4
  LPSECURITY_ATTRIBUTES lpProcessAttributes,
5
  LPSECURITY_ATTRIBUTES lpThreadAttributes,
6
  BOOL                  bInheritHandles,
7
  DWORD                 dwCreationFlags,
8
  LPVOID                lpEnvironment,
9
  LPCTSTR               lpCurrentDirectory,
10
  LPSTARTUPINFO         lpStartupInfo,
11
  LPPROCESS_INFORMATION lpProcessInformation
12
);

相对地，Windows设计spawn这种API需要维护非常多参数来尽量满足创建不同种类进程需要的能力。