Reglas de coincidencia

Los dos pares de matrices y manifiestos de compatibilidad deben conciliarse para verificar que la implementación del marco y del proveedor puedan funcionar entre sí. Esta verificación tiene éxito si hay una coincidencia entre la matriz de compatibilidad del marco y el manifiesto del dispositivo, así como entre el manifiesto del marco y la matriz de compatibilidad del dispositivo.

Esta verificación se realiza en el momento de la compilación, en el momento de la generación del paquete de actualización OTA , en el momento del arranque y en las pruebas de compatibilidad VTS.

Las siguientes secciones detallan las reglas de coincidencia utilizadas por varios componentes.

Coincidencias de la versión de la matriz de compatibilidad del marco

Para hacer coincidir un manifiesto de dispositivo con una matriz de compatibilidad de marco, la versión de envío de FCM especificada por manifest.target-level debe ser exactamente igual a la versión de FCM especificada por compatibility-matrix.level . De lo contrario no hay coincidencia.

Cuando se solicita la matriz de compatibilidad del marco con libvintf , esta coincidencia siempre es exitosa porque libvintf abre el manifiesto del dispositivo, recupera la versión de envío FCM y devuelve la matriz de compatibilidad del marco en esa versión de envío FCM (más algunos HAL opcionales de matrices de compatibilidad en FCM superiores). Versiones).

Partidos HAL

La regla de coincidencia de HAL identifica las versiones de elementos hal en un archivo de manifiesto que se consideran compatibles con el propietario de la matriz de compatibilidad correspondiente.

HIDL y HAL nativos

Las reglas de coincidencia para HIDL y HAL nativo son las siguientes.

• Se evalúan varios elementos <hal> con una única relación AND .
• Los elementos <hal> pueden tener <hal optional="true"> para marcarlos como no obligatorios.
• Varios elementos <version> dentro del mismo <hal> tienen la relación OR . Si se especifican dos o más, solo es necesario implementar una de las versiones. (Vea el ejemplo de DRM a continuación).
• Múltiples elementos <instance> y <regex-instance> dentro del mismo <hal> se evalúan con una única relación AND cuando se requiere <hal> . (Ver el Ejemplo de DRM a continuación.)

Ejemplo: coincidencia HAL exitosa para un módulo

Para un HAL en la versión 2.5, la regla de coincidencia es la siguiente:

Ejemplo: coincidencia HAL exitosa para el módulo DRM

La matriz de compatibilidad del marco indica la siguiente información de versión para DRM HAL:

<hal>
    <name>android.hardware.drm
    <version>1.0</version>
    <version>3.1-2</version>
    <interface>
        <name>IDrmFactory</name>
        <instance>default</instance>
        <instance>specific</instance>
    </interface>
</hal>
<hal>
    <name>android.hardware.drm
    <version>2.0</version>
    <interface>
        <name>ICryptoFactory</name>
        <instance>default</instance>
        <regex-instance>[a-z]+/[0-9]+</regex-instance>
    </interface>
</hal>

Un proveedor debe implementar UNA de las siguientes instancias; cualquiera

android.hardware.drm@1.x::IDrmFactory/default          // where x >= 0
android.hardware.drm@1.x::IDrmFactory/specific         // where x >= 0

android.hardware.drm@3.y::IDrmFactory/default          // where y >= 1
android.hardware.drm@3.y::IDrmFactory/specific         // where y >= 1

Y también debe implementar todas estas instancias:

android.hardware.drm@2.z::ICryptoFactory/default       // where z >= 0
android.hardware.drm@2.z::ICryptoFactory/${INSTANCE}
            // where z >= 0 and ${INSTANCE} matches [a-z]+/[0-9]+
            // e.g. legacy/0

HAL AIDL

Todas las versiones de Android posteriores a Android 11 (excepto Android 11) admiten versiones para AIDL HAL en VINTF. Las reglas de coincidencia para los HAL AIDL son similares a las de HIDL y los HAL nativos, excepto que no hay versiones principales y hay exactamente una versión por instancia de HAL ( 1 si la versión no está especificada).

