어셈블리 삽입을 지원하는 Rust 1.59 프로그래밍 언어 출시

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

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

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

주요 혁신:

• 낮은 수준에서 실행을 제어해야 하거나 특수한 기계 명령어를 사용할 수 있어야 하는 응용 프로그램에서 요구되는 어셈블리 언어 삽입을 사용할 수 있습니다. 어셈블리 인서트는 "asm!" 매크로를 사용하여 추가됩니다. 그리고 "global_asm!" Rust에서 문자열 대체에 사용되는 것과 유사한 이름 지정 레지스터에 문자열 형식화 구문을 사용합니다. 컴파일러는 x86, x86-64, ARM, AArch64 및 RISC-V 아키텍처에 대한 어셈블리 명령어를 지원합니다. 삽입 예: std::arch::asm;을 사용하십시오. // 시프트를 사용하여 x에 6을 곱하고 추가합니다. let mut x: u64 = 4; unsafe { asm!( "mov {tmp}, {x}", "shl {tmp}, 1", "shl {x}, 2", "{x}, {tmp} 추가", x = inout(reg ) x, tmp = out(reg) _, ); } 주장_eq!(x, 4 * 6);
• 여러 특성, 조각 또는 구조가 표현식의 왼쪽에 지정되는 구조 해제된(병렬) 할당에 대한 지원이 추가되었습니다. 예를 들면 다음과 같습니다: (a, b, c, d, e); (a, b) = (1, 2); [c, .., d, _] = [1, 2, 3, 4, 5]; 구조체 { e, .. } = 구조체 { e: 5, f: 3 }; 주장_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);
• const 제네릭에 대한 기본값을 지정할 수 있습니다: struct ArrayStorage { 도착: [T; N], } 암시 어레이스토리지 { fn new(a: T, b: T) -> ArrayStorage { ArrayStorage { 도착: [a, b], } } }
• Cargo 패키지 관리자는 컴파일러의 오류로 인해 처리되는 종속성에서 유효하지 않은 구조의 사용에 대한 경고를 제공합니다(예: 오류로 인해 패킹된 구조의 필드를 안전한 블록에서 빌려오는 것이 허용됨). 이러한 구성은 향후 Rust 버전에서는 더 이상 지원되지 않습니다.
• Cargo와 Rustc에는 별도의 유틸리티를 호출할 필요 없이 디버깅 데이터(strip = "debuginfo")와 기호(strip = "symbols")가 제거된 실행 파일을 생성하는 기능이 내장되어 있습니다. 정리 설정은 Cargo.toml의 "strip" 매개변수를 통해 구현됩니다: [profile.release] 스트립 = "debuginfo", "symbols"
• 증분 컴파일은 기본적으로 비활성화되어 있습니다. 그 이유는 충돌 및 역직렬화 오류를 발생시키는 컴파일러 버그에 대한 임시 해결 방법이라고 합니다. 버그 수정은 이미 준비되었으며 다음 릴리스에 포함될 예정입니다. 증분 컴파일을 반환하려면 환경 변수 RUSTC_FORCE_INCREMENTAL=1을 사용할 수 있습니다.
• API의 새로운 부분이 안정화된 특성의 메서드 및 구현을 포함하여 안정적인 범주로 이동되었습니다.
  • std::스레드::available_parallelism
  • 결과::복사됨
  • 결과::복제됨
  • 아치::asm!
  • 아치::global_asm!
  • ops::ControlFlow::is_break
  • ops::ControlFlow::is_continue
  • u8용 TryFrom
  • char::TryFromCharError(복제, 디버그, 표시, PartialEq, 복사, Eq, 오류)
  • 반복::zip
  • NonZeroU8::is_power_of_two
  • NonZeroU16::is_power_of_two
  • NonZeroU32::is_power_of_two
  • NonZeroU64::is_power_of_two
  • NonZeroU128::is_power_of_two
  • ToLowercase 구조에 대한 DoubleEndedIterator
  • ToUppercase 구조에 대한 DoubleEndedIterator
  • TryFrom<&mut [T]> for [T; N]
  • Once 구조에 대한 UnwindSafe
  • RefUnwindSafe를 한 번만 사용해보세요.
  • aarch8용 컴파일러에 내장된 armv64 네온 지원 함수
• 상수 대신 모든 컨텍스트에서 사용할 가능성을 결정하는 "const" 속성은 함수에서 사용됩니다.
  • mem::MaybeUninit::as_ptr
  • mem::MaybeUninit::assume_init
  • mem::MaybeUninit::assume_init_ref
  • ffi::CStr::from_bytes_with_nul_unchecked

출처 : opennet.ru