diff options
author | Frank Kühndel <frank.kuehndel@embedded-brains.de> | 2021-12-03 14:54:50 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-03 15:23:21 +0100 |
commit | 7c331792eabe00b95a27c6951b3e67499aa1f5e5 (patch) | |
tree | c67e0d60e0b2d4be22a49185123b90e63abf1a8f /spec/rtems/sem/req | |
parent | spec: Reword acfg requirements (diff) | |
download | rtems-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.yml | 132 | ||||
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-release-one.yml | 132 | ||||
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-release-other-cpu.yml | 92 | ||||
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-release-preempt.yml | 134 | ||||
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-release.yml | 132 | ||||
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-try.yml | 132 | ||||
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-wait-forever.yml | 134 | ||||
-rw-r--r-- | spec/rtems/sem/req/perf-mtx-pi-wait-timed.yml | 134 |
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 |