namespace ara::com

L'énumération ComErrc définit, selon [SWS_CM_10432], les codes d'erreur standardisés de ara::com::ComErrorDomain pour les erreurs récupérables (Recoverable Errors) conformément à EXP ARAComAPI §2 « Recoverable Errors ». Elle est véhiculée dans des types de retour tels que ara::core::Result ou ara::core::Future des API synchrones et asynchrones de la gestion de la communication, afin de signaler avec précision les causes d'erreurs fonctionnelles dans le contexte client ou serveur.

Les énumérateurs couvrent des cas d'erreur spécifiques tout au long du cycle de vie du service et du transfert de données :

• Cycle de vie du service et liaison : kServiceNotOffered indique qu'un service n'a pas encore été mis à disposition via OfferService() ([SWS_CM_00101]), tandis que kServiceNotAvailable signale une perte intermédiaire. kInstanceIDNotResolvable se produit lorsqu'un InstanceSpecifier ne peut pas être résolu ([SWS_CM_00118]).
• Abonnements aux événements et aux échantillons : kMaxSamplesExceeded avertit du dépassement des quotas SamplePtr accordés, et kMaxSampleCountNotRealizable signale des valeurs inappropriées lors d'un réabonnement via [SWS_CM_00141].
• Champs et transmission : kFieldValueNotInitialized signale une initialisation manquante avant Update() ([SWS_CM_00119]), kFieldSetHandlerNotSet l'absence de gestionnaire de modification (setter). Les problèmes de réseau local, par exemple lors de l'envoi d'un déclenchement via [SWS_CM_00721], entraînent kCommunicationFailure ([SWS_CM_10517]). De plus, kMinimumSendIntervalViolationError sanctionne les violations de fréquence d'horloge et kUnknownApplicationError les erreurs de serveur inattendues ([SWS_CM_10432]).

En tant que simple type d'énumération, ComErrc ne possède pas d'état propre ; les opérations de lecture et de comparaison sur les valeurs d'erreur devraient donc être sûres de manière concurrente dans le thread appelant. Question Q-013822ee5711df2b (ouverte) La vérification effective des erreurs incombe à l'application après évaluation de l'objet résultat respectif.

L'énumération ara::com::MethodCallProcessingMode définit les modes de traitement pour les appels de méthode entrants sur une instance de service [SWS_CM_00301]. Elle est transmise comme paramètre aux constructeurs des classes Skeleton, la valeur par défaut étant ara::com::MethodCallProcessingMode::kEvent [SWS_CM_00130], [SWS_CM_00152], [SWS_CM_00153].

Les énumérateurs contrôlent la concurrence et le contexte d'exécution des méthodes de service [SWS_CM_00301] :

• kPoll : mode scrutation (polling). Les appels entrants provenant des consommateurs de service ne sont pas exécutés automatiquement. L'implémentation du service contrôle activement leur exécution via l'appel de ProcessNextMethodCall() [SWS_CM_00199]. La méthode en attente est traitée de manière synchrone dans le contexte de cet appel. Cela garantit un contrôle total sur les changements de thread et de contexte côté service ARAComAPI §6.3.3 « Event Buffering Approaches ».
• kEvent : mode événementiel et concurrent pour le traitement parallèle des appels entrants.
• kEventSingleThread : mode événementiel et séquentiel pour l'exécution individuelle des appels de méthode.

Traitement des erreurs et restrictions :

• Si un mode non valide est transmis à un constructeur de Skeleton, la violation WrongMethodCallProcessingModeViolation se produit [SWS_CM_00130], [SWS_CM_00153].
• L'appel de ProcessNextMethodCall() sur un Skeleton construit avec kEvent entraîne également une WrongMethodCallProcessingModeViolation [SWS_CM_00199] (interprétation : cela devrait s'appliquer de la même manière à kEventSingleThread, car la méthode est uniquement prévue pour kPoll). Question Q-bcd9f07119db44fb (ouverte)