• Se evalúan varios elementos <hal> con una única relación AND .
• Los elementos <hal> pueden tener <hal optional="true"> para marcarlos como no obligatorios.
• Múltiples elementos <instance> y <regex-instance> dentro del mismo <hal> se evalúan con una única relación AND cuando se requiere <hal> . (Ver el ejemplo de vibrador a continuación.)

Ejemplo: coincidencia HAL exitosa para un módulo

Para un HAL en la versión 5, la regla de coincidencia es la siguiente:

Ejemplo: coincidencia HAL exitosa para múltiples módulos

La matriz de compatibilidad del marco indica la siguiente información de versión para HAL de cámara y vibrador:

<hal>
    <name>android.hardware.vibrator
    <version>1-2</version>
    <interface>
        <name>IVibrator</name>
        <instance>default</instance>
        <instance>specific</instance>
    </interface>
</hal>
<hal>
    <name>android.hardware.camera
    <version>5</version>
    <interface>
        <name>ICamera</name>
        <instance>default</instance>
        <regex-instance>[a-z]+/[0-9]+</regex-instance>
    </interface>
</hal>

Un proveedor debe implementar todas estas instancias:

android.hardware.vibrator.IVibrator/default     // version >= 1
android.hardware.vibrator.IVibrator/specific    // version >= 1
android.hardware.camera.ICamera/default         // version >= 5
android.hardware.camera.ICamera/${INSTANCE}
            // with version >= 5, where ${INSTANCE} matches [a-z]+/[0-9]+
            // e.g. legacy/0

Coincidencias de núcleo

La sección <kernel> de la matriz de compatibilidad del marco describe los requisitos del marco del kernel de Linux en el dispositivo. Esta información debe compararse con la información sobre el kernel que informa el objeto VINTF del dispositivo.

Emparejar ramas del kernel

Cada sufijo de rama del kernel (por ejemplo, 5.4- r ) se asigna a una versión única de FCM del kernel (por ejemplo, 5). La asignación es la misma que la asignación entre cartas de versión (por ejemplo, R) y versiones de FCM (por ejemplo, 5).

Las pruebas VTS exigen que el dispositivo especifique explícitamente la versión FCM del kernel en el manifiesto del dispositivo, /vendor/etc/vintf/manifest.xml , si se cumple una de las siguientes condiciones:

• La versión de FCM del kernel es diferente de la versión de FCM de destino. Por ejemplo, el dispositivo mencionado anteriormente tiene un FCM de destino versión 4 y su versión de FCM del kernel es 5 (sufijo de rama del kernel r ).
• La versión de FCM del kernel es mayor o igual a 5 (sufijo de rama del kernel r ).

Las pruebas de VTS exigen que, si se especifica la versión de FCM del kernel, la versión de FCM del kernel sea mayor o igual a la versión de FCM de destino en el manifiesto del dispositivo.

Ejemplo: determinar la rama del kernel

Si el dispositivo tiene la versión 4 de FCM de destino (lanzada en Android 10), pero ejecuta el kernel desde la rama 4.19-r , el manifiesto del dispositivo debe especificar lo siguiente:

<manifest version="2.0" type="device" target-level="4">
   <kernel target-level="5" />
</manifest>

El objeto VINTF verifica la compatibilidad del kernel con los requisitos de la rama del kernel 4.19-r , que se especifica en FCM versión 5. Estos requisitos se crean a partir de kernel/configs/r/android-4.19 en el árbol de código fuente de Android.

Ejemplo: determinar la rama del kernel para GKI

Si el dispositivo utiliza la imagen genérica del kernel (GKI) y la cadena de versión del kernel de /proc/version es la siguiente:

5.4.42-android12-0-00544-ged21d463f856

Luego, el objeto VINTF obtiene la versión de Android de la versión del kernel y la utiliza para determinar la versión FCM del kernel. En este ejemplo, android12 significa kernel FCM versión 6 (lanzada en Android 12).

Para obtener detalles sobre cómo se analiza la cadena de versión del kernel, consulte Control de versiones de GKI .

Coincidir con las versiones del kernel

Una matriz puede incluir múltiples secciones <kernel> , cada una con un atributo version diferente usando el formato:

