path: root/spec/rtems/message/req/perf-receive-wait-forever.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: 0.00011759999999999999
      median-lower-bound: 7.7568e-05
      median-upper-bound: 0.000116352
      min-lower-bound: 7.7568e-05
    FullCache:
      max-upper-bound: 9.235200000000001e-05
      median-lower-bound: 3.276800000000001e-05
      median-upper-bound: 4.9152e-05
      min-lower-bound: 3.2e-05
    HotCache:
      max-upper-bound: 4.4352e-05
      median-lower-bound: 2.9568000000000002e-05
      median-upper-bound: 4.4352e-05
      min-lower-bound: 2.88e-05
    Load/1:
      max-upper-bound: 0.000121152
      median-lower-bound: 8.000000000000002e-05
      median-upper-bound: 0.00012
      min-lower-bound: 8.000000000000002e-05
    Load/2:
      max-upper-bound: 0.000144
      median-lower-bound: 9.3568e-05
      median-upper-bound: 0.000140352
      min-lower-bound: 9.28e-05
  sparc/gr712rc/uni/qual-only/LDe0OENspSb4U2hhl9QK2R3q4ntkBdYP_JLnD_-aZ34=:
    DirtyCache:
      max-upper-bound: 8.7e-07
      median-lower-bound: 5.696e-07
      median-upper-bound: 8.544e-07
      min-lower-bound: 5.696e-07
    FullCache:
      max-upper-bound: 8.244e-07
      median-lower-bound: 2.2960000000000002e-07
      median-upper-bound: 3.444e-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.143999999999999e-07
      median-lower-bound: 6.096000000000001e-07
      median-upper-bound: 9.143999999999999e-07
      min-lower-bound: 6.000000000000001e-07
  sparc/gr740/smp/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
    DirtyCache:
      max-upper-bound: 4.3056e-05
      median-lower-bound: 2.8544e-05
      median-upper-bound: 4.2816e-05
      min-lower-bound: 2.8416e-05
    FullCache:
      max-upper-bound: 4.1207999999999996e-05
      median-lower-bound: 2.7472e-05
      median-upper-bound: 4.1207999999999996e-05
      min-lower-bound: 2.7472e-05
    HotCache:
      max-upper-bound: 4.1328e-05
      median-lower-bound: 2.7552000000000003e-05
      median-upper-bound: 4.1328e-05
      min-lower-bound: 2.7552000000000003e-05
    Load/1:
      max-upper-bound: 5.0136e-05
      median-lower-bound: 3.3232e-05
      median-upper-bound: 4.9847999999999994e-05
      min-lower-bound: 3.3104e-05
    Load/2:
      max-upper-bound: 5.0136e-05
      median-lower-bound: 3.3232e-05
      median-upper-bound: 4.9847999999999994e-05
      min-lower-bound: 3.3104e-05
    Load/3:
      max-upper-bound: 5.0136e-05
      median-lower-bound: 3.3232e-05
      median-upper-bound: 4.9847999999999994e-05
      min-lower-bound: 3.3104e-05
    Load/4:
      max-upper-bound: 5.0136e-05
      median-lower-bound: 3.3232e-05
      median-upper-bound: 4.9847999999999994e-05
      min-lower-bound: 3.3104e-05
  sparc/gr740/smp/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 4.5407999999999996e-05
      median-lower-bound: 2.89888e-05
      median-upper-bound: 4.34832e-05
      min-lower-bound: 2.8832e-05
    FullCache:
      max-upper-bound: 5.0016e-05
      median-lower-bound: 1.5020800000000002e-05
      median-upper-bound: 2.2531200000000002e-05
      min-lower-bound: 1.4950400000000002e-05
    HotCache:
      max-upper-bound: 9.6384e-06
      median-lower-bound: 6.224e-06
      median-upper-bound: 9.336e-06
      min-lower-bound: 6.224e-06
    Load/1:
      max-upper-bound: 7.023359999999999e-05
      median-lower-bound: 2.7910400000000003e-05
      median-upper-bound: 4.18656e-05
      min-lower-bound: 2.7766400000000002e-05
    Load/2:
      max-upper-bound: 0.00029999039999999995
      median-lower-bound: 0.0001939168
      median-upper-bound: 0.00029087519999999997
      min-lower-bound: 0.00019038720000000002
    Load/3:
      max-upper-bound: 0.00046521599999999996
      median-lower-bound: 0.00030619520000000006
      median-upper-bound: 0.0004592928
      min-lower-bound: 0.00030091520000000003
    Load/4:
      max-upper-bound: 0.000553344
      median-lower-bound: 0.0003561408
      median-upper-bound: 0.0005342112
      min-lower-bound: 0.00035536320000000005
  sparc/gr740/uni/qual-only/3Y1G8SMm2FRTpZB5_0NhbpDnatbEYmbDLLW58d-wXuY=:
    DirtyCache:
      max-upper-bound: 3.1632e-05
      median-lower-bound: 2.1024e-05
      median-upper-bound: 3.1536e-05
      min-lower-bound: 2.08e-05
    FullCache:
      max-upper-bound: 3.0215999999999997e-05
      median-lower-bound: 2.0144000000000002e-05
      median-upper-bound: 3.0215999999999997e-05
      min-lower-bound: 2.008e-05
    HotCache:
      max-upper-bound: 3.0191999999999998e-05
      median-lower-bound: 2.0128e-05
      median-upper-bound: 3.0191999999999998e-05
      min-lower-bound: 2.0128e-05
    Load/1:
      max-upper-bound: 3.6167999999999997e-05
      median-lower-bound: 2.4048e-05
      median-upper-bound: 3.6071999999999996e-05
      min-lower-bound: 2.3856e-05
  sparc/gr740/uni/qual-only/qpmWME3Tk2kfoQL1kmgyerzkvLKkrfPY7xWIWGfY0Fg=:
    DirtyCache:
      max-upper-bound: 3.14832e-05
      median-lower-bound: 1.9068800000000003e-05
      median-upper-bound: 2.8603199999999997e-05
      min-lower-bound: 1.8988800000000004e-05
    FullCache:
      max-upper-bound: 2.9687999999999998e-05
      median-lower-bound: 9.145600000000001e-06
      median-upper-bound: 1.3718399999999999e-05
      min-lower-bound: 9.1136e-06
    HotCache:
      max-upper-bound: 5.3856e-06
      median-lower-bound: 3.5904000000000004e-06
      median-upper-bound: 5.3856e-06
      min-lower-bound: 3.5904000000000004e-06
    Load/1:
      max-upper-bound: 3.3672e-05
      median-lower-bound: 2.0496e-05
      median-upper-bound: 3.0743999999999996e-05
      min-lower-bound: 2.0416000000000002e-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: |
    Receive a message.  Wait forever.
  code: |
    uint64_t message;
    size_t   size;

    ctx->begin = T_tick();
    ctx->status = rtems_message_queue_receive(
      ctx->queue_id,
      &message,
      &size,
      RTEMS_WAIT,
      RTEMS_NO_TIMEOUT
    );
  description: null
test-cleanup: null
test-prepare: null
test-setup:
  brief: |
    Schedule a message send.
  code: |
    SetPriority( ctx->worker_id, PRIO_LOW );
    Send( ctx, EVENT_END | EVENT_SEND );
  description: null
test-teardown:
  brief: |
    Set the measured runtime.  Restore the worker priority.  Discard samples
    interrupted by a clock tick.
  code: |
    T_quiet_rsc_success( ctx->status );

    *delta = ctx->end - ctx->begin;
    SetPriority( ctx->worker_id, PRIO_HIGH );

    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/receive:/name} which blocks on the message queue with no timeout.
  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 a message queue
  is empty, 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