C++ 도구 모음 구성

개요

올바른 옵션으로 컴파일러를 호출하려면 Bazel이 컴파일러 내부 요소에는 디렉터리 및 중요 플래그가 포함됩니다. 즉, Bazel이 코드를 해석하려면 간소화된 컴파일러 모델이 필요합니다. 작동한다는 것입니다.

Bazel은 다음 사항을 알아야 합니다.

• 컴파일러가 thinLTO, 모듈, 동적 링크 또는 PIC를 지원하는지 여부 (위치 독립 코드)
• gcc, ld, ar, objcopy 등 필수 도구의 경로
• 내장 시스템 포함 디렉터리 Bazel은 이러한 정보가 있어야 소스 파일에 포함된 모든 헤더가 BUILD 파일
• 기본 sysroot입니다.
• 컴파일, 연결, 보관처리에 사용할 플래그.
• 지원되는 컴파일 모드(opt, dbg, fastbuild)에 사용할 플래그입니다.
• 컴파일러에 특별히 필요한 변수를 만듭니다.

컴파일러가 여러 아키텍처를 지원하는 경우 Bazel은 분리하는 것이 좋습니다

CcToolchainConfigInfo는 API에 필요한 수준의 Bazel의 C++ 규칙의 동작을 구성하기 위한 세부사항 기본적으로 Bazel이 빌드용으로 CcToolchainConfigInfo를 자동으로 구성하지만 수동으로 구성할 수 있는 옵션이 있습니다. 이를 위해서는 CcToolchainConfigInfo를 제공하는 Starlark 규칙이 필요하며 cc_toolchain의 toolchain_config 속성을 규칙으로 가리켜야 합니다. cc_common.create_cc_toolchain_config_info()를 호출하여 CcToolchainConfigInfo를 만들 수 있습니다. 프로세스에 필요한 모든 구조체의 Starlark 생성자는 @rules_cc//cc:cc_toolchain_config_lib.bzl에서 확인할 수 있습니다.

C++ 대상이 분석 단계에 진입하면 Bazel이 적절한 항목을 선택합니다. BUILD 파일에 기반하여 cc_toolchain 타겟을 가져오고 지정된 대상의 CcToolchainConfigInfo 제공자 cc_toolchain.toolchain_config 속성 cc_toolchain 타겟 CcToolchainProvider를 통해 이 정보를 C++ 타겟에 전달합니다.

예를 들어 cc_binary 또는 cc_library와 같은 규칙에 의해 인스턴스화된 컴파일 또는 연결 작업에는 다음 정보가 필요합니다.

• 사용할 컴파일러 또는 링커
• 컴파일러/링커의 명령줄 플래그
• --copt/--linkopt 옵션을 통해 전달되는 구성 플래그
• 환경 변수
• 작업이 실행되는 샌드박스에 필요한 아티팩트

샌드박스에 필요한 아티팩트를 제외한 위의 모든 정보는 cc_toolchain가 가리키는 Starlark 타겟에 지정됩니다.

샌드박스로 전달할 아티팩트는 cc_toolchain에 선언됩니다. 있습니다. 예를 들어 cc_toolchain.linker_files 속성을 사용하여 링커 바이너리와 샌드박스로 제공할 도구 모음 라이브러리를 지정할 수 있습니다.

도구 모음 선택

도구 모음 선택 로직은 다음과 같이 작동합니다.

1. 사용자가 BUILD 파일에서 cc_toolchain_suite 대상을 지정하고 포인트 대상에게 Bazel을 --crosstool_top 옵션.

2. cc_toolchain_suite 타겟은 여러 도구 모음을 참조합니다. --cpu 및 --compiler 플래그의 값에 따라 --cpu 플래그 값만을 기반으로 하거나 공동 --cpu | --compiler 값을 기반으로 하여 선택되는 도구 모음을 결정합니다. 선정 절차는 다음과 같습니다.

   • --compiler 옵션을 지정하면 Bazel은 --cpu | --compiler를 사용하여 cc_toolchain_suite.toolchains 속성에서 상응하는 항목을 선택합니다. Bazel에서 해당 항목을 찾지 못하면 오류가 발생합니다.

   • --compiler 옵션을 지정하지 않으면 Bazel은 --cpu만 사용하여 cc_toolchain_suite.toolchains 속성에서 상응하는 항목을 선택합니다.

   • 플래그를 지정하지 않으면 Bazel은 호스트 시스템을 검사하고 발견된 내용을 기반으로 --cpu 값을 선택합니다. 검사 메커니즘 코드를 참고하세요.

도구 모음이 선택되면 상응하는 feature 및 action_config Starlark 규칙의 객체는 빌드 구성을 제어합니다 (즉, 참조). 이러한 메시지를 통해 코드를 수정하지 않고도 Bazel에서 완전한 C++ 기능을 Bazel 바이너리 C++ 규칙은 Bazel 소스 코드에 자세히 설명된 여러 고유한 작업을 지원합니다.

