sptests/sp20/sptest.ads

0001 -- SPDX-License-Identifier: BSD-2-Clause
0002
0003 --
0004 --  SPTEST / SPECIFICATION
0005 --
0006 --  DESCRIPTION:
0007 --
0008 --  This package is the specification for Test 20 of the RTEMS
0009 --  Single Processor 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 SPTEST is
0044
0045 --
0046 --  These arrays contain the IDs and NAMEs of all RTEMS tasks created
0047 --  by this test.
0048 --
0049
0050    TASK_ID   : array ( 1 .. 6 ) of RTEMS.ID;
0051    TASK_NAME : array ( 1 .. 6 ) of RTEMS.NAME;
0052
0053 --
0054 --  These arrays contain the parameters which define the execution
0055 --  characteristics and periods of each instantiation of the
0056 --  copies of the RTEMS task TASKS_1_THROUGH_6.
0057 --
0058
0059    PERIODS : constant array ( 1 .. 6 )
0060      of RTEMS.UNSIGNED32 := ( 2, 2, 2, 2, 100, 0 );
0061
0062    ITERATIONS : constant array ( 1 .. 6 )
0063      of RTEMS.UNSIGNED32 := ( 50, 50, 50, 50, 1, 10 );
0064
0065    PRIORITIES : constant array ( 1 .. 6 )
0066      of RTEMS.UNSIGNED32 := ( 1, 1, 3, 4, 5, 1 );
0067
0068 --
0069 --  The following type defines the array used to manage the
0070 --  execution counts of each task's period.
0071 --
0072
0073    type COUNT_ARRAY is array ( 1 .. 6 ) of RTEMS.UNSIGNED32;
0074
0075 --
0076 --  These arrays contains the number of periods successfully completed
0077 --  by each of the tasks.  At each of its periods, the fifth task
0078 --  will copy the contents of the COUNT array to TEMPORARY_COUNT,
0079 --  and clear the COUNT array.  The copy is performed to insure
0080 --  that no periods fire while it is verifying the correctness
0081 --  of the test's execution.
0082 --
0083
0084    COUNT           : SPTEST.COUNT_ARRAY;
0085    TEMPORARY_COUNT : SPTEST.COUNT_ARRAY;
0086
0087 --
0088 --  INIT
0089 --
0090 --  DESCRIPTION:
0091 --
0092 --  This RTEMS task initializes the application.
0093 --
0094
0095    procedure INIT (
0096       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0097    );
0098    pragma Convention (C, INIT);
0099
0100 --
0101 --  TASK_1_THROUGH_6
0102 --
0103 --  DESCRIPTION:
0104 --
0105 --  These RTEMS tasks test the Rate Monotonic Manager.
0106 --
0107
0108    procedure TASK_1_THROUGH_6 (
0109       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0110    );
0111    pragma Convention (C, TASK_1_THROUGH_6);
0112
0113 --
0114 --  GET_ALL_COUNTERS
0115 --
0116 --  DESCRIPTION:
0117 --
0118 --  This subprogram atomically copies the contents of COUNTER to
0119 --  TEMPORARY_COUNTER.
0120 --
0121
0122    procedure GET_ALL_COUNTERS;
0123
0124 end SPTEST;