公共文化服务平台

李建军: 作品数：14 被引量：8H指数：2; 供职机构：中国科学院计算技术研究所更多>>; 发文基金：国家高技术研究发展计划国家自然科学基金更多>>; 相关领域：自动化与计算机技术更多>>

合作作者

一种基于阶段分析的缓存动态划分方法和系统: 本发明公开了一种基于phase分析的cache动态划分方法和系统，所述方法，包括下列步骤：启动决策进程，系统状态初始化为搜索状态并构建静态搜索树；启动应用程序进程；决策进程开始执行步骤100到300的循环，直至应用程序进...; 贾耀仓武成岗徐地王振江李建军米伟; 文献传递

适用于商用系统环境的低开销确定性重放技术被引量：2: 2017年; 针对现有确定性重放技术中存在运行时开销大和安全隐患等问题,提出了一种低开销的确定性重放技术。该技术在已有的硬件平台和系统环境下,利用页保护捕获并记录并行程序对共享内存的访问顺序。深入研究了该技术引入的性能开销,针对性地提出了私有锁、私有堆、主动抢占等优化策略。采用PARSEC测试集进行性能评估,实验结果显示该系统引入的开销较小。; 应欢王东辉武成岗王喆唐博文李建军; 关键词：计算机软件

一种非对齐访存的处理方法: 一种非对齐访存的处理方法，包括：根据目标体系结构设定翻译门限，在解释器中对访存指令进行插桩，得到非对齐访存指令的信息；当翻译单元的执行次数大于所述翻译门限时，根据所述非对齐访存指令的信息指导翻译器选择合适指令将翻译单元翻...; 李建军武成岗陈龙; 文献传递

控制流完整性的发展历程被引量：5: 2016年; 控制流劫持是一种危害性极大的攻击方式,攻击者能够通过它来获取目标机器的控制权,甚至进行提权操作,对目标机器进行全面控制。当攻击者掌握了被攻击程序的内存错误漏洞后,一般会考虑发起控制流劫持攻击。早期的攻击通常采用代码注入的方式,通过上载一段代码,将控制转向这段代码执行。; 武成岗李建军; 关键词：控制流图上载代码段粗粒度计算机系统

一种抵御代码重用攻击的方法: 本发明提供一种抵御代码重用攻击的方法，其特征在于，包括下列步骤：1)在工作进程运行过程中，洗牌进程生成工作进程的新版本代码并将其存入代码缓存区，所述代码缓存区被工作进程和洗牌进程所共享；2)所述工作进程完成新旧版本代码的...; 王喆武成岗王振江李建军

包含栈变量函数的优化方法: 本发明提供一种包含栈变量函数的优化方法，包括：申请一段物理内存空间作为所要优化的函数的映像栈，然后再申请一段虚拟内存空间作为所要优化的函数的影子栈；在所要优化的函数中选择要被提升到空闲寄存器中的栈变量；插入将被优化函数的...; 李建军武成岗; 文献传递

动态容忍和检测非对称数据竞争被引量：1: 2014年; 非对称数据竞争是数据竞争中一种常见的类型.当一个线程在临界区内访问某个共享变量,另外一个线程在临界区外或不同的临界区内同时也访问这个共享变量时,就触发了非对称数据竞争.多线程程序中的非对称数据竞争往往是有害的.为了解决非对称数据竞争引入的问题,提出了ARace.它使用共享变量保护和写缓冲区来动态容忍和检测非对称数据竞争.其中,共享变量保护用于保护临界区内只读和先读后写的共享变量,防止这些变量在临界区外被修改;写缓冲区用于缓存临界区内对共享变量的写操作.ARace不仅可以容忍临界区内和临界区外之间的非对称数据竞争,还可以对并发临界区之间的非对称数据竞争进行检测.ARace既不依赖程序源代码和编译器的支持,也不依赖额外硬件的支持.此外,还提出了一种通过动态二进制插桩技术实现ARace的方法.实验结果表明,ARace在保证容忍和检测非对称数据竞争的同时,并未引入很大的性能开销和内存开销.; 王文文武成岗Paruj Ratanaworabhan远翔王振江李建军冯晓兵

一种抵御代码重用攻击的工作进程随机化方法及系统: 本发明一种抵御代码重用攻击的工作进程随机化方法及系统，该方法包括步骤1，预先设置一新进程，将所述工作进程的内存空间共享给所述新进程，对所述新进程进行初始化，其中对所述新进程中所有的代码段进行反汇编并记录中间表示，识别代码...; 王喆武成岗王振江李建军; 文献传递

一种非对齐访存的处理方法: 一种非对齐访存的处理方法，包括：根据目标体系结构设定翻译门限，在解释器中对访存指令进行插桩，得到非对齐访存指令的信息；当翻译单元的执行次数大于所述翻译门限时，根据所述非对齐访存指令的信息指导翻译器选择合适指令将翻译单元翻...; 李建军武成岗陈龙; 文献传递

一种基于阶段分析的缓存动态划分方法和系统: 本发明公开了一种基于phase分析的cache动态划分方法和系统，所述方法，包括下列步骤：启动决策进程，系统状态初始化为搜索状态并构建静态搜索树；启动应用程序进程；决策进程开始执行步骤100到300的循环，直至应用程序进...; 贾耀仓武成岗徐地王振江李建军米伟