排序方式: 共有64条查询结果,搜索用时 31 毫秒
1.
首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。 相似文献
2.
3.
InfiniBand结构中SDP协议分析 总被引:1,自引:0,他引:1
InfiniBand是一种新型宽带互联结构,可以提高CPU之间、服务器各设备之间、网络域之间的通信速率。SDP是InfiniBand结构中一种轻量级通信协议,保持了TCP/IP上的SOCK_STREAM套接字语法,通过旁路操作系统内核,实现了零拷贝,从而大大提高了传输速率。文章介绍了InfiniBand的互联结构和通信模式、分析了SDP协议在系统中的结构模型。最后从缓冲模型、连接建立过程和数据传输机制等方面分析了SDP的具体执行过程。 相似文献
4.
文章基于多级心跳模型,提出并实现了多入口集群调度器的环形、专用和全备份三种连接表同步模型,通过将失效节点模值指定给备份节点实现失效接管,将正常节点的连接记录和模值转移新节点实现扩展。试验表明,该方案具有很好的容错效果和扩展性。 相似文献
5.
文章针对InfiniBand路由表按目的ID确定输出通道的要求,在up*/down*路由算法计算出的全局路径表的基础上,给出了一种使用目的重命名生成路由表的算法。由于保持了up*/down*路由算法的良好特性,因此它是一种适用于任意网络拓扑的IBA并且保证无死锁的路由表生成算法。最后还分析了该算法对路由表的规模,目的ID的影响和可避免的冲突数三项性能指标。 相似文献
6.
基于Web的远程集群监控系统的设计与实现 总被引:2,自引:0,他引:2
集群系统的商品化部件构成特点在具有高性价比优点的同时,也带来了可用性和可管理性差的缺点,因此集群系统的监控就变得特别重要。该文结合国家高性能计算中心(西安)的Linux集群系统给出了一种基于Web的集群监控系统的体系结构框架以及实现策略,详细介绍了数据采集、信息收集和存储以及状态的可视化各个模块的具体实现,基于WEB的实现策略使该系统具有平台无关性和监控远程性的优点。 相似文献
7.
InfiniBand:一种新型的高速互连网络 总被引:4,自引:0,他引:4
随着计算能力向数据中心的集中,消除性能瓶颈和改进系统管理变得比以往更加重要。I/O子系统是造成这类问题的关键。InfiniBand被认为是可以消除当前I/O架构性能瓶颈的一种新的I/O技术。该文首先分析当前I/O系统的瓶颈问题,然后从IBA整体架构、层次结构、通信机制与VI架构、链路特性与服务质量等方面介绍了InfiniBand的具体情况,最后将Infiniband与其它一些高性能互连网络和标准进行了比较。 相似文献
8.
该文从MODEM的结构出发,分析了各厂家MODEM芯片组的特点,以Conexant(Rockwell)公司生产的L27型微控制器作为核心控制芯片,调制解调部分采用该公司的RC56D系列MODEM芯片组,以复用的方式研究出了一种四路多MODEM卡的设计方案。 相似文献
9.
10.
WADE是一个基于校园网络的面向对象的元计算系统,通过分布式对象模型实现广域异构资源的一致管理,提出了一种4级对象层次结构支持模型的组织与实现,对象命名代理负责用户与系统的接口,映射用户对象标识符UOID到系统对象标识符SOID,对象通信代理为对象绑定通信地址,建立通信对象标识符COID,对象存储管理器则负责对象的惰性保存,并通过永久对象标识符POID识别惰性对象,WADE采用了双Cache缓冲机制,有利于提高对象的操作与通信性能。 相似文献