12.3. 多线程执行🔗

Lean 提供了用于并行和并发程序的原语，并使用任务来描述它们。 Lean 运行时系统包含一个任务管理器，负责为任务分配硬件资源。 关于它以及用于定义任务的 API，可参阅多线程程序一节中的详细说明。