19、嵌入式微处理器系统软件工具开发与调试

嵌入式微处理器系统软件工具开发与调试

1. 解析器开发

在早期开发新的微处理器时，为每个新的微处理器编写解析器是一项常见任务。Yacc（Yet Another Compiler - Compiler）是当时的一个工具，而现在流行的GNU UNIX等效工具Bison允许我们定义语法。可能有人会问，为什么不使用Flex来完成这项工作呢？在语法中，我们允许像 a + b 、 a + b + c 、 a + b + c + d 等递归表达式。如果使用Flex，对于每个代数表达式都需要定义模式和动作，即使操作和操作数的数量很少，这也会是一个庞大的工作量。

Bison和Yacc都使用Bakus - Naur形式（BNF），它最初是为了指定Algol 60语言而开发的。Bison中的语法规则使用终结符和非终结符。终结符使用 %token 关键字指定，而非终结符通过其定义来声明。Yacc为每个标记分配一个数字代码，并期望这些代码由词法分析器（如Flex）提供。语法规则使用向前看左递归解析（LALR）技术。一个典型的规则如下：

Expression  :  NUMBER '+' NUMBER    { $$ = $1 + $3; }

这个规则表示一个表达式由一个数字、加号和另一个数字组成，并且可以将其简化为一个单一的表达式。相关的动作写在括号中，在这个例子中，我们将操作数栈中的元素1和3相加，并将结果压回到值栈中。解析器内部使用有限状态机（FSM）来分析代码。当解析器读取标记