[rtems-central commit] spec: Clarify performance requirement

Sebastian Huber sebh at rtems.org
Tue Sep 26 07:31:13 UTC 2023

Module:    rtems-central
Branch:    master
Commit:    bf40f054ffc854298051b6428429799f6fa07fc0
Changeset: http://git.rtems.org/rtems-central/commit/?id=bf40f054ffc854298051b6428429799f6fa07fc0

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Tue Sep 26 09:30:53 2023 +0200

spec: Clarify performance requirement


 spec/rtems/sem/req/perf-mtx-pi-release-one.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/spec/rtems/sem/req/perf-mtx-pi-release-one.yml b/spec/rtems/sem/req/perf-mtx-pi-release-one.yml
index 947178ff..597f978d 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-release-one.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-release-one.yml
@@ -48,8 +48,9 @@ test-teardown:
 text: |
   While the execution environment is ${.:/environment}, while the semaphore is
   a priority inheritance mutex, while the measurement sample is the runtime of
-  exactly one successful call to ${../if/release:/name} which does unblock
-  exactly one waiting task which does not preempt the caller, when exactly
+  exactly one successful call to ${../if/release:/name}, while the release does
+  unblock exactly one waiting task, while the unblocked task does not preempt
+  the caller, while the release performs no priority updates, when exactly
   ${../val/perf:/params/sample-count} samples are collected, the
   ${.:/limit-kind} shall be ${.:/limit-condition}.
 type: requirement

More information about the vc mailing list