![]() |
RTEMS 6.1-rc7
|
Test context for spec:/score/tq/req/enqueue-priority-inherit test case. More...
Data Fields | |
rtems_task_priority | queue_priority |
This member specifies the priority of a thread on the thread queue with an eligible scheduler equal to an eligible scheduler of the enqueueing thread. | |
size_t | other_before |
If this member is true, then a thread those eligible schedulers are ineligible scheduler to the enqueueing task should be enqueued before a thread with an eligible scheduler equal to an eligible scheduler of the enqueueing thread. | |
size_t | other_after |
If this member is true, then a thread those eligible schedulers are ineligible scheduler to the enqueueing task should be enqueued after a thread with an eligible scheduler equal to an eligible scheduler of the enqueueing thread. | |
bool | vital_priority |
This this member is true, then the priorities of the enqueueing thread shall be dispensable for the owner of the thread queue. | |
bool | vital_scheduler |
This this member is true, then the eligible scheduler of the enqueueing thread shall be dispensable for the owner of the thread queue. | |
rtems_task_priority | owner_priority [4] |
This member contains the priorities of the thread queue owner after the enqueue. | |
rtems_task_priority | owner_owner_priority [4] |
This member contains the priorities of the owner of the thread queue on which the thread queue owner is blocked after the enqueue. | |
rtems_event_set | owner_obtain |
This member specifies which mutex obtain event shall be used to block the thread queue owner. | |
rtems_event_set | owner_release |
This member specifies which mutex release event shall be used to unblock the thread queue owner. | |
TQContext * | tq_ctx |
This member contains a copy of the corresponding ScoreTqReqEnqueuePriorityInherit_Run() parameter. | |
struct { | |
size_t pcs [6] | |
This member defines the pre-condition states for the next action. | |
bool in_action_loop | |
If this member is true, then the test action loop is executed. | |
size_t index | |
This member contains the next transition map index. | |
ScoreTqReqEnqueuePriorityInherit_Entry entry | |
This member contains the current transition map entry. | |
bool skip | |
If this member is true, then the current transition variant should be skipped. | |
} | Map |
Test context for spec:/score/tq/req/enqueue-priority-inherit test case.