Cadre de synchronisation

Le cadre de synchronisation décrit explicitement les dépendances entre différentes opérations asynchrones dans le système graphique Android. Le framework fournit une API qui permet aux composants d'indiquer quand les tampons sont libérés. Le framework permet également de transmettre des primitives de synchronisation entre les pilotes du noyau vers l'espace utilisateur et entre les processus de l'espace utilisateur eux-mêmes.

Par exemple, une application peut mettre en file d'attente le travail à effectuer dans le GPU. Le GPU commence à dessiner cette image. Bien que l'image n'ait pas encore été dessinée en mémoire, le pointeur de tampon est passé au compositeur de fenêtre avec une clôture qui indique la fin du travail du GPU. Le compositeur de fenêtre commence le traitement à l'avance et transmet le travail au contrôleur d'affichage. De la même manière, le travail du processeur est effectué à l'avance. Une fois le GPU terminé, le contrôleur d'affichage affiche immédiatement l'image.

Le cadre de synchronisation permet également aux développeurs d'exploiter les ressources de synchronisation dans leurs propres composants matériels. Enfin, le framework offre une visibilité sur le pipeline graphique pour faciliter le débogage.

Synchronisation explicite

La synchronisation explicite permet aux producteurs et aux consommateurs de tampons graphiques de signaler lorsqu'ils ont fini d'utiliser un tampon. La synchronisation explicite est implémentée dans l'espace noyau.

Les avantages de la synchronisation explicite incluent:

  • Moins de variation de comportement entre les appareils
  • Meilleure prise en charge du débogage
  • Amélioration des métriques de test

Le framework de synchronisation a trois types d'objets:

  • sync_timeline
  • sync_pt
  • sync_fence

sync_timeline

sync_timeline est une chronologie monotone croissante que les fournisseurs doivent implémenter pour chaque instance de pilote, comme un contexte GL, un contrôleur d'affichage ou un blitter 2D. sync_timeline compte les travaux soumis au noyau pour un matériel particulier. sync_timeline fournit des garanties sur l'ordre des opérations et permet des implémentations spécifiques au matériel.

Suivez ces consignes lors de la mise en œuvre de sync_timeline :

  • Fournissez des noms utiles pour tous les pilotes, calendriers et clôtures pour simplifier le débogage.
  • Implémentez les opérateurs timeline_value_str et pt_value_str dans les timelines pour rendre la sortie de débogage plus lisible.
  • Implémentez le remplissage driver_data pour donner aux bibliothèques de l'espace utilisateur, telles que la bibliothèque GL, l'accès aux données de chronologie privées, si vous le souhaitez. data_driver permet aux fournisseurs de transmettre des informations sur les immuables sync_fence et sync_pts pour créer des lignes de commande basées sur eux.
  • N'autorisez pas l'espace utilisateur à créer ou signaler explicitement une clôture. La création explicite de signaux / clôtures entraîne une attaque par déni de service qui interrompt la fonctionnalité du pipeline.
  • sync_timeline pas explicitement aux éléments sync_timeline , sync_pt ou sync_fence . L'API fournit toutes les fonctions requises.

sync_pt

sync_pt est une valeur ou un point unique sur une sync_timeline . Un point a trois états: actif, signalé et erreur. Les points commencent à l'état actif et passent aux états signalés ou d'erreur. Par exemple, lorsqu'un consommateur d'image n'a plus besoin d'un tampon, un sync_pt est signalé afin qu'un producteur d'image sache qu'il est correct d'écrire à nouveau dans le tampon.

sync_fence

