[rtems-central commit] spec: Improve wording in TQ enqueue specs
Sebastian Huber
sebh at rtems.org
Fri Oct 8 14:17:35 UTC 2021
Module: rtems-central
Branch: master
Commit: a4bc020a902c039bb46cbd4bb2b8e3f839a6025c
Changeset: http://git.rtems.org/rtems-central/commit/?id=a4bc020a902c039bb46cbd4bb2b8e3f839a6025c
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Wed Oct 6 09:42:42 2021 +0200
spec: Improve wording in TQ enqueue specs
---
spec/score/tq/req/enqueue-ceiling.yml | 40 +++++++++++------------
spec/score/tq/req/enqueue-mrsp.yml | 36 ++++++++++-----------
spec/score/tq/req/enqueue-priority.yml | 58 +++++++++++++++++-----------------
3 files changed, 67 insertions(+), 67 deletions(-)
diff --git a/spec/score/tq/req/enqueue-ceiling.yml b/spec/score/tq/req/enqueue-ceiling.yml
index a990665..e5df47f 100644
--- a/spec/score/tq/req/enqueue-ceiling.yml
+++ b/spec/score/tq/req/enqueue-ceiling.yml
@@ -93,24 +93,24 @@ pre-conditions:
test-code: |
/* This is the default */
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is empty.
- - name: EQ
+ While all priority queues of the thread queue associated with eligible
+ schedulers of the enqueueing thread are empty.
+ - name: Equal
test-code: |
ctx->priority = PRIO_VERY_HIGH;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is non-empty, while at least one
- thread of this priority queue has a priority equal to the priority of the
- enqueueing thread with respect to this scheduler.
- - name: GT
+ While a priority queue of the thread queue associated with an eligible
+ scheduler of the enqueueing thread is non-empty,
+ while the highest priority of the priority queue is equal to the priority
+ of the enqueueing thread with respect to the eligible scheduler.
+ - name: Low
test-code: |
ctx->priority = PRIO_HIGH;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is non-empty, while at least one
- thread of this priority queue has a priority greater than the priority of
- the enqueueing thread with respect to this scheduler.
+ While a priority queue of the thread queue associated with an eligible
+ scheduler of the enqueueing thread is non-empty,
+ while the highest priority of the priority queue is lower than the
+ priority of the enqueueing thread with respect to the eligible scheduler.
test-epilogue: null
test-prologue: null
- name: QueueIneligible
@@ -354,7 +354,7 @@ transition-map:
EligibleScheduler:
- Home
QueueEligible:
- - GT
+ - Low
QueueIneligible:
- None
- enabled-by: true
@@ -364,7 +364,7 @@ transition-map:
EligibleScheduler:
- Home
QueueEligible:
- - EQ
+ - Equal
QueueIneligible:
- None
- enabled-by: true
@@ -387,7 +387,7 @@ transition-map:
EligibleScheduler:
- Helping
QueueEligible:
- - GT
+ - Low
QueueIneligible:
- None
- enabled-by: RTEMS_SMP
@@ -397,7 +397,7 @@ transition-map:
EligibleScheduler:
- Helping
QueueEligible:
- - EQ
+ - Equal
QueueIneligible:
- None
- enabled-by: RTEMS_SMP
@@ -406,8 +406,8 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - EQ
- - GT
+ - Equal
+ - Low
QueueIneligible:
- Before
- enabled-by: RTEMS_SMP
@@ -416,7 +416,7 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - GT
+ - Low
QueueIneligible:
- After
- enabled-by: RTEMS_SMP
@@ -425,7 +425,7 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - EQ
+ - Equal
QueueIneligible:
- After
type: requirement
diff --git a/spec/score/tq/req/enqueue-mrsp.yml b/spec/score/tq/req/enqueue-mrsp.yml
index 9adeb8c..d7a71f6 100644
--- a/spec/score/tq/req/enqueue-mrsp.yml
+++ b/spec/score/tq/req/enqueue-mrsp.yml
@@ -105,24 +105,24 @@ pre-conditions:
test-code: |
ctx->priority = PRIO_PSEUDO_ISR;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is empty.
- - name: EQ
+ While all priority queues of the thread queue associated with eligible
+ schedulers of the enqueueing thread are empty.
+ - name: Equal
test-code: |
ctx->priority = PRIO_VERY_HIGH;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is non-empty, while at least one
- thread of this priority queue has a priority equal to the priority of the
- enqueueing thread with respect to this scheduler.
- - name: GT
+ While a priority queue of the thread queue associated with an eligible
+ scheduler of the enqueueing thread is non-empty,
+ while the highest priority of the priority queue is equal to the priority
+ of the enqueueing thread with respect to the eligible scheduler.
+ - name: Low
test-code: |
ctx->priority = PRIO_HIGH;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is non-empty, while at least one
- thread of this priority queue has a priority greater than the priority of
- the enqueueing thread with respect to this scheduler.
+ While a priority queue of the thread queue associated with an eligible
+ scheduler of the enqueueing thread is non-empty,
+ while the highest priority of the priority queue is lower than the
+ priority of the enqueueing thread with respect to the eligible scheduler.
test-epilogue: null
test-prologue: null
- name: QueueIneligible
@@ -374,8 +374,8 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - EQ
- - GT
+ - Equal
+ - Low
QueueIneligible:
- None
- enabled-by: true
@@ -384,8 +384,8 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - EQ
- - GT
+ - Equal
+ - Low
QueueIneligible:
- Before
- enabled-by: true
@@ -394,8 +394,8 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - EQ
- - GT
+ - Equal
+ - Low
QueueIneligible:
- After
- enabled-by: true
diff --git a/spec/score/tq/req/enqueue-priority.yml b/spec/score/tq/req/enqueue-priority.yml
index 8449230..185d4af 100644
--- a/spec/score/tq/req/enqueue-priority.yml
+++ b/spec/score/tq/req/enqueue-priority.yml
@@ -116,35 +116,35 @@ pre-conditions:
test-code: |
ctx->priority = PRIO_PSEUDO_ISR;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is empty.
- - name: LT
+ While all priority queues of the thread queue associated with eligible
+ schedulers of the enqueueing thread are empty.
+ - name: High
test-code: |
++ctx->tq_ctx->how_many;
ctx->priority = PRIO_ULTRA_HIGH;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is non-empty, while at least one
- thread of this priority queue has a priority less than the priority of
- the enqueueing thread with respect to this scheduler.
- - name: EQ
+ While a priority queue of the thread queue associated with an eligible
+ scheduler of the enqueueing thread is non-empty,
+ while the highest priority of the priority queue is higher than the
+ priority of the enqueueing thread with respect to the eligible scheduler.
+ - name: Equal
test-code: |
++ctx->tq_ctx->how_many;
ctx->priority = PRIO_VERY_HIGH;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is non-empty, while at least one
- thread of this priority queue has a priority equal to the priority of the
- enqueueing thread with respect to this scheduler.
- - name: GT
+ While a priority queue of the thread queue associated with an eligible
+ scheduler of the enqueueing thread is non-empty,
+ while the highest priority of the priority queue is equal to the priority
+ of the enqueueing thread with respect to the eligible scheduler.
+ - name: Low
test-code: |
++ctx->tq_ctx->how_many;
ctx->priority = PRIO_HIGH;
text: |
- While the priority queue of the thread queue associated with an eligible
- scheduler of the enqueueing thread is non-empty, while at least one
- thread of this priority queue has a priority greater than the priority of
- the enqueueing thread with respect to this scheduler.
+ While a priority queue of the thread queue associated with an eligible
+ scheduler of the enqueueing thread is non-empty,
+ while the highest priority of the priority queue is lower than the
+ priority of the enqueueing thread with respect to the eligible scheduler.
test-epilogue: null
test-prologue: null
- name: QueueIneligible
@@ -386,7 +386,7 @@ transition-map:
EligibleScheduler:
- Home
QueueEligible:
- - GT
+ - Low
QueueIneligible:
- None
- enabled-by: true
@@ -396,8 +396,8 @@ transition-map:
EligibleScheduler:
- Home
QueueEligible:
- - LT
- - EQ
+ - High
+ - Equal
QueueIneligible:
- None
- enabled-by: true
@@ -420,7 +420,7 @@ transition-map:
EligibleScheduler:
- Helping
QueueEligible:
- - GT
+ - Low
QueueIneligible:
- None
- enabled-by: RTEMS_SMP
@@ -430,8 +430,8 @@ transition-map:
EligibleScheduler:
- Helping
QueueEligible:
- - LT
- - EQ
+ - High
+ - Equal
QueueIneligible:
- None
- enabled-by: RTEMS_SMP
@@ -449,7 +449,7 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - GT
+ - Low
QueueIneligible:
- Before
- enabled-by: RTEMS_SMP
@@ -458,8 +458,8 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - LT
- - EQ
+ - High
+ - Equal
QueueIneligible:
- Before
- enabled-by: RTEMS_SMP
@@ -468,7 +468,7 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - GT
+ - Low
QueueIneligible:
- After
- enabled-by: RTEMS_SMP
@@ -477,8 +477,8 @@ transition-map:
pre-conditions:
EligibleScheduler: all
QueueEligible:
- - LT
- - EQ
+ - High
+ - Equal
QueueIneligible:
- After
type: requirement
More information about the vc
mailing list