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

Rust-for-Linux 프로젝트의 저자인 Miguel Ojeda는 Linux 커널 개발자가 고려할 수 있도록 Rust 장치 드라이버 개발용 구성 요소의 v10 릴리스를 제안했습니다. 이것은 버전 번호 없이 게시된 첫 번째 버전을 고려하여 패치의 6.1번째 버전입니다. 예상치 못한 문제가 발생하지 않는 한, Rust 지원 포함은 Linux XNUMX 커널에 포함되도록 Linusum Torvalds의 승인을 받았습니다. 이 개발은 Google과 Let's Encrypt 프로젝트의 창립자인 ISRG(Internet Security Research Group)에서 자금을 지원받고 HTTPS와 인터넷 보안을 강화하는 기술 개발을 촉진합니다.

이전 버전의 패치와 마찬가지로 v10 릴리스는 Rust로 작성된 간단한 커널 모듈을 구축하는 데 필요한 최소한의 것만 제거되었습니다. 이전 버전과의 차이점은 kallsyms.c에서 sizeof를 ARRAY_SIZE로 바꾸고 v6.0-rc7 커널에 패치를 적용하는 사소한 수정 사항입니다. 40줄에서 13줄의 코드가 XNUMX줄에서 XNUMX줄로 줄어든 이번 최소 패치를 통해 Rust 지원을 주류로 통합하는 것이 더 쉬워질 것으로 예상됩니다. 최소한의 지원을 제공한 후, Rust-for-Linux 브랜치의 다른 변경 사항을 이전하여 기존 기능을 점차적으로 늘릴 계획입니다.

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

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

출처 : opennet.ru