러스트 1.53이 출시되었습니다. Google은 Linux 커널에 Rust 지원을 추가하는 데 자금을 지원합니다.

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

Rust의 자동 메모리 관리는 포인터를 조작할 때 오류를 제거하고 메모리 영역이 해제된 후 메모리 영역에 액세스하는 것, 널 포인터 역참조, 버퍼 오버런 등과 같은 저수준 메모리 조작으로 인해 발생하는 문제로부터 보호합니다. 라이브러리를 배포하고 어셈블리를 보장하며 종속성을 관리하기 위해 프로젝트는 Cargo 패키지 관리자를 개발하고 있습니다. crates.io 저장소는 라이브러리 호스팅을 위해 지원됩니다.

주요 혁신:

• 배열의 경우 IntoIterator 특성이 구현되어 배열 요소의 반복을 값으로 구성할 수 있습니다: for i in [1, 2, 3] { .. }

  반복자를 허용하는 메서드에 배열을 전달하는 것도 가능합니다. 예를 들면 다음과 같습니다: let set = BTreeSet::from_iter([1, 2, 3]); for (a, b) in some_iterator.chain([1]).zip([1, 2, 3]) { .. }

  이전에는 IntoIterator가 배열 참조에만 구현되었습니다. 참조("&[1, 2, 3]") 또는 "[1, 2, 3].iter()"를 사용해야 하는 값을 반복합니다. 배열에 대한 IntoIterator 구현은 array.into_iter()에서 (&array).into_iter()로의 이전 컴파일러 변환으로 인해 발생한 호환성 문제로 인해 방해를 받았습니다. 이러한 문제는 해결 방법으로 해결되었습니다. 컴파일러는 마치 IntoIterator 특성의 구현이 없는 것처럼 계속해서 array.into_iter()를 (&array).into_iter()로 변환하지만, ".into_iter( )" 구문을 사용하며 "in [1, 2, 3]", "iter.zip([1, 2, 3])", "IntoIterator::into_iter([1, 2, 3] 형식의 호출을 건드리지 않습니다. )".

• 표현식 "|"을 지정할 수 있습니다. 예를 들어 "Some(1) | Some(2)" 이제 "Some(1 | 2)"라고 쓸 수 있습니다. 일치 결과 { Ok(Some(1 | 2)) => { .. } Err(MyError { kind: FileNotFound | PermissionDenied, .. }) = > { .. } _ => { .. } }
• 유니코드 UAX 31 사양에 정의된 모든 국가 문자를 포함하여 식별자에 ASCII가 아닌 문자를 사용할 수 있지만 이모티콘 문자는 제외됩니다. 다르지만 유사한 문자를 사용하는 경우 컴파일러는 경고를 표시합니다. const BLÅHAJ: &str = "🦈"; struct 人 { 이름: 문자열, } let α = 1; letos = 2; 경고: 'ｓ'와 's' 사이에 혼동 가능한 것으로 간주되는 식별자 쌍
• 다음과 같은 안정화된 API를 포함하여 API의 새로운 부분이 안정적인 범주로 이전되었습니다.
  • 배열::from_ref
  • 배열::from_mut
  • AtomicBool::fetch_update
  • AtomicPtr::fetch_update
  • BTreeSet::유지
  • BTreeMap::보유
  • BufReader::seek_relative
  • cmp::min_by
  • cmp::min_by_key
  • cmp::max_by
  • cmp::max_by_key
  • DebugStruct::finish_non_exhaustive
  • 기간::ZERO
  • 기간::MAX
  • 기간::is_zero
  • 기간::saturating_add
  • 기간::saturating_sub
  • 기간::saturating_mul
  • f32::is_subnormal
  • f64::is_subnormal
  • 배열용 IntoIterator
  • {정수}::비트
  • io::오류::지원되지 않음
  • NonZero*::leading_zeros
  • NonZero*::trailing_zeros
  • 옵션::삽입
  • 주문::is_eq
  • 주문::is_ne
  • 주문::is_lt
  • 주문::is_gt
  • 주문::is_le
  • 주문::is_ge
  • OsStr::make_ascii_lowercase
  • OsStr::make_ascii_uppercase
  • OsStr::to_ascii_lowercase
  • OsStr::to_ascii_uppercase
  • OsStr::is_ascii
  • OsStr::eq_ignore_ascii_case
  • 피커블::peek_mut
  • Rc::increment_strong_count
  • Rc::decrement_strong_count
  • 슬라이스::IterMut::as_slice
  • Slice::IterMut에 대한 AsRef<[T]>
  • impl SliceIndex for(바운드 , 바운드 )
  • Vec::extend_from_within
• wasm64-unknown-unknown 플랫폼에 대한 세 번째 수준의 지원이 구현되었습니다. 세 번째 수준에는 기본 지원이 포함되지만 자동화된 테스트, 공식 빌드 게시 또는 코드 빌드 가능 여부 확인은 포함되지 않습니다.
• Cargo 패키지 관리자는 기본적으로 Git 저장소(HEAD)의 메인 브랜치에 "main"이라는 이름을 사용하도록 이동되었습니다. master 대신 main이라는 이름을 사용하는 리포지토리에서 호스팅되는 종속성을 구성하려면 더 이상 Branch = "main"이 필요하지 않습니다.
• 컴파일러에서는 LLVM의 최소 버전에 대한 요구 사항이 LLVM 10으로 상향 조정되었습니다.

추가적으로, 우리는 Rust 언어로 구성요소를 개발하기 위한 도구의 Linux 커널 통합 개발을 위한 자금 제공에 주목할 수 있습니다. 이 작업은 Let's Encrypt 프로젝트의 창립자인 ISRG 조직(인터넷 보안 연구 그룹)의 후원 하에 Prossimo 프로젝트 프레임워크 내에서 수행되며 HTTPS 및 보안을 강화하는 기술 개발을 촉진합니다. 인터넷. 자금은 Google에서 제공하며 Rust-for-Linux 프로젝트의 저자인 Miguel Ojeda의 작업 비용을 지불합니다. 이전에 ISRG와 Google은 이미 컬 유틸리티를 위한 대체 HTTP 백엔드 생성과 Apache http 서버를 위한 새로운 TLS 모듈 개발에 자금을 지원했습니다.

Microsoft와 Google에 따르면 취약점의 약 70%는 안전하지 않은 메모리 처리로 인해 발생합니다. 장치 드라이버와 같은 커널 구성 요소를 개발하기 위해 Rust 언어를 사용하면 안전하지 않은 메모리 처리로 인해 발생하는 취약점의 위험이 줄어들고 메모리 영역이 해제된 후 메모리 영역에 액세스하거나 버퍼 경계가 초과되는 오류가 제거될 것으로 예상됩니다.

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

출처 : opennet.ru