Ｍ１７５０　ＡＤＡ生成的ＡＬＩ信息剖析.docVIP

Ｍ１７５０　ＡＤＡ生成的ＡＬＩ信息剖析 　　摘要：Ali文件是Ada编译工具生成的文本文件。该文对M1750 Ada编译器所生成的Ali文件作了具体的分析，并介绍了用于Ali分析的工具和Ali的应用，旨在供从事Ada编译器研究和Ada语言编码的工作者参考。 　　关键词：Ali文件；Ada语言；工程管理；交互引用信息 　　中图分类号：TP312文献标识码：A文章编号：1009-3044(2008)28-0117-02 　　Analysis of ALI Information Generated by M1750 ADA 　　HE Yan-bo, ZHU Hong-ming, GUO Yong, ZHU Ye 　　(SAST-Tongji Spaceflight Embedded Computing Lab,School of Software Engineering,Tongji University,Shanghai 201804,China) 　　Abstract: Ali file is a text file generated by M1750 Ada.This paper analyzes the Ali file, and introduces tools for the analysis of Ali file and Alis application, in order to provide help for those who are engaging in ada complier researching and coding in ada. 　　Key words: ali file; ada language; project manager; cross-reference 　　1 引言 　　Ada程序设计语言由美国国防部发起研制,目的是为了统一美军使用的计算机语言，以克服软件危机以及软件费用的急剧增长。Ada是世界上唯一一个由政府组织的统一的标准语言。1992年Ada成为我国的国军标语言。Ada语言应用的领域要求它的编译系统必须非常高效而且准确。M1750 Ada是xgc公司受欧洲太空局委托开发的一个商用的遵循GNU公共授权的开源软件，M1750 Ada基于GCC-1750开发，它受到了欧洲太空局的资助。该编译器目前在航空航天领域广泛应用。 　　相比对c语言的编译，M1750 Ada对Ada的编译另外产生了一个扩展名为ali的文件。本文将对M1750 Ada所生成的ali文件作出具体的分析。 　　2 Ali文件的生成 　　■ 　　图1 ada代码的编译过程 　　ada代码的编译可以由gnatmake命令完成，但实质上gnatmake的编译过程分为三步。如图1所示，由编译器（gcc）把Ada语言源代码（‘.adb‘和‘.ads’）编译成目标文件(‘.o’)和扩展名为ali的文件，绑定器（gnatbind）分析ali文件而后进行绑定，链接器（gnatlink）分析ali文件并链接所有的目标文件和有关的库文件最终生成可执行目标文件。 　　一个Ada程序是编译单元的集合。每一个编译单元在编译期间实际上产生两个输出文件，第一个以.o为扩展名的文件是一个一般的二进制文件，第二个是一个包括全部依赖信息的文本文件。它的文件名字和源文件一样但以.ali为扩展名，这个文件被称为Ada Library Information (ALI)File。 　　3 Ali文件的内容 　　每个ALI文件包括以下信息： 　　1) 版本信息（指明编译本单元的GNAT版本）； 　　2) 主程序信息（包括优先级、时间片设置和编译期间使用的宽字符解码）； 　　3) gcc编译本单元使用的选项列表； 　　4) 本单元的属性，包括pragmas设置、编译是否成功、使用的异常模式等； 　　5) 应用在本单元的相关约束检查列表； 　　6) 分类信息； 　　7) with的单元； 　　8) 使用在本单元的链接器的选项的编译指示； 　　9) 本单元的版本属性； 　　10) 依赖信息，它是一个文件列表，包括时间戳和校验信息； 　　11) 交互引用信息。 　　4 基于ali文件的Ada工程管理 　　在源代码工程管理中，每次源代码修改之后，所有被修改的文件必须被重新编译。Ada的依赖规则是非常复杂的，特别是过载、use语言、类属和inline子程序。gnatmake自动的执行所有需要重新编译的源代码、重新bind和重新link。 　　如果目标文件相关的Ali文件存在并且它的以前的时间戳和所有的源代码（在Ali文件依赖节中列出的）的时间戳吻合，那么该目标文件被认为“up to date”。也就是说