Collaborative Research: CSR-PDOS: Managing OS Extensibilty via Aspect-oriented Programming Technology

开发人员经常以一种特别的方式扩展大型的、基于c的软件系统，包括操作系统、数据库和web服务器，以满足它们的性能和功能需求。许多扩展表示横切关注点，因为它们不适合单个程序模块，而是分散在整个源代码中。使用常用工具（特别是diff和patch）维护和应用这些扩展既耗时又容易出错。此外，在组合多个扩展时，确保其正确性是一项挑战。这项工作通过利用面向方面的软件开发技术，使横切关注点成为基于c的系统体系结构的一部分。具体地说，扩展被捕获为方面，它提供了一种语言支持的方法来表达横切关注点。这项工作还构建了一组新的工具，用于提取、注入和转换表示为方面的系统扩展。此外，该工作还开发了静态程序分析技术，该技术有助于从主线代码中分离扩展和安全组合扩展。为了验证这些工具的有效性，pi对Linux内核和开源扩展（如提供设备驱动程序隔离和恢复的Nooks系统）进行了案例研究。对于教育界来说，这项工作提供了一种有吸引力的方法来实际学习现实世界的系统。对于系统软件社区来说，这项工作提供了更快、更无缝地从想法到设计再到实现新的系统级扩展的能力。最后，对于更广泛的商业开发人员社区和他们的客户，这项工作为更灵活地重用系统软件提供了一条途径。

Developers often extend large, C-based software systems, including operating systems, databases, and web servers, in an ad-hoc manner to meet their performance and functionality requirements. Many of the extensions represent crosscutting concerns in that they do not fit within a single program module and are scattered throughout the source. Maintaining and applying such extensions with commonly used tools, notably diff and patch, is time consuming and error prone. Furthermore, it is challenging to ensure correctness when composing multiple extensions. This work makes crosscutting concerns part of the architecture of C-based systems by leveraging aspect-oriented software development techniques. Specifically, extensions are captured as aspects, which provide a language-supported methodology for expressing crosscutting concerns. The work also builds a new set of tools that extract, inject, and translate system extensions represented as aspects. Moreover, the work develops static program analysis technology that aids in the semantic separation of extension from mainline code and safe composition of extensions. To validate the tools' effectiveness, the PIs conduct case studies on the Linux kernel and open source extensions such as the Nooks system that provides device driver isolation and recovery. For the educational community, the work offers an attractive approach to hands-on learning about real-world systems. For the system software community, the work offers the ability to more rapidly and seamlessly move from idea to design to implementation for new system-level extensions. Finally, for the broader community of commercial developers and their customers, the work offers a path to more flexible reuse of system software.