SNIP_CLASSIC_OS_SECTION_8_4_22_GetNumberOfActivatedCores
Wortlaut
8.4.22 GetNumberOfActivatedCores
[SWS_Os_00672] Definition of API function GetNumberOfActivatedCores
Upstream requirements: SRS_Os_80001
⌈
Service Name
GetNumberOfActivatedCores
Syntax
uint32 GetNumberOfActivatedCores (
void
)
Service ID [hex]
0x15
Sync/Async
Synchronous
Reentrancy
Reentrant
Parameters (in)
None
Parameters (inout)
None
Parameters (out)
None
Return value
uint32
Number of cores running the AUTOSAR OS (see below)
▽
△
Description
The function returns the number of cores running the AUTOSAR OS. This function might be a
macro.
Available via
Os.h
⌋
The function GetNumberOfActivatedCores shall be callable from within a Task
and an Category 2 ISR. Otherwise the behavior is unspecified.
[SWS_Os_00673]
Upstream requirements: SRS_Os_80001
⌈The return value of GetNumberOfActivatedCores shall be less or equal to the
configured value of OsNumberOfCores.⌋
Versionen & Provenienz · Zugeordnete Anforderungen
Diese Angaben zeigt der Versions-Explorer.
Begründung & Zuweisungs-Evidenz
Cited verbatim in the snippet (deterministic citation).
Dokumenten-Herkunft & Rückverfolgbarkeit
| Spezifikations-Dokument | SWS_OS.pdf |
|---|---|
| Dokumentseite | Seite 196 |
| Ziel-Modul | os (classic) |
| Ziel-Anforderung | SWS_Os_00673 |
| Semantische Rolle | constitutive |
| Automatisierungs-Konfidenz | 0.95 |