sptests/sp04/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 4 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 .. 3 ) of RTEMS.ID;
0051    TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
0052
0053 --
0054 --  These arrays contain the IDs and NAMEs of all RTEMS extensions created
0055 --  by this test.
0056 --
0057
0058    EXTENSION_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.ID;
0059    EXTENSION_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.NAME;
0060
0061 --
0062 --  This array contains the number of times each of the test tasks has
0063 --  been context switched TO.
0064 --
0065
0066    RUN_COUNT : array ( RTEMS.UNSIGNED32 range 1 .. 3 ) of RTEMS.UNSIGNED32;
0067    pragma Volatile (RUN_COUNT);
0068
0069 --
0070 --  INIT
0071 --
0072 --  DESCRIPTION:
0073 --
0074 --  This RTEMS task initializes the application.
0075 --
0076
0077    procedure INIT (
0078       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0079    );
0080    pragma Convention (C, INIT);
0081
0082 --
0083 --  TASK_1
0084 --
0085 --  DESCRIPTION:
0086 --
0087 --  This RTEMS task tests some of the capabilities of the Task Manager.
0088 --
0089
0090    procedure TASK_1 (
0091       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0092    );
0093    pragma Convention (C, TASK_1);
0094
0095 --
0096 --  TASK_2
0097 --
0098 --  DESCRIPTION:
0099 --
0100 --  This RTEMS task is used as a background task to suspend, resume,
0101 --  and context switch to.
0102 --
0103
0104    procedure TASK_2 (
0105       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0106    );
0107    pragma Convention (C, TASK_2);
0108
0109 --
0110 --  TASK_3
0111 --
0112 --  DESCRIPTION:
0113 --
0114 --  This RTEMS task is used as a background task to suspend, resume,
0115 --  and context switch to.
0116 --
0117
0118    procedure TASK_3 (
0119       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0120    );
0121    pragma Convention (C, TASK_3);
0122
0123 --
0124 --  TASK_SWITCH
0125 --
0126 --  DESCRIPTION:
0127 --
0128 --  This subprogram is the TASK_SWITCH extension for this test.
0129 --  It is invoked at each context switch and counts the number
0130 --  of times each application task has been context switched to.
0131 --
0132
0133    procedure TASK_SWITCH (
0134       UNUSED : in     RTEMS.TCB_POINTER;
0135       HEIR   : in     RTEMS.TCB_POINTER
0136    );
0137    pragma Convention (C, TASK_SWITCH);
0138
0139 --
0140 --  This is the User Extension Table for this test.
0141 --
0142
0143    EXTENSIONS : aliased RTEMS.EXTENSIONS_TABLE :=
0144    (
0145         NULL,                                        -- Task create
0146         NULL,                                        -- Task start
0147         NULL,                                        -- Task restart
0148         NULL,                                        -- Task delete
0149         SPTEST.TASK_SWITCH'ACCESS,                   -- Task switch
0150         NULL,                                        -- Task post switch
0151         NULL,                                        -- Task begin
0152         NULL,                                        -- Task exitted
0153         NULL                                         -- Fatal error
0154    );
0155
0156 end SPTEST;