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