【摘 要】
：
本文主要设计基于软件实现N模冗余(NMR)计算机系统的表决器结构,软件冗余对于高性能、关键计算机系统来说是一种具有成本效益的方案。由于选择数据的大数量和随机性,软件冗余
论文部分内容阅读
本文主要设计基于软件实现N模冗余(NMR)计算机系统的表决器结构,软件冗余对于高性能、关键计算机系统来说是一种具有成本效益的方案。由于选择数据的大数量和随机性,软件冗余系统需要一个可编程表决器。在处理器上面运行的表决软件一般叫做“实时检测实时使用”(time-of-check-to-time-of-use, TOCTTOU),并且TOCTTOU缺陷不能承受长时间错误。为了解决这两个问题,在该文提出了用于特殊用途的表决处理器和它的嵌入式系统结构。该处理器有一组新的指令和硬件模块,这些均可以由软件来调用以加速表决软件的执行和解决已被确定的两个可靠性问题,该系统可以在FPGA平台上面运行。评估结果显示使用该系统可以减少错误检测代码的执行时间14%和代码大小56%。错误注入实验证实了该系统在即时和长久时间错误的状态下,可以移除TOCTTOU缺陷。
其他文献
本文采用了协议组合的技术，对SIP协议在每一层进一步划分成协议构件，建立了一个SIP协议组合实现模型，在这个模型中，将复杂的协议功能划分成几个小的功能，使得协议之间的交互更加清
工作流管理技术是实现企业业务过程重组、过程管理和过程自动化的核心技术,是实现先进制造战略的客观需求。工作流建模就是将实际的经营过程描述成计算机可处理的形式化表示,
一般的电子资料搜索模式为：为查找某一资料，用户可能需要到不同站点(比如各个图书馆，出版商)，不同搜索引擎上搜索与某一资料相关的所有资料，而各个站点提供给用户的服务可能是不一
存储技术与计算技术及网络技术之间的不平衡发展，使计算机系统中的存储环节日益显得薄弱，存储“瓶颈”日渐突出。尽管通过提高存储系统总线带宽、优化存储请求调度策略和增加数
项目调度问题广泛存在于建筑、工业生产、软件开发、云计算等不同行业，有效调度是提高项目效率、降低代价的重要手段。 本文考虑带资源可用性代价和截止期约束，最小化资源可
语义Web是当前Web的扩展，它为Web信息附加计算机可理解的语义，实现Web数据处理的智能化。描述逻辑被视为语义Web的主要逻辑基础，它赋予Web信息以形式化的语义。随着语义Web的发
“能够随时随地利用计算机解决各种问题”，一直是人们长久以来的愿望。移动计算技术和开放系统技术的提出和发展使得这一愿望逐步得以实现。随着计算机技术向“便携化、普适化
随着市场竞争的日益加剧,为了缩短产品开发周期、降低开发费用,产品设计正由传统的串行式过程向并行、协同的过程发展。分布式协同设计(DCD)是20世纪90年代发展起来的产品设
随着W曲数据的快速增长，人们希望快速而准确的找到自己感兴趣的信息，同时网站也希望针对不同用户的兴趣推荐不同信息，从而提高用户的使用体验，这些促使了个性化推荐系统的产生。
网格计算是伴随着互联网技术而迅速发展和逐渐成熟起来的，这给数据网格提供了基本的框架体系。但通用的网格技术又远远不能满足数据网格的需求，因为大量数据需要及时查询与处理