Välja antud programmeerimiskeel Rust 1.59, mis toetab assamblee sisestusi

Avaldatud on üldotstarbelise programmeerimiskeele Rust 1.59 väljaanne, mis algselt põhines Mozilla projektist, kuid nüüd arendab seda sõltumatu mittetulundusühing Rust Foundation. Keel keskendub mäluga ohutule töötamisele ja pakub vahendeid ülesannete kõrge paralleelsuse saavutamiseks, samas vältides prügikorjajat ja runtime'i (runtime piirdub põhikonfiguratsiooni ja standardraamatukogu toetamisega).

Rustis olevad mäluhaldusmeetodid vabastavad arendajad probleemidest, mis on seotud osutitega, ning kaitsevad madala taseme mälutöötlusest tulenevate probleemide, nagu vabanenud mälu alale juurdepääs, nullosutite de-referentseerimine, mälupiiride ületamine jne. Raamatukogude levitamiseks, projekti koostamise ja sõltuvuste haldamiseks arendatakse pakihaldurit Cargo. Raamatukogude paigutamiseks toetatakse repo crates.io.

Rust tagab turvalise mälutöötluse kompilatsiooni ajal, kontrollides viiteid, jälgides objektide omandit, arvestades objektide elutsüklit (nähtavust) ja hinnates mälule juurdepääsu õigsust koodi käitamise ajal. Rust pakub ka meetmeid enamike täisarvude ületamiste vältimiseks, nõuab muutujate väärtuste algväärtustamist enne kasutamist, käsitleb vigasid paremini oma standardraamatukogus, rakendab immutamatuse (immutable) kontseptsiooni viidetes ja muutujates vaikimisi ning pakub tugevat staatilist tüüpimist loogiliste vigade minimeerimiseks.

Põhilised uuendused:

• Saadi on kasutusele võetud assembleri manuseid, mis on nõutud rakendustes, kus on vajalik madala taseme täitmisest juhtimine või spetsialiseeritud masina juhiste kasutamine. Assembleri manuseid lisatakse makrodega "asm!" ja "global_asm!" ning registrite nimetamiseks kasutatakse stringi vormingusüntaksit, mis sarnaneb Rustis kasutatavatele stringi asendustele. Kompilaator toetab assembleri juhiseid arhitektuuridele x86, x86-64, ARM, AArch64 ja RISC-V. Näide manusest: use std::arch::asm; // Korruta x kuuega, kasutades nihkeid ja liiteid let mut x: u64 = 4; unsafe { 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);
• Lisatud on toetatud destruktureeritud (paralleelsed) määramised, kus väljendi vasakus osas on mitmeid tüpse, lõike või struktuure. Näiteks: let (a, b, c, d, e); (a, b) = (1, 2); [c, .., d, _] = [1, 2, 3, 4, 5]; Struct { e, .. } = Struct { e: 5, f: 3 }; assert_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);
• Kohandatud on võimalus määrata vaikeväärtusi konstantsetele generikatele („const generics“): struct ArrayStorage { arr: [T; N], } impl ArrayStorage { fn new(a: T, b: T) -> ArrayStorage { ArrayStorage { arr: [a, b], } } }
• Paketihaldur Cargo tagab hoiatuste väljastamise sõltuvuste väärtuslikust konstruktsioonide kasutamise kohta, mis on käideldavad kompilatsioonivigade tõttu (näiteks vale tõttu lubati pakitud struktuuride väljade laenamine safe-blokkides). Selliste konstruktsioonide toetus lõpetatakse tulevases Rusti versioonis.
• Cargo ja rustc-s on sisse ehitatud võimalus genereerida töötavaid faile, mis on puhastatud silumisandmetest (strip = „debuginfo“) ja sümbolitest (strip = „symbols“), ilma et oleks vajalik eraldi utiliidi käivitamine. Puhastamise seadistamine toimub parameetri „strip“ kaudu Cargo.toml-is: [profile.release] strip = „debuginfo“, „symbols“
• Vaikimisi on inkrementeeriv kompileerimine keelatud. Põhjuseks on ajutine lahendus kompilatori veale, mis põhjustab tõrkeid ja deserialiseerimisveateateid. Veaparanduse eest on juba valmistatud ja see lisatakse järgmistesse väljaannetesse. Inkrementeeriva kompileerimise lubamiseks saab kasutada keskkonnamuutujat RUSTC_FORCE_INCREMENTAL=1.
• Stabiilsete versioonide hulka on lisatud uus komplekt API-sid, sealhulgas on stabiliseeritud meetodid ja tüüpide rakendused:
  • std::thread::available_parallelism
  • Result::copied
  • Result::cloned
  • arch::asm!
  • arch::global_asm!
  • ops::ControlFlow::is_break
  • ops::ControlFlow::is_continue
  • TryFrom for u8
  • char::TryFromCharError (Clone, Debug, Display, PartialEq, Copy, Eq, Error)
  • iter::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
  • DoubleEndedIterator struktuur ToLowercase jaoks
  • DoubleEndedIterator struktuur ToUppercase jaoks
  • TryFrom<&mut [T]> for [T; N]
  • UnwindSafe struktuur Once jaoks
  • RefUnwindSafe struktuur Once jaoks
  • kompilaatorisse sisse ehitatud funktsioonid armv8 neon toeks aarch64
• Konstantse märgendiga `const`, mis määrab võimaluse kasutada konstandina igas kontekstis, on rakendatud funktsioonides:
  • mem::MaybeUninit::as_ptr
  • mem::MaybeUninit::assume_init
  • mem::MaybeUninit::assume_init_ref
  • ffi::CStr::from_bytes_with_nul_unchecked

Allikas: opennet.ru