namespace ara::com

Die Enumeration ComErrc definiert nach [SWS_CM_10432] die standardisierten Fehlercodes der ara::com::ComErrorDomain für behebbare Fehler (Recoverable Errors) gemäß EXP ARAComAPI §2 „Recoverable Errors“. Sie wird in Rückgabetypen wie ara::core::Result oder ara::core::Future von synchronen und asynchronen APIs des Kommunikationsmanagements transportiert, um funktionale Fehlerursachen im Client- oder Serverkontext präzise zu signalisieren.

Die Enumeratoren decken spezifische Fehlerfälle entlang des Dienstlebenszyklus und der Datenübertragung ab:

• Dienstlebenszyklus und Bindung: kServiceNotOffered zeigt an, dass ein Dienst noch nicht über OfferService() bereitgestellt wurde ([SWS_CM_00101]), während kServiceNotAvailable den zwischenzeitlichen Verlust signalisiert. kInstanceIDNotResolvable tritt auf, wenn ein InstanceSpecifier nicht aufgelöst werden kann ([SWS_CM_00118]).
• Ereignis- und Sample-Abonnements: kMaxSamplesExceeded warnt vor dem Überschreiten zugesagter SamplePtr-Kontingente, und kMaxSampleCountNotRealizable meldet unpassende Werte bei der Wiederanmeldung via [SWS_CM_00141].
• Felder und Übertragung: kFieldValueNotInitialized weist auf eine fehlende Initialisierung vor Update() hin ([SWS_CM_00119]), kFieldSetHandlerNotSet auf einen fehlenden Setter-Handler. Lokale Netzwerkprobleme, etwa beim Trigger-Versand via [SWS_CM_00721], führen zu kCommunicationFailure ([SWS_CM_10517]). Zudem ahnden kMinimumSendIntervalViolationError Taktratenverletzungen und kUnknownApplicationError unerwartete Serverfehler ([SWS_CM_10432]).

Als reiner Aufzählungstyp besitzt ComErrc keinen eigenen Zustand; Lese- und Vergleichsoperationen auf Fehlerwerten dürften daher im aufrufenden Thread nebenläufig sicher sein. Frage Q-013822ee5711df2b (offen) Die eigentliche Fehlerprüfung obliegt der Anwendung nach Auswertung des jeweiligen Ergebnisobjekts.

Die Enumeration ara::com::MethodCallProcessingMode definiert die Verarbeitungsmodi für eingehende Methodenaufrufe an einer Service-Instanz [SWS_CM_00301]. Sie wird als Parameter an die Konstruktoren der Skeleton-Klassen übergeben, wobei der Standardwert ara::com::MethodCallProcessingMode::kEvent vorgegeben ist [SWS_CM_00130], [SWS_CM_00152], [SWS_CM_00153].

Die Enumeratoren steuern die Nebenläufigkeit und den Ausführungskontext der Service-Methoden [SWS_CM_00301]:

• kPoll: Polling-Modus. Eingehende Aufrufe von Service-Konsumenten werden nicht automatisch ausgeführt. Die Service-Implementierung steuert deren Ausführung aktiv über den Aufruf von ProcessNextMethodCall() [SWS_CM_00199]. Die anstehende Methode wird synchron im Kontext dieses Aufrufs abgearbeitet. Dies gewährleistet die volle Kontrolle über Thread- und Kontextwechsel auf Service-Seite ARAComAPI §6.3.3 „Event Buffering Approaches“.
• kEvent: Ereignisgesteuerter und nebenläufiger Modus für die parallele Bearbeitung eingehender Aufrufe.
• kEventSingleThread: Ereignisgesteuerter, sequentieller Modus zur Einzelausführung von Methodenaufrufen.

Fehlerbehandlung und Einschränkungen:

• Wird ein unzulässiger Modus an einen Skeleton-Konstruktor übergeben, tritt die Verletzung WrongMethodCallProcessingModeViolation auf [SWS_CM_00130], [SWS_CM_00153].
• Der Aufruf von ProcessNextMethodCall() an einem Skeleton, der mit kEvent konstruiert wurde, führt ebenfalls zu einer WrongMethodCallProcessingModeViolation [SWS_CM_00199] (Interpretation: dies dürfte ebenso für kEventSingleThread gelten, da die Methode nur für kPoll vorgesehen ist). Frage Q-bcd9f07119db44fb (offen)

