GCC 16

Pärast aasta arendust avaldati väljaandmine vaba komplekti kompilaatoritest GCC 16.1, esimene märkimisväärne väljaanne uues haruversioonis GCC 16.x. Vastavalt väljaannete nummerdamise skeemile, versioon 16.0 kasutati arenduse käigus, enne GCC 16.1 väljalaset mahasõidu haru GCC 17.0, mille alusel koostatakse järgmine märkimisväärne väljaanne GCC 17.1.

Peamised muudatused:

• C++ keele vaike režiim on lülitatud C++20 (GNU C++20, -std=gnu++20) asemel, mis varem pakuti C++17. C++20 rakendus standardraamatukogus on kuulutatud stabiilseks.
• Koosseisu on lisatud katsetav esikülg ga68 Algol 68 programmeerimiskeele programmide kompileerimiseks.
• Lisatud on võimalus esitada diagnoosi teavet HTML formaadis. Laiendatud teavet programmi täitmise kohta, mis sisaldub diagnoosi väljundis SARIF, mis põhineb JSON-il (toetust «-fdiagnostics-format=json» on lõpetatud).
• Suurendatud optimeerimist sidumisetapis (LTO, Link-Time Optimization). Lisatud valik «-flto-toplevel-asm-heuristics», mis sisaldab heuristikat koodi optimeerimise paremaks tegemiseks, kus kasutatakse koosseisu. Spekulatiivse devirtualiseerimise tehnika (-fdevirtualize-speculatively) ei ole enam piiratud virtuaalsete meetodite transformeerimisega ja seda saab rakendada kõikide kaudsete funktsioonikutsumiste, näiteks vihikute kaudu, otsekutsumiste transformeerimise korral.
• Rakendatud on silmade vektorisatsioon, mille puhul kompilatsiooni käigus on teadmata iteratsioonide arv. Suurenenud on tsükli ennetähtaegse väljapaneku töötlemise tõhusus (näiteks läbi break).
• Lisatud katsetav tugi paljudele võimalusi just kinnitatud standardile C++26. Näiteks on rakendatud:
  • Refleksioon (Reflection, «-freflection»), mis võimaldab jälgida ja muuta programmi elemente kompilatsiooni etapis. Lisatud on uued operaatorid «^^ (open-std.org)» grammatiline konstruktsiooniteabe saamiseks ja «[:…:]» tagasikujundamise teostamiseks. Saadud teabe muundamise ja töötlemise jaoks on pakutud teek std::meta ning saadaval on võimalused konstantidega arvutamiseks.
  • Lepinguprogrammeerimine (Contracts), võimaldades määrata liideste formaalseid spetsiifikatsioone kolme uue operaatori abil: pre (eeltingimus), post (pärast tingimus) ja contract_assert (väidete kontroll). Operaator „pre“ määratleb eeltingimused, mis peavad olema täidetud enne kutsumist (sisendi kontroll); „post“ — tingimused, mis peavad kehtima pärast täitmist (väljundi nõuded); contract_assert — erandite tekkimise tingimused. See võimalus ilmub GCC 16-sse.
  • Operaator „template for“ elementide, nagu parameetrite paketid, tuple'ide sarnased objektid ja refleksiooni (metaobjektide) tulemused, läbimiseks kompileerimise ajal tavalise tsükli stiilis. Kui „template for“ käitatakse, avatakse tsükli keha iga elemendi jaoks ja iga iteratsioonitöötlus toimub eraldi nähtavuses, kus järjestuse element, millest tsükkel iteratsioonib, on iga iteratsiooni jaoks konstant ja võib osaleda konstantsetes väljendites (constexpr). Refleksiooni kontekstis võib „template for“ rakendada klasside või loendite omaduste läbimiseks.
  • Raamatukogu std::simd andmete töötlemise operatsiooni paralleelse täideviimise võimaldamiseks SIMD käskude kogumite abil, nagu AVX-512 ja NEON, kasutades C++ standardtüüpe.
  • Raamatukogud std::inplace_vector, std::optional<T&>, std::copyable_function, std::function_ref, std::indirect, std::polymorphic ja std::owner_equal.
• Rakendatud on võimalused, mis on seotud standardiga C++23, näiteks selge objektide elutsükli haldamine ja toetamine diagnostikateate sümbolite kodeerimise määramine.
• Standardi toetamist on laiendatud C23 (opennet.ru), näiteks on rakendatud võimalus kasutada „counted_by“ atribuuti pointerite kasutamise õiguse kontrollimiseks.
• Jätkatakse standardite rakendamine OpenMP 5.0, 5.1, 5.2 ja 6.0 (Open Multi-Processing), mis määratleb API-d ja viise, kuidas kasutada paralleelse programmeerimise meetodeid mitme tuumaga ja hübriidsetes (CPU+GPU/DSP) süsteemides, kus on jagatud mälu ja vektorkärpimise (SIMD) plokid. Parandatud paralleelse programmeerimise spetsiifikate rakendamine OpenACC 3.0, 3.3 ja 3.4, mis määratleb meetodid operatsioonide (offloading) ülekandmiseks GPU-dele ja spetsialiseeritud protsessoritele, nagu NVIDIA PTX.
• X86 arhitektuuri taustteenusesse on lisatud AMD protsessorite tugi Zen6 mikroarhitektuuri põhjal (-march=znver6), samuti Intel Wildcat Lake (-march=wildcatlake) ja Nova Lake (-march=novalake) protsessorite tugi.
• AMD Radeon (GCN) koodi genereerimise taustsüsteemis on rakendatud AMD Instinct MI300 (gfx942) kiirendite tugi.
• RISC-V, ARM, S/390 ja LoongArch arhitektuuride jaoks on rakendatud "_BitInt (N)" tüübi tugi, et määratleda täisarvud määratud bittide arvuga.

Allikas: linux.org.ru