OCaml 5용 액터 모델 기반 멀티코어 스케줄러, Riot 소개

Riot은 OCaml 5 환경을 위해 설계된 액터 모델(Actor Model) 기반의 멀티코어 스케줄러입니다. 이 라이브러리는 Erlang에서 영감을 받은 방식으로, 경량 프로세스(lightweight processes)들이 메시지 전달(message-passing) 메커니즘을 통해 통신하는 동시성 프로그래밍 패러다임을 OCaml에 도입합니다.

주요 기능 및 특징:

1. 자동 다중 코어 스케줄링 (Automatic Multi-core Scheduling): Riot의 핵심 강점 중 하나는 프로세스 생성 시 자동적인 멀티코어 할당입니다. 새로운 Riot 프로세스를 spawn할 때마다 시스템은 이를 자동으로 무작위 스케줄러에 배치하여 자원을 효율적으로 활용합니다.
2. 경량 프로세스 및 메시지 전달: 이 모델은 10개에서 최대 10,000개까지의 경량 프로세스를 쉽게 생성하고 관리할 수 있게 합니다. 통신은 빠르고 타입 안전한(type-safe) 메시지 전달을 통해 이루어집니다.
3. 고급 메시지 처리 기능: Riot은 '선택적 수신 표현식 (Selective receive expressions)' 기능을 제공합니다. 이를 사용하면 프로세스 메일박스를 검사하여 원하는 순서에 상관없이 임의의 순서로 메시지를 소비할 수 있어 유연한 로직 구현이 가능합니다.
4. 시스템 안정성 및 구조화: 시스템의 견고성을 높이기 위해 여러 고급 기능을 포함하고 있습니다:
   • Supervisors: 프로세스 간의 계층적 관계(process hierarchies)를 구축하여, 특정 프로세스가 실패했을 때 상위 관리자가 이를 감지하고 복구하는 등의 역할을 수행할 수 있습니다.
   • Process Links and Monitors: 프로세스의 생명주기(lifecycle)를 추적하고 관리할 수 있는 링크 및 모니터링 기능을 제공합니다.
   • Generic Servers: Elixir의 GenServer와 유사하게, 캡슐화된 서비스(encapsulated services)를 설계하는 데 사용할 수 있는 범용 서버 인터페이스를 제공합니다.

개발 가이드라인 (Limitations):

Riot은 강력한 도구이지만, 모든 Erlang VM 기능을 완벽히 대체하지는 않습니다. 사용자가 알아야 할 제한 사항들이 있습니다:

• 지원하지 않는 기능: Erlang 또는 Elixir 바이트코드 지원, 라이브 애플리케이션에서의 핫 코드 리로딩(hot-code reloading), 실시간 함수 호출 레벨 추적(function-call level tracing) 등은 Riot의 목표 범위가 아닙니다.
• 목표: Riot은 OCaml 환경에서 높은 동시성과 안정성을 확보하는 데 초점을 맞추고 있습니다.

기술적 배경:

Riot은 개발자가 이전에 시작했던 Caramel(OCaml 컴파일러를 위한 Erlang 백엔드) 작업의 연속선상에 있으며, OCaml Multicore 팀의 eio와 Algebraic Effects 개념을 확장한 Miou 등의 연구에서 영감을 받았습니다. 이는 OCaml 생태계 내에서 고성능 동시성을 구현하려는 중요한 진전입니다.