几个比较新的并发模型－STM, process,actor

        STM受到数据库事务模型的启发，很有创意，akka实现得不错。微软研究院对STM做过研究，又放弃了，据说STM模型有缺陷。

        erlang的process，消息模型，可谓是极致简单美丽，然而，erlang对消息队列的处理必须是顺序执行的，也就是隐含的同步协调点，并发的效率，完全取决于erlang虚拟机的运作。

        scala的actor模型是仿erlang的，自然有相同的问题，另外有一个局限，它是在java虚拟机上实现的，一个个actor是用java的线程池来执行。也就是说，并发回到了操作系统的线程层次上了。