${ver}.${major_rev}.${kernel_minor_rev}

El objeto VINTF considera solo la sección <kernel> del FCM con la versión FCM coincidente con el mismo ${ver} y ${major_rev} que el kernel del dispositivo (es decir, version="${ver}.${major_rev}.${matrix_minor_rev}") ; otras secciones se ignoran. Además, la revisión menor del kernel debe ser un valor de la matriz de compatibilidad ( ${kernel_minor_rev} >= ${matrix_minor_rev} ;). Si ninguna sección <kernel> cumple con estos requisitos, no coincide.

Ejemplo: Seleccionar requisitos para hacer coincidir

Considere el siguiente caso hipotético en el que los FCM en /system/etc/vintf declaran los siguientes requisitos (se omiten las etiquetas de encabezado y pie de página):

<!-- compatibility_matrix.3.xml -->
<kernel version="4.4.107" level="3"/>
<!-- See kernel/configs/p/android-4.4/ for 4.4-p requirements -->
<kernel version="4.9.84" level="3"/>
<!-- See kernel/configs/p/android-4.9/ for 4.9-p requirements -->
<kernel version="4.14.42" level="3"/>
<!-- See kernel/configs/p/android-4.14/ for 4.14-p requirements -->

<!-- compatibility_matrix.4.xml -->
<kernel version="4.9.165" level="4"/>
<!-- See kernel/configs/q/android-4.9/ for 4.9-q requirements -->
<kernel version="4.14.105" level="4"/>
<!-- See kernel/configs/q/android-4.14/ for 4.14-q requirements -->
<kernel version="4.19.42" level="4"/>
<!-- See kernel/configs/q/android-4.19/ for 4.19-q requirements -->

<!-- compatibility_matrix.5.xml -->
<kernel version="4.14.180" level="5"/>
<!-- See kernel/configs/r/android-4.14/ for 4.14-r requirements -->
<kernel version="4.19.123" level="5"/>
<!-- See kernel/configs/r/android-4.19/ for 4.19-r requirements -->
<kernel version="5.4.41" level="5"/>
<!-- See kernel/configs/r/android-5.4/ for 5.4-r requirements -->

La versión de FCM de destino, la versión de FCM del kernel y la versión del kernel juntas seleccionan los requisitos del kernel de los FCM:

Coincidir con las configuraciones del kernel

Si la sección <kernel> coincide, el proceso continúa intentando hacer coincidir los elementos config con /proc/config.gz . Para cada elemento de configuración en la matriz de compatibilidad, busca /proc/config.gz para ver si la configuración está presente. Cuando un elemento de configuración se establece en n en la matriz de compatibilidad para la sección <kernel> correspondiente, debe estar ausente en /proc/config.gz . Finalmente, un elemento de configuración que no esté en la matriz de compatibilidad puede o no estar presente en /proc/config.gz .

Ejemplo: coincidir con las configuraciones del kernel

• <value type="string">bar</value> coincide con "bar" . Las comillas se omiten en la matriz de compatibilidad, pero están presentes en /proc/config.gz .
• <value type="int">4096</value> coincide con 4096 o 0x1000 o 0X1000 .
• <value type="int">0x1000</value> coincide con 4096 o 0x1000 o 0X1000 .
• <value type="int">0X1000</value> coincide con 4096 o 0x1000 o 0X1000 .
• <value type="tristate">y</value> coincide con y .
• <value type="tristate">m</value> coincide con m .
• <value type="tristate">n</value> significa que el elemento de configuración NO debe existir en /proc/config.gz .
• <value type="range">1-0x3</value> coincide con 1 , 2 o 3 , o su equivalente hexadecimal.

Ejemplo: coincidencia de kernel exitosa

Una matriz de compatibilidad de marco con FCM versión 1 tiene la siguiente información del kernel:

