프로세스 생성을 위한 명령 시퀀스

초록

본 논문은 단일 통과 명령 시퀀스(single‑pass instruction sequences)를 이용해 실행 환경의 응답에 따라 진행되는 스레드(thread)를 모델링하고, 이러한 스레드가 프로세스 대수(process algebra)에서 정의되는 유한 상태 프로세스를 모두 생성할 수 있음을 증명한다. 이를 위해 기본 명령을 다중 응답 테스트 명령으로 확장하고, 포스트조건 전환(postconditional switching)과 서비스 사용을 도입한다.

상세 분석

논문은 프로그램 대수(PGA)를 출발점으로 삼아, 명령이 한 번만 실행되고 이후에는 버려지는 ‘단일 통과’ 특성을 강조한다. 기존 PGA는 기본 명령, 양·음 테스트, 점프, 종료 네 종류의 원시 명령만을 제공했으며, 테스트 명령은 T/F 두 가지 응답만을 처리했다. 저자들은 여기서 ‘다중‑응답 테스트 명령(++ n : a, ‑‑ n : a)’을 도입해, 기본 명령 a가 실행된 뒤 1부터 n까지의 자연수 중 하나를 반환하도록 확장한다. 양‑테스트는 반환값 i≤n이면 i번째 다음 명령으로, 음‑테스트는 n‑i+1번째 다음 명령으로 이동한다. 이렇게 하면 하나의 명령으로 여러 분기점을 구현할 수 있어, 복잡한 제어 흐름을 짧은 시퀀스로 표현한다.

스레드 대수(BTA)는 이러한 명령 시퀀스가 실행될 때 생성되는 행동을 ‘스레드’라는 수학적 객체로 모델링한다. 기본 BTA는 T/F 두 응답만을 고려했지만, 논문은 이를 ‘포스트조건 전환(BTA_pc)’으로 일반화한다. 여기서는 응답이 자연수 집합 N⁺ 로 확장되며, 각 응답값에 대응하는 후속 스레드가 정의된다. 이 확장은 다중‑응답 테스트와 일치하여, 명령 시퀀스와 스레드 사이의 정형적 대응을 가능하게 만든다.

또한 서비스(use) 연산자를 도입해 카운터, 스택, 튜링 테이프 등 외부 상태를 가진 서비스와의 상호작용을 모델링한다. 서비스 호출은 ‘f.m’ 형태의 기본 명령으로 표현되며, 실행 시 서비스 f가 메서드 m을 수행하고 그 결과(자연수)를 반환한다. 이 메커니즘은 정규 스레드(유한 상태) 를 비정규 스레드(무한 상태) 로 변환시킬 수 있음을 보이며, 결과적으로 더 복잡한 프로세스도 단일 통과 시퀀스로 기술 가능함을 시사한다.

프로세스 대수(ACP, CCS 등)와의 연결 고리는 ‘프로세스 추출’ 연산을 통해 이루어진다. 스레드가 수행하는 일련의 액션과 그에 대한 응답을 프로세스 알파벳으로 매핑하고, 동시성·비동기성을 포함한 표준 프로세스 연산자를 적용한다. 핵심 정리는 “모든 유한 상태 프로세스는 적절히 설계된 다중‑응답 명령 시퀀스로 생성될 수 있다”는 것으로, 이는 기존 프로그램 대수의 표현력 한계를 크게 확장한다. 마지막으로, 실제 어셈블리와 유사한 명령 집합을 정의해, 이론적 결과를 실용적인 저수준 언어 설계에도 적용 가능함을 보여준다.