어셈블리 삽입을 지원하는 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; 안전하지 않음 { asm!( "mov {tmp}, {x}", "shl {tmp}, 1", "shl {x}, 2", "add {x}, {tmp}", x = inout(reg) x, tmp = out(reg) _, ); } assert_eq!(x, 4 * 6);
• 표현식의 왼쪽에 여러 유형, 슬라이스 또는 구조가 지정되는 비구조화(병렬) 할당에 대한 지원이 추가되었습니다. 예를 들어: let (a, b, c, d, e); (a, b) = (1, 2); [c, .., d, _] = [1, 2, 3, 4, 5]; 구조체 { e, .. } = 구조체 { e: 5, f: 3 }; assert_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);
• const 제네릭에 대한 기본값을 지정하는 기능 제공: struct ArrayStorage { arr: [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] strip = "debuginfo", "symbols"
• 증분 컴파일은 기본적으로 비활성화되어 있습니다. 제시된 이유는 충돌과 역직렬화 오류를 일으키는 컴파일러 버그에 대한 임시 해결책입니다. 해당 버그에 대한 수정안이 이미 준비되었으며, 다음 릴리스에 포함될 예정입니다. 증분 컴파일을 반환하려면 RUSTC_FORCE_INCREMENTAL=1 환경 변수를 사용할 수 있습니다.
• API의 새로운 부분이 안정화된 특성의 메서드 및 구현을 포함하여 안정적인 범주로 이동되었습니다.
  • std::thread::available_parallelism
  • 결과::복사됨
  • 결과::복제됨
  • 아치::asm!
  • 아치::글로벌_asm!
  • ops::ControlFlow::is_break
  • ops::ControlFlow::is_continue
  • u8용 TryFrom
  • char::TryFromCharError(복제, 디버그, 표시, 부분 방정식, 복사, 방정식, 오류)
  • iter::zip
  • NonZeroU8::XNUMX의 거듭제곱
  • NonZeroU16::XNUMX의 거듭제곱
  • NonZeroU32::XNUMX의 거듭제곱
  • NonZeroU64::XNUMX의 거듭제곱
  • NonZeroU128::XNUMX의 거듭제곱
  • ToLowercase 구조에 대한 DoubleEndedIterator
  • ToUppercase 구조체에 대한 DoubleEndedIterator
  • [T]에 대해 <&mut [T]>를 시도합니다. N]
  • UnwindSafe for Once 구조
  • RefUnwindSafe for Once
  • 컴파일러 내장 armv8 neon 지원 기능 aarch64
• 상수 대신 모든 컨텍스트에서 사용할 가능성을 결정하는 "const" 속성은 함수에서 사용됩니다.
  • mem::MaybeUninit::as_ptr
  • mem::MaybeUninit::assume_init
  • mem::MaybeUninit::assume_init_ref
  • ffi::CStr::from_bytes_with_nul_unchecked

출처 : opennet.ru