summaryrefslogblamecommitdiffstats
path: root/spec/rtems/sem/req/perf-mtx-pi-release-one.yml
blob: 8d2141bf4854375ab1a110814723516ead70d6f2 (plain) (tree)
1
2
3
4



                                                                         









































































                                                                           




















                                                                           



































                                                                         



































                                                                         




















                                                                         




















                                                                         












































                                                                              
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: 7.44e-07
      median-lower-bound: 4.96e-07
      median-upper-bound: 7.44e-07
      min-lower-bound: 4.8e-07
    FullCache:
      max-upper-bound: 6.959999999999999e-07
      median-lower-bound: 4.6399999999999997e-07
      median-upper-bound: 6.959999999999999e-07
      min-lower-bound: 4.4800000000000004e-07
    HotCache:
      max-upper-bound: 6.959999999999999e-07
      median-lower-bound: 4.6399999999999997e-07
      median-upper-bound: 6.959999999999999e-07
      min-lower-bound: 4.4800000000000004e-07
    Load/1:
      max-upper-bound: 9.12e-07
      median-lower-bound: 5.92e-07
      median-upper-bound: 8.88e-07
      min-lower-bound: 5.92e-07
    Load/2:
      max-upper-bound: 9.12e-07
      median-lower-bound: 6.08e-07
      median-upper-bound: 9.12e-07
      min-lower-bound: 5.92e-07
  sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
    DirtyCache:
      max-upper-bound: 1.2443999999999999e-06
      median-lower-bound: 8.096e-07
      median-upper-bound: 1.2144e-06
      min-lower-bound: 8.0e-07
    FullCache:
      max-upper-bound: 7.643999999999999e-07
      median-lower-bound: 3.6960000000000003e-07
      median-upper-bound: 5.543999999999999e-07
      min-lower-bound: 3.6960000000000003e-07
    HotCache:
      max-upper-bound: 5.244e-07
      median-lower-bound: 3.496e-07
      median-upper-bound: 5.244e-07
      min-lower-bound: 3.4000000000000003e-07
    Load/1:
      max-upper-bound: 1.35e-06
      median-lower-bound: 8.8e-07
      median-upper-bound: 1.32e-06
      min-lower-bound: 8.696e-07
    Load/2:
      max-upper-bound: 1.5e-06
      median-lower-bound: 9.896e-07
      median-upper-bound: 1.4844e-06
      min-lower-bound: 9.8e-07
  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: 6.6e-07
      median-lower-bound: 4.2960000000000004e-07
      median-upper-bound: 6.444e-07
      min-lower-bound: 4.2960000000000004e-07
    FullCache:
      max-upper-bound: 3.444e-07
      median-lower-bound: 1.096e-07
      median-upper-bound: 1.644e-07
      min-lower-bound: 1.096e-07
    HotCache:
      max-upper-bound: 1.644e-07
      median-lower-bound: 1.096e-07
      median-upper-bound: 1.644e-07
      min-lower-bound: 1.0e-07
    Load/1:
      max-upper-bound: 7.5e-07
      median-lower-bound: 5.000000000000001e-07
      median-upper-bound: 7.5e-07
      min-lower-bound: 4.896e-07
  sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
    DirtyCache:
      max-upper-bound: 3.552e-05
      median-lower-bound: 2.3680000000000004e-05
      median-upper-bound: 3.552e-05
      min-lower-bound: 2.3552e-05
    FullCache:
      max-upper-bound: 3.3144e-05
      median-lower-bound: 2.1968000000000004e-05
      median-upper-bound: 3.2952e-05
      min-lower-bound: 2.1904e-05
    HotCache:
      max-upper-bound: 3.312e-05
      median-lower-bound: 2.2080000000000002e-05
      median-upper-bound: 3.312e-05
      min-lower-bound: 2.1952000000000003e-05
    Load/1:
      max-upper-bound: 4.1951999999999994e-05
      median-lower-bound: 2.7968e-05
      median-upper-bound: 4.1951999999999994e-05
      min-lower-bound: 2.7968e-05
    Load/2:
      max-upper-bound: 4.2671999999999994e-05
      median-lower-bound: 2.8448e-05
      median-upper-bound: 4.2671999999999994e-05
      min-lower-bound: 2.8448e-05
    Load/3:
      max-upper-bound: 4.2671999999999994e-05
      median-lower-bound: 2.8448e-05
      median-upper-bound: 4.2671999999999994e-05
      min-lower-bound: 2.8448e-05
    Load/4:
      max-upper-bound: 4.2144e-05
      median-lower-bound: 2.8096000000000003e-05
      median-upper-bound: 4.2144e-05
      min-lower-bound: 2.8096000000000003e-05
  sparc/gr740/smp/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 3.82608e-05
      median-lower-bound: 2.5187200000000002e-05
      median-upper-bound: 3.7780799999999996e-05
      min-lower-bound: 2.48192e-05
    FullCache:
      max-upper-bound: 3.01104e-05
      median-lower-bound: 1.26336e-05
      median-upper-bound: 1.89504e-05
      min-lower-bound: 1.2579200000000001e-05
    HotCache:
      max-upper-bound: 9.705599999999999e-06
      median-lower-bound: 6.3200000000000005e-06
      median-upper-bound: 9.48e-06
      min-lower-bound: 6.3200000000000005e-06
    Load/1:
      max-upper-bound: 6.0427199999999996e-05
      median-lower-bound: 2.5865600000000002e-05
      median-upper-bound: 3.87984e-05
      min-lower-bound: 2.53696e-05
    Load/2:
      max-upper-bound: 0.00023008319999999997
      median-lower-bound: 0.000152064
      median-upper-bound: 0.00022809599999999998
      min-lower-bound: 0.00014875520000000002
    Load/3:
      max-upper-bound: 0.000346776
      median-lower-bound: 0.000230688
      median-upper-bound: 0.00034603199999999997
      min-lower-bound: 0.00022697600000000002
    Load/4:
      max-upper-bound: 0.00039967679999999996
      median-lower-bound: 0.0002631808
      median-upper-bound: 0.00039477119999999994
      min-lower-bound: 0.0002623296
  sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
    DirtyCache:
      max-upper-bound: 1.9416000000000002e-05
      median-lower-bound: 1.2816e-05
      median-upper-bound: 1.9223999999999998e-05
      min-lower-bound: 1.2816e-05
    FullCache:
      max-upper-bound: 1.668e-05
      median-lower-bound: 1.1120000000000002e-05
      median-upper-bound: 1.668e-05
      min-lower-bound: 1.1120000000000002e-05
    HotCache:
      max-upper-bound: 1.68e-05
      median-lower-bound: 1.1200000000000001e-05
      median-upper-bound: 1.68e-05
      min-lower-bound: 1.1200000000000001e-05
    Load/1:
      max-upper-bound: 2.628e-05
      median-lower-bound: 1.7456e-05
      median-upper-bound: 2.6184000000000002e-05
      min-lower-bound: 1.7264e-05
  sparc/gr740/uni/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 2.2401600000000002e-05
      median-lower-bound: 1.4406400000000002e-05
      median-upper-bound: 2.16096e-05
      min-lower-bound: 1.42784e-05
    FullCache:
      max-upper-bound: 1.26432e-05
      median-lower-bound: 4.883200000000001e-06
      median-upper-bound: 7.3248e-06
      min-lower-bound: 4.8704e-06
    HotCache:
      max-upper-bound: 3.5856e-06
      median-lower-bound: 2.1952e-06
      median-upper-bound: 3.2927999999999996e-06
      min-lower-bound: 2.1952e-06
    Load/1:
      max-upper-bound: 2.5953599999999998e-05
      median-lower-bound: 1.66752e-05
      median-upper-bound: 2.50128e-05
      min-lower-bound: 1.65696e-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: |
    Release the mutex.
  code: |
    ctx->status = rtems_semaphore_release( ctx->mutex_id );
  description: null
test-cleanup: null
test-prepare: null
test-setup:
  brief: |
    Let one task wait on the mutex.
  code: |
    ObtainMutex( ctx->mutex_id );
    Send( ctx, EVENT_OBTAIN );
    SetPriority( ctx->worker_id, PRIO_LOW );
    Send( ctx, EVENT_RELEASE );
  description: null
test-teardown:
  brief: |
    Restore the worker priority.  Discard samples interrupted by a clock tick.
  code: |
    T_quiet_rsc( ctx->status, RTEMS_SUCCESSFUL );

    SetPriority( ctx->worker_id, PRIO_HIGH );

    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 unblock
  exactly one waiting task which does not preempt the caller, when exactly
  ${../val/perf:/params/sample-count} samples are collected, the
  ${.:/limit-kind} shall be ${.:/limit-condition}.
type: requirement