tmtests/tm22/tmtest.ads

0001 -- SPDX-License-Identifier: BSD-2-Clause
0002
0003 --
0004 --  TMTEST / SPECIFICATION
0005 --
0006 --  DESCRIPTION:
0007 --
0008 --  This package is the specification for Test 22 of the RTEMS
0009 --  Timing Test Suite.
0010 --
0011 --  DEPENDENCIES:
0012 --
0013 --
0014 --
0015 --  COPYRIGHT (c) 1989-2011.
0016 --  On-Line Applications Research Corporation (OAR).
0017 --
0018 --  Redistribution and use in source and binary forms, with or without
0019 --  modification, are permitted provided that the following conditions
0020 --  are met:
0021 --  1. Redistributions of source code must retain the above copyright
0022 --     notice, this list of conditions and the following disclaimer.
0023 --  2. Redistributions in binary form must reproduce the above copyright
0024 --     notice, this list of conditions and the following disclaimer in the
0025 --     documentation and/or other materials provided with the distribution.
0026 --
0027 --  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0028 --  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0029 --  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0030 --  ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0031 --  LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0032 --  CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0033 --  SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0034 --  INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0035 --  CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0036 --  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0037 --  POSSIBILITY OF SUCH DAMAGE.
0038 --
0039
0040 with RTEMS;
0041 with RTEMS.TASKS;
0042
0043 package TMTEST is
0044
0045 --
0046 --  Buffer Record similar to that used by RTEMS 3.2.1.  Using this
0047 --  avoids changes to the test.
0048 --
0049
0050    type BUFFER is
0051       record
0052          FIELD1 : RTEMS.UNSIGNED32;   -- TEMPORARY UNTIL VARIABLE LENGTH
0053          FIELD2 : RTEMS.UNSIGNED32;
0054          FIELD3 : RTEMS.UNSIGNED32;
0055          FIELD4 : RTEMS.UNSIGNED32;
0056       end record;
0057
0058 --
0059 --  The following is the ID of the message queue used for timing operations.
0060 --
0061
0062    MESSAGE_QUEUE_ID : RTEMS.ID;
0063
0064 --
0065 --  The following variable is set to the execution time returned
0066 --  by the timer.
0067 --
0068
0069    END_TIME  : RTEMS.UNSIGNED32;
0070
0071 --
0072 --  INIT
0073 --
0074 --  DESCRIPTION:
0075 --
0076 --  This RTEMS task initializes the application.
0077 --
0078
0079    procedure INIT (
0080       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0081    );
0082    pragma Convention (C, INIT);
0083
0084 --
0085 --  HIGH_TASK
0086 --
0087 --  DESCRIPTION:
0088 --
0089 --  This RTEMS task is created by LOW_TASK and executes after
0090 --  LOW_TASK has performed a blocking MESSAGE_QUEUE_RECEIVE.
0091 --  This task then executes and performs a readying
0092 --  MESSAGE_QUEUE_BROADCAST and reports its execution time.
0093 --  Finally, the task suspends itself so LOW_TASK can continue
0094 --  execution.
0095 --
0096
0097    procedure HIGH_TASK (
0098       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0099    );
0100    pragma Convention (C, HIGH_TASK);
0101
0102 --
0103 --  LOW_TASK
0104 --
0105 --  DESCRIPTION:
0106 --
0107 --  This RTEMS task performs a blocking MESSAGE_QUEUE_RECEIVE
0108 --  so that when HIGH_TASK performs a MESSAGE_QUEUE_BROADCAST,
0109 --  there will be a task to be readied.  Following this, the
0110 --  execution time for a MESSAGE_QUEUE_BROADCAST to a message
0111 --  queue with no waiting tasks is measured and reported.
0112 --  Then this task performs another blocking MESSAGE_QUEUE_RECEIVE
0113 --  so that when PREEMPT_TASK performs a MESSAGE_QUEUE_BROADCAST,
0114 --  PREEMPT_TASK will be preempted by this task.  After control
0115 --  of the processor is transferred back to this task by the
0116 --  preemption, the timer is stopped and the execution time of
0117 --  a preemptive MESSAGE_QUEUE_BROADCAST is reported.
0118 --
0119
0120    procedure LOW_TASK (
0121       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0122    );
0123    pragma Convention (C, LOW_TASK);
0124
0125 --
0126 --  PREEMPT_TASK
0127 --
0128 --  DESCRIPTION:
0129 --
0130 --  This RTEMS task starts the timer and performs a preemptive
0131 --   MESSAGE_QUEUE_BROADCAST.
0132 --
0133
0134    procedure PREEMPT_TASK (
0135       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0136    );
0137    pragma Convention (C, PREEMPT_TASK);
0138
0139 end TMTEST;