Firezone, 2년간 boringtun 패치 끝내고 Rust WireGuard 구현 sanstun 공개

모든 게 잘 흘러가고 있었는데, 다음 문장을 읽고 나서 상황이 달라졌다.

> 이 설계는 함수 컬러링(function coloring) 같은 문제도 피하고 Rust의 소유권 규칙과도 잘 맞는다.

async는 I/O가 아니다. I/O에 쓸 수는 있지만, 그 본질은 순수하고 결정론적인 상태 머신을 작성하는 방식으로, 논리적 흐름을 여러 전이(transition)에 흩어놓지 않고 한데 묶어 유지해 준다.

async 흐름을 명시적인 상태 머신으로 직접 컴파일하기로 선택하더라도, 여전히 '함수 컬러링'(일명 타이핑) 문제를 다뤄야 한다. 여러 상태 전이를 가로지르는 흐름(그리고 그 사이에 다른 전이를 통해 상태의 다른 분리된 부분들이 갱신될 수도 있는 흐름)은 이제 (일련의) 상태 전이로 다시 작성해야 하며, 블로킹 함수에서는 호출할 수 없다. 오히려 async 없이 모든 상태 머신을 다시 작성하는 것은 함수 컬러링 '문제'를 더 악화시킨다. 왜냐하면 다중 전이 흐름은 일반 함수와 더더욱 다르기 때문이다.