软件冗余MIMD系统及其软件自修理

容错MIMD系统是目前国际国内重点研究的新型容错计算机体系结构之一，其典型结构（多处理机／多计算机系统）在复杂及高速实时领域已经得到了应用。本文着重讨论了分布式硬件冗余SISD系统和硬件冗余MIMD系统的硬件结构、软件环境及其软件自修理方面的问题。     

冗余多线程结构的重命名寄存器配对共享分配策略

同时多线程处理器允许多个线程同时执行,一方面提高了处理器的性能,另一方面也为通过线程冗余执行来容错提供了支持.冗余多线程结构将线程复制成两份,二者独立执行,并比较结果,从而实现检错或者容错.冗余多线程结构主要采用ICOUNT调度策略来解决线程间资源共享问题.然而这种策略有可能造成"饥饿"现象,并降低处理器吞吐率.提出一...     

计算机科学与技术卓越课程行动计划实践——以同济大学计算机系统级课程为例

介绍同济大学计算机科学与技术卓越课程行动计划,对计算机科学与技术系已有课程进行凝练和深化,提出"计算机系统级课程"的教学改革方案。通过两级基础深化、知识体系构建、实践能力培养和前沿技术追踪,将计算思维融入课程中,取得若干教学改革成果。     

面向在线事务处理的容错计算机系统实例分析

本文分析了几个既可用作在线事务处理，又可用作计算机网络中宿主计算机的容错计算机系统的典型实例，分析的重点是体系结构、组成、系统软件以及同计算机网络通信接口等方面的容错特性。这些典型机器对于要求高可用的面向在线事务处理计算机与计算机通信网络（计算机网络）的容错设计具有良好的参考价值。     

程控电话交换系统中的容错计算机实例分析

重点分析了六个用于典型程序控制电话（电子）交换机系统的容错计算机的体系结构和组成等方面的容错特性，这些典型的计算机或交换机系统分别是ESS系统、DEX系统（D10型）、AXE系统、UDET7116处理机、ERICA计算机系统和D70型数字交换系统。它们对于公共电话网络和基于交换的计算机通信网（计算机网络）的容错设计具有良好的参考价值。     

软件健壮性的包裹测试

软件的健壮性正变得越来越重要,目前还缺乏准确的、可重复利用的方法来衡量系统的健壮性。健壮性基准程序就是为了解决这一问题而提出的,它由一系列健壮性测试案例组成。本文以Linux为例,简要介绍了当今操作系统健壮性基准程序测试的主要方法,对用于分析测试结果的维度模型进行了分析,提出了软件健壮性的包裹测试方法,并用实例说明了其有效性。     

TCP有限状态机和协议解析在伪警报去除中的应用

面对入侵检测系统(IDS)产生的海量警报,提出了一种基于协议解析和传输控制协议(TCP)有限状态机的伪警报去除方法。对于无连接的请求/应答协议,同时分析请求数据包的攻击特征和应答数据包的返回状态码来去除伪警报;对于TCP,在协议分析的基础上建立TCP数据包的有限状态机的模型,通过判断系列数据包是否为同一TCP连接、是否包含攻击序列来去除伪警报。在DARPA2000的数据集上的实验结果表明,此方法的误警率平均降低了59.47%,对TCP和请求/应答协议的警报的识别率达到76.67%。该方法简单又有效,依赖IDS的攻击特征库,可以插件的形式在线实现。     

具有故障定位能力的健壮故障安全系统

本文以广义故障安全系统理论、数字电路的并发差错定位概念为基础,提出了一种健壮故障安全系统理论.一个基本健壮故障安全电路是由一个实现电路基本功能的基本功能电路和一个差错定位转换器所组成的.健壮故障安全电路具有并发差错定位能力.文中定义了表征健壮故障安全电路和差错定位转换器的基本特性;证明了基本功能电路与差错定位转换器互连,以构造几种具有不同健壮故障安全特性的基本电路所需满足的条件;最后还用电路实例说明了该理论的应用.     

软件失效时间数据相关性研究

通过考虑失效时间依赖于在它之前的m个失效时间数据,使用相关向量机(RVM)对软件失效时间数据进行学习从而捕捉失效时间内在的依赖关系。采用Mann-Kendall方法和Sen提出的非参数化方法,来检测m值不同时SVM软件可靠性模型预测值的变化趋势,在可靠性预测时,判断现时失效时间数据是否能比较久之前观测的失效时间数据更好地用以预测未来,最后运用实验方法得到了m的合理取值范围。     

一款通用CPU中的Load Aligner数据通道的全定制设计

深亚微米时，芯片的设计和制造成了一个复杂浩大的工程体系。本文以一款通用CPU的Load Aligner数据通道部分的全定制设计为例，讲述了一个集成电路子模块的逻辑设计，电路设计，版图设计，并给出了相关结果。