Configuración de la cadena de herramientas de C++

Descripción general

Para invocar al compilador con las opciones correctas, Bazel necesita conocimientos sobre los componentes internos del compilador, como directorios de inclusión y marcas importantes. En otras palabras, Bazel necesita un modelo simplificado del compilador para comprender su de su funcionamiento.

Bazel debe saber lo siguiente:

• Si el compilador admite ThiLTO, módulos, vinculación dinámica o PIC. (código independiente de la posición).
• Rutas de acceso a las herramientas requeridas, como gcc, ld, ar, objcopy, etcétera.
• El sistema integrado incluye directorios. Bazel los necesita para validar que todos los encabezados incluidos en el archivo fuente se declararon correctamente en el archivo BUILD.
• Es el sysroot predeterminado.
• Qué marcas usar para la compilación, la vinculación y el archivo
• Qué marcas usar para los modos de compilación admitidos (opt, dbg, fastbuild)
• Haz que el compilador requiera variables específicas.

Si el compilador es compatible con varias arquitecturas, Bazel debe configurar por separado.

CcToolchainConfigInfo es un proveedor que proporciona el nivel necesario de nivel de detalle para configurar el comportamiento de las reglas de C++ de Bazel. De forma predeterminada, Bazel configura automáticamente CcToolchainConfigInfo para tu compilación, pero puedes tienes la opción de configurarlo manualmente. Para eso, necesitas una regla de Starlark que proporcione el CcToolchainConfigInfo, y debes apuntar el El atributo toolchain_config de cc_toolchain a tu regla. Para crear el CcToolchainConfigInfo, llama a cc_common.create_cc_toolchain_config_info() Puedes encontrar constructores de Starlark para todas las structs que necesitarás en el proceso en @rules_cc//cc:cc_toolchain_config_lib.bzl

Cuando un destino de C++ entra en la fase de análisis, Bazel selecciona los servicios Destino cc_toolchain basado en el archivo BUILD y obtiene el CcToolchainConfigInfo proveedor del objetivo especificado en el cc_toolchain.toolchain_config. El objetivo cc_toolchain pasa esta información al destino de C++ mediante un CcToolchainProvider.

Por ejemplo, una acción de compilación o vinculación, cuya instancia se crea mediante una regla como cc_binary o cc_library necesitan la siguiente información:

• El compilador o vinculador que se usará
• Marcas de línea de comandos para el compilador o vinculador
• Marcas de configuración pasadas por las opciones de --copt/--linkopt
• Variables de entorno
• Los artefactos necesarios en la zona de pruebas en la que se ejecuta la acción

Toda la información anterior, excepto los artefactos requeridos en la zona de pruebas, es especificado en el objetivo de Starlark al que apunta cc_toolchain.

Los artefactos que se enviarán a la zona de pruebas se declaran en cc_toolchain objetivo. Por ejemplo, con el atributo cc_toolchain.linker_files, puedes especificar los objetos binarios del vinculador y las bibliotecas de la cadena de herramientas que se enviarán a la zona de pruebas.

Selección de cadenas de herramientas

La lógica de selección de la cadena de herramientas funciona de la siguiente manera:

1. El usuario especifica un destino cc_toolchain_suite en el archivo BUILD y puntos. Bazel al destino --crosstool_top opción.

2. El objetivo cc_toolchain_suite hace referencia a varias cadenas de herramientas. El Los valores de las marcas --cpu y --compiler determinan cuál de ellas de cadenas de herramientas, ya sea según el valor de la marca --cpu o según un valor conjunto --cpu | --compiler. El proceso de selección sigue:

   • Si se especifica la opción --compiler, Bazel selecciona entrada correspondiente de cc_toolchain_suite.toolchains con --cpu | --compiler. Si Bazel no encuentra una entrada correspondiente, arroja un error.

   • Si no se especifica la opción --compiler, Bazel selecciona la entrada correspondiente de cc_toolchain_suite.toolchains con solo --cpu.

   • Si no se especifican marcas, Bazel inspecciona el sistema host y selecciona un Valor --cpu según sus hallazgos. Consulta la código del mecanismo de inspección.

Una vez que se haya seleccionado la cadena de herramientas, se establecerán los valores de feature y action_config correspondientes. Los objetos de la regla de Starlark rigen la configuración de la compilación (es decir, los elementos que se describen más adelante). Estos mensajes permiten implementar funciones completas de C++ en Bazel sin modificar el Objeto binario de Bazel. Las reglas de C++ admiten varias acciones únicas documentadas en detalle. en el código fuente de Bazel.

Funciones

Un atributo es una entidad que requiere marcas de línea de comandos, acciones restricciones en el entorno de ejecución o alteraciones de las dependencias. Una función puede ser algo tan simple como permitir que los archivos BUILD seleccionen configuraciones marcas, como treat_warnings_as_errors, o interactúan con las reglas de C++ y incluir nuevas acciones de compilación y entradas a la compilación, como header_modules o thin_lto.

