module ara::core — Adaptive Platform Core

De module core stelt de platformbrede basistypen, PMR-geheugenpools en asynchrone synchronisatieprimitieven Future en Promise voor het AUTOSAR Adaptive Platform beschikbaar (SWArchitecture p. 60, [SWS_CORE_00326]). Om aan strenge veiligheids- en realtime-eisen te voldoen, vervangt het somtype Result<T, E> klassieke exceptions door deterministische retourwaarden ([SWS_CORE_00751]). Bij onherstelbare systeemfouten waarborgt de fail-fast-functie Abort() de onmiddellijke, gecontroleerde procesafbreking ([SWS_CORE_00052]).

meer ›

De module core fungeert als basis-functioneel cluster van het AUTOSAR Adaptive Platform en stelt uniforme datastructuren, asynchrone communicatieprimitieven en geheugenbeheermechanismen beschikbaar voor alle platformdiensten en applicaties (SWArchitecture p. 60). Om deterministische processen en functionele veiligheid in POSIX-besturingssysteemomgevingen te garanderen, vervangt core conventionele C++-exceptions door het typeveilige resultaattype Result<T, E> en controleert dynamische geheugentoewijzingen via polymorfe allocators ([SWS_CORE_00041], [SWS_CORE_00751]).

Contextdiagram: inbedding van het functionele cluster ara::core en zijn interfacegebieden in het Adaptive Platform. Bronnen: SWArchitecture p. 60, SWArchitecture p. 36

Voor gelijktijdige synchronisatie implementeert core het samenspel van Future en Promise ([SWS_CORE_00326], [SWS_CORE_00344]). Terwijl de producent de berekeningsstatus of fout via de Promise levert, stelt Future de consument in staat tot zowel tijdbewaakte opvragingen via wait_for() als reactieve doorgiften met behulp van then() ([SWS_CORE_00329], [SWS_CORE_00331], TimeSynchronization p. 90).

Activiteitendiagram: deterministisch evaluatiepad van een Result-object in het foutloze geval en in geval van een fout. Bronnen: [SWS_CORE_00751], [SWS_CORE_00755], [SWS_CORE_00757], [SWS_CORE_00766]

Om fragmentatie te voorkomen, stelt de module pool-resources zoals SynchronizedPoolResource en UnsynchronizedPoolResource beschikbaar, die allocaties beperken tot chunks van vaste grootte ([SWS_CORE_00030], [SWS_CORE_00067], SWArchitecture p. 61). Doet zich een onoverkomelijke fouttoestand voor, dan dwingt het platform via Abort(), na voorafgaande uitvoering van een geregistreerde AbortHandler, de onmiddellijke fail-fast-beëindiging van het proces af ([SWS_CORE_00051], [SWS_CORE_00052]).

meer ›

Systeemrol en architectonische basis van ara::core

De module core vormt het fundamentele fundament van het AUTOSAR Adaptive Platform en stelt elementaire typedefinities, geheugenbeheermechanismen en basisinterfaces beschikbaar voor alle functionele clusters en Adaptive Applications (SWArchitecture p. 60). In tegenstelling tot applicatiespecifieke diensten is core proceslokaal opgezet en definieert het de wezenlijke abstracties om overdraagbare, deterministische en resource-efficiënte C++-software binnen POSIX-besturingssysteemomgevingen te realiseren (SWArchitecture p. 36).

Architectonisch fungeert de module als gestandaardiseerde interface tussen de hardwarenabije besturingssysteemfuncties en de hogere lagen van het Adaptive Platform (SWArchitecture p. 60). Hierbij adresseert core centrale eisen aan functionele veiligheid (ASIL) en realtime-gedrag, doordat het dynamische geheugenallocaties controleerbaar maakt en afziet van het wijdverbreide gebruik van C++-exceptions in de reguliere control flow ([SWS_CORE_00052], [SWS_CORE_00751]). Het beschikbaar stellen van platformbrede basistypen voorkomt bedrijfseigen eilandoplossingen tussen middleware-componenten zoals ara::com of ara::ts (ARAComAPI p. 46, TimeSynchronization p. 90).

Contextdiagram: inbedding van het functionele cluster ara::core en zijn interfacegebieden in het Adaptive Platform. Bronnen: SWArchitecture p. 60, SWArchitecture p. 36

Asynchrone controle- en gegevensstromen via Future en Promise

Voor gelijktijdige en ontkoppelde interactie implementeert ara::core het producent-consumentpatroon met behulp van Promise en Future ([SWS_CORE_00326], [SWS_CORE_00341]). Een Promise vertegenwoordigt de schrijvende interface, waarmee een asynchrone worker of een communicatie-skeleton het resultaat of een fout vastlegt ([SWS_CORE_00345], [SWS_CORE_00353]). Het consumerende tegenwicht vormt Future, dat de gedeelde toestand (Shared State) bewaakt en de typeveilige toegang tot de retourwaarde inkapselt (ARAComAPI p. 46, ARAComAPI p. 59).

