[논문 리뷰] Instruction sequences with dynamically instantiated instructions

J.A. Bergstra, C.A. Middelburg|2007. 11. 27.

Hermeneutics and Narrative Identity인용 수 11

한 줄 요약

이 논문은 동적으로 인스턴스화되는 명령어를 포함한 명령어 시퀀스(PGLD_dii)를 도입하며, 이러한 프로그램을 표준 PGLD 프로그램으로 매핑하는 두 가지 번역 기반 의미론을 제안한다. 주요 기여는 복잡도가 다른 접근 방식이다: 하나의 번역은 프로그램 길이와 실행 단계를 유지하지만, 다른 하나는 조합적 폭발을 유도한다. 이는 강력한 서비스를 통해 동적 명령어 인스턴스화가 최소한의 오버헤드로 에뮬레이션될 수 있음을 보여주며, 이 기능이 프로그래밍 언어 기능으로서의 유용성을 검증한다.

ABSTRACT

We study sequential programs that are instruction sequences with dynamically instantiated instructions. We define the meaning of such programs in two different ways. In either case, we give a translation by which each program with dynamically instantiated instructions is turned into a program without them that exhibits on execution the same behaviour by interaction with some service. The complexity of the translations differ considerably, whereas the services concerned are equally simple. However, the service concerned in the case of the simpler translation is far more powerful than the service concerned in the other case.

연구 동기 및 목표

• 동적으로 인스턴스화되는 명령어를 포함하는 순차 프로그램을 위한 형식적 의미론을 개발하여, PGLD 프로그램 표기법을 확장한다.
• 이러한 프로그램이 행동 동치성을 유지하면서 표준 PGLD 프로그램으로 의미 있게 번역될 수 있는지 조사한다.
• 다른 서비스 가정 조건 하에서, 복잡도가 최소인 번역 전략과 조합적 폭발을 유도하는 전략을 비교한다.
• 기본적인 어셈블리 언어 관행에서 존재하지는 않지만, 동적 명령어 인스턴스화가 실용적이고 형식적으로 다룰 수 있는 프로그래밍 기능임을 입증한다.
• 스레드 대수의 사용 메커니즘을 일반화하여 액션 변환을 지원함으로써, 프로그램 실행 중 서비스와의 상호작용을 가능하게 한다.

제안 방법

• 실행 중 프로그램과 서비스 간의 상호작용을 모델링하기 위해 일반화된 액션 변환 사용 메커니즘을 정의한다.
• 메서드 호출을 기본 명령어로 변환함으로써 동적 명령어 인스턴스화를 지원하는 상태 기반 서비스 모델을 도입한다.
• PGLD_dii 프로그램을 표준 PGLD 프로그램으로 번역하는 두 가지 전략을 제안한다: 하나는 서비스가 인스턴스화를 처리하는 간단한 번역, 다른 하나는 번역된 프로그램 자체가 인스턴스화를 수행하는 복잡한 번역.
• 프로그램의 의미를 추상적인 수학적 객체가 아닌, 알려진 간단한 프로그램을 통해 투영 의미론을 사용하여 정의한다.
• PGLD_dii 프로그램 표기법을 원시 명령어와 동적 인스턴스화 메커니즘을 포함한 PGLD의 확장으로 형식화한다.
• 번역의 복잡도를 분석하기 위해 생성된 기본 명령어 수를 비교한다: 하나의 번역은 1:1 매핑을 생성하지만, 다른 번역은 레지스터 수 I와 최대 값 N에 기반한 조합적 폭발을 유도한다.

실험 결과

연구 질문

• RQ1 투영 의미론과 표준 PGLD 프로그램으로의 번역을 통해, 동적으로 인스턴스화되는 명령어를 포함한 명령어 시퀀스를 의미적으로 정의할 수 있는가?
• RQ2 동적 명령어 인스턴스화를 에뮬레이션할 때, 번역 복잡도와 서비스의 능력 사이의 상호 교환 관계는 어떠한가?
• RQ3 프로그램 길이와 실행 단계를 유지하면서도 올바르게 동적 명령어 인스턴스화를 에뮬레이션할 수 있는 번역 전략이 존재하는가?
• RQ4 액션 변환 사용 메커니즘은 원래의 사용 메커니즘을 어떻게 일반화하여 프로그램 실행 중 서비스 상호작용을 가능하게 하는가?
• RQ5 기본 어셈블리 언어에서 존재하지는 않지만, 동적 명령어 인스턴스화가 실용적이고 형식적으로 타당한 프로그래밍 기능임을 입증할 수 있는가?

주요 결과

• 논문은 PGLD_dii 프로그램에 대해 두 가지 의미론을 제안하며, 이는 PGLD로의 번역을 통해 유도된다: 하나는 최소한의 복잡도, 다른 하나는 조합적 폭발을 유도한다.
• 간단한 번역은 각 PGLD_dii 명령어를 단일 PGLD 명령어로 매핑하여 프로그램 길이와 실행 단계를 유지한다.
• 더 복잡한 번역은 각 원시 명령어를 (5·N + 1)·((N+1)^I - 1)/N + 1개의 기본 명령어로 대체하며, 이로 인해 프로그램 크기가 지수적으로 증가한다.
• 간단한 번역에서의 서비스는 훨씬 더 강력한데, 이는 직접적으로 명령어 인스턴스화를 처리하기 때문이다. 반면 복잡한 번역은 이 功能을 내부적으로 통합한다.
• 결과적으로 동적 명령어 인스턴스화가 최소한의 오버헤드로 적절한 서비스를 통해 에뮬레이션될 수 있음을 보여주며, 실용적이고 유용한 프로그래밍 기능임을 입증한다.
• 연구는 투영 의미론이 프로그램 행동의 추상적인 수학적 모델이 필요 없이도 동적 인스턴스화와 같은 고급 기능을 다룰 수 있도록 확장될 수 있음을 보여준다.