Linux 커널에 Rust 개발 도구를 추가하는 문제에 대한 논의 제안

닉 데자니에(Nick Desagnier)닉 데솔니에), Google에서 근무하며 지지 Clang 컴파일러를 사용하여 Linux 커널을 빌드하고 거들기 Rust 컴파일러의 버그를 수정하고, предложил 회의를 하다 리눅스 배관공 컨퍼런스 2020 Rust에서 커널 구성요소를 개발하는 것을 가능하게 하는 방법에 대해 논의하는 세션입니다. Nick은 LLVM 전용 마이크로 컨퍼런스를 조직하고 있으며 Rust 지원을 커널에 통합할 수 있는 기술적인 측면을 논의하고(그는 이미 KBuild에 대한 작업 프로토타입을 준비했습니다) 그러한 지원이 필요한지 여부를 이해하는 것이 좋을 것이라고 믿습니다. 전혀 추가되지 않으며 Rust 사용에 대한 어떤 제한이 허용되어야 하는지.

Open Source Summit 및 Embedded Linux 컨퍼런스의 최근 토론에서 Linus Torvalds가 한 말을 기억해 보십시오. 배제하지 않았다 Rust와 같은 언어로 비핵심 커널 하위 시스템(예: 드라이버) 개발을 위한 바인딩의 출현. Rust에서 드라이버를 개발할 수 있으면 최소한의 노력으로 해제 후 메모리 액세스, 널 포인터 역참조 및 버퍼 오버런과 같은 문제 없이 더 안전하고 더 나은 드라이버를 만들 수 있습니다. 이 기능을 구현하는 여러 타사 프로젝트가 이미 있습니다.

• "Fish in a Barrel"회사의 개발자 подготовили 보안을 강화하기 위해 인터페이스와 커널 구조에 대한 추상 계층 세트를 사용하여 Rust 언어로 Linux 커널용 로드 가능한 모듈을 작성하기 위한 툴킷입니다. 유틸리티를 사용하여 기존 커널 헤더 파일을 기반으로 레이어가 자동으로 생성됩니다. 바인드겐. Clang은 레이어를 만드는 데 사용됩니다. 중간층 외에도 조립된 모듈은 staticlib 패키지를 사용합니다.
• 홍콩중문대학교 연구진 개발하다 Rust에서 임베디드 시스템 및 사물 인터넷 장치용 드라이버를 개발하기 위한 프로젝트입니다. 이 프로젝트는 또한 bingen을 사용하여 커널 헤더 파일을 기반으로 레이어를 생성합니다. 프레임워크를 사용하면 커널을 변경하지 않고도 드라이버 보안을 향상할 수 있습니다. 커널에서 드라이버에 대한 추가 격리 수준을 만드는 대신 보다 안전한 Rust 언어를 사용하여 컴파일 단계에서 문제를 차단하는 것이 제안됩니다. 적절한 감사를 실시하지 않고 서둘러 독점 드라이버를 개발하는 장비 제조업체에서는 이러한 접근 방식이 필요할 수 있다고 가정됩니다.
• 프레임워크 개발자 C2러스트 C 코드를 Rust에 브로드캐스팅하기 위해, 행위 최소한의 수동 편집으로 커널 모듈을 변환하는 실험입니다. 언급된 문제 중 하나는 C2Rust에서 아직 지원되지 않는 GCC 확장을 사용하는 코드 커널의 많은 부분에서 사용된다는 것입니다. 이 문제를 해결하기 위해 C2Rust는 GCC 속성 인라인, 콜드, 별칭, 사용 및 섹션에 대한 지원을 추가할 뿐만 아니라 인라인 어셈블러의 기능을 확장하고 정렬 및 패킹된 구조(예: xregs_state) 관련 문제를 해결할 계획입니다. . 수동 작업이 필요한 중요한 문제로는 중요하지 않은 C 매크로를 Rust 매크로로 변환할 수 없다는 것과 유형을 재정의해야 한다는 점 등이 있습니다. C2Rust는 C 유형을 libc 패키지의 정의로 변환하지만 이 패키지는 커널 모듈에서 사용할 수 없기 때문입니다.

출처 : opennet.ru