sync_fence est une collection de valeurs sync_pt qui ont souvent des parents sync_timeline différents (comme pour le contrôleur d'affichage et le GPU). sync_fence , sync_pt et sync_timeline sont les principales primitives que les pilotes et l'espace utilisateur utilisent pour communiquer leurs dépendances. Lorsqu'une clôture est signalée, toutes les commandes émises avant la clôture sont garanties d'être complètes car le pilote du noyau ou le bloc matériel exécute les commandes dans l'ordre.

L'infrastructure de synchronisation permet à plusieurs consommateurs ou producteurs de signaler lorsqu'ils ont fini d'utiliser un tampon, en communiquant les informations de dépendance avec un paramètre de fonction. Les clôtures sont soutenues par un descripteur de fichier et sont transmises de l'espace noyau à l'espace utilisateur. Par exemple, une clôture peut contenir deux valeurs sync_pt qui signifient que deux consommateurs d'image distincts ont fini de lire un tampon. Lorsque la clôture est signalée, les producteurs d'image savent que les deux consommateurs ont fini de consommer.

Les clôtures, comme les valeurs sync_pt , commencent à être actives et changent d'état en fonction de l'état de leurs points. Si toutes les valeurs de sync_pt sont signalées, le sync_fence est signalé. Si un sync_pt tombe dans un état d'erreur, l'intégralité de sync_fence a un état d'erreur.

L'appartenance à un sync_fence est immuable après la création de la clôture. Pour obtenir plus d'un point dans une clôture, une fusion est effectuée où des points de deux clôtures distinctes sont ajoutés à une troisième clôture. Si l'un de ces points a été signalé dans la clôture d'origine et que l'autre ne l'était pas, la troisième clôture ne sera pas non plus dans un état signalé.

Pour implémenter la synchronisation explicite, fournissez les éléments suivants:

  • Un sous-système de l'espace noyau qui implémente le cadre de synchronisation pour un pilote matériel particulier. Les pilotes qui doivent être sensibles à la clôture sont généralement tout ce qui accède ou communique avec Hardware Composer. Les fichiers clés comprennent:
    • Implémentation de base:
      • kernel/common/include/linux/sync.h
      • kernel/common/drivers/base/sync.c
    • Documentation sur kernel/common/Documentation/sync.txt
    • Bibliothèque pour communiquer avec l'espace noyau dans platform/system/core/libsync
  • Le fournisseur doit fournir les clôtures de synchronisation appropriées en tant que paramètres des fonctions validateDisplay() et presentDisplay() dans la HAL.
  • Deux extensions GL liées à la clôture ( EGL_ANDROID_native_fence_sync et EGL_ANDROID_wait_sync ) et la prise en charge de la clôture dans le pilote graphique.

Étude de cas: implémentation d'un pilote d'affichage

Pour utiliser l'API prenant en charge la fonction de synchronisation, développez un pilote d'affichage doté d'une fonction de tampon d'affichage. Avant que le cadre de synchronisation n'existe, cette fonction recevait dma-buf objets dma-buf , mettait ces tampons sur l'affichage et bloquait tant que le tampon était visible. Par example:

/*
 * assumes buffer is ready to be displayed.  returns when buffer is no longer on
 * screen.
 */
void display_buffer(struct dma_buf *buffer);

Avec le framework de synchronisation, la fonction display_buffer est plus complexe. Lors de l'affichage d'un tampon, le tampon est associé à une clôture qui indique quand le tampon sera prêt. Vous pouvez faire la queue et commencer le travail une fois la clôture effacée.

Mettre en file d'attente et lancer le travail une fois la clôture effacée ne bloque rien. Vous retournez immédiatement votre propre clôture, ce qui garantit que le tampon sera hors de l'écran. Lorsque vous mettez en file d'attente les tampons, le noyau répertorie les dépendances avec le cadre de synchronisation:

/*
 * displays buffer when fence is signaled.  returns immediately with a fence
 * that signals when buffer is no longer displayed.
 */
struct sync_fence* display_buffer(struct dma_buf *buffer, struct sync_fence
*fence);

Intégration de la synchronisation

Cette section explique comment intégrer le cadre de synchronisation de l'espace noyau avec les parties de l'espace utilisateur du cadre Android et les pilotes qui doivent communiquer entre eux. Les objets de l'espace noyau sont représentés sous forme de descripteurs de fichiers dans l'espace utilisateur.

Conventions d'intégration

Suivez les conventions de l'interface Android HAL:

  • Si l'API fournit un descripteur de fichier qui fait référence à un sync_pt , le pilote du fournisseur ou la HAL utilisant l'API doit fermer le descripteur de fichier.
  • Si le pilote du fournisseur ou le HAL transmet un descripteur de fichier qui contient un sync_pt à une fonction API, le pilote du fournisseur ou le HAL ne doit pas fermer le descripteur de fichier.
  • Pour continuer à utiliser le descripteur de fichier fence, le pilote du fournisseur ou le HAL doit dupliquer le descripteur.

Un objet fence est renommé chaque fois qu'il passe par BufferQueue. La prise en charge de la clôture du noyau permet aux clôtures d'avoir des chaînes pour les noms, de sorte que l'infrastructure de synchronisation utilise le nom de la fenêtre et l'index de tampon mis en file d'attente pour nommer la clôture, par exemple SurfaceView:0 . Ceci est utile dans le débogage pour identifier la source d'un blocage lorsque les noms apparaissent dans la sortie de /d/sync et des rapports de bogue.

Intégration ANativeWindow

ANativeWindow est conscient des clôtures. dequeueBuffer , queueBuffer et cancelBuffer ont des paramètres de clôture.

Intégration OpenGL ES

L'intégration de synchronisation OpenGL ES repose sur deux extensions EGL:

  • EGL_ANDROID_native_fence_sync fournit un moyen d' EGL_ANDROID_native_fence_sync ou de créer des descripteurs de fichier de clôture Android natifs dans des objets EGLSyncKHR .
  • EGL_ANDROID_wait_sync autorise les EGL_ANDROID_wait_sync côté GPU plutôt que côté CPU, ce qui EGLSyncKHR le GPU à attendre EGLSyncKHR . L'extension EGL_ANDROID_wait_sync est la même que l'extension EGL_KHR_wait_sync .

Pour utiliser ces extensions indépendamment, implémentez l'extension EGL_ANDROID_native_fence_sync avec le support du noyau associé. Ensuite, activez l'extension EGL_ANDROID_wait_sync dans votre pilote. L'extension EGL_ANDROID_native_fence_sync compose d'un type d'objet de clôture natif EGLSyncKHR distinct. Par conséquent, les extensions qui s'appliquent aux types d'objets EGLSyncKHR existants ne s'appliquent pas nécessairement aux objets EGL_ANDROID_native_fence , évitant ainsi les interactions indésirables.

L'extension EGL_ANDROID_native_fence_sync utilise un attribut de descripteur de fichier fence natif correspondant qui ne peut être défini qu'au moment de la création et ne peut pas être interrogé directement à partir d'un objet de synchronisation existant. Cet attribut peut être défini sur l'un des deux modes suivants:

  • Un descripteur de fichier fence valide EGLSyncKHR un descripteur de fichier fence Android natif existant dans un objet EGLSyncKHR .
  • -1 crée un descripteur de fichier de clôture Android natif à partir d'un objet EGLSyncKHR .

Utilisez l'appel de fonction DupNativeFenceFD() pour extraire l'objet EGLSyncKHR du descripteur de fichier de clôture Android natif. Cela a le même résultat que l'interrogation de l'attribut set, mais adhère à la convention selon laquelle le destinataire ferme la clôture (d'où l'opération de duplication). Enfin, la destruction de l'objet EGLSyncKHR ferme l'attribut de clôture interne.

Intégration de Hardware Composer

Hardware Composer gère trois types de clôtures de synchronisation:

  • Les clôtures d'acquisition sont transmises avec les tampons d'entrée aux appels setLayerBuffer et setClientTarget . Ceux-ci représentent une écriture en attente dans le tampon et doivent signaler avant que le SurfaceFlinger ou le HWC tente de lire à partir du tampon associé pour effectuer la composition.
  • Les clôtures de libération sont récupérées après l'appel à presentDisplay à l'aide de l'appel getReleaseFences . Celles-ci représentent une lecture en attente à partir du tampon précédent sur la même couche. Une clôture de libération signale lorsque le HWC n'utilise plus le tampon précédent car le tampon actuel a remplacé le tampon précédent sur l'affichage. Les clôtures de publication sont renvoyées à l'application avec les tampons précédents qui seront remplacés lors de la composition actuelle. L'application doit attendre qu'une clôture de publication signale avant d'écrire un nouveau contenu dans la mémoire tampon qui leur a été renvoyée.
  • Les clôtures présentes sont renvoyées, une par image, dans le cadre de l'appel à presentDisplay . Les clôtures actuelles représentent le moment où la composition de ce cadre est terminée, ou alternativement, le moment où le résultat de la composition du cadre précédent n'est plus nécessaire. Pour les affichages physiques, presentDisplay renvoie les clôtures présentes lorsque l'image actuelle apparaît à l'écran. Une fois les clôtures présentes renvoyées, il est possible d'écrire à nouveau dans le tampon cible SurfaceFlinger, le cas échéant. Pour les affichages virtuels, les clôtures présentes sont renvoyées lorsqu'elles peuvent être lues en toute sécurité à partir du tampon de sortie.