class ara::diag::ReleaseHandler

Die Klasse ara::diag::ReleaseHandler verwaltet einen gemeinsamen Zustand zur Feststellung, ob eine laufende Diagnoseverarbeitung abgebrochen und eine geteilte Ressource freigegeben werden kann [SWS_DM_01340]. Anwendungen können über SetNotifier eine Benachrichtigungsfunktion registrieren sowie mittels MayRelease synchron abfragen, ob die Ressource nicht mehr verwendet wird [SWS_DM_01536]. Da Standardkonstruktion und Kopiervorgänge untersagt sind, wird die Instanz über Move-Semantik übertragen, wobei Modifikationen und Zerstörung nicht threadsicher sind.

mehr ›

Kontext

Die Klasse ara::diag::ReleaseHandler kapselt im AUTOSAR-Adaptive-Diagnosemodul einen gemeinsamen Status (Shared State), der anzeigt, ob eine laufende Verarbeitung storniert oder eine gemeinsam genutzte Ressource freigegeben werden soll [SWS_DM_01340], AUTOSAR_AP_SWS_Diagnostics §8.23 „Header: ara/diag/release_handler.h“. In der Diagnosearchitektur dient sie als Synchronisations- und Benachrichtigungsschnittstelle zwischen der AUTOSAR-Diagnoselaufzeitumgebung und den anwendungsspezifischen Diagnose-Handlern. Dies betrifft insbesondere länger laufende oder ressourcenintensive Verarbeitungen, wie sie beispielsweise im Kontext von Datei- und Datentransfersitzungen auftreten AUTOSAR_AP_SWS_Diagnostics §7.x „DataTransfer“.

Über den ReleaseHandler erhält die Anwendung die Möglichkeit, über das Beenden oder Stornieren von Verarbeitungszyklen informiert zu werden, ohne auf blockierende Mechanismen zurückgreifen zu müssen. Damit übernimmt die Klasse die Rolle eines Entkopplers zwischen dem internen Ablauf des Diagnoseservers und den zugrundeliegenden Verarbeitungsroutinen der Anwendung.

Lebenszyklus

Der Lebenszyklus einer Instanz von ReleaseHandler unterliegt strengen semantischen Vorgaben. Die Klasse verbietet eine parameterlose Instanziierung über den Standardkonstruktor explizit [SWS_DM_01530], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.1 „Default Constructor“. Da kein weiterer öffentlicher Konstruktor spezifiziert ist, dürfte die tatsächliche Erzeugung des Objekts intern durch den Diagnoseserver erfolgen, bevor die Instanz an den jeweiligen Service-Handler übergeben wird. Frage Q-05a2e8b6b7deca40 (offen) Zudem ist ReleaseHandler als reine Move-Only-Klasse ausgelegt: Sowohl der Kopierkonstruktor [SWS_DM_01534] als auch der Zuweisungsoperator für Kopien [SWS_DM_01535] sind gelöscht.

Die Eigentümerschaft an der Instanz kann ausschließlich über Move-Operationen übertragen werden. Der Move-Konstruktor ist als ausnahmesicher (noexcept) und explizit als threadsicher definiert [SWS_DM_01532], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.2 „Move Constructor“. Im Gegensatz dazu ist der Move-Zuweisungsoperator operator= zwar ebenfalls ausnahmesicher, jedoch nicht threadsicher [SWS_DM_01533]. Die Zerstörung erfolgt über den Destruktor ~ReleaseHandler() [SWS_DM_01531], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.4 „Destructor“, welcher ausnahmesicher (noexcept) ist, aber nicht threadsicher aufgerufen werden darf.

Nutzungspfad

Der typische Nutzungspfad umfasst die Registrierung einer Benachrichtigungsfunktion sowie die synchrone oder asynchrone Prüfung des Freigabestatus. Eine Anwendung registriert einen Rückruf über die Methode SetNotifier [SWS_DM_01537]. Als Parameter wird ein Callable vom Typ ReleaseHandlerSetNotifier übergeben, der als Typalias für std::function<void(void)> spezifiziert ist [SWS_DM_02079], AUTOSAR_AP_SWS_Diagnostics §8.23.1.1.1 „Type Alias: ReleaseHandlerSetNotifier“. Ein wiederholter Aufruf von SetNotifier überschreibt dabei eine zuvor registrierte Funktion vollständig [SWS_DM_01537].

Sobald die geteilte Ressource freigegeben werden kann oder eine Stornierung vorliegt, wird der registrierte Notifier ausgelöst. Vermutlich erfolgt dieser Aufruf asynchron im Thread-Kontext des Diagnoseservers. Frage Q-d948326514d200a1 (offen) Parallel oder im Rahmen der regulären Kontrollschleife kann die Anwendung über MayRelease() prüfen, ob die geteilte Ressource nicht mehr in Benutzung ist [SWS_DM_01536]. Die Methode liefert true zurück, wenn die Ressource freigegeben werden darf, und andernfalls false [SWS_DM_01536].

Sequenzdiagramm: Ablauf zur Registrierung der Benachrichtigung und Freigabe geteilter Ressourcen. Quellen: [SWS_DM_01536], [SWS_DM_01537], [SWS_DM_02079].

Fehlerszenarien

Sämtliche Methoden von ReleaseHandler sind mit noexcept annotiert und als ausnahmesicher spezifiziert; es werden folglich keine Ausnahmen geworfen und keine Fehlercodes zurückgegeben ([SWS_DM_01531], [SWS_DM_01532], [SWS_DM_01533], [SWS_DM_01536], [SWS_DM_01537]). Fehlerszenarien ergeben sich daher primär aus Verletzungen von Vorbedingungen oder unzureichender Synchronisation.

Eine zentrale Vorbedingung beim Aufruf von SetNotifier ist, dass das übergebene Objekt ein aufrufbares Ziel (Callable) enthalten muss und dessen Ausführung keine Ausnahmen werfen darf [SWS_DM_01537]. Ein leeres oder ungültiges Funktionsobjekt stellt eine Vorbedingungsverletzung dar. Hinsichtlich der Nebenläufigkeit ist zu beachten, dass SetNotifier, der Move-Zuweisungsoperator und der Destruktor als nicht threadsicher dokumentiert sind ([SWS_DM_01531], [SWS_DM_01533], [SWS_DM_01537]). Nur MayRelease() sowie der Move-Konstruktor sind explizit threadsicher ([SWS_DM_01532], [SWS_DM_01536]). Werden Notifier-Registrierungen oder Zuweisungen ohne externe Synchronisation nebenläufig ausgeführt, führt dies zu undefiniertem Verhalten.