ປ່ອຍຊຸດຄອມພີວເຕີ GCC 10

ຫຼັງຈາກປີຂອງການພັດທະນາ ຈັດພີມມາ ປ່ອຍຊຸດ compilers ຟຣີ 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), ການເພີ່ມປະສິດທິພາບໃຫມ່ໃນ backends ລວບລວມແລະການສະຫນັບສະຫນູນການທົດລອງ. ຮູບແບບການວິເຄາະສະຖິດ. ນອກຈາກນັ້ນ, ໃນໄລຍະການກະກຽມສາຂາໃຫມ່, ໂຄງການໄດ້ໂອນ repository ຈາກ SVN ໄປ Git.

ຕົ້ນ​ຕໍ ການປ່ຽນແປງ:

• ເພີ່ມແລ້ວ ຮູບແບບການທົດລອງຂອງການວິເຄາະສະຖິດ "-fanalyzer“, ເຊິ່ງປະຕິບັດການວິເຄາະລະຫວ່າງຂະບວນການທີ່ເນັ້ນໃສ່ຊັບພະຍາກອນຂອງເສັ້ນທາງການປະຕິບັດລະຫັດແລະການໄຫຼເຂົ້າຂອງຂໍ້ມູນໃນໂຄງການ. ໂຫມດສາມາດກວດພົບບັນຫາໃນຂັ້ນຕອນການລວບລວມ, ເຊັ່ນການໂທສອງຄັ້ງໄປຫາ free() function ສໍາລັບພື້ນທີ່ຫນ່ວຍຄວາມຈໍາຫນຶ່ງ, ການຮົ່ວໄຫລ descriptor ໄຟລ໌, dereferencing ແລະ passing null pointers, ການເຂົ້າເຖິງ block memory freed, ການນໍາໃຊ້ຄ່າ uninitialized, ແລະອື່ນໆ. ການນໍາໃຊ້ຮູບແບບໃຫມ່ສໍາລັບລະຫັດ OpenSSL ໄດ້ເຮັດໃຫ້ມັນເປັນໄປໄດ້ທີ່ຈະກໍານົດ ຄວາມ​ສ່ຽງ​ອັນ​ຕະ​ລາຍ​.
• ປັບປຸງການເພີ່ມປະສິດທິພາບ interprocedural. IPA-SRA (Interprocedural Scalar Shared Replacement) pass ໄດ້ຖືກອອກແບບໃຫມ່ເພື່ອເຮັດວຽກໃນເວລາຜູກມັດແລະ, ໃນບັນດາສິ່ງອື່ນໆ, ຕອນນີ້ເອົາຄ່າທີ່ຄິດໄລ່ແລະສົ່ງຄືນຄ່າທີ່ບໍ່ໄດ້ໃຊ້. ໃນໂຫມດການເພີ່ມປະສິດທິພາບ "-O2", ທາງເລືອກ "-finline-functions" ຖືກເປີດໃຊ້, ເຊິ່ງຖືກປັບປຸງຄືນໃຫມ່ເພື່ອໃຫ້ລະຫັດທີ່ຫນາແຫນ້ນກວ່າການປະຕິບັດການປະຕິບັດ. ການເຮັດວຽກຂອງ heuristic ສໍາລັບການປະຕິບັດຫນ້າທີ່ inline ໄດ້ຖືກເລັ່ງ. ການຂະຫຍາຍຢູ່ໃນແຖວ ແລະການເຮັດວຽກຂອງ heuristics cloning ໃນປັດຈຸບັນສາມາດນໍາໃຊ້ຂໍ້ມູນກ່ຽວກັບຂອບເຂດມູນຄ່າເພື່ອຄາດຄະເນປະສິດທິຜົນຂອງການຫັນເປັນສ່ວນບຸກຄົນ. ສໍາລັບ C++, ຄວາມຖືກຕ້ອງຂອງການແຍກວິເຄາະນາມແຝງຕາມປະເພດໄດ້ຖືກປັບປຸງໃຫ້ດີຂຶ້ນ.
• ການເພີ່ມປະສິດທິພາບເວລາເຊື່ອມຕໍ່ (LTO). ເພີ່ມໃຫມ່ທີ່ສາມາດປະຕິບັດໄດ້ ຖິ້ມຂີ້ເຫຍື້ອ ເພື່ອຣີເຊັດຂໍ້ມູນກ່ຽວກັບໄຟລ໌ວັດຖຸດ້ວຍ LTO bytecode. Parallel LTO passes ອັດຕະໂນມັດກໍານົດຈໍານວນຂອງການເຮັດວຽກພ້ອມໆກັນເຮັດໃຫ້ວຽກງານແລະ, ຖ້າພວກເຂົາບໍ່ສາມາດກໍານົດໄດ້, ໃຫ້ໃຊ້ຂໍ້ມູນກ່ຽວກັບຈໍານວນຂອງ CPU cores ເປັນປັດໃຈຂະຫນານ. ເພີ່ມຄວາມສາມາດໃນການບີບອັດ LTO bytecode ໂດຍໃຊ້ zstd algorithm.
• ກົນໄກການເພີ່ມປະສິດທິພາບໂດຍອີງໃສ່ຜົນໄດ້ຮັບຂອງລະຫັດ profile (PGO - Profile-guided optimization) ໄດ້ຖືກປັບປຸງ, ເຊິ່ງສ້າງລະຫັດທີ່ດີທີ່ສຸດໂດຍອີງໃສ່ການວິເຄາະລັກສະນະຂອງການປະຕິບັດລະຫັດ. ປັບປຸງການບໍາລຸງຮັກສາໂປຣໄຟລ໌ໃນລະຫວ່າງການລວບລວມແລະການແຍກລະຫັດຮ້ອນ / ເຢັນ. ໂດຍຜ່ານທາງເລືອກ "-fprofile-ຄ່າ» ຕອນນີ້ສາມາດຕິດຕາມໄດ້ເຖິງ 4 ມູນຄ່າໂປຣໄຟລ໌, ຕົວຢ່າງສໍາລັບການໂທທາງອ້ອມ ແລະໃຫ້ຂໍ້ມູນໂປຣໄຟລ໌ທີ່ຊັດເຈນກວ່າ.
• ຂໍ້ມູນສະເພາະການຂຽນໂປລແກລມຂະຫນານແມ່ນປະຕິບັດສໍາລັບພາສາ C, C++ ແລະ Fortran OpenACC 2.6, ເຊິ່ງກໍານົດເຄື່ອງມືສໍາລັບການດໍາເນີນການ offloading ໃນ GPUs ແລະໂປເຊດເຊີພິເສດເຊັ່ນ NVIDIA PTX. ການປະຕິບັດມາດຕະຖານແມ່ນເກືອບສໍາເລັດ ເປີດ MP 5.0 (Open Multi-Processing), ເຊິ່ງກຳນົດ API ແລະວິທີການນຳໃຊ້ວິທີການຂຽນໂປລແກລມຂະໜານໃນລະບົບຫຼາຍຫຼັກ ແລະລະບົບປະສົມ (CPU+GPU/DSP) ທີ່ມີໜ່ວຍຄວາມຈຳຮ່ວມກັນ ແລະ vectorization (SIMD). ຄຸນສົມບັດທີ່ເພີ່ມເຂົ້າມາເຊັ່ນ: Lastprivate conditionals, scan and loop directives, order and use_device_addr expressions. ສໍາລັບ OpenMP ແລະ OpenACC, ການສະຫນັບສະຫນູນໄດ້ຖືກເພີ່ມສໍາລັບການປະຕິບັດງານ offloading ໃນຮຸ່ນທີສີ່ (Fiji) ແລະ GPUs AMD Radeon (GCN) ຮຸ່ນທີ 10 (VEGA 20/VEGA XNUMX).
• ສໍາລັບພາສາຂອງຄອບຄົວ C, ຟັງຊັນ "ເຂົ້າເຖິງ" ໄດ້ຖືກເພີ່ມເພື່ອອະທິບາຍເຖິງການເຂົ້າເຖິງຂອງວັດຖຸທີ່ສົ່ງຜ່ານໂດຍການອ້າງອິງຫຼືຕົວຊີ້, ແລະເຊື່ອມໂຍງວັດຖຸດັ່ງກ່າວກັບ argument ຈໍານວນເຕັມທີ່ມີຂໍ້ມູນກ່ຽວກັບຂະຫນາດຂອງວັດຖຸ. ເພື່ອເຮັດວຽກຮ່ວມກັນກັບ "ການເຂົ້າເຖິງ", "ປະເພດ" ຄຸນລັກສະນະຖືກປະຕິບັດເພື່ອກວດພົບການເຂົ້າເຖິງທີ່ບໍ່ຖືກຕ້ອງຈາກຫນ້າທີ່ຜູ້ໃຊ້, ຕົວຢ່າງ, ເມື່ອຂຽນຄ່າໄປຫາພື້ນທີ່ນອກຂອບເຂດຂອງອາເຣ. ຍັງໄດ້ເພີ່ມຄຸນສົມບັດ "symver" ເພື່ອເຊື່ອມໂຍງສັນຍາລັກໃນໄຟລ໌ ELF ທີ່ມີຕົວເລກສະເພາະ.
• ເພີ່ມຄຳເຕືອນໃໝ່:
  • “-Wstring-compare” (ເປີດໃຊ້ດ້ວຍ “-Wextra”) - ເຕືອນກ່ຽວກັບການປະກົດຕົວຂອງການສະແດງອອກທີ່ສູນຖືກປຽບທຽບກັບຜົນຂອງການເອີ້ນຟັງຊັນ strcmp ແລະ strncmp, ເຊິ່ງເທົ່າກັບຄ່າຄົງທີ່ເນື່ອງຈາກຄວາມຈິງທີ່ວ່າຄວາມຍາວ. ຂອງໜຶ່ງອາກິວເມັນໃຫຍ່ກວ່າຂະໜາດຂອງອາເຣໃນອາກິວເມັນທີສອງ .
  • "-Wzero-length-bounds" (ເປີດໃຊ້ດ້ວຍ "-Warray-bounds") - ເຕືອນກ່ຽວກັບການເຂົ້າເຖິງອົງປະກອບ array ຂອງຄວາມຍາວສູນ, ເຊິ່ງອາດຈະນໍາໄປສູ່ການຂຽນທັບຂໍ້ມູນອື່ນໆ.
  • ການເຕືອນ "-Warray-bounds", "-Wformat-overflow", "-Wrestrict", "-Wreturn-local-addr" ແລະ "-Wstringop-overflow" ໄດ້ຖືກຂະຫຍາຍອອກໄປເພື່ອຂະຫຍາຍຈໍານວນສະຖານະການນອກຂອບເຂດ. ທີ່ຖືກຈັດການ.
