Asterinas - Rust로 작성된 Linux 호환 ABI 제공 OS 커널

• Asterinas는 안전성, 속도, 범용성 을 갖춘 OS 커널로, Linux 호환 ABI를 제공
• Linux를 대체할 수 있으며, 메모리 안전성 과 개발자 친화성 을 향상시킴
  • Rust를 유일한 프로그래밍 언어로 사용하고, unsafe Rust 의 사용을 최소화하여 명확히 정의된 신뢰 컴퓨팅 기반(TCB)으로 제한함으로써 메모리 안전성을 우선시함
  • 프레임커널 아키텍처를 통해 Asterinas는 더 안전하고 신뢰할 수 있는 커널 옵션으로 자리잡음
  • 개발자 친화성 면에서 Linux를 능가하며, (1) 생산성이 높은 Rust 프로그래밍 언어를 활용하고, (2) OSDK라는 전용 툴킷을 활용하여 워크플로우를 간소화하며, (3) MPL의 유연성을 통해 커널 모듈을 오픈 소스로 공개하거나 독점적으로 유지할 수 있는 선택권을 제공함
• 현재 Asterinas는 x86-64 VM만 지원하지만, 2024년까지 x86-64 VM에서 프로덕션 준비가 완료된 상태로 만드는 것이 목표임

GN⁺의 정리

• Asterinas는 Rust로 작성된 OS 커널로, 메모리 안전성과 개발자 친화성을 강조하며 Linux 호환성을 제공함
• Rust의 안전성과 생산성을 활용하여 더 안전하고 효율적인 커널 개발 환경을 제공함
• Asterinas의 프레임커널 아키텍처는 신뢰성과 안전성을 높이며, MPL을 통해 모듈의 공개 여부를 선택할 수 있는 유연성을 제공함
• Linux 커널 개발에 관심 있는 개발자들에게 흥미로운 대안이 될 수 있으며, Rust의 장점을 활용한 커널 개발의 가능성을 보여줌
• 비슷한 기능을 가진 프로젝트로는 Redox OS가 있음