Asterinas: 기존 설계에 도전하는 Rust 기반 Linux 호환 커널

중국 남방과기대(SUSTech) 연구원들은 "프레임 커널" 아키텍처를 채택한 새로운 Rust 기반 Linux 커널 Asterinas를 개발했습니다. 이 아키텍처는 모놀리식 커널과 마이크로 커널의 장점을 결합하여, Rust의 unsafe 코드를 라이브러리에 캡슐화하고 나머지 커널 서비스는 안전한 추상화를 사용합니다. 이를 통해 커널의 안전성이 향상되고 모놀리식 커널의 높은 성능도 유지됩니다. Asterinas는 작고 공식적으로 검증 가능한 TCB, Linux ABI 호환성, 그리고 간단한 공유 메모리 아키텍처를 갖춘 시스템을 목표로 합니다. 현재 x86과 RISC-V를 지원하며 적극적으로 개발 중이며, 향후 아키텍처 지원과 클라우드 컴퓨팅 응용 프로그램 확장을 계획하고 있습니다.