신호 처리의 연산 의미론

초록

본 논문은 유닉스 신호 처리 메커니즘을 형식화하기 위해 연산 의미론을 제시한다. 신호는 예외 처리와 유사하면서도 동시성(interleaving) 특성을 갖는 특수한 인터프로세스 통신 수단이다. 저자는 빅스텝(big‑step) 스타일의 의미론이 신호 핸들러의 설치·해제·중첩을 자연스럽게 모델링한다는 점을 강조하고, SML 표준 정의에 따라 예외 처리와의 상호작용을 통합한다. 여러 예제를 통해 기존 소규모 의미론과 비교 분석하고, 복합 상황에서 신호와 예외가 어떻게 충돌·조정되는지를 규명한다.

상세 분석

논문은 먼저 유닉스 신호의 실행 모델을 상세히 살펴보고, 기존의 작은 단계(small‑step) 의미론이 신호 핸들러의 비동기적 호출과 스택 프레임의 변화를 정확히 포착하기 어렵다는 점을 지적한다. 특히 신호가 발생하면 현재 실행 중인 명령어 흐름이 즉시 중단되고, 사전에 등록된 핸들러가 실행된 뒤 원래 흐름으로 복귀하는 복합적인 제어 전이가 존재한다. 이러한 특성은 예외 처리와 유사하지만, 예외는 일반적으로 현재 스코프를 벗어나며 스택을 unwind 하는 반면, 신호는 핸들러가 반환될 때까지 현재 스코프를 유지한다는 차이가 있다.

이를 해결하기 위해 저자는 빅스텝 의미론을 채택한다. 빅스텝은 명령어 집합을 한 번에 평가하여 최종 상태를 도출하므로, 신호가 발생했을 때 “중간 상태”를 명시적으로 기록할 필요 없이, “핸들러 실행 후의 최종 상태”를 직접 기술할 수 있다. 구체적으로, 명령어 c를 평가하는 평가 관계 ⟨c,σ⟩⇓⟨σ′,r⟩(σ는 초기 상태, σ′는 최종 상태, r은 반환값 또는 예외) 를 정의하고, 신호 설치·해제 연산을 상태 σ에 메타데이터 형태로 부착한다. 신호 발생 시점에서는 현재 상태에 부착된 핸들러 목록을 조회해 가장 최근에 설치된 핸들러를 선택하고, 해당 핸들러를 새로운 빅스텝 평가에 삽입한다.

예외와의 통합은 SML 정의의 “예외 컨벤션”을 그대로 차용한다. 즉, 평가 결과가 예외 e인 경우 ⟨c,σ⟩⇓⟨σ′,raise e⟩ 로 표시하고, 신호 핸들러 내부에서 예외가 발생하면 예외 전파 규칙이 그대로 적용된다. 중요한 점은 신호 핸들러가 실행되는 동안에도 다른 신호가 중첩될 수 있다는 점이다. 이를 위해 핸들러 평가 중에도 상태에 새로운 신호‑핸들러 매핑을 동적으로 추가·제거할 수 있도록 설계하였다.

논문은 이러한 설계가 다음과 같은 장점을 제공함을 강조한다. 첫째, 복잡한 중첩 상황에서도 평가 규칙이 단순히 “핸들러를 삽입하고 평가를 재개”하는 형태로 유지되어 구현이 직관적이다. 둘째, 예외와 신호가 동시에 발생할 경우, 예외 전파가 우선 순위를 갖도록 명시적으로 규정함으로써 모호성을 제거한다. 셋째, 빅스텝 의미론은 프로그램 전체의 종료 상태를 한눈에 파악할 수 있어, 정적 분석 및 검증 도구와의 연계가 용이하다.

마지막으로, 저자는 여러 사례 연구를 통해 제안된 의미론이 기존 작은 단계 기반 모델보다 신호‑예외 상호작용을 정확히 기술함을 실증한다. 특히, 신호 핸들러 내부에서 예외를 발생시키고, 그 예외가 외부 컨텍스트로 전파되는 경우와, 예외 처리 중에 새로운 신호가 발생하는 경우를 모두 일관된 방식으로 모델링한다는 점이 핵심이다.