시간의 흐름 속 단계: 기능적 안무에서의 프로세스 분기 (Forking)

전통적인 병행 프로그래밍 (Concurrent-programming) 기법은 프로그래머가 병행 시스템 내의 각 참여자를 위해 프로그램을 고통스럽게 일일이 작성할 것을 요구합니다. 이와 대조적으로, 안무 프로그래밍 (Choreographic programming)은 프로그래머가 하나의 중앙 집중식 프로그램을 작성하면 이를 개별 프로그램들로 컴파일할 수 있게 해줍니다. 이러한 접근 방식은 데드락 프리 (Deadlock freedom)와 같은 중요한 속성을 단순화하지만, 병행 프로그래밍의 핵심 프리미티브 (Primitive)인 새로운 프로세스의 분기 (Forking)를 복잡하게 만듭니다. 본 연구는 프로세스 분기를 지원하는 최초의 함수형 안무 언어인 안무적 분기 계산법 (Choreographic fork calculus) $λ{\pitchfork}$를 통해 그 간극을 메웁니다. $λ{\pitchfork}$는 프로그램이 새로운 프로세스를 언제 생성할지, 무엇을 할지, 그리고 누구와 통신할지를 동적으로 결정할 수 있도록 허용하면서도 데드락 프리 (Deadlock-freedom) 보장을 제공합니다. 이를 통해 로드 밸런서 (Load balancers) 및 병렬 분할 정복 (Parallel divide-and-conquer)과 같은 실질적인 응용 분야를 지원합니다.