4 월 23 일, 지구를 90 분마다 한 바퀴 도는 저궤도 위성의 내부에서 OCaml 이 부팅되었다는 소식이 기술계에서 파장을 일으키고 있다. 단순히 새로운 프로그래밍 언어가 우주로 간 것을 넘어, ‘보레알리스’라는 코드네임을 가진 이 프로젝트는 순수 OCaml 로만 작성된 CCSDS 프로토콜 스택을 탑재하여 지상과 우주선 간의 명령 및 제어 통신을 수행하고 있다. 특히 종단 간 암호화와 포스트 양자 키 회전까지 모두 안전성이 검증된 OCaml 로 구현되었다는 점이 핵심이다. 신뢰할 수 없는 코드가 우주 공간에서 실행될 때 발생할 수 있는 치명적인 보안 리스크를 OCaml 의 타입 안전성과 수학적 엄밀함이 어떻게 해결하는지 보여주는 생생한 사례가 된 것이다.
이 프로젝트가 주목받는 배경에는 OCaml 5.0 의 등장이 자리 잡고 있다. KC 시바라마크리슈난이 ICFP 2022 기조 연설에서 OCaml 5.0 이 달에 도달할 것이라는 예측을 했을 때, 많은 이는 이를 비유로만 받아들였으나 파시모니 팀은 이를 실제 임무로 구현해냈다. 기존에 우주 임무에서는 C 나 Rust 가 주류였지만, OCaml 은 불필요한 메모리 할당을 줄이고 예측 가능한 지연 시간을 보장하는 데 있어 독보적인 장점을 보여주고 있다. 지상 서버와 동일한 클라이언트-서버 프로토콜 형태를 유지하면서도, 그 아래에 깔린 와이어 프로토콜이 순수 OCaml 로 구현되었다는 점은 소프트웨어 공학적으로 매우 이례적이고 혁신적인 시도다.
실제 성능 데이터는 이 선택이 단순한 실험이 아님을 증명한다. OxCaml 과 스택 어노테이션을 도입한 결과, 패킷 처리 핫 패스에서의 99.9 퍼센타일 지연 시간이 29 나노초에서 9 나노초로 단축되었고, 2500 만 개의 패킷 처리 동안 가비지 컬렉션 압력이 완전히 사라졌다. 이는 기존 시스템에서 발생할 수 있는 메모리 할당 오버헤드를 타입 시스템만으로 제어할 수 있음을 의미하며, 우주 환경처럼 리소스가 제한되고 안정성이 최우선인 곳에서 OCaml 이 가진 잠재력을 극명하게 보여준다. 과거 2016 년 GHGSat-D 위성에 OCaml 기반 페이로드 소프트웨어를 탑재했던 사례가 있었지만, 당시에는 다른 개발자들의 참여를 고려해 C/C++ 와 혼용하는 방식을 택했다면, 이번 보레알리스 프로젝트는 순수 OCaml 만으로 전체 스택을 구축했다는 점에서 진일보한 모습을 보인다.
이제 우주 소프트웨어의 패러다임이 어떻게 변할지 지켜보는 것이 다음 관전 포인트다. 산업 표준이었던 C 나 C++ 대신, 안전성과 성능을 동시에 잡을 수 있는 함수형 언어가 우주 임무의 주류로 자리 잡을 수 있을지, 혹은 이번 사례가 특수한 경우로만 남을지 주목된다. 지상 클라우드 시스템부터 우주 궤도에 이르기까지 동일한 언어 스택으로 시스템을 구축할 수 있다는 가능성은 개발자들에게 새로운 영감을 주고 있다. 우주라는 극한 환경에서 OCaml 이 증명해낸 안정성과 효율성은 곧 지상의 고신뢰 시스템 설계에도 중요한 시사점을 줄 것으로 보인다.
작성자 소개
