问Lwt的意思是“轻量级线程”吗？

EN

documentation page for Lwt说：

Lwt提供了非常轻量级的协作线程；启动线程是一个非常快的操作，它不需要新的堆栈、新的进程或其他任何东西。此外，上下文切换非常快。事实上，它非常简单，我们将为每个系统调用启动一个线程。组成协作线程将允许我们编写高度异步的程序。

是的，Lwt意味着轻量级线程，而Lwt的线程是轻量级的。Lwt有一个协作线程模型，只有一个lwt线程同时在单个系统线程上运行，直到它显式地产生控制。您有责任确保您的计算最终产生结果，否则其他lwt线程可能永远不会运行。

但是，Lwt也有一个pool of system threads，用于执行阻塞系统调用或委托长时间运行的函数，这样它们就不会阻塞整个系统并阻止其他lwt线程运行。

你可以在this论文中找到更多关于Lwt的模型和实现的信息(你可以在原作者的网页here上找到)。