tmtests/tm17/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 17 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 --  These arrays contain the IDs and NAMEs of all RTEMS tasks created
0048 --  by this test.
0049 --
0050
0051    TASK_ID   : array ( RTEMS.UNSIGNED32
0052       range 0 .. TIME_TEST_SUPPORT.OPERATION_COUNT ) of RTEMS.ID;
0053    TASK_NAME : array ( RTEMS.UNSIGNED32
0054       range 0 .. TIME_TEST_SUPPORT.OPERATION_COUNT ) of RTEMS.NAME;
0055
0056 --
0057 --  These variables are used to index the TASK_ID array and change
0058 --  the priority of each successive task such that the TASK_SET_PRIORITY
0059 --  results in a preemption.
0060 --
0061
0062    TASK_COUNT     : RTEMS.UNSIGNED32;
0063    TASK_PRIORITY  : RTEMS.TASKS.PRIORITY;
0064
0065 --
0066 --  The following variable is set to the execution time returned
0067 --  by the timer.
0068 --
0069
0070    END_TIME       : RTEMS.UNSIGNED32;
0071
0072 --
0073 --  INIT
0074 --
0075 --  DESCRIPTION:
0076 --
0077 --  This RTEMS task initializes the application.
0078 --
0079
0080    procedure INIT (
0081       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0082    );
0083    pragma Convention (C, INIT);
0084
0085 --
0086 --  FIRST_TASK
0087 --
0088 --  DESCRIPTION:
0089 --
0090 --  This RTEMS task is the first task to execute in the system.  It
0091 --  starts the timer and updates the TASK_COUNT and TASK_PRIORITY
0092 --  variables so that a preemptive TASK_SET_PRIORITY can be performed.
0093 --
0094
0095    procedure FIRST_TASK (
0096       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0097    );
0098    pragma Convention (C, FIRST_TASK);
0099
0100 --
0101 --  MIDDLE_TASK
0102 --
0103 --  DESCRIPTION:
0104 --
0105 --  These RTEMS tasks update the TASK_COUNT and TASK_PRIORITY variables
0106 --  so that a preemptive TASK_SET_PRIORITY can be performed.
0107 --
0108
0109    procedure MIDDLE_TASKS (
0110       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0111    );
0112    pragma Convention (C, MIDDLE_TASKS);
0113
0114 --
0115 --  LAST_TASK
0116 --
0117 --  DESCRIPTION:
0118 --
0119 --  This RTEMS task is the last task to execute in the system.  It
0120 --  stops the timer and reports the execution time of a preemptive
0121 --  TASK_SET_PRIORITY.
0122 --
0123
0124    procedure LAST_TASK (
0125       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0126    );
0127    pragma Convention (C, LAST_TASK);
0128
0129 end TMTEST;