기능

기능은 명령줄 플래그, 작업, 실행 환경의 제약 조건 또는 종속 항목 변경이 필요한 항목입니다. 특성 BUILD 파일이 플래그(예: treat_warnings_as_errors)를 사용하거나 C++ 규칙과 다음과 같은 새로운 컴파일 작업 및 입력을 컴파일에 포함합니다. header_modules 또는 thin_lto입니다.

이상적으로 CcToolchainConfigInfo에는 기능 목록이 포함되어야 합니다. 여기서 각 기능은 하나 이상의 플래그 그룹으로 구성되며, 각 플래그 그룹은 특정 Bazel 작업에 적용되는 플래그 목록을 정의합니다.

기능은 이름으로 지정되므로 Starlark 규칙 구성을 Bazel 출시에서 완전히 분리할 수 있습니다. 즉, Bazel 릴리스는 CcToolchainConfigInfo 구성의 동작에 영향을 미치지 않는 한 새로운 기능을 사용하지 않아도 됩니다

기능은 다음 중 한 가지 방법으로 사용 설정됩니다.

• 지형지물의 enabled 필드는 true로 설정됩니다.
• Bazel 또는 규칙 소유자가 명시적으로 사용 설정합니다.
• 사용자가 --feature Bazel 옵션 또는 features 규칙을 통해 사용 설정합니다. 속성

기능은 상호 종속될 수 있으며 명령줄 플래그, BUILD 파일 설정, 기타 변수에 종속될 수 있습니다.

특성 관계

종속 항목은 일반적으로 Bazel로 직접 관리되며, Bazel은 요구사항을 적용하고 빌드에 정의된 기능의 본질에 내재된 충돌을 관리합니다. 도구 모음 사양을 통해 확장 가능한 지형지물을 제어하는 Starlark 규칙 내에서 직접 사용하기 위한 제약 조건 지원 및 확장을 지원합니다 이는 다음과 같습니다.

requires = [
   feature_set (features = [
       'feature-name-1',
       'feature-name-2'
   ]),
]

implies = ['feature']

provides = ['feature']

with_features = [
  with_feature_set(
    features = ['feature-1'],
    not_features = ['feature-2'],
  ),
]

작업

작업은 작업이 실행되는 방식을 가정하지 않고도 작업이 실행되는 상황을 유연하게 수정할 수 있도록 지원합니다. action_config는 작업이 호출하는 도구 바이너리를 지정하고 feature는 도구가 작업을 수행하는 방법을 결정하는 구성 (플래그)을 지정합니다. 작업이 호출될 때 동작합니다.

기능은 작업이 Bazel 작업 그래프를 수정할 수 있으므로 작업을 참조하여 영향을 주는 Bazel 작업을 알립니다. CcToolchainConfigInfo 제공자에는 c++-compile와 같이 플래그 및 도구가 연결된 작업이 포함됩니다. 플래그는 기능과 연결하여 각 작업에 할당됩니다.

각 작업 이름은 컴파일 또는 연결과 같이 Bazel에서 실행하는 단일 유형의 작업을 나타냅니다. 그러나 작업과 Bazel 작업 유형 사이에는 다대일 관계가 있습니다. 여기서 Bazel 작업 유형은 작업을 구현하는 Java 클래스(예: CppCompileAction)를 참조합니다. 특히 아래 표의 '어셈블러 작업' 및 '컴파일러 작업'은 CppCompileAction이고 링크 작업은 CppLinkAction입니다.

어셈블러 작업

컴파일러 작업

링크 작업

AR 작업

AR 작업은 ar를 통해 객체 파일을 보관 파일 라이브러리(.a 파일)로 조합하고 일부 시맨틱을 이름에 인코딩합니다.

LTO 작업

action_config 사용

action_config는 작업 중에 호출할 도구(바이너리)와 기능에 의해 정의된 플래그 집합을 지정하여 Bazel 작업을 설명하는 Starlark 구조체입니다. 이 플래그는 작업 실행에 제약조건을 적용합니다.

action_config() 생성자에는 다음과 같은 매개변수가 있습니다.

action_config는 앞에서 설명한 지형지물 관계에 따라 다른 지형지물 및 action_config을 요구하고 암시할 수 있습니다. 이 동작은 기능의 동작과 유사합니다.

마지막 두 속성은 페이지의 해당 속성과 중복됩니다. 일부 Bazel 작업에는 특정 플래그 또는 환경 변수이며 목표는 불필요한 사용을 피하는 것입니다. action_config+feature 쌍. 일반적으로 여러 action_config에서 단일 지형지물을 공유하는 것이 좋습니다.

