Rust 언어를 지원하는 Linux 커널 패치의 다섯 번째 버전

Rust-for-Linux 프로젝트의 저자인 Miguel Ojeda는 Linux 커널 개발자가 고려할 수 있도록 Rust 언어로 장치 드라이버를 개발하기 위한 다섯 번째 버전의 구성 요소를 제안했습니다. Rust 지원은 실험적인 것으로 간주되지만 이미 linux-next 브랜치에 포함되어 있으며 커널 하위 시스템에 대한 추상화 계층 생성 작업과 드라이버 및 모듈 작성 작업을 시작할 수 있을 만큼 충분히 개발되었습니다. 이 개발은 Google과 Let's Encrypt 프로젝트의 창립자인 ISRG(Internet Security Research Group)에서 자금을 지원받고 HTTPS와 인터넷 보안을 향상시키는 기술 개발을 촉진합니다.

제안된 변경 사항을 통해 Rust를 드라이버 및 커널 모듈 개발을 위한 두 번째 언어로 사용할 수 있게 되었다는 점을 기억하세요. Rust 지원은 기본적으로 활성화되지 않는 옵션으로 제공되며 Rust가 커널에 대한 필수 빌드 종속성으로 포함되지 않습니다. 드라이버 개발에 Rust를 사용하면 해제 후 메모리 액세스, 널 포인터 역참조 및 버퍼 오버런과 같은 문제 없이 최소한의 노력으로 더 안전하고 더 나은 드라이버를 만들 수 있습니다.

메모리 안전 처리는 코드 실행 중 메모리 액세스의 정확성 평가뿐만 아니라 참조 확인, 개체 소유권 및 개체 수명(범위) 추적을 통해 컴파일 시간에 Rust에서 제공됩니다. Rust는 또한 정수 오버플로에 대한 보호 기능을 제공하고, 사용하기 전에 변수 값의 필수 초기화가 필요하며, 표준 라이브러리에서 오류를 더 잘 처리하고, 기본적으로 불변 참조 및 변수 개념을 적용하고, 강력한 정적 유형 지정을 제공하여 논리적 오류를 최소화합니다.

패치의 새 버전에서는 패치의 첫 번째, 두 번째, 세 번째 및 네 번째 버전에 대한 논의 중에 언급된 내용이 계속해서 제거되었습니다. 새 버전에서는:

• Intel이 지원하는 0DAY/LKP 봇을 기반으로 한 지속적 통합 시스템에 Rust 지원을 위한 구성 요소 테스트가 추가되었으며 테스트 보고서 발행이 시작되었습니다. 우리는 Rust 지원을 KernelCI 자동화 테스트 시스템에 통합할 준비를 하고 있습니다. GitHub CI 기반 테스트가 컨테이너 사용으로 전환되었습니다.
• Rust 커널 모듈은 크레이트 속성 “#![no_std]” 및 “#![feature(…)]”를 정의할 필요가 없습니다.
• 단일 어셈블리 대상(.o, .s, .ll 및 .i)에 대한 지원이 추가되었습니다.
• 코드 지침은 주석("//") 분리 및 코드 문서화("///")에 대한 규칙을 정의합니다.
• is_rust_module.sh 스크립트가 재작업되었습니다.
• "CONFIG_CONSTRUCTORS" 구현을 기반으로 정적(전역 공유 변수) 동기화 프리미티브에 대한 지원이 추가되었습니다.
• 잠금 관리가 단순화되었습니다. Guard와 GuardMut이 결합되어 하나의 매개변수화된 유형입니다.
• 장치 등록 시 추가 매개변수를 정의할 수 있습니다.
• rw_semaphore C 구조에 대한 래퍼 역할을 하는 "RwSemaphore" 추상화를 추가했습니다.
• mmap을 사용하기 위해 새로운 mm 모듈과 VMA 추상화가 추가되었습니다(vm_area_struct 구조에 대한 래퍼).
• GPIO PL061 드라이버가 "dev_*!" 매크로를 사용하도록 변환되었습니다.
• 코드의 일반적인 정리가 수행되었습니다.

출처 : opennet.ru