电子信息产业发展基金([2008]329[2008]97)
- 作品数：4 被引量：12H指数：2
- 相关作者：陈香兰李曦龚育昌时正纪金松更多>>
- 相关机构：中国科学技术大学华东政法大学更多>>
- 发文基金：电子信息产业发展基金安徽省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于模块的调度策略被引量：1
- 2009年
- Cache的缺失严重影响着计算机系统的运行效率.现代构件化软件架构中模块化程度越来越高,操作系统中传统的调度策略忽视任务的模块特性,若模块具有特定的代码/数据访问集合,模块间不合理的任务调度会导致严重的Cache缺失.本文提出了一种基于模块的调度策略MBS,可以尽量连续调度同一模块中的任务,尤其适应于构件化的服务系统.分析与实验结果表明,MBS可以有效减少此类系统的Cache缺失,明显提高系统性能.
- 张晔李曦唐玲陈香兰龚育昌
- 关键词：高速缓存调度策略
- 基于服务体/执行流模型的MiniOSEK操作系统被引量：1
- 2010年
- 为解决现有OSEK操作系统实时性不高、效率低等问题,提出了一种新的OSEK操作系统——MiniOSEK。MiniOSEK是建立在服务体/执行流模型的基础上,并符合OSEK/VDX标准规范的嵌入式操作系统。其设计思想是将消息驱动的思想引入到传统OSEK操作系统中,即当一个任务调用OSEK操作系统规范规定的应用程序编程接口(API)函数时,只需要向该接口函数发送一个消息。这样可以减少上下文切换所需的时间,提高嵌入式系统的实时性。
- 王仁李曦陈香兰
- 关键词：OSEK/VDX规范嵌入式操作系统应用程序编程接口
- 大容量NAND Flash文件系统中的地址映射算法研究被引量：7
- 2010年
- 随着Flash芯片容量的日益增长,如何设计低空间复杂度的Flash管理算法已经成为RAM空间受限的嵌入式存储系统的一个关键问题.本文根据文件在Flash介质上连续存放的特性,引入区段的概念,提出基于极大映射区段的地址映射算法,并使用简单的数据结构和高效的算法来维护映射中的区段,大大减小了Flash文件系统的RAM用量.最后,通过不同应用负载的实验验证了该算法的有效性.在部分应用负载下,可降低高达95%的RAM使用量.
- 时正陈香兰纪金松龚育昌
- 关键词：NANDFLASH嵌入式系统
- 基于分类树的OSEK/VDX操作系统一致性测试研究被引量：3
- 2010年
- 在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。
- 张志雄李曦
- 关键词：分类树方法
