Eurydice로 Rust를 읽기 쉬운 C로 컴파일하기

Eurydice는 Rust 코드의 전체 구조를 유지하면서 C로 변환하는 도구로, 기존 C용 검증 및 규정 준수 도구를 사용하는 고신뢰성 소프트웨어와 Rust 컴파일러가 없는 환경을 겨냥함 기계어 생성을 위한 최적화보다 원본 구조와 평가 순서 보존에 집중하며, 필요한 곳에 임시 변수를 추가해 Rust와 C의 의미 차이를 처리함 반복자, 제네릭, 동적 크기 타입은 별도 변환이 필요하며, 일부 타입 표현 간 변환이 C의 엄격한 별칭 규칙을 위반하므로 -fno-strict-aliasing 사용을 권장함 Charon으로 rustc의 중간 표현을 추출하고 KaRaMeL의 코드 생성기를 활용하지만, 실제 패키지 시험에서는 const generics 같은 비교적 최근 Rust 기능이 추출을 가로막는 경우가 잦았음 현재는 작고 독립적인 프로그램에 가장 적합하며, Rust 원본을 계속 수정하면서 C 버전도 자동으로 동기화해야 할 때 도입 가치가 있을 가능성이 높음 Rust 컴파일러 다양화와 Eurydice의 목적 몇 년 전에는 LLVM을 백엔드로 사용하는 rustc가 Rust 코드를 컴파일하는 유일한 방법이었지만, 이후 여러 구현이 크게 발전함 Mutabah's Rust Compiler(mrustc), GCC의 Rust 지원(gccrs), rust_codegen_gcc, Cranelift 등이 컴파일러 선택지를 넓히고 있음 Eurydice는 Rust를 깔끔한 C 코드로 변환하는 더 야심 찬 목표를 갖고 있음 기존 검증 및 규정 준수 도구가 C를 요구하는 고신뢰성 소프트웨어에서 특히 유용하며, 이 도구들이 Rust를 지원할 때까지 전환을 더 원활하게 만들 수 있음 C 컴파일러는 있지만 작동하는 Rust 컴파일러가 없는 환경에서도 징검다리 역할을 할 수 있음 실제로 일부 양자내성암호 루틴을 Rust에서 C로 컴파일하는 데 사용됨 2023년에 시작됐으며, 코드 일부에는 MIT, 일부에는 Apache-2.0 라이선스가 적용됨 Rust 코드에 정형 검증 도구를 적용하기 위한 여러 도구를 개발하는 Aeneas의 일부임 Aeneas 프로젝트들은 프랑스 국립 컴퓨터과학 연구기관 Inria와 Microsoft 소속 인력들이 유지보수하며, 외부 기여도 받음 코드 구조와 평가 순서를 보존하는 변환 Rust 프로그램을 중간 표현(IR) 으로 바꾸고 여러 변환 단계를 거쳐 C를 출력하는 일반적인 컴파일러 구조를 따름 가장 활발하게 기여한 Jonatha...