王文文
- 作品数：5 被引量：4H指数：1
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 二进制翻译中间接跳转指令的翻译方法及其系统
- 本发明涉及二进制翻译中间接跳转指令的翻译方法及系统，方法包括：步骤1，在反汇编到间接跳转指令时，根据反汇编出的源指令序列判断所述间接跳转指令是否为多分支语句或虚函数调用，如果是则进行标记，获得被标记的间接跳转指令的源跳转...
- 武成岗王文文
- 动态容忍和检测非对称数据竞争被引量：1
- 2014年
- 非对称数据竞争是数据竞争中一种常见的类型.当一个线程在临界区内访问某个共享变量,另外一个线程在临界区外或不同的临界区内同时也访问这个共享变量时,就触发了非对称数据竞争.多线程程序中的非对称数据竞争往往是有害的.为了解决非对称数据竞争引入的问题,提出了ARace.它使用共享变量保护和写缓冲区来动态容忍和检测非对称数据竞争.其中,共享变量保护用于保护临界区内只读和先读后写的共享变量,防止这些变量在临界区外被修改;写缓冲区用于缓存临界区内对共享变量的写操作.ARace不仅可以容忍临界区内和临界区外之间的非对称数据竞争,还可以对并发临界区之间的非对称数据竞争进行检测.ARace既不依赖程序源代码和编译器的支持,也不依赖额外硬件的支持.此外,还提出了一种通过动态二进制插桩技术实现ARace的方法.实验结果表明,ARace在保证容忍和检测非对称数据竞争的同时,并未引入很大的性能开销和内存开销.
- 王文文武成岗Paruj Ratanaworabhan远翔王振江李建军冯晓兵
- 二进制翻译中标志位的模式化翻译方法被引量：3
- 2014年
- 二进制翻译是在不同硬件平台之间实现软件迁移的重要手段.在二进制翻译系统中,如何在没有标志位寄存器的目标平台上模拟实现源平台上标志位寄存器的功能,是影响系统性能的关键.现有的标志位分析技术通过对标志位的定值引用进行数据流分析,尽可能多地消除冗余的标志位定值.但是,对于那些会被引用的标志位定值,现有的技术仍然需要进行翻译.这不仅会导致翻译生成代码的膨胀,还会影响二进制翻译系统的性能.提出了一种二进制翻译中基于模式化的标志位翻译方法.该方法在标志位分析技术基础上,通过将源平台上标志位定值指令和引用指令组合成固定的标志位模式,然后根据模式的具体语义选择目标平台上具有相同语义功能的指令组合进行翻译.这种模式化的翻译方法,不仅可以降低因翻译标志位而引入的代码膨胀,还可以提升二进制翻译系统的性能.实验结果表明,对于SPEC CINT2006中的程序,该方法不仅可以使翻译生成的代码量平均减少7.5%,还可以将程序的性能平均提升10%.
- 王文文武成岗白童心王振江远翔崔慧敏
- 关键词：二进制翻译代码优化
- 二进制翻译中间接跳转指令的翻译方法及其系统
- 本发明涉及二进制翻译中间接跳转指令的翻译方法及系统，方法包括：步骤1，在反汇编到间接跳转指令时，根据反汇编出的源指令序列判断所述间接跳转指令是否为多分支语句或虚函数调用，如果是则进行标记，获得被标记的间接跳转指令的源跳转...
- 武成岗王文文
- 文献传递
- 跨指令集虚拟机的性能优化技术
- 武成岗王振江崔慧敏李建军远翔王文文马湘宁唐锋冯晓兵张兆庆
- 该成果属于信息技术领域。在国家863计划、国家自然科学基金、中科院创新经费的支持下，开展了跨指令集虚拟机Digitalbridge系统的研究与开发。该成果的主要技术内容包括：1.发明了一种动静结合的跨指令集虚拟机系统框架...
- 关键词：
- 关键词：虚拟机处理器
