summaryrefslogblamecommitdiffstats
path: root/spec/rtems/barrier/req/perf-release-manual-preempt.yml
blob: 9fdad83ddd2fcfb8a7583a57923ee5dfba4fc988 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11



                                                                         
       
                                                                           
               



                                    
              



                                               
             



                                  
           



                                                
           



                                               




















                                                                           




















                                                                           



































                                                                         



































                                                                         




















                                                                         




















                                                                         















                                        
                          












































                                                                           

                                                                       
                                                                            
                                                                       
                                                                     





                                                                              
                 
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: 0.000128352
      median-lower-bound: 8.3968e-05
      median-upper-bound: 0.0001272
      min-lower-bound: 8.3968e-05
    FullCache:
      max-upper-bound: 0.00010435199999999999
      median-lower-bound: 2.88e-05
      median-upper-bound: 4.319999999999999e-05
      min-lower-bound: 2.7968e-05
    HotCache:
      max-upper-bound: 3.84e-05
      median-lower-bound: 2.56e-05
      median-upper-bound: 3.84e-05
      min-lower-bound: 2.4768e-05
    Load/1:
      max-upper-bound: 0.000128352
      median-lower-bound: 8.236800000000001e-05
      median-upper-bound: 0.00012355199999999997
      min-lower-bound: 8.160000000000002e-05
    Load/2:
      max-upper-bound: 0.0001512
      median-lower-bound: 9.600000000000002e-05
      median-upper-bound: 0.000144
      min-lower-bound: 9.5168e-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: 8.844e-07
      median-lower-bound: 5.800000000000001e-07
      median-upper-bound: 8.7e-07
      min-lower-bound: 5.800000000000001e-07
    FullCache:
      max-upper-bound: 7.8e-07
      median-lower-bound: 2.2e-07
      median-upper-bound: 3.3e-07
      min-lower-bound: 2.2e-07
    HotCache:
      max-upper-bound: 3.1439999999999996e-07
      median-lower-bound: 2.0e-07
      median-upper-bound: 3.0e-07
      min-lower-bound: 2.0e-07
    Load/1:
      max-upper-bound: 9.444e-07
      median-lower-bound: 6.2e-07
      median-upper-bound: 9.3e-07
      min-lower-bound: 6.096000000000001e-07
  sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
    DirtyCache:
      max-upper-bound: 4.86e-05
      median-lower-bound: 3.2176e-05
      median-upper-bound: 4.8264e-05
      min-lower-bound: 3.2016e-05
    FullCache:
      max-upper-bound: 4.7159999999999996e-05
      median-lower-bound: 3.1376e-05
      median-upper-bound: 4.7064e-05
      min-lower-bound: 3.1376e-05
    HotCache:
      max-upper-bound: 4.6896e-05
      median-lower-bound: 3.1264e-05
      median-upper-bound: 4.6896e-05
      min-lower-bound: 3.1264e-05
    Load/1:
      max-upper-bound: 5.3376e-05
      median-lower-bound: 3.5584000000000004e-05
      median-upper-bound: 5.3376e-05
      min-lower-bound: 3.5136000000000004e-05
    Load/2:
      max-upper-bound: 5.3376e-05
      median-lower-bound: 3.5584000000000004e-05
      median-upper-bound: 5.3376e-05
      min-lower-bound: 3.5136000000000004e-05
    Load/3:
      max-upper-bound: 5.3376e-05
      median-lower-bound: 3.5584000000000004e-05
      median-upper-bound: 5.3376e-05
      min-lower-bound: 3.5136000000000004e-05
    Load/4:
      max-upper-bound: 5.3376e-05
      median-lower-bound: 3.5584000000000004e-05
      median-upper-bound: 5.3376e-05
      min-lower-bound: 3.5136000000000004e-05
  sparc/gr740/smp/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 4.8696e-05
      median-lower-bound: 3.1081600000000004e-05
      median-upper-bound: 4.6622399999999996e-05
      min-lower-bound: 3.09312e-05
    FullCache:
      max-upper-bound: 4.33296e-05
      median-lower-bound: 1.38048e-05
      median-upper-bound: 2.0707199999999997e-05
      min-lower-bound: 1.37408e-05
    HotCache:
      max-upper-bound: 9.7344e-06
      median-lower-bound: 6.4319999999999996e-06
      median-upper-bound: 9.647999999999998e-06
      min-lower-bound: 6.4319999999999996e-06
    Load/1:
      max-upper-bound: 6.956639999999999e-05
      median-lower-bound: 2.79744e-05
      median-upper-bound: 4.19616e-05
      min-lower-bound: 2.77856e-05
    Load/2:
      max-upper-bound: 0.00030048959999999996
      median-lower-bound: 0.0001926816
      median-upper-bound: 0.00028902239999999997
      min-lower-bound: 0.00019238720000000001
    Load/3:
      max-upper-bound: 0.0004814832
      median-lower-bound: 0.00030423680000000005
      median-upper-bound: 0.0004563552
      min-lower-bound: 0.00030366080000000003
    Load/4:
      max-upper-bound: 0.0005791008
      median-lower-bound: 0.00036574400000000004
      median-upper-bound: 0.000548616
      min-lower-bound: 0.00036044800000000003
  sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
    DirtyCache:
      max-upper-bound: 3.1944e-05
      median-lower-bound: 2.1104000000000003e-05
      median-upper-bound: 3.1656e-05
      min-lower-bound: 2.0976e-05
    FullCache:
      max-upper-bound: 3.0335999999999996e-05
      median-lower-bound: 2.016e-05
      median-upper-bound: 3.024e-05
      min-lower-bound: 2.016e-05
    HotCache:
      max-upper-bound: 3.0072e-05
      median-lower-bound: 2.0048000000000002e-05
      median-upper-bound: 3.0072e-05
      min-lower-bound: 2.0048000000000002e-05
    Load/1:
      max-upper-bound: 3.6312e-05
      median-lower-bound: 2.4144e-05
      median-upper-bound: 3.6216e-05
      min-lower-bound: 2.4144e-05
  sparc/gr740/uni/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 3.19248e-05
      median-lower-bound: 1.9292800000000003e-05
      median-upper-bound: 2.89392e-05
      min-lower-bound: 1.91872e-05
    FullCache:
      max-upper-bound: 2.42592e-05
      median-lower-bound: 8.2592e-06
      median-upper-bound: 1.2388799999999999e-05
      min-lower-bound: 8.2208e-06
    HotCache:
      max-upper-bound: 5.0447999999999995e-06
      median-lower-bound: 3.3632000000000003e-06
      median-upper-bound: 5.0447999999999995e-06
      min-lower-bound: 3.3632000000000003e-06
    Load/1:
      max-upper-bound: 3.3494399999999996e-05
      median-lower-bound: 2.0832000000000003e-05
      median-upper-bound: 3.1248e-05
      min-lower-bound: 2.0678400000000002e-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 barrier.
  code: |
    uint32_t count;

    ctx->begin = T_tick();
    ctx->status = rtems_barrier_release( ctx->barrier_id, &count );
  description: null
