一个基于Transputer的容错系统

Transputer是英国刀阿MOS公司推出的RISC处理机.由于其优良性能以及在容错和并行处理     

分布式双环网络的容错算法

本文提供的算法包括:在双环网络硬故障的条件下,算法能用各种信号指示出网络故障的性质和位置,正确地对网络进行修复和连接,自动地形成子回路,实现对网络的重构,保证每个子环只有一个循环令牌,建立和维持最佳的工作状态。当网络发生拓扑变化时,算法能动态地适应这种变化,达到最佳的连接。另外还对网络安全工作的方式作了一些介绍。     

多Transputer系统的NVP容错技术

本文讨论Transputer多机系统上的软件NVP容错技术，同时对典型实例的软件可靠性进行了分析．     

一种适用于分布式最佳双环局部网络的路由算法

本文提出了一种适用于分布式最佳双环局部网络的路由算法,文中称之为局部地址信息(LAI)算法.该算法具有分布适应式特点;它以局部地址信息为基本依据,开销小;在正常状态下,本路由算法能使信包经由最短路径抵达信宿,在故障状态下,它能使信包绕过故障节点或链路,准确寻径.文中着重描述了LAI路由算法规则,给出了实现本算法的过程,并对其有效性和正确性进行了模拟验证.     

适用于信号处理的小型数组处理机

本文分析了以快速付氏变换为背景的信号分析任务和特点及对计算机的要求。目前比较流行的小型数组处理机(AP)是信号处理的有力工具。通过一例说明数组机的使用方法。     

一个适用于分布式入侵检测系统的安全通信协议

分布式入侵检测系统的模块间需要进行安全通信，但是目前存在的安全通信协议不能充分保证系统通信的安全性。为满足入侵检测系统中模块问通信可靠、机密、身份认证、数据完整及新鲜的需求，该文提出了一个基于TCP协议的模块间传输安全（MTS）协议。MTS协议由握手子协议和密文传输子协议构成，前者用于协商会话密钥及通信双方的身份认证，后者则使用协商的会话密钥实现数据的安全传输。最后验证了MTS协议的安全性，并在开放的分布式入侵检测系统（ODIDS）中实现了该协议。     

基于SoC的实时信号处理系统中存储系统的容错设计

在基于SoC(System on Chip)技术的实时信号处理系统中,设计了全新的具有容错纠错自适应的二级冗余体系结构的存储系统,对新系统的可靠性进行了量化分析。在较小代价下,新系统的可靠性有显著的提高。     

分布式容错系统的任务分配算法

文章提出了分布式容错系统的任务分配算法,该算法考虑了系统任务的周期性、冗余性特点,以处理机负载平衡为目标,通过三步静态分配实现了任务在处理机中的冗余分布,在系统执行过程中的处理机故障,通过冗余任务动态唤醒实现系统重构。     

分布式容错系统的同步化策略

分布式容错的时间同步化系统虽然在我们国内还没有得到广泛的应用 ,但是随着计算机技术的发展 ,分布式环境中各计算机的时间同步化问题显得越来越重要。目前国际上有多种时间同步化的软件 ,它们的运行机制不同且各有特点 ,本文就目前流行的几种分布式容错系统的时间同步化策略进行了较详细的研究 ,并得出了相应的结论。     

适用于电力系统基于分布式的多级网络拓扑发现算法

基于拓扑结构在网络监控中的重要性,针对电力系统大型复杂的网络环境而提出了基于分布式的多级网络拓扑发现算法并进行分析阐述。     

基于Transputer的并行分布系统

讨论了一种神经网络模型－并行分处理在Ｔｒａｎｓｐｕｔｅｒ上实现的方案，主要研究了神经网络模型和Ｔｒａｎｓｐｕｔｅｒ的特点，结构，控制原理和通讯控制等。     

一种适用于分布式测量系统的CAN总线协议

本文在分析分布式测量系统结构、通信特点的基础之上，设计了一种适用于分布式测量系统的CAN总线协议，并提供了该协议具体实现的软件流程。该协议重新定义了CAN2．0B标准的仲裁场、数据场的第1字节，具有寻址范围大、无数据长度限制以及节点间通信能力强等诸多特点，很好地满足了分布式测量系统的通信要求，同时该协议具有很强的扩展性。     

适用于分布式DHR系统的可追溯直接匿名认证方案

作为拟态防御技术的基本实现模型, 动态异构冗余(Dynamic Heterogeneous Redundancy, DHR)系统在分布式场景下存在通信安全问题: 由于系统内缺乏对异构执行体的匿名保护措施以及诚实性度量方法, 异构执行体可能在未经察觉的情况下被攻击者入侵, 进而使得系统整体失效。将可信计算模块(Trusted Platform Module, TPM)引入分布式DHR系统可以缓解上述问题。然而, 现有TPM标准中使用的直接匿名认证(Direct Anonymous Attestation, DAA)方案会破坏分布式DHR系统的动态反馈机制, 因此无法直接应用于分布式DHR系统。为此,本文对DAA方案进行改进, 提出了一种适用于分布式DHR系统的可追溯直接匿名认证方案(Traceable Direct Anonymous Authentication Scheme, Tra-DAA)。本方案在维持系统内异构执行体对外匿名的同时, 为各异构执行体增加了内部追溯参数, 兼容了DHR系统的动态反馈性。此外, 我们引入了委托计算技术, 将TPM中的计算量降到了理论最低值。安全分析证明Tra-DAA在DL、DH、DBDH和LRSW假设下具备安全性, 即实现了匿名、证书不可伪造以及签名不可陷害。理论分析表明Tra-DAA相比多种代表性DAA方案在TPM运算量上具备显著优势。实验结果表明, Tra-DAA中新增的可追溯功能在整体耗时中仅占5%, 且Tra-DAA的整体效率相比TPM v2.0中的DAA方案有显著提升。具体来说, 在Join协议、伪名为空的Sign/Verifier协议, 以及伪名不为空的Sign/Verifier协议阶段, TPM的计算耗时分别缩短了33%、50%与70%。     

