20、嵌入式应用面向切面机制优化与 JavaScript 代码契约驱动测试

嵌入式应用面向切面机制优化与 JavaScript 代码契约驱动测试

嵌入式应用面向切面机制优化

在嵌入式移动设备应用开发中，面向切面编程（AOP）这样的高级模块化机制，能够满足应用对可重用性、适应性、可扩展性和可移植性的需求。然而，若缺乏适当的优化，由于执行时间和代码大小的开销，它在资源有限的小型设备上的实用性会受到限制。

相关工作

许多方法都提出了对面向切面编程语言执行的优化方案：
- 限制语言动态能力 ：一些方法通过限制语言的动态能力来提高运行时性能。例如，用静态方法调用替换动态切面方法查找来优化切面调度。但我们认为切面方法的动态方法查找对软件的适当模块化很重要，所以这种方法不适用。Aspect C++ 旨在为受限环境生成小而高效的代码，但它不关注切面的可重用性，仅使用纯静态编织机制。
- 将优化集成到执行环境 ：一些工作将优化集成到面向切面语言的执行环境中。例如，扩展 Jikes Research 虚拟机以直接支持通用 AOP 语言机制，其引入的建议实例表（AIT）启发了我们的团队激活基础设施。但 Jikes VM 不适合嵌入式系统，所以该工作不针对嵌入式小型应用。
- 适配虚拟机优化技术 ：一些工作适配了知名的虚拟机优化技术来提高面向切面的运行时性能。这些优化基于 JIT 编译器，主要旨在消除编译时先前优化带来的开销。而我们选择了没有 JIT 编译器的虚拟机，并且编译时间的减少不是我们的重点，因为嵌入式系统的应用通常在更强大的主机系统上编译。
- 优化 Java 字节码解释 ：