您的位置: 专家智库 > >

周曦

作品数:3 被引量:2H指数:1
供职机构:复旦大学软件学院更多>>
发文基金:国家科技重大专项更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇JAVA
  • 1篇代码
  • 1篇代码复用
  • 1篇多变量
  • 1篇虚拟机
  • 1篇冗余
  • 1篇即时编译器
  • 1篇复用
  • 1篇编译器
  • 1篇ANDROI...
  • 1篇DALVIK...
  • 1篇JAVA程序
  • 1篇JIT
  • 1篇变式

机构

  • 3篇复旦大学

作者

  • 3篇杨珉
  • 3篇周曦
  • 1篇张源
  • 1篇杨克峤
  • 1篇黄锃
  • 1篇王笛
  • 1篇周波

传媒

  • 3篇小型微型计算...

年份

  • 2篇2013
  • 1篇2010
3 条 记 录,以下是 1-3
排序方式:
一种对象粒度的Java程序并发错误检测框架被引量:1
2013年
由于多线程程序执行的复杂性和不确定性,Java程序中的并发错误难以被检测和修复.不变式检测方法作为目前最为有效的检测手段,采用提取正确程序行为的方式,能自动识别程序并发错误.但是,传统的不变式检测方法基于单个字段分析程序行为,不考虑程序中的关联变量间的依赖关系,所以无法检测多个关联变量引发的并发错误.针对这一问题,本文实现了一个对象粒度的不变式检测框架OBJ-D,基于对象操作分析程序行为.OBJ-D通过记录对象的读写依赖,能反映同一对象中多个变量间的依赖关系,为检测多变量并发错误创造了条件.测试表明,在不影响训练敏感度和性能开销的前提下,OBJ-D能同时有效检测单变量和多变量引发的并发错误,并只引入很少的假阳性.
王笛杨珉周曦
关键词:JAVA多变量
用代码缓存复用技术提升Android即时编译器效率被引量:1
2013年
选择性编译能降低程序编译开销和生成代码的存储空间需求,但面临热方法检测延时和编译延时问题.现有降低这些延时的方法因需要复杂数据结构、算法或特殊硬件的支持而不适合嵌入式虚拟机平台.针对嵌入式平台,提出使用将可执行代码缓存至文件并按需复用的方法来降低这两种延时.为此,本文以Android系统虚拟机的即时编译器为基础,设计实现了轻量级的CCARF(Code Cache and Reuse Framework).CCARF为即时编译器设计了位置无关代码生成算法,使编译生成的代码不含位置依赖信息,从而保证代码可被正确复用;基于该算法,CCARF实现了一个代码管理器,高效地将位置无关代码缓存并复用.SPECjvm98基准测试集的测试结果表明,CCARF能在控制生成代码增长的前提下,平均提升基准测试程序性能约11%.
周波张源杨珉周曦
关键词:即时编译器DALVIK虚拟机
ABCE:Java冗余数组越界检查消除
2010年
作为一个类型安全的程序语言,Java要求对每次数组访问提供越界检查.这些检查指令减慢了Java程序的运行速度.算法ABCE维护着一张不等式图,并在图中不断更新记录变量的取值信息,然后根据这些信息识别出那些冗余的数组边界检查,最后删除它们,从而达到提高程序性能的目的.科学计算类测试集SciM ark2.0的测试表明ABCE算法平均删除了76%的越界检查指令,其中LU子程序,该算法的加速近似达到理论最大值.
黄锃杨克峤周曦杨珉
关键词:JAVA
共1页<1>
聚类工具0