path: root/spec/rtems/sem/req/perf-mtx-pi-release.yml

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: 1.92e-05
      median-lower-bound: 1.28e-05
      median-upper-bound: 1.92e-05
      min-lower-bound: 1.1968000000000001e-05
    FullCache:
      max-upper-bound: 8.351999999999999e-06
      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.36e-05
      median-lower-bound: 2.2400000000000002e-05
      median-upper-bound: 3.36e-05
      min-lower-bound: 2.1568e-05
    Load/2:
      max-upper-bound: 3.4751999999999995e-05
      median-lower-bound: 2.2400000000000002e-05
      median-upper-bound: 3.36e-05
      min-lower-bound: 2.2400000000000002e-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.644e-07
      median-lower-bound: 1.0e-07
      median-upper-bound: 1.5e-07
      min-lower-bound: 1.0e-07
    FullCache:
      max-upper-bound: 7.439999999999999e-08
      median-lower-bound: 2.0e-08
      median-upper-bound: 3.0e-08
      min-lower-bound: 9.6e-09
    HotCache:
      max-upper-bound: 3.0e-08
      median-lower-bound: 2.0e-08
      median-upper-bound: 3.0e-08
      min-lower-bound: 9.6e-09
    Load/1:
      max-upper-bound: 2.2439999999999997e-07
      median-lower-bound: 1.4e-07
      median-upper-bound: 2.0999999999999997e-07
      min-lower-bound: 1.4e-07
  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/smp/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 1.31424e-05
      median-lower-bound: 7.187200000000001e-06
      median-upper-bound: 1.07808e-05
      min-lower-bound: 6.1312e-06
    FullCache:
      max-upper-bound: 3.6816e-06
      median-lower-bound: 1.3568e-06
      median-upper-bound: 2.0352e-06
      min-lower-bound: 1.3568e-06
    HotCache:
      max-upper-bound: 1.2384e-06
      median-lower-bound: 6.272000000000001e-07
      median-upper-bound: 9.408e-07
      min-lower-bound: 6.272000000000001e-07
    Load/1:
      max-upper-bound: 2.2199999999999998e-05
      median-lower-bound: 8.697600000000001e-06
      median-upper-bound: 1.30464e-05
      min-lower-bound: 8.5952e-06
    Load/2:
      max-upper-bound: 3.83472e-05
      median-lower-bound: 2.41728e-05
      median-upper-bound: 3.62592e-05
      min-lower-bound: 2.19392e-05
    Load/3:
      max-upper-bound: 3.9926400000000005e-05
      median-lower-bound: 2.64832e-05
      median-upper-bound: 3.9724799999999996e-05
      min-lower-bound: 2.03488e-05
    Load/4:
      max-upper-bound: 5.0068800000000004e-05
      median-lower-bound: 3.25952e-05
      median-upper-bound: 4.88928e-05
      min-lower-bound: 2.57824e-05
  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
  sparc/gr740/uni/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 4.5359999999999994e-06
      median-lower-bound: 2.976e-06
      median-upper-bound: 4.464e-06
      min-lower-bound: 2.9344000000000002e-06
    FullCache:
      max-upper-bound: 2.0016e-06
      median-lower-bound: 6.144e-07
      median-upper-bound: 9.216e-07
      min-lower-bound: 6.144e-07
    HotCache:
      max-upper-bound: 9.456e-07
      median-lower-bound: 4.3520000000000003e-07
      median-upper-bound: 6.528e-07
      min-lower-bound: 4.3520000000000003e-07
    Load/1:
      max-upper-bound: 6.676799999999999e-06
      median-lower-bound: 4.3456e-06
      median-upper-bound: 6.518399999999999e-06
      min-lower-bound: 4.32e-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: |
    Release the mutex.
  code: |
    ctx->status = rtems_semaphore_release( ctx->mutex_id );
  description: null
test-cleanup: null
test-prepare: null
test-setup:
  brief: |
    Obtain the mutex.
  code: |
    ObtainMutex( ctx->mutex_id );
  description: null
test-teardown:
  brief: |
    Discard samples interrupted by a clock tick.
  code: |
    T_quiet_rsc_success( ctx->status );

    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 successful call to ${../if/release:/name} which does not unblock
  a waiting task, when exactly ${../val/perf:/params/sample-count} samples are
  collected, the ${.:/limit-kind} shall be ${.:/limit-condition}.
type: requirement