지속적 질의와 늦은 응답을 위한 인터랙티브 ASM 확장

초록

이 논문은 한 단계가 끝난 뒤에 도착하는 질의 응답(지연 응답)을 다루기 위해, 인터랙티브 추상 상태 기계(ASM)에 “지속적 질의”와 그 응답을 저장할 위치를 명시하는 구문을 도입하고, 기존 소규모 단계 ASM 이론에 최소한의 의미론적 수정만을 가한다는 점을 제안한다.

상세 분석

논문은 기존 ASM 이론이 한 단계(step) 내부에서 발생하는 질의와 그 즉시 도착하는 응답만을 모델링해 왔으며, 단계 사이의 상태 전이는 완전히 알고리즘 내부에 포함된다고 가정한다는 점을 지적한다. 그러나 실제 인터랙티브 시스템에서는 질의가 발행된 단계가 종료된 뒤에야 응답이 도착하는 경우가 빈번히 발생한다. 이러한 “늦은 응답(late reply)”을 단순히 무시하거나 새로운 질의로 재발행하는 기존 접근법은, 응답이 원래 질의와 연관된 의미를 유지해야 하는 상황—예를 들어 브로커가 이미 매매를 완료했음에도 다른 고객의 응답을 받아야 하는 경우—에 부적절하다.

저자들은 이를 해결하기 위해 두 가지 핵심 아이디어를 제시한다. 첫째, 지속적 질의(persistent query)라는 개념을 도입하여, 해당 질의의 응답이 미래 단계에 영향을 미칠 수 있음을 명시한다. 둘째, 질의를 발행할 때 “태그(tag)” 혹은 “저장 위치(location)”를 함께 지정함으로써, 늦게 도착한 응답을 정확히 어느 질의에 대응되는지 식별할 수 있게 한다. 이때 태그는 알고리즘이 자체적으로 생성하며, 환경은 해당 태그와 연계된 응답을 언제든 반환한다.

구문적 확장은 기존 ASM 명령어에 ‘store‑in ℓ’ 형태의 부가 정보를 붙이는 것으로 구현된다. 의미론적으로는 단계 시작 시 비어 있는 히스토리를 유지하되, 이전 단계에서 남은 질의와 그 태그를 상태에 보존한다. 단계가 진행되는 동안 새로운 질의가 발생하면 히스토리에 추가되고, 환경은 즉시 응답을 제공하거나 지연시킨다. 단계 종료 시점에 히스토리는 소멸하지만, 태그와 연계된 늦은 응답은 상태에 저장된 위치 ℓ에 기록된다. 이후 알고리즘은 해당 위치를 읽어 응답을 활용한다.

또한 논문은 Lipari 규칙(동일 외부 함수 호출은 같은 질의로 합쳐짐)과 must‑vary 규칙(각 호출마다 고유 ID 부여) 두 가지 관례를 비교한다. 제안된 메커니즘은 두 규칙 모두와 호환 가능하지만, 특히 must‑vary 상황에서 태그 기반 식별이 필수적이다.

마지막으로, 저자들은 작은 단계(small‑step) 알고리즘에만 초점을 맞추어 이론적 기반을 명확히 한다. 이는 현재 인터랙티브 ASM 이론이 가장 완전하게 정립된 영역이며, 제안된 확장은 향후 병렬·분산 알고리즘에도 적용 가능성을 시사한다.