您的位置: 专家智库 > >

国家高技术研究发展计划(2012AA010901)

作品数:31 被引量:45H指数:4
相关作者:张昱武成岗汪文祥王振江远翔更多>>
相关机构:中国科学院中国科学院大学中国科学技术大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金国家科技重大专项更多>>
相关领域:自动化与计算机技术轻工技术与工程更多>>

文献类型

  • 30篇中文期刊文章

领域

  • 30篇自动化与计算...
  • 1篇轻工技术与工...

主题

  • 8篇处理器
  • 6篇多核
  • 5篇多核处理
  • 5篇多核处理器
  • 4篇线程
  • 4篇内存
  • 3篇多线程
  • 3篇一致性
  • 3篇进制
  • 3篇二进制
  • 3篇二进制翻译
  • 3篇编程
  • 3篇编程模型
  • 3篇GPU
  • 2篇商用
  • 2篇上下文
  • 2篇上下文敏感
  • 2篇数据竞争
  • 2篇搜索
  • 2篇片上多核处理...

机构

  • 13篇中国科学院
  • 11篇中国科学院大...
  • 9篇中国科学技术...
  • 6篇龙芯中科技术...
  • 3篇江南计算技术...
  • 3篇首都师范大学
  • 2篇哈尔滨工业大...
  • 1篇河北农业大学
  • 1篇复旦大学
  • 1篇清华大学
  • 1篇中国科学院研...
  • 1篇华为技术有限...
  • 1篇上海市智能信...

作者

  • 6篇张昱
  • 4篇武成岗
  • 3篇远翔
  • 3篇王振江
  • 3篇汪文祥
  • 2篇邱晓杰
  • 2篇李中升
  • 2篇李建军
  • 2篇牛夏牧
  • 2篇胡伟武
  • 2篇冯晓兵
  • 2篇安虹
  • 2篇王文文
  • 2篇李丰
  • 2篇应欢
  • 2篇陈俊仕
  • 2篇张其良
  • 2篇唐博文
  • 1篇李兆鹏
  • 1篇李磊

