基于编译器优化的嵌入式软件缺陷分析方法  

Analysis of Embedded Software Defection Based on Compiler Optimization

作　　者：董燕[1] 黄晨[1] 左万娟[1] 于倩[1] 

机构地区：[1]北京控制工程研究所,北京100190

出　　处：《航天控制》2016年第5期64-69,共6页Aerospace Control

基　　金：国家自然科学基金资助项目(91118007)

摘　　要：嵌入式编译器会根据设定的编译选项和级别,对源代码进行优化处理,生成可执行目标码。针对嵌入式编译器的3种典型优化技术:数据预取技术、指令重排序技术和覆盖技术,结合具体实例分析问题引入机理,为有效避免编译器优化引入的软件缺陷,给出解决方案和建议。在程序开发和测试阶段应熟悉编译器优化准则,严格遵守编程约定,进一步提升嵌入式软件的质量。According to compiler option and level, the source code is optimized to generate executable object code by applying embedded compiler. The three typical embedded compiler optimization techniques known as data prefetching, instruction reordering and covering technique are analyzed. The mechanism is introduced by combining with specific examples to avoid involving bugs and then the solution and suggestion are provid- ed. Compiler optimization criteria should be known completely in the development and testing phase, and strict compliance with the agreed program is obeyed, to further enhance the quality of embedded software.

关 键 词：编译器优化 数据预取 指令重排序 覆盖技术 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]