<kernel version="4.14.42">
   <config>
      <key>CONFIG_TRI</key>
      <value type="tristate">y</value>
   </config>
   <config>
      <key>CONFIG_NOEXIST</key>
      <value type="tristate">n</value>
   </config>
   <config>
      <key>CONFIG_DEC</key>
      <value type="int">4096</value>
   </config>
   <config>
      <key>CONFIG_HEX</key>
      <value type="int">0XDEAD</value>
   </config>
   <config>
      <key>CONFIG_STR</key>
      <value type="string">str</value>
   </config>
   <config>
      <key>CONFIG_EMPTY</key>
      <value type="string"></value>
   </config>
</kernel>

La rama del kernel coincide primero. La rama del kernel se especifica en el manifiesto del dispositivo en manifest.kernel.target-level , que de forma predeterminada es manifest.level si no se especifica el primero. Si la rama del kernel en el manifiesto del dispositivo:

• es 1, continúa con el siguiente paso y verifica la versión del kernel.
• es 2, no coincide con la matriz. En su lugar, los objetos VINTF leen los requisitos del kernel de la matriz en FCM versión 2.

Luego, la versión del kernel coincide. Si un dispositivo en uname() informa:

• 4.9.84 (no coincide con la matriz a menos que haya una sección del kernel separada con <kernel version="4.9.x"> , donde x <= 84 )
• 4.14.41 (no coincide con la matriz, es más pequeña que version )
• 4.14.42 (coincidencia con la matriz)
• 4.14.43 (coincidencia con la matriz)
• 4.1.22 (no coincide con la matriz a menos que haya una sección del kernel separada con <kernel version="4.1.x"> donde x <= 22 )

Después de seleccionar la sección <kernel> adecuada, para cada elemento <config> con un valor distinto de n , esperamos que la entrada correspondiente esté presente en /proc/config.gz ; para cada elemento <config> con valor n , esperamos que la entrada correspondiente no esté presente en /proc/config.gz . Esperamos que el contenido de <value> coincida exactamente con el texto después del signo igual (incluidas las comillas), hasta el carácter de nueva línea o # , con los espacios en blanco iniciales y finales truncados.

La siguiente configuración del kernel es un ejemplo de una coincidencia exitosa:

# comments don't matter
CONFIG_TRI=y
# CONFIG_NOEXIST shouldn't exist
CONFIG_DEC = 4096 # trailing comments and whitespaces are fine
CONFIG_HEX=57005  # 0XDEAD == 57005
CONFIG_STR="str"
CONFIG_EMPTY=""   # empty string must have quotes
CONFIG_EXTRA="extra config items are fine too"

La siguiente configuración del kernel es un ejemplo de una coincidencia fallida:

CONFIG_TRI="y"   # mismatch: quotes
CONFIG_NOEXIST=y # mismatch: CONFIG_NOEXIST exists
CONFIG_HEX=0x0   # mismatch; value doesn't match
CONFIG_DEC=""    # mismatch; type mismatch (expect int)
CONFIG_EMPTY=1   # mismatch; expects ""
# mismatch: CONFIG_STR is missing

Coincidencias de políticas SE

La política SE requiere las siguientes coincidencias:

• <sepolicy-version> define un rango cerrado de versiones menores para cada versión principal. La versión de sepolicy informada por el dispositivo debe estar dentro de uno de estos rangos para ser compatible con el marco. Las reglas de coincidencia son similares a las versiones HAL; es una coincidencia si la versión de sepolicy es superior o igual a la versión mínima para el rango. La versión máxima es puramente informativa.
• <kernel-sepolicy-version> es decir, versión de PolicyDB. Debe ser menor que el security_policyvers() informado por el dispositivo.

Ejemplo: coincidencia exitosa de políticas SE

La matriz de compatibilidad del marco establece la siguiente información de política:

<sepolicy>
    <kernel-sepolicy-version>30</kernel-sepolicy-version>
    <sepolicy-version>25.0</sepolicy-version>
    <sepolicy-version>26.0-3</sepolicy-version>
</sepolicy>

En el dispositivo:

• El valor devuelto por security_policyvers() debe ser mayor o igual a 30. De lo contrario, no es una coincidencia. Por ejemplo:
  • Si un dispositivo devuelve 29, no coincide.
  • Si un dispositivo devuelve 31, es una coincidencia.
