Rust 1.74 프로그래밍 언어 출시. RustVMM 감사. Rust에서 바인더 다시 작성

Mozilla 프로젝트에 의해 설립되었지만 현재는 독립적인 비영리 조직인 Rust Foundation의 후원으로 개발된 Rust 1.74 범용 프로그래밍 언어의 출시가 발표되었습니다. 이 언어는 메모리 안전에 중점을 두고 가비지 수집기 및 런타임(런타임은 표준 라이브러리의 기본 초기화 및 유지 관리로 축소됨)의 사용을 피하면서 높은 작업 병렬성을 달성할 수 있는 수단을 제공합니다.

Rust의 메모리 처리 방법은 포인터를 조작할 때 개발자를 오류로부터 보호하고 메모리 영역이 해제된 후 액세스, null 포인터 역참조, 버퍼 오버런 등과 같은 저수준 메모리 처리로 인해 발생하는 문제로부터 보호합니다. 라이브러리 배포, 빌드 제공 및 종속성 관리를 위해 프로젝트는 Cargo 패키지 관리자를 개발합니다. crates.io 저장소는 라이브러리 호스팅을 위해 지원됩니다.

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

주요 혁신:

• 패키지 관리자 매니페스트와 함께 Cargo.toml 파일을 통해 Lint 검사를 구성하는 기능이 추가되었습니다. 응답 수준(금지, 거부, 경고, 허용)과 같은 린트 설정을 정의하기 위해 새로운 섹션 “[lints]” 및 “[workspace.lints]”가 제안되며, 이에 대한 결정을 내릴 때 변경 사항이 고려됩니다. 재건축. 예를 들어 "#![forbid(unsafe_code)]" 및 "#![deny(clippy)를 조립하거나 추가할 때 "-F", "-D", "-W" 및 "-A" 플래그를 지정하는 대신 :” 속성을 코드에 추가) :enum_glob_use)]"는 이제 Cargo 매니페스트에서 사용할 수 있습니다: [lints.rust] unsafe_code = "forbid" [lints.clippy] enum_glob_use = "deny"
• Crate 패키지 관리자에 저장소에 연결할 때 인증하는 기능이 추가되었습니다. 기본 배포에는 Linux 자격 증명 저장소(libsecret 기반), macOS(키체인) 및 Windows(Windows 자격 증명 관리자)에 인증 매개 변수를 배치하는 지원이 포함되어 있지만 시스템은 처음에 모듈식으로 만들어졌으며 저장 및 저장을 위해 다양한 공급자와 작업을 구성할 수 있습니다. 토큰 생성(예: 1Password 비밀번호 관리자 사용을 위한 플러그인이 준비되었습니다. 패키지가 게시되었는지 확인하는 것뿐만 아니라 모든 작업에 대해 저장소에서 인증이 필요할 수 있습니다. ~/.cargo/config.toml [registry] global-credential-providers = ["cargo:token", "cargo:libsecret"]
• 반환 유형 프로젝션(impl_trait_projections)에 대한 지원이 안정화되어 "async fn" 및 "->impl Trait"와 같은 반환 유형에서 Self 및 T::Assoc를 언급할 수 있습니다. struct Wrapper<'a, T>(&'a T); // `Self`를 언급하는 불투명한 반환 유형: impl Wrapper<'_, ()> { async fn async_fn() -> Self { /* … */ } fn impl_trait() -> impl Iterator { /* … */ } } 특성 Trait<'a> { type Assoc; fn new() -> 자체::Assoc; } impl Trait<'_> for () { type Assoc = (); fn new() {} } // 연관된 유형을 언급하는 불투명한 반환 유형: impl<'a, T: Trait<'a>> Wrapper<'a, T> { async fn mk_assoc() -> T::Assoc { /* … */ } fn a_few_assocs() -> impl 반복자 { /* … */ } }
• API의 새로운 부분이 안정화된 특성의 메서드 및 구현을 포함하여 안정적인 범주로 이동되었습니다.
• 상수 대신 모든 컨텍스트에서 사용할 가능성을 결정하는 "const" 속성은 함수에서 사용됩니다.
  • 코어::mem::transmute_copy
  • str::is_ascii
  • [u8]::is_ascii
  • 코어::번호::포화
  • impl From std::process::Stdio
  • impl From std::process::Stdio
  • impl From std::process::Child{Stdin, Stdout, Stderr}
  • impl From std::process::Child{Stdin, Stdout, Stderr}
  • std::ffi::OsString::from_encoded_bytes_unchecked
  • std::ffi::OsString::into_encoded_bytes
  • std::ffi::OsStr::from_encoded_bytes_unchecked
  • std::ffi::OsStr::as_encoded_bytes
  • 표준::io::오류::기타
  • impl TryFrom u16을 위해
  • 암시 <&[T; N]>Vec의 경우
  • 암시 <&mut [T; N]>Vec의 경우
  • 암시 <[T; N]> 호의 경우<[T]>
  • 암시 <[T; Rc의 경우 N]><[T]>