test-cleanup:
  brief: |
    Delete the barrier and the worker.
  code: |
    rtems_status_code sc;

    DeleteTask( ctx->worker_id );

    sc = rtems_barrier_delete( ctx->barrier_id );
    T_rsc_success( sc );

    RestoreRunnerPriority();
  description: null
test-prepare:
  brief: |
    Create a manual release barrier.  Create and start a worker task.
  code: |
    rtems_status_code sc;

    sc = rtems_barrier_create(
      OBJECT_NAME,
      RTEMS_BARRIER_MANUAL_RELEASE,
      0,
      &ctx->barrier_id
    );
    T_rsc_success( sc );

    SetSelfPriority( PRIO_NORMAL );
    ctx->worker_id = CreateTask( "WORK", PRIO_HIGH );
    StartTask( ctx->worker_id, BarrierWaitWorker, ctx );
  description: null
test-setup: null
test-teardown:
  brief: |
    Set the measured runtime.  Discard samples interrupted by a clock tick.
  code: |
    T_quiet_rsc_success( ctx->status );

    *delta = ctx->end - ctx->begin;

    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/release:/name} which preempts the caller.  Let :math:`E` be a time
  point measured by V right after a call to ${../if/wait:/name} returns
  successfully due to the ${../if/release:/name} call associated with
  :math:`B`.

  While the execution environment is ${.:/environment}, while the barrier is a
  manual release barrier, 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