2024 ACM A.M. Turing Award Winner

Andrew Barto and Richard Sutton

• For developing the conceptual and algorithmic foundations of reinforcement learning
• 未来将会是怎样的？

Manus.im

我们如何应对？

在这门课上，还得讲操作系统

• 操作系统依然很重要
• 编程语言是 “可信可验证” 的桥梁
  • Markdown, js, Python, ...
• 操作系统是运行支撑
  • 虚拟环境、文件系统快照、网络……

状态机的生命周期管理 API

fork, execve 和 _exit

• 操作系统视角：状态机的复制、重置和删除

int pid = fork();
if (pid == -1) { // 错误
    perror("fork"); goto fail;
} else if (pid == 0) { // 子进程
    execve(...);
    perror("execve"); exit(EXIT_FAILURE);
} else { // 父进程
    ...
    int status;
    waitpid(pid, &status, 0); // testkit.c 中有
}