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

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

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

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

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

• 툴킷이 업데이트되어 Rust 1.59.0이 출시되었습니다. 또한 alloc 라이브러리의 변형은 새로운 버전의 Rust와 동기화되어 메모리 부족과 같은 오류가 발생할 때 "패닉" 상태가 발생할 가능성을 제거합니다. 어셈블러 삽입("feature(global_asm)")을 사용하는 기능이 안정화되었습니다.
• 커널 컴파일 중에 사용되는 Rust에서 호스트 프로그램을 생성하기 위한 지원이 추가되었습니다.
• 미리 생성된 대상 플랫폼 사양 파일을 제공하는 대신 커널 구성을 기반으로 동적으로 생성됩니다.
• Rust를 지원하는 아키텍처를 활성화하기 위해 HAVE_RUST 커널 매개변수를 추가했습니다.
• 하드웨어 의사 난수 생성기용 Rust 코드에 사용하기 위한 추상화가 제안되었습니다.
• C에서 오류 코드를 처리하는 것과 유사하게 "Error::" 접두사(예: "return Err(EINVAL)") 없이 오류 코드를 사용할 수 있습니다.
• 사용자 정의 C-스트링을 위한 "CString" 유형을 추가했습니다. Formatter 및 Buffer 유형이 결합되었습니다.
• Bool 및 LockInfo 유형이 추가되었습니다.
• 스핀 잠금 구현이 단순화되었습니다.

출처 : opennet.ru