基于全局时钟的并行程序调试的若干关键技术研究
项目介绍
AI项目解读
基本信息
- 批准号:61003064
- 项目类别:青年科学基金项目
- 资助金额:21.0万
- 负责人:
- 依托单位:
- 学科分类:F0204.计算机系统结构与硬件技术
- 结题年份:2013
- 批准年份:2010
- 项目状态:已结题
- 起止时间:2011-01-01 至2013-12-31
- 项目参与者:陈天石; 王朋宇; 崔浩; 李晓钰; 钱诚; 黄静; 李磊; 王玲; 孙国庆;
- 关键词:
项目摘要
为充分发挥片上多核处理器的计算能力,并行程序越来越受到人们的关注。但由于访存执行时间的不确定性,进程间访存交错空间呈指数级增长,并行程序的调试非常困难。因此学术界和工业界开始广泛关注并行调试问题,希望通过软硬件系统的支持来降低多核处理器上并行调试的难度。然而传统的并行调试都是建立在Lamport多年前提出的分布式系统逻辑序理论之上。这套理论不考虑全局时钟,仅依靠进程间的通讯来对访存事件排序,给记录、检测和重放等调试常见行为都带来了很大的困难,使得目前的并行调试代价大、效率低。本项目考虑到片上多核处理器中各个核距离非常近,已不再是传统意义上的分布式系统,因而引入可扩展的低误差全局时钟。通过全局时钟带来的全局序,可望对并行调试带来变革,将并行调试的一些关键问题如信息采集、结果检测和确定性重放大幅度简化,实现一套较为完善的片上多核处理器上的并行程序调试系统,为国产多核处理器的设计提供借鉴。
结项摘要
本项目的研究目标是利用全局时钟对并行程序调试的一系列关键技术研究,为国产片上多核处理器设计提供借鉴。本项目引入基于全局时钟的方法,给出并行调试中多个关键问题的解决方法,包括信息采集、结果检测和确定性重放等。我们在全局时钟实现、时钟误差容忍、时间序分析方法、时间信息采集、时间序的结果检测和逻辑序还原等在内的一系列关键问题上取得了一些突破。.基于上述基本思想,本项目完成了以下工作:1.结合现有集成电路工艺设计条件,充分考虑可扩展性,提出一个切实可行的片上多核处理器低误差全局时钟实现方法。2.通过建立全局时钟下的访存操作的时间序理论,实现低代价、高效率的片上多核处理器时间序信息采集、压缩、存储导出的技术。3.基于上述两点,提出时间序下的结果检测和确定性重放机制,并最终整合为一套完整的多核处理器上的并行调试方法。4.在工业级多核处理器的C模拟器、RTL和FPGA平台上验证我们提出的方法,实现一个较为完善的多核调试软硬件协同环境。.通过本项目的研究,我们发表了45篇论文(其中包括12篇SCI,40篇EI论文),申请了15项专利,并出版了1本教材。相关工作发表在多种领域顶级会议(包括HPCA、ASPLOS、ISSCC、IJCAI、FPGA和SPAA)以及7种IEEE/ACM Trans.(包括IEEE Trans. on Computers、IEEE Trans. on Parallel&Distributed Systems、IEEE Trans. on Image Processing、IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems、IEEE Journal of Solid-State Circuits、ACM Trans. on Architecture and Code Optimization和ACM Trans. on Intelligent Systems and Technology)上。本项目也培养了一些青年研究者,获得了首届国家自然科学基金基金“优青”最年轻的入选者、首届中组部“青年拔尖人才计划”最年轻的入选者、全国百篇优博提名奖、中国计算机学会优博、中科院优博和中科院青年人才奖等荣誉。
项目成果
期刊论文数量(15)
专著数量(0)
科研奖励数量(0)
会议论文数量(21)
专利数量(12)
超大规模集成电路可调试性设计综述
- DOI:--
- 发表时间:2012
- 期刊:计算机研究与发展
- 影响因子:--
- 作者:钱诚;沈海华;陈天石;陈云霁
- 通讯作者:陈云霁
A Robust and Power-Effcient SoC Implementation in 65nm
采用 65nm 工艺实现的稳健且高能效的 SoC
- DOI:--
- 发表时间:2013
- 期刊:Journal of Computer Science and Technology
- 影响因子:0.7
- 作者:肖斌;张译夫;高燕萍;杨梁;吴冬梅;范宝峡
- 通讯作者:范宝峡
处理器验证激励在线筛选技术
- DOI:--
- 发表时间:2012
- 期刊:计算机辅助设计与图形学学报
- 影响因子:--
- 作者:郭崎
- 通讯作者:郭崎
基于MIPS架构的内存虚拟化研究
- DOI:--
- 发表时间:2013
- 期刊:计算机研究与发展
- 影响因子:--
- 作者:蔡万伟;台运方;刘奇;张戈
- 通讯作者:张戈
基于共享存储的高可伸缩嵌入式集群模型
- DOI:--
- 发表时间:2012
- 期刊:计算机研究与发展
- 影响因子:--
- 作者:尹文轩;高翔;朱晓静;郭德源;Yin Wenxuan1,2, Gao Xiang1, Zhu Xiaojing1,;Guo
- 通讯作者:Guo
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
覆盖率驱动的随机测试生成技术综述
- DOI:--
- 发表时间:--
- 期刊:计算机辅助设计与图形学学报
- 影响因子:--
- 作者:陈云霁;沈海华;卫文丽
- 通讯作者:卫文丽
计算机系统模拟器研究综述
- DOI:--
- 发表时间:2014
- 期刊:计算机研究与发展
- 影响因子:--
- 作者:刘雨辰;王佳;陈云霁;焦帅
- 通讯作者:焦帅
低面积低功耗的机器学习运算单元设计
- DOI:--
- 发表时间:2019
- 期刊:高技术通讯
- 影响因子:--
- 作者:周聖元;周聖元;杜子东;杜子东;刘道福;刘道福;支天;支天;陈云霁;陈云霁
- 通讯作者:陈云霁
可重塑处理器:用户可定义的加速器中处理器架构
- DOI:--
- 发表时间:--
- 期刊:网络新媒体技术
- 影响因子:--
- 作者:张磊;王颖;陈云霁;徐志伟;张立新
- 通讯作者:张立新
智能芯片的评述和展望
- DOI:--
- 发表时间:2019
- 期刊:计算机研究与发展
- 影响因子:--
- 作者:韩栋;周聖元;支天;陈云霁;陈天石
- 通讯作者:陈天石
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}

内容获取失败,请点击重试

查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图

请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
陈云霁的其他基金
易编程的异构并行处理器结构
- 批准号:61432016
- 批准年份:2014
- 资助金额:350.0 万元
- 项目类别:重点项目
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}