[논문 리뷰] Reflection and Hyper-Programming in Persistent Programming Systems

Graham Kirby|arXiv (Cornell University)|2010. 06. 17.

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 실제 지속성 시스템에 반사 및 초프로그램 프로그래밍을 통합하는 데 실질적인 영향은 무엇이 있는가?

주요 결과

• 타입 안전한 반사와 초프로그램 프로그래밍의 통합은 데이터 유형을 고려한 일반화된 코드 생성을 가능하게 하여 응용 프로그램 코드의 양을 크게 줄였다.
• 초프로그램 프로그래밍은 컴파일 시점에 지속성 데이터에 대한 링크 검증을 허용함으로써 오류를 조기에 발견할 수 있게 하여 프로그램의 신뢰성을 향상시켰다.
• 시스템은 지속성 스토어에 저장된 소스 표현을 노출하고 실행 가능한 프로그램 탐색을 가능하게 하는 스토어 브라우징 도구의 구축을 지원한다.
• 반사 프로그래밍과 초프로그램 프로그래밍을 지원하는 도구 세트가 성공적으로 구현되어 실용적 타당성을 입증했다.
• 소스 코드와 런타임 데이터 간의 지속적이고 통찰 가능한 링크를 유지함으로써 개발자가 지속성 환경을 더 잘 이해할 수 있도록 향상시켰다.
• 이 프레임워크는 반사 작업에서 타입 안전성을 달성하여 코드 생성 및 조작 시 런타임 타입 오류를 방지했다.