• ປະຕິບັດຄວາມສາມາດໃນການລະບຸຕົວອັກສອນກວ້າງໂດຍກົງໃນຕົວລະບຸໂດຍໃຊ້ການເຂົ້າລະຫັດປະຈຸບັນ (UTF-8 ໂດຍຄ່າເລີ່ມຕົ້ນ) ແທນທີ່ຈະເປັນຕົວລະບຸ UCN (\uNNNN ຫຼື \UNNNNNNNN). ຍົກ​ຕົວ​ຢ່າງ:

  static const int π = 3;
  int get_naïve_pi() {
  ກັບຄືນ π;
  }

• ສໍາລັບພາສາ C, ສ່ວນຫນຶ່ງຂອງລັກສະນະໃຫມ່ທີ່ພັດທະນາພາຍໃນມາດຕະຖານ C2X ໄດ້ຖືກປະຕິບັດ (ເປີດໃຊ້ງານໂດຍການລະບຸ -std=c2x ແລະ -std=gnu2x): ການສະຫນັບສະຫນູນສໍາລັບ syntax "[[]]" ປາກົດຂຶ້ນສໍາລັບການກໍານົດຄຸນລັກສະນະເຊັ່ນໃນ C++ (ຕົວຢ່າງ: [[gnu ::const]], [[ປະຕິເສດ]], [[fallthrough]] ແລະ [[maybe_unused]]. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ "u8" syntax ສໍາລັບກໍານົດຄ່າຄົງທີ່ດ້ວຍຕົວອັກສອນ UTF-8.
  ເພີ່ມມາໂຄຣໃໝ່ໃສ່ . ເພີ່ມ "%OB" ແລະ "%Ob" ການທົດແທນໃສ່ strftime.

• ຮູບແບບເລີ່ມຕົ້ນຂອງ C ແມ່ນ "-fno-common", ເຊິ່ງອະນຸຍາດໃຫ້ເຂົ້າເຖິງຕົວແປທົ່ວໂລກທີ່ມີປະສິດທິພາບຫຼາຍຂຶ້ນໃນບາງເວທີ.
• ສໍາລັບ C ++, ປະມານ 16 ການປ່ຽນແປງແລະການປະດິດສ້າງໄດ້ຖືກປະຕິບັດ, ພັດທະນາໃນມາດຕະຖານ C ++ 20. ລວມທັງຄໍາສໍາຄັນທີ່ເພີ່ມ "constinit"
  ແລະການສະຫນັບສະຫນູນສໍາລັບການຂະຫຍາຍແມ່ແບບໄດ້ຖືກປະຕິບັດ "ແນວຄວາມຄິດ". ແນວຄວາມຄິດອະນຸຍາດໃຫ້ທ່ານກໍານົດຊຸດຂອງຂໍ້ກໍານົດພາລາມິເຕີຂອງແມ່ແບບທີ່, ໃນເວລາລວບລວມ, ຈໍາກັດຊຸດຂອງ arguments ທີ່ສາມາດຍອມຮັບໄດ້ເປັນຕົວກໍານົດການແມ່ແບບ. ແນວຄວາມຄິດສາມາດຖືກນໍາໃຊ້ເພື່ອຫຼີກເວັ້ນຄວາມບໍ່ສອດຄ່ອງກັນລະຫວ່າງຄຸນສົມບັດຂອງປະເພດຂໍ້ມູນທີ່ໃຊ້ພາຍໃນແມ່ແບບແລະຄຸນສົມບັດປະເພດຂໍ້ມູນຂອງຕົວກໍານົດການປ້ອນຂໍ້ມູນ.

• G++ ສະໜອງການກວດຫາພຶດຕິກຳທີ່ບໍ່ໄດ້ກຳນົດທີ່ເກີດຈາກການປ່ຽນແປງວັດຖຸຄົງທີ່ຜ່ານ constexpr. ຫຼຸດຜ່ອນການບໍລິໂພກຄວາມຊົງຈໍາໂດຍ compiler ເມື່ອຄິດໄລ່ constexpr. ເພີ່ມຄຳເຕືອນໃໝ່ "-Wmismatched-tags" ແລະ "-Wredundant-tags".
• ທາງເລືອກແຖວຄໍາສັ່ງໃຫມ່ໄດ້ຖືກສະເຫນີ:
  • "-fallocation-dce" ເພື່ອເອົາຄູ່ທີ່ບໍ່ຈໍາເປັນຂອງຕົວປະຕິບັດການ "ໃຫມ່" ແລະ "ລຶບ".
  • "-fprofile-partial-training" ເພື່ອປິດການເພີ່ມປະສິດທິພາບຂະຫນາດສໍາລັບລະຫັດທີ່ບໍ່ມີການຝຶກອົບຮົມ.
  • "-fprofile-reproducible ເພື່ອຄວບຄຸມລະດັບການແຜ່ພັນຂອງໂປຣໄຟລ໌.
  • "-fprofile-prefix-path" ເພື່ອກໍານົດໄດເລກະທໍລີ build source ພື້ນຖານທີ່ໃຊ້ສໍາລັບການສ້າງໂປຣໄຟລ໌ແຍກຕ່າງຫາກ (ສໍາລັບ "-fprofile-generate=profile_dir" ແລະ "-fprofile-use=profile_dir").
• ໃນຂໍ້ຄວາມເຕືອນສໍາລັບທາງເລືອກທີ່ໄດ້ກ່າວມາ, hyperlinks ໄດ້ຖືກສະຫນອງໃຫ້ທີ່ອະນຸຍາດໃຫ້ທ່ານໄປຫາເອກະສານສໍາລັບທາງເລືອກເຫຼົ່ານີ້. ການທົດແທນ URL ຖືກຄວບຄຸມໂດຍໃຊ້ຕົວເລືອກ "-fdiagnostics-urls".
• ເພີ່ມຕົວປະຕິບັດການ preprocessor "__has_builtin", ຊຶ່ງສາມາດຖືກນໍາໃຊ້ເພື່ອກວດກາເບິ່ງຫນ້າທີ່ສ້າງໃນ.
• ເພີ່ມຟັງຊັນໃໝ່ໃນຕົວ "__builtin_roundeven" ດ້ວຍການຈັດຕັ້ງປະຕິບັດຟັງຊັນການຮອບທີ່ກຳນົດໄວ້ໃນຂໍ້ສະເພາະ ISO/IEC TS 18661, ຄ້າຍກັບ "ຮອບ", ແຕ່ການປັດສ່ວນທີ່ໃຫຍ່ກວ່າ 0.5 ເຖິງ (ເປັນຄ່າໃຫຍ່ກວ່າ), ໜ້ອຍກວ່າ 0.5. - ລົງ (ເຖິງສູນ), ແລະເທົ່າກັບ 0.5 - ເລີ່ມຈາກ parity ຂອງຕົວເລກ penultimate.
• ສໍາລັບສະຖາປັດຕະຍະກໍາ AArch64, ການສະຫນັບສະຫນູນການຂະຫຍາຍ SVE2 ໄດ້ຖືກເພີ່ມແລະການສະຫນັບສະຫນູນ SVE (Scalable Vector Extension) ໄດ້ຖືກປັບປຸງ, ລວມທັງການເພີ່ມການສະຫນັບສະຫນູນສໍາລັບຫນ້າທີ່ແລະປະເພດ SVE ACLE ທີ່ມີໃນຕົວ, ແລະການນໍາໃຊ້ vectorization. ການສະຫນັບສະຫນູນສໍາລັບ 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-bit function pointers) ສໍາລັບ ARM64. ອອກແບບໃໝ່ ແລະປັບປຸງການປະມວນຜົນການດຳເນີນການຈຳນວນ 64-bit. ເພີ່ມການສະຫນັບສະຫນູນ CPU
  Arm Cortex-A77,
  Arm Cortex-A76AE ແລະ
  Arm Cortex-M35P. ຂະຫຍາຍການສະຫນັບສະຫນູນສໍາລັບຄໍາແນະນໍາການປະມວນຜົນຂໍ້ມູນ ACLE, ລວມທັງ 32-bit SIMD, 16-bit multiplication, latch arithmetic, ແລະ DSP algorithm optimization ອື່ນໆ. ເພີ່ມການຮອງຮັບການທົດລອງສໍາລັບຄໍາແນະນໍາ ACLE CDE (Custom Datapath Extension).