Die Enumeration SubscriptionState [SWS_CM_00310] repräsentiert im Namensraum ara::com auf Basis des Typs std::uint8_t den aktuellen Zustand eines Abonnements. Sie definiert drei distinkte Zustände:

• kNotSubscribed: Das Abonnement ist inaktiv.
• kSubscriptionPending: Das Abonnement steht noch aus oder die Verbindung wird nach einem Ausfall wiederhergestellt.
• kSubscribed: Das Abonnement ist aktiv.

Zur synchronen Abfrage dient die Methode GetSubscriptionState(), welche an Proxy-Events [SWS_CM_00316], Proxy-Fields [SWS_CM_11604] und Triggern [SWS_CM_01105] sowie Skeleton-Triggern [SWS_CM_01109] bereitgestellt wird. Alle diese Abfragefunktionen sind als noexcept deklariert und gewährleisten vollständige Ausnahmesicherheit.

Für asynchrone Reaktionen auf Statuswechsel können Anwendungen über SetSubscriptionStateChangeHandler() einen Callback des Typs SubscriptionStateChangeHandler registrieren [SWS_CM_00311] [SWS_CM_00333]. Falls ein ungültiger oder leerer Handler übergeben wird, tritt die Verletzung InvalidHandlerViolation auf [SWS_CM_00333]. Die Deregistrierung erfolgt über UnsetSubscriptionStateChangeHandler() [SWS_CM_00334]. Über eine Template-Überladung mit ExecutorT lässt sich zudem der Ausführungskontext für den Callback festlegen [SWS_CM_11354].

Im Lebenszyklus einer Proxy-Instanz ist SubscriptionState eng mit der automatischen Aktualisierung verzahnt: Fällt eine Service-Instanz aus, schlagen Methodenaufrufe fehl und GetSubscriptionState() liefert für zuvor abonnierte Events kSubscriptionPending ARAComAPI §6.1 „Auto Updating of Proxy Instance“. Sobald die Service-Instanz über die Service Discovery wieder erreichbar ist, aktualisiert die Kommunikationsverwaltung die Verbindung transparent; GetSubscriptionState() liefert daraufhin automatisch wieder kSubscribed AUTOSAR_AP_EXP_ARAComAPI §5.3.5.2. Ein manuelles Neuerstellen des Proxys oder erneutes Abonnieren ist dabei nicht erforderlich.

Der Typalias SubscriptionStateChangeHandler im Namensraum ara::com ist als std::function<void(SubscriptionState)> in der Header-Datei ara/com/types.h deklariert ([SWS_CM_00311]). Er spezifiziert die Funktionssignatur für anwendungseigene Callbacks, die ausgelöst werden, sobald sich der ara::com::SubscriptionState eines abonnierten Proxy-Events ändert ([SWS_CM_00311], EXP_ARAComAPI §5.3 „Proxy Class API’s“). Beim Aufruf wird der neue Abonnementzustand direkt als Parameter übergeben; ein Rückgabewert ist nicht vorgesehen ([SWS_CM_00311]).

Die Registrierung des Handlers erfolgt über die Methode SetSubscriptionStateChangeHandler() der jeweiligen Proxy-Klasse (EXP_ARAComAPI §5.3.1 „Proxy Class API’s“, EXP_ARAComAPI §5.3 „Proxy Class API’s“). Diese Operation liefert ein ara::core::Result<void> zurück (EXP_ARAComAPI §5.3 „Proxy Class API’s“), worüber Anwendungsentwickler mögliche Fehler bei der Registrierung synchron prüfen können. Das gezielte Entfernen des registrierten Callbacks geschieht über den Aufruf von UnsetSubscriptionStateChangeHandler() gemäß [SWS_CM_00334] (EXP_ARAComAPI §1 „Introduction“, EXP_ARAComAPI §5.3.1 „Proxy Class API’s“).

