执行流了解
程序员需要多个执行流。为此,Lua提供了通用的方案,叫coroutine。
除了coroutine以外,别的语言或平台提供的“多执行流”的通用方案包括:进程、线程、Fibers (Windows)、setcontext、Continuation、Monad (functional programming)。这些技术底层实现分为三类:
- 由平台调度的线程,包括操作系统调度的线程或进程,或者Erlang虚拟机调度的进程。
- 由平台提供栈,但是由用户手动切换,包括Lua的coroutine、Windows的Fiber、POSIX的setcontext。
- 由编译器提供自动CPS转换,或者把CPS代码写得像有副作用代码的语法糖。Haskell的Monad。