sptests/sp12/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 12 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 ( RTEMS.UNSIGNED32 range 1 .. 5 ) of RTEMS.ID;
0051    TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 5 ) of RTEMS.NAME;
0052
0053    PRIORITY_TASK_ID   : array ( 1 .. 5 ) of RTEMS.ID;
0054    PRIORITY_TASK_NAME : array ( 1 .. 5 ) of RTEMS.NAME;
0055    TASK_PRIORITY      : array ( 1 .. 5 ) of RTEMS.TASKS.PRIORITY;
0056
0057    SEMAPHORE_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
0058    SEMAPHORE_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
0059
0060 --
0061 --  INIT
0062 --
0063 --  DESCRIPTION:
0064 --
0065 --  This RTEMS task initializes the application.
0066 --
0067
0068    procedure INIT (
0069       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0070    );
0071    pragma Convention (C, INIT);
0072
0073 --
0074 --  PRIORITY_TEST_DRIVER
0075 --
0076 --  DESCRIPTION:
0077 --
0078 --  This subprogram creates and starts RTEMS tasks of different priority
0079 --  so that those tasks may exercise the priority blocking algorithm.
0080 --
0081
0082    procedure PRIORITY_TEST_DRIVER (
0083       PRIORITY_BASE : in     RTEMS.UNSIGNED32
0084    );
0085
0086 --
0087 --  PRIORITY_TASK
0088 --
0089 --  DESCRIPTION:
0090 --
0091 --  Copies of this RTEMS are executed at different priorities and each
0092 --  instantiation blocks on a semaphore with priority blocking.  This
0093 --  is done to exercise the priority blocking algorithms.
0094 --
0095
0096    procedure PRIORITY_TASK (
0097       ITS_INDEX : in     RTEMS.TASKS.ARGUMENT
0098    );
0099    pragma Convention (C, PRIORITY_TASK);
0100
0101 --
0102 --  TASK_1
0103 --
0104 --  DESCRIPTION:
0105 --
0106 --  This RTEMS task tests the Semaphore Manager.
0107 --
0108
0109    procedure TASK_1 (
0110       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0111    );
0112    pragma Convention (C, TASK_1);
0113
0114 --
0115 --  TASK_2
0116 --
0117 --  DESCRIPTION:
0118 --
0119 --  This RTEMS task tests the Semaphore Manager.
0120 --
0121
0122    procedure TASK_2 (
0123       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0124    );
0125    pragma Convention (C, TASK_2);
0126
0127 --
0128 --  TASK_3
0129 --
0130 --  DESCRIPTION:
0131 --
0132 --  This RTEMS task tests the Semaphore Manager.
0133 --
0134
0135    procedure TASK_3 (
0136       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0137    );
0138    pragma Convention (C, TASK_3);
0139
0140 --
0141 --  TASK_4
0142 --
0143 --  DESCRIPTION:
0144 --
0145 --  This RTEMS task tests the Semaphore Manager.
0146 --
0147
0148    procedure TASK_4 (
0149       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0150    );
0151    pragma Convention (C, TASK_4);
0152
0153 --
0154 --  TASK_5
0155 --
0156 --  DESCRIPTION:
0157 --
0158 --  This RTEMS task tests the Semaphore Manager.
0159 --
0160
0161    procedure TASK_5 (
0162       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0163    );
0164    pragma Convention (C, TASK_5);
0165
0166 end SPTEST;