tmtests/tm16/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 16 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 with TIME_TEST_SUPPORT;
0043
0044 package TMTEST is
0045
0046 --
0047 --  This array contains the IDs of all RTEMS tasks created by this test.
0048 --
0049
0050    TASK_ID   : array ( RTEMS.UNSIGNED32
0051       range 0 .. TIME_TEST_SUPPORT.OPERATION_COUNT ) of RTEMS.ID;
0052
0053 --
0054 --  This variable is used to index through the TASK_ID array
0055 --  so that events can be send to the next task.
0056 --
0057
0058    TASK_COUNT : RTEMS.UNSIGNED32;
0059
0060 --
0061 --  The following variable is set to the execution time returned
0062 --  by the timer.
0063 --
0064
0065    END_TIME  : RTEMS.UNSIGNED32;
0066
0067 --
0068 --  INIT
0069 --
0070 --  DESCRIPTION:
0071 --
0072 --  This RTEMS task initializes the application.
0073 --
0074
0075    procedure INIT (
0076       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0077    );
0078    pragma Convention (C, INIT);
0079
0080 --
0081 --  TEST_INIT
0082 --
0083 --  DESCRIPTION:
0084 --
0085 --  This subprogram performs test initialization.  Once initialization
0086 --  has been completed, this task sets the TASK_COUNT to 0 and
0087 --  starts the timer before performing a preemptive EVENT_SEND.
0088 --
0089
0090    procedure TEST_INIT (
0091       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0092    );
0093    pragma Convention (C, TEST_INIT);
0094
0095 --
0096 --  HIGH_TASK
0097 --
0098 --  DESCRIPTION:
0099 --
0100 --  This RTEMS task is highest priority task in the system.
0101 --  Its first action is to perform a blocking EVENT_RECEIVE.
0102 --  It is the last task to have its event set sent to it.  Thus it
0103 --  is the last task to be awakened by a preemptive EVENT_SEND.
0104 --  After it preempts the last MIDDLE_TASKS, it stops the timer
0105 --  and reports the execution time of preemptive EVENT_SEND.
0106 --
0107
0108    procedure HIGH_TASK (
0109       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0110    );
0111    pragma Convention (C, HIGH_TASK);
0112
0113 --
0114 --  MIDDLE_TASKS
0115 --
0116 --  DESCRIPTION:
0117 --
0118 --  These RTEMS tasks perform a blocking EVENT_RECEIVE.  When
0119 --  readied, each task will increment the TASK_COUNT and
0120 --  perform a preemptive EVENT_SEND.  TASK_COUNT is used to
0121 --  index the TASK_ID array in such a way that incrementing
0122 --  TASK_COUNT makes it index the ID of the next task to
0123 --  send events to.
0124 --
0125
0126    procedure MIDDLE_TASKS (
0127       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0128    );
0129    pragma Convention (C, MIDDLE_TASKS);
0130
0131 end TMTEST;