Idealmente, CcToolchainConfigInfo contiene una lista de atributos, en la que cada La función consta de uno o más grupos de marcas, cada uno de los cuales define una lista de marcas. que se aplican a acciones específicas de Bazel.

Un componente se especifica por nombre, lo que permite la separación completa de Starlark. de reglas de firewall de las versiones de Bazel. En otras palabras, una versión de Bazel no afectará el comportamiento de las configuraciones de CcToolchainConfigInfo, siempre y cuando se configuraciones no requieren el uso de funciones nuevas.

Una función se habilita de una de las siguientes maneras:

• El campo enabled del componente se estableció en true.
• Bazel o el propietario de la regla lo habilitan de forma explícita.
• El usuario lo habilita a través de la opción --feature de Bazel o la regla features. .

Las funciones pueden tener interdependencias y dependen de las marcas de la línea de comandos, archivo BUILD configuración y otras variables.

Relaciones de los atributos

Por lo general, las dependencias se administran directamente con Bazel, que simplemente aplica los requisitos y maneja conflictos intrínsecos con la naturaleza de las funciones definidos en la compilación. La especificación de la cadena de herramientas permite obtener restricciones para el uso directamente en la regla de Starlark que rigen la asistencia y expansión. Debes realizar las siguientes acciones:

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'],
  ),
]

Acciones

Las acciones brindan la flexibilidad para modificar las circunstancias que una acción se ejecuta sin suponer cómo se ejecutará. Los action_config especifica el objeto binario de la herramienta que invoca una acción, mientras que una feature especifica la configuración (marcas) que determinan cómo esa herramienta se comporta cuando se invoca la acción.

Las funciones hacen referencia a acciones para indicar cuáles son las acciones de Bazel que afectan, ya que las acciones pueden modificar el gráfico de acción de Bazel. El El proveedor CcToolchainConfigInfo contiene acciones que tienen marcas y herramientas asociados, por ejemplo, c++-compile. Se asignan marcas a cada acción asociándolas a un atributo.

Cada nombre de acción representa un único tipo de acción que realiza Bazel, como compilar o vincular. Sin embargo, existe una relación de varios a uno entre y los tipos de acciones de Bazel, en los que un tipo de acción de Bazel hace referencia a una clase de Java que implementa una acción (como CppCompileAction). En particular, el "acciones de ensamblador" y "acciones del compilador" que aparecen en la siguiente tabla CppCompileAction, mientras que las acciones de vinculación son CppLinkAction.

Acciones del ensamblador

Acciones del compilador

Acciones de vínculos

Acciones de RA

Las acciones de RA ensamblan archivos de objetos en bibliotecas de archivo (.a archivos) mediante ar y codificar algo de semántica en el nombre.

Acciones de LTO

Usa action_config

action_config es un struct de Starlark que describe una Bazel. acción especificando la herramienta (binaria) que se invocará durante la acción y los conjuntos de atributos, definidas por los atributos. Estas marcas aplican restricciones a la acción ejecución.

El constructor action_config() tiene los siguientes parámetros:

Un action_config puede requerir e implicar otras funciones y action_config según lo que dicta el relaciones de atributos descritas anteriormente. Este comportamiento es similar al de un atributo.

Los dos últimos atributos son redundantes respecto de los atributos correspondientes en y se incluyen porque algunas acciones de Bazel requieren ciertas marcas o variables de entorno y el objetivo es evitar action_config+feature innecesarios pares. Por lo general, compartir un solo atributo entre varios action_config es de tu preferencia.

No puedes definir más de un action_config con el mismo action_name dentro de la misma cadena de herramientas. Esto evita la ambigüedad en las rutas de las herramientas. y aplica la intención detrás de action_config, es decir, que las propiedades de una acción se describen claramente en un solo lugar en la cadena de herramientas.

Cómo usar el constructor de herramientas

Una action_config puede especificar un conjunto de herramientas a través de su parámetro tools. El constructor tool() toma los siguientes parámetros:

Para un action_config determinado, solo se aplica un tool. la ruta de la herramienta y los requisitos de ejecución para la acción de Bazel. Se selecciona una herramienta iterando a través del atributo tools en un action_config hasta que una herramienta Se encontró un conjunto de with_feature que coincide con la configuración de funciones (Consulta Relaciones de los atributos más arriba en esta página) para obtener más información). Debes finalizar tus listas de herramientas con una configuración que corresponde a una configuración de atributos vacía.

Ejemplo de uso

Las funciones y acciones se pueden usar en conjunto para implementar acciones de Bazel con una semántica multiplataforma. Por ejemplo, la generación de símbolos de depuración en macOS requiere generar símbolos en la acción de compilación y, luego, invocar un herramienta especializada durante la acción de vínculo para crear un archivo dsym comprimido. Luego, se descomprime ese archivo para producir el paquete de aplicación y .plist archivos consumibles por Xcode.

Con Bazel, este proceso se puede implementar de la siguiente manera, con unbundle-debuginfo es una acción de Bazel:

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

