“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2009ZX01041-003-003)
- 作品数：4 被引量：5H指数：2
- 相关作者：周波崔西宁杨琼侯光霞梅涛更多>>
- 相关机构：中航工业西安航空计算技术研究所西安电子科技大学更多>>
- 发文基金：中国航空科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于通信事件的机载分布式软件调试方法
- 2011年
- 多应用分区的开发与综合是IMA系统开发的核心工作之一,而如何控制和调试基于分区间通信的分布式协作行为是关键所在。引入"通信事件"对分区间通信活动进行抽象,提出通信事件调试方法,对分区间通信的源分区和目的分区进行同步控制和对通信活动进行协同调试。进而提出一种将通信事件调试和代码调试有机结合的混合调试方法,论述了方法的调试过程以及在实践中表现出来的优点与不足。
- 张树兵叶宏
- 一种源源编译控制流优化方法
- 2012年
- 源源编译器是一种对源代码进行重构和分析的工具,在程序设计语言研究领域有着广泛的应用。给出了一种源源编译的控制流结构优化方法。方法结合编译结构分析,对于可化简合并的典型控制流结构,进行结构分析;经数据流分析满足优化条件后,实现基本块的合并。优化后程序的结构更加清晰,可读性更好。方法在SUIF编译器上实现,经使用Olden基准测试程序试验,有效提高了源代码的翻译质量。
- 王旭昊唐甜
- 关键词：数据流分析
- 事务型文件系统存储管理机制的研究与实现被引量：3
- 2011年
- 论述了事务型文件系统,提出了能够确保文件系统高效性的缓冲管理机制,结合LRU算法和高效的写合并策略,通过专用的写合并缓冲区极大地提高了数据的平均写回速率;提出了能够保证文件系统一致性的外存管理机制,采用灵活的写保护策略,通过对外存数据块进行状态标识,确保写回数据不会覆盖原有数据,保证了事务点回滚时的数据一致性。通过在嵌入式实时操作系统环境中的测试,证明了上述机制有效提升了事务型文件系统的时效性和可靠性。
- 杨琼崔西宁周波
- 关键词：缓冲管理可靠性
- 空间静态配置算法的研究与应用被引量：2
- 2012年
- 对嵌入式操作系统设计中的存储空间静态配置进行了分析。在简要介绍空间静态配置基本原理的基础上,重点阐述了静态空间划分的具体实现方法以及空间静态配置系统的设计与组成,并对静态配置算法和动态配置算法进行了对比分析,最后介绍静态空间配置算法的具体应用实例。
- 梅涛侯光霞
- 关键词：嵌入式系统
