多处理机系统的高效实时容错调度算法

在容错调度算法副版本后调度算法的基础上,提出一种高效实时容错调度算法。对于具有容错需求的实时任务而言,由实进容错调度算法所产生的调度可保证在多处理机实时系统中一个处理机失效时,实时任务仍然可在截止时限内完成。在ＥＢＫＣＬ算法中,如何两个实时任务的基版本分配在不同的处理机Ｐｉ和Ｐｊ上,且这两个实时任务的副版本被调度到同一个处理机Ｐ’上,则两个副版本之间允许有时间上的重叠。     

UNIX 实时 I/O 调度策略调试器的设计

分析了在实现ＵＮＩＸ的实时Ｉ／Ｏ调度策略时遇到的难点,阐述了一种在ＵＮＩＸ核心外进行调试的方法,并设计了用于在ＵＮＩＸ核心外调试实时Ｉ／Ｏ策略的调试器．在这种调试器的帮助下,很容易设计实现ＵＮＩＸ的多种实时Ｉ／Ｏ调度策略．     

串行程序的并行划分算法研究

提出了将串行程序并行化的方法．首先对串行程序进行分段,提出并行划分模型,基于这个模型提出一种并行划分算法PDMA;然后给出了相关程度的定义,并根据程序段之间相关程度,提出了一种对PDMA进行改进的并行划分方法RPDMA;最后对这两种算法进行了比较和时间复杂度分析．     

DRT-UNIX的故障检测技术

论述了故障检测技术在分布式实时系统中的作用和地位,介绍了虚拟定时令牌协议,研究了利用系统对虚拟令牌的维护来检测系统中结点机故障的方法和实现技术．这种方法可为分布式实时容错处理程序提供结点机故障的信息,使得DRT-UNIX系统具有很好的容错性．     

一种实时网络通信协议的可预测性分析模型

针对定时令牌协议具有较好通信可预测性的特点 ,建立形式化的可预测性分析模型 .给出了实时报文被保证的概率的形式化定义和条件保证概率的计算方法 .用该模型对实时系统进行了分析、测试 .证明了模型的合理性和有效性 .     

分布式网络安全系统的树形层次管理模型研究

提出了一种采用树形层次结构的分布式网络安全系统管理模型．在分布式微入侵检测与微防火墙的研究基础上,重点分析了分布式网络安全系统的树形层次管理结构,提高了分布式网络安全系统的可扩展性,并讨论了管理模型的安全性问题．     

基于UDP协议的IP隧道的实现

讨论利用 UDP协议来构造 IP隧道的技术及构造原理 ,并将这种隧道与其他方式构造的隧道的效率进行比较 .还讨论了隧道的可靠性 ,以及隧道中数据包的分段和组装等关键的参数和算法 .     

一种基于有向无环图的实时任务调度算法

给出了任务之间有优先关系并且存在通信开销的实时任务系统模型 ,其拓扑结构为一有向无环图 ,并针对该系统模型提出了一种实时任务调度算法 (RTSD—Real timeTasksSchedulebasedonDAG) .该算法保证所有实时任务在它的截止期之前完成 ,取得了较好的效果 .     

实时对象模型及其可调度性分析

扩展了面向对象模型，将实时系统中的时间特性封装在对象中，形成实时对象模型．进一步在实时对象中引入多线程，将实时对象模型分为非剥夺的和可剥夺的，在此基础上比较了这两种模型的可调度性．     

分布式实时UNIX调度策略自动测试系统模型

提出基于分布式实时ＵＮＩＸ系统的调度策略自动测试系统的形式化模型,并研究了该系统核心部分的算法,给出了该自动测试系统模型的软件结构图,结果表明研究的ＵＮＩＸ实时调度策略全自动测试系统模型具有一定的通用性,根据该模型很容易设计出各种软件自动测试系统。