一种全系统模拟器片上缓存动态功耗分析工具

通过分析各种缓存逻辑结构和管理策略条件下的访存行为而得出5个原子操作;依据其对缓存数据阵列和标记阵列及其内部结构的操作,估算了原子操作的动态功耗并统计出缓存的动态功耗;基于修改的Cacti 6.5软件计算缓存数据阵列和标记阵列及其内部结构的功耗参数,提出了一种可用于全系统模拟器Simics的缓存动态功耗分析工具PowerGC.同时,经多组实验验证了PowerGC性能的有效性.结果表明,PowerGC可以有效评估Simics中各种缓存逻辑结构和管理策略的动态功耗.     

多核及众核体系结构下线性代数算法研究进展

线性代数算法是科学和工程计算的核心算法,高性能计算机的硬件规模越来越大,体系结构越来越复杂,已有的包含这些算法的应用程序如何在当前体系结构的高性能计算机平台上获得较高的性能是当前研究必须解决的问题.本文综述在当前多核和众核的异构平台上线性数值计算方面的现状、存在的问题和面临挑战;对这些问题可能存在的问题进行系统的分析,并给出可能发展方向.     

基于CMP的高密度计算机多目标设计方法

面向高端应用的高效能计算机一般具有高性能、高集成度、高热密度、高复杂性的特点,其研制是一项复杂的系统工程。每一环节,存在功能、性能、可靠性等相互制约但需同时兼顾的多个目标。在实践中这些方面的权衡设计如何以有序的方式展开,是一个亟待解决的关键问题。提出了可靠性与功能、性能权衡的设计方法,并应用到一款基于国产多核处理器的16路高密度计算机的自主研制中,软件仿真分析和系统实测验证了该权衡设计方法的有效性。     

合成网的进程语义

着重考察Petri网同步合成和共享合成中其进程的性质,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性,获得一系列语义关系公式,它们将为并发系统的分析和验证提供有力工具.