Rust 비동기(Async)의 성능 개선을 위한 컴파일러 최적화, 어디까지 왔나?
by DD
2개월 전
조회수 14
비동기 Rust(Async Rust)는 바이너리 크기 증가 및 성능 저하 문제를 야기하며, 특히 임베디드 시스템에서 두드러짐
컴파일러 최적화를 통해 바이너리 크기 감소(Binary Size Reduction) 및 성능 향상을 목표로 하는 프로젝트가 제안됨
미러(MIR) 최적화 및 인라인(Inlining)을 통해 불필요한 상태 머신(State Machine) 제거 및 코드 중복을 줄이는 방안 제시
커뮤니티에서는 비동기 프로그래밍의 복잡성 및 생태계 의존성에 대한 우려와 함께, 컴파일러 최적화의 중요성에 공감
비동기 Rust(Async Rust)의 성능 문제와 컴파일러 최적화의 필요성
본문에서는 비동기 Rust(Async Rust)가 바이너리 크기 증가 및 성능 저하를 유발하는 주요 원인으로 지목된다. 특히, 각 `async` 블록(Block)마다 생성되는 상태 머신(State Machine)과 불필요한 코드 중복이 문제로 제기된다. 저자는 컴파일러 최적화를 통해 이러한 문제를 해결하고, 임베디드 시스템(Embedded System)과 같이 제한된 환경에서의 성능 개선을 목표로 한다. 컴파일러 최적화(Compiler Optimization)를 통해 바이너리 크기를 줄이고, 런타임(Runtime) 성능을 향상시킬 수 있다는 점을 강조한다.
MIR(Mid-level Intermediate Representation) 최적화 및 상태 머신(State Machine) 축소
저자는 MIR(Mid-level Intermediate Representation) 단계에서의 최적화를 통해 성능을 개선할 수 있다고 주장한다. 특히, `Future::poll` 함수가 `Ready` 상태에서 다시 호출될 때 `panic`을 발생시키는 대신 `Pending`을 반환하도록 변경하여 바이너리 크기를 2~5% 감소시키는 실험 결과를 제시한다. 또한, 불필요한 상태 머신(State Machine)을 제거하기 위해, `async` 블록 내에 `await`가 없는 경우 상태 머신을 생성하지 않도록 하는 방안을 제안한다. 를 통해 코드 중복을 줄이고, 런타임(Runtime) 오버헤드를 감소시킬 수 있다.
