[Rust] tokio: Runtime

#Rust

tokio는 사용 사례에 따라 자체적으로 런타임 구성을 조정하는 것이 가능하다.
런타임이 어떤 식으로 동작하는지, 어떻게 조정을 해볼 수 있는지 대강 정리해본다.

런타임의 구조

tokio의 런타임은 쉽게 말하면 일종의 스레드풀이라고 할 수 있다.
스레드풀을 정의해놓고 그 영역 안에서 async 함수를 호출하면, Future 기반의 상태머신 코드로 치환되어서 스레드풀을 적절히 활용하도록 하는 것이다.

보통 tokio::main을 사용해서 최상위 스택에 글로벌 런타임을 깔고 쓰는 방식이 대표적이다.

대부분은 이 정도로만 쓰는 경우가 많고, 또 대부분은 이 정도로도 충분할 것이다.

이건 사실 다음 코드와 동등하다.

main 안에서 호출된 함수를 전부 async 클로저로 묶고, 그걸 async runtime 내에서 실행하는 것이다.

그리고 저걸 한번 더 까보면, 사실은 이런 구조다.

멀티 스레드 모드에 모든 기본기능을 활성화해서 런타임을 생성하는 것이다.

리소스를 적게 써야 하는 환경이라면, 싱글스레드 모드로 동작하게 할 수도 있다.

이러면 추가 스레드를 쓰지 않고, 현재 프로그램의 메인 스레드 내에서만 경량스레드를 분할해서 쓰는 식으로 동작한다.

worker_threads 함수를 사용하면, 원하는 스레드 개수를 지정할 수 있다.

명시적으로 설정하지 않는다면 시스템의 코어 개수로 설정된다.

기본 설정값에 있는 enable_all 함수는, 이런 일을 한다.

enable_io는 말 그대로 io와 관련된 동작을 활성화하는 플래그다. 당연히 거의 필수다.
enable_time은 timer 관련 기능들을 활성화하는 플래그다. sleep 같은걸 걸때도 필요하고, timeout 걸린 task를 사용할 때도 사용된다.

일반적인 사용사례는 아니겠지만, 여러개의 런타임을 동시에 구성해서 사용하고 싶을 수도 있다.
어떤 서브프로세스들별로 리소스를 격리하길 원한다거나, 아니면 처리 속도에 의도적인 제한을 두고 싶다거나.

일단, 런타임을 중첩하는 형태로는 불가능하다.
런타임 내에 또다른 런타임을 구성할 경우에는 오류가 발생한다.

이는 의도적인 설계 제약이다.

하지만 런타임을 병렬로 실행하는 것에는 문제가 없다.

런타임 실행 함수 자체는 blocking 함수니까 스레드로 분리해서 실행시키기만 하면 된다.