分布式容错计算机通讯系统的实现

本文叙述了按照分布式的动态更换通讯模式协议，简称ＤＤＣＣＰＰ（Ｄｉａｔｒｉｂｕｔｅｄ Ｄｙｎａｍｉｃ Ｃｈａｎｇｅ Ｃｏｍｍｕｎｉｃａｔｉｏｎ Ｐａｔｔｅｒｎ Ｐｒｏｔｏｃｏｌ）设计和实现的实用于分布式容错计算机的通讯系统，它为系统提供了可靠的硬核，实际运动结果令人满意。     

分布式容错计算机通讯系统的实现

本文叙述了按照分布式动态更换通讯模式协议,简称DDCCPP(DistributedDynamicChangeCommunicationPatternProto-col)设计和实现的实用于分布式容错计算机的通讯系统,它为系统提供了可靠的硬核,实际运行结果令人满意。     

适用于多机环境的分布式操作系统

为了适应迅速发展并已得到广泛应用的多微机系统的需要,对过去的一系列的单机系统软件都必须从设计原则,目标和方法上作出根本性的改进。分布式操作系统就是一种应运而生的新型的系统管理软件,它同分布式计算机系统结构一样,具有许多优异特性,如可靠性高、运行灵活、适应性强、应用面广、扩展性好、处理功能强和适于用并行模块方式进行设计等。本文叙述了在多微机环境下的分布式操作系统的一些基本问题和一系列的特点,着重阐明其在处理机管理,进程管理、存贮管理方面的一些重要特征,同时也谈及了I/O 管理,文件管理和共享表格的管理,最后还讨论了分布式操作系统的模块化设计和最优配置的考虑。通过对多微机系统中所用的几种形式的操作系统加以比较后,笔者指出,分布式操作系统最为优越。     

适用于分布式程序设计的图示化模型

VMDP(visual mode for distributed programming)模型是一个基于图标的面向分布式程序设计的图示化模型.它用图标表示分布式系统中的对象及其控制,例如,用车辆、路口和红绿灯等图标分别表示进程、资源和进程控制,从而使分布式系统中进程之间的同步、异步、互斥、共享等协调关系变得十分直观和易于理解.VMDP模型可以广泛应用到分布式系统模型、网络程序设计、并行程序设计和分布式程序设计等领域.     

非稳定环境下基于竞争消息复杂度的分布式互斥节点容错算法

目前人们已经提出了很多分布式互斥算法。为简化问题,这些算法多数要求假设系统的节点与通信均可靠,因此不存在容错处理问题。部分在先假定节点与通信可靠的基础上讨论的算法,为达到其结论的逻辑严密性,补充了节点与通信不可靠时的容错处理,但这些容错处理方式都是作为其分布式互斥算法的补充提出来的,有较大程度的理想化成分,基本上没用进行充分的性能分析。本文根据分布式互斥算法节点容错处理方式的不同,将其分为两类并对其对消息复杂度的影响进行详细讨论。在此基础上,提出一种混合的分布式互斥节点容错处理方法,以降低非稳定环境下分布式互斥算法的平均消息复杂度。     

非稳定环境下基于竞争消息复杂度的分布式互斥节点容错算法

目前人们已经提出了很多分布式互斥算法.为简化问题,这些算法多数要求假设系统的节点与通信均可靠,因此不存在容错处理问题.部分在先假定节点与通信可靠的基础上讨论的算法,为达到其结论的逻辑严密性,补充了节点与通信不可靠时的容错处理,但这些容错处理方式都是作为其分布式互斥算法的补充提出来的,有较大程度的理想化成分,基本上没用进行充分的性能分析.本文根据分布式互斥算法节点容错处理方式的不同,将其分为两类并对其时消息复杂度的影响进行详细讨论.在此基础上,提出一种混合的分布式互斥节点容错处理方法,以降低非稳定环境下分布式互斥算法的平均消息复杂度.     

基于多Agent的容错中间件失效处理系统的研究

针对敏感行业中分布式应用的容错需求问题,分析介绍Agent、多Agent系统和容错中间件技术,根据Agent和中间件特性结构上的相似性,对利用多Agent技术构建容错中间件作了尝试,并着重研究了失效检测与恢复系统;建立局部检测与全局检测互相结合的双层失效检测模型,提出融入定点恢复和异机恢复的改进型REDO失效恢复策略;最后给出基于JADE的一个系统实现。实验结果显示双层检测模型和改进型REDO恢复策略是可行的、高效率的。、