피드로 돌아가기
Dev.toBackend
원문 읽기
Runtime Agnostic 설계와 Future 상태 머신을 통한 Zero-cost Async 구현
From Futures to Runtimes: How Async Rust Actually Works
AI 요약
Context
전통적인 Synchronous 프로그래밍의 Thread Blocking으로 인한 리소스 낭비와 처리량 저하 문제 분석. Go나 JS와 달리 언어 레벨의 런타임이 없는 Rust의 특성에 따른 유연한 비동기 실행 환경 필요성 대두.
Technical Solution
- Future trait를 통한 비동기 연산의 상태 머신(State Machine) 추상화로 런타임 의존성 제거
- async/await 구문을 Enum 기반의 스택 할당 구조체로 컴파일하여 Heap 할당을 최소화하는 Zero-cost Abstraction 실현
- Poll 메서드를 통한 실행 상태 확인 및 Poll::Pending 반환 시 Waker를 통한 효율적인 재스케줄링 메커니즘 채택
- Executor가 Task를 스케줄링하고 Reactor가 I/O 이벤트 발생 시 Waker를 통해 알림을 주는 역할 분리 설계
- Tokio와 같은 서드파티 런타임을 선택적으로 도입하여 Bare metal부터 Web까지 도메인별 최적화된 실행 환경 구축
실천 포인트
- CPU-bound 작업에는 Rayon을, I/O-bound 작업에는 Tokio 등 Async Runtime을 구분하여 적용 - .await 지점에서 Future가 상태 머신으로 변환되어 제어권을 반납하는 메커니즘을 이해하여 Blocking Call 혼용 주의 - 메모리 오버헤드 최소화를 위해 Future의 스택 할당 특성과 State Machine 구조 검토