“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2012ZX01039004)
- 作品数：3 被引量：1H指数：1
- 相关作者：苏锐丹张磊张辉邓超强张震宇更多>>
- 相关机构：西安电子科技大学安徽省计算与通讯软件重点实验室中国科学技术大学更多>>
- 发文基金：国家科技重大专项国家自然科学基金安徽省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 移动终端Linux内核存储IO调优研究被引量：1
- 2014年
- 基于Linux的移动智能终端普遍采用闪存设备作为存储装置,Linux内核通过Sysfs接口向用户空间提供存储IO相关的参数设置支持。文中针对移动终端系统存储IO需求,提出了存储IO调优方案,包括文件预读取、IO调度策略、EXT4文件系统3个方面的优化,并基于OMAP4平台环境进行测试。实验结果表明,本调优方法能显著提升系统存储IO的性能。
- 赵梦茹苏锐丹
- 关键词：移动终端
- 面向多核虚拟机的高效瞬态协同调度算法
- 2014年
- 随着多核硬件技术的迅速发展和应用对计算能力需求的不断增强,多核虚拟机应用也越来越广泛。但多核虚拟机会引发锁占用的可扩展性问题,锁占用严重影响系统的整体性能。本文基于Linux的完全公平调度器(CFS)设计并实现了一个高效的瞬态协同调度算法,能够高效地解决锁占用问题并获得更好的系统性能。实验结果表明,相比Linux 2.6.38内核,该算法可以显著地提高系统性能,在SysBench.OLTP的测试用例中系统整体性能最多提高到3.41倍,并且对调度公平性几乎没有影响。
- 张磊张知皦陈渝
- 关键词：虚拟机调度多核
- 程序断言与切片技术在检测程序非崩溃错误中的应用
- 2014年
- 针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序异常进行分析,判断程序是否真的出错并找到程序错误来源.实验结果表明,该方法可以有效地发现程序执行过程中发生的非崩溃错误,对程序异常进行合理的分类,约简程序代码和不变量,并将程序错误来源定位到具体的汇编指令,从而帮助程序员快速方便地找到错误来源.
- 邓超强曾凡平张辉张震宇董齐兴
- 关键词：断言切片