• La versión de la política SE debe ser 25.0-∞ o 26.0-∞. De lo contrario, no es compatible. (El " -3 " después de " 26.0 " es puramente informativo).

La versión AVB coincide

La versión AVB contiene una versión MAYOR y una versión MENOR, con el formato MAYOR.MINOR (por ejemplo, 1.0, 2.1). Para obtener más información, consulte Versiones y compatibilidad . La versión AVB tiene las siguientes propiedades del sistema:

• ro.boot.vbmeta.avb_version es la versión libavb en el gestor de arranque
• ro.boot.avb_version es la versión libavb en el sistema operativo Android ( init/fs_mgr )

La propiedad del sistema aparece solo cuando se ha utilizado el libavb correspondiente para verificar los metadatos de AVB (y devuelve OK). Está ausente si se produjo un error de verificación (o no se produjo ninguna verificación).

Una coincidencia de compatibilidad compara lo siguiente:

• sysprop ro.boot.vbmeta.avb_version con avb.vbmeta-version de la matriz de compatibilidad del marco;
  • ro.boot.vbmeta.avb_version.MAJOR == avb.vbmeta-version.MAJOR
  • ro.boot.vbmeta.avb_version.MINOR >= avb.vbmeta-version.MINOR
• sysprop ro.boot.avb_version con avb.vbmeta-version de la matriz de compatibilidad del marco.
  • ro.boot.avb_version.MAJOR == avb.vbmeta-version.MAJOR
  • ro.boot.avb_version.MINOR >= avb.vbmeta-version.MINOR

El gestor de arranque o el sistema operativo Android puede contener dos copias de las bibliotecas libavb , cada una con una versión PRINCIPAL diferente para actualizar dispositivos y lanzar dispositivos. En este caso, se puede compartir la misma imagen del sistema sin firmar , pero las imágenes del sistema firmadas finales son diferentes (con avb.vbmeta-version diferente):

Ejemplo: coincidencia exitosa de la versión de AVB

La matriz de compatibilidad del marco establece la siguiente información AVB:

<avb>
    <vbmeta-version>2.1</vbmeta-version>
</avb>

En el dispositivo:

ro.boot.avb_version              == 1.0 &&
ro.boot.vbmeta.avb_version       == 2.1  mismatch 

ro.boot.avb_version              == 2.1 &&
ro.boot.vbmeta.avb_version       == 3.0  mismatch 

ro.boot.avb_version              == 2.1 &&
ro.boot.vbmeta.avb_version       == 2.3  match 

ro.boot.avb_version              == 2.3 &&
ro.boot.vbmeta.avb_version       == 2.1  match 

Versión AVB coincidente durante OTA

Para dispositivos lanzados con Android 9 o inferior, al actualizar a Android 10, los requisitos de la versión de AVB en la matriz de compatibilidad del marco se comparan con la versión actual de AVB en el dispositivo. Si la versión AVB tiene una actualización importante durante una OTA (por ejemplo, de 0.0 a 1.0), la verificación de compatibilidad de VINTF en OTA no refleja la compatibilidad después de la OTA.

Para mitigar el problema, un OEM puede colocar una versión AVB falsa en el paquete OTA ( compatibility.zip ) para pasar la verificación. Para hacerlo:

1. Seleccione las siguientes CL para el árbol de fuentes de Android 9:
   • CL 732261
   • CL 732262
2. Defina BOARD_OTA_FRAMEWORK_VBMETA_VERSION_OVERRIDE para el dispositivo. Su valor debe ser igual a la versión AVB antes de la OTA, es decir, la versión AVB del dispositivo cuando se lanzó.
3. Reconstruya el paquete OTA.

Estos cambios colocan automáticamente BOARD_OTA_FRAMEWORK_VBMETA_VERSION_OVERRIDE como compatibility-matrix.avb.vbmeta-version en los siguientes archivos:

• /system/compatibility_matrix.xml (que no se usa en Android 9) en el dispositivo
• system_matrix.xml en compatibility.zip en el paquete OTA

Estos cambios no afectan otras matrices de compatibilidad de marcos, incluido /system/etc/vintf/compatibility_matrix.xml . Después de la OTA, el nuevo valor en /system/etc/vintf/compatibility_matrix.xml se utiliza para comprobaciones de compatibilidad.