• ການປັບປຸງການສ້າງລະຫັດແລະ vectorization ຢ່າງຫຼວງຫຼາຍໃນ backend ສໍາລັບ AMD GPUs ໂດຍອີງໃສ່ microarchitecture GCN.
• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບອຸປະກອນທີ່ຄ້າຍຄື XMEGA ສໍາລັບສະຖາປັດຕະ AVR
  ATtiny202, ATtiny204, ATtiny402, ATtiny404, ATtiny406, ATtiny804, ATtiny806, ATtiny807, ATtiny1604, ATtiny1606, ATtiny1607, ATmega808, ATmega809mega1608mega1609, , ATmega3208 3209, ATmega4808 ແລະ ATmega4809.

• ການຂະຫຍາຍສະຖາປັດຕະຍະກໍາຊຸດຄໍາແນະນໍາ Intel ENQCMD ໃຫມ່ (-menqcmd) ໄດ້ຖືກເພີ່ມສໍາລັບສະຖາປັດຕະຍະກໍາ IA-32/x86-64. ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບ Intel Cooperlake (-march=cooperlake, ປະກອບມີສ່ວນຂະຫຍາຍ AVX512BF16 ISA) ແລະ Tigerlake (-march=tigerlake, ປະກອບມີ CPUs MOVDIRI, MOVDIR64B ແລະ AVX512VP2INTERSECT ISA).
• ການປະຕິບັດຂອງ HSAIL (Heterogeneous System Architecture Intermediate Language) ສໍາລັບລະບົບຄອມພິວເຕີທີ່ຫຼາກຫຼາຍຊະນິດໂດຍອີງໃສ່ສະຖາປັດຕະຍະກໍາ HSA ໄດ້ຖືກປະຕິເສດ ແລະອາດຈະຖືກຖອດອອກໃນການປ່ອຍໃນອະນາຄົດ.

ແຫຼ່ງຂໍ້ມູນ: opennet.ru