Zig 的 Io.Threaded：用信号优雅取消阻塞
Zig's Io.Threaded Is Neat
Zig 的 std.Io.Threaded 实现了一个看似简单却极其实用的并发模型：它直接使用阻塞式系统调用和标准线程，却完美支持取消操作。在 POSIX 系统上，它利用 SIGIO 信号配合共享内存标志位，构建了一套可靠的协议，让被阻塞在内核中的线程能被安全唤醒并处理取消请求。这种设计避免了引入 io_uring 等新机制的复杂性，同时解决了传统 pthread_cancel 无法与语言级错误处理（如 try/defer）集成的痛点。作者认为，Zig 通过区分“可能并发”与“必须并发”，在接口层面清晰地表达了并发语义，让并发编程更加直观且类型安全。
并发本质上涉及取消：当两个异步计算同时运行时，总有一个时刻，其中一个计算会意识到另一个已不再必要，必须主动将其取消。
- _old_dude_
我搞底层开发的日子全是在 Windows 世界里度过的，那里从 NT 内核时代起就支持异步/取消操作。在某个抽象层级上将其连贯地封装起来一直很有价值，尽管线程只是其中一种方式。Overlapped I/O 让你甚至能在单线程上完成这一切。Linux 看起来要难一些。
Zig 能更“一等公民”地支持这些功能真是太好了；虽然并非严格必需，但看起来很有用。
- lll-o-lll
天啊，这文章结束得太早了，我还想读更多！
- two_handfuls
我知道语法其实没那么重要，但 Zig 的语法确实有点拉胯。它非常啰嗦，而且从现有语言中挑选语法的方式也很奇怪。Zig 代码通常很难读，因为它太嘈杂，还包含一些在其他语言中不存在且毫无必要的奇怪东西。