동일한 도구 모음 내에서 동일한 action_name로 action_config를 두 개 이상 정의할 수 없습니다. 이렇게 하면 도구 경로의 모호성이 방지되고 action_config의 의도, 즉 작업의 속성이 도구 모음의 한곳에서 명확하게 설명된다는 의도가 적용됩니다.

도구 생성자 사용

action_config는 tools 매개변수를 통해 도구 집합을 지정할 수 있습니다. tool() 생성자는 다음 매개변수를 사용합니다.

지정된 action_config의 경우 단일 tool만 도구 경로와 실행 요구사항을 Bazel 작업에 적용합니다. 도구가 선택됨 도구가 실행될 때까지 action_config에서 tools 속성을 반복합니다. 기능 구성과 일치하는 with_feature 세트가 있는 발견됨 (이 페이지 앞부분의 특성 관계 참고) 를 참조하세요. 도구 목록을 종료할 때는 도구가 표시됩니다.

사용 예

기능과 작업을 함께 사용하여 Bazel 작업을 구현할 수 있음 사용할 수 있습니다 예를 들어 macOS에서 디버그 기호를 생성하려면 컴파일 작업에서 기호를 생성한 다음 링크 작업 중에 특수 도구를 호출하여 압축된 dsym 보관 파일을 만든 후 이 보관 파일의 압축을 풀어 Xcode에서 사용할 수 있는 애플리케이션 번들 및 .plist 파일을 만들어야 합니다.

Bazel을 사용하면 이 프로세스를 대신 다음과 같이 구현할 수 있습니다. unbundle-debuginfo는 Bazel 작업임:

load("@rules_cc//cc:defs.bzl", "ACTION_NAMES")

action_configs = [
    action_config (
        action_name = ACTION_NAMES.cpp_link_executable,
        tools = [
            tool(
                with_features = [
                    with_feature(features=["generate-debug-symbols"]),
                ],
                path = "toolchain/mac/ld-with-dsym-packaging",
            ),
            tool (path = "toolchain/mac/ld"),
        ],
    ),
]

features = [
    feature(
        name = "generate-debug-symbols",
        flag_sets = [
            flag_set (
                actions = [
                    ACTION_NAMES.c_compile,
                    ACTION_NAMES.cpp_compile
                ],
                flag_groups = [
                    flag_group(
                        flags = ["-g"],
                    ),
                ],
            )
        ],
        implies = ["unbundle-debuginfo"],
   ),
]

동일한 기능이 fission를 사용하는 Linux와 .pdb 파일을 생성하는 Windows에서 완전히 다르게 구현될 수 있습니다. 예를 들어 fission 기반 디버그 기호 생성의 구현은 다음과 같습니다.

load("@rules_cc//cc:defs.bzl", "ACTION_NAMES")

action_configs = [
    action_config (
        name = ACTION_NAMES.cpp_compile,
        tools = [
            tool(
                path = "toolchain/bin/gcc",
            ),
        ],
    ),
]

features = [
    feature (
        name = "generate-debug-symbols",
        requires = [with_feature_set(features = ["dbg"])],
        flag_sets = [
            flag_set(
                actions = [ACTION_NAMES.cpp_compile],
                flag_groups = [
                    flag_group(
                        flags = ["-gsplit-dwarf"],
                    ),
                ],
            ),
            flag_set(
                actions = [ACTION_NAMES.cpp_link_executable],
                flag_groups = [
                    flag_group(
                        flags = ["-Wl", "--gdb-index"],
                    ),
                ],
            ),
      ],
    ),
]

신고 그룹

CcToolchainConfigInfo를 사용하면 특정 목적을 달성하는 데 도움이 될 수 있습니다 사전 정의된 변수를 사용하여 에 플래그를 지정할 수 있습니다. 는 플래그 값 내에 있으며, 플래그를 build 명령어를 사용하여 빌드됩니다 예를 들면 다음과 같습니다.

flag_group (
    flags = ["%{output_execpath}"],
)

이 경우 플래그의 내용은 출력 파일 경로로 대체됩니다. 확인할 수 있습니다.

플래그 그룹은 표시된 순서대로 빌드 명령어로 확장됩니다. 위에서 아래로, 왼쪽에서 오른쪽으로 이동합니다.

빌드 명령어에 추가할 때 다른 값으로 반복해야 하는 플래그의 경우 플래그 그룹은 list 유형의 변수를 반복할 수 있습니다. 예를 들어 list 유형의 변수 include_path:

flag_group (
    iterate_over = "include_paths",
    flags = ["-I%{include_paths}"],
)

include_paths 목록의 각 경로 요소에 대해 -I<path>로 확장됩니다. 플래그 그룹 선언의 본문에 있는 모든 플래그(또는 flag_group)는 단위로 확장됩니다. 예를 들면 다음과 같습니다.

flag_group (
    iterate_over = "include_paths",
    flags = ["-I", "%{include_paths}"],
)

