技术开发 频道

工程院李德毅:从图灵计算到网络计算

  怎么解释计算机病毒的传播,怎么解释一个电站的崩溃是由几个微量子造成的,他们就研究控制的方法。我们要研究就是让一个病毒传播开,或者怎么让一个病毒闭掉。如果处理适当的话,基于互联网沟通,互相利用,数据可以跟上我们人类行为的理解,我们来看网络,严格来讲网络是一个无厘头,怎么理解网络呢?网络科学告诉我们,有几个点要理解,

  第一要研究每个网络的自治性;

  第二,要研究网络的影响;

  第三,异构性;

  第四,演化生产能力。因此如果把路由器看作节点,把光缆看作物理连接,这样一个网络是符合密度分布原理。我们可以把网络看作不同层面的工程,把服务器看作节点,把网页看作节点,就有很多可分析性。这种网络的基础系数都可以得到一些统一的结果。计算机工作者是一个承上启下的作用,我们这些人已经被PASS掉了,我们看一下70后的人们在干什么。

  乔恩写了一本书叫《算法书》,他获得了数学家最杰出的成就奖。 任何人,作为网络的端用户,其端机上的资源,无论是计算机,存储资源,软件资源和信息资源,和网络上资源相比都是微不足道。无论用户是在进行网格计算,对等计算、还是信息搜索,哪些是由端机承担,哪些事情是由边缘网格承担,这就是我们云计算要研究的东西。

  那就有一个问题,就是谁胖谁瘦?两个极端状况,网络上没有任何信息资源,网络仅仅实现即时的交换,回到传统通信的交换时代,所有信息资源都在主计算机上端机仅仅是人机即时交互,回到传统的主机、终端模式。网格计算的发展可以用一个学术界热,企业界不热来形容,云计算是企业界热,学术界不热。什么原因?

  网格计算:依托专网或互联网,将部分处于不同地域的自愿参加的计算机组织起来,统一调度,利用闲散的计算资源,组成一台虚拟的超级计算及,形成超级计算能力。这个是一个很理想的事情。云计算,广大用户依托互联网某些节点强大的信息资源、包括存储资源、计算资源、软件资源、数据资源,管理资源萎我所用,强调需求驱动,用户主导,按需服务,即用即付,用完即散,不对用户集中控制,用户不关心服务者在什么地方。

  网格计算和云计算的比较,网格计算有统一的速度,云计算不存在 集中统一控制。网格计算不承认异构,云计算承认异构。网格计算完成特定任务,云计算完成多样化服务。网络计算专网运营,云计算需求运作。有了云计算,广大用户不再需要自购软硬件,不再需要知道是谁提供的服务。对大量中小企业,不再需要一开始就花费大量的投资来购买部署计算机软硬件设备和聘用维护人员,不必单位因为高估自身业务受欢迎的程度,而过渡部署造成资源浪费,或由于对广受欢迎的业务部署不足错失潜在的客户。因此广大的用户买云计算干什么?买许可证干什么?买软件干什么,我们需要的是服务。

  三、超出图灵机的云计算。我们细细分析一下超出图灵机的云计算。我们是无处不在的在线搜索,无处不在的实时交互,时刻发生的即时通讯和沟通,包括软件开发在内的各种基于网络的虚拟社区。从以产品带服务,向以服务带产品的方向发展。今天如果有中小企业软件企业来讲,你要坚持以服务带产品。网络的普及迫使软件工程寻找新的解决办法,从集中的软件到分散的软件,从单核计算到多核计算,从单体软件到群体软件的交互,我需要的只是服务。

  我们认为需求获取成为软引工程的瓶颈。我们要强调软件在网络环境下工作,软件工程向需求工程倾斜,软件结构用网络拓扑表示,问题的形式化向本题描述发展,强调软件工程演化过程。我们看一下软件工程危机走过四十年来我们得到一个很重要的经验,软件工程太多的关注图灵计算,忽视了人机交互,忽视了机器行为通过人群的参与引发的相互影响。尽管图灵命题主要说的是数学的弱点,但是解决数学问题时图灵机不能够做什么,如停机的不可判定问题,但是计算机科学家们却逐渐开始讲图灵机用来说明可计算能力的模型,进而作为一种解决所有计算问题的模型,把图灵机作用扩大化了。

  图灵自己也认为图灵机并不适合作为解决计算问题的通用模型,包括图灵和图灵奖获得者米尔纳等在内的学者尝试用交互机来扩展图灵机型。凡是有集中控制的高性能计算机,集群计算机、虚拟机、网络系统,分布式系统等依然可以看作图灵计算。互联网不等于世界上最大的计算机,按照图灵机构成的复杂网络,也不等于西格玛,不是替代,而是相互作用。图灵等人提出基于图灵机的交互机器模型,如site机、交互机等,企图扩展图灵机的机型。网络计算强调把计算机嵌入到网络,通讯发展太快了,因此可以让电脑消失,人们注意的中心回归到要完成的任务本身。

  1991年施乐公司前首席科学家Wark提出普适计算思想,例如,他在办公室门前建造了一个喷水池,用喷水量和水柱高度来模拟显示网络上当前全球股价的走势。类似于图片识别等任务对于人来说是很简单,但是转化为图灵机的可计算问题却是很大的挑战,因此,在CMU攻读博士学位的Luis 提出利用人工参与处理的计算模式来解决计算机很难处理的问题。这使每一个人不需要高教育培养,普通大众、每一个草民都可以,把一个图片打进去,看到信息再往下干活,让老太太都会玩网络,玩游戏。类似于图片识别等任务对于人来说很简单,但要转化为图灵可计算问题确是很大的挑战,因此网络环境出现了可信计算和可信软件的研究,目前搜索引擎上的爬虫程序索索的只是文字资料,难以实现图片内容搜索,而如果能够让网络游戏者都能为这样的图片标签系统做贡献,甚至可以逐渐将整个图片定位搜索。

  大众既软件的使用者,也是软件的开发者,既是服务的消费者,也是服务的提供者,图灵没有考虑过这样的群体智能产生模式。维基百科的创始人吉米想到的。云计算的兴起,是自2007年开始的,天空中的大量云滴构成的云,远观有形,近观无边,千姿百态,漂移不定,有时如朵朵棉花,有时一泻千里。量子物理中的电子云,量子物理中的电子云,在原子核周围运动的电子,不是一个确定的轨道,而是弥漫空间的运状存在,形成一个概率分布的密度函数。

  云计算一定是基于网络,网络为大众提供了一个一个虚拟、丰富的按需即取的数据存储池,软件下载的维护池,计算能力池,提供了一个人与人沟通电子平台。我对云计算的理解,先从水开始,水的生态当中,里面上有水,还有水库,我们可以成为若干个云数据中心看成是地面的水,水往外增长就是服务的方向,云滴更多就是云的聚合,降水就是按需即取。我想特别讲一个克里斯兰顿讲过的一句话,生命的本质在于物质的组织形式,而不在于物质自身。信息资源网络的本质在于信息资源之间的组织形式,而不在于承载信息的图灵机替代。云计算提出有可能导致软件工程的重大变革,突破图灵机模型的束缚,不在于单台图灵机上的软件,而存在网络上软件之间的相互作用,引发对计算机云计算的研究。软件是永远的BETA版,软件将没有版本的概念,采用永远试用的软件开发模式。软件即服务的思想已经被广泛接受。这是网络时代的软件工程和图灵时代的软件对比表。目前太多的定义和太泛的解释使得云计算有成为皇帝的新衣,迫切需要业界汇集智慧。■

0
相关文章