Mutex 없는 동시성 제어, Rust Actor Model 설계 전략

Context

공유 가변 상태를 Mutex로 보호하는 방식은 데드락 위험을 초래함. 데이터 경합과 메모리 오염 가능성으로 인해 동시성 시스템의 안정성 확보가 어려움.

Technical Solution

• enum 기반의 명시적 메시지 타입을 정의하여 액터 간 통신 계약을 강제하는 구조
• 각 액터가 고유한 상태를 캡슐화하여 외부 접근을 차단하고 메모리 격리를 실현하는 설계
• tokio::sync::mpsc 채널을 통해 메시지를 비동기적으로 전달하는 통신 방식
• bounded channel 설정을 통해 처리 속도 초과 시 송신측을 제어하는 Backpressure 메커니즘 적용
• while let 루프와 await 키워드를 활용하여 시스템 중단 없는 논블로킹 I/O 이벤트 루프 구현
• 액터 내부의 에러를 개별적으로 포착하여 단일 메시지 오류가 전체 파이프라인 장애로 확산되는 것을 방지하는 예외 처리 전략

Key Takeaway

동기화(Synchronization)보다 격리(Isolation)에 집중하여 Race Condition을 원천 차단하는 아키텍처 설계 원칙.