명령열 실행의 본질과 구현 메커니즘

초록

이 논문은 명령열(Instruction Sequence)의 실행을 “직접 실행(directly putting into effect)”이라는 보다 포괄적인 개념 안에서 정의하고, 직접 실행과 해석을 구분하며, 간접 실행(컴파일·JIT 등)과의 관계를 체계화한다.

상세 분석

논문은 먼저 “명령열을 효과에 넣는다(PISiE)”라는 일반적인 메커니즘을 도입한다. PISiE는 기계적·자동적인 과정으로서, 명령열을 어떤 형태로든 실행 가능한 상태로 만든다. 이 개념을 세부화한 것이 “직접 효과에 넣는다(dPISiE)”이며, 여기에는 두 가지 하위 형태가 존재한다: **실행(execution)**과 해석(interpretation). 실행은 다른 명령열을 동원하지 않고 순수하게 하드웨어(또는 그에 상응하는 기계) 위에서 명령열을 그대로 수행하는 과정으로 정의된다. 반면 해석은 “다른 명령열이 제공하는 기능을 이용해 현재 명령열을 구현한다”는 점에서 실행과 구별된다. 즉, 인터프리터 자체가 하나의 명령열이며, 이를 통해 대상 명령열을 실행하는 경우는 해석에 해당한다.

간접 실행은 컴파일, 사전 변환, JIT 등 명령열을 변형하거나 다른 명령열을 먼저 실행시켜 결과물을 만든 뒤 이를 실행하는 모든 과정을 포괄한다. 저자는 이러한 간접 과정이 “직접성(directness)”을 손상시키므로 dPISiE에 포함되지 않는다고 주장한다.

핵심적인 새로운 개념은 **실행성(executionality)**이다. 이는 특정 PISiE 방법이 얼마나 “실행에 가까운가”를 정량화하려는 시도로, 실행성 점수가 가장 높은 방법을 진정한 실행으로 간주한다. 실행성은 기계적 직접성, 중간 변환 유무, 실행 환경(물리적 하드웨어 vs 가상 머신) 등을 고려해 계층적으로 평가된다.

논문은 또한 명령열 사용과 관련된 36개의 용어를 표로 정리하고, 각각이 PISiE·dPISiE와 어떤 관계에 있는지 명시한다. 예를 들어 “컴파일 후 실행”은 PISiE이지만 dPISiE가 아니며, “가상 머신 위 해석”은 dPISiE에 속한다. 이러한 분류는 기존 문헌에서 혼용되던 용어들의 의미를 명확히 하고, 설계·검증·성능 분석 단계에서 올바른 개념을 선택하도록 돕는다.

마지막으로 저자는 실행 정의가 프로세서 아키텍처에 따라 달라질 수밖에 없으며, 완전한 형식적 정의보다는 실행성이라는 상대적 척도를 통해 실용적인 정의를 제공하는 것이 바람직하다고 결론짓는다. 이는 이론적 컴퓨터 과학과 실제 시스템 설계 사이의 격차를 메우는 중요한 시도이며, 향후 명령열 기반 언어, 컴파일러, 가상 머신 설계에 적용 가능한 프레임워크를 제시한다.