GCC 10 კომპილატორის ნაკრების გამოშვება

განვითარების ერთი წლის შემდეგ გამოქვეყნებული შემდგენელთა უფასო ნაკრების გამოშვება GCC 10.1, პირველი ძირითადი გამოშვება ახალ GCC 10.x ფილიალში. Შესაბამისად ახალი სქემა გამოშვების ნომრები, ვერსია 10.0 გამოიყენებოდა განვითარების პროცესში და GCC 10.1-ის გამოშვებამდე ცოტა ხნით ადრე GCC 11.0 ფილიალი უკვე განშტოდა, რის საფუძველზეც შეიქმნებოდა შემდეგი მნიშვნელოვანი გამოცემა, GCC 11.1.

GCC 10.1 გამოირჩევა მრავალი ინოვაციების განხორციელებით C++ ენაში, რომელიც შემუშავებულია C++20 სტანდარტისთვის, გაუმჯობესებებით, რომლებიც დაკავშირებულია მომავალ C ენის სტანდარტთან (C2x), ახალი ოპტიმიზაციით შემდგენელის საყრდენებში და ექსპერიმენტული მხარდაჭერით. სტატიკური ანალიზის რეჟიმი. გარდა ამისა, ახალი ფილიალის მომზადებისას პროექტმა საცავი SVN-დან Git-ში გადაიტანა.

მთავარი ცვლილებები:

