Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。     

利用Sun Studio C编译器实现C代码并行化

Sun C编译器提供了在多处理器机器上优化代码的功能,被优化的代码可以使用系统上的多个处理器并行执行,从而大幅提高性能。通过研究编译器的并行化功能,告诉应用软件分析并行化的约束、并行化有依赖关系的循环,改进循环并行化以提高程序性能,以及进行显式并行化,并提出并行化建议,从而为应用软件提高效率提供了一个途径。     

BANK编译模式在扩大单片机程序存储空间中的应用

利用C51编译器的BANK编译模式解决MCS-51系列单片机程序存储空间受64KB限制的问题,分析Keil C51编译器在BANK编译模式下的切换过程,提供一种软硬件的设计方法,并对设计的正确性进行了验证,从而解决了航天器设备典型单片机只能提供16B地址线对程序代码寻址的问题.     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

LCC51 调试/仿真软件的实现方法

概述了用Ｃ语言来进行８０５１系列单片机系统开发的可行性和特点；讨论了在一个Ｃ语言源级调试／仿真软件中应包含的功能和如何进行模块的划分；描述了ＬＣＣ５１在实现这些功能模块上的思路和方法。     

HPF程序编译信息的超文本生成器

ＨＰＦ是最新的数据并行程序设计语言，其程序分析工具的研究，是ＨＰＦ编译器研制的可靠保障。本文给出了ＨＰＦ程序的中间表示抽象语法树（ＡＳＴ）的组成，研究了将ＡＳＴ转换为可读形式的工具ｄｕｍｐａｓｔ，实现了ｄｕｍｐａｓｔ的超文本自动生成器，为用户提供了观察ＡＳＴ的非线性手段，可在网络上浏览。     

适航认证中的目标码覆盖率分析工具VerOCode

监控和测试程序(测试控制和被测单元)在PPC目标机上执行,覆盖率在机器码级获得。由于目标系统提供printk函数,可在串口打印数据输出,通过超级终端或其他串口监控程序获得数据结果。一个测试运行以后,收集的覆盖率数据通过串口上传到宿主机来分析。     

RISC及其在嵌入式系统的应用

RISC 已经成为计算机界的热门话题,下一代军用嵌入式系统计算机发展趋势是采用32位的 RISC 结构的微计算机。本文概述了 RISC 的发展历史、定义、特点及其状况。着重指出 RISC 已经向嵌入式系统渗透。