action_configs = [
    action_config (
        config_name = ACTION_NAMES.cpp_link_executable,
        action_name = ACTION_NAMES.cpp_link_executable,
        tools = [
            tool(
                with_features = [
                    with_feature(features=["generate-debug-symbols"]),
                ],
                tool_path = "toolchain/mac/ld-with-dsym-packaging",
            ),
            tool (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"],
   ),
]

Esta misma función puede implementarse de una forma totalmente diferente en Linux, que utiliza fission o para Windows, que produce archivos .pdb. Por ejemplo, el la implementación para la generación de símbolos de depuración basados en fission podría verse de la siguiente manera: sigue:

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

action_configs = [
    action_config (
        name = ACTION_NAMES.cpp_compile,
        tools = [
            tool(
                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"],
                    ),
                ],
            ),
      ],
    ),
]

Grupos de marcas

CcToolchainConfigInfo te permite agrupar marcas en grupos que entregan un con un propósito específico. Puedes especificar una marca usando variables predefinidas. dentro del valor de la marca, que el compilador expande cuando se agrega la marca al build. Por ejemplo:

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

En este caso, el contenido de la marca se reemplazará por la ruta de salida del archivo. de la acción.

Los grupos de marcas se expanden al comando de compilación en el orden en que aparecen. en la lista, de arriba a abajo, de izquierda a derecha.

Para marcas que necesitan repetirse con diferentes valores cuando se agregan a la compilación , el grupo de marcas puede iterar variables de tipo list. Por ejemplo, el La variable include_path de tipo list:

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

se expande a -I<path> para cada elemento de la ruta de acceso de la lista include_paths. Todo marcas (o flag_group) en el cuerpo de la declaración de un grupo de marcas se expanden como por unidad. Por ejemplo:

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

se expande a -I <path> para cada elemento de la ruta de acceso de la lista include_paths.

Una variable puede repetirse varias veces. Por ejemplo:

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

se expande a:

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

Las variables pueden corresponder a estructuras accesibles con la notación de puntos. Por ejemplo:

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

Las estructuras pueden anidarse y también contener secuencias. Para evitar conflictos de nombres y, para ser explícito, debes especificar la ruta completa en los campos. Por ejemplo:

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}"],
        ),
    ],
)

Expansión condicional

Los grupos de marcas admiten la expansión condicional en función de la presencia de una función en particular variable o su campo con las variables expand_if_available, expand_if_not_available, atributos expand_if_true, expand_if_false o expand_if_equal. Por ejemplo:

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"],
                ),
            ],
        ),
    ],
)

Referencia de CcToolchainConfigInfo

En esta sección, se proporciona una referencia de variables de compilación, funciones y otros la información requerida para configurar correctamente las reglas de C++.

Variables de compilación CcToolchainConfigInfo

A continuación, se incluye una referencia de las variables de compilación CcToolchainConfigInfo.

Funciones conocidas

La siguiente es una referencia de las funciones y su activación condiciones.

Lógica de aplicación de parches de funciones heredadas

Bazel aplica los siguientes cambios a las funciones de la cadena de herramientas para versiones anteriores. compatibilidad:

• Mueve la función legacy_compile_flags a la parte superior de la cadena de herramientas.
• Mueve la función default_compile_flags a la parte superior de la cadena de herramientas.
• Agrega la función dependency_file (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función pic (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función per_object_debug_info (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función preprocessor_defines (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función includes (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función include_paths (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función fdo_instrument (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función fdo_optimize (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función cs_fdo_instrument (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función cs_fdo_optimize (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función fdo_prefetch_hints (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función autofdo (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función build_interface_libraries (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función dynamic_library_linker_tool (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función symbol_counts (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función shared_flag (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función linkstamps (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función output_execpath_flags (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función runtime_library_search_directories (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función library_search_directories (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función archiver_flags (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función libraries_to_link (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función force_pic_flags (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función user_link_flags (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función legacy_link_flags (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función static_libgcc (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función fission_support (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función strip_debug_symbols (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función coverage (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función llvm_coverage_map_format (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función gcc_coverage_map_format (si no está presente) a la parte superior de la cadena de herramientas.
• Agrega la función fully_static_link (si no está presente) al final de la cadena de herramientas.
• Agrega la función user_compile_flags (si no está presente) al final de la cadena de herramientas.
• Agrega la función sysroot (si no está presente) al final de la cadena de herramientas.
• Agrega la función unfiltered_compile_flags (si no está presente) al final de la cadena de herramientas.
• Agrega la función linker_param_file (si no está presente) al final de la cadena de herramientas.
• Agrega la función compiler_input_flags (si no está presente) al final de la cadena de herramientas.
• Agrega la función compiler_output_flags (si no está presente) al final de la cadena de herramientas.

Esta es una lista larga de funciones. El plan es deshacerse de ellos una vez Crosstool en Starlark es listo. Para los lectores curiosos, pueden ver la implementación en CppActionConfigs, Para las cadenas de herramientas de producción, considera agregar no_legacy_features a fin de hacer que la cadena de herramientas más independiente.