叶俊
- 作品数：12 被引量：17H指数：3
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家自然科学基金长江学者和创新团队发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向软错误的寄存器活跃区间分析被引量：1
- 2012年
- 继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法.首先通过数据流分析技术提取出可能影响程序执行的寄存器活跃区间,然后基于构成活跃区间的基本块集合计算其有效体系结构易感位数,在此基础上可定量计算寄存器软错误影响下的程序可靠性.基于MiBench基准程序的实验表明,该方法的分析结果与AVF分析法保持一致,同时还指出了寄存器相关活跃区间的关键程度,这为实现针对寄存器软错误的高效容错方法提供了依据.
- 徐建军谭庆平叶俊
- 关键词：软错误寄存器数据流分析过程间分析
- 一种基于Java虚拟机的动静结合自适应优化方法被引量：3
- 2019年
- 动态语言可以利用程序运行时获取的动态信息,指导程序进行各种优化。但是,现有的Java虚拟机没有将运行过程中收集的信息有效利用,而是在运行结束后直接丢弃,下一次执行程序的时候重新监测、收集、优化需要的信息。基于HotSpot虚拟机提出一种动静结合的自适应优化方法,将运行过程中优化对象迭代搜索到的最佳参数或者信息保存到资源库中;能够从资源库中学习获得适合当前程序的最佳参数或选项,可有效地利用运行过程中积累的数据;资源分析是静态且离线的,不占用应用程序运行的开销;迭代学习的过程中,通过避免冗余实例入库以及从库中剔除噪声实例,保证资源库学习过程的精度与效率。实验表明,该框架对指导Java虚拟机在不同的平台上自适应优化具有一定的实用性。
- 张海军郑艳叶俊白书敬
- 关键词：JAVA虚拟机自适应优化资源库
- 一种增强Java虚拟机安全的方法
- 一种增强Java虚拟机安全的方法，包括：在用户端运行应用时，用户端的安全管理器单元发起向安全中心建立连接请求；安全中心对连接请求进行验证并答复是否建立连接请求，安全中心针对连接请求验证用户端是否具备建立连接安全中心的权限...
- 唐大国季振宇郑磊叶俊李茜
- 文献传递
- 面向特征编程范式的形式化验证技术研究综述被引量：1
- 2010年
- 以面向对象编程范式开发软件经常面临类(Class)与用户需求项无法直接对应的尴尬,面向特征编程范式(FOP)旨在解决这个问题,因此具有重要意义。本文首先简介了FOP编程范式的思想,它与面向方面编程范式的异同,以及它给相应的形式化验证技术带来的挑战;然后综述了现有的FOP形式化验证方法以及我们所做的相关工作,比较了它们的优缺点;最后讨论了FOP形式化验证今后可能的研究方向。
- 叶俊谭庆平李暾
- 关键词：形式化验证
- 一种即时编译系统中的栈运算优化方法
- 本发明提供了一种即时编译系统中的栈运算优化方法。采用向量寄存器构成的全局操作数栈，剔除了栈帧中的局部操作数栈，节省了相关开销。为执行引擎的模板表引入了一个新维度，用于指示操作数栈栈顶在向量寄存器文件中位置；分配一个寄存器...
- 叶俊漆锋滨唐大国杨小川张海军
- 文献传递
- 基于层次状态机的方面化特征模块的增量式验证被引量：6
- 2009年
- 方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM的验证方法,这制约了AFM范式的应用.文中首次为AFM范式建立了形式化模型,并基于此模型提出一种AFM程序的增量式的验证方法.该方法可以从一个小规模的AFM程序的验证开始,以后每次只添加对新组合的AFM模块的验证,因此可避免直接验证大型AFM程序时可能由于模型的规模太大而无法验证的问题.
- 叶俊谭庆平李暾徐建军
- 即时编译系统自适应调优方法
- 本发明提供了一种即时编译系统自适应调优方法。提供一个跨应用程序多次使用的资源库，其中资源库中的信息，针对每个运行实例是分开的，由此每个运行实例在资源库中的信息互不影响。判断当前运行实例是否需要在线收集即时编译过程的相关信...
- 张海军唐大国郑磊李茜叶俊
- 文献传递
- 一种即时编译系统中的栈运算优化方法
- 本发明提供了一种即时编译系统中的栈运算优化方法。采用向量寄存器构成的全局操作数栈，剔除了栈帧中的局部操作数栈，节省了相关开销。为执行引擎的模板表引入了一个新维度，用于指示操作数栈栈顶在向量寄存器文件中位置；分配一个寄存器...
- 叶俊漆锋滨唐大国杨小川张海军
- 文献传递
- 用方面化特征模块开发OpenRISC1200软核
- 2011年
- 对OpenCores上的OpenRISC1200项目(简称OR1200)的统计发现,条件编译指令的使用高达714次,嵌入在条件编译指令间的代码占代码总量的61.60%。条件编译在硬件开发中被大量使用,但在软件开发时却并不提倡。因此,本文提出用方面化特征模块(AFM)开发硬件系统,以避免条件编译指令的使用。作为案例,本文给出用AFM重新开发OR1200项目的过程,它使得OR1200各features的开发从同时开发变为顺序开发,使得服务于各feature的代码从纠缠在一起变为相互独立,有利于OR1200的维护和调试。最后,基于OR1200的开发过程,本文建立了一套AFM开发方法下的硬件系统的形式化模型,它是进一步的形式化验证工作的基础。
- 吴斌叶俊
- 面向方面程序的属性推断
- 2013年
- 为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspect能够保持所有的不包含Next算子的安全属性和活性属性.Djoko等人的工作可以避免针对织后程序的直接验证.在Djoko等人工作的基础上,提出了一种新的aspect分类——functor,并提出了属性推断的概念.functor是一种仅在特定条件下修改基程序性质的aspect.functor的确会造成基程序已有性质的失效,但却是以一种可预测的方式.属性推断就是根据基程序已有的性质和functor的特有性质,直接推断出织后程序的性质.functor同样避免了针对织后程序的直接验证,是对Djoko等人工作的重要补充.
- 叶俊谭庆平李暾
- 关键词：面向方面程序形式化验证
