基于目录的一致性协议浅析

分布式共享存储体系结构是当今并行计算机的主要发展方向.在注重性能指标的多处理器系统中通常采用硬件手段解决高速缓存一致性问题.高速缓存的一致性设计成为共享存储多处理器系统的关键技术,直接关系到系统的性能、正确性和可用性.该文介绍几种典型的基于目录的一致性协议,并分析共享存储器多处理器系统中一致性协议的实现技术.     

基于目录的一致性协议浅析

分布式共享存储体系结构是当今并行计算机的主要发展方向。在注重性能指标的多处理器系统中通常采用硬件手段解决高速缓存一致性问题。高速缓存的一致性设计成为共享存储多处理器系统的关键技术，直接关系到系统的性能、正确性和可用性。该介绍几种典型的基于目录的一致性协议，并分析共享存储器多处理器系统中一致性协议的实现技术。     

服务器内存数据保护技术浅析

介绍几种服务器内存数据保护技术,奇偶校验、ECC、Chipkiu以及更高级的内存热备份和内存镜像技术,并就各自优劣进行分析和比较.并提供三年内存使用的模拟实验数据,有力的证实了Chipkill技术的可靠性和实用性.     

一种WFA仲裁模式优化算法

本文研究了WFA仲裁算法,WFA采用的固定轮转优先级的仲裁算法,没有考虑到各端口队列的长度和消息包的缓急情况。本文针对WFA算法存在的这种不足提出了一种改进算法,该算法易于实现、仲裁更公平,通过软件建模的方式进行了模拟,模拟结果表明,优化具有较好的效果。     

一种基于广播的cache一致性协议的设计和验证

在全互联的网络结构下,提出了一种基于广播的cache一致性协议的详细设计,使请求传输不再像目录协议中的那样,经过第三方中转,而是直接发给所有节点,由最新拥有副本者给出响应。对协议进行了分析证明,并建立了模型,通过模型检测工具NuSMV验证了协议的正确性。     

超临界火电机组汽温动态特性研究

从物理定律出发建立了600MW超临界机组汽温系统的动态数学模型,其中包括单相受热管（过热器和再热器）模型、水冷壁两段简化模型和烟气侧传热模型。此模型繁简适度,便于应用,除了全面地反映了600MW超临界机组过热汽温和再热汽温的动态特性,还可以用于研究锅炉动态过程中工质压力和流量的变化规律。在建模的基础上,对600MW超临界机组在100％负荷下的汽温动态特性进行了仿真研究,仿真结果和理论分析表明,所建立的模型是合理的。