Module a653rs::bindings

Bindings to traits which are supposed to be implemented for ARINC653 compliant hypervisors

Structs

• ApexMemoryBlockStatus
  ARINC653P2-4
• ApexPartitionStatus
• ApexProcessAttribute
  ARINC653P1-5 3.3.1
• ApexProcessStatus
  ARINC653P1-5 3.3.1
• ApexSamplingPortStatus
• ApexScheduleStatus
• BlackboardStatus
  ARINC653P1-5 3.7.1
• BufferStatus
  ARINC653P1-5 3.7.1
• ErrorStatus
  ARINC653P1-5 3.8.1
• EventStatus
  ARINC653P1-5 3.7.1
• MutexStatus
  ARINC653P1-5 3.7.1
• QueuingPortStatus
• SemaphoreStatus

Enums

• Deadline
  ARINC653P1-5 3.3.1
• EmptyIndicator
  ARINC653P1-5 3.7.1
• ErrorCode
  ARINC653P1-5 3.8.1 Process level error
• ErrorHandlerConcurrencyControl
  ARINC653P1-5 3.8.1
• ErrorReturnCode
  The normal APEX Return Codes without the non-error variant
• EventState
  ARINC653P1-5 3.7.1
• MemoryBlockMode
  ARINC653P2-4 3.9.1
• MutexState
  ARINC653P1-5 3.7.1
• OperatingMode
• PortDirection
• ProcessState
  ARINC653P1-5 3.3.1
• QueuingDiscipline
• StartCondition
• Validity

Constants

• CORE_AFFINITY_NO_PREFERENCE
• INFINITE_TIME_VALUE
• MAIN_PROCESS_ID
• MAX_ERROR_MESSAGE_SIZE
  ARINC653P1-5 3.8.1 Maximum message size in bytes
• MAX_LOCK_LEVEL
• MAX_NAME_LENGTH
  According to ARINC653-P1, the maximum name length is always 32
• MAX_PRIORITY_VALUE
• MIN_LOCK_LEVEL
• MIN_PRIORITY_VALUE
• NO_MUTEX_OWNED
  ARINC653P1-5 3.7.2.5
• NULL_PROCESS_ID
• PREEMPTION_LOCK_MUTEX
  ARINC653P1-5 3.7.2.5
• QUEUE_OVERFLOW_ERROR
  ARINC 653P1-5 3.6.2.2.3 states that ErrorReturnCode::InvalidConfig signals that the queue overflowed on the sender side

Traits

• ApexBlackboardP1
  ARINC653P1-5 3.7.2.2 required functions for blackboard functionality
• ApexBufferP1
  ARINC653P1-5 3.7.2.1 required functions for buffer functionality
• ApexErrorP1
  ARINC653P1-5 3.8.2 required functions for health monitoring functionality
• ApexErrorP4
  ARINC653P4 3.8.2 required functions for health monitoring functionality
• ApexEventP1
  ARINC653P1-5 3.7.2.4 required functions for event functionality
• ApexLimits
  Hypervisor dependent limits
• ApexMemoryBlockP2
  ARINC653P2-4 3.9.2 required functions for memory block functionality
• ApexMutexP1
  ARINC653P1-5 required functions for Mutex functionality
• ApexPartitionP4
• ApexProcessP1
• ApexProcessP4
  ARINC653P4 3.3.2 required functions for process functionality
• ApexQueuingPortP1
• ApexQueuingPortP4
• ApexSamplingPortP1
• ApexSamplingPortP4
• ApexScheduleP2
• ApexSemaphoreP1
• ApexTimeP1
  ARINC653P1-5 3.4 required functions for time management functionality
• ApexTimeP4
  ARINC653P4 3.4 required functions for time management functionality

Type Aliases

• ApexByte
• ApexInteger
• ApexLongInteger
• ApexName
• ApexSystemTime
  ARINC653P1-5 3.4.1
• ApexUnsigned
• BlackboardId
  ARINC653P1-5 3.7.1
• BlackboardName
  ARINC653P1-5 3.7.1
• BufferId
  ARINC653P1-5 3.7.1
• BufferName
  ARINC653P1-5 3.7.1
• ErrorMessage
  ARINC653P1-5 3.8.1
• ErrorMessageSize
  ARINC653P1-5 3.8.1
• EventId
  ARINC653P1-5 3.7.1
• EventName
  ARINC653P1-5 3.7.1
• LockCount
  ARINC653P1-5 3.7.1
• LockLevel
  ARINC653P1-5 3.3.1
• MemoryBlockName
  ARINC653P2-4 3.9.1
• MemoryBlockSize
  ARINC653P2-4 3.9.1
• MessageRange
• MessageSize
• MutexId
  ARINC653P1-5 3.7.1
• MutexName
  ARINC653P1-5 3.7.1
• NumCores
• PartitionId
  According to ARINC 653P1-5 this may either be 32 or 64 bits. Internally we will use 64-bit by default. The implementing Hypervisor may cast this to 32-bit if needed
• Priority
  ARINC653P1-5 3.3.1
• ProcessId
  ARINC653P1-5 3.3.1
• ProcessIndex
  ARINC653P1-5 3.3.1
• ProcessName
  ARINC653P1-5 3.3.1
• ProcessorCoreId
• QueueOverflow
  The queue overflowed on the sender side
• QueuingPortId
  According to ARINC 653P1-5 this may either be 32 or 64 bits. Internally we will use 64-bit by default. The implementing Hypervisor may cast this to 32-bit if needed
• QueuingPortName
• ReturnCode
  Apex internal ReturnCode Type
• SamplingPortId
  According to ARINC 653P1-5 this may either be 32 or 64 bits. Internally we will use 64-bit by default. The implementing Hypervisor may cast this to 32-bit if needed
• SamplingPortName
• ScheduleId
  According to ARINC 653P1-5 this may either be 32 or 64 bits. Internally we will use 64-bit by default. The implementing Hypervisor may cast this to 32-bit if needed
• ScheduleName
• SemaphoreId
  According to ARINC 653P1-5 this may either be 32 or 64 bits. Internally we will use 64-bit by default. The implementing Hypervisor may cast this to 32-bit if needed
• SemaphoreName
• SemaphoreValue
• StackSize
  ARINC653P1-5 3.3.1
• SystemAddress
  ARINC653P1-5 3.3.1 C compatible function type
• WaitingRange