[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