22、嵌入式系统中程序切片标准的识别与移除以实现代码大小缩减

嵌入式系统中程序切片标准的识别与移除以实现代码大小缩减

1. 静态代码占用空间最小化技术

多年来，出现了三种基本的减少可执行代码大小（即“占用空间”）的技术：
1. 规范子集化 ：从标准共享库、API 或类层次结构中移除不常用的功能。
2. 条件编译 ：使用预处理器指令，针对每个应用手动移除功能。
3. 代码缩减 ：通过修剪所有可能执行路径的图来自动移除死代码。

为了评估这些方法，确定了三个标准：
| 标准 | 描述 |
| — | — |
| 灵活性（标准 1） | 灵活的方法给予开发者自由选择满足设计要求所需功能的权利。 |
| 可维护性（标准 2） | 可维护的方法在应用程序规模增长时仍易于管理，需要某种自动化形式以避免随着代码库增加而导致生产力下降。 |
| 运行时感知（标准 3） | “运行时感知”的方法考虑特定应用的需求，并明确移除开发者认为在运行时永远不需要的功能。 |

1.1 规范子集化

软件架构师为现有软件库指定简化的配置文件（如 API 或类层次结构），以适应资源受限的嵌入式设备。这是通过从标准库规范中移除功能来实现的。例如 Java 2 平台微型版（J2ME），它移除了标准 Java 类库的大部分内容并提供简化的虚拟机解释器，满足了许多嵌入式系统的严格要求。然而，其缺点是简化的配置文件是预先定义的，无法适应意外的应用需求，并且不利用系统运行时条件的知识。

1.2 条件编译

预处理器检查编译时配置标志，