summaryrefslogblamecommitdiffstats
path: root/spec/rtems/task/req/perf-start-preempt.yml
blob: 0ec0f08034a3b602864ab640d506a9babfe3a23b (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: 1.1759999999999998e-06
      median-lower-bound: 7.84e-07
      median-upper-bound: 1.1759999999999998e-06
      min-lower-bound: 7.68e-07
    FullCache:
      max-upper-bound: 1.152e-06
      median-lower-bound: 7.520000000000001e-07
      median-upper-bound: 1.128e-06
      min-lower-bound: 7.520000000000001e-07
    HotCache:
      max-upper-bound: 1.152e-06
      median-lower-bound: 7.520000000000001e-07
      median-upper-bound: 1.128e-06
      min-lower-bound: 7.520000000000001e-07
    Load/1:
      max-upper-bound: 1.272e-06
      median-lower-bound: 8.480000000000001e-07
      median-upper-bound: 1.272e-06
      min-lower-bound: 8.480000000000001e-07
    Load/2:
      max-upper-bound: 1.272e-06
      median-lower-bound: 8.480000000000001e-07
      median-upper-bound: 1.272e-06
      min-lower-bound: 8.32e-07
  sparc/gr712rc/smp/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
    DirtyCache:
      max-upper-bound: 1.74e-06
      median-lower-bound: 1.1496e-06
      median-upper-bound: 1.7244e-06
      min-lower-bound: 1.1296e-06
    FullCache:
      max-upper-bound: 1.38e-06
      median-lower-bound: 5.896e-07
      median-upper-bound: 8.844e-07
      min-lower-bound: 5.696e-07
    HotCache:
      max-upper-bound: 8.399999999999999e-07
      median-lower-bound: 5.6e-07
      median-upper-bound: 8.399999999999999e-07
      min-lower-bound: 5.4e-07
    Load/1:
      max-upper-bound: 1.71e-06
      median-lower-bound: 1.1296e-06
      median-upper-bound: 1.6944e-06
      min-lower-bound: 1.1096000000000001e-06
    Load/2:
      max-upper-bound: 2.07e-06
      median-lower-bound: 1.3496e-06
      median-upper-bound: 2.0243999999999996e-06
      min-lower-bound: 1.32e-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: 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.0799999999999998e-06
      median-lower-bound: 7.000000000000001e-07
      median-upper-bound: 1.05e-06
      min-lower-bound: 6.800000000000001e-07
    FullCache:
      max-upper-bound: 9.0e-07
      median-lower-bound: 3.6e-07
      median-upper-bound: 5.399999999999999e-07
      min-lower-bound: 3.4000000000000003e-07
    HotCache:
      max-upper-bound: 5.399999999999999e-07
      median-lower-bound: 3.4000000000000003e-07
      median-upper-bound: 5.1e-07
      min-lower-bound: 3.2e-07
    Load/1:
      max-upper-bound: 1.1244e-06
      median-lower-bound: 7.400000000000001e-07
      median-upper-bound: 1.11e-06
      min-lower-bound: 7.096000000000001e-07
  sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
    DirtyCache:
      max-upper-bound: 5.532e-05
      median-lower-bound: 3.6688e-05
      median-upper-bound: 5.5032e-05
      min-lower-bound: 3.6688e-05
    FullCache:
      max-upper-bound: 5.4144e-05
      median-lower-bound: 3.6096e-05
      median-upper-bound: 5.4144e-05
      min-lower-bound: 3.6096e-05
    HotCache:
      max-upper-bound: 5.4023999999999996e-05
      median-lower-bound: 3.6016e-05
      median-upper-bound: 5.4023999999999996e-05
      min-lower-bound: 3.6016e-05
    Load/1:
      max-upper-bound: 5.9711999999999993e-05
      median-lower-bound: 3.9808e-05
      median-upper-bound: 5.9711999999999993e-05
      min-lower-bound: 3.9808e-05
    Load/2:
      max-upper-bound: 6.0287999999999996e-05
      median-lower-bound: 4.0192000000000004e-05
      median-upper-bound: 6.0287999999999996e-05
      min-lower-bound: 4.0192000000000004e-05
    Load/3:
      max-upper-bound: 6.0048e-05
      median-lower-bound: 4.0032000000000006e-05
      median-upper-bound: 6.0048e-05
      min-lower-bound: 4.0032000000000006e-05
    Load/4:
      max-upper-bound: 5.976e-05
      median-lower-bound: 3.984e-05
      median-upper-bound: 5.976e-05
      min-lower-bound: 3.984e-05
  sparc/gr740/smp/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 5.29344e-05
      median-lower-bound: 3.4051200000000004e-05
      median-upper-bound: 5.10768e-05
      min-lower-bound: 3.32992e-05
    FullCache:
      max-upper-bound: 5.729759999999999e-05
      median-lower-bound: 1.872e-05
      median-upper-bound: 2.808e-05
      min-lower-bound: 1.82336e-05
    HotCache:
      max-upper-bound: 1.47168e-05
      median-lower-bound: 9.68e-06
      median-upper-bound: 1.4519999999999998e-05
      min-lower-bound: 9.5616e-06
    Load/1:
      max-upper-bound: 6.956639999999999e-05
      median-lower-bound: 3.15712e-05
      median-upper-bound: 4.73568e-05
      min-lower-bound: 3.06144e-05
    Load/2:
      max-upper-bound: 0.000324624
      median-lower-bound: 0.0002111136
      median-upper-bound: 0.0003166704
      min-lower-bound: 0.00020832320000000002
    Load/3:
      max-upper-bound: 0.0005117664
      median-lower-bound: 0.00033399360000000003
      median-upper-bound: 0.0005009904
      min-lower-bound: 0.00032816640000000004
    Load/4:
      max-upper-bound: 0.0006305808
      median-lower-bound: 0.00040118719999999997
      median-upper-bound: 0.0006017808
      min-lower-bound: 0.00039781440000000005
  sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
    DirtyCache:
      max-upper-bound: 3.7464e-05
      median-lower-bound: 2.4976000000000003e-05
      median-upper-bound: 3.7464e-05
      min-lower-bound: 2.4911999999999998e-05
    FullCache:
      max-upper-bound: 3.6432e-05
      median-lower-bound: 2.4288000000000002e-05
      median-upper-bound: 3.6432e-05
      min-lower-bound: 2.416e-05
    HotCache:
      max-upper-bound: 3.6504e-05
      median-lower-bound: 2.4336000000000002e-05
      median-upper-bound: 3.6504e-05
      min-lower-bound: 2.4272e-05
    Load/1:
      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/uni/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 3.33984e-05
      median-lower-bound: 2.1680000000000002e-05
      median-upper-bound: 3.252e-05
      min-lower-bound: 2.11104e-05
    FullCache:
      max-upper-bound: 2.82624e-05
      median-lower-bound: 1.096e-05
      median-upper-bound: 1.644e-05
      min-lower-bound: 1.0496e-05
    HotCache:
      max-upper-bound: 8.2944e-06
      median-lower-bound: 5.408e-06
      median-upper-bound: 8.112e-06
      min-lower-bound: 5.2992e-06
    Load/1:
      max-upper-bound: 3.5088e-05
      median-lower-bound: 2.28864e-05
      median-upper-bound: 3.43296e-05
      min-lower-bound: 2.22848e-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: |
    Start the worker task.
  code: |
    ctx->begin = T_tick();
    ctx->status = rtems_task_start(
      ctx->worker_id,
      Worker,
      (rtems_task_argument) ctx
    );
  description: null
test-cleanup: null
test-prepare: null
test-setup:
  brief: |
    Create a worker task.
  code: |
    ctx->worker_id = CreateTask( "WORK", PRIO_HIGH );
  description: null
test-teardown:
  brief: |
    Set the measured runtime.  Delete the worker.  Discard samples interrupted by
    a clock tick.
  code: |
    T_quiet_rsc_success( ctx->status );

    *delta = ctx->end - ctx->begin;
    DeleteTask( ctx->worker_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/start:/name}
  which starts task V which preempts the caller.  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 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