Gnat：GNU Ada 编译器（2004）[pdf]
该PDF文档（2004年出版）全面介绍了Gnat（GNU Ada编译器），涵盖其架构、使用方法及在Ada编程中的应用。作为自由软件基金会GNU项目的一部分，Gnat是Ada语言的重要开源实现，适用于嵌入式系统到大型企业级应用的开发场景。
背景速读
- GNAT 是 GNU Ada 编译器，最初由纽约大学 (NYU) 开发，后来由 AdaCore 公司维护和商业化。它是 GCC (GNU Compiler Collection) 的一部分，也是目前最广泛使用的 Ada 语言编译器。
- Ada 是一种强类型、面向对象、并发安全的编程语言，起源于 1980 年代美国国防部，主要用于航空航天、国防、铁路信号等对安全性和可靠性要求极高的系统。著名的例子包括空中客车 A380 飞控系统、波音 787 部分系统、以及法国高速列车 TGV 的信号控制。
- 这份 2004 年的 PDF 详细描述了 GNAT 的架构，包括其前端 (语法分析、语义分析)、中间表示 (树结构, AST)、以及后端如何借助 GCC 生成机器码。它同时也介绍了 Ada 特有的编译特性，如任务 (tasking) 和异常处理的实现方式。
- 对于不熟悉 Ada 生态的读者：Ada 的强项在于编译期发现大量错误 (比 C/C++ 严格得多)，且内置对并发、实时系统的支持。GNAT 的开放历史使 Ada 从昂贵的专有工具转变为可自由使用的工业级语言。