[论文解读] Reflection and Hyper-Programming in Persistent Programming Systems

Graham Kirby|arXiv (Cornell University)|Jun 17, 2010

Parallel Computing and Optimization Techniques参考文献 81被引用 6

一句话总结

本文提出了一种在持久化编程系统中实现类型安全语言反射与超编程的框架，以增强代码重用性、可靠性及开发人员的理解能力。通过在运行时动态生成和操作代码表示，并直接引用持久化数据，该方法减少了样板代码，支持早期验证，且工具支持在持久化运行时环境中对超程序进行反射操作。

ABSTRACT

The work presented in this thesis seeks to improve programmer productivity in the following ways: - by reducing the amount of code that has to be written to construct an application; - by increasing the reliability of the code written; and - by improving the programmer's understanding of the persistent environment in which applications are constructed. Two programming techniques that may be used to pursue these goals in a persistent environment are type-safe linguistic reflection and hyper-programming. The first provides a mechanism by which the programmer can write generators that, when executed, produce new program representations. This allows the specification of programs that are highly generic yet depend in non-trivial ways on the types of the data on which they operate. Genericity promotes software reuse which in turn reduces the amount of new code that has to be written. Hyper-programming allows a source program to contain links to data items in the persistent store. This improves program reliability by allowing certain program checking to be performed earlier than is otherwise possible. It also reduces the amount of code written by permitting direct links to data in the place of textual descriptions. Both techniques contribute to the understanding of the persistent environment through supporting the implementation of store browsing tools and allowing source representations to be associated with all executable programs in the persistent store. This thesis describes in detail the structure of type-safe linguistic reflection and hyper-programming, their benefits in the persistent context, and a suite of programming tools that support reflective programming and hyper-programming. These tools may be used in conjunction to allow reflection over hyper-program representations. The implementation of the tools is described.

研究动机与目标

• 通过支持通用、可重用的程序生成，减少开发人员必须编写的代码量。
• 通过直接链接到持久化数据，实现早期验证，从而提高代码可靠性。
• 通过内省和浏览器工具，增强开发人员对持久化运行时环境的理解。
• 在统一、类型安全的系统中支持反射与超编程技术的集成。
• 提供一套工具，支持对超程序表示进行反射操作。

提出的方法

• 利用类型安全的语言反射，在运行时动态生成程序表示。
• 通过源代码对持久化数据项的直接引用实现超编程。
• 设计一种持久化运行时系统，保持源代码与存储数据对象之间的链接。
• 构建工具，支持在持久化存储中浏览和内省程序表示。
• 集成反射与超编程，以支持对超程序的反射操作。
• 通过静态检查反射操作和超引用，确保类型安全。

实验结果

研究问题

• RQ1 在持久化编程环境中，如何实现反射的类型安全，以支持可靠的代码生成？
• RQ2 超编程通过直接数据链接在哪些方面减少了样板代码并提高了可靠性？
• RQ3 如何结合反射与超编程技术，以支持高级开发工具？
• RQ4 哪些机制使开发人员能够更有效地理解并导航持久化运行时环境？
• RQ5 在真实世界的持久化系统中集成反射与超编程，其实际影响是什么？

主要发现

• 类型安全的反射与超编程的集成显著减少了应用程序所需的代码量，通过支持通用、基于数据类型的代码生成实现。
• 超编程通过在编译时验证对持久化数据的链接，实现了错误的早期检测，从而提高了程序的可靠性。
• 该系统支持构建存储浏览器工具，可暴露源代码表示，并支持在持久化存储中导航可执行程序。
• 成功实现了一套工具，支持反射编程与超编程，证明了其实际可行性。
• 通过在源代码与运行时数据之间保持持久、可内省的链接，该方法增强了开发人员对持久化环境的理解。
• 该框架在反射操作中实现了类型安全，防止了代码生成和操作期间的运行时类型错误。