"퓨처는 스레드 흉내내기가 아니다" 분산 시스템과 동시성 프로그래밍 이야기

요약 마리우스 에릭센(Marius Eriksen)이 기고한 기술 블로그 글에 따르면, 현대의 대규모 분산 시스템에서는 동시성 프로그래밍이 필수적인 요소로 자리 잡았습니다. 검색 엔진이 대규모 데이터를 처리하기 위해 인덱스를 여러 조각(샤드)으로 나누고 이들에 동시에 요청을 보내는 방식이 대표적인 예시입니다. 과거에는 각 스레드가 고유한 스택을 갖는 스레드/프로세스 모델을 사용했으나, 스택 할당 및 컨텍스트 스위칭 비용이 높다는 한계가 있었습니다. 이를 해결하기 위해 단일 스레드 기반의 이벤트 루프 및 I/O 디스패치 모델(예: Node.js, libevent)이 등장했지만, I/O 작업 단위로 코드를 잘게 쪼개거나 콜백을 중첩해야 해 모듈성이 떨어지고 에러 처리가 복잡해지는 단점이 있었습니다. 글쓴이는 오늘날 하드웨어와 런타임의 발전(예: Go의 분할 스택, 경량 스레드 지원)으로 인해 "이벤트 대 스레드"의 이분법적 논쟁은 더 이상 유효하지 않다고 지적합니다. 특히 트위터의 Finagle 등에서 사용되는 조합 가능한 퓨처(Composable Future)는 단순히 콜백 지옥을 피하기 위한 대체 스레드(ersatz thread) 수단이 아닙니다. 분산 시스템에서 원격 프로시저 호출(RPC)과 같은 I/O 작업은 독립적인 실패 가능성과 고유한 지연 특성을 지닌 본질적인 비동기 작업이며, 퓨처는 이러한 비동기 세계를 타입 시스템(Future[T])을 통해 사실적으로 모델링합니다. 퓨처를 사용하면 일반 값(T)과 비동기 값(Future[T])이 명확히 구분되어 컴파일러 수준에서 비동기 연산의 동작과 실패 처리를 강제할 수 있습니다. 또한 퓨처는 순차적이거나 병렬적인 합성이 자연스러워, 비동기 연산의 결과를 또 다른 비동기 연산으로 조합하고 장애 발생 시 즉각적인 단락(short-circuit) 처리를 가능하게 합니다. 즉, 퓨처의 진정한 가치는 스레드 흉내내기가 아니라 비동기 분산 시스템의 특성을 타입과 합성성으로 안전하게 다루는 데 있습니다.