硬件趋势驱动编程语言 　　语言、库和框架形成了我们编写程序的方式。Alonzo Church 早在 1934 年曾表明，所有已知的计算性框架对于它们所能表示的程序集都是等价的，程序员实际编写的程序集是由特定语言形成的，而编程模型（由语言、库和框架驱动）可以简化这些语言的表达。 　　另一方面，一个时代的主流硬件平台形成了我们创建语言、库和框架的方法。Java 语言从一开始能够支持线程和并发性；该语言包括像 synchronized 和 volatile 这样的同步原语，而类库包含像 Threa