[논문 리뷰] Putting Instruction Sequences into Effect

J.A. Bergstra|arXiv (Cornell University)|2011. 10. 09.

Embedded Systems Design Techniques참고 문헌 44인용 수 13

한 줄 요약

이 논문은 '지시어 시퀀스를 실현하는 것'(PISiE)이라는 광범위한 개념을 도입하여 지시어 시퀀스 실행(ISE)을 정의하는 형식적 프레임워크를 제안한다. 실행과 해석, 간접적 방법(예: 컴파일)을 구분하며, 기술적 변화를 수반하는 기술적 진보를 반영할 수 있도록 동적이고 진동하는(스피raling) 정의를 제공하는 '실행성(executionality)'을 측정 척도로 도입한다.

ABSTRACT

An attempt is made to define the concept of execution of an instruction sequence. It is found to be a special case of directly putting into effect of an instruction sequence. Directly putting into effect of an instruction sequences comprises interpretation as well as execution. Directly putting into effect is a special case of putting into effect with other special cases classified as indirectly putting into effect.

연구 동기 및 목표

• 이론적 컴퓨터 과학에서 지시어 시퀀스 실행(ISE)에 대한 정밀하고 기술에 종속되지 않는 정의가 부족한 문제를 해결하기 위해.
• 실행, 해석, 컴파일과 같은 간접적 방법 사이의 모호함을 해결하기 위해.
• 지속적으로 변화하는 컴퓨터 기술에서의 핵심 개념을 유지하면서도 구현 세부 사항에서 추상화하는 개념적 프레임워크를 개발하기 위해.
• 진정한 실행에 얼마나 가까운지 측정하는 척도로 '실행성'을 도입하여 절대적이지 않고 진화하는 실행의 정의를 가능하게 하기 위해.

제안 방법

• 논문은 '지시어 시퀀스를 실현하는 것'(PISiE)을 일반적인 개념으로 도입하며, 이를 직접적 및 간접적 PISiE로 하위 유형으로 나눈다.
• 직접적 PISiE는 기계적이고 해석적이지 않은 실행으로, 컴파일이나 사전 처리를 포함하지 않는다.
• 해석은 다른 지시어 시퀀스를 실현하는 데 의존하는 PISiE의 방법으로서 공식적으로 정의된다.
• 실행은 다른 시퀀스를 해석하지 않는 직접적 PISiE로 특징지어지며, 실행성 개념을 통해 순환적 정의를 피한다.
• 프레임워크는 정의만으로도 정신적 모델을 구성할 수 있도록 '정의의 구성'을 사용하여 사전 직관에 의존하지 않는다.
• 논문은 기술과 이해가 진전됨에 따라 정의가 진화할 수 있음을 인정하는 '스피raling 정의' 접근을 수용한다.

실험 결과

연구 질문

• RQ1 지시어 시퀀스의 직접적 실행과 해석, 또는 컴파일과 같은 간접적 방법 사이의 차이점은 무엇인가?
• RQ2 현재 또는 향후 컴퓨터 기술에 종속되지 않는 방식으로 지시어 시퀀스 실행을 어떻게 정의할 수 있는가?
• RQ3 해석은 실행 정의에서 어떤 역할을 하는가? 그리고 정의의 순환성을 어떻게 피할 수 있는가?
• RQ4 비절대적이고 진화하는 실행 정의를 공식적으로 정당화하고 이론적·실무적 맥락에서 유용하게 사용할 수 있는가?
• RQ5 '실행성'은 지시어 시퀀스를 실현하는 방법을 분류하는 데 있어 정량적 측정 척도로 얼마나 유용한가?

주요 결과

• 논문은 실행이 다른 지시어 시퀀스를 해석하는 데 의존하지 않는 직접적 실현의 특수한 경우임을 확립한다.
• 해석은 다른 지시어 시퀀스를 실현하는 방식으로 기능을 실행하는 PISiE의 방법으로 공식적으로 정의된다.
• 실행성은 PISiE 방법을 분류하기 위한 정도 기반 측정 척도로 도입되며, 최대 실행성은 진정한 실행을 나타낸다.
• 기존 기술이 없더라도 가상의 또는 미래의 실행 정의를 허용하여 향후 지향적인 이론적 모델링을 지원한다.
• 논문은 보안 및 성능 우려로 인해 실행이 점점 어려워짐에 따라 실무에서는 고수준 추상화가 지시어 시퀀스를 대체할 수 있음을 결론 내린다.