blob: 26d488ecd6e22db3e0612df8e426cbc9ce2c7ecc (
plain) (
tree)
|
|
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:
sparc/gr712rc/smp/qual-only/aQM5D84izENqUHf5JXZtqffaL5bD4qBjf9HOSNfAMBY=:
DirtyCache:
max-upper-bound: 0.000166752
median-lower-bound: 0.00011040000000000001
median-upper-bound: 0.00016560000000000001
min-lower-bound: 0.00010956800000000002
FullCache:
max-upper-bound: 9.6e-05
median-lower-bound: 4.96e-05
median-upper-bound: 7.439999999999999e-05
min-lower-bound: 4.96e-05
HotCache:
max-upper-bound: 7.075199999999999e-05
median-lower-bound: 4.64e-05
median-upper-bound: 6.96e-05
min-lower-bound: 4.64e-05
Load/1:
max-upper-bound: 0.00017279999999999997
median-lower-bound: 0.0001136
median-upper-bound: 0.0001704
min-lower-bound: 0.0001136
Load/2:
max-upper-bound: 0.000202752
median-lower-bound: 0.000133568
median-upper-bound: 0.000200352
min-lower-bound: 0.000133568
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/gr712rc/uni/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
DirtyCache:
max-upper-bound: 1.2599999999999998e-06
median-lower-bound: 8.4e-07
median-upper-bound: 1.2599999999999998e-06
min-lower-bound: 8.296000000000001e-07
FullCache:
max-upper-bound: 7.2e-07
median-lower-bound: 3.2e-07
median-upper-bound: 4.8e-07
min-lower-bound: 3.096e-07
HotCache:
max-upper-bound: 4.5e-07
median-lower-bound: 3.0000000000000004e-07
median-upper-bound: 4.5e-07
min-lower-bound: 2.896e-07
Load/1:
max-upper-bound: 1.32e-06
median-lower-bound: 8.696e-07
median-upper-bound: 1.3044e-06
min-lower-bound: 8.696e-07
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/smp/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
DirtyCache:
max-upper-bound: 6.69648e-05
median-lower-bound: 4.32896e-05
median-upper-bound: 6.49344e-05
min-lower-bound: 4.1721600000000004e-05
FullCache:
max-upper-bound: 4.98432e-05
median-lower-bound: 2.0102400000000003e-05
median-upper-bound: 3.01536e-05
min-lower-bound: 2.00384e-05
HotCache:
max-upper-bound: 1.4568e-05
median-lower-bound: 9.712000000000001e-06
median-upper-bound: 1.4568e-05
min-lower-bound: 9.712000000000001e-06
Load/1:
max-upper-bound: 9.58128e-05
median-lower-bound: 4.2620800000000004e-05
median-upper-bound: 6.39312e-05
min-lower-bound: 4.1897600000000004e-05
Load/2:
max-upper-bound: 0.0004297152
median-lower-bound: 0.00028438080000000004
median-upper-bound: 0.0004265712
min-lower-bound: 0.0002822944
Load/3:
max-upper-bound: 0.0006842256
median-lower-bound: 0.0004533888
median-upper-bound: 0.0006800831999999999
min-lower-bound: 0.0004520224
Load/4:
max-upper-bound: 0.0008115647999999999
median-lower-bound: 0.0005402272
median-upper-bound: 0.0008103407999999999
min-lower-bound: 0.0005351776000000001
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
sparc/gr740/uni/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
DirtyCache:
max-upper-bound: 4.04928e-05
median-lower-bound: 2.65248e-05
median-upper-bound: 3.97872e-05
min-lower-bound: 2.6422400000000003e-05
FullCache:
max-upper-bound: 2.1724800000000002e-05
median-lower-bound: 1.00032e-05
median-upper-bound: 1.5004799999999999e-05
min-lower-bound: 9.9552e-06
HotCache:
max-upper-bound: 7.4592e-06
median-lower-bound: 4.9216000000000004e-06
median-upper-bound: 7.382399999999999e-06
min-lower-bound: 4.9216000000000004e-06
Load/1:
max-upper-bound: 4.3228799999999995e-05
median-lower-bound: 2.77824e-05
median-upper-bound: 4.1673599999999993e-05
min-lower-bound: 2.77024e-05
links:
- role: requirement-refinement
uid: perf-runtime
- role: runtime-measurement-request
uid: ../val/perf
non-functional-type: performance-runtime
params: {}
rationale: null
references: []
requirement-type: non-functional
test-body:
brief: |
Obtain the unavailable mutex and wait forever.
code: |
ctx->begin = T_tick();
ctx->status = rtems_semaphore_obtain(
ctx->mutex_id,
RTEMS_WAIT,
RTEMS_NO_TIMEOUT
);
description: null
test-cleanup: null
test-prepare: null
test-setup:
brief: |
Make the mutex unavailable.
code: |
Send( ctx, EVENT_OBTAIN );
SetPriority( ctx->worker_id, PRIO_LOW );
Send( ctx, EVENT_END | EVENT_RELEASE );
description: null
test-teardown:
brief: |
Set the measured runtime. Restore the worker priority. Release the mutex.
Discard samples interrupted by a clock tick.
code: |
T_quiet_rsc( ctx->status, RTEMS_SUCCESSFUL );
*delta = ctx->end - ctx->begin;
SetPriority( ctx->worker_id, PRIO_HIGH );
ReleaseMutex( ctx->mutex_id );
return tic == toc;
description: null
text: |
Let U and V be two tasks with the same home scheduler. Let :math:`B`
be a time point measured by U right before a call to
${../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
${.:/limit-kind} shall be ${.:/limit-condition}.
type: requirement
|
