spec: Improve wording in TQ enqueue specs

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 a9906653..e5df47f9 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 9adeb8ca..d7a71f64 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 8449230f..185d4af0 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