国防科学技术预先研究基金(4131612)
- 作品数：7 被引量：13H指数：2
- 相关作者：崔刚杨孝宗刘宏伟莫毓昌杨华更多>>
- 相关机构：哈尔滨工业大学更多>>
- 发文基金：国防科技技术预先研究基金国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 多级安全的分布式管理和动态行为被引量：3
- 2007年
- 传统的多级安全模型和在模型指导下设计出来的多级安全系统存在集中式管理和缺乏明确的动态管理机制这两个重要问题.本文研究了多级安全的分布式管理体系和动态多级安全管理策略.给出一个基于域的多级安全分布式管理模型,该模型集成了域分离、域隔离和域冗余的域管理安全策略.着重讨论了多级安全的动态行为和规范这些行为的安全管理策略.分别论证了所提出的安全策略的有效性和可行性.
- 莫毓昌杨孝宗金岩郭建立
- 关键词：安全管理策略
- 两级分配多可用重命名寄存器被引量：3
- 2006年
- 提出了一种新的寄存器重命名机制———两级分配多可用重命名寄存器,简称2L-MuRR,其特点如下:(1)对重命名寄存器文件(RRF)的占用要经过两级重命名和分配过程,减少了无效占用时间.(2)RRF被划分为多个不同宽度的字段,根据目标值的大小进行按字段分配,这样使每个重命名寄存器都是多可用的.(3)同一重命名寄存器内的多个目标值的写(或读)操作可以合并成一次完成,减少了RRF的访问次数和读/写端口的压力.模拟实验表明,2L-MuRR显著提高了RRF的存储能力(70%以上),能以较少的重命名寄存器满足SMT高并行度的要求,有效缓解了寄存器文件的设计压力.
- 杨华崔刚刘宏伟杨孝宗
- 关键词：同时多线程寄存器重命名高性能
- 基于泛洪的可靠广播算法分析被引量：2
- 2006年
- 由于非一致性可靠广播问题的普遍性,针对该问题已经形成了很多算法,其中最重要的是T.D.Chandra和S.Toueg提出的基于泛洪的可靠广播算法.对该算法的分析,已有的文献或者忽略,或者只是基于简短的自然语言分析.为了深入理解上述算法,对其活动性和安全性进行了严格的分析和证明.在系统模型为Fail-S ilent进程和全互联,可靠的通讯子系统的条件下,首先分析了算法的执行逻辑和执行状态.在对算法的活动性分析中得出的结论:允许故障的条件下会出现接收员进程终止于状态S’0的情况.在对算法的安全性分析中得出的结论:系统中如果存在一个进程终止在SN状态,其他所有进程或者终止在SF状态或者终止在SN状态.
- 莫毓昌崔刚
- 关键词：活动性分析
- 基于间隔译码的处理器瞬时故障检测被引量：2
- 2006年
- 同时冗余线程(SRT)重复的取指过程加剧了I-Cache和取指部件的负担,冗余线程间的取指冲突还会严重影响处理器的整体性能。在深入分析SRT故障检测机理和性能瓶颈的基础上,提出间隔译码的同时冗余线程(SD-SRT),特点如下:用统一取指队列和间隔译码技术取代间隔取指技术,在保持容错能力的前提下明确消除了冗余的取指过程,有效缓解了取指部件和I-Cache的压力,进而提高了整体性能;用统一的寄存器分配和验证机制,取代复杂的RC-Buf结构。实验表明,SD-SST比SRT性能提高20%以上,取指次数降低43%。此外,SD-SRT还显著降低了硬件设计的复杂度。
- 杨华崔刚刘宏伟杨孝宗
- 关键词：处理器瞬时故障可靠性高性能
- 面向容错COTS服务器的PB机制研究被引量：1
- 2006年
- 采用自顶向下的思想对利用PB机制构造容错COTS服务器进行了系统性的研究.首先基于实际研究开发工作给出了容错COTS服务器的系统模型,然后在该系统模型基础上设计了的通用PB机制,最后设计和分析了PB机制的四个核心算法:分布式故障诊断算法、分布式选举算法、分布式一致性控制算法和客户端/服务器协同算法.
- 莫毓昌崔刚曲峰
- 一种快速低开销的分布式死锁检测解决算法被引量：2
- 2006年
- 现有的分布式edge-chasing死锁检测算法具有消息开销大或不能并发执行的弱点,为此提出一个新的死锁检测算法,算法中检测消息由事务节点发起并在事务节点和资源节点之间传递,不保留死锁检测的中间状态,也不更新事务的资源访问请求。算法的正确性得到证明,仿真表明新算法的时间和消息开销低于同类算法。
- 程欣王鹤寿刘宏伟董剑
- 关键词：分布式系统
- 同时多线程D-cache的分配与安全
- 2006年
- D-cache是同时多线程处理器的重要共享资源,其分配方式不但影响处理器性能,而且关系到各线程的数据安全。文章提出D-cache按路动态分配策略,其特点如下:消除各线程间的cache替换冲突,彻底消除隐蔽信道的风险;根据各线程的运行情况动态调整D-cache分配,提高资源利用率;实现代价低。
- 杨华刘宏伟崔刚杨孝宗
- 关键词：同时多线程资源分配处理器
- 同时多线程D-cache的分配与安全
- D-cache是同时多线程处理器的重要共享资源,其分配方式不但影响处理器性能,而且关系到各线程的数据安全。文章提出D-cache按路动态分配策略,其特点如下:消除各线程闻的cache替换冲突,彻底消除隐蔽信道的风险;根据...
- 杨华刘宏伟崔刚杨孝宗
- 关键词：同时多线程资源分配处理器
- 文献传递
- 面向容错服务器的软件故障注入工具的研制
- 故障注入作为一种加速容错计算机系统失效的手段,能够测试和评估容错系统的容错性能。容错服务器具有处理性能高的特点,可以采用软件故障注入方式。本文介绍了两种软件故障注入方法及在此基础上设计的故障注入工具SFIT的研究和实现。...
- 孔霞董剑曲峰杨孝宗
- 关键词：容错系统软接触
- 文献传递
- 双机容错服务器解决方案的研究
- 基于高性能PC机的双机容错服务器具备极高性能价格比和可靠性,具备广泛的应用前景。本文提出了一种双机容错服务器的解决方案,同时支持双机热备份和互备援两种工作模式, 可以为用户提供不间断的数据服务。文中详细论述了系统的工作原...
- 董剑左德承刘宏伟杨孝宗
- 关键词：双机容错热备份
- 文献传递
