GCC 9 컴파일러 제품군 출시

XNUMX년의 개발 끝에 출판 된 무료 컴파일러 세트 출시 GCC 9.1, 새로운 GCC 9.x 브랜치의 첫 번째 주요 릴리스입니다. 에 따라 새로운 계획 릴리스 번호인 버전 9.0이 개발 프로세스에 사용되었으며 GCC 9.1이 릴리스되기 직전에 GCC 10.0 분기가 이미 분기되어 다음 중요한 릴리스인 GCC 10.1이 형성되었습니다.

GCC 9.1은 C++17 표준에 대한 지원을 안정화하고, 미래 C++20 표준(코드명 C++2a)의 기능을 계속 구현하고, D 언어에 대한 프런트엔드에 포함하고, OpenMP 5.0에 대한 부분 지원을 제공하는 것으로 유명합니다. , OpenACC 2.5에 대한 거의 완벽한 지원, 바인딩 단계에서 절차 간 최적화 및 최적화의 확장성 향상, 진단 도구 확장 및 새로운 경고 추가, OpenRISC, C-SKY V2 및 AMD GCN GPU용 백엔드.

주요 변경:

• D 프로그래밍 언어에 대한 지원이 추가되었습니다. GCC에는 컴파일러가 포함된 프런트엔드가 포함되어 있습니다. GDC (Gnu D 컴파일러) 및 런타임 라이브러리(libphobos): 표준 GCC를 사용하여 D 프로그래밍 언어로 프로그램을 구축할 수 있습니다. GCC에서 D 언어 지원을 활성화하는 프로세스 시작되었다 2011년으로 돌아갔지만 끌다 GCC 요구 사항을 준수하도록 코드를 가져와야 할 필요성과 D 프로그래밍 언어를 개발하고 있는 Digital Mars에 대한 지적 재산권 이전 문제로 인해;
• 코드 생성기가 개선되었습니다. 예를 들어, 상황에 따라 Switch 표현식(점프 테이블, 비트 테스트, 의사결정 트리)을 확장하기 위한 다양한 전략의 사용이 구현되었습니다. "-ftree-switch-conversion" 최적화를 사용하여 Switch 표현식을 포함하는 선형 함수를 변환하는 기능이 추가되었습니다(예: "사례 2: 방법 = 205; 중단; 사례 3: 방법 = 305; 중단과 같은 조건 집합). ;”는 "100 * 어떻게 + 5"로 변환됩니다.
• 프로시저 간 최적화가 개선되었습니다. 인라인 배포 설정은 최신 C++ 코드베이스에 맞게 조정되었으며 새로운 매개변수 max-inline-insns-small, max-inline-insns-size, uninlined-function-insns, uninlined-function-time, uninlined-thunk-insns 및 uninlined로 확장되었습니다. -썽크타임. 콜드/핫 코드 분리의 정확성과 공격성이 향상되었습니다. 대규모 확장성을 위한 향상된 확장성 번역 단위 (예를 들어 대규모 프로그램의 연결 단계에서 최적화를 적용하는 경우)
• 코드 프로파일링(PGO - Profile-guided Optimization) 결과를 기반으로 한 최적화 메커니즘이 개선되어 코드 실행 특성 분석을 바탕으로 더욱 최적의 코드를 생성합니다. 요약 옵션 "-fprofile-사용"에는 이제 최적화 모드 "-fversion-loops-for-strides", "-floop-interchange", "-floop-unroll-and-jam" 및 "-ftree-loop-distribution"이 포함됩니다. 파일에 카운터가 있는 히스토그램 포함을 제거하여 프로필이 있는 파일의 크기를 줄였습니다(이제 연결 중에 최적화를 수행할 때 히스토그램이 즉시 생성됩니다).
• 향상된 연결 시간 최적화(LTO). 결과를 생성하기 전 유형의 단순화를 제공하여 LTO 객체 파일의 크기를 대폭 줄이고 바인딩 단계에서 메모리 소비를 줄이며 작업 병렬화를 향상시킬 수 있었습니다. 파티션 수(-param lto-partitions)가 32개에서 128개로 증가하여 CPU 스레드 수가 많은 시스템의 성능이 향상되었습니다. 최적화 프로세스 수를 제어하기 위한 매개변수가 추가되었습니다.
  "-param lto-max-스트리밍-병렬성";

  결과적으로 GCC 8.3과 비교하여 GCC 9에 도입된 최적화는 허용 된 Firefox 5 및 LibreOffice 66의 컴파일 시간을 약 6.2.3% 단축합니다. 개체 파일의 크기가 7% 감소했습니다. 8코어 CPU의 바인딩 시간이 11% 감소했습니다. 연결 단계의 순차적 최적화 단계는 이제 28% 더 빨라지고 20% 더 적은 메모리를 소비합니다. LTO 병렬화 단계의 각 프로세서의 메모리 소비가 30% 감소했습니다.

• 대부분의 병렬 프로그래밍 사양은 C, C++ 및 Fortran 언어에 대해 구현됩니다. 오픈ACC 2.5GPU 및 NVIDIA PTX와 같은 특수 프로세서에서 작업을 오프로드하기 위한 도구를 정의합니다.
• 표준에 대한 부분 지원이 C 및 C++에 대해 구현되었습니다. 오픈MP 5.0 (Open Multi-Processing), 공유 메모리 및 벡터화 장치(SIMD)가 있는 멀티 코어 및 하이브리드(CPU+GPU/DSP) 시스템에서 C, C++ 및 Fortran 언어에 대한 병렬 프로그래밍 방법을 적용하는 API 및 방법을 정의합니다. ;
• C 언어에 대한 새로운 경고가 추가되었습니다: "-포장 회원의 Waddress"(구조체 또는 공용체의 압축된 멤버에 대한 정렬되지 않은 포인터 값) 및
  «-W절대값" (절대값 계산을 위한 함수에 액세스할 때 지정된 인수에 더 적합한 함수가 있는 경우, 예를 들어 abs(3.14) 대신 fabs(3.14)를 사용해야 합니다. C++에 새로운 경고가 추가되었습니다: "-Wdeprecated-copy",
  "-Winit-list-lifetime", "-Wredundant-move", "-Wpessimizing-move" 및 "-Wclass-conversion". 이전에 사용 가능한 많은 경고가 확장되었습니다.

• 코드명 C2x인 미래 C 언어 표준의 일부에 대한 실험적 지원이 추가되었습니다. C2x 지원을 활성화하려면 "-std=c2x" 및 "-std=gnu2x" 옵션을 사용하십시오(GNU 확장을 활성화하려면). 표준은 아직 개발 초기 단계이므로 해당 기능 중 하나의 인수가 있는 _Static_assert 표현식만 지원됩니다(두 개의 인수가 있는 _Static_assert는 C11에서 표준화됨).
• C++17 표준에 대한 지원이 안정적으로 선언되었습니다. 프론트엔드에서는 C++17의 언어 기능이 완전히 구현되었으며, libstdc++에서는 표준에 정의된 라이브러리 함수가 거의 전체 구현에 가깝습니다.
• 계속되는 구현 미래 C++2a 표준의 요소. 예를 들어, 초기화 중에 범위를 포함하는 기능이 추가되었고, 람다 표현식에 대한 확장이 구현되었으며, 데이터 구조의 빈 멤버 및 가능성/가능성이 없는 속성에 대한 지원이 추가되었으며, 조건식에서 가상 함수를 호출하는 기능이 제공되었습니다. , 등.
  C++2a 지원을 활성화하려면 "-std=c++2a" 및 "-std=gnu++2a" 옵션을 사용하세요. C++2a, std::remove_cvref, std::unwrap_reference, std::unwrap_decay_ref, std::is_nothrow_convertible 및 std::type_identity 특성, std::midpoint, std::lerp 함수용 libstdc++에 비트 및 버전 헤더 파일을 추가했습니다. , 표준::bind_front,
  std::visit, std::is_constant_evaluated 및 std::assume_aligned, char8_t 유형에 대한 지원 추가, 문자열의 접두사 및 접미사(starts_with, end_with)를 확인하는 기능 구현

• 새로운 ARM 프로세서에 대한 지원 추가
  Cortex-A76, Cortex-A55, Cortex-A76 DynamIQ big.LITTLE 및 Neoverse N1. 복소수, 의사 난수 생성(rng) 및 메모리 태깅(memtag) 작업을 위해 Armv8.3-A에 도입된 명령에 대한 지원은 물론 예측 실행 및 분기 예측 장치 작동과 관련된 공격을 차단하기 위한 명령에 대한 지원이 추가되었습니다. . AArch64 아키텍처의 경우 보호 모드가 추가되었습니다. 스택과 힙의 교차점 (“-fstack-clash 보호”). Armv8.5-A 아키텍처의 기능을 사용하기 위해 "-march=armv8.5-a" 옵션이 추가되었습니다.

• 여기에는 GCN 마이크로아키텍처를 기반으로 하는 AMD GPU용 코드를 생성하기 위한 백엔드가 포함되어 있습니다. 구현은 현재 단일 스레드 응용 프로그램의 컴파일(OpenMP 및 OpenACC를 통한 다중 스레드 계산 수행 지원은 나중에 제공될 예정)과 GPU Fiji 및 Vega 10에 대한 지원으로 제한됩니다.
• 프로세서를 위한 새로운 백엔드 추가 오픈RISC;
• 프로세서용 백엔드 추가 C-스카이 V2, 다양한 소비자 장치를 위해 동일한 이름의 중국 회사에서 생산;
• 바이트 값을 작동하는 모든 명령줄 옵션은 접미사 kb, KiB, MB, MiB, GB 및 GiB를 지원합니다.
• 구현 "-flive-patching=[inline-only-static|inline-clone]" 옵션을 사용하면 절차 간 사용에 대한 다단계 제어로 인해 라이브 패치 시스템에 대한 안전한 컴파일을 달성할 수 있습니다(IPA) 최적화;
• Bash를 사용할 때 옵션 완성을 세밀하게 제어하기 위해 "--completion" 옵션이 추가되었습니다.
• 진단 도구는 줄 번호를 나타내는 소스 텍스트 발췌 표시를 제공하고 피연산자 유형과 같은 관련 정보를 시각적으로 표시합니다. 줄 번호와 레이블 표시를 비활성화하기 위해 "-fno-diagnostics-show-line-numbers" 및 "-fno-diagnostics-show-labels" 옵션이 제공됩니다.
  

• 퍼지는 C++ 코드의 오류 진단 도구, 오류 원인에 대한 정보의 가독성 향상 및 문제가 있는 매개변수 강조 표시
  

• 기계가 읽을 수 있는 형식(JSON)으로 진단 출력을 생성할 수 있는 "-fdiagnostics-format=json" 옵션이 추가되었습니다.
• 처리할 소스 파일을 선택하기 위한 새로운 프로파일링 옵션 "-fprofile-filter-files" 및 "-fprofile-exclude-files"를 추가했습니다.
• AddressSanitizer는 자동 변수에 대한 보다 간결한 확인 코드 생성을 제공하여 검사 중인 실행 파일의 메모리 소비를 줄입니다.
• "의 출력이 향상되었습니다.-fopt-정보» (추가된 최적화에 대한 자세한 정보) 이전에 사용 가능한 접두사 "note" 외에 새로운 접두사 "optimized" 및 "missed"가 추가되었습니다. 인라인 전개 및 사이클 벡터화에 대한 의사결정에 대한 정보 출력을 추가했습니다.
• "-fsave-optimization-record" 옵션을 추가하면 GCC는 특정 최적화 사용에 대한 결정에 대한 설명과 함께 SRCFILE.opt-record.json.gz 파일을 저장합니다. 새로운 옵션은 프로필 및 인라인 체인에 대한 정보와 같은 추가 메타데이터를 포함한다는 점에서 "-fopt-info" 모드와 다릅니다.
• 절차간 최적화 중에 스택 정렬 및 정적 변수에 대한 주소 지정 모드(쓰기 전용 또는 읽기 정확) 사용을 제어하기 위해 "-fipa-stack-alignment" 및 "-fipa-reference-addressable" 옵션이 추가되었습니다.
• 속성 바인딩뿐만 아니라 분기 예측 및 예측 명령어 실행과 관련된 동작을 제어하기 위해 새로운 내장 함수가 도입되었습니다.__builtin_has_속성«,«__builtin_expect_with_probability" 그리고 "__builtin_speculation_safe_value". 함수, 변수, 유형에 대한 새로운 속성이 추가되었습니다. 복사;
• Fortran 언어에 대해 비동기식 입력/출력에 대한 완전한 지원이 구현되었습니다.
• Solaris 10(*-*-solaris2.10) 및 Cell/BE(Cell Broadband Engine SPU) 플랫폼에 대한 지원은 더 이상 사용되지 않으며 다음 주요 릴리스에서 제거될 예정입니다. Armv2, Armv3, Armv5 및 Armv5E 아키텍처에 대한 지원이 중단되었습니다. Intel MPX(Memory Protection Extensions)에 대한 지원이 중단되었습니다.

출처 : opennet.ru