Send/Sync

핵심 아이디어

[[send-sync|Send/Sync]]는 타입이 다른 스레드로 이동해도 안전한지, 혹은 여러 스레드가 동시에 참조해도 안전한지를 나타내는 Rust의 자동 트레이트 쌍입니다. Rust 컴파일러는 스레드 생성이나 메시지 전달 시점에 이 조건을 확인해 데이터 경쟁을 미리 막습니다.

이 블로그에서의 역할

Mathbong에서는 Rc<T>가 왜 스레드로 못 넘어가는지, Arc<T>가 왜 가능한지, Mutex<T>가 어떤 문제를 막는지 설명할 때 Send/Sync를 사용합니다. 동시성 규칙이 단순 문법이 아니라 타입 성질이라는 점을 보여 주는 핵심 용어입니다.