Coincidencias de la versión VNDK

La matriz de compatibilidad de dispositivos declara la versión de VNDK requerida en compatibility-matrix.vendor-ndk.version . Si la matriz de compatibilidad del dispositivo no tiene una etiqueta <vendor-ndk> , no se imponen requisitos y, por lo tanto, siempre se considera una coincidencia.

Si la matriz de compatibilidad de dispositivos tiene una etiqueta <vendor-ndk> , se busca una entrada <vendor-ndk> con una <version> coincidente en el conjunto de instantáneas de proveedores de VNDK que proporciona el marco en el manifiesto del marco. Si dicha entrada no existe, no hay coincidencia.

Si dicha entrada existe, el conjunto de bibliotecas enumeradas en la matriz de compatibilidad de dispositivos debe ser un subconjunto del conjunto de bibliotecas indicado en el manifiesto del marco; de lo contrario, la entrada no se considera coincidente.

• Como caso especial, si no se enumeran bibliotecas en la matriz de compatibilidad de dispositivos, la entrada siempre se considera una coincidencia, porque el conjunto vacío es un subconjunto de cualquier conjunto.

Ejemplo: coincidencia exitosa de la versión de VNDK

Si la matriz de compatibilidad de dispositivos establece el siguiente requisito en VNDK:

<!-- Example Device Compatibility Matrix -->
<vendor-ndk>
    <version>27</version>
    <library>libjpeg.so</library>
    <library>libbase.so</library>
</vendor-ndk>

En el manifiesto del marco, solo se considera la entrada con la versión 27.

<!-- Framework Manifest Example A -->
<vendor-ndk>
    <version>27</version>
    <library>libjpeg.so</library>
    <library>libbase.so</library>
    <library>libfoo.so</library>
</vendor-ndk>

El ejemplo A coincide, porque la versión 27 de VNDK está en el manifiesto del marco y {libjpeg.so, libbase.so, libfoo.so} ⊇ {libjpeg.so, libbase.so} .

<!-- Framework Manifest Example B -->
<vendor-ndk>
    <version>26</version>
    <library>libjpeg.so</library>
    <library>libbase.so</library>
</vendor-ndk>
<vendor-ndk>
    <version>27</version>
    <library>libbase.so</library>
</vendor-ndk>

El ejemplo B no coincide. Aunque la versión 27 de VNDK está en el manifiesto del marco, el marco no admite libjpeg.so en esa instantánea. Se ignora la versión 26 de VNDK.

La versión del SDK del sistema coincide

La matriz de compatibilidad de dispositivos declara un conjunto de versiones requeridas del SDK del sistema en compatibility-matrix.system-sdk.version . Solo hay una coincidencia si el conjunto es un subconjunto de las versiones del SDK del sistema proporcionadas como se declara en manifest.system-sdk.version en el manifiesto del marco.

• Como caso especial, si no se enumeran versiones de System SDK en la matriz de compatibilidad de dispositivos, siempre se considera una coincidencia, porque el conjunto vacío es un subconjunto de cualquier conjunto.

Ejemplo: coincidencia exitosa de la versión del SDK del sistema

Si la matriz de compatibilidad del dispositivo indica el siguiente requisito en el SDK del sistema:

<!-- Example Device Compatibility Matrix -->
<system-sdk>
    <version>26</version>
    <version>27</version>
</system-sdk>

Luego, el marco debe proporcionar las versiones 26 y 27 del SDK del sistema para que coincidan.

<!-- Framework Manifest Example A -->
<system-sdk>
    <version>26</version>
    <version>27</version>
</system-sdk>

El ejemplo A es una coincidencia.

<!-- Framework Manifest Example B -->
<system-sdk>
    <version>26</version>
    <version>27</version>
    <version>28</version>
</system-sdk>

El ejemplo B es una coincidencia.

<!-- Framework Manifest Example C -->
<system-sdk>
    <version>26</version>
</system-sdk>

El ejemplo C no coincide porque no se proporciona la versión 27 del SDK del sistema.