L'énumération SubscriptionState [SWS_CM_00310] représente, dans l'espace de noms ara::com et sur la base du type std::uint8_t, l'état actuel d'un abonnement. Elle définit trois états distincts :

• kNotSubscribed : l'abonnement est inactif.
• kSubscriptionPending : l'abonnement est en attente ou la connexion est en cours de rétablissement après une défaillance.
• kSubscribed : l'abonnement est actif.

La méthode GetSubscriptionState() sert à l'interrogation synchrone ; elle est fournie sur les événements de proxy [SWS_CM_00316], les champs de proxy [SWS_CM_11604] et les déclencheurs [SWS_CM_01105] ainsi que sur les déclencheurs de skeleton [SWS_CM_01109]. Toutes ces fonctions d'interrogation sont déclarées noexcept et garantissent une sécurité totale vis-à-vis des exceptions.

Pour réagir de manière asynchrone aux changements d'état, les applications peuvent enregistrer un rappel de type SubscriptionStateChangeHandler via SetSubscriptionStateChangeHandler() [SWS_CM_00311] [SWS_CM_00333]. Si un gestionnaire invalide ou vide est transmis, la violation InvalidHandlerViolation se produit [SWS_CM_00333]. Le désenregistrement s'effectue via UnsetSubscriptionStateChangeHandler() [SWS_CM_00334]. Une surcharge de modèle avec ExecutorT permet en outre de définir le contexte d'exécution du rappel [SWS_CM_11354].

Dans le cycle de vie d'une instance de proxy, SubscriptionState est étroitement liée à la mise à jour automatique : en cas de défaillance d'une instance de service, les appels de méthode échouent et GetSubscriptionState() renvoie kSubscriptionPending pour les événements précédemment abonnés ARAComAPI §6.1 « Auto Updating of Proxy Instance ». Dès que l'instance de service est à nouveau accessible via la Service Discovery, la gestion de la communication met à jour la connexion de manière transparente ; GetSubscriptionState() renvoie alors automatiquement à nouveau kSubscribed AUTOSAR_AP_EXP_ARAComAPI §5.3.5.2. Une recréation manuelle du proxy ou un nouvel abonnement n'est pas nécessaire dans ce cas.

L'alias de type SubscriptionStateChangeHandler dans l'espace de noms ara::com est déclaré comme std::function<void(SubscriptionState)> dans le fichier d'en-tête ara/com/types.h ([SWS_CM_00311]). Il spécifie la signature de fonction pour les callbacks propres à l'application qui sont déclenchés dès que le ara::com::SubscriptionState d'un événement de proxy souscrit change ([SWS_CM_00311], EXP_ARAComAPI §5.3 « Proxy Class API’s »). Lors de l'appel, le nouvel état de souscription est directement transmis comme paramètre ; aucune valeur de retour n'est prévue ([SWS_CM_00311]).

L'enregistrement du gestionnaire s'effectue via la méthode SetSubscriptionStateChangeHandler() de la classe de proxy respective (EXP_ARAComAPI §5.3.1 « Proxy Class API’s », EXP_ARAComAPI §5.3 « Proxy Class API’s »). Cette opération renvoie un ara::core::Result<void> (EXP_ARAComAPI §5.3 « Proxy Class API’s »), par l'intermédiaire duquel les développeurs d'applications peuvent vérifier de manière synchrone les erreurs éventuelles lors de l'enregistrement. La suppression ciblée du callback enregistré s'effectue via l'appel de UnsetSubscriptionStateChangeHandler() conformément à [SWS_CM_00334] (EXP_ARAComAPI §1 « Introduction », EXP_ARAComAPI §5.3.1 « Proxy Class API’s »).