include_paths 목록의 각 경로 요소에 관해 -I <path>로 확장됩니다.

변수는 여러 번 반복될 수 있습니다. 예를 들면 다음과 같습니다.

flag_group (
    iterate_over = "include_paths",
    flags = ["-iprefix=%{include_paths}", "-isystem=%{include_paths}"],
)

다음으로 확장됩니다.

-iprefix=<inc0> -isystem=<inc0> -iprefix=<inc1> -isystem=<inc1>

변수는 점 표기법을 사용하여 액세스할 수 있는 구조에 해당할 수 있습니다. 예를 들면 다음과 같습니다.

flag_group (
    flags = ["-l%{libraries_to_link.name}"],
)

구조체는 중첩될 수 있으며 시퀀스를 포함할 수도 있습니다. 이름 충돌 방지 명시적으로 지정하려면 필드에 전체 경로를 지정해야 합니다. 예를 들면 다음과 같습니다.

flag_group (
    iterate_over = "libraries_to_link",
    flag_groups = [
        flag_group (
            iterate_over = "libraries_to_link.shared_libraries",
            flags = ["-l%{libraries_to_link.shared_libraries.name}"],
        ),
    ],
)

조건부 확장

플래그 그룹은 특정 항목의 존재 여부에 따라 조건부 확장을 지원합니다. 변수 또는 필드(expand_if_available, expand_if_not_available 사용) expand_if_true, expand_if_false 또는 expand_if_equal 속성 예를 들면 다음과 같습니다.

flag_group (
    iterate_over = "libraries_to_link",
    flag_groups = [
        flag_group (
            iterate_over = "libraries_to_link.shared_libraries",
            flag_groups = [
                flag_group (
                    expand_if_available = "libraries_to_link.shared_libraries.is_whole_archive",
                    flags = ["--whole_archive"],
                ),
                flag_group (
                    flags = ["-l%{libraries_to_link.shared_libraries.name}"],
                ),
                flag_group (
                    expand_if_available = "libraries_to_link.shared_libraries.is_whole_archive",
                    flags = ["--no_whole_archive"],
                ),
            ],
        ),
    ],
)

CcToolchainConfigInfo 참조

이 섹션에서는 빌드 변수, 기능, 기타 애플리케이션 빌드에 관해 필요한 모든 정보를 제공합니다.

CcToolchainConfigInfo 빌드 변수

다음은 CcToolchainConfigInfo 빌드 변수의 참조입니다.

잘 알려진 지형지물

다음은 기능 및 활성화 조건에 관한 참조입니다.

기존 기능 패치 로직

Bazel은 이전 버전과의 호환성을 위해 도구 모음의 기능에 다음과 같은 변경사항을 적용합니다.

• legacy_compile_flags 기능을 도구 모음 상단으로 이동합니다.
• default_compile_flags 기능을 도구 모음 상단으로 이동합니다.
• 도구 모음 상단에 dependency_file(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 pic(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 per_object_debug_info 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 preprocessor_defines 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 includes 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 include_paths 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 fdo_instrument(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 fdo_optimize 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 cs_fdo_instrument 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 cs_fdo_optimize 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 fdo_prefetch_hints(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 autofdo(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 build_interface_libraries(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 dynamic_library_linker_tool 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 shared_flag(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 linkstamps(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 output_execpath_flags(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 runtime_library_search_directories 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 library_search_directories 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 archiver_flags 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 libraries_to_link(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 force_pic_flags 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 user_link_flags(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 legacy_link_flags(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 static_libgcc(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 fission_support(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 strip_debug_symbols 기능 (없는 경우)을 추가합니다.
• 도구 모음 상단에 coverage(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 llvm_coverage_map_format(없는 경우) 기능을 추가합니다.
• 도구 모음 상단에 gcc_coverage_map_format(없는 경우) 기능을 추가합니다.
• 도구 모음 하단에 fully_static_link 기능 (없는 경우)을 추가합니다.
• 도구 모음 하단에 user_compile_flags 기능 (없는 경우)을 추가합니다.
• 도구 모음 하단에 sysroot 기능 (없는 경우)을 추가합니다.
• 도구 모음 하단에 unfiltered_compile_flags(없는 경우) 기능을 추가합니다.
• 도구 모음 하단에 linker_param_file(없는 경우) 기능을 추가합니다.
• 도구 모음 하단에 compiler_input_flags(없는 경우) 기능을 추가합니다.
• 도구 모음 하단에 compiler_output_flags 기능 (없는 경우)을 추가합니다.

다음은 기능 목록입니다. 계획은 한 번 삭제하면 Starlark의 Crosstool은 완료되었습니다. 궁금한 점은 CppActionConfigs 프로덕션 도구 모음의 경우 no_legacy_features를 추가하여 도구 모음이 더 독립적이 되었습니다.