第2章 线程同步精要并发编程有两种基本模型，一种是message passing，另一种是shared memory。在分布式系统中，运行在多台机器上的多个进程的并行编程只有一种实用模型：message passing[注：Parallel Virtual Machine 似乎已经退出主流 HPC了。]。在单机上，我们也可以照搬message passing作为多个进程的并发模型。这样整个分布式系统的架构的一致性很强，扩容(scale out)起来也较容易。在多线程编程中，message passing更容易保证程序的正确性