klasse apext::tsync::TsyncFvmException

De uitzonderingsklasse apext::tsync::TsyncFvmException dient voor de Freshness Value Manager in de module tsync om foutieve toestanden bij de versheidswaardeverwerking te melden. Bij de detectie van een fout wordt de uitzondering onder doorgifte van een specifieke ara::core::ErrorCode expliciet geïstantieerd en in de controlestroom geworpen [SWS_TS_14204]. Als wezenlijke randvoorwaarden is de constructor gedeclareerd als noexcept en is de klasse volledig thread-safe en uitzonderingsveilig ontworpen om een robuuste foutdoorgifte in gelijktijdige systemen te waarborgen [SWS_TS_14204].

meer ›

Context

De klasse apext::tsync::TsyncFvmException is een gespecialiseerde uitzonderingsklasse binnen de module tsync van het AUTOSAR Adaptive Platform. Conform de modulespecificatie dient zij voor het inkapselen en doorgeven van fouttoestanden die door de Freshness Value Manager worden geactiveerd. De klasse is gedefinieerd als directe subklasse van ara::core::Exception en waarborgt zodoende de gestandaardiseerde C++-uitzonderingsafhandeling voor fouten rond het beheer van versheidswaarden.

Tot de primaire interactiepartners behoren de Freshness Value Manager als werpende instantie evenals toepassende softwarecomponenten en synchronisatiediensten die versheidscontroles voor beveiligde communicatierelaties aanvragen. Treedt bij de verificatie of berekening van een versheidswaarde een uitzonderingsconditie op, dan instantieert de Freshness Value Manager dit object ter notificatie van de aanroeper. De declaratie en interfacedefinitie vinden plaats via het headerbestand apext/tsync/fvm_error_domain.h [SWS_TS_14204].

Levenscyclus

De levenscyclus van een object van het type apext::tsync::TsyncFvmException is gebonden aan de levenscyclus van reguliere C++-uitzonderingen. De aanmaak vindt plaats via de expliciete constructor TsyncFvmException, die een foutcode van het type ara::core::ErrorCode accepteert [SWS_TS_14204]. Deze constructor is gedeclareerd met de specificatie noexcept, waardoor gegarandeerd wordt dat de objectaanmaak zelf uitzonderingsveilig is en onder geen enkele voorwaarde secundaire uitzonderingen opwerpt [SWS_TS_14204].

De klasse is expliciet gespecificeerd als uitzonderingsveilig (exception safe) en thread-safe (thread-safe) [SWS_TS_14204]. Dit maakt de veilige aanmaak en doorgifte van instanties mogelijk, ook in complexe multithreaded runtime-omgevingen, zonder dat daarbij dataraces kunnen ontstaan.

Interpretatie: Wat betreft eigendom wordt de uitzondering doorgaans op waarde gegooid en in de callstack via een referentie naar een constant object (const apext::tsync::TsyncFvmException&) opgevangen. Vraag Q-6e8c4ad080550a52 (open) Na constructie ondergaat het object geen verdere statuswijzigingen; de vernietiging ervan vindt automatisch plaats bij het verlaten van het afhandelende catch-blok.

Gebruikspad

Het reguliere gebruikspad vindt plaats in het kader van een door de Freshness Value Manager uitgevoerde validatie of bijwerking van freshness-waarden. Detecteert de manager een schending van de freshness-integriteit of een interne verwerkingsfout, dan initieert hij de foutafhandeling:

1. Foutidentificatie: De Freshness Value Manager stelt een fouttoestand vast en maakt een bijbehorend ara::core::ErrorCode-object aan.
2. Instantiëring: Het uitzonderingsobject wordt via de constructor geïnitialiseerd onder overdracht van de foutcode [SWS_TS_14204].
3. Activering: De uitzondering wordt middels throw in de aanroepcontext gegooid.
4. Evaluatie: De aanroepende applicatie of laag vangt de uitzondering op en benadert de ingebedde foutcode om passende herstel- of degradatiemaatregelen te initiëren.

Sequentiediagram: Typisch verloop van de foutafhandeling met apext::tsync::TsyncFvmException vanaf detectie in de Freshness Value Manager tot het opvangen in de aanroeper. Bronnen: [SWS_TS_14204]

Foutscenario's

Aangezien apext::tsync::TsyncFvmException zelf als foutsignaleringsmechanisme is ontworpen, liggen functionele foutscenario's voornamelijk in het onjuist omgaan met de uitzondering. Als voorwaarde voor het aanmaken geldt het doorgeven van een geldige ara::core::ErrorCode aan de constructor [SWS_TS_14204]. Omdat de constructor echter als noexcept is gedefinieerd, blijft de objectcreatie zelfs bij onverwachte foutwaarden stabiel [SWS_TS_14204].

Omdat de definitieheader apext/tsync/fvm_error_domain.h is voorgeschreven, is de ingekapselde errorCode vermoedelijk bij voorkeur afkomstig uit het gespecialiseerde foutdomein van de Freshness Value Manager [SWS_TS_14204]. Vraag Q-91a4f2d66128bb91 (open) Een ernstig foutscenario ontstaat wanneer de gegooide uitzondering op systeemniveau door geen enkel catch-blok wordt afgehandeld; dit leidt volgens C++-standaardsemantiek onvermijdelijk tot de aanroep van std::terminate en daarmee tot beëindiging van het proces. Dankzij de gegarandeerde thread-safety volgens [SWS_TS_14204] zijn fouten door gelijktijdige toegang vanuit parallelle threads echter uitgesloten.