传媒

  • 5篇高技术通讯
  • 4篇计算机研究与...
  • 3篇小型微型计算...
  • 3篇Journa...
  • 2篇计算机学报
  • 2篇电子技术(上...
  • 2篇计算机工程
  • 2篇计算机科学
  • 2篇中国科学:信...
  • 1篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇微电子学与计...
  • 1篇计算机工程与...
  • 1篇吉林大学学报...

年份

  • 6篇2017
  • 6篇2016
  • 9篇2015
  • 7篇2014
  • 2篇2013
31 条 记 录,以下是 1-10
排序方式:
适用于商用系统环境的低开销确定性重放技术被引量:2
2017年
针对现有确定性重放技术中存在运行时开销大和安全隐患等问题,提出了一种低开销的确定性重放技术。该技术在已有的硬件平台和系统环境下,利用页保护捕获并记录并行程序对共享内存的访问顺序。深入研究了该技术引入的性能开销,针对性地提出了私有锁、私有堆、主动抢占等优化策略。采用PARSEC测试集进行性能评估,实验结果显示该系统引入的开销较小。
应欢王东辉武成岗王喆唐博文李建军
关键词:计算机软件
基于TL2软件事务内存的并发程序的精化验证
2014年
软件事务内存并发机制将对共享存储复杂的同步访问控制转嫁给底层系统开发者,从而大大减轻高层程序员开发并发程序的负担。TL2是一个经典的基于锁的高性能软件事务内存算法。本文以一个TL2读写事务的底层具体实现为验证目标,首先采用并发程序间的精化关系来刻画基于TL2的底层细粒度并发程序是某个具体的高层抽象原子事务代码块的正确实现,然后通过基于依赖保证的并发程序模拟技术证明两个程序间具有精化关系,完成读写事务的底层实现在代码级的验证并总结TL2算法满足的不变式,为完成TL2算法在代码级的完整验证奠定基础。
赵立飞
一种基于硬件的快速确定性重放方法被引量:1
2017年
针对多核处理器上并行程序执行不确定性所造成的并行调试难问题,提出了一种基于硬件的快速确定性重放方法——时间切割者。该方法采用面向并行的记录机制来区分出原执行中并行执行的访存指令块和非并行执行的指令块,并在重放执行中避免串行执行那些在原执行中并行执行的访存指令块,从而使得重放执行的性能开销小。在多核模拟器Sim-Godson上的仿真实验结果表明:该方法的重放速度快,其性能开销仅为2%左右。此外,该方法还具有硬件支持简单特点,未来有望应用于国产多核处理器研制中。
章隆兵李磊李磊肖俊华王剑
关键词:多核处理器
二进制翻译中标志位的模式化翻译方法被引量:2
2014年
二进制翻译是在不同硬件平台之间实现软件迁移的重要手段.在二进制翻译系统中,如何在没有标志位寄存器的目标平台上模拟实现源平台上标志位寄存器的功能,是影响系统性能的关键.现有的标志位分析技术通过对标志位的定值引用进行数据流分析,尽可能多地消除冗余的标志位定值.但是,对于那些会被引用的标志位定值,现有的技术仍然需要进行翻译.这不仅会导致翻译生成代码的膨胀,还会影响二进制翻译系统的性能.提出了一种二进制翻译中基于模式化的标志位翻译方法.该方法在标志位分析技术基础上,通过将源平台上标志位定值指令和引用指令组合成固定的标志位模式,然后根据模式的具体语义选择目标平台上具有相同语义功能的指令组合进行翻译.这种模式化的翻译方法,不仅可以降低因翻译标志位而引入的代码膨胀,还可以提升二进制翻译系统的性能.实验结果表明,对于SPEC CINT2006中的程序,该方法不仅可以使翻译生成的代码量平均减少7.5%,还可以将程序的性能平均提升10%.
王文文武成岗白童心王振江远翔崔慧敏
关键词:二进制翻译代码优化
一种面向通用众核CPU的软件调试器设计
2014年
近年来,众核处理器技术飞速发展,而面向该体系架构的软件调试技术相对滞后。针对众核平台上软件调试的特点,提出了一种一对多的软件调试模型,基于开源调试器gdb,设计了指令移位断点算法。该设计克服了硬件断点数量的限制,提升了异常定位的精确度,改善了软件调试器的易用性。最后通过实例对采用该设计的软件调试器进行了验证。结果表明,该设计能够有效解决众核程序的调试问题,提高软件调试器的执行效率,帮助程序员快速定位软件错误。
王敬宇范昊
Fast image matching algorithm based on affine invariants
2014年
Feature-based image matching algorithms play an indispensable role in automatic target recognition(ATR).In this work,a fast image matching algorithm(FIMA)is proposed which utilizes the geometry feature of extended centroid(EC)to build affine invariants.Based on affine invariants of the length ratio of two parallel line segments,FIMA overcomes the invalidation problem of the state-of-the-art algorithms based on affine geometry features,and increases the feature diversity of different targets,thus reducing misjudgment rate during recognizing targets.However,it is found that FIMA suffers from the parallelogram contour problem and the coincidence invalidation.An advanced FIMA is designed to cope with these problems.Experiments prove that the proposed algorithms have better robustness for Gaussian noise,gray-scale change,contrast change,illumination and small three-dimensional rotation.Compared with the latest fast image matching algorithms based on geometry features,FIMA reaches the speedup of approximate 1.75 times.Thus,FIMA would be more suitable for actual ATR applications.
张毅卢凯高颖慧
关键词:图像匹配算法仿射不变量自动目标识别平行四边形
基于并串结合机制的数据竞争消除系统设计与实现
2016年
数据竞争是多线程程序最为常见的问题之一,数据竞争的出现会导致程序的原子性遭到破坏,从而使得推理程序的行为和改进程序的性能更加困难.为解决数据竞争带来的问题,提出了一种运行时的数据竞争消除系统DRFS(Data-Race-Free-System).DRFS将多线程程序的执行分为并行执行和串行执行两种模式,采用合理有效的模式切换机制将两种模式结合执行,为并行程序提供一个无数据竞争的运行环境.实验结果表明,DRFS在保证并行程序不会出现数据竞争的同时,并未引入很大的性能开销.
沙晗应欢唐博文乔扬
关键词:数据竞争共享内存
一种针对于堆内存对象的结构分析
2015年
对堆内存对象进行存储管理优化需要的支撑信息之一是堆对象的结构信息,本文定义指向图来抽象堆内存对象及其结构,把获取结构信息的过程变成推导指向图的过程.针对过程内的指向图推导,提出一种利用强连通分量和后支配关系的流敏感、域敏感的分析算法.针对过程间的指向图推导,提出一种递归式的上下文敏感的算法.本文的算法在开源编译器LLVM的中间语言上进行了实现.实验表明,本文的算法能达到预期的分析效果.
张学令张昱张维
关键词:存储管理上下文敏感
CCodeExtractor:一种针对C程序自动化的函数提取方法
2017年
随着程序规模和复杂性的增加,代码重构在改善软件质量、性能以及提高软件的扩展性和维护性等方面至关重要。目前的Eclipse中,C源代码重构工具的函数提取只能处理一些简单的代码,且处理过程需要人工参与,不能自动化处理。为此,提出一种C源代码级别自动化的函数提取方法(CCodeExtractor),它通过指定提取条件,在保证语义一致的前提下,将符合条件的代码片段自动分离成一个单独的函数,并将其放到新文件中,而原代码片段替换成了一个函数调用。为了验证CCodeExtractor的有效性,结合循环分析和优化在实际应用中的广泛应用,在LLVM上实现了一个提取循环的工具,将程序中满足条件的for循环封装成单独的函数。在实验中,使用该工具对6个不同规模的程序进行了测试并且对比了变换前后程序运行的结果。实验结果表明,CCodeExtractor代码提取方法在保证程序语义不变的前提下,适用于不同规模的程序。
张其良张昱周坤
关键词:LLVM
并行编程模型的确定性的证明方法及其应用
2014年
文章研究并行编程模型的确定性与其证明方法。论文介绍了确定性并行的构成因素,并给出较统一的认识;基于这些认识,提出一种从一组操作语义中归纳而得的性质证得确定性的证明方法;以一个使用共享消息通道的确定性并行编程模型为例,形式化该编程模型并证明其确定性。本文弥补了对确定性已有认识的不足,能更完善地指导测试与调试,且证明方法有一定的适用性。
李泉龙张昱
关键词:形式化验证
共3页<123>
聚类工具0