Rust 언어를 지원하는 Linux 커널용 패치 제XNUMX판

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는 또한 정수 오버플로에 대한 보호 기능을 제공하고, 사용하기 전에 변수 값의 필수 초기화가 필요하며, 표준 라이브러리에서 오류를 더 잘 처리하고, 기본적으로 불변 참조 및 변수 개념을 적용하고, 강력한 정적 유형 지정을 제공하여 논리적 오류를 최소화합니다.

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

• 참조 컴파일러로 Rust 1.58.0의 안정 릴리스를 사용하도록 전환되었습니다. 메인 Rust 툴킷에는 아직 포함되지 않았지만 프로젝트에 필요한 변경 사항 중에는 "-Zsymbol-mangling-version=v0" 플래그(Rust 1.59.0에서 예상됨) 및 "maybe_uninit_extra" 모드(Rust 1.60.0에서 예상됨)가 있습니다. .XNUMX)이 기록되어 있습니다. .
• 적합한 Rust 도구의 가용성에 대한 자동 검사를 추가하고 시스템에서 Rust 지원을 테스트하는 기능을 확장했습니다.
• Rust 코드에서 장치 식별자 테이블("IdArray" 및 "IdTable")에 액세스하기 위한 새로운 추상화가 제안되었습니다.
• 타이머 관련 기능(시계 프레임워크)에 액세스하기 위한 레이어가 추가되었습니다.
• 플랫폼 드라이버는 이제 특성 구현을 통해 정의됩니다.
• 플랫폼 드라이버 등록을 단순화하기 위해 새로운 매크로가 추가되었으며 새로운 일반 드라이버 템플릿이 제안되었습니다.
• "dev_*" 구조에 대한 매크로가 추가되었습니다.
• IoMem 유형에 대한 "{read,write}*_relaxed" 메서드를 추가했습니다. .
• 파일 작업을 단순화하기 위해 FileOpener 속성을 제거했습니다.
• 드라이버 등록 시 전달되는 인수에 "ThisModule" 매개변수가 추가되었습니다.
• Rust 언어로 커널 모듈을 생성하기 위한 표준 템플릿이 제안되었습니다.

출처 : opennet.ru