国家高技术研究发展计划(2008AA01Z101)
- 作品数：9 被引量：22H指数：3
- 相关作者：周学海马宏星张惠臻王超陈香兰更多>>
- 相关机构：中国科学技术大学华东政法大学华侨大学更多>>
- 发文基金：国家高技术研究发展计划安徽省自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 分时系统最佳节能频率及其实现方法被引量：2
- 2010年
- 针对分时操作系统,依据任务执行时间提出系统性能损失作为性能参数,定义最佳节能条件并推出最佳节能频率的计算公式;进而重点论述为实现分时操作系统中的频率管理模块,在系统频率为离散值的前提下,如何对最佳节能频率进行有效近似;最后利用实现了频率管理模块的Linux,实验验证了最佳节能频率以及对其实现的正确性和有效性,而所增加的系统开销仅为3.63%.
- 毛熠璐陈香兰唐玲吴昊龚育昌
- 关键词：分时操作系统低能耗
- 可配置的热点路径动态剖析器的硬件实现被引量：4
- 2009年
- 动态路径剖析技术能够在程序运行时识别其中频繁执行的代码块,从而指导程序的性能优化,在指令集扩展和动态二进制翻译等研究中都有着重要的应用。在对路径优化技术研究的基础上,提出一种适用于不同体系结构的简单高效的剖析器硬件实现方案(configurable hardware dynamic path profiler,CHDPP)。CHDPP能够与目标处理器低耦合地工作,通过识别程序中的分支指令来完成路径剖析并存储热点路径信息。实验结果表明,该方案在占用少量硬件资源的情况下能够高效地完成路径剖析,获得准确度高达94.1%的热点路径数和97.7%的热点路径相关信息。
- 张惠臻周学海纪金松陈香兰马宏星
- 关键词：可配置
- 异构多核平台上基于任务划分和调度的性能评估方法被引量：3
- 2012年
- 提出一种异构多核平台上的性能评估方法.该方法与多核任务的动态划分和调度算法相结合,可以获得给定任务集在不同硬件平台上的任务加速比.与此同时,针对不同层次的实时性需求,该算法可以给出硬件平台配置及任务划分方案.仿真实验和FPGA原型系统的测试数据表明,在任务之间存在依赖关系的情况下,该方法能够获得90%的精确度,在无依赖关系时,算法的精度为98.9%.
- 王超陈香兰周学海王爱立
- 关键词：多核平台可重构计算
- 一种集成可重构硬件的多核片上系统的软硬件任务划分与调度算法被引量：5
- 2010年
- 提出了一种静态的软硬件任务划分与调度相结合的算法,可以同时获得给定任务集在该类平台上的软硬件任务划分和任务调度方案.算法的时间复杂度为O(V(E+V)+V2logV+PVlogV).实验结果表明了该算法的可行性和有效性.
- 马宏星周学海高妍妍张惠臻
- 关键词：任务图任务调度可重构计算
- 异质存储系统中的高速缓存机制研究被引量：6
- 2011年
- 存储子系统是嵌入式系统的重要组成部分.由于传统存储系统的设计已经无法满足容量日益增长的需求,固态存储器的应用越来越广泛.针对固态存储系统的存取速率慢的问题,目前常用的优化技术主要有缓存和并行读写技术.然而,在大多数应用和研究中,如何将这两类技术进行融合是目前遇到的一个重大挑战.对此,本文提出一种融合了缓存技术和并行读写技术的基于循环缓冲的新型缓存机制.本方案将缓冲和固态存储模块通过交叉矩阵进行互联,并用专门的缓冲来进行读写过程中的错误处理.理论计算和仿真实验表明该机制能够有效地提升大容量固态存储系统的访问速率.原型系统证明本方案具有直接在电路板布局布线实现的高可行性.
- 王超张惠臻周学海马宏星
- 可重构指令集处理器的代码优化生成算法研究被引量：1
- 2012年
- 可重构指令集处理器能够适应多变的计算任务在性能和灵活性两方面的要求,而传统的编译后端技术无法为其生成高效的可执行代码,需要有新的代码生成方法.针对传统编译后端代码生成三阶段方法进行扩展的代码混合优化生成算法正是这样一种方法.该算法很大程度地复用了原有的三阶段代码生成过程,同时针对可重构指令集具有动态性的特点,根据系统硬件资源和重构配置,扩展了针对可重构指令代码生成的优化处理,从而能够获得切合可重构指令集处理器体系结构特性的可执行代码.相关实验与分析说明了该算法针对硬件重构得到的新平台所做的可重构指令代码生成是有效的,能够较好地提高应用程序在新平台上的执行性能.
- 张惠臻王超李曦周学海
- 关键词：代码生成指令调度
- 面向ASAP自定义指令生成算法研究
- 2010年
- 从处理器的指令集进行扩展的优势主要是降低系统设计时间和代价以及可减小代码大小、寄存器压力,从而降低取指频率和功耗。基于此,结合ASAP框架给出自定义指令生成的算法,通过数据流分析、指令簇标记、子图枚举、子图合并的方法,找出符合自定义扩展指令的多个约束要求的候选指令集合。实验结果表明,该算法能够高效地找出目标应用的所有非平凡自定义指令集合。
- 王军周学海
- 关键词：指令集扩展
- 可重构计算平台上软硬件任务划分与调度算法被引量：2
- 2010年
- 软硬件任务划分和任务调度是保证任务集合在可重构计算平台上高效运行的重要技术。传统上软硬件任务划分与任务调度独立进行,划分方案和调度方案不一定匹配,加速效果难以保证。提出了一种将软硬件任务划分与任务调度相结合的算法。该算法综合考虑了任务的执行时间、任务间的通信开销、任务间的依赖关系以及计算资源间的并发关系,可以同时获得给定任务集的软硬件任务划分方案和任务调度方案,加速效果良好。算法开销与传统的任务调度算法相当,时间复杂度为O(V2log2V+PVlog2V)。实验结果表明了该算法的可行性和有效性。
- 马宏星周学海高妍妍
- 关键词：计算机系统结构可重构计算任务图任务调度
- L4进程间通信机制的模型检测方法
- 2011年
- 采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测.实验表明了该方法的可行性和实用性.
- 高妍妍李曦周学海
- 关键词：进程间通信机制SPIN