Hinsichtlich des Ablaufs und der Nebenläufigkeit erfolgt die Zustandsbenachrichtigung asynchron. Der Aufruf des Handlers dürfte vermutlich im Thread-Kontext der Kommunikationsinfrastruktur erfolgen (Interpretation). Frage Q-8dda0cd4de0070bf (offen) Daher muss die Implementierung des Callbacks zügig zurückkehren und reentrant bzw. thread-sicher aufgebaut sein. Das Zusammenspiel des Handlers bindet sich eng an den Lebenszyklus des Event-Abonnements ein, insbesondere in Kombination mit Subscribe(), Unsubscribe() und GetSubscriptionState() (EXP_ARAComAPI §5.3.1 „Proxy Class API’s“).

Verwendung

Die globale Funktion GetComErrorDomain im Namensraum ara::com stellt eine Referenz auf das Fehlerbereichs-Objekt ara::com::ComErrorDomain bereit [SWS_CM_11334]. Die Deklaration ist über den Header ara/com/com_error_domain.h eingebunden und erfolgt als synchroner, parameterloser Aufruf SWS CommunicationManagement §8.12.3.1.1 „GetComErrorDomain“. Als Rückgabewert liefert die Funktion eine konstante Referenz des Typs const ara::core::ErrorDomain&, welche den Kommunikationsfehlerbereich im System repräsentiert.

Fehlerbehandlung und Exception-Sicherheit

Die Schnittstelle ist explizit als noexcept deklariert und gilt als ausnahmesicher (exception safe) [SWS_CM_11334]. Da der Funktionsaufruf stets erfolgreich ist, treten keine Laufzeitfehler auf. Aufrufer müssen daher keine Fehlerbehandlung für den Funktionsaufruf selbst vorsehen. Spezifische Fehlercodes, Rückmeldekanäle oder Meldungen an DET oder DEM sind für diesen Abruf in der Spezifikation nicht definiert.

Nebenläufigkeit und Zusammenspiel

Dank der Deklaration mit constexpr und noexcept dürfte die Funktion zustandslos, seiteneffektfrei sowie uneingeschränkt reentrant und threadsicher sein; vermutlich lässt sie sich auch zur Compilezeit ausführen. Frage Q-21aafe1fdcb5997b (offen) Die bereitgestellte Fehlerdomäne dient im Gesamtsystem als Referenzinstanz, um Fehlercodes aus Operationen des Communication Managements anhand ihrer Domänenzugehörigkeit zu verifizieren und von anderen Fehlerquellen abzugrenzen [SWS_CM_11334].

Die Hilfsfunktion ara::com::MakeErrorCode dient der Erzeugung einer Instanz von ara::core::ErrorCode ([SWS_CM_11335], SWS CommunicationManagement §8.12.3.1.2 „MakeErrorCode“). Sie wird über die Header-Datei #include "ara/com/com_error_domain.h" im Namensraum ara::com deklariert. Als Eingabeparameter nimmt sie die Fehlernummer code vom Typ ara::com::ComErrc sowie herstellerspezifische Zusatzdaten data des Typs ara::core::ErrorDomain::SupportDataType entgegen und liefert das entsprechende Fehlerobjekt synchron zurück.

Hinsichtlich der Ausführungssicherheit ist die Funktion als noexcept spezifiziert und ausdrücklich als ausnahmesicher („exception safe“) eingestuft ([SWS_CM_11335]). Laufzeitmeldungen über DET oder DEM sind für diese Hilfsfunktion nicht vorgesehen, da sie ausschließlich der Konstruktion von Fehlerobjekten dient. Aufgrund der Deklaration als constexpr und noexcept dürfte die Funktion seiteneffektfrei und reentrant sein, wodurch Aufrufe auch zur Übersetzungszeit sowie aus nebenläufigen Kontexten zulässig sind. Frage Q-43f118920f402d86 (offen)

Das Architekturmuster folgt dem plattformweiten Fehlermodell von Adaptive AUTOSAR und wird für angrenzende Funktionsdomänen analog bereitgestellt: Für die End-to-End-Absicherung existiert die Funktion ara::com::e2e::MakeErrorCode ([SWS_CM_12511], SWS CommunicationManagement §8.15.2.1.2 „MakeErrorCode“), während für Sicherheitsfunktionen apext::com::secoc::MakeErrorCode zur Verfügung steht ([SWS_CM_12522], SWS CommunicationManagement §C.2.2.1.2 „MakeErrorCode“).