• 컴파일러, 툴킷, 표준 라이브러리 및 생성된 애플리케이션 실행 파일은 Apple 플랫폼에 대한 요구 사항이 증가하여 이제 실행하려면 10.12년에 출시된 macOS 10 Sierra, iOS 10 및 tvOS 2016 이상이 필요합니다.
• i686-pc-windows-gnullvm 플랫폼에 대한 세 번째 수준의 지원이 구현되었습니다. 세 번째 수준에는 기본 지원이 포함되지만 자동화된 테스트, 공식 빌드 게시 또는 코드 빌드 가능 여부 확인은 포함되지 않습니다.
• loongarch64-unknown-none 대상 플랫폼에 대한 두 번째 수준의 지원이 구현되었습니다. 두 번째 수준의 지원에는 조립 보증이 포함됩니다.

또한 Rust 언어와 관련된 두 가지 이벤트를 확인할 수 있습니다.

• 오픈소스 프로젝트의 보안을 강화하기 위해 만들어진 OSTIF(오픈소스 기술 개선 기금)가 작업별 하이퍼바이저 및 가상 머신 모니터(VMM) 생성을 위한 구성 요소를 제공하는 RustVMM 프로젝트에 대한 감사 결과를 발표했습니다. Intel, Alibaba, Amazon, Google, Linaro 및 Red Hat과 같은 회사가 프로젝트 개발에 참여하고 있습니다. Intel Cloud Hypervisor와 Dragonball 하이퍼바이저는 RustVMM을 기반으로 개발되고 있습니다. 감사를 통해 코드 베이스의 높은 품질과 최대 보안 달성을 목표로 하는 아키텍처 및 구현 기술의 사용이 확인되었습니다. 감사 과정에서 안전에 직접적인 영향을 미치지 않는 6가지 문제가 확인되었습니다.
• Google은 Rust 언어로 다시 작성된 Binder 프로세스 간 통신 메커니즘의 새로운 구현을 Linux 커널 개발자 메일링 리스트에 도입했습니다. 재작업은 Android에서 메모리 작업 시 보안을 강화하고 안전한 프로그래밍 기술을 장려하며 문제 식별의 효율성을 높이기 위한 프로젝트의 일환으로 수행되었습니다(Android에서 식별된 모든 위험한 취약점의 약 70%는 메모리 작업 시 오류로 인해 발생함). ). Rust에서 Binder를 구현하면 C 언어의 원래 버전과 기능 면에서 패리티가 달성되었으며 모든 AOSP(Android 오픈 소스 프로젝트) 테스트를 통과했으며 펌웨어의 작업 버전을 만드는 데 사용할 수 있습니다. 두 구현의 성능은 거의 동일한 수준입니다(편차 -1.96% 및 +1.38% 이내).

출처 : opennet.ru