summaryrefslogtreecommitdiffstats
path: root/spec/rtems/sem/req
diff options
context:
space:
mode:
authorFrank Kühndel <frank.kuehndel@embedded-brains.de>2021-12-03 14:54:50 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-12-03 15:23:21 +0100
commit7c331792eabe00b95a27c6951b3e67499aa1f5e5 (patch)
treec67e0d60e0b2d4be22a49185123b90e63abf1a8f /spec/rtems/sem/req
parentspec: Reword acfg requirements (diff)
downloadrtems-central-7c331792eabe00b95a27c6951b3e67499aa1f5e5.tar.bz2
spec: Add limits to time performance tests
This patch adds limits to all currently existing time performance tests. When the measured time during the execution of these tests is within the range specified by these limits, the test result will be OK. The limit data is provided for the following architecture and environments (the tests can only pass when executed in the same setting): * SPARC Instruction Set Simulator: + GR721RC SMP + GR721RC UNI + GR740 SMP + GR740 UNI * Hardware boards: + GR721RC SMP + GR721RC UNI + GR740 SMP + GR740 UNI With the exception of GR721RC SMP, the input data of the hardware boards contained only measurement data for three tests: * spec/rtems/part/req/perf-get-buffer.yml * spec/rtems/part/req/perf-get-no-buffer.yml * spec/rtems/part/req/perf-return-buffer.yml The other tests where still under development when the test runs where made. The test logs (input data) from the simulator runs where taken around 2021-11-28. The test logs from the hardware are completed at 2021-11-21 with the exception of the GR721RC UNI which completed 2021-11-16 and GR721RC SMP which completed 2021-12-02.
Diffstat (limited to 'spec/rtems/sem/req')
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-obtain.yml132
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-release-one.yml132
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-release-other-cpu.yml92
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml134
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-release.yml132
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-try.yml132
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml134
-rw-r--r--spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml134
8 files changed, 1010 insertions, 12 deletions
diff --git a/spec/rtems/sem/req/perf-mtx-pi-obtain.yml b/spec/rtems/sem/req/perf-mtx-pi-obtain.yml
index f6dad4ac..8221aa50 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-obtain.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-obtain.yml
@@ -2,7 +2,137 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
-limits: {}
+limits:
+ sparc/gr712rc/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 6.4e-08
+ median-upper-bound: 9.6e-08
+ min-lower-bound: 4.8e-08
+ FullCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 6.4e-08
+ median-upper-bound: 9.6e-08
+ min-lower-bound: 4.8e-08
+ HotCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 4.8e-08
+ median-upper-bound: 7.2e-08
+ min-lower-bound: 4.8e-08
+ Load/1:
+ max-upper-bound: 1.68e-07
+ median-lower-bound: 1.1200000000000001e-07
+ median-upper-bound: 1.68e-07
+ min-lower-bound: 9.6e-08
+ Load/2:
+ max-upper-bound: 1.92e-07
+ median-lower-bound: 1.1200000000000001e-07
+ median-upper-bound: 1.68e-07
+ min-lower-bound: 9.6e-08
+ sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
+ DirtyCache:
+ max-upper-bound: 2.6999999999999996e-07
+ median-lower-bound: 1.696e-07
+ median-upper-bound: 2.544e-07
+ min-lower-bound: 1.696e-07
+ FullCache:
+ max-upper-bound: 1.5e-07
+ median-lower-bound: 2.96e-08
+ median-upper-bound: 4.44e-08
+ min-lower-bound: 2.0e-08
+ HotCache:
+ max-upper-bound: 4.44e-08
+ median-lower-bound: 2.0e-08
+ median-upper-bound: 3.0e-08
+ min-lower-bound: 2.0e-08
+ Load/1:
+ max-upper-bound: 4.1999999999999995e-07
+ median-lower-bound: 2.8e-07
+ median-upper-bound: 4.1999999999999995e-07
+ min-lower-bound: 2.6960000000000003e-07
+ Load/2:
+ max-upper-bound: 4.3439999999999997e-07
+ median-lower-bound: 2.8e-07
+ median-upper-bound: 4.1999999999999995e-07
+ min-lower-bound: 2.8e-07
+ sparc/gr712rc/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ FullCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ HotCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ Load/1:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 4.248e-06
+ median-lower-bound: 2.832e-06
+ median-upper-bound: 4.248e-06
+ min-lower-bound: 2.768e-06
+ FullCache:
+ max-upper-bound: 3.9839999999999995e-06
+ median-lower-bound: 2.6080000000000003e-06
+ median-upper-bound: 3.912e-06
+ min-lower-bound: 2.6080000000000003e-06
+ HotCache:
+ max-upper-bound: 3.9839999999999995e-06
+ median-lower-bound: 2.656e-06
+ median-upper-bound: 3.9839999999999995e-06
+ min-lower-bound: 2.656e-06
+ Load/1:
+ max-upper-bound: 7.68e-06
+ median-lower-bound: 5.056e-06
+ median-upper-bound: 7.583999999999999e-06
+ min-lower-bound: 5.056e-06
+ Load/2:
+ max-upper-bound: 7.68e-06
+ median-lower-bound: 5.056e-06
+ median-upper-bound: 7.583999999999999e-06
+ min-lower-bound: 5.056e-06
+ Load/3:
+ max-upper-bound: 7.68e-06
+ median-lower-bound: 5.056e-06
+ median-upper-bound: 7.583999999999999e-06
+ min-lower-bound: 5.056e-06
+ Load/4:
+ max-upper-bound: 7.68e-06
+ median-lower-bound: 5.056e-06
+ median-upper-bound: 7.583999999999999e-06
+ min-lower-bound: 5.056e-06
+ sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 3.3599999999999996e-06
+ median-lower-bound: 2.24e-06
+ median-upper-bound: 3.3599999999999996e-06
+ min-lower-bound: 2.208e-06
+ FullCache:
+ max-upper-bound: 3.168e-06
+ median-lower-bound: 2.048e-06
+ median-upper-bound: 3.072e-06
+ min-lower-bound: 1.952e-06
+ HotCache:
+ max-upper-bound: 3.048e-06
+ median-lower-bound: 2.0319999999999998e-06
+ median-upper-bound: 3.048e-06
+ min-lower-bound: 1.968e-06
+ Load/1:
+ max-upper-bound: 6.84e-06
+ median-lower-bound: 4.5599999999999995e-06
+ median-upper-bound: 6.84e-06
+ min-lower-bound: 4.464e-06
links:
- role: requirement-refinement
uid: perf-runtime
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 4d0ea81f..cdc745d0 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-release-one.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-release-one.yml
@@ -2,7 +2,137 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
-limits: {}
+limits:
+ sparc/gr712rc/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 7.44e-07
+ median-lower-bound: 4.96e-07
+ median-upper-bound: 7.44e-07
+ min-lower-bound: 4.8e-07
+ FullCache:
+ max-upper-bound: 6.959999999999999e-07
+ median-lower-bound: 4.6399999999999997e-07
+ median-upper-bound: 6.959999999999999e-07
+ min-lower-bound: 4.4800000000000004e-07
+ HotCache:
+ max-upper-bound: 6.959999999999999e-07
+ median-lower-bound: 4.6399999999999997e-07
+ median-upper-bound: 6.959999999999999e-07
+ min-lower-bound: 4.4800000000000004e-07
+ Load/1:
+ max-upper-bound: 9.12e-07
+ median-lower-bound: 5.92e-07
+ median-upper-bound: 8.88e-07
+ min-lower-bound: 5.92e-07
+ Load/2:
+ max-upper-bound: 9.12e-07
+ median-lower-bound: 6.08e-07
+ median-upper-bound: 9.12e-07
+ min-lower-bound: 5.92e-07
+ sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
+ DirtyCache:
+ max-upper-bound: 1.2443999999999999e-06
+ median-lower-bound: 8.096e-07
+ median-upper-bound: 1.2144e-06
+ min-lower-bound: 8.0e-07
+ FullCache:
+ max-upper-bound: 7.643999999999999e-07
+ median-lower-bound: 3.6960000000000003e-07
+ median-upper-bound: 5.543999999999999e-07
+ min-lower-bound: 3.6960000000000003e-07
+ HotCache:
+ max-upper-bound: 5.244e-07
+ median-lower-bound: 3.496e-07
+ median-upper-bound: 5.244e-07
+ min-lower-bound: 3.4000000000000003e-07
+ Load/1:
+ max-upper-bound: 1.35e-06
+ median-lower-bound: 8.8e-07
+ median-upper-bound: 1.32e-06
+ min-lower-bound: 8.696e-07
+ Load/2:
+ max-upper-bound: 1.5e-06
+ median-lower-bound: 9.896e-07
+ median-upper-bound: 1.4844e-06
+ min-lower-bound: 9.8e-07
+ sparc/gr712rc/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ FullCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ HotCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ Load/1:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 3.552e-05
+ median-lower-bound: 2.3680000000000004e-05
+ median-upper-bound: 3.552e-05
+ min-lower-bound: 2.3552e-05
+ FullCache:
+ max-upper-bound: 3.3144e-05
+ median-lower-bound: 2.1968000000000004e-05
+ median-upper-bound: 3.2952e-05
+ min-lower-bound: 2.1904e-05
+ HotCache:
+ max-upper-bound: 3.312e-05
+ median-lower-bound: 2.2080000000000002e-05
+ median-upper-bound: 3.312e-05
+ min-lower-bound: 2.1952000000000003e-05
+ Load/1:
+ max-upper-bound: 4.1951999999999994e-05
+ median-lower-bound: 2.7968e-05
+ median-upper-bound: 4.1951999999999994e-05
+ min-lower-bound: 2.7968e-05
+ Load/2:
+ max-upper-bound: 4.2671999999999994e-05
+ median-lower-bound: 2.8448e-05
+ median-upper-bound: 4.2671999999999994e-05
+ min-lower-bound: 2.8448e-05
+ Load/3:
+ max-upper-bound: 4.2671999999999994e-05
+ median-lower-bound: 2.8448e-05
+ median-upper-bound: 4.2671999999999994e-05
+ min-lower-bound: 2.8448e-05
+ Load/4:
+ max-upper-bound: 4.2144e-05
+ median-lower-bound: 2.8096000000000003e-05
+ median-upper-bound: 4.2144e-05
+ min-lower-bound: 2.8096000000000003e-05
+ sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 1.9416000000000002e-05
+ median-lower-bound: 1.2816e-05
+ median-upper-bound: 1.9223999999999998e-05
+ min-lower-bound: 1.2816e-05
+ FullCache:
+ max-upper-bound: 1.668e-05
+ median-lower-bound: 1.1120000000000002e-05
+ median-upper-bound: 1.668e-05
+ min-lower-bound: 1.1120000000000002e-05
+ HotCache:
+ max-upper-bound: 1.68e-05
+ median-lower-bound: 1.1200000000000001e-05
+ median-upper-bound: 1.68e-05
+ min-lower-bound: 1.1200000000000001e-05
+ Load/1:
+ max-upper-bound: 2.628e-05
+ median-lower-bound: 1.7456e-05
+ median-upper-bound: 2.6184000000000002e-05
+ min-lower-bound: 1.7264e-05
links:
- role: requirement-refinement
uid: perf-runtime
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 a11b767f..ce22c77f 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
@@ -2,7 +2,95 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: RTEMS_SMP
-limits: {}
+limits:
+ sparc/gr712rc/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 1.5119999999999999e-06
+ median-lower-bound: 9.92e-07
+ median-upper-bound: 1.488e-06
+ min-lower-bound: 9.76e-07
+ FullCache:
+ max-upper-bound: 1.4639999999999999e-06
+ median-lower-bound: 9.76e-07
+ median-upper-bound: 1.4639999999999999e-06
+ min-lower-bound: 9.6e-07
+ HotCache:
+ max-upper-bound: 1.488e-06
+ median-lower-bound: 9.76e-07
+ median-upper-bound: 1.4639999999999999e-06
+ min-lower-bound: 9.76e-07
+ Load/1:
+ max-upper-bound: 1.608e-06
+ median-lower-bound: 1.072e-06
+ median-upper-bound: 1.608e-06
+ min-lower-bound: 1.0560000000000001e-06
+ Load/2:
+ max-upper-bound: 1.608e-06
+ median-lower-bound: 1.0560000000000001e-06
+ median-upper-bound: 1.584e-06
+ min-lower-bound: 1.04e-06
+ sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
+ DirtyCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 1.5800000000000001e-06
+ median-upper-bound: 2.37e-06
+ min-lower-bound: 1.5800000000000001e-06
+ FullCache:
+ max-upper-bound: 1.5e-06
+ median-lower-bound: 6.296000000000001e-07
+ median-upper-bound: 9.444e-07
+ min-lower-bound: 6.296000000000001e-07
+ HotCache:
+ max-upper-bound: 9.143999999999999e-07
+ median-lower-bound: 6.000000000000001e-07
+ median-upper-bound: 9.0e-07
+ min-lower-bound: 6.000000000000001e-07
+ Load/1:
+ max-upper-bound: 2.3544e-06
+ median-lower-bound: 1.56e-06
+ median-upper-bound: 2.34e-06
+ min-lower-bound: 1.56e-06
+ Load/2:
+ max-upper-bound: 2.7444e-06
+ median-lower-bound: 1.82e-06
+ median-upper-bound: 2.7299999999999997e-06
+ min-lower-bound: 1.8096000000000002e-06
+ sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 7.151999999999999e-05
+ median-lower-bound: 4.7648e-05
+ median-upper-bound: 7.1472e-05
+ min-lower-bound: 4.7472e-05
+ FullCache:
+ max-upper-bound: 7.075199999999999e-05
+ median-lower-bound: 4.6944e-05
+ median-upper-bound: 7.0416e-05
+ min-lower-bound: 4.6320000000000004e-05
+ HotCache:
+ max-upper-bound: 6.969599999999999e-05
+ median-lower-bound: 4.6464e-05
+ median-upper-bound: 6.969599999999999e-05
+ min-lower-bound: 4.6448000000000007e-05
+ Load/1:
+ max-upper-bound: 7.545599999999999e-05
+ median-lower-bound: 5.0112e-05
+ median-upper-bound: 7.5168e-05
+ min-lower-bound: 4.9984e-05
+ Load/2:
+ max-upper-bound: 7.5336e-05
+ median-lower-bound: 5.0032e-05
+ median-upper-bound: 7.504799999999999e-05
+ min-lower-bound: 4.9904e-05
+ Load/3:
+ max-upper-bound: 7.5336e-05
+ median-lower-bound: 5.0224000000000006e-05
+ median-upper-bound: 7.5336e-05
+ min-lower-bound: 5.0032e-05
+ Load/4:
+ max-upper-bound: 7.5288e-05
+ median-lower-bound: 5.0032e-05
+ median-upper-bound: 7.504799999999999e-05
+ min-lower-bound: 4.9904e-05
links:
- role: requirement-refinement
uid: perf-runtime
@@ -58,7 +146,7 @@ text: |
${../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,
while the measurement sample is :math:`E - B`, when exactly
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 d277abde..2d1e2fc1 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml
@@ -2,7 +2,137 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
-limits: {}
+limits:
+ sparc/gr712rc/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 1.4159999999999999e-06
+ median-lower-bound: 9.44e-07
+ median-upper-bound: 1.4159999999999999e-06
+ min-lower-bound: 9.279999999999999e-07
+ FullCache:
+ max-upper-bound: 1.3919999999999998e-06
+ median-lower-bound: 9.279999999999999e-07
+ median-upper-bound: 1.3919999999999998e-06
+ min-lower-bound: 9.120000000000001e-07
+ HotCache:
+ max-upper-bound: 1.3919999999999998e-06
+ median-lower-bound: 9.120000000000001e-07
+ median-upper-bound: 1.368e-06
+ min-lower-bound: 9.120000000000001e-07
+ Load/1:
+ max-upper-bound: 1.584e-06
+ median-lower-bound: 1.0560000000000001e-06
+ median-upper-bound: 1.584e-06
+ min-lower-bound: 1.04e-06
+ Load/2:
+ max-upper-bound: 1.584e-06
+ median-lower-bound: 1.04e-06
+ median-upper-bound: 1.56e-06
+ min-lower-bound: 1.04e-06
+ sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
+ DirtyCache:
+ max-upper-bound: 2.1e-06
+ median-lower-bound: 1.3896000000000002e-06
+ median-upper-bound: 2.0844e-06
+ min-lower-bound: 1.3800000000000001e-06
+ FullCache:
+ max-upper-bound: 1.1244e-06
+ median-lower-bound: 6.000000000000001e-07
+ median-upper-bound: 9.0e-07
+ min-lower-bound: 5.896e-07
+ HotCache:
+ max-upper-bound: 8.244e-07
+ median-lower-bound: 5.496000000000001e-07
+ median-upper-bound: 8.244e-07
+ min-lower-bound: 5.496000000000001e-07
+ Load/1:
+ max-upper-bound: 2.1443999999999997e-06
+ median-lower-bound: 1.4296e-06
+ median-upper-bound: 2.1443999999999997e-06
+ min-lower-bound: 1.42e-06
+ Load/2:
+ max-upper-bound: 2.5199999999999996e-06
+ median-lower-bound: 1.6696e-06
+ median-upper-bound: 2.5044e-06
+ min-lower-bound: 1.6696e-06
+ sparc/gr712rc/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ FullCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ HotCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ Load/1:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 6.78e-05
+ median-lower-bound: 4.4976000000000004e-05
+ median-upper-bound: 6.7464e-05
+ min-lower-bound: 4.4688e-05
+ FullCache:
+ max-upper-bound: 6.624e-05
+ median-lower-bound: 4.4160000000000004e-05
+ median-upper-bound: 6.624e-05
+ min-lower-bound: 4.4096000000000006e-05
+ HotCache:
+ max-upper-bound: 6.6456e-05
+ median-lower-bound: 4.4304e-05
+ median-upper-bound: 6.6456e-05
+ min-lower-bound: 4.4304e-05
+ Load/1:
+ max-upper-bound: 7.536e-05
+ median-lower-bound: 5.0112e-05
+ median-upper-bound: 7.5168e-05
+ min-lower-bound: 5.0048e-05
+ Load/2:
+ max-upper-bound: 7.536e-05
+ median-lower-bound: 5.0112e-05
+ median-upper-bound: 7.5168e-05
+ min-lower-bound: 5.0048e-05
+ Load/3:
+ max-upper-bound: 7.536e-05
+ median-lower-bound: 5.0112e-05
+ median-upper-bound: 7.5168e-05
+ min-lower-bound: 5.0048e-05
+ Load/4:
+ max-upper-bound: 7.536e-05
+ median-lower-bound: 5.0112e-05
+ median-upper-bound: 7.5168e-05
+ min-lower-bound: 5.0048e-05
+ sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 4.0583999999999996e-05
+ median-lower-bound: 2.7024e-05
+ median-upper-bound: 4.0536e-05
+ min-lower-bound: 2.6832000000000003e-05
+ FullCache:
+ max-upper-bound: 3.9504e-05
+ median-lower-bound: 2.6336000000000003e-05
+ median-upper-bound: 3.9504e-05
+ min-lower-bound: 2.6336000000000003e-05
+ HotCache:
+ max-upper-bound: 3.972e-05
+ median-lower-bound: 2.648e-05
+ median-upper-bound: 3.972e-05
+ min-lower-bound: 2.648e-05
+ Load/1:
+ max-upper-bound: 4.5407999999999996e-05
+ median-lower-bound: 3.0271999999999997e-05
+ median-upper-bound: 4.5407999999999996e-05
+ min-lower-bound: 2.9952e-05
links:
- role: requirement-refinement
uid: perf-runtime
@@ -45,7 +175,7 @@ text: |
${../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,
while the measurement sample is :math:`E - B`, when exactly
diff --git a/spec/rtems/sem/req/perf-mtx-pi-release.yml b/spec/rtems/sem/req/perf-mtx-pi-release.yml
index 46ca95ad..6cff91cc 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-release.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-release.yml
@@ -2,7 +2,137 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
-limits: {}
+limits:
+ sparc/gr712rc/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 6.4e-08
+ median-upper-bound: 9.6e-08
+ min-lower-bound: 4.8e-08
+ FullCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 6.4e-08
+ median-upper-bound: 9.6e-08
+ min-lower-bound: 4.8e-08
+ HotCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 6.4e-08
+ median-upper-bound: 9.6e-08
+ min-lower-bound: 4.8e-08
+ Load/1:
+ max-upper-bound: 1.68e-07
+ median-lower-bound: 1.1200000000000001e-07
+ median-upper-bound: 1.68e-07
+ min-lower-bound: 1.1200000000000001e-07
+ Load/2:
+ max-upper-bound: 1.92e-07
+ median-lower-bound: 1.1200000000000001e-07
+ median-upper-bound: 1.68e-07
+ min-lower-bound: 9.6e-08
+ sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
+ DirtyCache:
+ max-upper-bound: 2.4e-07
+ median-lower-bound: 1.6e-07
+ median-upper-bound: 2.4e-07
+ min-lower-bound: 1.4960000000000002e-07
+ FullCache:
+ max-upper-bound: 1.044e-07
+ median-lower-bound: 2.96e-08
+ median-upper-bound: 4.44e-08
+ min-lower-bound: 2.0e-08
+ HotCache:
+ max-upper-bound: 4.44e-08
+ median-lower-bound: 2.96e-08
+ median-upper-bound: 4.44e-08
+ min-lower-bound: 2.0e-08
+ Load/1:
+ max-upper-bound: 4.1999999999999995e-07
+ median-lower-bound: 2.8e-07
+ median-upper-bound: 4.1999999999999995e-07
+ min-lower-bound: 2.6960000000000003e-07
+ Load/2:
+ max-upper-bound: 4.3439999999999997e-07
+ median-lower-bound: 2.8e-07
+ median-upper-bound: 4.1999999999999995e-07
+ min-lower-bound: 2.8e-07
+ sparc/gr712rc/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ FullCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ HotCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ Load/1:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 4.319999999999999e-06
+ median-lower-bound: 2.8160000000000002e-06
+ median-upper-bound: 4.224e-06
+ min-lower-bound: 2.752e-06
+ FullCache:
+ max-upper-bound: 4.151999999999999e-06
+ median-lower-bound: 2.768e-06
+ median-upper-bound: 4.151999999999999e-06
+ min-lower-bound: 2.768e-06
+ HotCache:
+ max-upper-bound: 4.08e-06
+ median-lower-bound: 2.7200000000000002e-06
+ median-upper-bound: 4.08e-06
+ min-lower-bound: 2.7200000000000002e-06
+ Load/1:
+ max-upper-bound: 7.752e-06
+ median-lower-bound: 5.104000000000001e-06
+ median-upper-bound: 7.656e-06
+ min-lower-bound: 5.04e-06
+ Load/2:
+ max-upper-bound: 7.752e-06
+ median-lower-bound: 5.104000000000001e-06
+ median-upper-bound: 7.656e-06
+ min-lower-bound: 5.04e-06
+ Load/3:
+ max-upper-bound: 7.752e-06
+ median-lower-bound: 5.104000000000001e-06
+ median-upper-bound: 7.656e-06
+ min-lower-bound: 5.04e-06
+ Load/4:
+ max-upper-bound: 7.752e-06
+ median-lower-bound: 5.104000000000001e-06
+ median-upper-bound: 7.656e-06
+ min-lower-bound: 5.04e-06
+ sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 3.288e-06
+ median-lower-bound: 2.192e-06
+ median-upper-bound: 3.288e-06
+ min-lower-bound: 2.192e-06
+ FullCache:
+ max-upper-bound: 3.0959999999999997e-06
+ median-lower-bound: 2.0319999999999998e-06
+ median-upper-bound: 3.048e-06
+ min-lower-bound: 1.968e-06
+ HotCache:
+ max-upper-bound: 3.0239999999999998e-06
+ median-lower-bound: 2.0160000000000003e-06
+ median-upper-bound: 3.0239999999999998e-06
+ min-lower-bound: 2.0160000000000003e-06
+ Load/1:
+ max-upper-bound: 6.672e-06
+ median-lower-bound: 4.4480000000000004e-06
+ median-upper-bound: 6.672e-06
+ min-lower-bound: 4.4480000000000004e-06
links:
- role: requirement-refinement
uid: perf-runtime
diff --git a/spec/rtems/sem/req/perf-mtx-pi-try.yml b/spec/rtems/sem/req/perf-mtx-pi-try.yml
index 2285863a..4437fd00 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-try.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-try.yml
@@ -2,7 +2,137 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
-limits: {}
+limits:
+ sparc/gr712rc/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 6.4e-08
+ median-upper-bound: 9.6e-08
+ min-lower-bound: 4.8e-08
+ FullCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 6.4e-08
+ median-upper-bound: 9.6e-08
+ min-lower-bound: 4.8e-08
+ HotCache:
+ max-upper-bound: 9.6e-08
+ median-lower-bound: 6.4e-08
+ median-upper-bound: 9.6e-08
+ min-lower-bound: 4.8e-08
+ Load/1:
+ max-upper-bound: 2.1599999999999998e-07
+ median-lower-bound: 1.4400000000000002e-07
+ median-upper-bound: 2.1599999999999998e-07
+ min-lower-bound: 1.28e-07
+ Load/2:
+ max-upper-bound: 2.1599999999999998e-07
+ median-lower-bound: 1.28e-07
+ median-upper-bound: 1.92e-07
+ min-lower-bound: 1.28e-07
+ sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
+ DirtyCache:
+ max-upper-bound: 3.0e-07
+ median-lower-bound: 2.0e-07
+ median-upper-bound: 3.0e-07
+ min-lower-bound: 1.896e-07
+ FullCache:
+ max-upper-bound: 1.3439999999999999e-07
+ median-lower-bound: 2.96e-08
+ median-upper-bound: 4.44e-08
+ min-lower-bound: 2.0e-08
+ HotCache:
+ max-upper-bound: 4.44e-08
+ median-lower-bound: 2.96e-08
+ median-upper-bound: 4.44e-08
+ min-lower-bound: 2.0e-08
+ Load/1:
+ max-upper-bound: 4.644e-07
+ median-lower-bound: 3.0000000000000004e-07
+ median-upper-bound: 4.5e-07
+ min-lower-bound: 3.0000000000000004e-07
+ Load/2:
+ max-upper-bound: 4.8e-07
+ median-lower-bound: 3.096e-07
+ median-upper-bound: 4.644e-07
+ min-lower-bound: 3.096e-07
+ sparc/gr712rc/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ FullCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ HotCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ Load/1:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 4.488e-06
+ median-lower-bound: 2.9920000000000003e-06
+ median-upper-bound: 4.488e-06
+ min-lower-bound: 2.864e-06
+ FullCache:
+ max-upper-bound: 4.319999999999999e-06
+ median-lower-bound: 2.768e-06
+ median-upper-bound: 4.151999999999999e-06
+ min-lower-bound: 2.768e-06
+ HotCache:
+ max-upper-bound: 4.319999999999999e-06
+ median-lower-bound: 2.88e-06
+ median-upper-bound: 4.319999999999999e-06
+ min-lower-bound: 2.88e-06
+ Load/1:
+ max-upper-bound: 9.192e-06
+ median-lower-bound: 6.032e-06
+ median-upper-bound: 9.047999999999999e-06
+ min-lower-bound: 5.904e-06
+ Load/2:
+ max-upper-bound: 9.192e-06
+ median-lower-bound: 6.032e-06
+ median-upper-bound: 9.047999999999999e-06
+ min-lower-bound: 5.904e-06
+ Load/3:
+ max-upper-bound: 9.192e-06
+ median-lower-bound: 6.032e-06
+ median-upper-bound: 9.047999999999999e-06
+ min-lower-bound: 5.904e-06
+ Load/4:
+ max-upper-bound: 9.192e-06
+ median-lower-bound: 6.032e-06
+ median-upper-bound: 9.047999999999999e-06
+ min-lower-bound: 5.904e-06
+ sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 3.6e-06
+ median-lower-bound: 2.336e-06
+ median-upper-bound: 3.504e-06
+ min-lower-bound: 2.336e-06
+ FullCache:
+ max-upper-bound: 3.48e-06
+ median-lower-bound: 2.3200000000000002e-06
+ median-upper-bound: 3.48e-06
+ min-lower-bound: 2.192e-06
+ HotCache:
+ max-upper-bound: 3.4559999999999996e-06
+ median-lower-bound: 2.3040000000000003e-06
+ median-upper-bound: 3.4559999999999996e-06
+ min-lower-bound: 2.3040000000000003e-06
+ Load/1:
+ max-upper-bound: 8.4e-06
+ median-lower-bound: 5.536e-06
+ median-upper-bound: 8.303999999999999e-06
+ min-lower-bound: 5.344000000000001e-06
links:
- role: requirement-refinement
uid: perf-runtime
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 a75d4ceb..8af87a8e 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml
@@ -2,7 +2,137 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
-limits: {}
+limits:
+ sparc/gr712rc/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 1.32e-06
+ median-lower-bound: 8.8e-07
+ median-upper-bound: 1.32e-06
+ min-lower-bound: 8.640000000000001e-07
+ FullCache:
+ max-upper-bound: 1.296e-06
+ median-lower-bound: 8.640000000000001e-07
+ median-upper-bound: 1.296e-06
+ min-lower-bound: 8.480000000000001e-07
+ HotCache:
+ max-upper-bound: 1.296e-06
+ median-lower-bound: 8.640000000000001e-07
+ median-upper-bound: 1.296e-06
+ min-lower-bound: 8.480000000000001e-07
+ Load/1:
+ max-upper-bound: 1.488e-06
+ median-lower-bound: 9.92e-07
+ median-upper-bound: 1.488e-06
+ min-lower-bound: 9.76e-07
+ Load/2:
+ max-upper-bound: 1.488e-06
+ median-lower-bound: 9.92e-07
+ median-upper-bound: 1.488e-06
+ min-lower-bound: 9.92e-07
+ sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
+ DirtyCache:
+ max-upper-bound: 2.0844e-06
+ median-lower-bound: 1.3800000000000001e-06
+ median-upper-bound: 2.07e-06
+ min-lower-bound: 1.3696000000000002e-06
+ FullCache:
+ max-upper-bound: 1.1844e-06
+ median-lower-bound: 6.2e-07
+ median-upper-bound: 9.3e-07
+ min-lower-bound: 6.2e-07
+ HotCache:
+ max-upper-bound: 8.844e-07
+ median-lower-bound: 5.800000000000001e-07
+ median-upper-bound: 8.7e-07
+ min-lower-bound: 5.800000000000001e-07
+ Load/1:
+ max-upper-bound: 2.1443999999999997e-06
+ median-lower-bound: 1.42e-06
+ median-upper-bound: 2.13e-06
+ min-lower-bound: 1.42e-06
+ Load/2:
+ max-upper-bound: 2.5344e-06
+ median-lower-bound: 1.6696e-06
+ median-upper-bound: 2.5044e-06
+ min-lower-bound: 1.6696e-06
+ sparc/gr712rc/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ FullCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ HotCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ Load/1:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 1.6e-06
+ median-upper-bound: 2.4e-06
+ min-lower-bound: 0.0
+ sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 6.3e-05
+ median-lower-bound: 4.2000000000000004e-05
+ median-upper-bound: 6.3e-05
+ min-lower-bound: 4.2000000000000004e-05
+ FullCache:
+ max-upper-bound: 6.1776e-05
+ median-lower-bound: 4.1088000000000004e-05
+ median-upper-bound: 6.1632e-05
+ min-lower-bound: 4.1024e-05
+ HotCache:
+ max-upper-bound: 6.1752e-05
+ median-lower-bound: 4.1168e-05
+ median-upper-bound: 6.1752e-05
+ min-lower-bound: 4.0976e-05
+ Load/1:
+ max-upper-bound: 7.0992e-05
+ median-lower-bound: 4.7328000000000005e-05
+ median-upper-bound: 7.0992e-05
+ min-lower-bound: 4.6944e-05
+ Load/2:
+ max-upper-bound: 7.0896e-05
+ median-lower-bound: 4.7264e-05
+ median-upper-bound: 7.0896e-05
+ min-lower-bound: 4.7136000000000004e-05
+ Load/3:
+ max-upper-bound: 7.0992e-05
+ median-lower-bound: 4.7328000000000005e-05
+ median-upper-bound: 7.0992e-05
+ min-lower-bound: 4.6944e-05
+ Load/4:
+ max-upper-bound: 7.0992e-05
+ median-lower-bound: 4.7328000000000005e-05
+ median-upper-bound: 7.0992e-05
+ min-lower-bound: 4.6944e-05
+ sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 4.4376e-05
+ median-lower-bound: 2.9584000000000003e-05
+ median-upper-bound: 4.4376e-05
+ min-lower-bound: 2.9584000000000003e-05
+ FullCache:
+ max-upper-bound: 4.3152e-05
+ median-lower-bound: 2.8768000000000003e-05
+ median-upper-bound: 4.3152e-05
+ min-lower-bound: 2.8224000000000003e-05
+ HotCache:
+ max-upper-bound: 4.2648e-05
+ median-lower-bound: 2.8432e-05
+ median-upper-bound: 4.2648e-05
+ min-lower-bound: 2.8368000000000004e-05
+ Load/1:
+ max-upper-bound: 4.9152e-05
+ median-lower-bound: 3.2768e-05
+ median-upper-bound: 4.9152e-05
+ min-lower-bound: 3.2768e-05
links:
- role: requirement-refinement
uid: perf-runtime
@@ -53,7 +183,7 @@ text: |
${../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
switch after :math:`B`.
-
+
While the execution environment is ${.:/environment}, while the semaphore is
a priority inheritance mutex, while the measurement sample is :math:`E - B`,
when exactly ${../val/perf:/params/sample-count} samples are collected, the
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 c335c668..b7bc0db3 100644
--- a/spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml
+++ b/spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml
@@ -2,7 +2,137 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
-limits: {}
+limits:
+ sparc/gr712rc/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 1.4159999999999999e-06
+ median-lower-bound: 9.279999999999999e-07
+ median-upper-bound: 1.3919999999999998e-06
+ min-lower-bound: 9.279999999999999e-07
+ FullCache:
+ max-upper-bound: 1.3919999999999998e-06
+ median-lower-bound: 9.120000000000001e-07
+ median-upper-bound: 1.368e-06
+ min-lower-bound: 8.960000000000001e-07
+ HotCache:
+ max-upper-bound: 1.3919999999999998e-06
+ median-lower-bound: 9.279999999999999e-07
+ median-upper-bound: 1.3919999999999998e-06
+ min-lower-bound: 9.120000000000001e-07
+ Load/1:
+ max-upper-bound: 1.56e-06
+ median-lower-bound: 1.04e-06
+ median-upper-bound: 1.56e-06
+ min-lower-bound: 1.04e-06
+ Load/2:
+ max-upper-bound: 1.56e-06
+ median-lower-bound: 1.04e-06
+ median-upper-bound: 1.56e-06
+ min-lower-bound: 1.024e-06
+ sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
+ DirtyCache:
+ max-upper-bound: 2.1443999999999997e-06
+ median-lower-bound: 1.4296e-06
+ median-upper-bound: 2.1443999999999997e-06
+ min-lower-bound: 1.42e-06
+ FullCache:
+ max-upper-bound: 1.2299999999999999e-06
+ median-lower-bound: 6.496000000000001e-07
+ median-upper-bound: 9.744e-07
+ min-lower-bound: 6.496000000000001e-07
+ HotCache:
+ max-upper-bound: 9.143999999999999e-07
+ median-lower-bound: 6.096000000000001e-07
+ median-upper-bound: 9.143999999999999e-07
+ min-lower-bound: 6.000000000000001e-07
+ Load/1:
+ max-upper-bound: 2.22e-06
+ median-lower-bound: 1.4696e-06
+ median-upper-bound: 2.2044e-06
+ min-lower-bound: 1.4696e-06
+ Load/2:
+ max-upper-bound: 2.64e-06
+ median-lower-bound: 1.7296e-06
+ median-upper-bound: 2.5943999999999997e-06
+ min-lower-bound: 1.7296e-06
+ sparc/gr712rc/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ FullCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ HotCache:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ Load/1:
+ max-upper-bound: 2.4e-06
+ median-lower-bound: 0.0
+ median-upper-bound: 0.0
+ min-lower-bound: 0.0
+ sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 6.707999999999999e-05
+ median-lower-bound: 4.456e-05
+ median-upper-bound: 6.683999999999999e-05
+ min-lower-bound: 4.4368000000000006e-05
+ FullCache:
+ max-upper-bound: 6.580799999999999e-05
+ median-lower-bound: 4.3872e-05
+ median-upper-bound: 6.580799999999999e-05
+ min-lower-bound: 4.3424e-05
+ HotCache:
+ max-upper-bound: 6.5256e-05
+ median-lower-bound: 4.3504e-05
+ median-upper-bound: 6.5256e-05
+ min-lower-bound: 4.3504e-05
+ Load/1:
+ max-upper-bound: 7.4976e-05
+ median-lower-bound: 4.9856000000000005e-05
+ median-upper-bound: 7.4784e-05
+ min-lower-bound: 4.9600000000000006e-05
+ Load/2:
+ max-upper-bound: 7.4976e-05
+ median-lower-bound: 4.9856000000000005e-05
+ median-upper-bound: 7.4784e-05
+ min-lower-bound: 4.9600000000000006e-05
+ Load/3:
+ max-upper-bound: 7.4976e-05
+ median-lower-bound: 4.9856000000000005e-05
+ median-upper-bound: 7.4784e-05
+ min-lower-bound: 4.9600000000000006e-05
+ Load/4:
+ max-upper-bound: 7.4976e-05
+ median-lower-bound: 4.9856000000000005e-05
+ median-upper-bound: 7.4784e-05
+ min-lower-bound: 4.9600000000000006e-05
+ sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
+ DirtyCache:
+ max-upper-bound: 4.68e-05
+ median-lower-bound: 3.12e-05
+ median-upper-bound: 4.68e-05
+ min-lower-bound: 3.12e-05
+ FullCache:
+ max-upper-bound: 4.548e-05
+ median-lower-bound: 3.0128000000000004e-05
+ median-upper-bound: 4.5192000000000004e-05
+ min-lower-bound: 2.9904e-05
+ HotCache:
+ max-upper-bound: 4.5168e-05
+ median-lower-bound: 3.0112e-05
+ median-upper-bound: 4.5168e-05
+ min-lower-bound: 2.9856000000000003e-05
+ Load/1:
+ max-upper-bound: 5.171999999999999e-05
+ median-lower-bound: 3.448e-05
+ median-upper-bound: 5.171999999999999e-05
+ min-lower-bound: 3.4288e-05
links:
- role: requirement-refinement
uid: perf-runtime
@@ -53,7 +183,7 @@ text: |
${../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
switch after :math:`B`.
-
+
While the execution environment is ${.:/environment}, while the semaphore is
a priority inheritance mutex, while the measurement sample is :math:`E - B`,
when exactly ${../val/perf:/params/sample-count} samples are collected, the