网络计算技术的考试重点.docVIP

1、SETI@HOME（通过全球网络搜寻地外文明并对数据进行分析的科学研究计划） SETI中文含义：The Search of Extraterrestrial Intelligence BOINC即伯克利开放式网络计算平台，是目前主流的分布式计算平台之一。 BOINC（Berkeley Open Infrastructure for Network Computing，伯克利开放式网络计算平台）是目前主流的分布式计算平台之一 2、网络计算必须具备：通用的计算平台、通用的访问方式、网络服务器。 3、网络计算的概述： @ 高性能计算HPC是计算机科学的一个分支，主要研究并行算法和开发相关软件，致力于开发高性能计算机。 @ 网格计算的思路是聚合分布各地的网络资源，通过支持虚拟组织，提供高层次的服务。网格计算更多地面向科学研究应用。 @ 云计算综合了分布式处理、并行处理和网格计算的思路和技术，通过数据中心的形式提供底层资源的使用。主要针对企业商业应用。 4、分布式系统具有高度的内聚性和透明性。 @ 内聚性是指每一个数据库分布节点高度自治，有本地的数据库管理系统。 @ 透明性是指煤一个数据库分布节点对用户的应用来说都是透明的，用户感觉不到数据是分布的，无须知道关系是否分割、有无复本、数据存于哪个站点以及事务在哪个站点上执行等。 5、分布式系统的特点： 进程数目任意 PE数目任意 使用基于消息传递的通信 为了完成一个共同的任务进程间的合作 任意两个PE间的通信延迟 故障独立：任意一个进程或PE的故障不会导致整个系统的瘫痪 故障化解：在系统发生故障时系统能够重新配置资源 6、DCDL与执行优先图之间的转换 处理的基本元素是语句 能以语言的方式完成对并发、进程间通信与同步和容错这3个基本功能的无二义的表达能力 7、顺序语句 语法：S1；S2；……Sn 语义：顺序执行S1；S2；……Sn这n 个语句 并行语句 语法：[S1||S2||……||Sn] 语义：并发执行S1、S2、……Sn这n个语句 复合语句：[S1；S2；……Sn] 8、执行优先图用途：支持对并发的设计 起点：执行优先图中入度为零的结点 终点：执行优先图中出度为零的结点 9、方法一：对原来的优先图进行修改，转换为更具限制性的优先图，再用DCDL来描述 方法二：使用fork和join语句 方法三：使用P/V操作语句 10、例2.3 假设S1为a:=x+y，S2为b:=x+z，用bernstein条件证明这两个语句可以并发执行。 解：按照bernstein判定条件，因为R(S1)={x，y}，R(S2)={x，z}，W(S1)={a}，W(S2)={b} 它们满足以下三个条件，即： R(S1)∩W(S2)=Ф R(S2)∩W(S1)=Ф W(S1)∩W(S2)=Ф 所以这两个语句可以并发执行 11、并行算法可以从不同的角度分类为 数值计算并行算法和非数值计算并行算法 同步并行算法和异步并行算法 共享存储并行算法和分布存储并行算法 12、并行算法的复杂性度量指标 运行时间t(n)：包含计算时间和通信时间 处理器数p(n) 并行算法成本c(n)：c(n)=t(n)p(n) 总运算量w(n)：并行算法求解问题时所完成的总的操作步数。 13、PRAM模型：由Fortune和Wyllie1978年提出，又称SIMD-SM模型。有一个集中的共享存储器和一个指令控制器，通过SM的R/W交换数据。 异步模型(APRAM) ：又称分相(Phase)PRAM或MIMD-SM。每个处理器有其局部存储器、局部时钟、局部程序。 BSP模型：块同步模型，是一种异步MIMD-DM模型，支持消息传递系统，块内异步并行，块间显式同步。 logP模型：由Culler(1993)年提出，是一种分布存储的、点到点通讯的多处理机模型。 14、Petri网简介： Petri网是1962年由德国科学家卡尔·A·佩特里首先提出。 Petri网可以刻画系统的结构，也可以描述系统的动态行为。 Petri网是一种基于图的形式化模型。 Petri网以研究模型的组织结构和动态行为为目标，主要关注系统中可能发生的状态变化以及变化之间的关系。 15、Petri网发展过程： 纵向扩展,Petri网的描述从基本的条件/事件(C/E)网,经过位置变迁网(P/T),发展到高级网(包括谓词/变迁网和着色网) 横向扩展,从没有参数的网,发展到时间Petri网和随机Petri网;从一般的有向弧发展到禁止弧和可变弧;从自然数标记个数到概率标记个数,从原子变迁发展到谓词变迁和子网变迁。 16、(3)软件工程 由于产品开发中的竞争和革新需要，导致产品开发者面临巨大压力.在软件工程中Petri网主要用于软件系统的建模和分析，比较成熟的是加色Petri网，可以