async/await의 설계 공간 탐색: 언어별 동작 차이 분석
A Design Space Exploration of Async/Await
Hacker News`async`/`await`는 동시성 코드를 직관적으로 만들지만, 실제 런타임 환경에 따라 프로그램의 실행 결과가 크게 달라지는 현상이 발견되었습니다.
- 이러한 동작 차이는 단순히 성능 문제가 아닌, 태스크의 시작 시점(Eagerness), 생존 기간(Extent) 등 런타임이 내리는 복잡하고 세밀한 설계 결정에서 기인합니다.
- 따라서 개발자는 코드의 표면적 작동 방식뿐 아니라, 언어별 비동기 세미틱스와 런타임 내부 규칙을 정확히 파악하는 것이 중요합니다.
- 각 언어의 비동기 시스템은 고유한 설계 철학에 기반하므로 절대적인 정답이 없으며, 성능과 직관성 사이의 트레이드오프 이해가 필수적입니다.
많은 프로그래밍 언어가 동시성 표현을 위해 `async`/`await` 키워드를 제공하며, 이는 비동기 코드를 순차적인 코드처럼 보이게 하는 '직선형 비동기(straight-line asynchrony)' 패러다임을 구현합니다. 하지만 연구 결과에 따르면, 이 기능의 실제 동작 방식은 언어와 런타임 환경마다 매우 다르게 나타납니다. 간단한 백그라운드 로깅 프로그램 예시를 통해 테스트했을 때, 무려 일곱 개의 최신 비동기 런타임이 서로 다른 출력을 보여주는 현상이 발견되었습니다.
이러한 동작의 불일치는 단순히 성능상의 문제가 아니라, 태스크가 실행되는 방식에 대한 복잡하고 세밀한 설계 결정에서 비롯됩니다. 논문에서는 'Eagerness'와 같은 비동기 디자인 차원(design dimension)을 식별했으며, 총 아홉 가지 차원을 제시합니다. 이들은 태스크의 수명 주기(Start of Life, End of Life 등)에 따라 분류되며, 각 차원은 프로그램 실행의 관찰 가능한 의미론적 동작에 영향을 미칩니다.
구체적인 설계 선택은 프로그램의 최종 결과에 직접적인 영향을 줍니다. 예를 들어, 두 언어가 모두 'Dynamic Extent'를 채택했더라도, 종료 방식(Destruction)에서 Swift는 *Cancelled Destruction*을 사용하는 반면 Trio는 *Awaited Destruction*을 사용하여 다른 결과를 출력하는 것이 그 예입니다. 이러한 설계 차이점들은 각 언어의 고유한 디자인 철학에 기반합니다.