summaryrefslogtreecommitdiffstats
path: root/spec/rtems/sem/req
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-12-04 13:26:43 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-12-04 13:32:33 +0100
commit318fdb96435b33252b2b9ec5bc87e415d25e0f39 (patch)
treea77de5b6728e1c1f3919830a78e4f788c351bd34 /spec/rtems/sem/req
parentmodules: Update rtems (diff)
downloadrtems-central-318fdb96435b33252b2b9ec5bc87e415d25e0f39.tar.bz2
spec: Fix formatting
Diffstat (limited to 'spec/rtems/sem/req')
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-release-other-cpu.yml10
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml10
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml6
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml6
4 files changed, 16 insertions, 16 deletions
diff --git a/spec/rtems/sem/req/perf-mtx-pi-release-other-cpu.yml b/spec/rtems/sem/req/perf-mtx-pi-release-other-cpu.yml
index ce22c77f..bf6d2a0e 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-release-other-cpu.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-release-other-cpu.yml
@@ -141,14 +141,14 @@ test-teardown:
return tic == toc;
description: null
text: |
- Let ``U` and `V`` be two tasks with distinct home schedulers. Let :math:`B`
- be a time point measured by ``U`` right before a call to
- ${../if/release:/name} which unblocks task ``V`` which is scheduled on
- another processor. Let :math:`E` be a time point measured by ``V`` right
+ Let U and V be two tasks with distinct home schedulers. Let :math:`B`
+ be a time point measured by U right before a call to
+ ${../if/release:/name} which unblocks task V which is scheduled on
+ another processor. Let :math:`E` be a time point measured by V right
after the first context switch after :math:`B`.
While the execution environment is ${.:/environment}, while the semaphore is
- a priority inheritance mutex, while exactly task ``V`` waits on the mutex,
+ a priority inheritance mutex, while exactly task V waits on the mutex,
while the measurement sample is :math:`E - B`, when exactly
${../val/perf:/params/sample-count} samples are collected, the
${.:/limit-kind} shall be ${.:/limit-condition}.
diff --git a/spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml b/spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml
index 2d1e2fc1..8db88f20 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml
@@ -170,14 +170,14 @@ test-teardown:
return tic == toc;
description: null
text: |
- Let ``U` and `V`` be two tasks with the same home scheduler. Let :math:`B`
- be a time point measured by ``U`` right before a call to
- ${../if/release:/name} which unblocks task ``V`` which does preempt the
- caller. Let :math:`E` be a time point measured by ``V`` right after the
+ Let U and V be two tasks with the same home scheduler. Let :math:`B`
+ be a time point measured by U right before a call to
+ ${../if/release:/name} which unblocks task V which does preempt the
+ caller. Let :math:`E` be a time point measured by V right after the
first context switch after :math:`B`.
While the execution environment is ${.:/environment}, while the semaphore is
- a priority inheritance mutex, while exactly task ``V`` waits for the mutex,
+ a priority inheritance mutex, while exactly task V waits for the mutex,
while the measurement sample is :math:`E - B`, when exactly
${../val/perf:/params/sample-count} samples are collected, the
${.:/limit-kind} shall be ${.:/limit-condition}.
diff --git a/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml b/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml
index 8af87a8e..986f840c 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml
@@ -178,10 +178,10 @@ test-teardown:
return tic == toc;
description: null
text: |
- Let ``U` and `V`` be two tasks with the same home scheduler. Let :math:`B`
- be a time point measured by ``U`` right before a call to
+ Let U and V be two tasks with the same home scheduler. Let :math:`B`
+ be a time point measured by U right before a call to
${../if/obtain:/name} which blocks on the mutex with no timeout. Let
- :math:`E` be a time point measured by ``V`` right after the first context
+ :math:`E` be a time point measured by V right after the first context
switch after :math:`B`.
While the execution environment is ${.:/environment}, while the semaphore is
diff --git a/spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml b/spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml
index b7bc0db3..18926e17 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml
@@ -178,10 +178,10 @@ test-teardown:
return tic == toc;
description: null
text: |
- Let ``U` and `V`` be two tasks with the same home scheduler. Let :math:`B`
- be a time point measured by ``U`` right before a call to
+ Let U and V be two tasks with the same home scheduler. Let :math:`B`
+ be a time point measured by U right before a call to
${../if/obtain:/name} which blocks on the mutex with a timeout. Let
- :math:`E` be a time point measured by ``V`` right after the first context
+ :math:`E` be a time point measured by V right after the first context
switch after :math:`B`.
While the execution environment is ${.:/environment}, while the semaphore is