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: 2.4e-05
      median-lower-bound: 1.6e-05
      median-upper-bound: 2.4e-05
      min-lower-bound: 1.5168000000000001e-05
    FullCache:
      max-upper-bound: 1.0751999999999998e-05
      median-lower-bound: 2.368e-06
      median-upper-bound: 3.552e-06
      min-lower-bound: 1.6e-06
    HotCache:
      max-upper-bound: 3.552e-06
      median-lower-bound: 2.368e-06
      median-upper-bound: 3.552e-06
      min-lower-bound: 1.6e-06
    Load/1:
      max-upper-bound: 3.7152e-05
      median-lower-bound: 2.4000000000000004e-05
      median-upper-bound: 3.6e-05
      min-lower-bound: 2.4000000000000004e-05
    Load/2:
      max-upper-bound: 3.84e-05
      median-lower-bound: 2.4768e-05
      median-upper-bound: 3.7152e-05
      min-lower-bound: 2.4768e-05
  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/gr712rc/uni/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
    DirtyCache:
      max-upper-bound: 1.8e-07
      median-lower-bound: 1.2e-07
      median-upper-bound: 1.8e-07
      min-lower-bound: 1.096e-07
    FullCache:
      max-upper-bound: 1.2e-07
      median-lower-bound: 2.0e-08
      median-upper-bound: 3.0e-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: 2.6999999999999996e-07
      median-lower-bound: 1.696e-07
      median-upper-bound: 2.544e-07
      min-lower-bound: 1.696e-07
  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/smp/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 1.13472e-05
      median-lower-bound: 6.6912e-06
      median-upper-bound: 1.00368e-05
      min-lower-bound: 6.627200000000001e-06
    FullCache:
      max-upper-bound: 5.9616e-06
      median-lower-bound: 1.2192000000000001e-06
      median-upper-bound: 1.8287999999999998e-06
      min-lower-bound: 1.2192000000000001e-06
    HotCache:
      max-upper-bound: 1.2911999999999998e-06
      median-lower-bound: 6.592e-07
      median-upper-bound: 9.888e-07
      min-lower-bound: 6.592e-07
    Load/1:
      max-upper-bound: 2.2464e-05
      median-lower-bound: 8.6752e-06
      median-upper-bound: 1.30128e-05
      min-lower-bound: 8.416e-06
    Load/2:
      max-upper-bound: 4.68768e-05
      median-lower-bound: 2.92512e-05
      median-upper-bound: 4.387679999999999e-05
      min-lower-bound: 2.74848e-05
    Load/3:
      max-upper-bound: 5.3184000000000004e-05
      median-lower-bound: 3.5139200000000004e-05
      median-upper-bound: 5.27088e-05
      min-lower-bound: 3.39968e-05
    Load/4:
      max-upper-bound: 6.54912e-05
      median-lower-bound: 4.2896000000000004e-05
      median-upper-bound: 6.434399999999999e-05
      min-lower-bound: 3.58016e-05
  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
  sparc/gr740/uni/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 5.6832e-06
      median-lower-bound: 3.7408e-06
      median-upper-bound: 5.6112e-06
      min-lower-bound: 3.6928000000000005e-06
    FullCache:
      max-upper-bound: 1.9968e-06
      median-lower-bound: 4.96e-07
      median-upper-bound: 7.44e-07
      min-lower-bound: 4.96e-07
    HotCache:
      max-upper-bound: 1.0416e-06
      median-lower-bound: 4.96e-07
      median-upper-bound: 7.44e-07
      min-lower-bound: 4.96e-07
    Load/1:
      max-upper-bound: 7.872e-06
      median-lower-bound: 5.168e-06
      median-upper-bound: 7.752e-06
      min-lower-bound: 5.104000000000001e-06
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: |
    Try to obtain the unavailable mutex.
  code: |
    ctx->status = rtems_semaphore_obtain( ctx->mutex_id, RTEMS_NO_WAIT, 0 );
  description: null
test-cleanup:
  brief: |
    Make the mutex available.
  code: |
    Send( ctx, EVENT_RELEASE );
  description: null
test-prepare:
  brief: |
    Make the mutex unavailable.
  code: |
    Send( ctx, EVENT_OBTAIN );
  description: null
test-setup: null
test-teardown:
  brief: |
    Discard samples interrupted by a clock tick.
  code: |
    T_quiet_rsc( ctx->status, RTEMS_UNSATISFIED );

    return tic == toc;
  description: null
text: |
  While the execution environment is ${.:/environment}, while the semaphore is
  a priority inheritance mutex, while the measurement sample is the runtime of
  exactly one unsatisfied call to ${../if/obtain:/name} which immediately
  returns, when exactly ${../val/perf:/params/sample-count} samples are
  collected, the ${.:/limit-kind} shall be ${.:/limit-condition}.
type: requirement