• დამატებულია სტატიკური ანალიზის ექსპერიმენტული რეჟიმი"- ფანალიზატორი“, რომელიც ახორციელებს პროგრამაში კოდის შესრულების გზებისა და მონაცემთა ნაკადების რესურსებით ინტენსიურ ინტერპროცედურულ ანალიზს. რეჟიმს შეუძლია გამოავლინოს პრობლემები კომპილაციის ეტაპზე, როგორიცაა ორმაგი გამოძახება free() ფუნქციაზე ერთი მეხსიერების ზონისთვის, ფაილის აღწერის გაჟონვა, ნულოვანი მაჩვენებლების გაუქმება და გადაცემა, გათავისუფლებული მეხსიერების ბლოკებზე წვდომა, არაინინიციალიზებული მნიშვნელობების გამოყენება და ა.შ. OpenSSL კოდისთვის ახალი რეჟიმის გამოყენებამ უკვე შესაძლებელი გახადა იდენტიფიცირება საშიში დაუცველობა.
• გაუმჯობესებული ინტერპროცესული ოპტიმიზაცია. IPA-SRA (Interprocedural Scalar Shared Replacement) საშვი ხელახლა შექმნილია იმისთვის, რომ იმუშაოს დაკავშირების დროს და, სხვა საკითხებთან ერთად, ახლა წაშლის გამოთვლილ და დაბრუნებულ გამოუყენებელ მნიშვნელობებს. "-O2" ოპტიმიზაციის რეჟიმში, ჩართულია "-finline-functions" ოფცია, რომელიც ხელახლა არის დაყენებული, რათა უპირატესობა მიანიჭოს უფრო კომპაქტურ კოდს, ვიდრე შესრულების შესრულებას. ევრისტიკის მუშაობა შიდა ფუნქციის განლაგებისთვის დაჩქარდა. ინლაინ გაფართოებისა და ფუნქციების კლონირების ევრისტიკას ახლა შეუძლია გამოიყენოს ინფორმაცია მნიშვნელობების დიაპაზონის შესახებ ინდივიდუალური ტრანსფორმაციების ეფექტურობის პროგნოზირებისთვის. C++-ისთვის გაუმჯობესებულია ტიპზე დაფუძნებული ფსევდონიმების ანალიზის სიზუსტე.
• გაძლიერებული დაკავშირების დროის ოპტიმიზაცია (LTO). დამატებულია ახალი შესრულებადი ლტო-ნაგავსაყრელი ობიექტის ფაილების შესახებ ინფორმაციის გადატვირთვა LTO ბაიტიკოდით. პარალელური LTO პასები ავტომატურად განსაზღვრავს ერთდროულად გაშვებული make ამოცანების რაოდენობას და, თუ მათი დადგენა შეუძლებელია, გამოიყენეთ ინფორმაცია CPU ბირთვების რაოდენობის შესახებ, როგორც პარალელიზების ფაქტორი. დაემატა LTO bytecode შეკუმშვის შესაძლებლობა zstd ალგორითმის გამოყენებით.
• გაუმჯობესდა კოდის პროფილირების შედეგებზე დაფუძნებული ოპტიმიზაციის მექანიზმი (PGO - Profile-guided optimization), რომელიც ქმნის უფრო ოპტიმალურ კოდს კოდის შესრულების მახასიათებლების ანალიზის საფუძველზე. გაუმჯობესებული პროფილის შენარჩუნება კომპილაციის დროს და ცხელი/ცივი კოდის გამოყოფის დროს. ვარიანტის საშუალებით "-fprofile-მნიშვნელობები» ახლა შეუძლია 4-მდე პროფილის მნიშვნელობის მონიტორინგი, მაგალითად, არაპირდაპირი ზარებისთვის და პროფილის უფრო ზუსტი ინფორმაციის მიწოდება.
• პარალელური პროგრამირების სპეციფიკაცია დანერგილია C, C++ და Fortran ენებისთვის OpenACC 2.6, რომელიც განსაზღვრავს ინსტრუმენტებს GPU-ზე და სპეციალიზებულ პროცესორებზე ოპერაციების გადმოტვირთვისთვის, როგორიცაა NVIDIA PTX. სტანდარტის დანერგვა თითქმის დასრულებულია გახსენით MP 5.0 (Open Multi-Processing), რომელიც განსაზღვრავს API-ს და პარალელური პროგრამირების მეთოდების გამოყენების მეთოდებს მრავალბირთვიან და ჰიბრიდულ (CPU+GPU/DSP) სისტემებზე საერთო მეხსიერებისა და ვექტორიზაციის ერთეულებით (SIMD). დამატებულია ისეთი ფუნქციები, როგორიცაა ბოლო პირადი პირობა, სკანირების და მარყუჟის დირექტივები, შეკვეთა და use_device_addr გამონათქვამები. OpenMP-ისა და OpenACC-სთვის დაემატა მხარდაჭერა ოპერაციების გადმოტვირთვა მეოთხე თაობის (ფიჯი) და მეხუთე თაობის AMD Radeon (GCN) GPU-ებზე (VEGA 10/VEGA 20).
• C ოჯახის ენებისთვის დამატებულია "წვდომის" ფუნქცია, რათა აღწეროს ფუნქციის წვდომა მითითებით ან მაჩვენებლით გადაცემულ ობიექტებზე და დააკავშიროს ასეთი ობიექტები მთელი რიცხვების არგუმენტებთან, რომლებიც შეიცავს ინფორმაციას ობიექტების ზომის შესახებ. "წვდომასთან" ერთად მუშაობისთვის, "type" ატრიბუტი დანერგილია მომხმარებლის ფუნქციებიდან არასწორი წვდომის გამოსავლენად, მაგალითად, მასივის საზღვრებს მიღმა ზონაში მნიშვნელობების ჩაწერისას. ასევე დამატებულია "symver" ატრიბუტი ELF ფაილში სიმბოლოების ასოცირებისთვის კონკრეტული ვერსიის ნომრებით.
• დამატებულია ახალი გაფრთხილებები:
  • "-Wstring-compare" (ჩართულია "-Wextra") - აფრთხილებს გამონათქვამების არსებობის შესახებ, რომლებშიც ნული შედარებულია strcmp და strncmp ფუნქციების გამოძახების შედეგთან, რაც უდრის მუდმივობას იმის გამო, რომ სიგრძე ერთი არგუმენტი მეტია მეორე არგუმენტის მასივის ზომაზე.
  • "-Wzero-length-bounds" (ჩართულია "-Warray-bounds") - აფრთხილებს ნულოვანი სიგრძის მასივის ელემენტებზე წვდომას, რამაც შეიძლება გამოიწვიოს სხვა მონაცემების გადაწერა.
  • გაფრთხილებები "-Warray-bounds", "-Wformat-overflow", "-Wrestrict", "-Wreturn-local-addr" და "-Wstringop-overflow" გაფრთხილებები გაფართოვდა საზღვრებს გარეთ სიტუაციების რაოდენობის გასაფართოებლად. რომლებიც დამუშავებულია.
