blob: 5d9f61ca3453c730c29ea48e71a3fcfcf936575a (
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/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.2e-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.1599999999999996e-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/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
|