Om het blokkeren van client-threads te voorkomen, biedt Future naast de synchrone, blokkerende opvraagfunctie get() ([SWS_CORE_00326]) tijdgebonden wachtoperaties: wait_for() en wait_until() leveren een statusindicator van het type FutureStatus op ([SWS_CORE_00329], [SWS_CORE_00330], ARAComAPI p. 1). Via de methode then() kunnen callbacks worden geregistreerd die bij het arriveren van het resultaat automatisch worden uitgevoerd; optioneel kan hierbij een gebruikersspecifieke Executor worden geïntegreerd om de uitvoering naar specifieke thread-pools te sturen ([SWS_CORE_00024], [SWS_CORE_00331], [SWS_CORE_00337]). Kopieerbewerkingen zijn voor Future en Promise expliciet geblokkeerd om exclusief eigenaarschap te waarborgen ([SWS_CORE_00334], [SWS_CORE_00350]).

Sequentiediagram: asynchrone waarde- en foutoverdracht tussen worker en applicatie via Promise en Future. Bronnen: [SWS_CORE_00326], [SWS_CORE_00329], [SWS_CORE_00344], [SWS_CORE_00345], TimeSynchronization p. 90

Deterministisch foutbeheer: Result, ErrorCode en ErrorDomain

Een kernaspect van veiligheidsgericht programmeren in het Adaptive Platform is het strikt vermijden van ongecontroleerde exceptions in het reguliere bedrijf. ara::core::Result<T, E> fungeert als typeveilige somtype-inkapseling die ofwel een succes-payloadwaarde van het type T ofwel een foutobject van het type E bevat ([SWS_CORE_00721], [SWS_CORE_00723], [SWS_CORE_00751]). Er bestaan specialisaties voor zowel referentietypen Result<T&, E> als voor bewerkingen zonder retourwaarde Result<void, E> ([SWS_CORE_00821], [SWS_CORE_00908]).

De opgeslagen toestand wordt via HasValue() of de expliciete conversieoperator operator bool() gecontroleerd ([SWS_CORE_00751], [SWS_CORE_00752]). De toegang tot nuttige gegevens vindt plaats via Value() of operator*(), terwijl fouten via Error() worden opgevraagd ([SWS_CORE_00755], [SWS_CORE_00757]). Voor functionele verdere verwerking en foutvoortplanting biedt Result methoden zoals Bind(), ValueOr() en Resolve() ([SWS_CORE_00761], [SWS_CORE_00768]). Fouten worden gemodelleerd via ErrorCode, die een numerieke foutcode CodeType koppelt aan een unieke domein-ID ErrorDomain en optionele aanvullende diagnosegegevens SupportDataType ([SWS_CORE_00121], [SWS_CORE_00122], [SWS_CORE_00512]). De methode ValueOrThrow() bestaat als overbrugging voor omgevingen met geactiveerde exception handling, maar gooit bij een fout de aan het domein gekoppelde exception op ([SWS_CORE_00154], [SWS_CORE_00766]).

Activiteitendiagram: deterministisch evaluatiepad van een Result-object in het foutloze geval en in geval van een fout. Bronnen: [SWS_CORE_00751], [SWS_CORE_00755], [SWS_CORE_00757], [SWS_CORE_00766]

Polymorf geheugenbeheer via pool-resources

Dynamische allocatie op de standaard-heap brengt risico's met zich mee ten aanzien van niet-determinisme en geheugenfragmentatie. ara::core integreert daarom een geheugenbeheer op basis van polymorfe geheugenbronnen (PMR), gebaseerd op het C++-NVI-patroon (Non-Virtual Interface) (SWArchitecture p. 61). De basisklasse MemoryResource declareert de publieke interfaces allocate() en deallocate(), die intern de puur virtuele methoden do_allocate() en do_deallocate() aansturen ([SWS_CORE_00041], [SWS_CORE_00061]).

Voor realtime-kritische allocatiepatronen zijn gespecialiseerde pool-resources beschikbaar: SynchronizedPoolResource biedt threadveilige allocaties uit voorgeconfigureerde chunks en blokgroottes via PoolOptions ([SWS_CORE_00027], [SWS_CORE_00030]). Voor strikt thread-lokale verwerkingsfasen zonder synchronisatie-overhead dient UnsynchronizedPoolResource ([SWS_CORE_00046], [SWS_CORE_00067]). Via release() kan het totale gealloceerde geheugengebied in één enkele stap aan de voorgeschakelde upstream_resource() worden teruggegeven, wat geheugenlekken bij fasegeoriënteerde workflows effectief voorkomt ([SWS_CORE_00037], [SWS_CORE_00038], [SWS_CORE_00065]).

Klassendiagram: hiërarchie van de polymorfe geheugenbronnen volgens het Non-Virtual Interface (NVI)-patroon. Bronnen: SWArchitecture p. 61, [SWS_CORE_00030], [SWS_CORE_00041], [SWS_CORE_00061]

