프로그래밍 언어 Rust 1.75 및 unikernel Hermit 0.6.7 출시

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

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

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

주요 혁신:

• 비공개 특성에 "async fn" 및 "->impl Trait" 표기법을 사용하는 기능이 추가되었습니다. 예를 들어, "->impl Trait"을 사용하면 반복자를 반환하는 특성 메서드를 작성할 수 있습니다. trait Container { fn items(&self) -> impl Iterator; } MyContainer용 impl 컨테이너 { fn items(&self) -> impl Iterator { self.items.iter().cloned() } }

  "async fn"을 사용하여 특성을 생성할 수도 있습니다. trait HttpService { async fn fetch(&self, url: Url) -> HtmlBody; // 다음으로 확장됩니다. // fn fetch(&self, url: Url) -> impl Future; }

• 포인터를 기준으로 바이트 오프셋을 계산하기 위한 API가 추가되었습니다. 베어 포인터("*const T" 및 "*mut T")로 작업할 때 포인터에 오프셋을 추가하는 작업이 필요할 수 있습니다. 이전에는 이를 위해 "::add(1)"와 같은 구성을 사용하여 "size_of::()" 크기에 해당하는 바이트 수를 추가하는 것이 가능했습니다. 새로운 API는 이 작업을 단순화하고 먼저 유형을 "*const u8" 또는 "*mut u8"로 캐스팅하지 않고도 바이트 오프셋을 조작할 수 있게 해줍니다.
  • 포인터::byte_add
  • 포인터::byte_offset
  • 포인터::byte_offset_from
  • 포인터::byte_sub
  • 포인터::wrapping_byte_add
  • 포인터::wrapping_byte_offset
  • 포인터::wrapping_byte_sub
• Rustc 컴파일러의 성능을 향상시키기 위한 지속적인 작업입니다. 링크 후 단계에서 실행되고 사전 준비된 실행 프로필의 정보를 사용하는 BOLT 최적화 프로그램이 추가되었습니다. BOLT를 사용하면 프로세서 캐시를 보다 효율적으로 사용하기 위해 librustc_driver.so 라이브러리 코드의 레이아웃을 변경하여 컴파일러 실행 속도를 약 2% 높일 수 있습니다.

  LLVM의 최적화 품질을 향상시키기 위해 "-Ccodegen-units=1" 옵션을 사용하여 Rustc 컴파일러를 구축하는 것이 포함되었습니다. 수행된 테스트에서는 "-Ccodegen-units=1" 빌드의 경우 성능이 약 1.5% 증가한 것으로 나타났습니다. 추가된 최적화는 x86_64-unknown-linux-gnu 플랫폼에 대해서만 기본적으로 활성화됩니다.

  앞서 언급한 최적화는 Rust로 작성된 Android 플랫폼 구성 요소의 빌드 시간을 줄이기 위해 Google에서 테스트한 것입니다. Android를 빌드할 때 "-C codegen-units=1"을 사용하면 툴킷 크기가 5.5% 줄어들고 성능이 1.8% 향상되는 동시에 툴킷 자체의 빌드 시간이 거의 두 배로 늘어났습니다.

  링크 타임 가비지 컬렉션(“--gc-sections”)을 활성화하면 성능이 최대 1.9% 향상되고, 링크 타임 최적화(LTO)는 최대 7.7%, 프로필 기반 최적화(PGO)는 최대 19.8% 가능해졌습니다. 최종적으로는 BOLT 유틸리티를 사용해 최적화를 적용해 빌드 속도를 24.7%까지 높일 수 있었지만, 툴킷 크기는 10.9% 늘어났다.

  

• API의 새로운 부분이 안정화된 특성의 메서드 및 구현을 포함하여 안정적인 범주로 이동되었습니다.
  • 원자*::from_ptr
  • 파일 시간
  • FileTimesExt
  • 파일::set_modified
  • 파일::set_times
  • IpAddr::to_canonical
  • Ipv6Addr::to_canonical
  • 옵션::as_slice
  • 옵션::as_mut_slice
  • 포인터::byte_add
  • 포인터::byte_offset
  • 포인터::byte_offset_from
  • 포인터::byte_sub
  • 포인터::wrapping_byte_add
  • 포인터::wrapping_byte_offset
  • 포인터::wrapping_byte_sub
• 상수 대신 모든 컨텍스트에서 사용할 가능성을 결정하는 "const" 속성은 함수에서 사용됩니다.
  • Ipv6Addr::to_ipv4_mapped
  • MaybeUninit::assume_init_read
  • MaybeUninit::제로화됨
  • mem::판별
  • 메모리::제로화됨
• 세 번째 수준의 지원은 csky-unknown-linux-gnuabiv2hf, i586-unknown-netbsd 및 mipsel-unknown-netbsd 플랫폼에 대해 구현되었습니다. 세 번째 수준에는 기본 지원이 포함되지만 자동화된 테스트, 공식 빌드 게시 또는 코드 빌드 가능 여부 확인은 포함되지 않습니다.

또한, Rust 언어로 작성된 특수 커널(unikernel)을 개발하고 추가 계층 없이 하이퍼바이저 또는 베어 하드웨어 위에서 실행될 수 있는 자체 포함 애플리케이션을 구축하기 위한 도구를 제공하는 Hermit 프로젝트의 새 버전에 주목할 수 있습니다. 운영 체제가 없습니다. 빌드되면 애플리케이션은 OS 커널 및 시스템 라이브러리에 묶이지 않고 필요한 모든 기능을 독립적으로 구현하는 라이브러리에 정적으로 연결됩니다. 프로젝트 코드는 Apache 2.0 및 MIT 라이센스에 따라 배포됩니다. Rust, Go, Fortran, C 및 C++로 작성된 애플리케이션의 독립 실행형 실행을 위해 어셈블리가 지원됩니다. 이 프로젝트는 또한 QEMU 및 KVM을 사용하여 Hermit을 시작할 수 있는 자체 부트로더를 개발 중입니다.

출처 : opennet.ru