并行计算--并发构造纵览

  今天是俺的生日，身在国外，特发这篇精心制作的文章以示庆祝。 :)

目录
并发构造纵览    1
一、多线程Multi-Threading并发模型    2
二、并发的设计目标和空间    3
三、有利于构造并发的几种理论模型    4
1、Actors(动作者/角色)    4
2、CSP(Communicating sequential processes)    4
3、CCS(Calculus of Communicating Systems)    4
4、Petri-net（Petri 网）    4
5、Pi-calculus(π演算)    5
6、Join-calculus（Join演算）    5
7、Functional Programming（函数式编程）    5
四、并发构造实现时的问题    5
五、软件事务内存STM    6
六、持久化数据结Persistent Data Structure    7
七、消息传递Message-Passing    8
Actors模型    8
八、数据流Dataflow    10
九、元组空间Tuplespace    12
十、参考    13