Concernant le déroulement et la concurrence, la notification d'état s'effectue de manière asynchrone. L'appel du gestionnaire devrait vraisemblablement avoir lieu dans le contexte de thread de l'infrastructure de communication (interprétation). Question Q-8dda0cd4de0070bf (ouverte) Par conséquent, l'implémentation du callback doit retourner rapidement et être conçue de façon réentrante ou thread-safe. L'interaction du gestionnaire s'intègre étroitement dans le cycle de vie de la souscription d'événement, en particulier en combinaison avec Subscribe(), Unsubscribe() et GetSubscriptionState() (EXP_ARAComAPI §5.3.1 « Proxy Class API’s »).

Utilisation

La fonction globale GetComErrorDomain dans l'espace de noms ara::com fournit une référence vers l'objet de domaine d'erreur ara::com::ComErrorDomain [SWS_CM_11334]. La déclaration est incluse via l'en-tête ara/com/com_error_domain.h et s'effectue sous la forme d'un appel synchrone sans paramètre SWS CommunicationManagement §8.12.3.1.1 « GetComErrorDomain ». Comme valeur de retour, la fonction fournit une référence constante de type const ara::core::ErrorDomain&, qui représente le domaine d'erreur de communication dans le système.

Gestion des erreurs et sécurité vis-à-vis des exceptions

L'interface est explicitement déclarée comme noexcept et est considérée comme sûre vis-à-vis des exceptions (exception safe) [SWS_CM_11334]. L'appel de fonction réussissant toujours, aucune erreur d'exécution ne survient. Les appelants ne doivent donc prévoir aucun traitement d'erreur pour l'appel de fonction lui-même. Aucun code d'erreur spécifique, canal de retour ou message vers DET ou DEM n'est défini dans la spécification pour cette interrogation.

Concurrence et interaction

Grâce à la déclaration avec constexpr et noexcept, la fonction devrait être sans état, sans effets de bord, ainsi qu'intégralement réentrante et sûre pour les threads (thread-safe) ; elle peut probablement aussi être exécutée au moment de la compilation. Question Q-21aafe1fdcb5997b (ouverte) Le domaine d'erreur fourni sert d'instance de référence dans l'ensemble du système afin de vérifier les codes d'erreur issus d'opérations de Communication Management en fonction de leur appartenance à un domaine et de les distinguer d'autres sources d'erreur [SWS_CM_11334].

La fonction utilitaire ara::com::MakeErrorCode sert à créer une instance de ara::core::ErrorCode ([SWS_CM_11335], SWS CommunicationManagement §8.12.3.1.2 « MakeErrorCode »). Elle est déclarée via le fichier d'en-tête #include "ara/com/com_error_domain.h" dans l'espace de noms ara::com. En tant que paramètres d'entrée, elle reçoit le numéro d'erreur code de type ara::com::ComErrc ainsi que des données supplémentaires spécifiques au constructeur data du type ara::core::ErrorDomain::SupportDataType, et renvoie l'objet d'erreur correspondant de manière synchrone.

En ce qui concerne la sécurité d'exécution, la fonction est spécifiée comme noexcept et explicitement classée comme sûre vis-à-vis des exceptions (« exception safe ») ([SWS_CM_11335]). Les messages d'exécution via DET ou DEM ne sont pas prévus pour cette fonction utilitaire, car elle sert exclusivement à la construction d'objets d'erreur. En raison de sa déclaration comme constexpr et noexcept, la fonction devrait être sans effets secondaires et réentrante, ce qui autorise également les appels au moment de la compilation ainsi qu'à partir de contextes concurrents. Question Q-43f118920f402d86 (ouverte)

Le patron d'architecture suit le modèle d'erreur à l'échelle de la plateforme d'Adaptive AUTOSAR et est mis à disposition de manière analogue pour les domaines fonctionnels voisins : pour la protection de bout en bout, il existe la fonction ara::com::e2e::MakeErrorCode ([SWS_CM_12511], SWS CommunicationManagement §8.15.2.1.2 « MakeErrorCode »), tandis que pour les fonctions de sécurité, apext::com::secoc::MakeErrorCode est disponible ([SWS_CM_12522], SWS CommunicationManagement §C.2.2.1.2 « MakeErrorCode »).