• განხორციელდა იდენტიფიკატორებში ფართო სიმბოლოების პირდაპირ მითითების შესაძლებლობა მიმდინარე კოდირების (UTF-8 ნაგულისხმევად) გამოყენებით UCN აღნიშვნის ნაცვლად (\uNNNN ან \UNNNNNNNN). Მაგალითად:

  სტატიკური const int π = 3;
  int get_naïve_pi() {
  დაბრუნება π;
  }

• C ენისთვის, C2X სტანდარტის ფარგლებში შემუშავებული ახალი ფუნქციების ნაწილი დანერგილია (ჩართულია -std=c2x და -std=gnu2x-ის მითითებით): გამოჩნდა "[[]]" სინტაქსის მხარდაჭერა ატრიბუტების განსაზღვრისთვის, როგორც C++ (მაგალითად, [[gnu ::const]], [[მოძველებული]], [[fallthrough]] და [[შეიძლება_გამოუყენებელი]]. დაემატა მხარდაჭერა "u8" სინტაქსისთვის UTF-8 სიმბოლოებით მუდმივების განსაზღვრისთვის.
  დაემატა ახალი მაკროები . strftime-ს დაემატა "%OB" და "%Ob" ჩანაცვლება.

• ნაგულისხმევი რეჟიმი C-სთვის არის "-fno-common", რომელიც იძლევა უფრო ეფექტური წვდომის საშუალებას ზოგიერთ პლატფორმაზე გლობალურ ცვლადებზე.
• C++-ისთვის დანერგილია დაახლოებით 16 ცვლილება და ინოვაცია, რომლებიც შემუშავებულია C++20 სტანდარტში. მათ შორის დამატებული საკვანძო სიტყვა "continit"
  და განხორციელდა შაბლონის გაფართოებების მხარდაჭერა "ცნებები". ცნებები საშუალებას გაძლევთ განსაზღვროთ შაბლონის პარამეტრების მოთხოვნების ნაკრები, რომელიც შედგენის დროს ზღუდავს არგუმენტების სიმრავლეს, რომელიც შეიძლება მიღებულ იქნას შაბლონის პარამეტრებად. ცნებები შეიძლება გამოყენებულ იქნას შაბლონში გამოყენებული მონაცემთა ტიპების თვისებებსა და შეყვანის პარამეტრების მონაცემთა ტიპის თვისებებს შორის ლოგიკური შეუსაბამობების თავიდან ასაცილებლად.

• G++ უზრუნველყოფს განუსაზღვრელი ქცევის გამოვლენას, რომელიც გამოწვეულია მუდმივი ობიექტების შეცვლით constexpr-ის საშუალებით. შემცირებული მეხსიერების მოხმარება შემდგენელის მიერ constexpr-ის გაანგარიშებისას. დამატებულია ახალი გაფრთხილებები "-Wmismatched-tags" და "-Wredundant-tags".
• შემოთავაზებულია ბრძანების ხაზის ახალი პარამეტრები:
  • "-fallocation-dce" ამოიღონ არასაჭირო წყვილი "ახალი" და "წაშლა" ოპერატორები.
  • "-fprofile-partial-training", რათა გამორთოთ ზომის ოპტიმიზაცია კოდისთვის, რომელსაც არ აქვს სასწავლო გაშვება.
  • "-fprofile-reproducible პროფილის განმეორებადობის დონის გასაკონტროლებლად.
  • "-fprofile-prefix-path" საბაზისო წყაროს შექმნის დირექტორია, რომელიც გამოიყენება პროფილის ცალკეული გენერირებისთვის ("-fprofile-generate=profile_dir" და "-fprofile-use=profile_dir"-ისთვის).
• აღნიშნული ვარიანტების გამაფრთხილებელ ტექსტში მოცემულია ჰიპერბმულები, რომლებიც საშუალებას გაძლევთ გადახვიდეთ ამ ვარიანტების დოკუმენტაციაზე. URL-ის ჩანაცვლება კონტროლდება "-fdiagnostics-urls" ოფციის გამოყენებით.
• დამატებულია წინასწარი პროცესორის ოპერატორი "__აშენებული აქვს", რომელიც შეიძლება გამოყენებულ იქნას ჩაშენებული ფუნქციების შესამოწმებლად.
• დაემატა ახალი ჩაშენებული ფუნქცია "__builtin_roundeven" დამრგვალების ფუნქციის განხორციელებით, რომელიც განსაზღვრულია ISO/IEC TS 18661 სპეციფიკაციაში, მსგავსია "მრგვალი", მაგრამ დამრგვალება 0.5-ზე მეტი ზევით (უფრო დიდ მნიშვნელობამდე), 0.5-ზე ნაკლები. - ქვემოთ (ნულამდე) და ტოლია 0.5 - დაწყებული წინაბოლო ციფრის პარიტეტიდან.
• AArch64 არქიტექტურისთვის დაემატა SVE2 გაფართოების მხარდაჭერა და გაუმჯობესდა SVE (Scalable Vector Extension) მხარდაჭერა, მათ შორის ჩაშენებული SVE ACLE ფუნქციებისა და ტიპების მხარდაჭერა და ვექტორიზაციის გამოყენება. LSE (დიდი სისტემის გაფართოებები) და TME (ტრანსაქციული მეხსიერების გაფართოება) მხარდაჭერა გაფართოვდა. დაემატა ახალი ინსტრუქციები, რომლებიც შემოთავაზებულია Armv8.5-A-სა და Armv8.6-A-ში, მათ შორის შემთხვევითი რიცხვების გენერირების, დამრგვალების, მეხსიერების ტეგების დაკავშირების ინსტრუქციები,
  bfloat16 და მატრიცული გამრავლება. დამატებულია პროცესორის მხარდაჭერა
  Arm Cortex-A77,
  Arm Cortex-A76AE,
  Arm Cortex-A65,
  Arm Cortex-A65AE,
  Arm Cortex-A34 და
  Marvell ThunderX3.

• დამატებულია მხარდაჭერა ABI FDPIC-ისთვის (32-ბიტიანი ფუნქციის მაჩვენებლები) ARM64-ისთვის. 64-ბიტიანი მთელი რიცხვის ოპერაციების ხელახალი დიზაინი და ოპტიმიზებული დამუშავება. დამატებულია CPU მხარდაჭერა
  Arm Cortex-A77,
  Arm Cortex-A76AE და
  Arm Cortex-M35P. ACLE მონაცემთა დამუშავების ინსტრუქციების გაფართოებული მხარდაჭერა, მათ შორის 32-ბიტიანი SIMD, 16-ბიტიანი გამრავლება, ჩამკეტის არითმეტიკა და სხვა DSP ალგორითმის ოპტიმიზაცია. დამატებულია ექსპერიმენტული მხარდაჭერა ACLE CDE (Custom Datapath Extension) ინსტრუქციებისთვის.

• მნიშვნელოვნად გაუმჯობესდა კოდის გენერაცია და ვექტორიზაცია AMD GPU-ების ფონზე GCN მიკროარქიტექტურაზე დაფუძნებული.
• დამატებულია მხარდაჭერა XMEGA მსგავსი მოწყობილობებისთვის AVR არქიტექტურისთვის
  ATtiny202, ATtiny204, ATtiny402, ATtiny404, ATtiny406, ATtiny804, ATtiny806, ATtiny807, ATtiny1604, ATtiny1606, ATtiny1607, ATmega808ATme809 , ATmega1608, ATmega1609 3208, ATmega3209 და ATmega4808.

• ახალი Intel ENQCMD ინსტრუქციების ნაკრების არქიტექტურის გაფართოება (-menqcmd) დაემატა IA-32/x86-64 არქიტექტურებს. დამატებულია მხარდაჭერა Intel Cooperlake-ისთვის (-march=cooperlake, მოიცავს AVX512BF16 ISA გაფართოებას) და Tigerlake (-march=tigerlake, მოიცავს MOVDIRI, MOVDIR64B და AVX512VP2INTERSECT ISA გაფართოებებს) პროცესორებს.
• HSAIL-ის (ჰეტეროგენული სისტემის არქიტექტურის შუალედური ენა) დანერგვა HSA არქიტექტურაზე დაფუძნებული ჰეტეროგენული გამოთვლითი სისტემებისთვის მოძველებულია და სავარაუდოდ წაიშლება მომავალ გამოშვებაში.

წყარო: opennet.ru