Building a Coroutine-Based Job System Without Standard Library

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

文档介绍了一个基于C++20协程的作业系统，无需标准库支持。该系统通过协程实现任务调度，重点讨论了作业生命周期管理、任务等待与结果获取机制。系统采用轻量级对象存储协程句柄，并通过引用计数机制确保资源安全释放。文档还提到了内存分配优化和实际应用中的挑战，如调试困难和工具支持不足。

AI总结

### 文档总结

这份文档主要介绍了一种基于C++ 20协程的作业系统设计与实现，重点讨论了在没有标准库支持的情况下构建协程作业系统的关键技术和挑战。

#### 1. 演讲背景
- 演讲者是NVIDIA的实时渲染工程师，主要分享了游戏引擎中作业系统的设计经验。
- 本次演讲聚焦于C++ 20协程的实现，而不是具体的 pixels 或渲染技术。

#### 2. 协程作业系统的核心机制
- **协程生命周期管理**：
- 协程的销毁时机：在没有等待者的情况下，协程不会被调度。
- 使用引用计数机制（`atomic int`）管理协程的生命周期：
- 在进入作用域时增加引用计数（`ref`）。
- 在离开作用域时减少引用计数（`ref`），当计数为0时销毁协程。
- **作业调度机制**：
- 作业调度基于等待机制，只有在有等待者时才调度。
- 作业是一个轻量级对象，主要存储协程句柄。
- 提供两种作业构造和调度方式。

#### 3. 关键技术
- **`co_await` 和 `deferred_token`**：
- `co_await deferred_token` 用于实现惰性任务机制。
- 如果没有等待者，任务将不会被调度。
- **任务依赖关系**：
- 通过 `token` 和 `promise` 实现数据依赖关系，确保 `token` 依赖于 `promise` 的结果。
- 支持“启动后忘记”类型的作业，任务生命周期与 `token` 解耦。

#### 4. 实现挑战
- **工具支持不足**：
- 协程的调试和分析工具缺乏，尤其是对悬停点的可视化支持。
- **上下文敏感性**：
- 协程的恢复可能在不同线程进行，导致调试工具难以处理。
- **性能与集成问题**：
- 集成性能分析工具困难，因为协程恢复可能在线程间切换。
- 现实工程中缺乏对协程系统开发的支持。

#### 5. 总结
- 该协程作业系统通过引用计数和惰性调度机制实现了高效的作业管理。
- 尽管在工具支持和调试方面存在挑战，但其轻量级设计和灵活的调度方式为游戏引擎等实时系统提供了有效的任务管理解决方案。

### 核心观点
- 基于C++ 20协程的作业系统能够实现高效的异步任务管理。
- 使用引用计数机制确保协程的正确销毁，避免资源泄漏。
- 现实工程中协程系统的开发和维护需要额外的工具支持和调试知识。

### 关键信息
- 协程作业系统的核心是通过 `co_await` 和 `deferred_token` 实现惰性调度。
- 引用计数机制用于管理协程的生命周期。
- 现实工程中协程系统的挑战包括工具支持不足和调试复杂性。