Linux 커널에 대한 Rust 지원은 Torvalds의 비판에 직면

Linus Torvalds는 Linux 커널용 Rust 언어로 드라이버를 생성하는 기능을 구현하는 패치를 검토하고 몇 가지 중요한 의견을 제시했습니다.

가장 큰 불만은 오류 상황(예: 커널 내를 포함하여 동적 메모리 할당 작업이 실패할 수 있는 메모리 부족 상황)에서 Panic()이 발생할 수 있는 잠재적 가능성 때문에 발생했습니다. Torvalds는 커널에서 이러한 접근 방식은 근본적으로 용납할 수 없으며 이 점을 이해하지 못하면 이러한 접근 방식을 사용하려는 모든 코드를 완전히 NAK할 수 있다고 말했습니다. 반면 패치 개발자는 이 문제에 동의하고 해결 가능하다고 생각합니다.

또 다른 문제는 Linux 커널과 같은 환경에서는 허용되지 않는 부동 소수점 또는 128비트 유형을 사용하려는 시도였습니다. 이는 더 심각한 문제로 판명되었습니다. 현재 핵심 Rust 라이브러리는 분할할 수 없고 하나의 큰 덩어리를 나타내기 때문입니다. 기능 중 일부만 요청할 수 있는 방법이 없기 때문에 하나 또는 다른 문제가 있는 기능의 사용을 방지할 수 있습니다. 문제를 해결하려면 Rust 컴파일러와 라이브러리를 변경해야 할 수도 있지만, 현재 팀에는 언어 라이브러리의 모듈화 구현 방법에 대한 전략이 없습니다.

또한 Torvalds는 제공된 드라이버 예제가 쓸모가 없다고 지적하고 실제 문제 중 하나를 해결하는 일부 드라이버를 예제로 사용하라고 조언했습니다.

업데이트: Google은 Rust 지원을 Linux 커널에 적용하려는 계획에 참여한다고 발표했으며 메모리 오류로 인해 발생하는 문제를 해결하기 위해 Rust를 도입하는 기술적인 이유를 제공했습니다. Google은 Rust가 Linux 커널 구성 요소 개발을 위한 언어로 C에 합류할 준비가 되어 있다고 믿습니다. 또한 이 기사에서는 Android 플랫폼에서의 사용 맥락에서 커널 드라이버를 개발하기 위해 Rust 언어를 사용하는 예를 제공합니다(Rust는 Android 개발을 위해 공식적으로 지원되는 언어로 인식됩니다).

Google은 Binder 프로세스 간 통신 메커니즘을 위해 Rust로 작성된 드라이버의 초기 프로토타입을 준비했으며, 이를 통해 C와 Rust에서 Binder 구현의 성능과 보안을 자세히 비교할 수 있습니다. 현재 형태에서는 작업이 아직 완료되지 않았지만 Binder가 작동하는 데 필요한 커널 기능의 거의 모든 기본 추상화에 대해 Rust 코드에서 이러한 추상화를 사용하기 위한 레이어가 준비되었습니다.

출처 : opennet.ru