Fundamentele utility- en containertypen (Optional, Array, Vector, Map)

Om ongedefinieerd gedrag te voorkomen en een duidelijke semantiek te waarborgen, normeert core elementaire containers en hulptypen. ara::core::Optional<T> vertegenwoordigt waarden die al dan niet aanwezig kunnen zijn, zonder toevlucht te hoeven nemen tot onveilige null-pointers ([SWS_CORE_01103], [SWS_CORE_01104], ARAComAPI p. 1). De toestand wordt via has_value() of operator bool() opgevraagd, terwijl toegang plaatsvindt via value(), value_or() of operator*() ([SWS_CORE_01128], [SWS_CORE_01129], [SWS_CORE_01130], [SWS_CORE_01134]). Speciale referentie-overloads Optional<T&> maken het veilig vasthouden van optionele referenties mogelijk ([SWS_CORE_01151], [SWS_CORE_01167]).

Voor datastructuren met vaste grootte stelt de module Array<T, N> beschikbaar, die directe indexering via operator[], gecontroleerde toegang binnen het bereik middels at() en standaard-iterators ondersteunt ([SWS_CORE_01250], [SWS_CORE_01265], [SWS_CORE_01273]). Vergelijkingsoperatoren zijn volgens strikte coderichtlijnen geïmplementeerd met bool-retourwaarden en exception safety ([SWS_CORE_01290], CPP14Guidelines p. 241). Dynamisch groeiende sequenties en associatieve containers worden gedekt door Vector<T, Allocator> en Map<Key, T, Compare, Allocator> ([SWS_CORE_01318], [SWS_CORE_01428]). Beide typen accepteren configureerbare allocators, zodat allocaties naadloos via de polymorfe MemoryResource-pools kunnen worden afgehandeld ([SWS_CORE_00066], [SWS_CORE_01303], [SWS_CORE_01406]).

Gedrag bij fouten en fail-fast-beëindiging

Als een proces een ernstige fouttoestand niet veilig kan compenseren, treedt het fail-fast-principe van het Adaptive Platform in werking (SWArchitecture p. 60). Via de interface Abort() wordt de onmiddellijke, onvoorwaardelijke beëindiging van het lopende proces teweeggebracht ([SWS_CORE_00052]). De functie is gedeclareerd als [[noreturn]] en noexcept om te waarborgen dat geen stack-unwinding-routines of destructors onjuiste vervolgtoestanden genereren ([SWS_CORE_00052], SWArchitecture p. 36).

Om vóór het beëindigen vluchtige diagnose-informatie veilig te stellen of laatste nood-loggingacties uit te voeren, kunnen applicaties via SetAbortHandler() of AddAbortHandler() gebruikersspecifieke callbackfuncties registreren ([SWS_CORE_00050], [SWS_CORE_00051], [SWS_CORE_00054]). Een geregistreerde abort-handler moet voldoen aan de signatuur void() noexcept ([SWS_CORE_00053]). Na uitvoering van de handler dwingt het platform de definitieve beëindiging van het proces af, zodat verder draaien in een ongedefinieerde geheugentoestand niet mogelijk is (SWArchitecture p. 60).

Activiteitendiagram: controlflow van de fail-fast-afbreking via Abort() met uitvoering van de AbortHandler. Bronnen: SWArchitecture p. 60, [SWS_CORE_00051], [SWS_CORE_00052]

Verdere gedetailleerde bewijzen

De specificatie van core in release R25-11 steunt op een reeks normatieve bepalingen en architectuurmodellen. Voor het proceslifecycle- en noodstopgedrag zijn Initialize(), Deinitialize() evenals Abort() en SetAbortHandler() constitutief ([SWS_CORE_00051], [SWS_CORE_00052], SWArchitecture p. 60). Het asynchrone communicatiemodel steunt in belangrijke mate op Future ([SWS_CORE_00326], [SWS_CORE_00329]) en Promise ([SWS_CORE_00344], [SWS_CORE_00345]), waarvan de wisselwerking in applicatienabije clusters zoals ara::com en ara::ts wordt geverifieerd (ARAComAPI p. 46, TimeSynchronization p. 90).

Het foutloze gegevens- en geheugenbeheer wordt genormeerd door de specificaties voor Result ([SWS_CORE_00751], [SWS_CORE_00766]), ErrorCode ([SWS_CORE_00512]) en de PMR-geheugenklassen SynchronizedPoolResource en UnsynchronizedPoolResource ([SWS_CORE_00030], [SWS_CORE_00046], SWArchitecture p. 61). Aanvullend definiëren container- en vergelijkingsrichtlijnen de deterministische gegevensopslag in veiligheidskritische totaalsystemen ([SWS_CORE_01103], [SWS_CORE_01250], [SWS_CORE_01318], CPP14Guidelines p. 241).