基于机群系统的PVM并行编程技术研究

首先简单介绍了当今最流行的分布式并行编程环境之一－PVM系统;然后论述了基于机群系统的PVM编程的一般方法,详细讨论了计算任务的分解,程序模式的选择,进程同步的设置及消息传递等关键步骤,最后,对PVM程序的调试作了简单的探讨。     

面向异构多核并行系统的层次化计算模型HmPlogP

在参数化LogP模型(PLogP模型)的基础上,针对异构多核并行系统通用核和加速核的异构性、存储的层次化、并行执行的层次化特征,提出了新的层次化计算模型Hm-PlogP.该模型对异构多核并行系统的通信和访存进行了抽象,采用向量化参数表达并行系统不同层次的特征,能够预测加速核的执行开销并以此指导并行程序的设计和优化.实验...     

InfiniBand结构中SDP协议分析

InfiniBand是一种新型宽带互联结构，可以提高CPU之间、服务器各设备之间、网络域之间的通信速率。SDP是InfiniBand结构中一种轻量级通信协议，保持了TCP/IP上的SOCK_STREAM套接字语法，通过旁路操作系统内核，实现了零拷贝，从而大大提高了传输速率。文章介绍了InfiniBand的互联结构和通信模式、分析了SDP协议在系统中的结构模型。最后从缓冲模型、连接建立过程和数据传输机制等方面分析了SDP的具体执行过程。     

InfiniBand交换网路由表目的重命名算法的研究与实现

文章针对InfiniBand路由表按目的ID确定输出通道的要求，在up*／down*路由算法计算出的全局路径表的基础上，给出了一种使用目的重命名生成路由表的算法。由于保持了up*／down*路由算法的良好特性，因此它是一种适用于任意网络拓扑的IBA并且保证无死锁的路由表生成算法。最后还分析了该算法对路由表的规模，目的ID的影响和可避免的冲突数三项性能指标。     

多入口集群的调度器失效接管模型与实现

文章基于多级心跳模型，提出并实现了多入口集群调度器的环形、专用和全备份三种连接表同步模型，通过将失效节点模值指定给备份节点实现失效接管，将正常节点的连接记录和模值转移新节点实现扩展。试验表明，该方案具有很好的容错效果和扩展性。     

自动信任协商的形式化描述与验证研究

首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。     

基于三层P2P结构的网格资源发现模型

在现有P2P技术的基础上,设计并实现了一种三层P2P网络.在原有SuperNode P2P结构的基础上进行了改进并增加一层功能节点.该结构中功能节点被用来存储从各个SuperNode收集的特定种类的网格资源信息.通过增加功能节点层可以很好地提高目前基于P2P技术的资源发现的效率,并且有效减少单点失效的问题.     

基于WDM技术的虚拟多环互连网络的自适应路由算法

自适应路由算法能够根据网络状态选择能回避阻塞或故障结点的路径，使得链路得到有效利用，均匀分布通信流量，减少平均传输延时，最大限度地提高网络的性能。该文针对一种结构简单、易于实现、性能较优的多跳虚拟环网结构DS－WDM Ring设计了三种自适应路由处算法。在PC机上设计并实现了路由算法模拟模型，对DS－WDM Ring上的自适应路由算法和静态路由算法进行了模拟，统计出了几种路由算法在不同的网络负载下的平均阻塞率、平均跳数、平均延时和结点端口的利用率，比较分析了几种路由的性能。     

集群管理系统前台的设计与实现*

集群的应用越来越广泛,但是现有集群管理系统的人机交互界面都不尽人意。介绍了一种新的基于Web的集群管理系统,重点分析了前台的设计与实现过程。通过这样的前台可以进行单一映像的远程安装、管理和监控。