高性能容错处理核心的研究

本文提出了以三模冗余表决为基础构造容错处理核心的方案。三个ＣＰＵ模块采取松散同步的形式,只有在发生总线操作时才进行同步表决。在处理核心中采用了两级故障检测机制,以三模表决器作为第一级来保证处理核心有足够高的故障覆盖率;以ＣＰＵＡ模块的自检作为第二级来弥补表决器发现故障延迟的不足,缩短故障的潜伏时间。在表决器的设计中采取了表决器旁路及先编码、后表决的方法。先用编码的方式提取需要表决的数据的特征,然后     

一种基于任务全局迁移的静态调度算法

任务调度是分布实时系统中的一个关键问题.TDS等典型算法在优化条件下可得到该问题调度长度上的最优解.但是TDS等算法在节点分配时存在节点选择范围和节点执行时间范围的局限,无法最小化算法所需处理器数目.任务全局迁移调度算法GTT（global task-transferring）在保证调度长度最优的前提下,从全局范围内选择并调度任务节点,有效利用了处理器,可最小化调度所需处理器数目.优化条件下对各种算法的调度实验表明,GTT算法在加速比和效率上比TDS等同类算法有显著提高.GTT算法的时间复杂度是O（d ｜ V｜^ 2）.这里｜V｜是DAG图中的节点数,d是图中各节点入度或出度的最大值.     

容错计算机系统的中断同步算法研究

本文首先给出了容错计算机系统的一种结构设计 ,进而对此容错系统提出了在不同情况下相应的中断同步算法 ,并对每种算法都给出了明确的算法描述     

实时分布系统中Out-Tree任务的调度与检查点策略

针对实时分布系统中的Out-Tree任务，提出了一种启发式的调度算（HSA-OT），并开发了一种多处理机上的最优检查点策略。该调度算法能够保证任务的调度长度最小，所需处理器数目尽量少，没有处理机间通信开销。该检查点策略没有检查点全局一致性开销，可保证各处理机的失效率最低。     

多值逻辑的矢量变换与二值器件实现的综合

本文利用逻辑代数的矢量变换法分析了多值逻辑函数的展开问题,提出了分量递椎式的建立方法,举例说明了用二值元件实现多值逻辑函数的综合过程。本文结果表明,利用矢量变换法,可以用类似于二值逻辑的方法来处理多值逻辑问题。     

一种容错IDE镜像磁盘系统的设计与实现

本文介绍了一种基于ＰＣ—ＩＤＥ的容错镜像磁盘系统的设计与实现，提出并采用了分区镜像与镜像重构等新技术、新方法。通过可靠性分析，得出本系统存储可靠性比普通镜像磁盘提高三个数量级以上的结论。     

基于任务复制的处理器预分配算法

基于任务复制的调度算法比无任务复制的调度算法具有较好的性能．文章在分析了基于任务复制的几个典型算法(如TDS,OSA等算法)及其假设条件后,提出了以使调度长度最短作为主要目标、减少处理机数目作为次要目标的处理器预分配算法PPA．该算法对任务计算时间与任务间通信时间未做任何限制(即不考虑任务粒度)．通过与相关工作的比较可以看出：PPA算法在调度长度与处理器使用数目上均优于其它算法或与其它算法相当,同时,该算法具有与TDS,OSA相同的时间复杂度．这对嵌入式实时分布系统具有重要的意义。