diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-09-26 09:30:53 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-09-26 09:54:57 +0200 |
commit | bf40f054ffc854298051b6428429799f6fa07fc0 (patch) | |
tree | ef245f5b4fcca294a6baec5cab58fb20cdeaf8ca /spec | |
parent | 4b305dda360189f2f6d070f93cea4296762c6aab (diff) |
spec: Clarify performance requirement
Diffstat (limited to 'spec')
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-release-one.yml | 5 |
1 files 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 |