并发模型五种并发模型——单线程异步、共享内存加锁、CSP、Actor 模型、软件事务内存（STM）——在状态共享、组合性和故障模式上的比较。附各自适用场景，以及为何语言选择往往比问题本身更能决定采用哪种模型。
