超出图灵机的互联网计算.pdfVIP

专题 第 5 卷 第 12 期 2009 年 12 月 超出图灵机的互联网计算 李德毅1 张海粟2 关键词 ：互联网计算 云计算 网络科学 网络化软件 1 中国电子设备系统工程研究所 2 解放军理工大学 引言 械动作。从20世纪60年代起，计算机理论界开 始用图灵机作为说明可计算能力的模型。冯·诺 基于IP （Internet Protocol ，网际协议）、 [2] 依曼结构 是与图灵机模型等价的计算机结构 W eb （万维网）和W eb服务等标准协议族，互 的典型实现，其工作原理的要点为 “存储程 联网应用可以屏蔽底层传输和交换差异，不断 序”。冯 诺依曼结构由控制器、运算器、存储 · 向多元化的需求靠近。这不仅促进了用户对信 器、输入和输出设备组成，控制器 按照程序顺 息资源的检索、理解与使用，也改变了传统个 序，逐条把指令和数据从存储器中取出并加以 [1] 人计算环境下，图灵机模型 和冯 诺依曼结构 执行，自动完成由程序描述的处理工作。 · [2]作为计算理论基础的状况。在互联网计算环 境及云计算模式下，用户以不确定的、智能的 交互行为参与到信息的处理中，人机、机机的 交互形成了计算节点上持续的输入/输出流。互 联网节点间不是以集中统一的控制方式，而是 以互操作方式实现尽力而为的服务。因此，与 统一调度或单节点上的运算相比，节点之间的 交互更加重要。互联网计算的核心转变为节点 间通过输入/输出进行互连，超出了图灵机模 式，形成了网络化软件工程。 图1 以中央处理器和操作系统为 “核”的软件结构 互联网改变了计算机和软件 在冯 诺依曼结构下，由运算器和控制器 · 的工作模式 组成的中央处理器 （Central Processing Unit ， CPU ），承担着数据管理、运算和控制输入/输 图灵机模型和冯·诺伊曼结构计算机 出的功能。计算机系统一直以中央处理器和操 1936年，图灵 （A. M. Turing ）的著名论文 作系统为 “核”，如图1所示，由系统软件、 [1] 中间件和应用软件等逐层向外形成 “洋葱”；